[论文解读] Perfect forms and the cohomology of modular groups

Philippe Elbaz–Vincent, Herbert Gangl+1 more|arXiv (Cornell University)|Jan 5, 2010

Algebraic Geometry and Number Theory参考文献 15被引用 7

一句话总结

本文利用 Voronoï 的完美二次型理论以及机器辅助的 Voronoï 单纯复形同调计算，计算了 $\mathrm{SL}_N(\mathbb{Z})$ 和 $\mathrm{GL}_N(\mathbb{Z})$ 在 $N = 5, 6, 7$ 时的有理同调。关键结果是完全确定了模 torsion 的有理同调群，揭示了特定次数中存在非平凡同调，包括 $H^5(\mathrm{SL}_5(\mathbb{Z}), \mathbb{Z}) \cong \mathbb{Z}$ 以及 $H^m(\mathrm{SL}_7(\mathbb{Z}), \mathbb{Q}) \cong \mathbb{Q}$ 对于 $m = 0,5,11,14,15$。计算依赖于精确算法和大规模机器计算，通过欧拉示性数检验和矩阵微分恒等式加以验证。

ABSTRACT

For N=5, 6 and 7, using the classification of perfect quadratic forms, we compute the homology of the Voronoi cell complexes attached to the modular groups SL_N(\Z) and GL_N(\Z). From this we deduce the rational cohomology of those groups.

研究动机与目标

• 计算 $\mathrm{SL}_N(\mathbb{Z})$ 和 $\mathrm{GL}_N(\mathbb{Z})$ 在 $N = 5, 6, 7$ 时的有理同调，扩展低秩情形的已知结果。
• 应用 Voronoï 的完美二次型约化理论，构造正定形式对称空间的胞腔分解。
• 利用所得的 Voronoï 复形计算 $\mathrm{SL}_N(\mathbb{Z})$ 在 Steinberg 模上的同调，通过 Borel–Serre 对偶性得到有理同调。
• 通过计算检验（包括欧拉示性数和复形中微分的幂零性）验证结果。
• 完整描述模 torsion 的同调群，特别是识别特定次数中的非平凡类。

提出的方法

• 利用 Jaquet 等人已知的分类，基于维度 5、6 和 7 中完美二次型的分类，构建 Voronoï 胞腔复形。
• 通过与 PARI 接口的精确 C 库实现，计算胞腔分解及其在 $\mathrm{SL}_N(\mathbb{Z})$ 和 $\mathrm{GL}_N(\mathbb{Z})$ 作用下的稳定子。
• 通过显式表示微分的矩阵形式计算 Voronoï 复形的同调，利用初等因子确定同调群。
• 应用 Borel–Serre 对偶性，将 Steinberg 模的同调与 $\mathrm{SL}_N(\mathbb{Z})$ 和 $\mathrm{GL}_N(\mathbb{Z})$ 的有理同调联系起来，模 torsion。
• 利用定向模 $\tilde{\mathbb{Z}}$ 和 Shapiro 引理处理 $\mathrm{SL}_N(\mathbb{Z})$ 与 $\mathrm{GL}_N(\mathbb{Z})$ 同调之间的差异，尤其针对偶数 $N$ 的情形。
• 通过虚拟欧拉示性数公式和在大整数矩阵上 $d_{n-1} \circ d_n = 0$ 的精确成立性验证结果。

实验结果

研究问题

• RQ1 如何计算 $\mathrm{SL}_5(\mathbb{Z})$ 和 $\mathrm{GL}_6(\mathbb{Z})$ 的有理同调？其与低秩情形相比有何异同？
• RQ2 如何利用完美形式显式计算 $N=5,6,7$ 时的 Voronoï 胞腔复形？其同调群是什么？
• RQ3 对于 $N=7$，$\mathrm{SL}_N(\mathbb{Z})$ 和 $\mathrm{GL}_N(\mathbb{Z})$ 的同调是否在次数 0, 5, 8, 11, 14, 15 处呈现某种规律？
• RQ4 在超过两百万个胞腔轨道的复杂度下，能否通过精确算术的机器计算可靠地计算 $N=7$ 时 Voronoï 复形的同调？
• RQ5 模小素数时，$\mathrm{GL}_N(\mathbb{Z})$ 的同调是否同构于 $\mathrm{SL}_N(\mathbb{Z})$ 的同调？对于偶数 $N$，行列式符号如何影响同调？

主要发现

• 对于 $N=5$，$\mathrm{SL}_5(\mathbb{Z})$ 的有理同调在次数 0 和 5 处为 $\mathbb{Z}$，其余次数为平凡，模 $\mathcal{S}_5$。
• 对于 $N=6$，$\mathrm{GL}_6(\mathbb{Z})$ 的有理同调在次数 0、5 和 8 处为 $\mathbb{Z}$，其余次数为平凡，模 $\mathcal{S}_7$。
• 对于 $N=6$，$\mathrm{SL}_6(\mathbb{Z})$ 的有理同调在次数 5 处为 $\mathbb{Z}^2$，在次数 0、8、9、10 处为 $\mathbb{Z}$，其余次数为平凡，模 $\mathcal{S}_7$。
• 对于 $N=7$，$\mathrm{SL}_7(\mathbb{Z})$ 的有理同调在次数 0、5、11、14、15 处为 $\mathbb{Q}$，其余次数为平凡，且这些次数中无 torsion。
• 对于 $\mathrm{GL}_6(\mathbb{Z})$ 的 Voronoï 复形是 $\mathrm{GL}_7(\mathbb{Z})$ 的平移复形的直和项，证实了两复形之间的结构关系。
• 计算通过欧拉示性数公式和在大整数矩阵上 $d_{n-1} \circ d_n$ 的精确消失性得到验证，确保了结果的正确性。