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

DOI10.2140/AGT.2009.9.103MaRDI QIDQ1007202zbMATH OpenOpenAlexFDO

Authors Harriet Handel Moser

Publication date 20 March 2009

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3948706 (Why is no real title available?)
• scientific article; zbMATH DE number 139730 (Why is no real title available?)
• scientific article; zbMATH DE number 139731 (Why is no real title available?)
• scientific article; zbMATH DE number 1273298 (Why is no real title available?)
• scientific article; zbMATH DE number 1014124 (Why is no real title available?)
• scientific article; zbMATH DE number 3417832 (Why is no real title available?)
• Computation of hyperbolic structures in knot theory
• Foundations of Hyperbolic Manifolds
• Hyperbolic structures on 3-manifolds. I: Deformation of acylindrical manifolds
• Lectures on hyperbolic geometry
• Minimum volume cusped hyperbolic three-manifolds
• Mom technology and volumes of hyperbolic 3-manifolds
• Positively oriented ideal triangulations on hyperbolic three-manifolds
• Proving a manifold to be hyperbolic once it has been approximated to be so
• SMALL CURVATURE SURFACES IN HYPERBOLIC 3-MANIFOLDS
• Volumes of hyperbolic three-manifolds

Cited in

(11)

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

Describes a project that uses

Uses Software

• CPAN
• Snap
• SnapPea
• CRAN
• PERL

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)