Ideal triangulations of finite volume hyperbolic 3-manifolds

Thick triangulations of hyperbolic n-manifolds

We show that a complete hyperbolic n-manifold has a geodesic triangulation such that the tetrahedra contained in the thick part are L-bilipschitz diffeomorphic to the standard Euclidean n-simplex, for some constant L depending only on the dimension and the constant used to define the thick-thin decomposition of M.

Triangulation complexity and systolic volume of hyperbolic manifolds

Let $M$ be a closed $n$-manifold with nonzero simplicial volume. A central result in systolic geometry from Gromov is that systolic volume of $M$ is related to its simplicial volume. In this short note, we show that systolic volume of hyperbolic manifolds is related to triangulation complexity. The proof is based on Jørgensen and Thurston's theorem of hyperbolic volume.

Negatively Oriented Ideal Triangulations and a Proof of Thurston's Hyperbolic Dehn Filling Theorem

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.

Coxeter groups, hyperbolic cubes, and acute triangulations

Let $C(L)$ be the right-angled Coxeter group defined by an abstract triangulation $L$ of $\mathbb{S}^2$. We show that $C(L)$ is isomorphic to a hyperbolic right-angled reflection group if and only if $L$ can be realized as an acute triangulation. The proof relies on the theory of CAT(-1) spaces. A corollary is that an abstract triangulation of $\mathbb{S}^2$ can be realized as an acute triangulation exactly when it satisfies a combinatorial condition called "flag no-square". We also study generalizations of this result to other angle bounds, other planar surfaces and other dimensions.

A method to find ideal points from ideal triangulations

We give a simple method to find ideal points of the character variety of a 3-manifold from an ideal triangulation.

Degenerations of ideal hyperbolic triangulations

Let M be a cusped 3-manifold, and let T be an ideal triangulation of M. The deformation variety D(T), a subset of which parameterises (incomplete) hyperbolic structures obtained on M using T, is defined and compactified by adding certain projective classes of transversely measured singular codimension-one foliations of M. This leads to a combinatorial and geometric variant of well-known constructions by Culler, Morgan and Shalen concerning the character variety of a 3-manifold.

1-efficient triangulations and the index of a cusped hyperbolic 3-manifold

In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index structure if and only if T is 1-efficient and (b) if M is hyperbolic, it has a canonical set of 1-efficient ideal triangulations related by 2-3 and 0-2 moves which preserve the 3D index. We illustrate our results with several examples.

Constructing Infinitely Many Geometric Triangulations Of The Figure Eight Knot Complement

This paper considers "geometric" ideal triangulations of cusped hyperbolic 3-manifolds, i.e. decompositions into positive volume ideal hyperbolic tetrahedra. We exhibit infinitely many geometric ideal triangulations of the figure eight knot complement. As far as we know, this is the first construction of infinitely many geometric triangulations of a cusped hyperbolic 3-manifold. In contrast, our approach does not extend to the figure eight sister manifold, and it is unknown if there are infinitely many geometric triangulations for this manifold.

Poor ideal three-edge triangulations are minimal

It is known that an ideal triangulation of a compact $3$-manifold with nonempty boundary is minimal if and only if it contains the minimum number of edges among all ideal triangulations of the manifold. Therefore, any ideal one-edge triangulation (i.e., an ideal singular triangulation with exactly one edge) is minimal. Vesnin, Turaev, and the first author showed that an ideal two-edge triangulation is minimal if no $3$-$2$ Pachner move can be applied. In this paper we show that any of the so-called poor ideal three-edge triangulations is minimal. We exploit this property to construct minimal i…

一类双曲3-辫的几何三角剖分

Geometric triangulations of a family of hyperbolic 3-braids

本文为$n\ge7$的$(-2,3,n)$-椒盐结与链环补构造拓扑三角剖分，利用Casson和Rivin定理直接证明其几何性，给出了该类双曲3-辫的直接证明。

Pseudo-developing maps for ideal triangulations II: Positively oriented ideal triangulations of cone-manifolds

We generalise work of Young-Eun Choi to the setting of ideal triangulations with vertex links of arbitrary genus, showing that the set of all (possibly incomplete) hyperbolic cone-manifold structures realised by positively oriented hyperbolic ideal tetrahedra on a given topological ideal triangulation and with prescribed cone angles at all edges is (if non-empty) a smooth complex manifold of dimension the sum of the genera of the vertex links. Moreover, we show that the complex lengths of a collection of peripheral elements give a local holomorphic parameterisation of this manifold.

