We prove that the Whitehead link complement and the (-2, 3, 8) pretzel link complement are the minimal volume orientable hyperbolic 3-manifolds with two cusps, with volume 3.66... = 4 x Catalan's constant. We use topological arguments to establish the existence of an essential surface which provides a lower bound on volume and strong constraints on the manifolds that realize that lower bound.
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…
We consider the existence of simple closed geodesics or "geodesic knots" in finite volume orientable hyperbolic 3-manifolds. Previous results show that at least one geodesic knot always exists [Bull. London Math. Soc. 31(1) (1999) 81-86], and that certain arithmetic manifolds contain infinitely many geodesic knots [J. Diff. Geom. 38 (1993) 545-558], [Experimental Mathematics 10(3) (2001) 419-436]. In this paper we show that all cusped orientable finite volume hyperbolic 3-manifolds contain infinitely many geodesic knots. Our proof is constructive, and the infinite family of geodesic knots prod…
We introduce a generalization of the Dijkgraaf-Witten invariants for cusped or compact oriented 3-manifolds. We show that the generalized DW invariants distinguish some pairs of cusped hyperbolic 3-manifolds with the same hyperbolic volumes and with the same Turaev-Viro invariants. We also present an example of a pair of cusped hyperbolic 3-manifolds with the same hyperbolic volumes and with the same homology groups, whereas with distinct generalized DW invariants.
This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding horosphere packings and canonical cell decompositions. For example, we use this to find the commensurators of all non-arithmetic hyperbolic once-punctured torus bundles over the circle. For hyperbolic 3-manifolds, the algorithm has been implemented using Goodman's computer program Snap. We use this to determine the commensurability classes of all cusped hyp…
It is experimentally known that achiral hyperbolic 3-manifolds are quite sporadic at least among those with small volume, while we can find plenty of them as amphicheiral knot complements in the 3-sphere. In this paper, we show that there exist infinitely many achiral 1-cusped hyperbolic 3-manifolds not homeomorphic to any amphicheiral null-homologous knot complement in any closed achiral 3-manifold.
Combinatorial Ricci flow on a cusped $3$-manifold is an analogue of Chow-Luo's combinatorial Ricci flow on surfaces and Luo's combinatorial Ricci flow on compact $3$-manifolds with boundary for finding complete hyperbolic metrics on cusped $3$-manifolds. Dual to Casson and Rivin's program of maximizing the volume of angle structures, combinatorial Ricci flow finds the complete hyperbolic metric on a cusped $3$-manifold by minimizing the co-volume of decorated hyperbolic polyhedral metrics. The combinatorial Ricci flow may develop singularities. We overcome this difficulty by extending the flow…
Previous work of the authors with Bus Jaco determined a lower bound on the complexity of cusped hyperbolic 3-manifolds and showed that it is attained by the monodromy ideal triangulations of once-punctured torus bundles. This paper exhibits an infinite family of minimal ideal triangulations of Dehn fillings on the link $8^3_9$ that also attain this lower bound on complexity.
For any oriented cusped hyperbolic $3$-manifold $M$, we study its $(R,ε)$-panted cobordism group, which is the abelian group generated by $(R,ε)$-good curves in $M$ modulo the oriented boundaries of $(R,ε)$-good pants. In particular, we prove that for sufficiently small $ε>0$ and sufficiently large $R>0$, some modified version of the $(R,ε)$-panted cobordism group of $M$ is isomorphic to $H_1(\text{SO}(M);\mathbb{Z})$.
In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index structure if and only if T is 1-efficient and (b) if M is hyperbolic, it has a canonical set of 1-efficient ideal triangulations related by 2-3 and 0-2 moves which preserve the 3D index. We illustrate our results with several examples.
We give examples of non-fibered hyperbolic knot complements in homology spheres that are not commensurable to fibered knot complements in homology spheres. In fact, we give many examples of knot complements in homology spheres with the property that every commensurable knot complement in a homology sphere has non-monic Alexander polynomial.
Previous work of the authors studies minimal triangulations of closed 3-manifolds using a characterisation of low degree edges, embedded layered solid torus subcomplexes and 1-dimensional $\mathbb{Z}_2$-cohomology. The underlying blueprint is now used in the study of minimal ideal triangulations. As an application, it is shown that the monodromy ideal triangulations of the hyperbolic once-punctured torus bundles are minimal.
Cooper and Long generalised Epstein and Penner's Euclidean cell decomposition of cusped hyperbolic manifolds of finite volume to non-compact strictly convex projective manifolds of finite volume. We show that Weeks' algorithm to compute this decomposition for a hyperbolic surface generalises to strictly convex projective surfaces.
The space $\mathrm{GC} (Σ)$ of geodesic currents on a hyperbolic surface $Σ$ can be considered as a completion of the set of weighted closed geodesics on $Σ$ when $Σ$ is compact, since the set of rational geodesic currents on $Σ$, which correspond to weighted closed geodesics, is a dense subset of $\mathrm{GC}(Σ)$. We prove that even when $Σ$ is a cusped hyperbolic surface with finite area, $\mathrm{GC}(Σ)$ has the denseness property of rational geodesic currents, which correspond not only to weighted closed geodesics on $Σ$ but also to weighted geodesics connecting two cusps. In addition, we …
We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally recover SATELLITE KNOT RECOGNITION lying in NP. This was previously known only assuming the Generalized Riemann Hypothesis. Our key contribution is to certify closed essential normal surfaces as essential in polynomial time in compact orientable irreducible $\partial$-irreducible triangulations. Our work is made possible by recent work of Lackenby showing several …
Motivated by classical theorems on minimal surface theory in compact hyperbolic three-manifolds, we investigate the questions of existence and deformations for least area minimal surfaces in complete noncompact hyperbolic three-manifold of finite volume. We prove any closed immersed incompressible surface can be deformed to a closed immersed least area surface within its homotopy class in any cusped hyperbolic three-manifold. Our techniques highlight how special structures of these cusped hyperbolic three-manifolds prevent any least area minimal surface going too deep into the cusped region.
Following on from work of Dunfield, we determine the fibred status of all the unknown hyperbolic 3-manifolds in the cusped census. We then find all the fibred hyperbolic 3-manifolds in the closed census and use this to find over 100 examples each of closed and cusped virtually fibred non-fibred census 3-manifolds, including the Weeks manifold. We also show that the co-rank of the fundamental group of every 3-manifold in the cusped and in the closed census is 0 or 1.
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 construct infinitely many examples of pairs of isospectral but non-isometric $1$-cusped hyperbolic $3$-manifolds. These examples have infinite discrete spectrum and the same Eisenstein series. Our constructions are based on an application of Sunada's method in the cusped setting, and so in addition our pairs are finite covers of the same degree of a 1-cusped hyperbolic 3-orbifold (indeed manifold) and also have the same complex length-spectra. Finally we prove that any finite volume hyperbolic 3-manifold isospectral to the figure-eight knot complement is homeomorphic to the figure-eight kno…
We show the manifolds at infinity of the complex hyperbolic triangle groups $Δ_{3,4,4;\infty}$ and $Δ_{3,4,6;\infty}$,are one-cusped hyperbolic 3-manifolds $m038$ and $s090$ in the Snappy Census respectively.That is,these two manifolds admit spherical CR uniformizations. Moreover, these two hyperbolic 3-manifolds above can be obtained by Dehn surgeries on the first cusp of the two-cusped hyperbolic 3-manifold $m295$ in the Snappy Census with slopes $2$ and $4$ respectively. In general,the main result in this paper allow us to conjecture that the manifold at infinity of the complex hyperbolic t…
Let W be a compact manifold and let ρbe a representation of its fundamental group into PSL(2,C). The volume of ρis defined by taking any ρ-equivariant map from the universal cover of W to H^3 and then by integrating the pull-back of the hyperbolic volume form on a fundamental domain. It turns out that such a volume does not depend on the choice of the equivariant map. Dunfield extended this construction to the case of a non-compact (cusped) manifold M, but he did not prove the volume is well-defined in all cases. We prove here that the volume of a representation is always well-defined and depe…
We show that the 1-cusped quotient of the hyperbolic space $\mathbb{H}^3$ by the tetrahedral Coxeter group $Γ_*=[5,3,6]$ has minimal volume among all non-arithmetic cusped hyperbolic 3-orbifolds, and as such it is uniquely determined. Furthermore, the lattice $Γ_*$ is incommensurable to any Gromov-Piatetski-Shapiro type lattice. Our methods have their origin in the work of C. Adams. We extend considerably this approach via the geometry of the underlying horoball configuration induced by a cusp.
We define for each g>=2 and k>=0 a set M_{g,k} of orientable hyperbolic 3-manifolds with $k$ toric cusps and a connected totally geodesic boundary of genus g. Manifolds in M_{g,k} have Matveev complexity g+k and Heegaard genus g+1, and their homology, volume, and Turaev-Viro invariants depend only on g and k. In addition, they do not contain closed essential surfaces. The cardinality of M_{g,k} for a fixed k has growth type g^g. We completely describe the non-hyperbolic Dehn fillings of each M in M_{g,k}, showing that, on any cusp of any hyperbolic manifold obtained by partially filling M, the…
We show that if a cusped hyperbolic manifold is Platonic, i.e., can be decomposed into isometric Platonic solids, it can also be decomposed into geodesic ideal tetrahedra.
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.
Hensel-Przytycki-Webb proved that all curve graphs of orientable surfaces are 17-hyperbolic. In this paper, we show that curve graphs of non-orientable surfaces are 17-hyperbolic by applying Hensel-Przytycki-Webb's argument. We also show that arc graphs of non-orientable surfaces are 7-hyperbolic, and arc-curve graphs of (non-)orientable surfaces are 9-hyperbolic.
This article deals with the set of closed geodesics on complete finite type hyperbolic surfaces. For any non-negative integer $k$, we consider the set of closed geodesics that self-intersect at least $k$ times, and investigate those of minimal length. The main result is that, if the surface has at least one cusp, their self-intersection numbers are exactly $k$ for large enough $k$.
It has been observed that most manifolds in the Callahan-Hildebrand-Weeks census of cusped hyperbolic $3$-manifolds are obtained by surgery on the minimally twisted 5-chain link. A full classification of the exceptional surgeries on the 5-chain link has recently been completed. In this article, we provide a complete classification of the sets of exceptional slopes and fillings for all cusped hyperbolic surgeries on the minimally twisted 5-chain link, thereby describing the sets of exceptional slopes and fillings for most hyperbolic manifolds of small complexity. The classification produces the…
Let N be a manifold (with boundary) of dimension at least 3, such that its interior admits a hyperbolic metric of finite volume. We discuss the possible limits arising from sequences of relative fundamental cycles approximating the simplicial volume. As applications, we extend results of Jungreis and Calegari from closed hyperbolic to finite-volume hyperbolic manifolds: a) strict subadditivity of simplicial volume with respect to isometric glueing along geodesic surfaces, and b) nontriviality of the foliated Gromov norm for "most" foliations with two-sided branching.
We show that the conjectural cusped complex hyperbolic 2-orbifolds of minimal volume are the two smallest arithmetic complex hyperbolic 2-orbifolds. We then show that every arithmetic cusped complex hyperbolic 2-manifold of minimal volume covers one of these two orbifolds. We also give all minimal volume manifolds that simultaneously cover both minimal orbifolds.
In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds.
It is well-known that there is a faithful representation of braid groups on automorphism groups of free groups, and it is also well-known that free groups are bi-orderable. We investigate which n-strand braids give rise to automorphisms which preserve some bi-ordering of the free group rank n. As a consequence of our work we find that of the two minimal volume hyperbolic 2-cusped orientable 3-manifolds, one has bi-orderable fundamental group whereas the other does not. We prove a similar result for the 1-cusped case, and have further results for more cusps. In addition, we study pseudo-Anosov …
We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.
Let M be a complete, finite-volume, orientable hyperbolic manifold having exactly one cusp. If we assume that pi_1(M) has no subgroup isomorphic to a genus-2 surface group, and that either (a) H_1(M;Z_p) has dimension at least 5 for some prime p, or (b) H_1(M;Z_2) has dimension at least 4, and the subspace of H^2(M;Z_2) spanned by the image of the cup product has dimension at most 1, then vol M > 5.06 If we assume that H_1(M;Z_2) has dimension at least 7, and that the compact core of M does not contain a genus-2 closed incompressible surface, then vol M > 5.06.
Any two geometric ideal triangulations of a cusped complete hyperbolic $3$-manifold $M$ are related by a sequence of Pachner moves through topological triangulations. We give a bound on the length of this sequence in terms of the total number of tetrahedra and a lower bound on dihedral angles. This leads to a naive but effective algorithm to check if two hyperbolic knots are equivalent, given geometric ideal triangulations of their complements. Given a geometric ideal triangulation of $M$, we also give a lower bound on the systole length of $M$ in terms of the number of tetrahedra and a lower …
For a single cusped hyperbolic 3-manifold, Hodgson proved that there are only finitely many Dehn fillings of it whose trace fields have bounded degree. In this paper, we conjecture the same for manifolds with more cusps, and give the first positive results in this direction. For example, in the 2-cusped case, if a manifold has linearly independent cusp shapes, we show that the manifold has the desired property.To prove the results, we use the proof of the Bounded Height Conjecture in arithmetic geometry.
We study how the spin structures on finite-volume hyperbolic n-manifolds restrict to cusps. When a cusp cross-section is a (n-1)-torus, there are essentially two possible behaviours: the spin structure is either bounding or Lie. We show that in every dimension n there are examples where at least one cusp is Lie, and in every dimension n <= 8 there are examples where all the cusps are bounding. By work of C. Bar, this implies that the spectrum of the Dirac operator is R in the first case, and discrete in the second. We therefore deduce that there are cusped hyperbolic manifolds whose spectrum o…
From its creation in 1989 through subsequent extensions, the widely-used "SnapPea census" now aims to represent all cusped finite-volume hyperbolic 3-manifolds that can be obtained from <= 8 ideal tetrahedra. Its construction, however, has relied on inexact computations and some unproven (though reasonable) assumptions, and so its completeness was never guaranteed. For the first time, we prove here that the census meets its aim: we rigorously certify that every ideal 3-manifold triangulation with <= 8 tetrahedra is either (i) homeomorphic to one of the census manifolds, or (ii) non-hyperbolic.…
In this paper, we adopt combinatorial Ricci curvature flow methods to study the existence of cusped hyperbolic structure on 3-manifolds with torus boundary. For general pseudo 3-manifolds, we prove the long-time existence and the uniqueness for the extended Ricci flow for decorated hyperbolic polyhedral metrics. We prove that the extended Ricci flow converges to a decorated hyperbolic polyhedral metric if and only if there exists a decorated hyperbolic polyhedral metric of zero Ricci curvature. If it is the case, the flow converges exponentially fast. These results apply for cusped hyperbolic …
A group $Γ$ with a family of subgroups $\mathbb{P}$ is relatively hyperbolic if $Γ$ admits a cusp-uniform action on a proper $δ$--hyperbolic space. We show that any two such spaces for a given group pair are quasi-isometric, provided the spaces have "constant horospherical distortion," a condition satisfied by Groves--Manning's cusped Cayley graph and by all negatively curved symmetric spaces. Consequently the Bowditch boundary admits a canonical quasisymmetric structure, which coincides with the "naturally occurring" quasisymmetric structure of the symmetric space when considering lattices in…
We show that the reduced quantum hyperbolic invariants of pseudo-Anosov diffeomorphisms of punctured surfaces are intertwiners of local representations of the quantum Teichmüller spaces. We characterize them as the only intertwiners that satisfy certain natural cut-and-paste operations of topological quantum field theories and such that their traces define invariants of mapping tori.