Volume 9, issue 1 (2009)

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

Volume 14
Issue 5, 2511–3139
Issue 4, 1881–2509
Issue 3, 1249–1879
Issue 2, 627–1247
Issue 1, 1–625

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
Author Index
Editorial procedure
Submission Guidelines
Submission Page
Author copyright form
Subscriptions
Contacts
G&T Publications
GTP Author Index
ISSN (electronic): 1472-2739
ISSN (print): 1472-2747
Proving a manifold to be hyperbolic once it has been approximated to be so

Harriet Moser

Algebraic & Geometric Topology 9 (2009) 103–133
Abstract

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
Keywords
3–manifold, hyperbolic, complete approximate
Mathematical Subject Classification 2000
Primary: 57M50, 57N16
Secondary: 54E50, 51H20
References
Publication
Received: 14 August 2008
Accepted: 15 September 2008
Published: 7 January 2008
Authors
Harriet Moser
74 Wensley Drive
Great Neck, NY 11020
USA
http://www.math.columbia.edu/~moser