[论文解读] On Volumes of Arithmetic Quotients of SO(1,n)

Mikhail Belolipetsky|arXiv (Cornell University)|Jun 30, 2003

Geometric and Algebraic Topology参考文献 14被引用 11

一句话总结

该论文利用Prasad的体积公式和Bruhat-Tits理论，确定了当偶数 $n \geq 4$ 时最小的紧致算术双曲 $n$-轨道，证明了其唯一性，并在 $\mathbb{Q}[\sqrt{5}]$ 上给出了显式构造。对于四维情形，该论文对最小算术双曲4-流形的所有可能候选者进行了分类，将搜索范围缩小为计算两个特定算术群的低指标无 torsion 子群，明确计算了最小轨道的体积，并将其基本群描述为某个格点的稳定化子。

ABSTRACT

We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a formula for the Euler-Poincare characteristic of the orbifolds and present an explicit description of their fundamental groups as the stabilizers of certain lattices in quadratic spaces. We also study hyperbolic 4-manifolds defined arithmetically and obtain a number theoretical characterization of the smallest compact arithmetic 4-manifold.

研究动机与目标

• 确定偶数维度 $n \geq 4$ 时最小的紧致算术双曲 $n$-轨道。
• 显式描述最小此类轨道的基本群作为二次空间中格点的稳定化子。
• 利用数论不变量与体积约束，表征最小紧致算术双曲4-流形。
• 将最小4-流形的搜索问题简化为算术群的无 torsion 子群的计算问题。

提出的方法

• 应用G. Prasad的半单群算术商的体积公式，计算 $SO(1,n)$ 的算术子群的体积。
• 利用Bruhat-Tits理论分析定义在数域上的算术子群的结构。
• 将 $SO(1,n)^o$ 的算术子群构造为二次型的 $\mathcal{O}_k$-整格点的稳定化子，其符号型为 $(1,n)$。
• 对二次型与数域施加可接受性条件，以确保所得群在双曲 $n$-空间上离散作用。
• 执行数域枚举与类数计算，以限制小体积轨道的定义域可能性。
• 将最小4-流形的搜索问题简化为识别两个极大算术群 $\Gamma_1$ 与 $\Gamma_2$ 的低指标无 torsion 子群。

实验结果

研究问题

• RQ1 对于偶数 $n \geq 4$，是否存在唯一的最小紧致算术双曲 $n$-轨道？若存在，其定义域为何数域？
• RQ2 最小算术双曲 $n$-轨道的基本群的显式结构为何？
• RQ3 能否通过欧拉示性数与定义域，唯一表征最小紧致算术双曲4-流形？
• RQ4 算术群的定义域需满足何种必要的数论条件，才能产生小体积的双曲4-轨道？
• RQ5 如何将最小算术4-流形的搜索问题简化为计算上可行的问题？

主要发现

• 对于任意偶数 $n \geq 4$，存在唯一一个最小体积的紧致算术双曲 $n$-轨道，其定义域为 $\mathbb{Q}[\sqrt{5}]$。
• 最小紧致算术双曲4-轨道的体积被显式计算为：其基本群的欧拉示性数的 $1/7200$。
• 最小4-轨道的基本群是图2所示Coxeter图的Coxeter群的保向子群，且其作为 $\mathcal{O}_{\mathbb{Q}[\sqrt{5}]}$-格点在二次空间中的稳定化子而出现。
• 若最小紧致算术双曲4-流形存在且满足 $\chi(M) \leq 24$，则其必为与 $\mathbb{Q}[\sqrt{5}]$ 相关的群 $\Gamma_1$ 的无 torsion 子群，其指标为 $7200\chi(M)$，或为 $\mathbb{Q}[\sqrt{2}]$ 上的 $\Gamma_2$ 的无 torsion 子群，其指标为 $11520$。
• 在通过类数与欧拉示性数界值筛选后，仅剩两个候选群：$\Gamma_1$（$\chi = 1/7200$）与 $\Gamma_2$（$\chi = 11/5760$），分别定义于 $\mathbb{Q}[\sqrt{5}]$ 与 $\mathbb{Q}[\sqrt{2}]$。
• 寻找最小4-流形的问题已简化为计算 $\Gamma_1$ 与 $\Gamma_2$ 的低指标无 torsion 子群，其中 $\Gamma_1$ 拥有Coxeter表示，有利于此类计算。