Proving a manifold to be hyperbolic once it has been approximated to be so

DOI10.2140/AGT.2009.9.103zbMATH Open1170.57015arXiv0809.1203OpenAlexW3101591590MaRDI QIDQ1007202FDOQ1007202

Harriet Handel Moser

Publication date: 20 March 2009

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

Abstract: 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 consistency and completeness equations with respect to this triangulation, and then trying to solve the system of equations using Newton's Method. This produces an approximate, not actual solution. The method developed here uses Kantorovich's theorem to prove that an actual solution exists, thereby assuring that the manifold has a complete hyperbolic structure. Using this, we can definitively prove that every manifold in the SnapPea cusped census has a complete hyperbolic structure.

Full work available at URL: https://arxiv.org/abs/0809.1203

Recommendations

• Verified computations for hyperbolic 3-manifolds
• Computing Arithmetic Invariants of 3-Manifolds
• Determining hyperbolicity of compact orientable 3-manifolds with torus boundary
• Verified computations for closed hyperbolic 3‐manifolds
• Hyperbolic knots

zbMATH Keywords

3-manifoldhyperbolic structuresKantorovich theorem

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to manifolds and cell complexes (57-04) Non-Euclidean differential geometry (53A35) General geometric structures on low-dimensional manifolds (57M50) Geometric structures on manifolds of high or arbitrary dimension (57N16) Complete metric spaces (54E50) Topological geometries on manifolds (51H20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Volumes of hyperbolic three-manifolds
• Foundations of Hyperbolic Manifolds
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hyperbolic structures on 3-manifolds. I: Deformation of acylindrical manifolds
• Lectures on hyperbolic geometry
• Title not available (Why is that?)
• Proving a manifold to be hyperbolic once it has been approximated to be so
• Minimum volume cusped hyperbolic three-manifolds
• Mom technology and volumes of hyperbolic 3-manifolds
• SMALL CURVATURE SURFACES IN HYPERBOLIC 3-MANIFOLDS
• Positively oriented ideal triangulations on hyperbolic three-manifolds
• Computation of hyperbolic structures in knot theory
• Title not available (Why is that?)

Cited In (10)

• Computing Arithmetic Invariants of 3-Manifolds
• Verified Computations for Hyperbolic 3-Manifolds
• The lowest volume 3–orbifolds with high torsion
• Comultiplication in link Floer homology and transversely nonsimple links
• Minimum volume cusped hyperbolic three-manifolds
• Verified computations for closed hyperbolic 3‐manifolds
• Dehn filling and the geometry of unknotting tunnels
• VOLUMES OF CHAIN LINKS
• Proving a manifold to be hyperbolic once it has been approximated to be so
• Minimum volume hyperbolic 3-manifolds

Uses Software

• PERL
• CRAN
• SnapPea
• Snap
• CPAN

This page was built for publication: Proving a manifold to be hyperbolic once it has been approximated to be so

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1007202)