[论文解读] Borel's stable range for the cohomology of arithmetic groups

Bena Tshishiku|arXiv (Cornell University)|Apr 9, 2019

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

一句话总结

本文改进了博雷尔关于辛群 $\operatorname{Sp}_{2n}(\mathbb{Z})$ 和 $\operatorname{SO}_{n,n}(\mathbb{Z})$ 的算术群上同调的稳定范围定理，将已知的稳定范围从 $i \leq c(G,V)$ 提升至 $\operatorname{Sp}_{2n}$ 的 $i \leq n-1$ 和 $\operatorname{SO}_{n,n}$ 的 $i \leq n-2$，通过详细分析根与权上的外尔群作用，计算出博雷尔上同调稳定性定理中最佳常数 $C(G,V)$。

ABSTRACT

In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main task is a technical computation involving the Weyl group action on roots and weights. This note originally appeared as the appendix to arXiv:1711.03139.

研究动机与目标

• 改进博雷尔关于算术群 $\operatorname{Sp}_{2n}(\mathbb{Z})$ 和 $\operatorname{SO}_{n,n}(\mathbb{Z})$ 上同调的稳定范围定理。
• 在博雷尔原始论文中已知但缺乏详细证明的界限基础上，进一步提升上同调稳定性范围。
• 通过涉及外尔群在根与权上作用的表示论技术，计算博雷尔稳定性定理中的最佳常数 $C(G,V)$。
• 通过引用高阶中已知的非零结果，证明改进后的界限几乎紧致。

提出的方法

• 分析李代数 $\mathfrak{sp}_{2n}$ 和 $\mathfrak{so}_{n,n}$ 的正根与权上的外尔群作用，以计算常数 $C(G,V)$。
• 应用博雷尔关于稳定上同调的一般框架，将 $H^*(\Gamma;V)$ 与李代数上同调 $H^*(\mathfrak{g},K;V)$ 以及对称空间上 $G(\mathbb{R})$-不变形式空间联系起来。
• 利用条件 $\sigma(\rho + \mu) > 0$ 对所有长度 $\leq q$ 的 $\sigma$ 成立来定义 $C(G,V)$，其中 $\rho$ 是正根之和的一半，$\mu$ 是 $V$ 的最高权。
• 通过分析使 $\sigma(\phi_k) < 0$ 成立的外尔群元素的最小字长，证明 $\operatorname{Sp}_{2n}$ 的 $C(G,V) = C(G,\mathbb{C}) = n-1$，$\operatorname{SO}_{n,n}$ 的 $C(G,V) = n-2$。
• 对长度 $\leq n-1$ 的外尔群元素 $\sigma$ 进行分类讨论，表明 $\sigma(\rho)$ 保持为正则极大权，从而推出对所有 $\mu$ 都有 $\sigma(\rho + \mu) > 0$。
• 证明不存在长度 $\leq n-1$ 的此类 $\sigma$ 使得 $\sigma(\rho + \mu) \leq 0$，从而证实 $\operatorname{Sp}_{2n}$ 的改进界限为 $C(G,V) = n-1$，$\operatorname{SO}_{n,n}$ 的为 $n-2$。

实验结果

研究问题

• RQ1 在不可约有理表示 $V$ 为系数时，$\operatorname{Sp}_{2n}(\mathbb{Z})$ 和 $\operatorname{SO}_{n,n}(\mathbb{Z})$ 上同调的最优稳定范围是什么？
• RQ2 博雷尔稳定范围定理中的常数 $c(G,V)$ 能否改进为 $C(G,V)$？对于 $\operatorname{Sp}_{2n}$ 和 $\operatorname{SO}_{n,n}$，$C(G,V)$ 的精确值是多少？
• RQ3 外尔群在根与权上的作用如何决定李代数上同调中的稳定性范围？
• RQ4 改进后的界限 $i \leq n-1$（对于 $\operatorname{Sp}_{2n}$）和 $i \leq n-2$（对于 $\operatorname{SO}_{n,n}$）是否几乎紧致？有何证据支持？
• RQ5 改进后的稳定性范围是否消除了相关结果（如 [ERW15, Prop. 3.9]）中对度数的假设？

主要发现

• $\operatorname{Sp}_{2n}(\mathbb{Z})$ 的稳定上同调范围被改进至 $i \leq n-1$，在此范围内非平凡 $V$ 的 $H^k(\Gamma;V)$ 为零，且与平凡 $V$ 的稳定上同调一致。
• 对于 $\operatorname{SO}_{n,n}(\mathbb{Z})$，稳定范围被改进至 $i \leq n-2$，具有类似的零化性质与平凡 $V$ 的稳定上同调一致。
• $\operatorname{Sp}_{2n}$ 的最优常数 $C(G,V)$ 为 $n-1$，$\operatorname{SO}_{n,n}$ 的为 $n-2$，两者均通过对外尔群元素在有界长度下的详细分析实现。
• 证明表明，不存在长度 $\leq n-1$ 的外尔群元素 $\sigma$ 使得 $\sigma(\rho + \mu) \leq 0$ 对任意极大权 $\mu$ 成立，从而确认 $\operatorname{Sp}_{2n}$ 的 $C(G,V) = n-1$。
• 该界限几乎紧致：当 $n$ 为奇数时，存在 $\Gamma < \operatorname{SO}_{n,n}(\mathbb{Z})$ 满足 $H^n(\Gamma;\mathbb{Q}) \neq 0$，而对所有奇数 $i \leq n-2$ 都有 $H^i(\Gamma;\mathbb{Q}) = 0$，证实了该范围的紧致性。
• 改进后的界限消除了在 [ERW15, Prop. 3.9] 等应用中对度数的假设，并已被用于研究 $d \geq 3$ 时 $\#_n(S^d \times S^d)$ 的微分同胚群的托里基子群。