[论文解读] Constructing Hyperbolic Manifolds

Brent Everitt, Colin M. MacLachlan|ArXiv.org|Jul 22, 1999

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

一句话总结

本文提出了一种通过从 Coxeter 群到经典群的表示构造双曲 n-流形的方法，确保核是无挠的，从而使得商空间成为双曲流形。关键贡献是提出了一个关于核无挠性的判别准则，使得能够通过群论技术系统地构造双曲流形。

ABSTRACT

In this paper we show how to obtain representations of Coxeter groups acting on H^n to certain classical groups. We determine when the kernel of such a representation is torsion-free and thus the quotient a hyperbolic n-manifold.

研究动机与目标

• 开发一种利用群表示构造双曲流形的方法。
• 确定 Coxeter 群表示的核为无挠的条件。
• 将几何结构（双曲流形）与代数群表示联系起来。
• 为高维双曲流形提供一种系统化的构造技术。
• 建立当对称空间关于离散群的商空间为双曲流形时的判别准则。

提出的方法

• 使用几何与代数技术构造 Coxeter 群到经典群的表示。
• 利用群论准则分析群表示的核是否无挠。
• 通过单值性或几何实现方法实现 Coxeter 群在双曲 n-空间上的作用。
• 该构造依赖于识别作用在 H^n 上的、离散且无挠的古典群子群。
• 利用 Coxeter 图及其相关反射群的条件，确保核为无挠。
• 当核无挠时，H^n 关于表示像的商空间即为双曲流形。

实验结果

研究问题

• RQ1 在何种条件下，Coxeter 群到经典群的表示的核是无挠的？
• RQ2 如何构造 Coxeter 群的表示，以使其在双曲 n-空间上产生离散作用？
• RQ3 哪些代数或几何准则可确保 H^n 关于群作用的商空间为双曲流形？
• RQ4 能否通过群表示理论系统化地构造双曲流形？
• RQ5 Coxeter 图的性质在决定核的无挠性方面起什么作用？

主要发现

• 本文建立了 Coxeter 群表示的核为无挠的判别准则，这对于商空间成为流形至关重要。
• 在特定条件下，Coxeter 群到经典群的表示可产生在双曲 n-空间上的离散且忠实的作用。
• 当核无挠时，商空间为一个完备的双曲 n-流形。
• 该方法为利用群论数据在维度 n ≥ 3 下系统构造双曲流形提供了通用框架。
• 该构造对具有特定图的 Coxeter 群有效，特别是那些可实现为算术或几何实现的群。
• 研究结果应用于爱丁堡 1998 年 ICMS 研讨会的背景中，展示了该方法在计算与几何环境下的可行性。