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.
For a hyperbolic link K in the thickened torus with no bigons, we show that there is a decomposition of the complement of a link L, obtained from augmenting K, into torihedra. We further decompose the torihedra into angled pyramids and finally angled tetrahedra. These fit into an angled structure on a triangulation of the link complement, and thus by [5], this shows that L is hyperbolic.
We show that if a hyperbolic 3-manifold $M$ with a single torus boundary admits two Dehn fillings at distance 5, each of which contains an essential torus, then $M$ is a rational homology solid torus, which is not large in the sense of Wu. Moreover, one of the surgered manifold contains an essential torus which meets the core of the attached solid torus minimally in at most two points. This completes the determination of best possible upper bounds for the distance between two exceptional Dehn fillings yielding essential small surfaces in all ten cases for large hyperbolic 3-manifolds.
Gang, Kim and Yoon have recently proposed a conjecture on a vanishing identity of adjoint Reidemeister torsions of hyperbolic 3-manifolds with torus boundary, from the viewpoint of wrapped M5-branes. In this paper, we provide infinitely many new supporting examples to this conjecture. These examples come from hyperbolic once-punctured torus bundles. We show that the vanishing identity holds for all hyperbolic once-punctured torus bundles with tunnel number one. We also show the vanishing identity does not hold for any torus knot exteriors.
Given a closed binding curve $γ$ of a surface $Σ$, any equivalence class of marked complete hyperbolic structure can be decomposed into polygons(possibly with a puncture) with sides being hyperbolic geodesic segments. When $Σ$ is a one-holed torus and $γ= A^3 B^2$, we show that any equivalence class of marked complete hyperbolic structure gives rise to an equilateral bigon with a puncture and a hexagon with equal opposite sides. In particular, we give a new coordinates of the Fricke Space of the one-holed torus.
Culler and Shalen, and later Yoshida, give ways to construct incompressible surfaces in 3-manifolds from ideal points of the character and deformation varieties, respectively. We work in the case of hyperbolic punctured torus bundles, for which the incompressible surfaces were classified by Floyd and Hatcher. We convert non fiber incompressible surfaces from their form to the form output by Yoshida's construction, and run his construction backwards to give (for non semi-fibers, which we identify) the data needed to construct ideal points of the deformation variety corresponding to those surfac…
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.
Unlike in hyperbolic geometry, the monodromy ideal triangulation of a hyperbolic once-punctured torus bundle $M_f$ has no natural geometric realisation in Cauchy-Riemann (CR) space. By introducing a new type of $3$--cell, we construct a different cell decomposition $\mathcal{D}_f$ of $M_f$ that is always realisable in CR space. As a consequence, we show that every hyperbolic once-punctured torus bundle admits a branched CR structure, whose branch locus is the set of edges of $\mathcal{D}_f$. Furthermore, we explicitly compute the ramification order around each component of the branch locus and…
We determine all hyperbolic 3-manifolds $M$ admitting two toroidal Dehn fillings at distance 4 or 5. We show that if $M$ is a hyperbolic 3-manifold with a torus boundary component $T_0$, and $r,s$ are two slopes on $T_0$ with $Δ(r,s) = 4$ or 5 such that $M(r)$ and $M(s)$ both contain an essential torus, then $M$ is either one of 14 specific manifolds $M_i$, or obtained from $M_1, M_2, M_3$ or $M_{14}$ by attaching a solid torus to $\partial M_i - T_0$. All the manifolds $M_i$ are hyperbolic, and we show that only the first three can be embedded into $S^3$. As a consequence, this leads to a com…
Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infinite class of hyperbolic knot exteriors, namely exteriors of certain "twisted torus knots" originally studied by Morimoto, Sakuma and Yokota, have a unique minimal genus Heegaard splitting of genus two. W…
We obtain an explicit representation, as Dunwoody manifolds, of all cyclic branched coverings of torus knots of type $(p,mp\pm 1)$, with $p>1$ and $m>0$.
We construct a locally hyperbolic 3-manifold $M$ such that $π_ 1(M)$ has no divisible subgroups. We then show that $M$ is not homotopy equivalent to any complete hyperbolic manifold.
We give an affirmative answer to the Halperin-Carlsson conjecture for the homologically injective torus actions on closed manifolds. This class contains holomorphic torus actions on compact Kahler manifolds, torus actions on compact Riemannian flat manifolds.
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.
In this paper, we determine the canonical polyhedral decomposition of every hyperbolic once-punctured torus bundle over the circle. In fact, we show that the only ideal polyhedral decomposition that is straight in the hyperbolic structure and that is invariant under a certain involution is the ideal triangulation defined by Floyd and Hatcher. Unlike previous work on this problem, the techniques we use are not geometric. Instead, they involve angled polyhedral decompositions, thin position and a version of almost normal surface theory.
We establish a framework for extending invariants of sutured manifolds to invariants of pairs of sutured manifolds who differ by attaching a basic slice along a torus boundary component. In the particular case of (bordered-)sutured Floer homology we show that this recovers the bordered-sutured Floer homology of a corresponding bordered-sutured three-manifold - though the framework is broad enough that it should be applicable in the setting of other invariants of sutured manifolds.
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.
Twisted torus knots and links are given by twisting adjacent strands of a torus link. They are geometrically simple and contain many examples of the smallest volume hyperbolic knots. Many are also Lorenz links. We study the geometry of twisted torus links and related generalizations. We determine upper bounds on their hyperbolic volumes that depend only on the number of strands being twisted. We exhibit a family of twisted torus knots for which this upper bound is sharp, and another family with volumes approaching infinity. Consequently, we show there exist twisted torus knots with arbitrarily…
We construct a locally hyperbolic 3-manifold $M_\infty$ such that $π_ 1(M_\infty)$ has no divisible subgroup. We then show that $M_\infty$ is not homeomorphic to any complete hyperbolic manifold. This answers a question of Agol [DHM06,Mar07].
We compute the genus zero bridge numbers and give lower bounds on the genus one bridge numbers for a large class of sufficiently generic hyperbolic twisted torus knots. As a result, the bridge spectra of these knots have two gaps which can be chosen to be arbitrarily large, providing the first known examples of hyperbolic knots exhibiting this property. In addition, we show that there are Berge and Dean knots with arbitrarily large genus one bridge numbers, and as a result, we give solutions to problems of Eudave-Muñoz concerning tunnel number one 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…
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.
A homotopy equivalence between a hyperbolic 3-manifold and a closed irreducible 3-manifold is homotopic to a homeomorphsim provided the hyperbolic manifold satisfies a purely geometric condition. There are no known examples of hyperbolic 3-manifolds which do not satisfy this condition.
We prove that the mapping torus group $\FN \rtimes_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN \rtimes_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN \rtimes_α \Z$ has Rapic Decay.
In this paper we extend Thurston's hyperbolic Dehn surgery theorem to a class of geometrically infinite hyperbolic 3-manifolds. As an application we prove a modest density theorem for Kleinian groups. We also discuss hyperbolic Dehn surgery on geometrically finite hypebolic cone-manifolds.
Let (G) be a connected compact non-abelian Lie-group and (T) a maximal torus of (G). A torus manifold with (G)-action is defined to be a smooth connected closed oriented manifold of dimension (2\dim T) with an almost effective action of (G) such that (M^T\neq \emptyset). We show that if there is a torus manifold (M) with (G)-action then the action of a finite covering group of (G) factors through (\tilde{G}=\prod SU(l_i+1)\times\prod SO(2l_i+1)\times \prod SO(2l_i)\times T^{l_0}). The action of (\tilde{G}) on (M) restricts to an action of (\tilde{G}'=\prod SU(l_i+1)\times\prod SO(2l_i+1)\times…
We give a bounded runtime solution to the homeomorphism problem for closed hyperbolic 3-manifolds. This is an algorithm which, given two triangulations of hyperbolic 3-manifolds by at most $t$ tetrahedra, decides if they represent the same hyperbolic 3-manifold with runtime bounded by \[ 2^{2^{t^{O(t)}}}.\] We do this by first finding a hyperbolic structure on each manifold given as a geometric triangulation and then comparing the two as geometric manifolds.
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.
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 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 introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new lower bound for the volume of a closed orientable hyperbolic 3-manifold. We prove the following result: \it\noindent Let $N$ be a closed hyperbolic 3-manifold. Then \begin{enumerate} \item[(1)] If $f\colon M \to N$ is a homotopy equivalence where $M$ is a closed irreducible 3-manifold, then $f$ is homotopic to a homeomorphism. \item[(2)] If $f,g\colon M\to N$…
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 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…
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.
In a recent paper Hodgson and Kerckhoff prove a local rigidity theorem for finite volume, three dimensional hyperbolic cone-manifolds. In this paper we extend this result to geometrically finite cone-manifolds. Our methods also give a new proof of a local version of the classical rigidity theorem for geometrically finite hyperbolic 3-manifolds.
We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.
We prove existence of thick geodesic triangulations of hyperbolic 3-manifolds and use this to prove existence of universal bounds on the principal curvatures of surfaces embedded in hyperbolic 3-manifolds.
We show that every plumbing of disc bundles over surfaces whose genera satisfy a simple inequality may be embedded as a convex submanifold in some closed hyperbolic four-manifold. In particular its interior has a geometrically finite hyperbolic structure that covers a closed hyperbolic four-manifold.
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.
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 show that every closed, virtually fibered hyperbolic 3-manifold contains immersed, quasi-Fuchsian surfaces with convex cores of arbitrarily large thickness.
Let $Δ$ be a hyperbolic triangle with a fixed area $φ$. We prove that for all but countably many $φ$, generic choices of $Δ$ have the property that the group generated by the $π$--rotations about the midpoints of the sides of the triangle admits no nontrivial relations. By contrast, we show for all $φ\in(0,π)\setminus\mathbb{Q}π$, a dense set of triangles does afford nontrivial relations, which in the generic case map to hyperbolic translations. To establish this fact, we study the deformation space $\mathfrak{C}_θ$ of singular hyperbolic metrics on a torus with a single cone point of angle $θ…
To each once-punctured-torus bundle, $T_ϕ$, over the circle with pseudo-Anosov monodromy $ϕ$, there are associated two tessellations of the complex plane: one, $Δ(ϕ)$, is (the projection from $\infty$ of) the triangulation of a horosphere at $\infty$ induced by the canonical decomposition into ideal tetrahedra, and the other, $CW(ϕ)$, is a fractal tessellation given by the Cannon-Thurston map of the fiber group switching back and forth between gray and white each time it passes through $\infty$. In this paper, we study the relation between $Δ(ϕ)$ and $CW(ϕ)$.
Recent work of Chinburg, Reid, and Stover has shown that certain arithmetic and algebro-geometric properties of the character variety of a hyperbolic knot complement in the 3-sphere $M=S^3\setminus K$ yields topological and number theoretic information about Dehn fillings of M. Specifically, they show how the study of a certain extension problem for quaternion Azumaya algebras is related to topological invariants associated to these fillings. In this paper, we extend their work to the setting of hyperbolic once punctured torus bundles. Along the way, we exhibit new phenomenon in the relevant e…
In 2006 Masuda and Suh asked if two compact non-singular toric varieties having isomorphic cohomology rings are homeomorphic. In the first part of this paper we discuss this question for topological generalizations of toric varieties, so-called torus manifolds. For example we show that there are homotopy equivalent torus manifolds which are not homeomorphic. Moreover, we characterize those groups which appear as the fundamental groups of locally standard torus manifolds. In the second part we give a classification of quasitoric manifolds and certain six-dimensional torus manifolds up to equiva…
The classic 2pi-Theorem of Gromov and Thurston constructs a negatively curved metric on certain 3-manifolds obtained by Dehn filling. By Geometrization, any such manifold admits a hyperbolic metric. We outline a program using cross curvature flow to construct a smooth one-parameter family of metrics between the "2pi-metric" and the hyperbolic metric. We make partial progress in the program, proving long-time existence, preservation of negative sectional curvature, curvature bounds, and integral convergence to hyperbolic for the metrics under consideration.
A torus manifold $M$ is a $2n$-dimensional orientable manifold with an effective action of an $n$-dimensional torus such that $M^T\neq \emptyset$. In this paper we discuss the classification of torus manifolds which admit an invariant metric of non-negative curvature. If $M$ is a simply connected torus manifold which admits such a metric, then $M$ is diffeomorphic to a quotient of a free linear torus action on a product of spheres. We also classify rationally elliptic torus manifolds $M$ with $H^{\text{odd}}(M;\mathbb{Z})=0$ up homeomorphism.
An upper bound is obtained on the rank of a torus which can act smoothly and effectively on a smooth, closed, simply connected, rationally elliptic manifold. In the maximal-rank case, the manifolds admitting such actions are classified up to equivariant rational homotopy type.