We find that cusp densities of hyperbolic knots in the 3-sphere are dense in [0,0.6826...] and those of links are dense in [0,0.853...]. We define a new invariant associated with cusp volume, the cusp crossing density, as the ratio between the cusp volume and the crossing number of a link, and show that cusp crossing density for links is bounded above by 3.1263.... Moreover, there is a sequence of links with cusp crossing density approaching 3. The least upper bound for cusp crossing density remains an open question. For two-component hyperbolic links, cusp crossing density is shown to be dense in the interval [0,1.6923...] and for all hyperbolic links, cusp crossing density is shown to be dense in [0, 2.120...].
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.
In this paper, we describe all the hyperbolic 24-cell 4-manifolds with exactly one cusp. There are four of these manifolds up to isometry. These manifolds are the first examples of one-cusped hyperbolic 4-manifolds of minimum volume.
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.
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…
In this paper, we study multiply transitive actions of the group of isometries of a cusped finite-volume hyperbolic 3-manifold on the set of its cusps. In particular, we prove a conjecture of Vogeler that there is a largest $k$ for which such $k$-transitive actions exist, and that for each $k \geq 3$, there is an upper bound on the possible number of cusps.
This paper completes a classification of the types of orientable and non-orientable cusps that can arise in the quotients of hyperbolic knot complements. In particular, $S^2(2,4,4)$ cannot be the cusp cross-section of any orbifold quotient of a hyperbolic knot complement. Furthermore, if a knot complement covers an orbifold with a $S^2(2,3,6)$ cusp, it also covers an orbifold with a $S^2(3,3,3)$ cusp. We end with a discussion that shows all cusp types arise in the quotients of link complements.
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.
Let $M$ be a cusped finite-volume hyperbolic three-manifold with isometry group $G$. Then $G$ induces a $k$-transitive action by permutation on the cusps of $M$ for some integer $k\ge 0$. Generically $G$ is trivial and $k=0$, but $k>0$ does occur in special cases. We show examples with $k=1,2,4$. An interesting question concerns the possible number of cusps for a fixed $k$. Our main result provides an answer for $k=2$ by constructing a family of manifolds having no upper bound on the number of cusps.
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.
For X = R, C, or H it is well known that cusp cross-sections of finite volume X-hyperbolic (n+1)-orbifolds are flat n-orbifolds or almost flat orbifolds modelled on the (2n+1)-dimensional Heisenberg group N_{2n+1} or the (4n+3)-dimensional quaternionic Heisenberg group N_{4n+3}(H). We give a necessary and sufficient condition for such manifolds to be diffeomorphic to a cusp cross-section of an arithmetic X-hyperbolic (n+1)-orbifold. A principal tool in the proof of this classification theorem is a subgroup separability result which may be of independent interest.
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 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.
In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golénia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptions on the homology of the cusps. This also answers a question by Golénia and Moroianu from 2012. We also correct and refine the incomplete classification of compact orientable flat $3$-manifolds arisi…
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…
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 a computational method of the hyperbolic Reidemeister torsion (also called in the literature the non-abelian Reidemeister torsion) induced by J. Porti for complete hyperbolic three-dimensional manifolds with cusps. The derivative of the twisted Alexander invariant for a hyperbolic knot exterior gives the hyperbolic torsion. We prove such a derivative formula of the twisted Alexander invariant for hyperbolic link exteriors like the Whitehead link exterior. We provide the framework for the derivative formula to work, which consists of assumptions on the topology of the manifold and on t…
A horospherical torus about a cusp of a hyperbolic manifold inherits a Euclidean similarity structure, called a cusp shape. We bound the change in cusp shape when the hyperbolic structure of the manifold is deformed via cone deformation preserving the cusp. The bounds are in terms of the change in structure in a neighborhood of the singular locus alone. We then apply this result to provide information on the cusp shape of many hyperbolic knots, given only a diagram of the knot. Specifically, we show there is a universal constant C such that if a knot admits a prime, twist reduced diagram with …
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.
Let $F$ be a closed essential surface in a hyperbolic 3-manifold $M$ with a toroidal cusp $N$. The depth of $F$ in $N$ is the maximal distance from points of $F$ in $N$ to the boundary of $N$. It will be shown that if $F$ is an essential pleated surface which is not coannular to the boundary torus of $N$ then the depth of $F$ in $N$ is bounded above by a constant depending only on the genus of $F$. The result is used to show that an immersed closed essential surface in $M$ which is not coannular to the torus boundary components of $M$ will remain essential in the Dehn filling manifold $M(γ)$ a…
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.
As was pointed out by Nikulin [8] and Vinberg [10], a right-angled polyhedron of finite volume in hyperbolic n-space $\mathbb{H}^n$ has at least one cusp for $n\geq 5$. We obtain non-trivial lower bounds on the number of cusps of such polyhedra. For example, right-angled polyhedra of finite volume must have at least three cusps for $n=6$. Our theorem also says that the higher the dimension of a right-angled polyhedron becomes, the more cusps it must have.
The waist size of a cusp in an orientable hyperbolic 3-manifold is the length of the shortest nontrivial curve generated by a parabolic isometry in the maximal cusp boundary. Previously, it was shown that the smallest possible waist size, which is 1, is realized only by the cusp in the figure-eight knot complement. In this paper, it is proved that the next two smallest waist sizes are realized uniquely for the cusps in the $5_2$ knot complement and the manifold obtained by (2,1)-surgery on the Whitehead link. One application is an improvement on the universal upper bound for the length of an u…
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…
We derive a sharp cusp count for finite volume complex hyperbolic surfaces which admit smooth toroidal compactifications. We use this result, and the techniques developed in [DiC12], to study the geometry of cusped complex hyperbolic surfaces and their compactifications.
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 study the problem of bounding the number of cusps of a complex hyperbolic manifold in terms of its volume. Applying algebro-geometric methods using Mumford's work on toroidal compactifications and its generalization due to N. Mok and W.-K. To, we get a bound which is considerably better than those obtained previously by methods of geometric topology.
We introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this algorithm we construct the first examples of finite-volume hyperbolic four-manifolds with one cusp. More generally, we show that the number of $k$-cusped hyperbolic four-manifolds with volume smaller than V grows like $C^{V log V}$ for any fixed $k$. As a corollary, we deduce that the 3-torus bounds geometrically a hyperbolic manifold.
We show that the set of cusp shapes of hyperbolic tunnel number one manifolds is dense in the Teichmuller space of the torus. A similar result holds for tunnel number n manifolds. As a consequence, for fixed n, there are infinitely many hyperbolic tunnel number n manifolds with at most one exceptional Dehn filling. This is in contrast to large volume Berge knots, which are tunnel number one manifolds, but with cusp shapes converging to a single point in Teichmuller space.
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.
Every cusped, finite-volume hyperbolic three-manifold has a canonical decomposition into ideal polyhedra. We study the canonical decomposition of the hyperbolic manifold obtained by filling some (but not all) of the cusps with solid tori: in a broad range of cases, generic in an appropriate sense, this decomposition can be predicted from that of the unfilled manifold. As an example, we treat all hyperbolic fillings on one cusp of the Whitehead link complement.
This paper gives the first explicit, two-sided estimates on the cusp area of once-punctured torus bundles, 4-punctured sphere bundles, and 2-bridge link complements. The input for these estimates is purely combinatorial data coming from the Farey tesselation of the hyperbolic plane. The bounds on cusp area lead to explicit bounds on the volume of Dehn fillings of these manifolds, for example sharp bounds on volumes of hyperbolic closed 3-braids in terms of the Schreier normal form of the associated braid word. Finally, these results are applied to derive relations between the Jones polynomial …
We generalize the notion of cusp excursion of geodesic rays by introducing for any $k \geq 1$ the $k^{th}$ excursion in the cusps of a hyperbolic $N$-manifold of finite volume. We show that on one hand, this excursion is at most linear for geodesics that are generic with respect to the hitting measure of a random walk. On the other hand, for $k = N-1$, the $k^{th}$ excursion is superlinear for geodesics that are generic with respect to the Lebesgue measure. We use this to show that the hitting measure and the Lebesgue measure on the boundary of hyperbolic space $\mathbb{H}^N$ for any $N \geq 2…
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.
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 …
This study of properly or strictly convex real projective manifolds introduces notions of parabolic, horosphere and cusp. Results include a Margulis lemma and in the strictly convex case a thick-thin decomposition. Finite volume cusps are shown to be projectively equivalent to cusps of hyperbolic manifolds. This is proved using a characterization of ellipsoids in projective space. Except in dimension 3, there are only finitely many topological types of strictly convex manifolds with bounded volume. In dimension 4 and higher, the diameter of a closed strictly convex manifold is at most 9 times …
In this paper we deepen the analysis of certain classes M_{g,k} of hyperbolic 3-manifolds that were introduced in a previous work by B. Martelli, C. Petronio and the author. Each element of M_{g,k} is an oriented complete finite-volume hyperbolic 3-manifold with compact connected geodesic boundary of genus g and k cusps. We study small deformations of the complete hyperbolic structure of manifolds in M_{g,k} via a close analysis of their geodesic triangulations. We prove that several elements in M_{g,k} admit non-homeomorphic hyperbolic Dehn fillings sharing the same volume, homology, cusp vol…
We survey some tools and techniques for determining geometric properties of a link complement from a link diagram. In particular, we survey the tools used to estimate geometric invariants in terms of basic diagrammatic link invariants. We focus on determining when a link is hyperbolic, estimating its volume, and bounding its cusp shape and cusp area. We give sample applications and state some open questions and conjectures.
We consider hyperbolic 3-manifolds with either non-empty compact geodesic boundary, or some toric cusps, or both. For any such M we analyze what portion of the volume of M can be recovered by inserting in M boundary collars and cusp neighbourhoods with disjoint embedded interiors. Our main result is that this portion can only be maximal in some combinatorially extremal configurations. The techniques we employ are VERY elementary but the result is in our opinion of some interest.
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.
We prove that every finite-volume hyperbolic 3-manifold M with p > 0 cusps admits a canonical, complete, piecewise Euclidean CAT(0) metric, with a canonical projection to a CAT(0) spine K. Moreover, (a) the universal cover of M endowed with the CAT(0) metric is a union of Euclidean half-spaces, glued together by identifying Euclidean polygons in their bounding planes by pairwise isometry (b)each cusp of M in the CAT(0) metric is a non-singular metric product of a (Euclidean) cusp torus and a half-line (c) all metric singularities are concentrated on the 1-skeleton of K, with cone angles a mult…
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…
For a non-compact hyperbolic 3-manifold with cusps we prove an explicit formula that relates the regularized analytic torsion associated to the even symmetric powers of the standard representation of SL_2(C) to the corresponding Reidemeister torsion. Our proof rests on an expression of the analytic torsion in terms of special values of Ruelle zeta functions as well as on recent work of Pere Menal-Ferrer and Joan Porti.
