[论文解读] On the existence of spines for Q-rank 1 groups

Dan Yasaki|ArXiv.org|Jan 4, 2006

Advanced Algebra and Geometry参考文献 28被引用 12

一句话总结

该论文通过与有理帕拉博利克子群相关的耗尽函数，为$\mathbb{Q}$-秩1代数群$\mathbf{G}$关联的对称空间$D = G/K$构造了一个$\Gamma$-等变余脊。证明了存在一个形变收缩到余脊$D_0$，其维数等于$\Gamma$的虚拟上同调维数，且存在一个$(k-1)$-参数族的此类收缩，其中$k$为$\Gamma$-共轭类的有理帕拉博利克子群的数量。

ABSTRACT

Let X=Gamma\G/K be an arithmetic quotient of a symmetric space of non-compact type. In the case that G has Q-rank 1, we construct Gamma-equivariant deformation retractions of D=G/K onto a set D_0. We prove that D_0 is a spine, having dimension equal to the virtual cohomological dimension of Gamma. In fact, there is a (k-1)-parameter family of such deformations retractions, where k is the number of Gamma-conjugacy classes of rational parabolic subgroups of G. The construction of the spine also gives a way to construct an exact fundamental domain for Gamma.

研究动机与目标

• 为与$\mathbb{Q}$-秩1代数群相关的对称空间建立$\Gamma$-等变余脊的存在性。
• 提供一种显式构造方法，将$D$形变收缩到与$\Gamma$的虚拟上同调维数相等的余脊$D_0$。
• 通过引入与有理帕拉博利克子群相关的耗尽函数，将经典的完备化收缩推广到非线性对称空间。
• 证明余脊$D_0$可分解为按强可接受的帕拉博利克子群集合索引的半解析集，且具有$\Gamma$-等变性。
• 证明商空间$\Gamma\backslash D_0$是紧致的，从而可实现对上同调的有限组合描述。

提出的方法

• 构造使用源自有理帕拉博利克子群的耗尽函数，这些函数作为测量距尖点距离的高度函数。
• 在$\mathbb{Q}$-秩1情形下，这些耗尽函数通过萨珀的归一化参数与有理根的复合构造而成。
• 利用这些耗尽函数的等高线，定义$D$到$D_0$的$\Gamma$-等变形变收缩。
• 余脊$D_0$被分解为不相交并集$D_0 = \coprod D'({\mathcal{I}})$，其中$\mathcal{I}$遍历某些阶数至少为2的帕拉博利克$\mathbb{Q}$-子群集合。
• 通过$\gamma \cdot D'({\mathcal{I}}) = D'({}^\gamma\!{\mathcal{I}})$的$\Gamma$-作用保持分解的等变性。
• 存在一个$(k-1)$-参数族的收缩，源于在组合耗尽函数时的自由度，其中$k$为$\Gamma$-共轭类的有理帕拉博利克子群数量。

实验结果

研究问题

• RQ1 对于$\mathbb{Q}$-秩1群的对称空间，是否存在一个$\Gamma$-等变余脊？
• RQ2 能否使用与有理帕拉博利克子群相关的耗尽函数显式构造此类余脊？
• RQ3 余脊的维数是多少？是否与$\Gamma$的虚拟上同调维数一致？
• RQ4 存在多少种不同的形变收缩？其参数数量由什么决定？
• RQ5 余脊的分解能否用于通过有限组合数据描述$\Gamma$的上同调？

主要发现

• 存在一个从$D = G/K$到余脊$D_0$的$\Gamma$-等变形变收缩，且$D_0$是半解析集的局部有限并集。
• $\Gamma\backslash D_0$的维数等于$\Gamma$的虚拟上同调维数，确认$D_0$为最小维数余脊。
• 余脊$D_0$具有$\Gamma$-等变分解$D_0 = \coprod D'({\mathcal{I}})$，其中索引为阶数至少为2的帕拉博利克$\mathbb{Q}$-子群的强可接受集合$\mathcal{I}$。
• 商空间$\Gamma\backslash D_0$是紧致的，这是上同调应用中的关键性质。
• 存在一个$(k-1)$-参数族的此类形变收缩，其中$k$为$\Gamma$-共轭类的有理帕拉博利克子群数量。
• 当$\mathbf{G} = \mathrm{SL}_2$时，该构造恢复了经典完备化收缩，即在上半平面中得到一个无限三价树，其中耗尽函数为$f_{i\infty}(z) = \operatorname{Im}(z)$。