All principal congruence link groups

From MaRDI portal
(Redirected from Publication:2414554)



Abstract: We enumerate all the principal congruence link complements in S3, there by answering a question of W. Thurston. Related articles: "Technical Report: All Principal Congruence Link Groups" (arXiv:1902.04722), "All Known Principal Congruence Links" (arXiv:1902.04426).


The authors give a list describing all (\(48\)) principal congruence subgroups of \(\mathrm{PSL}(2,O_d)\) whose action on hyperbolic 3-space produces a link in \(S^3\). Here \(O_d\) denotes the ring of integers in \(\mathbb{Q}(\sqrt{-d})\). The result was apparently obtained ``independently and ``almost simultaneously by the second author on the one hand and the first and third on the other. This paper is a consequence of I. Agol's suggestion that they collaborate on their publications. The proof is highly computational and depends upon a number of computer programs (MAGMA, GAP, SnapPy, and the Monoid Automata Factory (MAF)). Group theoretic properties of the fundamental group of a link space which are utilized include consideration of the peripheral subgroups, lack of torsion, and Dehn filling. References are included to obtain details of the computer aided computations.





Describes a project that uses

Uses Software






This page was built for publication: All principal congruence link groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2414554)