SnapPea

SnapPea

SnapPea is free software designed to help mathematicians, in particular low-dimensional topologists, study hyperbolic 3-manifolds. The primary developer is Jeffrey Weeks, who created the first version as part of his doctoral thesis. The latest version is 3.0d3. Marc Culler and Nathan Dunfield have a version which extends SnapPea's Python interface (see external links below).

The following people are credited in SnapPea 2.5.3's list of acknowledgments: Colin Adams, Bill Arveson, Pat Callahan, Joe Christy, Dave Gabai, Charlie Gunn, Martin Hildebrand, Craig Hodgson, Diane Hoffoss, A. C. Manoharan, Al Marden, Dick McGehee, Rob Meyerhoff, Lee Mosher, Walter Neumann, Carlo Petronio, Mark Phillips, Alan Reid, and Makoto Sakuma.

The C source code is extensively commented by Weeks and contains useful descriptions of the mathematics involved with references.

Algorithms and functions

At the core of SnapPea are two main algorithms. The first attempts to find a minimal ideal triangulation of a given link complement. The second computes the canonical decomposition of a cusped hyperbolic 3-manifold. Almost all the other functions of SnapPea rely in some way on one of these decompositions.

Minimal ideal triangulation

SnapPea inputs data in a variety of formats. Given a link diagram, SnapPea can ideal triangulate the link complement. It then performs a sequence of simplifications to find a minimal ideal triangulation.

Once a minimal ideal triangulation is found, SnapPea can try and find a hyperbolic structure. Thurston has described, in his Princeton lecture notes, a method for describing the geometric shape of each hyperbolic tetrahedron by a complex number and a set of nonlinear equations of complex variables whose solution would give a complete hyperbolic metric on the 3-manifold. These equations consist of "edge equations" and "cusp (completeness) equations". SnapPea uses an iterative method utilizing Newton's method to search for solutions. If no solution exists, then it retriangulated randomly and tries again.

The minimality of the triangulation is meant to increase the likelihood that such a solution exists, since heuristically one might expect the minimal triangulation to be "straightened" without causing degenerations or overlapping of tetrahedra.

From this description of the hyperbolic structure on a link complement, SnapPea can then perform hyperbolic Dehn filling on the cusps to obtain more hyperbolic 3-manifolds. SnapPea does this by taking any given slopes which determine certain "Dehn filling equations" (also explained in Thurston's notes), and then adjusting the shapes of the ideal tetrahedra to give solutions to these equations and the edge equations. This gives an (incomplete) hyperbolic structure on almost all of the Dehn-filled manifold. The completion gives a hyperbolic structure on the entire manifold. Its volume is the sum of the volumes of the adjusted tetrahedra.

Canonical decomposition

SnapPea is usually able to compute the canonical decomposition of a cusped hyperbolic 3-manifold from a given ideal triangulation. If not, then it randomly retriangulates and tries again. This has never been known to fail.

The canonical decomposition allows SnapPea to tell two cusped hyperbolic 3-manifolds apart by turning the problem of recognition into a combinatorial question, i.e. checking if the two manifolds have combinatorially equivalent canonical decompositions. SnapPea is also able to check if two "closed" hyperbolic 3-manifolds are isometric by drilling out short geodesics to create cusped hyperbolic 3-manifolds and then using the canonical decomposition as before.

The recognition algorithm allow SnapPea to tell two hyperbolic knots or links apart. Weeks, et al, were also able to compile different censuses of hyperbolic 3-manifolds by using the algorithm to cull lists of duplicates.

Additionally, from the canonical decomposition, SnapPea is able to:
*Compute the Ford domain
*Compute the symmetry group

Computable invariants

Censuses

SnapPea has several databases of hyperbolic 3-manifolds available for systematic study.

*Cusped census
*Closed census

References

*Weeks, Jeffrey R., SnapPea C source code, (1999)
*Weeks, Jeffrey R., "Convex hulls and isometries of cusped hyperbolic $3$-manifolds." Topology Appl. 52 (1993), no. 2, 127--149.

External links

* [http://www.math.uic.edu/~t3m/ Culler and Dunfield's extension of SnapPea]
* [http://www.geometrygames.org/SnapPea/ Jeff Weeks' SnapPea site]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • snappea — snap pea n. A variety of snow pea cultivated for its plump crisp edible pod. * * * …   Universalium

  • Computational topology — Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular computational geometry and computational complexity theory. A primary concern of algorithmic topology, as its …   Wikipedia

  • Knot theory — A three dimensional depiction of a thickened trefoil knot, the simplest non trivial knot …   Wikipedia

  • CW complex — In topology, a CW complex is a type of topological space introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still… …   Wikipedia

  • Hyperbolic link — In mathematics, a hyperbolic link is a link in the 3 sphere with complement that has a complete Riemannian metric of constant negative curvature, i.e. has a hyperbolic geometry. A hyperbolic knot is a hyperbolic link with one component.As a… …   Wikipedia

  • Jeffrey Weeks (mathematician) — Jeffrey Renwick Weeks is an American mathematician. He became a MacArthur Fellow in 1999. He received his A.B. from Dartmouth College in 1978, and his Ph.D. in mathematics from Princeton University in 1985, under the supervision of William… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • The Geometry Center — was a mathematics research and education center at the University of Minnesota. It was established by the National Science Foundation in the late 1980s and closed in 1998. The focus of the Center s work was the use of computer graphics and… …   Wikipedia

  • Hyperbolic volume (knot) — In the mathematical field of knot theory, the hyperbolic volume of a hyperbolic link is simply the volume of the link s complement with respect to its complete hyperbolic metric. The volume is necessarily finite. The hyperbolic volume of a non… …   Wikipedia

  • J. R. Weeks — Jeffrey Weeks Pour les articles homonymes, voir Weeks. Jeffrey Renwick Weeks est un mathématicien américain. Il a obtenu son doctorat à l université de Princeton en 1985 sous la direction de William Thurston, lauréat en 1982 de la médaille Fields …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”