没有正旋转三角剖分的双曲流形

Hyperbolic manifolds without positive spun triangulations

研究由闭双曲三维流形和简单闭测地线组成的对，利用Choi结果给出无前述正旋转理想三角剖分的例子，如Vol3及相关测地线，为Vol3无此类三角剖分猜想提供证据。

Taut ideal triangulations of 3-manifolds

A taut ideal triangulation of a 3-manifold is a topological ideal triangulation with extra combinatorial structure: a choice of transverse orientation on each ideal 2-simplex, satisfying two simple conditions. The aim of this paper is to demonstrate that taut ideal triangulations are very common, and that their behaviour is very similar to that of a taut foliation. For example, by studying normal surfaces in taut ideal triangulations, we give a new proof of Gabai's result that the singular genus of a knot in the 3-sphere is equal to its genus.

Inflations of ideal triangulations

Starting with an ideal triangulation of the interior of a compact 3-manifold M with boundary, no component of which is a 2-sphere, we provide a construction, called an inflation of the ideal triangulation, to obtain a strongly related triangulations of M itself. Besides a step-by-step algorithm for such a construction, we provide examples of an inflation of the two-tetrahedra ideal triangulation of the complement of the figure-eight knot in the 3-sphere, giving a minimal triangulation, having ten tetrahedra, of the figure-eight knot exterior. As another example, we provide an inflation of the …

Flipping Geometric Triangulations on Hyperbolic Surfaces

We consider geometric triangulations of surfaces, i.e., triangulations whose edges can be realized by disjoint locally geodesic segments. We prove that the flip graph of geometric triangulations with fixed vertices of a flat torus or a closed hyperbolic surface is connected. We give upper bounds on the number of edge flips that are necessary to transform any geometric triangulation on such a surface into a Delaunay triangulation.

Triangulations of 3-manifolds, hyperbolic relative handlebodies, and Dehn filling

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 tha…

六边形几何三角剖分

Hexagonal Geometric Triangulations

本文构造了双曲平面的6-正则测地三角剖分，填补了该正则度在双曲平面上的空白。

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

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 ques…

通过有序理想三角剖分对闭 $3$-流形的组合描述

Combinatorial description of closed $3$-manifolds via ordered ideal triangulations

本文通过有序理想三角剖分及有序Pachner $2$-$3$和$0$-$2$移动，给出了闭$3$-流形的组合描述。

Geodesic ideal triangulations exist virtually

It is shown that every non-compact hyperbolic manifold of finite volume has a finite cover admitting a geodesic ideal triangulation. Also, every hyperbolic manifold of finite volume with non-empty, totally geodesic boundary has a finite regular cover which has a geodesic partially truncated triangulation. The proofs use an extension of a result due to Long and Niblo concerning the separability of peripheral subgroups.

A calculus for ideal triangulations of three-manifolds with embedded arcs

Refining the notion of an ideal triangulation of a compact three-manifold, we provide in this paper a combinatorial presentation of the set of pairs (M,a), where M is a three-manifold and a is a collection of properly embedded arcs. We also show that certain well-understood combinatorial moves are sufficient to relate to each other any two refined triangulations representing the same (M,a). Our proof does not assume the Matveev-Pergallini calculus for ideal triangulations, and actually easily implies this calculus.

Construction and Recognition of Hyperbolic 3-Manifolds with Geodesic Boundary

We extend to the context of hyperbolic 3-manifolds with geodesic boundary Thurston's approach to hyperbolization by means of geometric triangulations. In particular, we introduce moduli for (partially) truncated hyperbolic tetrahedra, and we discuss consistency and completeness equations. Moreover, building on previous work of Ushijima, we extend Weeks' tilt formula algorithm, which computes the Epstein-Penner canonical triangulation, to an algorithm that computes the Kojima triangulation. The theory is particularly interesting in the case of complete finite-volume manifolds with geodesic boun…

Essential loops in taut ideal triangulations

In this note we combinatorialise a technique of Novikov. We use this to prove that, in a three-manifold equipped with a taut ideal triangulation, any vertical or normal loop is essential in the fundamental group.

