Ideal triangulations of 3-manifolds II: taut and angle structures

Ensil Kang,J. Hyam Rubinstein

DOI: https://doi.org/10.2140/agt.2005.5.1505

2005-02-21

Abstract:This is the second in a series of papers in which we investigate ideal triangulations of the interiors of compact 3-manifolds with tori or Klein bottle boundaries. Such triangulations have been used with great effect, following the pioneering work of Thurston. Ideal triangulations are the basis of the computer program SNAPPEA of Weeks and the program SNAP of Coulson, Goodman, Hodgson and Neumann. Casson has also written a program to find hyperbolic structures on such 3-manifolds, by solving Thurston's hyperbolic gluing equations for ideal triangulations. In this second paper, we study the question of when a taut ideal triangulation of an irreducible atoroidal 3-manifold admits a family of angle structures. We find a combinatorial obstruction, which gives a necessary and sufficient condition for the existence of angle structures for taut triangulations. The hope is that this result can be further developed to give a proof of the existence of ideal triangulations admitting (complete) hyperbolic metrics. Our main result answers a question of Lackenby. We give simple examples of taut ideal triangulations which do not admit an angle structure. Also we show that for `layered' ideal triangulations of once-punctured torus bundles over the circle, that if the manodromy is pseudo Anosov, then the triangulation admits angle structures if and only if there are no edges of degree 2. Layered triangulations are generalisations of Thurston's famous triangulation of the Figure 8 knot space. Note that existence of an angle structure easily implies that the 3-manifold has a CAT(0) or relatively word hyperbolic fundamental group.

Geometric Topology

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the existence conditions of angle structures in ideal triangulations. Specifically, the author has studied in atoroidal 3 - manifolds which are irreducible, when a compact ideal triangulation with boundary can admit a family of angle structures. The following is the core of the problem:

1. **Research Background**:
- Ideal triangulation is a decomposition method for the interior of a compact 3 - manifold, with vertices removed and the boundary being a torus or a Klein bottle.
- This method has been widely used based on Thurston's work and has been applied in computer programs such as SNAPPEA and SNAP.

2. **Main Problem**:
- The author has explored whether an ideal triangulation of a compact, irreducible and atoroidal 3 - manifold can admit a family of angle structures when it has a "taut structure".
- They have found a combinatorial obstruction and given the necessary and sufficient conditions for the existence of angle structures in the taut structure.

3. **Specific Objectives**:
- Give the necessary and sufficient conditions for the existence of angle structures in taut ideal triangulations.
- Prove examples where certain taut ideal triangulations do not have angle structures.
- For the ideal triangulation of 3 - manifolds with once - punctured torus bundles, study the existence conditions of angle structures under pseudo - Anosov monodromy.

4. **Theoretical Contributions**:
- Propose the concept of combinatorial obstruction, which is the key to judging the existence of angle structures.
- Answer a question raised by Lackenby: whether there are cases where taut ideal triangulations do not have angle structures.

5. **Practical Applications**:
- These results provide a basis for further proving the existence of a complete hyperbolic metric in ideal triangulations.
- The existence of angle structures is closely related to the geometric properties of 3 - manifolds, such as CAT(0) or relatively word - hyperbolic fundamental groups.

In summary, this paper aims to deeply study the problem of the existence of angle structures in ideal triangulations and provide new insights and proofs through tools such as combinatorial obstructions. This not only answers an important question in the field but also lays a foundation for further research.