A Census of Tetrahedral Hyperbolic Manifolds

  title={A Census of Tetrahedral Hyperbolic Manifolds},
  author={Evgeny Fominykh and Stavros Garoufalidis and Matthias G{\"o}rner and Vladimir Tarkaev and Andrei Vesnin},
  journal={Experimental Mathematics},
  pages={466 - 481}
ABSTRACT We call a cusped hyperbolic 3-manifold tetrahedral if it can be decomposed into regular ideal tetrahedra. Following an earlier publication by three of the authors, we give a census of all tetrahedral manifolds and all of their combinatorial tetrahedral tessellations with at most 25 (orientable case) and 21 (non-orientable case) tetrahedra. Our isometry classification uses certified canonical cell decompositions (based on work by Dunfield, Hoffman, and Licata) and isomorphism signatures… 
A census of hyperbolic platonic manifolds and augmented knotted trivalent graphs
We call a 3-manifold Platonic if it can be decomposed into isometric Platonic solids. Generalizing an earlier publication by the author and others where this was done in case of the hyperbolic ideal
Hyperbolic three-manifolds that embed geodesically
We prove that every complete finite-volume hyperbolic 3-manifold $M$ that is tessellated into right-angled regular polyhedra (dodecahedra or ideal octahedra) embeds geodesically in a complete
The complement of the figure-eight knot geometrically bounds
We show that some hyperbolic 3-manifolds which are tessellated by copies of the regular ideal hyperbolic tetrahedron embed geodesically in a complete, finite volume, hyperbolic 4-manifold. This
Minimal 4-colored graphs representing an infinite family of hyperbolic 3-manifolds
The graph complexity of a compact 3-manifold is defined as the minimum order among all 4-colored graphs representing it. Exact calculations of graph complexity have been already performed, through
Convex projective structures on nonhyperbolic three-manifolds
Y. Benoist proved that if a closed three-manifold M admits an indecomposable convex real projective structure, then M is topologically the union along tori and Klein bottles of finitely many
Constructing 1-cusped isospectral non-isometric hyperbolic 3-manifolds
We construct infinitely many examples of pairs of isospectral but non-isometric $1$-cusped hyperbolic $3$-manifolds. These examples have infinite discrete spectrum and the same Eisenstein series. Our
On hyperbolic Coxeter n-cubes
Complexity of virtual 3-manifolds
Virtual $3$-manifolds were introduced by S.V. Matveev in 2009 as natural generalizations of the classical $3$-manifolds. In this paper, we introduce a notion of complexity of a virtual $3$-manifold.
Many cusped hyperbolic 3-manifolds do not bound geometrically
In this note we show that there exist cusped hyperbolic 3 3 -manifolds that embed geodesically but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for
Ideal right-angled polyhedra in Lobachevsky space
In this paper we consider a class of right-angled polyhedra in three-dimensional Lobachevsky space, all vertices of which lie on the absolute. New upper bounds on volumes in terms the number of faces


A census of cusped hyperbolic 3-manifolds
The census contains descriptions of all hyperbolic 3-manifolds obtained by gluing the faces of at most seven ideal tetrahedra and various geometric and topological invariants are calculated for these manifolds.
Convex hulls and isometries of cusped hyperbolic 3-manifolds
Commensurators of Cusped Hyperbolic Manifolds
A general algorithm for finding the commensurator of a nonarithmetic hyperbolic manifold with cusps and for deciding when two such manifolds are commensurable is described.
Verified Computations for Hyperbolic 3-Manifolds
Central to the method is an implementation of interval arithmetic and Krawczyk's test that represents an improvement over existing algorithms as they are faster while accounting for error accumulation in a more direct and user-friendly way.
Regular Tessellation Link Complements
This work completes the classification of all principal congruence link complements given by Baker and Reid for the cases of discriminant D = −3 and D =−4 and proves that a regular tessellation has to be of infinite volume if its fundamental group is generated by peripheral curves only.
An Edge-Based Framework for Enumerating 3-Manifold Triangulations
The key idea is to build triangulations by recursively constructing neighbourhoods of edges, in contrast to traditional algorithms which recursically glue together pairs of tetrahedron faces, and it is found that whilst the overall performance is mixed, the new algorithm runs significantly faster on those "pathological" multigraphs for which existing methods are extremely slow.
Arithmetic of Hyperbolic Manifolds
By a hyperbolic 3-manifold we mean a complete orientable hyperbolic 3-manifold of finite volume, that is a quotient H/Γ with Γ ⊂ PSL2C a discrete subgroup of finite covolume (here briefly “a Kleinian
Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations
Experimental work suggests that for an exhaustive census of 81,800,394 one-vertex triangulations that span 1,901 distinct closed orientable 3-manifolds, the authors never need to add more than two extra tetrahedra, and the average number of Pachner moves decreases as the number of tetRAhedra grows.
The pachner graph and the simplification of 3-sphere triangulations
Experimental work is presented suggesting that for 3-sphere triangulations the reality is far different: the authors never need to add more than two tetrahedra, and they never need more than a handful of local modifications.
Asymmetric hyperbolic L-spaces, Heegaard genus, and Dehn filling
An L-space is a rational homology 3-sphere with minimal Heegaard Floer homology. We give the first examples of hyperbolic L-spaces with no symmetries. In particular, unlike all previously known