[论文解读] Explicit reduction theory for SU(2,1;Z[i])

Dan Yasaki|ArXiv.org|Jan 4, 2006

Advanced Algebra and Geometry参考文献 14被引用 4

一句话总结

本文明确定义了算术群 $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ 的脊柱——一个三维 $\Gamma$-等变形收缩——从而实现了其在各种局部系统下的上同调计算。通过基于 isotropic 线配置的胞腔复形结构与广义最简形变收缩方法，作者计算了相关局部对称空间的上同调，精确得到了 $H^k(\Gamma\backslash D; \mathbb{E})$ 在度数 0 到 3 的秩，包括 $H^3$ 中的挠子群。

ABSTRACT

Let Gamma\D be an arithmetic quotient of a symmetric space of non-compact type. A spine D_0 is a Gamma-equivariant deformation retraction of D with dimension equal to the virtual cohomological dimension of Gamma. We explicitly construct a spine for the case of Gamma=SU(2,1;Z[i]). The spine is then used to compute the cohomology of Gamma\D with various local coefficients.

研究动机与目标

• 为作用在对称空间 $D$ 上的算术群 $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ 显式构造一个脊柱，提供一个维度等于虚拟上同调维数（3）的 $\Gamma$-等变形收缩。
• 基于 $\mathbb{C}^3$ 中的 isotropic 线配置，建立脊柱上的胞腔复形结构，以支持 $\Gamma$-作用的胞腔性并实现上同调计算。
• 计算局部对称空间 $\Gamma\backslash D$ 在各种局部系统（包括平凡、标准及对称幂表示）下的上同调。
• 为非线性算术群建立一个上同调计算框架，将广义最简形变收缩方法扩展至非线性对称空间。

提出的方法

• 通过耗尽函数与 [21] 中针对非线性对称空间的方法，构造 $D_0 \subset D$ 作为 $\Gamma$-等变形收缩，维度为 3。
• 对 $\mathbb{C}^3$ 中的 isotropic 线配置进行分类，以定义脊柱中的胞腔，并为每类胞腔显式计算 $\Gamma$-代表元与稳定子。
• 对胞腔复形进行细分，以获得一个 $\Gamma$ 作用为胞腔的正则结构，从而可使用胞腔上链复形进行上同调计算。
• 应用广义最简形变收缩框架，定义一个链复形，其微分映射 $d_0, d_1, d_2, d_3$ 由群作用关系导出。
• 利用所得链复形计算各种 $\Gamma$-模 $E$ 下的上同调群 $H^k(\Gamma\backslash D; \mathbb{E})$，包括 $E = \mathbb{Z}$，$\mathbb{Z}[i]^3$，以及 $\mathrm{Sym}^n(V)$。
• 借助谱序列与表示论条件（例如 $\rho(w)$ 的 $(-1)$-特征空间）来界定并计算上同调群的维数。

实验结果

研究问题

• RQ1 能否为作用在对称空间 $D$ 上的非线性算术群 $\mathrm{SU}(2,1;\mathbb{Z}[i])$ 显式构造脊柱？
• RQ2 脊柱的胞腔复形结构是什么？它如何反映 $\mathbb{C}^3$ 中 isotropic 线的几何结构？
• RQ3 对于各种 $\Gamma$-模 $\mathbb{E}$（包括挠子群与对称幂表示），上同调群 $H^k(\Gamma\backslash D; \mathbb{E})$ 是什么？
• RQ4 广义最简形变收缩方法如何推广至非线性对称空间？对 $\mathrm{SU}(2,1;\mathbb{Z}[i])$ 需要进行哪些修改？
• RQ5 对于非平凡局部系统，$H^3(\Gamma\backslash D; \mathbb{E})$ 的精确秩与挠子群结构是什么？

主要发现

• 脊柱 $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ 被显式构造为 $D$ 的一个三维 $\Gamma$-等变形收缩，并具有正则胞腔复形结构。
• 对于平凡局部系统 $\mathbb{Z}$，$\Gamma\backslash D$ 的上同调为 $H^0 = \mathbb{Z}$，$H^2 = \mathbb{Z}$，且当 $k=1$ 或 $k \geq 3$ 时 $H^k = 0$。
• 对于与 $E = \mathbb{Z}[i]^3$ 关联的局部系统 $\mathbb{E}$，上同调为 $H^2 = \mathbb{Z}^2$，$H^3 = \mathbb{Z}/2\mathbb{Z}$，而度数 0 和 1 处为平凡。
• 对于 $E = \mathrm{Sym}^n(V)$ 且 $V$ 为标准表示的情形，上同调维数 $h^k = \dim H^k(\Gamma\backslash D; \mathbb{E})$ 对 $n \leq 20$ 显式计算得出，显示在多个度数中 $h^2$ 与 $h^3$ 非平凡。
• $H^3(\Gamma\backslash D; \mathbb{E})$ 的维数受 $\dim(E_+ \cap E_-)$ 限制，其中 $E_+$ 与 $E_-$ 分别为 $\rho(\epsilon)$ 的 $+1$-特征空间与 $\rho(w)$ 的 $-1$-特征空间。
• $\Gamma = \mathrm{SU}(2,1;\mathbb{Z}[i])$ 由元素 $\epsilon, w, \tau, \sigma$ 生成，其非平凡性通过上同调检测方法得以验证。