Proving a manifold to be hyperbolic once it has been approximated to be so (Q1007202): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: CPAN / rank | |||
Normal rank |
Revision as of 02:50, 1 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving a manifold to be hyperbolic once it has been approximated to be so |
scientific article |
Statements
Proving a manifold to be hyperbolic once it has been approximated to be so (English)
0 references
20 March 2009
0 references
Let \(M\) be a 3-manifold whose boundary consists of tori. The computer program SnapPea (\url{http://www.northnet.org/weeks}) created by Jeff Weeks can approximate whether or not \(M\) is a complete hyperbolic manifold. In the paper under review which is based on the doctoral dissertation of the author, she gives a method for proving that a manifold has a complete hyperbolic structure based on the approximations of Snap (O. Goodman, Snap, \url{http://www.ms.unimelb.edu.au//snap}). Using this the author can definitively prove that every manifold in the SnapPea cusped census has a complete hyperbolic structure. The paper uses, as one of the methods, the Kantorovich theorem to prove that an actual solution for a system of equations exists, see \textit{J. H. Hubbard} and \textit{B. B. Hubbard} [Vector calculus, linear algebra, and differential forms. A unified approach, Upper Saddle River, NJ: Prentice Hall (1999; Zbl 0918.00001)].
0 references
3-manifold
0 references
hyperbolic structures
0 references
Kantorovich theorem
0 references