[Paper Review] The structure of 3-manifolds with 2-generated fundamental group

Michel Boileau, Richard Weidmann|ArXiv.org|Nov 30, 2001

Geometric and Algebraic Topology18 references4 citations

TL;DR

This paper classifies compact, orientable, irreducible 3-manifolds with 2-generated fundamental group and non-trivial JSJ decomposition, showing they are either Heegaard genus 2 or consist of specific gluings of Seifert manifolds and hyperbolic manifolds with parabolic generators. The key result is a complete topological characterization of such manifolds via their JSJ structure and fundamental group rank.

ABSTRACT

We prove a structure theorem for 3-manifolds with non-trivial JSJ-decomposition and 2-generated fundamental group. We deduce a variety of Corollaries. Note this is not a complete classification of such manifolds. In particular we believe that one of the families in our list is empty. If you know something about hyperbolic 2-bridge knot exteriors and their finite sheeted covering spaces you might want to finish this off. Thanks.

Motivation & Objective

• To determine the topological structure of compact, orientable, irreducible 3-manifolds with 2-generated fundamental group and non-trivial JSJ decomposition.
• To resolve the open question of whether such manifolds can have Heegaard genus greater than 2.
• To establish conditions under which these manifolds are 2-fold branched covers of homotopy spheres.
• To extend results on knot primality and irreducibility to the setting of 2-generated fundamental groups.
• To provide a complete classification of JSJ-decomposed 3-manifolds with rank 2 fundamental group via geometric and algebraic constraints.

Proposed method

• Utilizes T. Kobayashi’s classification of Heegaard genus 2 3-manifolds with non-trivial JSJ decomposition as a foundational framework.
• Applies the theory of JSJ decompositions to analyze the structure of 3-manifolds with rank 2 fundamental group.
• Employs the concept of parabolic generators in hyperbolic manifolds to characterize gluing patterns between Seifert and hyperbolic pieces.
• Uses the annulus theorem and acylindricity criteria to rule out essential surfaces that would contradict rank 2 fundamental groups.
• Applies results from Bonahon-Siebenmann on characteristic collections of tori and Conway spheres to analyze knot exteriors.
• Leverages the Malnormal Subgroup Theorem (Karrass–Solitar) to show that non-free, two-generated groups cannot admit malnormal amalgamated splittings, which rules out certain surface embeddings.

Experimental results

Research questions

• RQ1 Can a compact, orientable, irreducible 3-manifold with 2-generated fundamental group and non-trivial JSJ decomposition have Heegaard genus greater than 2?
• RQ2 What are the precise topological types of Seifert and hyperbolic pieces that can appear in such a decomposition?
• RQ3 Under what gluing conditions does the resulting manifold retain a rank 2 fundamental group?
• RQ4 Are there examples of hyperbolic 3-manifolds with 2-generated fundamental group that are not of Heegaard genus 2?
• RQ5 Can a 2-generator knot in S³ be Conway irreducible, and what does this imply about its 2-fold branched cover?

Key findings

• A compact, orientable, irreducible 3-manifold with rank(π₁) = 2 and non-trivial JSJ decomposition is either of Heegaard genus 2 or decomposes into specific gluings of Seifert and hyperbolic pieces.
• Manifolds of type 2) in Theorem 1 — a Seifert piece and a hyperbolic piece with a parabolic generator — are not known to exceed Heegaard genus 2, though no such example is currently known.
• Manifolds of type 3) in Theorem 1 — two Seifert pieces glued along fibers with intersection number one — do not admit Heegaard genus 2 unless specific geometric conditions on the knot exteriors are met.
• Manifolds of type 4) — a Q³ bundle and a hyperbolic manifold with finite-sheeted irregular cover by a 2-bridge link exterior — are conjectured not to exist with Heegaard genus greater than 2.
• Closed 3-manifolds with 2-generated fundamental group and non-trivial JSJ decomposition or geometric structure are 2-fold branched covers of homotopy spheres.
• A two-generator knot in S³ is both prime and Conway irreducible, extending results of Norwood and Scharlemann to the 2-generator case.