Canonical triangulations of Dehn fillings

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.

Ideal Triangulations of Pseudo-Anosov Mapping Tori

We show how to construct an ideal triangulation of a mapping torus of a pseudo-Anosov map punctured along the singular fibers. This gives rise to a new conjugacy invariant of mapping classes, and a new proof of a theorem of Farb-Leininger-Margalit. The approach in this paper is based on ideas of Hamenstadt.

From angled triangulations to hyperbolic structures

This survey paper contains an elementary exposition of Casson and Rivin's technique for finding the hyperbolic metric on a 3-manifold M with toroidal boundary. We also survey a number of applications of this technique. The method involves subdividing M into ideal tetrahedra and solving a system of gluing equations to find hyperbolic shapes for the tetrahedra. The gluing equations decompose into a linear and non-linear part. The solutions to the linear equations form a convex polytope A. The solution to the non-linear part (unique if it exists) is a critical point of a certain volume functional…

The 3D index of an ideal triangulation and angle structures

The 3D index of Dimofte-Gaiotto-Gukov a partially defined function on the set of ideal triangulations of 3-manifolds with $r$ torii boundary components. For a fixed $2r$ tuple of integers, the index takes values in the set of $q$-series with integer coefficients. Our goal is to give an axiomatic definition of the tetrahedron index, and a proof that the domain of the 3D index consists precisely of the set of ideal triangulations that support an index structure. The latter is a generalization of a strict angle structure. We also prove that the 3D index is invariant under 3-2 moves, but not in ge…

Minimal Delaunay triangulations of hyperbolic surfaces

Motivated by recent work on Delaunay triangulations of hyperbolic surfaces, we consider the minimal number of vertices of such triangulations. First, we will show that every hyperbolic surface of genus $g$ has a simplicial Delaunay triangulation with $O(g)$ vertices, where edges are given by distance paths. Then, we will construct a class of hyperbolic surfaces for which the order of this bound is optimal. Finally, to give a general lower bound, we will show that the $Ω(\sqrt{g})$ lower bound for the number of vertices of a simplicial triangulation of a topological surface of genus $g$ is tigh…

Efficient triangulations and boundary slopes

For a compact, irreducible, $\partial$-irreducible, an-annular bounded 3-manifold $M\ne\mathbb{B}^3$, then any triangulation $\mathcal{T}$ of $M$ can be modified to an ideal triangulation $\mathcal{T}^*$ of $\stackrel{\circ}{M}$. We use the inverse relationship of crushing a triangulation along a normal surface and that of inflating an ideal triangulation to introduce and study boundary-efficient triangulations and end-efficient ideal triangulations. We prove that the topological conditions necessary for a compact 3-manifold $M$ admitting an annular-efficient triangulation are sufficient to mo…

理想三角剖分与单穿孔曲面丛

Ideal Triangulations and Once-Punctured Surface Bundles

本文证明了在具有单个环面边界分量的无环面无柱面不可约紧致3-流形中，存在使纤维旋转正规化的理想三角剖分，并给出了构造该三角剖分的算法。

The Homeomorphism Problem For Hyperbolic Manifolds I

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.

几何三角剖分与高扭曲链环

Geometric triangulations and highly twisted links

针对带尖点双曲3-流形的几何三角剖分猜想，证明充分高扭曲纽结存在几何三角剖分，并拓展已有工作给出无穷族实例的量化结果。

“魔幻流形”的三角剖分与普查纽结族

