We establish a bijective correspondence between the set T(n) of 3-dimensional triangulations with n tetrahedra and a certain class H(n) of relative handlebodies (i.e. handlebodies with boundary loops, as defined by Johannson) of genus n+1.
We show that the manifolds in H(n) are hyperbolic (with geodesic boundary, and cusps corresponding to the loops), have least possible volume, and simplest boundary loops.
Mirroring the elements of H(n) in their geodesic boundary we obtain a class D(n) of cusped hyperbolic manifolds, previously considered by D. Thurston and the first named author. We show that also D(n) corresponds bijectively to T(n), and we study some Dehn fillings of the manifolds in D(n). As consequences of our constructions, we also show that:
- A triangulation of a 3-manifold is uniquely determined up to isotopy by its 1-skeleton;
- If a 3-manifold M has an ideal triangulation with edges of valence at least 6, then M is hyperbolic and the edges are homotopically non-trivial, whence homotopic to geodesics;
- Every finite group G is the isometry group of a closed hyperbolic 3-manifold with volume less than a constant times |G|^9.
This paper gives a proof that the fundamental group of a class of closed orientable 3-manifolds constructed from three injective handlebodies has a solvable word problem. This is done by giving an algorithm to decide if a closed curve in the manifold is null-homotopic. Non-Haken and non-Seifert fibered examples are constructed by performing Dehn surgery on a class of two-bridge knots.
We give a complete proof of Thurston's celebrated hyperbolic Dehn filling theorem, following the ideal triangulation approach of Thurston and Neumann-Zagier. We avoid to assume that a genuine ideal triangulation always exists, using only a partially flat one, obtained by subdividing an Epstein-Penner decomposition. This forces us to deal with negatively oriented tetrahedra. Our analysis of the set of hyperbolic Dehn filling coefficients is elementary and self-contained. In particular, it does not assume smoothness of the complete point in the variety of deformations.
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the …
The main theorem of this paper is a generalisation of well known results about Dehn surgery to the case of attaching handlebodies to a simple 3-manifold. The existence of a finite set of `exceptional' curves on the boundary of the 3-manifold is established. Provided none of these curves is attached to the boundary of a disc in a handlebody, the resulting manifold is shown to be word hyperbolic and `hyperbolike'. We then give constructions of gluing maps satisfying this condition. These take the form of an arbitrary gluing map composed with powers of a suitable homeomorphism of the boundary of …
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 describes the complete list of all 205,822 exceptional Dehn fillings on the 1-cusped hyperbolic 3-manifolds that have ideal triangulations with at most 9 ideal tetrahedra. The data is consistent with the standard conjectures about Dehn filling and suggests some new ones.
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…
Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-manifold has a multisection, i.e. can be divided into $k+1$ $n$-dimensional $1$-handlebodies, where $n=2k+1$ or $n=2k$, such that intersections of the handlebodies have spines of small dimensions. Several applications, constructions and generalisations of our approach are given.
The main theorem of this paper generalizes recent results in Dehn surgery to the case of handlebody attachment. We consider attaching handlebodies and solid tori to the boundary of an irreducible, boundary-irreducible, atoroidal and acylindrical 3-manifold. We show that for a large class of homeomorphisms attaching these handlebodies, the fundamental group of the resulting manifold contains the fundamental group of a closed surface of genus at least two.
In this paper, we use normal surface theory to study Dehn filling on a knot-manifold. First, it is shown that there is a finite computable set of slopes on the boundary of a knot-manifold that bound normal and almost normal surfaces in a one-vertex triangulation of that knot-manifold. This is combined with existence theorems for normal and almost normal surfaces to construct algorithms to determine precisely which manifolds obtained by Dehn filling: 1) are reducible, 2) contain two--sided incompressible surfaces, 3) are Haken, 4) fiber over the circle, 5) are the 3--sphere, and 6) are a lens s…
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.
We provide a calculus for the presentation of closed 3-manifolds via nullhomotopic filling Dehn spheres and we use it to define an invariant of closed 3-manifolds by applying the state-sum machinery. As a potential application of this invariant, we show how to get lower bounds for the Matveev complexity of P2-irreducible closed 3-manifolds. We also describe an easy algorithm for constructing a nullhomotopic filling Dehn sphere of each closed 3-manifold from any of its one-vertex triangulations.
We propose a new algorithm for Dehn surgery problem, finding exceptional Dehn filling slopes for a given hyperbolic 3-manifold with a torus boundary, using a quantum invariant called "3D index". The invariant is defined using an ideal triangulation of the cusped 3-manifold. We test the algorithm for many examples.
We prove the existence of a spectral sequence for Lagrangian Floer homology which converges to the Floer homology of the image of a Lagrangian submanifold under multiple fibred Dehn twists. The $E_1$ term of the sequence is given by the hypercube of "resolutions" of the Dehn twists involved. The proof relies on the exact triangle for fibered Dehn twists due to Wehrheim and Woodward. As applications we obtain a spectral sequences from Khovanov homology to symplectic Khovanov homology. Also when a 3-manifold $M$ is given by gluing two handlebodies by a surface diffeomorphism $ϕ$, we obtain a spe…
The aim of this paper is to demonstrate that very many Dehn fillings on a cusped hyperbolic 3-manifold yield a 3-manifold which is irreducible, atoroidal and not Seifert fibred, and which has infinite, word hyperbolic fundamental group. We establish an extension of the Thurston-Gromov $2π$ theorem by showing that if each filling slope has length more than six, then the resulting 3-manifold has all the above properties. We also give a combinatorial version of the $2π$ theorem which relates to angled ideal triangulations. We apply these techniques by studying surgery along alternating links.
We present new lower bounds on the complexity of Dehn surgery manifolds of knots, using our recent result on the Cheeger-Gromov rho invariants and triangulations. As an application, we give explicit examples of closed hyperbolic 3-manifolds with fixed first homology for which the gap between the Gromov norm and the complexity is arbitrarily large.
It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangu…
From a pseudo-triangulation with $n$ tetrahedra $T$ of an arbitrary closed orientable connected 3-manifold (for short, {\em a 3D-space}) $M^3$, we present a gem $J '$, inducing $\IS^3$, with the following characteristics: (a) its number of vertices is O(n); (b) it has a set of $p$ pairwise disjoint couples of vertices $\{u_i,v_i\}$, each named {\em a twistor}; (c) in the dual $(J ')^\star$ of $J '$ a twistor becomes a pair of tetrahedra with an opposite pair of edges in common, and it is named {\em a hinge}; (d) in any embedding of $(J ')^\star \subset \IS^3$, the $ε$-neighborhood of each hing…
An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar projection of a knot gives four ideal cell decompositions of its complement (minus 2 balls), two of which are ideal triangulations that use 4 (resp., 5) ideal tetrahedra per crossing. Our main result is that these ideal triangulations are non-peripheral for all planar, reduced, alternat…
Let $M$ be a compact oriented three-manifold whose interior is hyperbolic of finite volume. We prove a variation formula for the volume on the variety of representations of $M$ in $\operatorname{SL}_n(\mathbb C)$. Our proof follows the strategy of Reznikov's rigidity when $M$ is closed, in particular we use Fuks' approach to variations by means of Lie algebra cohomology. When $n=2$, we get back Hodgson's formula for variation of volume on the space of hyperbolic Dehn fillings. Our formula also yields the variation of volume on the space of decorated triangulations obtained by Bergeron-Falbel-G…
We study a variation of Bagchi and Datta's $σ$-vector of a simplicial complex $C$, whose entries are defined as weighted averages of Betti numbers of induced subcomplexes of $C$. We show that these invariants satisfy an Alexander-Dehn-Sommerville type identity, and behave nicely under natural operations on triangulated manifolds and spheres such as connected sums and bistellar flips. In the language of commutative algebra, the invariants are weighted sums of graded Betti numbers of the Stanley-Reisner ring of $C$. This interpretation implies, by a result of Adiprasito, that the Billera-Lee sph…
We provide sharp lower bounds for the simplicial volume of compact $3$-manifolds in terms of the simplicial volume of their boundaries. As an application, we compute the simplicial volume of several classes of $3$-manifolds, including handlebodies and products of surfaces with the interval. Our results provide the first exact computation of the simplicial volume of a compact manifold whose boundary has positive simplicial volume. We also compute the minimal number of tetrahedra in a (loose) triangulation of the product of a surface with the interval.
A basic question in the theory of fault-tolerant quantum computation is to understand the fundamental resource costs for performing a universal logical set of gates on encoded qubits to arbitrary accuracy. Here we consider qubits encoded with constant space overhead (i.e. finite encoding rate) in the limit of arbitrarily large code distance $d$ through the use of topological codes associated to triangulations of hyperbolic surfaces. We introduce explicit protocols to demonstrate how Dehn twists of the hyperbolic surface can be implemented on the code through constant depth unitary circuits, wi…
For any triple $(W,L,ρ)$, where W is a closed connected and oriented 3-manifold, L is a link in W and $ρ$ is a flat principal B-bundle over W (B is the Borel subgroup of $SL(2,\mc)$), one constructs a $\Dd$-scissors congruence class $\cG_{\Dd}(W,L,ρ)$ which belongs to a (pre)-Bloch group $\Pp (\Dd)$. The class $\cG_{\Dd}(W,L,ρ)$ may be represented by $\Dd$-triangulations $\Tt=(T,H,\Dd)$ of $(W,L,ρ)$. For any $\Tt$ and any odd integer $N>1$, one defines a ``quantization'' $\Tt_N$ of $\Tt$ based on the representation theory of the quantum Borel subalgebra $\Ww_N$ of $U_q(sl(2,\mc))$ specialized …
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…
