[论文解读] Right-angled Coxeter polytopes, hyperbolic 6-manifolds, and a problem of Siegel

Brent Everitt, John G. Ratcliffe+1 more|arXiv (Cornell University)|Sep 16, 2010

Geometric and Algebraic Topology参考文献 19被引用 7

一句话总结

本文构造了首个已知的、体积最小的可定向双曲6-流形，其体积为 $8\pi^3/15$，通过使用对称性诱导的边配对，将八个相同的正则双曲6-多面体 $P^6$ 粘合而成。该构造利用了多面体的卓越对称性（$E_6$ 型的威尔群）及其作为 $\mathrm{PO}_{6,1}\mathbb{Z}$ 的同余二子群的考克斯eter多面体的角色，得到了欧拉示性数为 $-1$ 的流形。此工作解决了6维流形西格尔问题。

ABSTRACT

By gluing together the sides of eight copies of an all-right angled hyperbolic 6-dimensional polytope, two orientable hyperbolic 6-manifolds with Euler characteristic -1 are constructed. They are the first known examples of orientable hyperbolic 6-manifolds having the smallest possible volume.

研究动机与目标

• 通过构造体积最小的可定向双曲6-流形，解决6维流形西格尔问题。
• 证明最小体积为 $8\pi^3/15$，该体积在欧拉示性数为 $-1$ 时可实现。
• 利用高度对称的正则双曲6-多面体 $P^6$ 的几何粘合过程，构造此类流形。
• 通过多面体 $P^6$ 及其关联的算术群 $\Gamma_2^6$，建立双曲几何、考克斯eter群与数论之间的联系。
• 通过几何与代数方法构造这些最小体积流形，并利用群论与拓扑方法验证其性质。

提出的方法

• 构造使用了八个相同的正则双曲6-多面体 $P^6$，其为 $\mathrm{PO}_{6,1}\mathbb{Z}$ 的同余二子群 $\Gamma_2^6$ 的考克斯eter多面体。
• 通过一个由矩阵 $\bar{A}$ 表示的8阶对称性定义了合适的边配对，确保所得商空间为双曲6-流形。
• 对边配对施加限制，以保证 $[\Gamma : \Gamma \cap \Gamma_2^6] = 8$，从而最小化指标，并确保流形无挠且可定向。
• 通过高斯-博内定理计算体积，其中 $\mathrm{vol}(M) = \kappa_6 \cdot |\chi(M)|$，且 $\kappa_6 = (-2\pi)^3 / 5!! = 8\pi^3/15$。
• 通过分析 $\Gamma^6$ 的最小指标无挠子群，完成代数验证，确认所得流形为双曲且有限体积。
• 通过几何粘合与代数群论方法双重验证构造过程，补充材料中的计算机辅助编码进一步确认了一致性。

实验结果

研究问题

• RQ1 可定向双曲6-流形的最小可能体积是多少？该体积是否可实现？
• RQ2 正则双曲6-多面体 $P^6$ 是否允许一种合适的边配对，从而生成紧致、可定向、有限体积的双曲6-流形？
• RQ3 最小体积是否可实现为 $8\pi^3/15$，对应于欧拉示性数 $-1$，并通过几何粘合构造实现？
• RQ4 多面体 $P^6$ 的对称群（即 $E_6$ 型威尔群）在实现此类最小体积构造中起到何种作用？
• RQ5 $\Gamma^6 = \mathrm{PO}_{6,1}\mathbb{Z}$ 是否存在最小指标的无挠子群，使得其生成的双曲6-流形满足 $\chi = -1$？

主要发现

• 本文构造了两个欧拉示性数为 $-1$ 的可定向双曲6-流形，其体积达到最小可能值 $8\pi^3/15$。
• 这些流形是首个已知的、体积最小的可定向双曲6-流形，从而解决了6维流形西格尔问题。
• 该构造依赖于使用8阶对称性诱导的边配对，将八个 $P^6$ 多面体粘合，确保所得商空间为光滑、无挠的双曲流形。
• $P^6$ 是 $\mathrm{PO}_{6,1}\mathbb{Z}$ 的同余二子群 $\Gamma_2^6$ 的考克斯eter多面体，且 $\Gamma^6 / \Gamma_2^6$ 同构于 $P^6$ 的对称群，这是构造中的关键洞察。
• 体积公式 $\mathrm{vol}(M) = \kappa_6 \cdot |\chi(M)|$，其中 $\kappa_6 = 8\pi^3/15$，证实 $8\pi^3/15$ 是欧拉示性数绝对值为1的可定向6-流形的最小体积。
• 此类流形的存在表明，双曲6-流形的可能欧拉示性数集合包含 $-1$，并暗示在覆叠空间论证下，该集合可能为所有负整数。