Skip to main content
deleted 29 characters in body, and added some line breaks
Source Link
Neil Hoffman
  • 5.3k
  • 1
  • 23
  • 48

The complete list is unknown. In general, it is difficult to determine which manifolds have a prescribed cusp field. And it is an open question,

However, there are a well-studied set of examples that namely arithmetic manifolds with (invariant) trace field that is quadratic imaginary. Let me focus first on the manifolds with invariant trace field $Q(i)$. These manifolds are commensurable with the Whitehead link complement and the Borromean rings complement. All of the examples listed in Sam Nead's answer fit this criterion. There are of course more manifolds of this type (as it is an infinite class).

In terms of computed examples, arithmetic data associated to 3-manifolds was studied by

Goodman, Oliver; Heard, Damian; Hodgson, Craig, Commensurators of cusped hyperbolic manifolds, Exp. Math. 17, No. 3, 283-306 (2008). ZBL1338.57016. (and

Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D., Computing arithmetic invariants of 3-manifolds, Exp. Math. 9, No. 1, 127-152 (2000). ZBL1002.57044.). The The data computed in the first reference is more relevant here, it is accessible on Craig Hodgson's webpage: https://researchers.ms.unimelb.edu.au/~snap/commens.html

Also, the tables of data at the end of:

Maclachlan, Colin; Reid, Alan W., The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics. 219. New York, NY: Springer. xiii, 463 p. (2003). ZBL1025.57001.Finally

Finally, there is a knot complement $S^3 \setminus 12n706$ often referred to as the Boyd knot complement (for David Boyd) is a knot complement which is not commensurable with the Whitehead link complement but has cusp field $Q(i)$. The knot complement decomposes into regular ideal tetrahedra and octahedra and is beautiful in its own right. Attached is a picture of the cusp neighborhood computed by SnapPy. 12n706 cusp neighborhood

In terms of quadratic cusp shape, there are three other knot complements known to have this property, but those cusp shapes are in $Q(\sqrt{-3})$. One is the figure eight knot complement and the other two are the dodecahedral knot complements of Aitchison and Rubinstein:

Aitchison, I. R.; Rubinstein, J. H., Combinatorial cubings, cusps, and the dodecahedral knots, Topology ’90, Contrib. Res. Semester Low Dimensional Topol., Columbus/OH (USA) 1990, Ohio State Univ. Math. Res. Inst. Publ. 1, 17-26 (1992). ZBL0773.57010. 1: https://i.sstatic.net/DE0Aa.jpg

The complete list is unknown. In general, it is difficult to determine which manifolds have a prescribed cusp field. And it is an open question,

However, there are a well-studied set of examples that namely arithmetic manifolds with (invariant) trace field that is quadratic imaginary. Let me focus first on the manifolds with invariant trace field $Q(i)$. These manifolds are commensurable with the Whitehead link complement and the Borromean rings complement. All of the examples listed in Sam Nead's answer fit this criterion. There are of course more manifolds of this type (as it is an infinite class).

In terms of computed examples, arithmetic data associated to 3-manifolds was studied by

Goodman, Oliver; Heard, Damian; Hodgson, Craig, Commensurators of cusped hyperbolic manifolds, Exp. Math. 17, No. 3, 283-306 (2008). ZBL1338.57016. (and

Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D., Computing arithmetic invariants of 3-manifolds, Exp. Math. 9, No. 1, 127-152 (2000). ZBL1002.57044.). The data computed in the first reference is more relevant here, it is accessible on Craig Hodgson's webpage: https://researchers.ms.unimelb.edu.au/~snap/commens.html

Also, the tables of data at the end of:

Maclachlan, Colin; Reid, Alan W., The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics. 219. New York, NY: Springer. xiii, 463 p. (2003). ZBL1025.57001.Finally, there is a knot complement $S^3 \setminus 12n706$ often referred to as the Boyd knot complement (for David Boyd) is a knot complement which is not commensurable with the Whitehead link complement but has cusp field $Q(i)$. The knot complement decomposes into regular ideal tetrahedra and octahedra and is beautiful in its own right. Attached is a picture of the cusp neighborhood computed by SnapPy. 12n706 cusp neighborhood

In terms of quadratic cusp shape, there are three other knot complements known to have this property, but those cusp shapes are in $Q(\sqrt{-3})$. One is the figure eight knot complement and the other two are the dodecahedral knot complements of Aitchison and Rubinstein:

Aitchison, I. R.; Rubinstein, J. H., Combinatorial cubings, cusps, and the dodecahedral knots, Topology ’90, Contrib. Res. Semester Low Dimensional Topol., Columbus/OH (USA) 1990, Ohio State Univ. Math. Res. Inst. Publ. 1, 17-26 (1992). ZBL0773.57010. 1: https://i.sstatic.net/DE0Aa.jpg

