A census of tetrahedral hyperbolic manifolds

The computer program SnapPea can approximate whether or not a three manifold whose boundary consists of tori has a complete hyperbolic structure, but it can not prove conclusively that this is so. This article provides a method for proving that such a manifold has a complete hyperbolic structure based on the approximations of SNAP, a program that includes the functionality of SnapPea plus other features. The approximation is done by triangulating the manifold, identifying con...

We construct and study a new class $\mathscr{M}=\{\mathscr{M}_n\}_{n\ge 4}$ of compact hyperbolic $3$-manifolds with totally geodesic boundary. The members of $\mathscr{M}_n$ are defined via triples of pairwise compatible Eulerian cycles in $4$-regular $n$-vertex graphs. We show that each $M$ in $\mathscr{M}_n$ is of Matveev complexity $n$ and has a unique minimal ideal triangulation, which consists of $n$ tetrahedra. We exploit these properties to show that $n!\,4^n > |\math...

The problem of classifying, upto isometry (or similarity), the orientable spherical, Euclidean and hyperbolic 3-manifolds that arise by identifying the faces of a Platonic solid is formulated in the language of Coxeter groups. In the spherical and hyperbolic cases, this allows us to complete the classification begun by Lorimer, Richardson and Rubinstein and Best.

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 introduce a simple algorithm which transforms every four-dimensional cubulation into a cusped finite-volume hyperbolic four-manifold. Combinatorially distinct cubulations give rise to topologically distinct manifolds. Using this algorithm we construct the first examples of finite-volume hyperbolic four-manifolds with one cusp. More generally, we show that the number of $k$-cusped hyperbolic four-manifolds with volume smaller than V grows like $C^{V log V}$ for any fixed $k...

By taking quotients of a certain tiling of hyperbolic plane / space by certain group actions, we obtain geometric polyhedra / cellulations with interesting symmetries and incidence structure.

By regular tessellation, we mean any hyperbolic 3-manifold tessellated by ideal Platonic solids such that the symmetry group acts transitively on oriented flags. A regular tessellation has an invariant we call the cusp modulus. For small cusp modulus, we classify all regular tessellations. For large cusp modulus, we prove that a regular tessellations has to be infinite volume if its fundamental group is generated by peripheral curves only. This shows that there are at least 1...

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-man...

A typical census of 3-manifolds contains all manifolds (under various constraints) that can be triangulated with at most n tetrahedra. Al- though censuses are useful resources for mathematicians, constructing them is difficult: the best algorithms to date have not gone beyond n = 12. The underlying algorithms essentially (i) enumerate all relevant 4-regular multigraphs on n nodes, and then (ii) for each multigraph G they enumerate possible 3-manifold triangulations with G as ...

This paper is the first of a 3-part series that classifies the 5-dimensional Thurston geometries. The present paper (part 1 of 3) summarizes the general classification, giving the full list, an outline of the method, and some illustrative examples. This includes phenomena that have not appeared in lower dimensional geometries, such as an uncountable family of geometries.