[论文解读] Cusps of arithmetic orbifolds

D. B. McReynolds|ArXiv.org|Jun 22, 2006

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

一句话总结

本文利用子群分离性与几何群论，对算术性实、复与四元数双曲轨道丛中的尖点截面进行了完整分类。研究结果表明，尖点截面为基于海森堡群或四元数海森堡群的几乎平坦流形，并证明在复或四元数双曲情形下，并非所有平坦流形都会作为尖点截面出现——这与法拉尔与兹德拉夫科夫斯卡对实双曲流形的猜想相矛盾。

ABSTRACT

This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices.

研究动机与目标

• 对算术性实、复与四元数双曲 (n+1)-轨道丛的尖点截面进行分类。
• 确定在高秩双曲几何中，哪些平坦或几乎平坦流形可作为尖点截面出现。
• 解决法拉尔–兹德拉夫科夫斯卡猜想在复与四元数双曲设定下的适用范围。
• 建立算术轨道丛中通过尖点形状进行有界性的几何障碍。
• 为尖点几何中酉仿射群的算术性提供充要条件。

提出的方法

• 以一般算术晶格的新子群分离性结果作为基础工具。
• 应用归纳和李群的 k-形式来分析 SU(n,1) 与 Sp(n,1) 中的算术晶格。
• 利用 Isom(H_X^n) 的伊wasawa分解来研究尖点几何与水平截面。
• 通过酉仿射群及其到等距群的 k-单同态来分析尖点截面。
• 应用本性群定理，将尖点几何与基本群结构联系起来。
• 求解矩阵方程组（式 6.2）以显式构造尖点群的表示。

实验结果

研究问题

• RQ1 哪些平坦或几乎平坦流形可作为算术性复或四元数双曲轨道丛的尖点截面？
• RQ2 法拉尔–兹德拉夫科夫斯卡猜想——即每个平坦 n-流形都可作为尖点截面——在复与四元数双曲几何中在多大程度上成立？
• RQ3 在 X = R, C, H 的算术 X-双曲轨道丛中，尖点截面的几何与拓扑结构如何？
• RQ4 在尖点几何背景下，酉仿射群算术性的必要与充分条件是什么？
• RQ5 能否从几何角度刻画尖点形状在几乎平坦流形模空间中的稠密性？

主要发现

• 对每个 n ≥ 2，存在无限多组闭合的几乎平坦 (2n+1)-流形，它们是算术性复双曲 (2n+2)-轨道丛的尖点截面。
• 算术性复双曲轨道丛的尖点截面是基于 (2n+1)-维海森堡群的几乎平坦流形。
• 算术性四元数双曲轨道丛的尖点截面是基于 (4n+3)-维四元数海森堡群的几乎平坦流形。
• 法拉尔–兹德拉夫科夫斯卡猜想不适用于复或四元数双曲情形：并非所有平坦流形都会作为尖点截面出现。
• 通过 k-单同态将酉仿射群的算术性条件导出为充要条件。
• 显式构造了式 (6.2) 的矩阵解，得到具有指定本性群与交换子关系的尖点群表示。