Triangulations of the `magic manifold' and families of census knots

本文通过构造魔幻流形的五种理想三角剖分，为所有部分填充得到低复杂度三角剖分，恢复229个普查纽结的最小剖分，并将其分为42个可无限扩展的扭转族。

On the ideal triangulation graph of a punctured surface

We study the ideal triangulation graph $T(S)$ of a punctured surface $S$ of finite type. We show that if $S$ is not the sphere with at most three punctures or the torus with one puncture, then the natural map from the extended mapping class group of $S$ into the simplicial automorphism group of $T(S)$ is an isomorphism. We also show that under the same conditions on $S$, the graph $T(S)$ equipped with its natural simplicial metric is not Gromov hyperbolic. Thus, from the point of view of Gromov hyperbolicity, the situation of $T(S)$ is different from that of the curve complex of $S$.

组合Ricci流与Thurston三角剖分猜想

Combinatorial Ricci Flow and Thurston's Triangulation Conjecture

本文提出组合Ricci流作为处理Thurston三角剖分猜想的一般方法，证明流收敛当且仅当三角剖分是几何的，并建立了一般双曲多面体3-流形的刚性结果。

Tropical varieties associated to ideal triangulations: The Whitehead link complement

This paper illustrates a computational approach to Culler-Morgan-Shalen theory using ideal triangulations, spun-normal surfaces and tropical geometry. Certain affine algebraic sets associated to the Whitehead link complement as well as their logarithmic limit sets are computed. The projective solution space of spun-normal surface theory is related to the space of incompressible surfaces and to the unit ball of the Thurston norm. It is shown that all boundary curves of the Whitehead link complement are strongly detected by its character variety. The specific results obtained can be used to stud…

An application of non-positively curved cubings of alternating links

By using non-positively curved cubings of prime alternating link exteriors, we prove that certain ideal triangulations of their complements, derived from reduced alternating diagrams, are non-degenerate, in the sense that none of the edges is homotopic relative its endpoints to a peripheral arc. This guarantees that the hyperbolicity equations for those triangulations for hyperbolic alternating links have solutions corresponding to the complete hyperbolic structures. Since the ideal triangulations considered in this paper are often used in the study of the volume conjecture, this result has a …

FAMED几何三角化下的安德森-卡沙夫体积猜想

The Andersen-Kashaev volume conjecture for FAMED geometric triangulations

本文提出FAMED三角化概念，证明了双曲扭结和前42,000个双曲结的安德森-卡沙夫体积猜想，并揭示了Teichmüller TQFT中配分函数的指数衰减现象。

0-efficient triangulations of 3-manifolds

0-efficient triangulations of 3-manifolds are defined and studied. It is shown that any triangulation of a closed, orientable, irreducible 3-manifold M can be modified to a 0-efficient triangulation or M can be shown to be one of the manifolds S^3, RP^3 or L(3,1). Similarly, any triangulation of a compact, orientable, irreducible, boundary-irreducible 3-manifold can be modified to a 0-efficient triangulation. The notion of a 0-efficient ideal triangulation is defined. It is shown if M is a compact, orientable, irreducible, boundary-irreducible 3-manifold having no essential annuli and distinct…

On ideal triangulations of surfaces up to branched transit equivalences

We consider triangulations of closed surfaces S with a given set of vertices V; every triangulation can be branched that is enhanced to a Delta-complex. Branched triangulations are considered up to the b-transit equivalence generated by b-flips (i.e. branched diagonal exchanges) and isotopy keeping V point-wise fixed. We extend a well known connectivity result for `naked' triangulations; in particular in the generic case when S has negative Euler-Poincare' characteristic c(S), we show that branched triangulations are equivalent to each other if c(S) is even, while this holds also for odd c(S) …

Generalized Mom-structures and ideal triangulations of 3-manifolds with non-spherical boundary

The so-called Mom-structures on hyperbolic cusped 3-manifolds without boundary were introduced by Gabai, Meyerhoff, and Milley, and used by them to identify the smallest closed hyperbolic manifold. In this work we extend the notion of a Mom-structure to include the case of 3-manifolds with non-empty boundary that does not have spherical components. We then describe a certain relation between such generalized Mom-structures, called protoMom-structures, internal on a fixed 3-manifold N, and ideal triangulations of N; in addition, in the case of non-closed hyperbolic manifolds without annular cus…

Shapes of polyhedra and triangulations of the sphere

The space of shapes of a polyhedron with given total angles less than 2πat each of its n vertices has a Kaehler metric, locally isometric to complex hyperbolic space CH^{n-3}. The metric is not complete: collisions between vertices take place a finite distance from a nonsingular point. The metric completion is a complex hyperbolic cone-manifold. In some interesting special cases, the metric completion is an orbifold. The concrete description of these spaces of shapes gives information about the combinatorial classification of triangulations of the sphere with no more than 6 triangles at a vert…

Ideal triangulations and geometric transitions

Thurston introduced a technique for finding and deforming three-dimensional hyperbolic structures by gluing together ideal tetrahedra. We generalize this technique to study families of geometric structures that transition from hyperbolic to anti de Sitter (AdS) geometry. Our approach involves solving Thurston's gluing equations over several different shape parameter algebras. In the case of a punctured torus bundle with Anosov monodromy, we identify two components of real solutions for which there are always nearby positively oriented solutions over both the complex and pseudo-complex numbers.…

