We consider non-orientable hyperbolic 3-manifolds of finite volume $M^3$. When $M^3$ has an ideal triangulation $Δ$, we compute the deformation space of the pair $(M^3, Δ)$ (its Neumann Zagier parameter space). We also determine the variety of representations of $π_1(M^3)$ in $\mathrm{Isom}(\mathbb{H}^3)$ in a neighborhood of the holonomy. As a consequence, when some ends are non-orientable, there are deformations from the variety of representations that cannot be realized as deformations of the pair $(M^3, Δ)$. We also discuss the metric completion of these structures and we illustrate the results on the Gieseking manifold.
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.
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.
Since there is no hyperbolic Dehn filling theorem for higher dimensions, it is challenging to construct explicit hyperbolic manifolds of small volume in dimension at least four. Here, we build up closed hyperbolic 4-manifolds of volume $\frac{34π^2}{3}\cdot 16$ by using the small cover theory. In particular, we classify all of the orientable four-dimensional small covers over the right-angled 120-cell up to homeomorphism; these are all with even intersection forms.
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.
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.
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 provide analogues for non-orientable surfaces with or without boundary or punctures of several basic theorems in the setting of the Thurston theory of surfaces which were developed so far only in the case of orientable surfaces. Namely, we provide natural analogues for non-orientable surfaces of the Fenchel-Nielsen theorem on the parametrization of the Teichmüller space of the surface, the Dehn-Thurston theorem on the parametrization of measured foliations in the surface, and the Hatcher-Thurston theorem, which gives a complete minimal set of moves between pair of pants decompositions of th…
We give an identity involving sums of functions of lengths of simple closed geodesics, known as a McShane identity, on any non-orientable hyperbolic surface with boundary which generalises Mirzakhani's identities on orientable hyperbolic surfaces with boundary.
We classify the 3-dimensional hyperbolic polyhedral orbifolds that contain no embedded essential 2-suborbifolds, up to decomposition along embedded hyperbolic triangle orbifolds (turnovers). We give a necessary condition for a 3-dimensional hyperbolic polyhedral orbifold to contain an immersed (singular) hyperbolic turnover, we classify the triangle subgroups of the fundamental groups of orientable 3-dimensional hyperbolic tetrahedral orbifolds in the case when all of the vertices of the tetrahedra are non-finite, and we provide a conjectural classification of all the triangle subgroups of the…
By gluing together the sides of eight copies of an all-right angled hyperbolic 6-dimensional polytope, two orientable hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of orientable hyperbolic 6-manifolds having the smallest possible volume.
In this paper we study the minimum dilatation pseudo-Anosov mapping classes coming from fibrations over the circle of a single 3-manifold, the mapping torus for the "simplest pseudo-Anosov braid". The dilatations that arise include the minimum dilatations for orientable mapping classes for genus g=2,3,4,5,8 as well as Lanneau and Thiffeault's conjectural minima for orientable mapping classes, when g = 2,4 (mod 6). Our examples also show that the minimum dilatation for orientable mapping classes is strictly greater than the minimum dilatation for non-orientable ones when g = 4,6,8.
It is proved that the Hasse-Weil zeta functions of the canonical components of the ${\rm SL}_2$ (${\rm PSL}_2$)-character varieties of closed orientable complete hyperbolic $3$-manifolds of finite volume are equal to the Dedekind zeta functions of their trace fields (invariant trace fields). When the closed $3$-manifold is arithmetic, the special value at $s=2$ of the Hasse-Weil zeta function of the canonical component of the ${\rm PSL}_2$-character variety is expressed in terms of the hyperbolic volume of the manifold up to rational numbers.
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 enumerate all spaces obtained by gluing in pairs the faces of the octahedron in an orientation-reversing fashion. Whenever such a gluing gives rise to non-manifold points, we remove small open neighbourhoods of these points, so we actually deal with three-dimensional manifolds with (possibly empty) boundary. There are 298 combinatorially inequivalent gluing patterns, and we show that they define 191 distinct manifolds, of which 132 are hyperbolic and 59 are not. All the 132 hyperbolic manifolds were already considered in different contexts by other authors, and we provide here their known `…
We give new information about the geometry of closed, orientable hyperbolic 3-manifolds with 4-free fundamental group. As an application we show that such a manifold has volume greater than 3.44. This is in turn used to show that if M is a closed orientable hyperbolic 3-manifold such that vol M < 3.44, then H_1(M;Z/2Z) has dimension at most 7.
The graph complexity of a compact 3-manifold is defined as the minimum order among all 4-colored graphs representing it. Exact calculations of graph complexity have been already performed, through tabulations, for closed orientable manifolds (up to graph complexity 32) and for compact orientable 3-manifolds with toric boundary (up to graph complexity 12) and for infinite families of lens spaces. In this paper we extend to graph complexity 14 the computations for orientable manifolds with toric boundary and we give two-sided bounds for the graph complexity of tetrahedral manifolds. As a consequ…
The purpose of the present paper is to prove existence of super-exponentially many compact orientable hyperbolic arithmetic $n$-manifolds that are geometric boundaries of compact orientable hyperbolic $(n+1)$-manifolds, for any $n \geq 2$, thereby establishing that these classes of manifolds have the same growth rate with respect to volume as all compact orientable hyperbolic arithmetic $n$-manifolds. An analogous result holds for non-compact orientable hyperbolic arithmetic $n$-manifolds of finite volume that are geometric boundaries, for $n \geq 2$.
In all dimensions $n \ge 5$, we prove the existence of closed orientable hyperbolic manifolds that do not admit any $\text{spin}^c$ structure, and in fact we show that there are infinitely many commensurability classes of such manifolds. These manifolds all have non-vanishing third Stiefel--Whitney class $w_3$ and are all arithmetic of simplest type. More generally, we show that for each $k \ge 1$ and $n \ge 4k+1$, there exist infinitely many commensurability classes of closed orientable hyperbolic $n$-manifolds $M$ with $w_{4k-1}(M) \ne 0$.
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…
Let $Γ$ be a nonuniform lattice acting on real hyperbolic n-space. We show that in dimension greater than or equal to 4, the volume of a representation is constant on each connected component of the representation variety of $Γ$ in SO(n,1). Furthermore, in dimensions 2 and 3, there is a semialgebraic subset of the representation variety such that the volume of a representation is constant on connected components of the semialgebraic subset. Our approach gives a new proof of the local rigidity theorem for nonuniform hyperbolic lattices and the analogue of Soma's theorem, which shows that the nu…
We show that an immersed thrice-punctured sphere in a cusped orientable hyperbolic 3-manifold is either embedded or has a single clasp in a manifold obtained by hyperbolic Dehn filling on a cusp of the Whitehead link complement.
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 establish two-sided bounds for the complexity of two infinite series of closed orientable 3-dimensional hyperbolic manifolds, the Lobell manifolds and the Fibonacci manifolds.
Let $N_k$ denote the closed non-orientable surface of genus $k$. In this paper we study the behaviour of the `square map' from the group of isometries of hyperbolic 3-space to the subgroup of orientation preserving isometries. We show that there are $2^{k+1}$ connected components of representations of $π_1(N_k)$ in Isom$(\mathbb{H}^3)$, which are distinguished by the Stiefel-Whitney classes of the associated flat bundle.
We show that any compact orientable hyperbolic 3-cone-manifold with cone angle at most πcan be continuously deformed to a complete hyperbolic manifold homeomorphic to the complement of the singularity. This together with the local rigidity by Hodgson and Kerckhoff implies the global rigidity for compact orientable hyperbolic 3-cone-manifolds under the same angle assumption.
We call a cusped hyperbolic 3-manifold tetrahedral if it can be decomposed into regular ideal tetrahedra. Following an earlier publication by three of the authors, we give a census of all tetrahedral manifolds and all of their combinatorial tetrahedral tessellations with at most 25 (orientable case) and 21 (non-orientable case) tetrahedra. Our isometry classification uses certified canonical cell decompositions (based on work by Dunfield, Hoffman, Licata) and isomorphism signatures (an improvement of dehydration sequences by Burton). The tetrahedral census comes in Regina as well as SnapPy for…
We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an example of a complete orientable hyperbolic $4$-manifold $\mathcal{X}$ with a single non-toric cusp and a complete orientable hyperbolic $4$-manifold $\mathcal{Y}$ with a single toric cusp. Both $\mathc…
The function on the Teichmueller space of complete, orientable, finite-area hyperbolic surfaces of a fixed topological type that assigns to a hyperbolic surface its maximal injectivity radius has no local maxima that are not global maxima.
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.
We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is hyperbolic and relatively hyperbolic initiated by previous works of the authors.
This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.
It is proved by Sakuma and Brooks that any closed orientable $3$-manifold with a Heegaard splitting of genus $g$ admits a $2$-fold branched cover that is a hyperbolic $3$-manifold and a genus $g$ surface bundle over the circle. This paper concerns entropy of pseudo-Anosov monodromies for hyperbolic fibered $3$-manifolds. We prove that there exist infinitely many closed orientable $3$-manifolds $M$ such that the minimal entropy over all hyperbolic, genus $g$ surface bundles over the circle as $2$-fold branched covers of the $3$-manifold $M$ is comparable to $1/g$.
For two-dimensional orientable hyperbolic orbifolds, we show that the radius of a maximal embedded disk is greater or equal to an explicit constant ρ_T, with equality if and only if the orbifold is a sphere with three cone points of order 2, 3 and 7.
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…
We identify all hyperbolic knots whose complements are in the census of orientable one-cusped hyperbolic manifolds with eight ideal tetrahedra. We also compute their Jones polynomials.
The work of Jorgensen and Thurston shows that there is a finite number N(v) of orientable hyperbolic 3-manifolds with any given volume v. We show that there is an infinite sequence of closed orientable hyperbolic 3-manifolds, obtained by Dehn filling on the figure eight knot complement, that are uniquely determined by their volumes. This gives a sequence of distinct volumes x_i converging to the volume of the figure eight knot complement with N(x_i) = 1 for each i. We also give an infinite sequence of 1-cusped hyperbolic 3-manifolds, obtained by Dehn filling one cusp of the (-2,3,8)-pretzel li…
Let N be a compact, orientable hyperbolic 3-manifold with connected, totally geodesic boundary of genus 2. If N has Heegaard genus at least 5, then its volume is greater than 6.89. The proof of this result uses the following dichotomy: either N has a long return path (defined by Kojima-Miyamoto), or N has an embedded, codimension-0 submanifold X with incompressible boundary $T \sqcup \partial N$, where T is the frontier of X in N, which is not a book of I-bundles. As an application of this result, we show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimensio…
L. Paoluzzi constructed a family of compact orientable three-dimensional hyperbolic manifolds with totally geodesic boundary, which were, by construction, closely related to the three-dimensional torus. This paper gives their complete classification up to isometry, and also their isometry groups. The key tool is the so-called canonical decomposition of hyperbolic manifolds.
In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces.
We obtain some restrictions on the topology of infinite volume hyperbolic manifolds. In particular, for any n and any closed negatively curved manifold M of dimension greater than 2, only finitely many hyperbolic n-manifolds are total spaces of orientable vector bundles over M.
We discuss two families of closed orientable three-dimensional manifolds which arise as cyclic generalizations of two hyperbolic icosahedral manifolds listed by Everitt. Everitt's manifolds are cyclic coverings of the lens space $L_{3,1}$ branched over some 2-component links. We present results on covering properties, fundamental groups, and hyperbolic volumes of the manifolds belonging to these families.
We exhibit the first examples of compact orientable hyperbolic manifolds that do not have any spin structure. We show that such manifolds exist in all dimensions $n \geq 4$. The core of the argument is the construction of a compact orientable hyperbolic $4$-manifold $M$ that contains a surface $S$ of genus $3$ with self intersection $1$. The $4$-manifold $M$ has an odd intersection form and is hence not spin. It is built by carefully assembling some right angled $120$-cells along a pattern inspired by the minimum trisection of $\mathbb{C}\mathbb{P}^2$. The manifold $M$ is also the first exampl…
We show that the hyperbolic structure on a closed, orientable, hyperbolic 3-manifold can be constructed from a solution to the hyperbolic gluing equations using any triangulation with essential edges. The key ingredients in the proof are Thurston's spinning construction and a volume rigidity result attributed by Dunfield to Thurston, Gromov and Goldman. As an application, we show that this gives a new algorithm to detect hyperbolic structures on closed 3-manifolds.
In this paper, we show that any open orientable surface S can be properly embedded in H^3 as a minimizing H-surface for any 0<=H<1. We obtained this result by proving a version of the bridge principle at infinity for H-surfaces. We also show that any open orientable surface S can be nonproperly embedded in H^3 as a minimal surface, too.
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.
In this note, we study deformations of a non-uniform real hyperbolic lattice in quaternionic hyperbolic spaces. Specially we show that the representations of the fundamental group of the figure eight knot complement into PU(2,1) cannot be deformed in $PSp(2,1)$ out of PU(2,1) up to conjugacy.
We prove that for any orientable connected surface of finite type which is not a a sphere with at most four punctures or a torus with at most two punctures, any homeomorphism of the space of geodesic laminations of this surface, equipped with the Thurston topology, is induced by a homeomorphism of the surface.
We outline a rigorous algorithm, first suggested by Casson, for determining whether a closed orientable 3-manifold M is hyperbolic, and to compute the hyperbolic structure, if one exists. The algorithm requires that a procedure has been given to solve the word problem in π_1(M).
Let $Σ$ be a complete finite-area orientable hyperbolic surface with one cusp, and let $\mathcal{R}$ be the space of complete geodesic rays in $Σ$ emanating from the puncture. Then there is a natural action of the mapping class group of $Σ$ on $\mathcal{R}$. We show that this action is "almost everywhere" wandering.
