[Paper Review] Tameness of hyperbolic 3-manifolds

Ian Agol|ArXiv.org|May 29, 2004

Geometric and Algebraic TopologyMathematics40 references181 citations

TL;DR

This paper proves Marden's tameness conjecture for hyperbolic 3-manifolds with finitely generated fundamental group, showing they are homeomorphic to the interior of a compact 3-manifold with boundary. The proof uses geometric limit arguments, branched covers, and curvature bounds on convex cores to establish tameness via generalizations of Canary-Minsky and Bonahon's techniques, resolving a central problem in 3-manifold topology and Kleinian group theory.

ABSTRACT

We show that hyperbolic 3-manifolds with finitely generated fundamental group are tame, that is the ends are products. We actually work in slightly greater generality with pinched negatively curved manifolds with hyperbolic cusps. This answers a conjecture of Marden and implies the Ahlfors measure conjecture. Applications are given to other questions about Kleinian groups and 3-manifolds.

Motivation & Objective

• To resolve Marden's conjecture that every hyperbolic 3-manifold with finitely generated fundamental group is tame, i.e., homeomorphic to the interior of a compact 3-manifold with boundary.
• To extend the notion of tameness to PNC (pinched negatively curved) manifolds with hyperbolic cusps, reducing the cusped case to the cusp-free case.
• To establish geometric tameness via limit arguments on homotopy-equivalent branched covers, generalizing results of Canary and Minsky.
• To provide a foundation for the ending lamination theorem and the density conjecture by confirming tameness as a key structural property.

Proposed method

• Reduces the cusped case of the tameness conjecture to the cusp-free case using topological and geometric arguments in section 6.
• Constructs a sequence of homotopy-equivalent tame PNC branched covers that converge geometrically to the original manifold under a technical condition, as shown in section 9.
• Applies a generalized version of the Canary-Minsky limit argument in section 13 to conclude tameness from geometric convergence.
• Uses curvature bounds on the boundary of the convex hull of a PNC manifold, derived from Jacobi field estimates and the Hessian comparison theorem, to control area and topology.
• Employs the PNC covering theorem (Theorem 14.2) to reduce the general case to the case with the technical condition, enabling the limit argument.
• Adapts a result of Kleiner (in the appendix) to bound the area of the convex core boundary in terms of the Euler characteristic and pinching constants.

Experimental results

Research questions

• RQ1 Is every hyperbolic 3-manifold with finitely generated fundamental group homeomorphic to the interior of a compact 3-manifold with boundary?
• RQ2 Can the tameness of PNC manifolds with hyperbolic cusps be reduced to the cusp-free case via geometric and topological techniques?
• RQ3 Does the geometric limit of a sequence of tame PNC branched covers preserve tameness under finitely generated fundamental group assumptions?
• RQ4 Can curvature and area bounds on the convex core boundary be used to control the topology of the limit manifold and imply tameness?
• RQ5 Does the generalization of the Canary-Minsky limit argument extend to PNC manifolds with the required geometric convergence?

Key findings

• The tameness conjecture is fully resolved: every hyperbolic 3-manifold with finitely generated fundamental group is tame, i.e., homeomorphic to the interior of a compact 3-manifold with boundary.
• The boundary of the convex hull of a PNC manifold has area bounded solely by its Euler characteristic and the pinching constants, a key technical input for the limit argument.
• The area of the convex core boundary satisfies the inequality $\mathrm{Area}(\partial \mathcal{CH}(M)) \leq \frac{2\pi}{b} \chi(\partial \mathcal{CH}(M))$, where $b$ is the lower bound on sectional curvature.
• The limit of a sequence of tame PNC branched covers with finitely generated fundamental group is itself tame, under a technical condition, via a generalized Canary-Minsky argument.
• The result implies that geometric tameness holds for all hyperbolic 3-manifolds with finitely generated fundamental group, confirming a central conjecture in 3-manifold topology.
• The resolution of tameness supports the ending lamination conjecture and the density conjecture, as tameness is a necessary condition for these deeper parameterizations of Kleinian groups.