[论文解读] All Known Principal Congruence Links

Mark D. Baker, Matthias Goerner+1 more|arXiv (Cornell University)|Feb 11, 2019

Geometric and Algebraic Topology参考文献 9被引用 4

一句话总结

本文汇编并列出了所有已知的在 $S^3$ 中由Bianchi群 $\mathrm{PSL}(2,\mathcal{O}_d)$ 产生的主同余链补全的链图，其中 $d$ 为无平方因子数，$I$ 为整数环 $\mathcal{O}_d$ 中的理想。该文为 $d = 1, 2, 3, 5, 7, 11, 15, 19, 23, 31, 47, 71$ 的39种情况提供了明确的图示，并包含一个非主同余正规剖分链补全，所有内容均可通过与SnapPy兼容的文件访问。

ABSTRACT

This report lists the link diagrams in S^3 for all principal congruence link complements for which such a link diagram is known. Several unpublished link diagrams are included. Related to this, we also include one link diagram for an arithmetic regular tessellation link complement.

研究动机与目标

• 汇编并保存所有已知的由Bianchi群 $\mathrm{PSL}(2,\mathcal{O}_d)$ 产生的 $S^3$ 中主同余链补全的链图。
• 作为这些链图的动态存储库，随新实例的发现而持续更新。
• 包含此前未发表或不可用的表示形式的链图。
• 提供一种通过 $(d, I)$ 对而非图号来引用特定链补全的方法，以确保未来引用的稳定性。
• 包含一个非主同余同余链补全，其为正规剖分链补全，以实现主题与算术上的完整性。

提出的方法

• 作者收集并展示了所有已知的 $S^3$ 中主同余链补全的链图，这些图源自商空间 $\mathbb{H}^3 / \Gamma(I)$，其中 $\Gamma(I)$ 是约化映射 $\mathrm{PSL}(2,\mathcal{O}_d) \to \mathrm{PSL}(2,\mathcal{O}_d/I)$ 的核。
• 图示通过文献中已知的构造方法生成，包括Baker（1981）、Thurston（1979）、Goerner（2011）以及Dörn、Ocel与Reid（2022）的工作，以及第二作者的原创图示。
• 对于具有多种对称表示的案例，仅展示一幅图，通常为最对称或标准形式的图。
• 所有图示均以与SnapPy兼容的机器可读格式提供，支持对链补全的计算探索。
• 本文还包含一个非主同余示例：一个由Coxeter群作用于 $\mathbb{H}^3$ 产生的正规剖分链补全，其将补全空间剖分为6个正则理想立方体。
• 作者强调应通过 $(d, I)$ 对而非图号来引用，以确保引用在列表演化过程中保持持久性。

实验结果

研究问题

• RQ1 哪些 $S^3$ 中的主同余链补全具有已知的图示表示？
• RQ2 如何维护一个全面、稳定且可计算访问的此类图示存储库？
• RQ3 对称性与标准表示在为每个 $(d, I)$ 对选择单一图示时起到什么作用？
• RQ4 是否存在具有算术重要性的非主同余链补全，值得为完整性而纳入？
• RQ5 图39中正规剖分链补全的几何与算术意义是什么？

主要发现

• 本文为 $d = 1, 2, 3, 5, 7, 11, 15, 19, 23, 31, 47, 71$ 的39个已知主同余链补全提供了链图，其中 $d=1$ 有6幅图，$d=23$ 有3幅图。
• 对于 $d=1$，对 $(1, \langle 4 + \sqrt{-1} \rangle)$ 的图示尚未被发现，表明该情况仍为开放问题。
• 对于 $d=7$，理想 $(7, \langle 2 + \sqrt{-7} \rangle)$ 缺失；类似地，对于 $d=11$，$(11, \langle (5 + \sqrt{-11})/2 \rangle)$ 尚未生成图示。
• 本文包含一个非主同余链补全（图39），其为 $\mathbb{H}^3$ 的正规剖分，由6个正则理想立方体构成，具有旗传递对称性与算术结构。
• 所有图示均可在 [Goe18, prinCong/Links/] 处以与SnapPy兼容的格式获取，支持计算验证与探索。
• 作者强调，未来引用应使用 $(d, I)$ 对而非图号，以确保随着列表扩展，引用保持持久。