Ideal triangulations of 3-manifolds up to decorated transit equivalences

We consider 3-dimensional pseudo-manifolds M with a given set of marked point V such that M-V is the interior of a compact 3-manifold with boundary. An ideal triangulation T of (M, V ) has V as its set of vertices. A branching (T, b) enhances T to a Delta-complex. Branched triangulations of (M, V ) are considered up to the b-transit equivalence generated by isotopy and ideal branched moves which keep V pointwise fixed. We extend a well known connectivity result for naked triangulations by showing that branched ideal triangulations of (M, V) are equivalent to each other. A pre-branching is a sy…

Computing complete hyperbolic structures on cusped 3-manifolds

A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic 3-manifold with torus boundaries. This family of 3-manifolds includes the knot complements. This computation of a hyperbolic structure requires the resolution of gluing equations on a triangulation of the space, but not all triangulations admit a solution to the equations. In this paper, we propose a new method to find a triangulation that admits a solution to the …

Experimental statistics of veering triangulations

Certain fibered hyperbolic 3-manifolds admit a $\mathit{\text{layered veering triangulation}}$, which can be constructed algorithmically given the stable lamination of the monodromy. These triangulations were introduced by Agol in 2011, and have been further studied by several others in the years since. We obtain experimental results which shed light on the combinatorial structure of veering triangulations, and its relation to certain topological invariants of the underlying manifold.

论孤立几何三角剖分

On Isolated Geometric Triangulations

本文定义孤立几何三角剖分，构造无限一次穿孔环面丛族证明其非小流形独有，回应了几何三角剖分子图的连通性相关问题。

Veering triangulations and Cannon-Thurston maps

Any hyperbolic surface bundle over the circle gives rise to a continuous surjection from the circle to the sphere, by work of Cannon and Thurston. We prove that the order in which this surjection fills out the sphere is dictated by a natural triangulation of the surface bundle (introduced by Agol) when all singularities of the invariant foliations are at punctures of the fiber.

Geometric triangulations and the Teichmüller TQFT volume conjecture for twist knots

We construct a new infinite family of ideal triangulations and H-triangulations for the complements of twist knots, using a method originating from Thurston. These triangulations provide a new upper bound for the Matveev complexity of twist knot complements. We then prove that these ideal triangulations are geometric. The proof uses techniques of Futer and the second author, which consist in studying the volume functional on the polyhedron of angle structures. Finally, we use these triangulations to compute explicitly the partition function of the Teichmüller TQFT and to prove the associated v…

Geodesic triangulations exist for cusped Platonic manifolds

We show that if a cusped hyperbolic manifold is Platonic, i.e., can be decomposed into isometric Platonic solids, it can also be decomposed into geodesic ideal tetrahedra.

无限黎曼面的有界理想三角剖分

Bounded ideal triangulations of infinite Riemann surfaces

本文提出无限黎曼面的有界理想三角剖分概念，构造了相应Teichmüller空间的实解析参数化，并证明有界几何且可数穿孔的曲面属于此类，弥补了Fenchel-Nielsen参数化在实解析性上的不足。

Delta-groupoids and ideal triangulations

A Delta-groupoid is an algebraic structure which axiomatizes the combinatorics of a truncated tetrahedron. By considering two simplest examples coming from knot theory, we illustrate how can one associate a Delta-groupoid to an ideal triangulation of a three-manifold. We also describe in detail the rings associated with the Delta-groupoids of these examples.

组合里奇流与带有边界的紧致3流形的双曲结构

Combinatorial Ricci Flows and Hyperbolic Structures on a Class of Compact $3$-Manifolds with Boundary

本文研究了具有边界的紧致3流形上的组合里奇流，证明在边度数至少为9的情况下，流能指数收敛到双曲度量，并解决了相关猜想。

无限圆盘三角剖分上的组合里奇流

Combinatorial Ricci flows on infinite disk triangulations

本文首次在无限圆盘三角剖分上研究欧氏与双曲背景几何中的组合里奇流，证明其存在唯一性与收敛性，并应用于无限锥角圆填充度量的存在性。