The cusped hyperbolic census is complete

@article{Burton2014TheCH,
  title={The cusped hyperbolic census is complete},
  author={B. Burton},
  journal={ArXiv},
  year={2014},
  volume={abs/1405.2695}
}
  • B. Burton
  • Published 2014
  • Computer Science, Mathematics
  • ArXiv
  • From its creation in 1989 through subsequent extensions, the widely-used "SnapPea census" now aims to represent all cusped finite-volume hyperbolic 3-manifolds that can be obtained from <= 8 ideal tetrahedra. Its construction, however, has relied on inexact computations and some unproven (though reasonable) assumptions, and so its completeness was never guaranteed. For the first time, we prove here that the census meets its aim: we rigorously certify that every ideal 3-manifold triangulation… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 52 REFERENCES
    The Magma Algebra System I: The User Language
    • 5,183
    • PDF
    Geometry and Topology of 3-manifolds
    • 208
    • PDF
    A census of cusped hyperbolic 3-manifolds
    • 108
    • PDF
    0-Efficient Triangulations of 3-Manifolds
    • 141
    • Highly Influential
    • PDF
    Computation with finitely presented groups
    • C. Sims
    • Mathematics, Computer Science
    • 1994
    • 403
    The pachner graph and the simplification of 3-sphere triangulations
    • 24
    • PDF
    MINIMAL TRIANGULATIONS AND NORMAL SURFACES
    • 27
    • PDF
    A Computer Generated Census of Cusped Hyperbolic 3-Manifolds
    • 46
    Euclidean decompositions of noncompact hyperbolic manifolds
    • 229