×

Computing arithmetic invariants of 3-manifolds. (English) Zbl 1002.57044

Summary: Snap is a computer program for computing arithmetic invariants of hyperbolic 3-manifolds, built on Jeff Weeks’s SnapPea and the number theory package Pari. Its approach is to compute the hyperbolic structure to very high precision, and use this to find an exact description of the structure. Then the correctness of the hyperbolic structure can be verified, and the arithmetic invariants of Neumann and Reid can be computed. Snap also computes high precision numerical invariants such as volume, Chern-Simons invariant, eta invariant and the Borel regulator.

MathOverflow Questions:

Quadratic cusp shape

MSC:

57M50 General geometric structures on low-dimensional manifolds
57-04 Software, source code, etc. for problems pertaining to manifolds and cell complexes
57N10 Topology of general \(3\)-manifolds (MSC2010)

Software:

Snap; SnapPea; PARI/GP
PDFBibTeX XMLCite
Full Text: DOI Euclid EuDML

References:

[1] Atiyah M. F., Math. Proc. Cambridge Philos. Soc 78 (3) pp 405– (1975) · Zbl 0314.58016
[2] Batut C., User’s Guide to Pari–GP (1998)
[3] Betley S., Kobe J. Math. 3 (2) pp 117– (1987)
[4] Callahan P. J., Chaos Solitons Fractals 9 (4) pp 705– (1998) · Zbl 0935.57017
[5] Cheeger J., Geometry and topology (College Park, MD, 1983/84) pp 50– (1985) · Zbl 0529.58034
[6] Chern S.-S., Proc. Nat. Acad. Sci. U.S.A. 68 pp 791– (1971) · Zbl 0209.25401
[7] Cohen H., A course in computational algebraic number theory (1993) · Zbl 0786.11071
[8] Dupont J. L., Math. Ann. 295 (3) pp 449– (1993) · Zbl 0793.57015
[9] Dupont J. L., J. Pure Appl. Algebra 25 (2) pp 159– (1982) · Zbl 0496.52004
[10] Epstein D. B. A., J. Differential Geom. 27 (1) pp 67– (1988)
[11] Gehring F. W., Trans. Amer. Math. Soc. 349 (9) pp 3611– (1997) · Zbl 0889.30031
[12] Goodman O. A., ”Snap Home Page” (1998)
[13] Hildebrand M., Computers and mathematics (Cambridge, MA, 1989) pp 53– (1989)
[14] Hilden H. M., Math. Nachr. 159 pp 245– (1992) · Zbl 0786.20031
[15] Hodgson C. D., ”A census of closed hyperbolic 3-manifolds”
[16] Kirby R., Geometric topology (Athens, GA, 1993) 2 pp 35– (1997)
[17] Lang S., Algebraic number theory, (1986) · Zbl 0601.12001
[18] Lenstra A. K., Math. Ann. 261 (4) pp 515– (1982) · Zbl 0488.12001
[19] Macbeath A. M., Duke Math. J. 50 (4) pp 1245– (1983) · Zbl 0588.22009
[20] Magnus W., Math. Z. 170 (1) pp 91– (1980) · Zbl 0433.20033
[21] Meyerhoff R., Low-dimensional topology and Kleinian groups (Coventry/Durham, 1984) pp 209– (1986)
[22] Meyerhoff R., Comment. Math. Helv. 67 (1) pp 28– (1992) · Zbl 0791.57009
[23] Meyerhoff R., Canad. Math. Bull. 40 (2) pp 204– (1997) · Zbl 0902.57019
[24] Milnor J. W., Characteristic classes (1974) · Zbl 0298.57008
[25] Mostow G. D., Strong rigidity of locally symmetric spaces (1973) · Zbl 0265.53039
[26] Neumann W. D., Algebraic and geometric topology (Stanford, 1976) 2 pp 181– (1978)
[27] Neumann W. D., Topology ’90 (Columbus, OH, 1990) pp 243– (1992)
[28] Neumann W. D., The Epstein birthday schrift pp 383– (1998)
[29] Neumann W. D., ”The extended Bloch group and the Chern-Simons invariant” · Zbl 1053.57010
[30] Neumann W. D., Topology ’90 (Columbus, OH, 1990) pp 273– (1992)
[31] Neumann W. D., Topology ’90 (Columbus, OH, 1990) pp 311– (1992)
[32] Neumann W. D., Electron. Res. Announc. Amer. Math. Soc. 1 (2) pp 72– (1995) · Zbl 0851.57013
[33] Neumann W. D., Enseign. Math. (2) 41 (3) pp 281– (1995)
[34] Neumann W. D., Duke Math. J. 96 (1) pp 29– (1999) · Zbl 0943.57008
[35] Neumann W. D., Topology 24 (3) pp 307– (1985) · Zbl 0589.57015
[36] Ouyang M., Topology 36 (2) pp 411– (1997) · Zbl 0871.57012
[37] Pohst M. E., Computational algebraic number theory (1993) · Zbl 0817.11063
[38] Reid A. W., Ph.D. thesis, in: Arithmetic Kleinian groups and their Fuchsian subgroups (1987) · Zbl 0632.30043
[39] Reid A. W., Bull. London Math. Soc. 22 (4) pp 349– (1990) · Zbl 0706.20038
[40] Schönhage, A. ”Equation solving in terms of computational complexity”. Proceedings of the International Congress of Mathematicians. 1986, Berkeley, CA. Edited by: Gleason, A. M. vol. 1, pp.131–153. Providence, RI: Amer. Math. Soc. [Schönhage 1987]
[41] Takeuchi K., J. Math. Soc. Japan 27 (4) pp 600– (1975) · Zbl 0311.20030
[42] Thurston W. P., ”The geometry and topology of 3-manifolds” (1979)
[43] Vignéras M.-F., Arithmétique des algébres de quaternions (1980)
[44] Weeks J. R., ”SnapPea” (1993)
[45] Yoshida T., Invent. Math. 81 (3) pp 473– (1985) · Zbl 0594.58012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.