The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings

技术摘要：欧几里得数环上特殊线性群的主同余子群的最高上同调

问题陈述
本文研究了特殊线性群 $SL_n(R)$ 的主同余子群 $\Gamma_n(\mathfrak{p})$ 的最高次上同调，其中 $R$ 是欧几里得数环，$\mathfrak{p}$ 是素理想。根据 Borel–Serre 对偶性，这些算术群在最高次 $\nu$ 的上同调同构于 Steinberg 模 $St_n(K)$（其中 $K$ 是 $R$ 的分式域）在 $\Gamma_n(\mathfrak{p})$ 作用下的余不变量。

该核心问题最初由 Lee 和 Szczarba 针对 $R=\mathbb{Z}$ 提出，旨在确定从 Steinberg 余不变量到 Tits 建筑商空间的约化同调的自然映射何时成为同构：
$$H^\nu(\Gamma_n(\mathfrak{p}); \mathbb{Q}) \twoheadrightarrow \tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}); \mathbb{Q})$$
虽然 Miller、Patzt 和 Putman（MPP）解决了 $R=\mathbb{Z}$ 且素数 $p \leq 5$ 的情况，但针对其他欧几里得整环（如高斯整数和艾森斯坦整数）以及特定素数的问题仍未解决。本文旨在将 MPP 的结果推广到任意欧几里得数环，并确定使该映射成为同构的素理想 $\mathfrak{p}$ 的充分条件。

方法论
证明策略依赖于两个主要部分：特定单纯复形的高连通性分析，以及将这些复形与 Steinberg 模联系起来的谱序列论证。

1. 单纯复形与连通性：
   作者定义并分析了“行列式-$U$ 部分 $U$-基”复形（$BDU_n$）及其“扩充”版本（$BDAU_n$），其中 $U$ 是 $R$ 的单位群在剩余域 $F = R/\mathfrak{p}$ 中的像。

   • 他们推广了 MPP 使用的复形 $BDA^\pm_n(\mathbb{F}_p)$。
   • 关键技术革新： 与 MPP 依赖 Steinberg 模的 Bykovskii 表示（特别是针对 $\mathbb{Z}$）来证明高连通性不同，本文提供了 $BDAU_n(F)$ 高连通性的自包含证明。
   • 作者证明，如果 $F$ 和 $U$ 满足特定的代数条件（详见下文），则复形 $BDAU_n(F)$ 是 $(n-1)$-连通的。这涉及：
     • 构造从更大的基复形到行列式复形的收缩映射。
     • 证明在指定条件下，“初始 D-三角形映射”和“初始 D-悬挂映射”（同伦群的生成元）是零伦的。
     • 通过证明对于特定的环与素数对，$BDAU_2(F)$ 是 1-连通的（即单连通的），来验证基础情形（$n=2$）。

2. 谱序列与 Steinberg 模：
   第二部分利用序集映射谱序列，将单纯复形的同调与 Steinberg 模联系起来。

   • 作者建立了从 $BDU_n(F)$ 的链复形到 Steinberg 模 $St_n(K)$ 的满射。
   • 他们证明，如果 $BDAU_n(F)$ 是 $(n-1)$-连通的，则从 Steinberg 余不变量到商 Tits 建筑同调的映射是同构。
   • 至关重要的是，这种方法避免了对 $St_n(K)$ 的 Bykovskii 表示的假设，从而使结果适用于如 $\mathbb{Z}[\sqrt{-2}]$ 等此前尚未建立此类表示的环。

主要贡献与结果

• 广义同构定理（定理 1.5）：
  本文证明，对于欧几里得整环 $R$ 和素理想 $\mathfrak{p}$，映射
  $$(St_n(K))_{\Gamma_n(\mathfrak{p})} \to \tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}))$$
  总是满射。此外，如果剩余域 $F = R/\mathfrak{p}$ 和单位像 $U \subset F^\times$ 满足以下五个特定条件，则该映射是同构：

  1. $F^\times/U \cong C_2$（2 阶循环群）。
  2. $F^\times \setminus U$ 中的元素具有使用 $U$ 中单位生成的特定加法生成性质。
  3. $F$ 由 $U$ 加法生成。
  4. 关于元素 2 或单位特定线性组合的条件。
  5. 复形 $BDAU_2(F)$ 是 1-连通的。

• 具体示例（定理 1.4）：
  作者验证了若干欧几里得环与素数对满足这些条件，确立了以下情形的同构：

  • $(\mathbb{Z}[\sqrt{-2}], 1+\sqrt{-2})$
  • $(\mathbb{Z}[i], 3)$, $(\mathbb{Z}[i], 2i+1)$
  • $(\mathbb{Z}[\omega], 4\omega+1)$, $(\mathbb{Z}[\omega], 4\omega+3)$, $(\mathbb{Z}[\omega], 3\omega+1)$, $(\mathbb{Z}[\omega], 3\omega+2)$
    其中 $\omega$ 是三次本原单位根。

• 递归秩公式：
  利用该同构，本文提供了一个递归公式（命题 3.24）来计算最高上同调群 $\tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}))$ 的秩，推广了此前针对 $\mathbb{Z}$ 的结果。

意义与主张
本文声称提供了 Lee–Szczarba 问题解答的“广义版本”。其主要意义在于：

1. 摆脱对 Bykovskii 表示的依赖： 通过避免使用 Steinberg 模的 Bykovskii 表示（此前仅已知于 $\mathbb{Z}$、$\mathbb{Z}[i]$ 和 $\mathbb{Z}[\omega]$），作者将同构结果扩展到了其他欧几里得环，例如 $\mathbb{Z}[\sqrt{-2}]$。
2. 逐例验证： 本文承认条件 (5)（$BDAU_2(F)$ 的 1-连通性）必须针对每个特定的环和素数进行手动检查。文章演示了在高斯整数和艾森斯坦整数情形下的可行性，但指出并未提供适用于所有欧几里得环的通用算法。
3. 满射性： 本文确立了对于 $n \geq 2$，无论 $F$ 和 $U$ 的具体条件如何，该映射总是满射的，这本身就是一个稳健的结果。

作者在范围上保持谦逊，指出虽然他们提供了同构的一组充分条件，但并未声称这些条件是必要的，也不确定除所列示例外是否还有其他满足这些条件的环与素数对。