The complete list is unknown. In general, it is difficult to determine which manifolds have a prescribed cusp field.

However, there are a well-studied set of examples that namely arithmetic manifolds with (invariant) trace field that is quadratic imaginary. Let me focus first on the manifolds with invariant trace field $Q(i)$. These manifolds are commensurable with the Whitehead link complement and the Borromean rings complement. All of the examples listed in Sam Nead's answer fit this criterion. There are of course more manifolds of this type (as it is an infinite class).

In terms of computed examples, arithmetic data associated to 3-manifolds was studied by

Goodman, Oliver; Heard, Damian; Hodgson, Craig, Commensurators of cusped hyperbolic manifolds, Exp. Math. 17, No. 3, 283-306 (2008). ZBL1338.57016. (and

Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D., Computing arithmetic invariants of 3-manifolds, Exp. Math. 9, No. 1, 127-152 (2000). ZBL1002.57044.). The data computed in the first reference is more relevant here, it is accessible on Craig Hodgson's webpage: https://researchers.ms.unimelb.edu.au/~snap/commens.html

Also, the tables of data at the end of:

Maclachlan, Colin; Reid, Alan W., The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics. 219. New York, NY: Springer. xiii, 463 p. (2003). ZBL1025.57001.

Finally, there is a knot complement $S^3 \setminus 12n706$ often referred to as the Boyd knot complement (for David Boyd) is a knot complement which is not commensurable with the Whitehead link complement but has cusp field $Q(i)$. The knot complement decomposes into regular ideal tetrahedra and octahedra and is beautiful in its own right. Attached is a picture of the cusp neighborhood computed by SnapPy. 12n706 cusp neighborhood

In terms of quadratic cusp shape, there are three other knot complements known to have this property, but those cusp shapes are in $Q(\sqrt{-3})$. One is the figure eight knot complement and the other two are the dodecahedral knot complements of Aitchison and Rubinstein:

Aitchison, I. R.; Rubinstein, J. H., Combinatorial cubings, cusps, and the dodecahedral knots, Topology ’90, Contrib. Res. Semester Low Dimensional Topol., Columbus/OH (USA) 1990, Ohio State Univ. Math. Res. Inst. Publ. 1, 17-26 (1992). ZBL0773.57010. 1: https://i.sstatic.net/DE0Aa.jpg

Source Link
Neil Hoffman
  • 5.3k
  • 1
  • 23
  • 48

The complete list is unknown. In general, it is difficult to determine which manifolds have a prescribed cusp field. And it is an open question,

However, there are a well-studied set of examples that namely arithmetic manifolds with (invariant) trace field that is quadratic imaginary. Let me focus first on the manifolds with invariant trace field $Q(i)$. These manifolds are commensurable with the Whitehead link complement and the Borromean rings complement. All of the examples listed in Sam Nead's answer fit this criterion. There are of course more manifolds of this type (as it is an infinite class).

In terms of computed examples, arithmetic data associated to 3-manifolds was studied by

Goodman, Oliver; Heard, Damian; Hodgson, Craig, Commensurators of cusped hyperbolic manifolds, Exp. Math. 17, No. 3, 283-306 (2008). ZBL1338.57016. (and

Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D., Computing arithmetic invariants of 3-manifolds, Exp. Math. 9, No. 1, 127-152 (2000). ZBL1002.57044.). The data computed in the first reference is more relevant here, it is accessible on Craig Hodgson's webpage: https://researchers.ms.unimelb.edu.au/~snap/commens.html

Also, the tables of data at the end of:

Maclachlan, Colin; Reid, Alan W., The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics. 219. New York, NY: Springer. xiii, 463 p. (2003). ZBL1025.57001.Finally, there is a knot complement $S^3 \setminus 12n706$ often referred to as the Boyd knot complement (for David Boyd) is a knot complement which is not commensurable with the Whitehead link complement but has cusp field $Q(i)$. The knot complement decomposes into regular ideal tetrahedra and octahedra and is beautiful in its own right. Attached is a picture of the cusp neighborhood computed by SnapPy. 12n706 cusp neighborhood

In terms of quadratic cusp shape, there are three other knot complements known to have this property, but those cusp shapes are in $Q(\sqrt{-3})$. One is the figure eight knot complement and the other two are the dodecahedral knot complements of Aitchison and Rubinstein:

Aitchison, I. R.; Rubinstein, J. H., Combinatorial cubings, cusps, and the dodecahedral knots, Topology ’90, Contrib. Res. Semester Low Dimensional Topol., Columbus/OH (USA) 1990, Ohio State Univ. Math. Res. Inst. Publ. 1, 17-26 (1992). ZBL0773.57010. 1: https://i.sstatic.net/DE0Aa.jpg