In this paper, we find lower bounds for volumes of hyperbolic 3-manifolds with various topological conditions. Let V_3 = 1.01494 denote the volume of a regular ideal simplex in hyperbolic 3-space. As a special case of the main theorem, if a hyperbolic manifold M contains an acylindrical surface S, then Vol(M)>= -2 V_3 chi(S). We also show that if beta_1(M)>= 2, then Vol(M)>= 4/5 V_3.
We determine the lowest volume hyperbolic Coxeter polyhedron whose corresponding hyperbolic polyhedral 3-orbifold contains an essential 2-suborbifold, up to a canonical decomposition along essential hyperbolic triangle 2-suborbifolds.
For every closed hyperbolic Haken 3-manifold and, more generally, for any hyperbolic 3-manifold M which is homeomorphic to the interior of a Haken manifold, the number 0.286 is a Margulis number. If M has non-zero first Betti number, or if M is closed and contains a semi-fiber, then 0.292 is a Margulis number for M.
A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture says that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. Here, we discuss two interrelated topics concerning this conjecture. First, we describe computer experiments which give strong evidence that the Virtual Haken Conjecture is true for hyperbolic 3-manifolds. We took the complete Hodgson-Weeks census of 10,986 small-volume closed hyperbolic 3-manifolds, and for each of them found finite covers which are Haken. There are interesting and unexpla…
Colding and Gabai have given an effective version of Li's theorem that non-Haken hyperbolic 3-manifolds have finitely many irreducible Heegaard splittings. As a corollary of their work, we show that Haken hyperbolic 3-manifolds have a finite collection of strongly irreducible Heegaard surfaces $S_i$ and incompressible surfaces $K_j$ such that any strongly irreducible Heegaard surface is a Haken sum $S_i + \sum_j n_j K_j$, up to one-sided associates of the Heegaard surfaces.
In this paper, we give infinitely many non-Haken hyperbolic genus three 3-manifolds each of which has a finite cover whose induced Heegaard surface from some genus three Heegaard surface of the base manifold is reducible but can be compressed into an incompressible surface. This result supplements [CG] and extends [MMZ].
We prove a volume inequality for 3-manifolds having C^0 metrics "bent" along a hypersurface, and satisfying certain curvature pinching conditions. The result makes use of Perelman's work on Ricci flow and geometrization of closed 3-manifolds. Corollaries include a new proof of a conjecture of Bonahon about volumes of convex cores of Kleinian groups, improved volume estimates for certain Haken hyperbolic 3-manifolds, and a lower bound on the minimal volume orientable hyperbolic 3-manifold. An appendix by Dunfield compares estimates of volumes of hyperbolic 3-manifolds drilled along a closed emb…
We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to this paper by Agol, Groves, and Manning proves a generalization of the main result of "Residual finiteness, QCERF and fillings of hyperbolic groups".
The main result is a short effective proof of Tao Li's theorem that a closed non Haken hyperbolic 3-manifold N has at most finitely many irreducible Heegaard splittings.
We give a simple criterion for a Heegaard splitting to yield a Haken manifold. As a consequence, we construct many Haken manifolds, in particular homology spheres, with prescribed properties, namely Heegaard genus, Heegaard distance and Casson invariant. Along the way we give simpler and shorter proofs of the existence of splittings with specified Heegaard distance, originally proven by Ido-Jang-Kobayashi, of the existence of hyperbolic manifolds with prescribed Casson invariant, originally due to Lubotzky-Maher-Wu, and of a result about subsurface projections of disc sets (for which we even g…
In this paper we consider two connected closed Haken manifolds denoted by M^3 and N^3, with the same Gromov simplicial volume. We give a simple homological criterion to decide when a given map f: M^3-->N^3 between M^3 and N^3 can be changed by a homotopy to a homeomorphism. We then give a convenient process for constructing maps between M^3 and N^3 satisfying the homological hypothesis of the map f.
We give a brief summary of some of our work and our joint work with Stephan Tillmann on solving Thurston's equation and Haken equation on triangulated 3-manifolds in this paper. Several conjectures on the existence of solutions to Thurston's equation and Haken equation are made. Resolutions of these conjecture will lead to a new proof of the Poincaré conjecture without using the Ricci flow. We approach these conjectures by a finite dimensional variational principle so that its critical points are related to solutions to Thurston's gluing equation and Haken's normal surface equation. The action…
A natural problem in the theory of 3-manifolds is the question of whether two 3-manifolds are homeomorphic or not. The aim of this paper is to study this problem for the class of closed Haken manifolds using degree one maps. To this purpose we introduce an invariant $ τ(N)=({\rm Vol}(N),\|N\|)$ where $\|N\|$ denotes the Gromov simplicial volume of $N$ and ${\rm Vol}(N)$ is a 2-dimensional simplicial volume which measures the volume of the base 2-orbifolds of the Seifert pieces of $N$. After studying the behavior of $τ(N)$ under nonzero degree maps action, we prove that if $M$ and $N$ are close…
We show that there exist infinitely many commensurability classes of finite volume hyperbolic 3-manifolds whose fundamental group contains a subgroup which is locally free but not free. The main technical tool is the fact that a collection of hyperbolic 3-manifolds of bounded volume contains infinitely many commensurability classes. The result then by an application of Thurston's hyperbolization theorem for Haken 3-manifolds.
We examine three key conjectures in 3-manifold theory: the virtually Haken conjecture, the positive virtual b_1 conjecture and the virtually fibred conjecture. We explore the interaction of these conjectures with the following seemingly unrelated areas: eigenvalues of the Laplacian, and Heegaard splittings. We first give a necessary and sufficient condition, in terms of spectral geometry, for a finitely presented group to have a finite index subgroup with infinite abelianisation. For negatively curved 3-manifolds, we show that this is equivalent to a statement about generalised Heegaard splitt…
This is the first in a series of papers showing that Haken manifolds have hyperbolic structures; this first was published, the second two have existed only in preprint form, and later preprints were never completed. This eprint is only an approximation to the published version, which is the definitive form for part I, and is provided for convenience only. All references and quotations should be taken from the published version, since the theorem numbering is different and not all corrections have been incorporated into the present version. Parts II and III will be made available as eprints sho…
Thurston's hyperbolization theorem for Haken manifolds and normal surface theory yield an algorithm to determine whether or not a compact orientable 3-manifold with nonempty boundary consisting of tori admits a complete finite-volume hyperbolic metric on its interior. A conjecture of Gabai, Meyerhoff, and Milley reduces to a computation using this algorithm.
We show that if M is a complete, finite-volume, hyperbolic 3-manifold having exactly one cusp, and if H_1(M;Z_2) has dimension at least 6, then M has volume greater than 5.06. We also show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 4, and if the image of the cup product map in H^2(M;Z_2) has dimension at most 1, then M has volume greater than 3.08. The proofs of these geometric results involve new topological results relating the Heegaard genus of a closed Haken manifold M to the Euler characteristic of the kishkes (i.e guts) of the comp…
Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to the circle, according as the center of the fundamental group of M is trivial or infinite cyclic. Apart from the remaining case of non-Haken infranilmanifolds, this completes the homeomorphism classifications of Diff(M) and of the space of Seifert fiberings of…
This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical, but are more complicated than interval bundles over surfaces. This is a slight revision of a 1986 preprint, with a few figures added, and slight clarifications of some of the text, but with no attempt to connect this to later developments such as groups acting on R-trees, etc.
We show that a relatively hyperbolic group quasi-isometrically embeds in a product of finitely many trees if the peripheral subgroups do, and we provide an estimate on the minimal number of trees needed. Applying our result to the case of 3-manifolds, we show that fundamental groups of closed 3-manifolds have linearly controlled asymptotic dimension at most 8. To complement this result, we observe that fundamental groups of Haken 3-manifolds with non-empty boundary have asymptotic dimension 2.
Hyperbolic Dehn surgery and the bending procedure provide two ways which can be used to describe hyperbolic deformations of a complete hyperbolic structure on a 3-manifold. Moreover, one can obtain examples of non-Haken manifolds without the use of Thurston's Uniformization Theorem. We review these gluing techniques and present a logical continuity between these ideas and gluing methods for Higgs bundles. We demonstrate how one can construct certain model objects in representation varieties $\text{Hom} \left( π_{1} \left( Σ\right), G \right) $ for a topological surface $Σ$ and a semisimple Lie…
This paper proves that every oriented non-disk Seifert surface $F$ for a knot $K$ in $S^3$ is smoothly concordant to a Seifert surface $F^{\prime}$ for a hyperbolic knot $K^{\prime}$ of arbitrarily large volume. This gives a new and simpler proof of the result of Friedl and of Kawauchi that every knot is $S$-equivalent to a hyperbolic knot of arbitrarily large volume. The construction also gives a new and simpler proof of the result of Silver and Whitten and of Kawauchi that for every knot $K$ there is a hyperbolic knot $K^{\prime}$ of arbitrarily large volume and a map of pairs $f:(S^3,K^{\pr…
We propose a finite dimensional variational principle on triangulated 3-manifolds so that its critical points are related to solutions to Thurston's gluing equation and Haken's normal surface equation. The action functional is the volume. This is a generalization of an earlier program by Casson and Rivin for compact 3-manifolds with torus boundary. Combining the result in this paper and the work of Futer-Guéritaud, Segerman-Tillmann and Luo-Tillmann, we obtain a new finite dimensional variational formulation of the Poncare-conjecture. This provides a step toward a new proof the Poincaré conjec…
This paper contains a purely topological theorem and a geometric application. The topological theorem states that if M is a simple closed orientable 3-manifold such that π_1(M) contains a genus g surface group and H_1(M;Z/2Z) has rank at least 4g-1 then M contains a closed incompressible surface of genus at most g. This result should be viewed as an analogue of Dehn's Lemma for π_1-injective singular surfaces. The geometric application states that if M is a closed orientable hyperbolic 3-manifold with volume less than 3.08 then the rank of H_1(M;Z/2Z) is at most 6. The proof of the geometric t…
In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds.
We show that the hyperbolic volume of a hyperbolic knot is a quandle cocycle invariant. Further we show that it completely determines invertibility and positive/negative amphicheirality of hyperbolic knots.
This paper is the second in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Using Mom technology, we prove that any one-cusped hyperbolic 3-manifold with volume <= 2.848 can be obtained by a Dehn filling on one of 21 cusped hyperbolic 3-manifolds. We also show how this result can be used to construct a complete list of all one-cusped hyperbolic three-manifolds with volume <= 2.848 and all closed hyperbolic three-manifolds with volume <= 0.943. In particular, the Weeks manifold is the unique smallest volume closed orientable hyperboli…
For families of knots and links given in Conway notation we compute lower maximal and upper minimal bound of hyperbolic volume by using source links and augmented links.
We classify the complete hyperbolic 3-manifolds admitting a maximal cusp of volume at most 2.62. We use this to show that the figure-8 knot complement is the unique 1-cusped hyperbolic 3-manifold with nine or more non-hyperbolic fillings; to show that the figure-8 knot complement and its sister are the unique hyperbolic 3-manifolds with minimal volume maximal cusps; and to extend results on determining low volume closed and cusped hyperbolic 3-manifolds.
We construct here two new examples of non-orientable, non-compact, hyperbolic 4-manifolds. The first has minimal volume $v_m = 4π^2/3$ and two cusps. This example has the lowest number of cusps among known minimal volume hyperbolic 4-manifolds. The second has volume $2\cdot v_m$ and one cusp. It has lowest volume among known one-cusped hyperbolic 4-manifolds.
Let $M$ be a closed $n$-manifold with nonzero simplicial volume. A central result in systolic geometry from Gromov is that systolic volume of $M$ is related to its simplicial volume. In this short note, we show that systolic volume of hyperbolic manifolds is related to triangulation complexity. The proof is based on Jørgensen and Thurston's theorem of hyperbolic volume.
We prove that the 8^4_2 link complement is the minimal volume orientable hyperbolic manifold with 4 cusps. Its volume is twice of the volume V_8 of the ideal regular octahedron, i.e. 7.32... = 2V_8. The proof relies on Agol's argument used to determine the minimal volume hyperbolic 3-manifolds with 2 cusps. We also need to estimate the volume of a hyperbolic 3-manifold with totally geodesic boundary which contains an essential surface with non-separating boundary.
In a variety of settings we provide a method for decomposing a 3-manifold $M$ into pieces. When the pieces have the appropriate type of hyperbolicity, then the manifold $M$ is hyperbolic and its volume is bounded below by the sum of the appropriately defined hyperbolic volumes of the pieces. A variety of examples of appropriately hyperbolic pieces and volumes are provided, with many examples from link complements in the 3-sphere.
We extend the Neumann's methods and give the explicit formulae for the volume and the Chern-Simons invariant for hyperbolic alternating knot orbifolds.
We construct pairs of non-isometric hyperbolic 3-orbifolds with the same topological type and volume. Topologically these orbifolds are mapping tori of pseudo-Anosov maps of the surface of genus 2, with singular locus a fibred (hyperbolic) link with five components.
This paper is the first in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Here we introduce Mom technology and enumerate the hyperbolic Mom-n manifolds for n <= 4.
The volume density of a hyperbolic link is defined as the ratio of hyperbolic volume to crossing number. We study its properties and a closely-related invariant called the determinant density. It is known that the sets of volume densities and determinant densities of links are dense in the interval [0,v_{oct}]. We construct sequences of alternating knots whose volume and determinant densities both converge to any x in [0,v_{oct}]. We also investigate the distributions of volume and determinant densities for hyperbolic rational links, and establish upper bounds and density results for these inv…
It is known that the volume function for hyperbolic manifolds of dimension $\geq 3$ is finite-to-one. We show that the number of nonhomeomorphic hyperbolic 4-manifolds with the same volume can be made arbitrarily large. This is done by constructing a sequence of finite-sided finite-volume polyhedra with side-pairings that yield manifolds. In fact, we show that arbitrarily many nonhomeomorphic hyperbolic 4-manifolds may share a fundamental polyhedron. As a by-product of our examples, we also show in a constructive way that the set of volumes of hyperbolic 4-manifolds contains the set of even in…
We give an upper bound for the growth of homology torsions of finite coverings of irreducible 3-manifolds with tori boundary in terms of hyperbolic volume.
Some conjectures about Heegaard genera and ranks of fundamental groups of 3-manifolds are formulated, and it is shown that they imply new statements about hyperbolic volume.
By use of H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a lattice of a semisimple Lie group, we construct an explicit lower bound for the volume of a quaternionic hyperbolic orbifold that depends only on dimension.
University of Montana(蒙大拿大学);Louisiana State University(路易斯安那州立大学);Monash University(莫纳什大学);University of Sydney(悉尼大学);Oklahoma State University(俄克拉荷马州立大学)
An equiangular hyperbolic Coxeter polyhedron is a hyperbolic polyhedron where all dihedral angles are equal to π/n for some fixed integer n at least 2. It is a consequence of Andreev's theorem that either n=3 and the polyhedron has all ideal vertices or that n=2. Volume estimates are given for all equiangular hyperbolic Coxeter polyhedra.
We investigate the rigidity of hyperbolic cone metrics on $3$-manifolds which are isometric gluing of ideal and hyper-ideal tetrahedra in hyperbolic spaces. These metrics will be called ideal and hyper-ideal hyperbolic polyhedral metrics. It is shown that a hyper-ideal hyperbolic polyhedral metric is determined up to isometry by its curvature and a decorated ideal hyperbolic polyhedral metric is determined up to isometry and change of decorations by its curvature. The main tool used in the proof is the Fenchel dual of the volume function.
We realize a given (monic) Alexander polynomial by a (fibered) hyperbolic arborescent knot and link of any number of components, and by infinitely many such links of at least 4 components. As a consequence, a Mahler measure minimizing polynomial, if it exists, is realized as the Alexander polynomial of a fibered hyperbolic link of at least 2 components. For given polynomial, we give also an upper bound on the minimal hyperbolic volume of knots/links, and contrarily, construct knots of arbitrarily large volume, which are arborescent, or have given free genus at least 2.
We show that given n>0, there exists a hyperbolic knot K with trivial Alexander polynomial, trivial finite type invariants of order <=n, and such that the volume of the complement of K is larger than n. This contrasts with the known statement that the volume of the complement of a hyperbolic alternating knot is bounded above by a linear function of the coefficients of the Alexander polynomial of the knot. As a corollary to our main result we obtain that, for every m>0, there exists a sequence of hyperbolic knots with trivial finite type invariants of order <=m but arbitrarily large volume. We …
We enumerate the small-volume manifolds that can be obtained by Dehn filling on Mom-2 and Mom-3 manifolds as defined by Gabai, Meyerhoff, and the author. In so doing we complete the proof that the Weeks manifold is the minimum-volume compact hyperbolic 3-manifold, as well as enumerating the 10 smallest one-cusped hyperbolic 3-manifolds.