Equations in Products of Free Groups and 3-Manifold Groups, I

Perelman's proof of the Poincare conjecture shows that every simply connected closed 3-manifold is homeomorphic to the 3-sphere. The fundamental groups of 3-manifolds attract lots of interest from mathematicians of different fields. As it was stated in a famous survey of Allen Hatcher "The classification of 3-manifolds", one would want to know exactly which groups occur as fundamental groups of these manifolds. The Stallings-Jaco-Hempel reformulation of the Poincare conjecture inspired several connections between low-dimensional topology, equations over free groups, and combinatorial group theory. The reformulation reduces the problem to study epimorphisms from the fundamental group of a closed orientable surface onto the direct product of two free groups (they correspond to Heegaard splittings of 3-manifolds and were named splitting homomorphisms). Olshankii (1989) constructed (in non-explicit form) first non-trivial examples of such splitting epimorphisms and verified the standardness of some of them. We construct up to equivalence all the splitting coordinate-surjective homomorphisms (among them, the genuine splitting epimorphisms are exactly those for which our constructed associated group balanced presentation is trivial). We give generators and relations of the corresponding balanced presentation (so all closed orientable 3-manifold groups) that can be studied by algebraic methods. We analyse a big class of such homomorphisms/presentations (including all Olshanskii's epimorphisms) and show that splitting epimorphisms are rare, in this case the corresponding balanced presentation of the trivial group can be reduced to the standard one by Andrews-Curtis transformations and the epimorphisms are standard.