Volume 9, issue 1 (2009)

Download this article
Download this article For screen
For printing
Recent Issues

Volume 24
Issue 3, 1225–1808
Issue 2, 595–1223
Issue 1, 1–594

Volume 23, 9 issues

Volume 22, 8 issues

Volume 21, 7 issues

Volume 20, 7 issues

Volume 19, 7 issues

Volume 18, 7 issues

Volume 17, 6 issues

Volume 16, 6 issues

Volume 15, 6 issues

Volume 14, 6 issues

Volume 13, 6 issues

Volume 12, 4 issues

Volume 11, 5 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 4 issues

Volume 7, 4 issues

Volume 6, 5 issues

Volume 5, 4 issues

Volume 4, 2 issues

Volume 3, 2 issues

Volume 2, 2 issues

Volume 1, 2 issues

The Journal
About the Journal
Editorial Board
Editorial Interests
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
ISSN (electronic): 1472-2739
ISSN (print): 1472-2747
Author Index
To Appear
Other MSP Journals
Proving a manifold to be hyperbolic once it has been approximated to be so

Harriet Moser

Algebraic & Geometric Topology 9 (2009) 103–133

Let M be a 3–manifold whose boundary consists of tori. The computer program SnapPea, created by Jeff Weeks, can approximate whether or not M is a complete hyperbolic manifold. However, until now, there has been no way to determine from this approximation if M is truly hyperbolic and complete. This paper provides a method for proving that 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 M, identifying consistency and completeness equations as described by Neumann and Zagier [Topology 24 (1985) 307–332] and Benedetti and Petronio [Lectures on hyperbolic geometry, Universitext, Springer, Berlin (1992)] with respect to this triangulation, and then, according to Weeks ["Handbook of Knot Theory", Elsevier, Amsterdam (2005) 461–480], trying to solve the system of equations using Newton’s Method. This produces an approximate, not actual solution. The method here uses the Kantorovich 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.

Additional material
3–manifold, hyperbolic, complete approximate
Mathematical Subject Classification 2000
Primary: 57M50, 57N16
Secondary: 54E50, 51H20
Received: 14 August 2008
Accepted: 15 September 2008
Published: 7 January 2008
Harriet Moser
74 Wensley Drive
Great Neck, NY 11020