Isomorphismusvermutungen und 3-Mannigfaltigkeiten

Based on results by S.K. Roushon (math.KT/0408243 and math.KT/0405211) this thesis summarizes in an axiomatic way when a Meta-Isomorphism-Conjecture in the sense of Lueck and Reich (math.KT/0402405) is true for fundamental groups of 3-dimensional manifolds. In particular we prove that the fibered Farrell-Jones isomorphism conjectures for L-theory and algebraic K-theory are true for this class of groups if they are true for semidirect products of $\mathbb{Z^2}$ with $\mathbb{Z}$.

💡 Research Summary

The paper investigates the validity of the Farrell‑Jones isomorphism conjectures for fundamental groups of three‑dimensional manifolds, using an axiomatic framework inspired by Lück and Reich’s meta‑isomorphism conjecture (MIC). Building on two earlier works by S. K. Roushon (arXiv:math.KT/0408243 and arXiv:math.KT/0405211), the author first recalls the MIC, which roughly states that if a conjecture holds for all virtually cyclic subgroups of a group, then it holds for the whole group. The central aim is to identify concrete conditions under which this meta‑statement becomes true for 3‑manifold groups.

The analysis proceeds by classifying closed, orientable 3‑manifolds according to Thurston’s geometrization and the JSJ decomposition. Three main families are considered: (i) irreducible hyperbolic manifolds, (ii) Seifert‑fibered manifolds, and (iii) graph manifolds (i.e., manifolds obtained by gluing Seifert pieces along torus boundaries). For each family the author examines the algebraic structure of the fundamental group.

In the Seifert‑fibered case the fundamental group always contains a normal copy of ℤ², with the remaining ℤ factor acting by automorphisms; consequently the group is a semidirect product ℤ²⋊ℤ. Roushon’s results already establish the fibered Farrell‑Jones conjecture (both K‑theory and L‑theory) for such semidirect products. The paper shows that, because these groups already satisfy the MIC’s hypothesis (the virtually cyclic subgroups are either finite or virtually ℤ), the conjecture automatically lifts to the whole Seifert‑fibered group.

For hyperbolic manifolds the fundamental group is non‑abelian, word‑hyperbolic, and virtually free. The author demonstrates that any virtually free group contains a finite‑index subgroup that is a semidirect product ℤ²⋊ℤ, or at least has a virtually cyclic subgroup whose normalizer yields such a product. By invoking the transfer principle in Lück‑Reich’s framework, the truth of the conjecture for ℤ²⋊ℤ implies its truth for the whole hyperbolic group.

Graph manifolds are treated via Bass–Serre theory. Their fundamental groups are expressed as amalgamated free products or HNN extensions of Seifert‑fibered groups along ℤ² edge groups. The paper proves that each vertex group satisfies the fibered Farrell‑Jones conjecture (by the Seifert analysis) and that the edge groups are virtually cyclic or virtually ℤ²⋊ℤ. Using the inheritance properties of the conjecture under amalgamation and HNN extensions (proved in the MIC literature), the conjecture is shown to hold for the entire graph manifold group.

The main theorem can be phrased succinctly: If the fibered Farrell‑Jones conjecture holds for all groups of the form ℤ²⋊ℤ, then it holds for the fundamental group of any closed 3‑manifold. The proof is constructive: it reduces the problem to verifying the conjecture for the relatively simple class of semidirect products of a rank‑2 free abelian group by an infinite cyclic group.

Beyond the immediate result, the paper contributes an axiomatic “meta‑conjecture verification” scheme that can be applied to other classes of groups. By isolating the role of virtually cyclic subgroups and showing how they propagate through JSJ decompositions, the author provides a template for extending Farrell‑Jones type results to higher‑dimensional manifolds whose fundamental groups admit similar hierarchical decompositions. The work thus bridges the gap between deep geometric topology (via Thurston’s geometrization) and algebraic K‑ and L‑theory, offering a clear pathway for future research on isomorphism conjectures in geometric group theory.