[论文解读] Compactification de Chabauty des espaces sym\\'etriques de type non compact

Thomas Haettel|arXiv (Cornell University)|Aug 3, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 9

一句话总结

本文提供了非紧对称空间的Chabauty紧化中极限群结构的简洁直接证明，将其识别为根系子集关联的特定共轭抛物型子群。该文完整分类了等距群的最大非游荡与可解子群，并证明Chabauty紧化与多面体紧化之间存在自然的$G$-等变同构，为Guivarc’h、Ji与Taylor早期工作提供了更简明的替代方案。

ABSTRACT

The space of closed subgroups of a locally compact topological group is endowed with a natural topology, called the Chabauty topology. Let X be a symmetric space of noncompact type, and G be its group of isometries. The space X identifies with the subspace of maximal compact subgroups of G : taking the closure gives rise to the Chabauty compactification of the symmetric space X. Using simpler arguments than those present in the book of Guivarc'h, Ji and Taylor, we describe the subgroups that appear in the boundary of the compactification.

研究动机与目标

• 提供非紧对称空间Chabauty紧化中极限群描述的更短、更直接的证明。
• 对对称空间$X$的等距群$G$的所有最大非游荡子群与最大可解子群进行分类。
• 在Chabauty紧化与$X$的多面体紧化之间建立自然的$G$-等变同构。
• 利用根系数据与Iwasawa分解阐明Chabauty紧化的边界结构。

提出的方法

• 利用等距群$G$的闭子群空间上的Chabauty拓扑，利用其紧致性与度量性。
• 采用Iwasawa分解$G = KAN$与根空间分解，通过简单根的子集$I \subset \Delta$参数化子群。
• 构造极限群为$D^{I}_{a,k} = kaK^{I}MN_{I}a^{-1}k^{-1}$，其中$a \in \overline{A^{I,+}}$，$k \in K$，且$I \subset \Delta$为真子集。
• 利用Weyl房闭包$\overline{\mathfrak{a}^{+}}$与正交分解$\mathfrak{a}^{I} \perp \mathfrak{a}_{I}$定义相关子群。
• 通过$G$在$X = G/K$上的作用将$X$识别为最大紧致子群的轨道，并研究其在$\mathcal{S}(G)$中的闭包。
• 通过与Guivarc’h、Ji与Taylor（1998年）的已知结果比较，建立Chabauty紧化与多面体紧化之间的$G$-同构。

实验结果

研究问题

• RQ1 在非紧对称空间的Chabauty紧化边界中出现的极限群的精确结构是什么？
• RQ2 哪些$G$的子群是关于非游荡或可解性质的最大子群？
• RQ3 Chabauty紧化与多面体或Satake-Furstenberg紧化等其他标准紧化之间有何关系？
• RQ4 与先前工作相比，能否使极限群的分类更加显式且构造性？

主要发现

• Chabauty紧化中的每个极限群都可表示为$D^{I}_{a,k} = kaK^{I}MN_{I}a^{-1}k^{-1}$，其中$I \subset \Delta$为真子集，$a \in \overline{A^{I,+}}$，$k \in K$。
• 参数化是唯一的：当且仅当$I_1 = I_2$，$a_1 = a_2$，且$k_2^{-1}k_1 \in K^I \cap aK^I a^{-1}M$时，有$D^{I_1}_{a_1,k_1} = D^{I_2}_{a_2,k_2}$。
• Chabauty紧化$\overline{X}^{\mathcal{S}}$恰好是$G$的所有最大非游荡子群的集合。
• $G$的最大可解子群恰好是$K^I M$（$I \subset \Delta$为真子集）的共轭。
• Chabauty紧化与多面体紧化之间存在$G$-同构，同时也与细胞对偶、Satake-Furstenberg极大、以及Martin紧化同构。
• 当$G = \mathrm{SL}(2,\mathbb{R})^n$时，Chabauty紧化为双曲平面紧化的$n$重积，而几何紧化在无穷远处增加了一个$(2n-1)$-球面。