[论文解读] Tits Geometry, Arithmetic Groups and the Proof of a Conjecture of Siegel

Enrico Leuzinger|ArXiv.org|Nov 21, 2002

Advanced Algebra and Geometry参考文献 22被引用 25

一句话总结

本文通过识别在Siegel集中的${\mathbb{Q}}$–Weyl壁，这些壁在商映射下是等距嵌入的，从而完成了对算术局部对称空间的精确约化理论。证明了商空间与一个有限单纯复形的欧氏锥之间是拟等距的，证实了Siegel关于拟等距性的猜想，并建立了无穷远处边界上的Tits度量公式，将高阶对称空间中的几何与算术结构联系起来。

ABSTRACT

We show that a locally symmetric space of noncompact type and with finite volume is quasi-isometric to the euclidean cone over a finite simplicial complex. A detailed analysis of metric properties yields a proof of a conjecture of Siegel.

研究动机与目标

• 通过分析基本域的度量性质，完成对高阶对称空间中不可约非均匀算术格的精确约化理论。
• 解决C.L. Siegel关于商空间$\Gamma\backslash X$的拟等距类型的猜想。
• 通过其渐近锥刻画$V = \Gamma\backslash X$的渐近几何，并在无穷远处边界上建立Tits度量公式。
• 证明$V$与一个有限单纯复形的欧氏锥拟等距，揭示其大尺度几何结构。

提出的方法

• 在对称空间$X = G/K$中的广义Siegel集$\mathcal{S}_i$内识别出${\mathbb{Q}}$–Weyl壁$\mathcal{C}_i$，使得投影$\pi|_{\mathcal{C}_i}$是等距映射。
• 通过具有角的紧致子流形的 exhausting 方法分析$\pi(X_i)$的几何性质，并从$\mathcal{C}_i$的像构造$V$中的网。
• 应用Gromov-Hausdorff极限构造，将渐近锥$\text{Cone}(V)$定义为$\lim_{n\to\infty}(V, v_0, \frac{1}{n}d_V)$，并证明其等距同构于有限单纯复形$\Gamma\backslash|\mathcal{T}|$的欧氏锥。
• 通过提升测地线射线，构造一个无穷远处边界映射$R: \partial_\infty V \to \Gamma\backslash|\mathcal{T}|$，并利用缩放空间中的Hausdorff收敛性证明其为双射。
• 利用锥结构和CAT(0)空间性质，建立Tits度量公式$2\sin(\frac{1}{2}d_\mathcal{T}(z_1,z_2)) = \lim_{t\to\infty} \frac{1}{t} d_V(c_1(t),c_2(t))$，其中$z_1,z_2 \in \partial_\infty V$。
• 依赖Cartan-Hadamard定理和球面Tits建筑的结构，分析渐近射线及其在渐近锥中的收敛性。

实验结果

研究问题

• RQ1 能否在拓扑或组合分解之外，进一步细化算术局部对称空间中基本域的度量性质？
• RQ2 如Siegel所猜想，商映射$\pi: X \to \Gamma\backslash X$在限制到Siegel集时是否为拟等距？
• RQ3 商空间$\Gamma\backslash X$的大尺度几何结构是什么？具体而言，它是否与一个有限单纯复形的欧氏锥拟等距？
• RQ4 商空间$\Gamma\backslash X$的无穷远处边界上的Tits度量如何与对称空间和算术格的几何相关联？
• RQ5 能否将$\Gamma\backslash X$的无穷远处边界自然地与Tits建筑的商空间进行等距识别？

主要发现

• 存在${\mathbb{Q}}$–Weyl壁$\mathcal{C}_i \subset \mathcal{S}_i$，使得限制映射$\pi|_{\mathcal{C}_i}$是等距映射，且$\bigcup_{i=1}^l \pi(\mathcal{C}_i)$构成$V$中的一个网。
• 商空间$V = \Gamma\backslash X$与有限单纯复形的欧氏锥$C(\Gamma\backslash|\mathcal{T}|)$拟等距，证实了关于算术商大尺度几何的猜想。
• 投影$\pi: X \to \Gamma\backslash X$在限制到Siegel集时是$(1,D)$–拟等距（$D > 0$），从而证明了Siegel的猜想。
• 无穷远处边界$\partial_\infty V$可自然地与$\Gamma\backslash|\mathcal{T}|$等距同构，且边界映射$R: \partial_\infty V \to \Gamma\backslash|\mathcal{T}|$是双射。
• 边界上的Tits度量满足$2\sin(\frac{1}{2}d_\mathcal{T}(z_1,z_2)) = \lim_{t\to\infty} \frac{1}{t} d_V(c_1(t),c_2(t))$，建立了精确的渐近距离公式。