Mathematics – Geometric Topology
Scientific paper
2008-09-08
Mathematics
Geometric Topology
correct incomplete definition of function in Template
Scientific paper
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.
No associations
LandOfFree
Proving a manifold to be hyperbolic once it has been approximated to be so does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proving a manifold to be hyperbolic once it has been approximated to be so, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proving a manifold to be hyperbolic once it has been approximated to be so will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-29972