[论文解读] Complex hyperbolic triangle groups

Richard Evan Schwartz|ArXiv.org|Apr 18, 2003

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

一句话总结

本文研究了复双曲三角形群作为经典双曲三角形群的形变，引入了混合锥体和组合单纯复形等新颖几何技术，以证明离散性。关键成果是通过计算机辅助验证射影化映射的单射性，构造出一个复双曲离散群在无穷远处的闭实双曲3-流形。

ABSTRACT

The theory of complex hyperbolic discrete groups is still in its childhood but promises to grow into a rich subfield of geometry. In this paper I will discuss some recent progress that has been made on complex hyperbolic deformations of the modular group and, more generally, triangle groups. These are some of the simplest nontrivial complex hyperbolic discrete groups. In particular, I will talk about my recent discovery of a closed real hyperbolic 3-manifold which appears as the manifold at infinity for a complex hyperbolic discrete group.

研究动机与目标

• 研究经典三角形群（特别是模群和(p,q,r)反射群）的复双曲形变。
• 通过将离散嵌入从实双曲空间扩展到复双曲空间，解决复双曲几何中的形变问题。
• 利用新颖的几何与计算技术，证明复双曲三角形群的离散性。
• 为最后一个理想三角形群构造基本域，并计算其在无穷远处的轨道空间结构。
• 通过不连续域与群作用，建立一个拓扑不变量——具体而言，即怀特黑德链环补集。

提出的方法

• 使用混合锥体（由R-圆弧构成的叶状结构）修改克莱夫福德环面，以更好地匹配群的平移像。
• 在用带凹面的曲面修改基本域后，应用广义乒乓引理证明离散性。
• 从群元素固定点的规范提升构造 $ Z \subset \mathbb{C}^{2,1} $ 的单纯复形。
• 采用严格的机器辅助计算，验证射影化映射 $[\ ]$ 在 $ Z $ 中四面体对上的单射性，确保 $[Z]$ 中忠实的拓扑再现。
• 利用基本域 $ F $ 的密铺性质（即 $ G $-轨道密铺 $ \mathbb{C}H^2 $），应用广义庞加莱定理的变体。
• 分析 $[Z_0] = [Z] \cap S^3 $ 的拓扑结构，推导出在无穷远处的轨道空间结构。

实验结果

研究问题

• RQ1 复双曲三角形群能否作为实双曲三角形群的非平凡形变来构造？
• RQ2 最后一个理想三角形群 $ L $ 的不连续域 $ \Delta(L) $ 是否存在一个基本域，能密铺 $ \mathbb{C}H^2 $ 并在无穷远处产生一个闭3-流形？
• RQ3 能否利用计算机辅助验证射影化映射的单射性，以严格证明复双曲群的离散性？
• RQ4 复双曲三角形群在无穷远处的轨道空间的拓扑结构是什么？
• RQ5 混合锥体和修改后的克莱夫福德环面如何改善复双曲空间中群作用的分析？

主要发现

• 一个闭实双曲3-流形被实现为复双曲离散群在无穷远处的流形，解决了形变程序中的一个关键拓扑问题。
• 最后一个理想三角形群 $ L $ 的不连续域 $ \Delta(L) $ 允许一个基本域，该基本域由三个在R-圆弧上相切的拓扑球面组成。
• 商空间 $ \Delta(L)/L $ 明确计算为与怀特黑德链环补集共度量。
• 从 $ \rho_7(\Gamma(4,4,4)) $ 的固定点构建的单纯复形 $ Z \subset \mathbb{C}^{2,1} $ 在元素 $ I_2I_1I_3 $ 下不变，且在模该元素后仅包含有限多个四面体。
• 严格的计算机辅助验证确认了射影化映射在约130万个四面体上的单射性，从而实现了 $[Z]$ 的拓扑重构。
• 基本域 $ F $ 的密铺性质（即 $ G $-轨道密铺 $ \mathbb{C}H^2 $）已确立，使得广义庞加莱定理的变体可被应用，从而确认了离散性。