Explicit solutions of certain orientable quadratic equations in free groups

For $g\geq1$ denote by $F_{2g}=\langle x_1, y_1,\dots,x_g,y_g\rangle$ the free group on $2g$ generators and by $B_g=[x_1,y_1]\dots[x_g,y_g]$. For $l,c\geq 1$ and elements $w_1,\dots,w_l\in F_{2g}$ we study orientable quadratic equations of the form $[u_1,v_1]\dots[u_h,v_h]=(B_g^{w_1})^c(B_g^{w_2})^c\dots(B_g^{w_l})^c$ with unknowns $u_1,v_1,\dots,u_h,v_h$ and provide explicit solutions for them for the minimal possible number $h$. In the particular case when $g=1$, $w_i=y_1^{i-1}$ for $i=1,\dots,l$ and $h$ the minimal number which satisfies $h \geq l(c-1)/2+1$ we provide two types of solutions depending on the image of the subgroup $H=\langle u_1,v_1,\dots,u_h,v_h\rangle$ generated by the solution under the natural homomorphism $p:F_2\to F_2/[F_2,F_2]$: the first solution, which is called a primitive solution, satisfies $p(H)=F_2/[F_2,F_2]$, the second solution satisfies $p(H) = \big\langle p(x_1),p(y_1^l)\big\rangle$. We also provide an explicit solution of the equation $[u_1,v_1]\dots[u_k, v_k] = \big(B_1\big)^{k+l} \big({B_1}^{y}\big)^{k-l}$ for $k>l\geq0$ in $F_2$, and prove that if $l\neq0$, then every solution of this equation is primitive. As a geometrical consequence, for every solution we obtain a map $f:S_h\to T$ from the orientable surface $S_h$ of genus $h$ to the torus $T=S_1$ which has the minimal number of roots among all maps from the homotopy class of $f$. Depending on the number $|p(F_2):p(H)|$ such maps have fundamentally different geometric properties: in some cases they satisfy the Wecken property and in other cases not.

[1]  Alina Vdovina Products of Commutators in Free Products , 1997, Int. J. Algebra Comput..

[2]  Nicholas W. M. Touikan,et al.  Quadratic equations over free groups are NP-complete , 2008, 0802.3839.

[3]  Quadratic equations in the Grigorchuk group , 2013, 1304.5579.

[4]  Ju I Hmelevskiĭ SYSTEMS OF EQUATIONS IN A FREE GROUP. I , 1971 .

[5]  Olga Kharlampovich,et al.  Linear Estimates for solutions of Quadratic equations in Free Groups , 2012, Int. J. Algebra Comput..

[6]  T. Chiang The theory of fixed point classes , 1989 .

[7]  Ju I Hmelevskiĭ SYSTEMS OF EQUATIONS IN A FREE GROUP. II , 1972 .

[8]  R. Lyndon Equations in free groups , 1960 .

[9]  D. Gonçalves,et al.  Some quadratic equations in the free group of rank 2 , 2009, 0904.1421.

[10]  A polynomial bound on solutions of quadratic equations in free groups , 2011, 1107.1707.

[11]  D. Gonçalves,et al.  Equations in free groups and coincidence of mappings on surfaces , 2001 .

[12]  M. Culler Using surfaces to solve equations in free groups , 1981 .

[13]  Alexei G. Myasnikov,et al.  The Solvability Problem for Quadratic Equations over Free Groups is NP-Complete , 2008, Theory of Computing Systems.

[14]  D. Gonçalves,et al.  Roots of mappings on nonorientable surfaces¶and equations in free groups , 2002 .

[15]  M. J. Wicks Commutators in Free Products , 1962 .

[16]  O. Kharlampovich,et al.  Quadratic Equations in Hyperbolic Groups are NP-complete , 2013, 1306.0941.

[17]  D. Gonçalves,et al.  Realization of Primitive Branched Coverings Over Closed Surfaces , 2004 .

[18]  D. Gonçalves,et al.  Realization of primitive branched coverings over closed surfaces following the hurwitz approach , 2003 .

[19]  RobertF Brown,et al.  Nielsen numbers of maps of tori , 1975 .

[20]  D. Gonçalves,et al.  Minimal Number of Preimages Under Maps of Surfaces , 2004 .

[21]  A. Clifford,et al.  Tesselations of S2 and equations over torsion-free groups , 1995, Proceedings of the Edinburgh Mathematical Society.

[22]  R. Lyndon The equation $a^2b^2=c^2$ in free groups. , 1959 .

[23]  D. Segal Words: Notes on Verbal Width in Groups , 2009 .

[24]  Heiner Zieschang,et al.  Primitives in the free group on two generators , 1981 .

[25]  G. Makanin EQUATIONS IN A FREE GROUP , 1983 .

[26]  Solutions of equations in free groups , 1989 .

[27]  Iu I Khmelevskiĭ Equations in free semigroups , 1976 .

[28]  D. Gonçalves,et al.  The minimal number of roots of surface mappings and quadratic equations in free groups , 2001 .

[29]  A. Klyachko A funny property of sphere and equations over groups , 1993 .