Uniform twisted homological stability

技术摘要：一致性扭曲同调稳定性

问题陈述
本文研究了具有一系列算术群不可约代数表示（如映射类群、自由群自同构群和辫子群）的系数的离散群族（families of discrete groups）的同调稳定性问题。虽然这些群在常系数或多项式系数下的同调稳定性已得到充分研究，但“稳定范围”（即同调稳定性成立的次数 $d$）通常取决于系数系统的多项式度数。具体而言，对于多项式度数为 $r$ 的系数系统，稳定范围通常具有形式 $d < A \cdot n - B \cdot r$。因此，如果表示的度数随 $n$ 增长，稳定范围可能会完全消失。

作者旨在证明一种“一致性”稳定性定理，其中稳定范围取决于群指数 $n$，但对于特定的不可约代数表示，该范围独立于多项式度的度数。

方法论
本文开发了一个通用框架，用于将算术群族 $\{Q_n\}$ 的同调稳定性传播到映射到它们的离散群族 $\{\Gamma_n\}$。

1. 通用传播定理（第 2 节）： 作者制定了定理 2.2，该定理确立了 $\{Q_n\}$ 的稳定性蕴含 $\{\Gamma_n\}$ 稳定性的条件。该定理依赖于三个公理：

   • 公理 (I)： 与关联的 $\Gamma_n$ 和 $Q_n$ 族相关的“去稳定复形”（destabilisation complexes，或分裂复形）的连通性条件。这涉及相关 $E_2$-代数的导出不可分解部分（derived indecomposables）。
   • 公理 (II)： 系数系统 $V$ 在算术群 $\{Q_n\}$ 上的稳定性条件，即关于相对同调 $H_*(Q_n, Q_{n-1}; \Sigma^a V)$ 的消失性。
   • 传播机制： 利用编织单群群类（braided monoidal groupoids）和 $E_2$-代数的语言（遵循 Randal-Williams 和 Wahl 的工作），作者构造了一个关系式，将 $\Gamma_n$ 的同调与 $Q_n$ 的同调以及映射 $\Gamma_n \to Q_n$ 的核联系起来。

2. 特定情况下的公理验证（第 4 节）：

   • 公理 (I)： 作者验证了相关去稳定复形的高连通性。对于映射类群和自由群自同构群，他们依赖于现有的结果（例如 Hatcher, Wahl 等人的工作）。对于辫子群（定理 1.4），他们证明了与整数 Burau 表示在偶/奇辛普列克群中的像相关的复形具有新的高连通性结果（第 3 节）。
   • 公理 (II)： 这需要分析不可约表示在移位算子 $\Sigma$（沿 $Q_{n-1} \to Q_n$ 的限制）下的行为。作者利用 Littlewood 复形（Sam–Snowden–Weyman）将移位后的表示分解为其他不可约表示的迭代扩张。这使得将移位系数的稳定性归约为基底系数的稳定性成为可能，从而利用已知关于算术群稳定上同调的结果（Borel 的工作）。

3. Burau 表示的去稳定复形（第 3 节）： 一个重要的技术贡献是构造并分析了整数 Burau 表示在“奇辛普列克群”（Gelfand–Zelevinsky）中的像的去稳定复形。作者证明了这些复形是高度连通的（具体为 $(n-19)/8$-连通），这对于建立辫子群稳定性斜率是必要的。

核心贡献与结果
本文证明了四个建立一致性扭曲同调稳定性的主要定理：

1. 映射类群（定理 1.1）： 对于以 $\text{Sp}_{2g}(\mathbb{Z})$ 的不可约表示 $V_\lambda(2g)$ 为系数的映射类群 $\text{Mod}^1_g$，相对同调在 $d < \frac{1}{2}(g - \frac{1}{2}l(\lambda))$ 时消失。这改进了对分划长度 $l(\lambda)$ 的依赖关系。
2. 自由群自同构群（定理 1.2）： 对于以 $\text{GL}_n(\mathbb{Z})$ 的不可约表示 $W_{\lambda\mu}(n)$ 为系数的 $\text{Aut}(F_n)$，稳定性在 $d < \frac{1}{2}(n - \beta)$ 时成立，其中 $\beta$ 取决于分划的长度及其共轭长度。作者明确指出，由于对于任何不可约表示，都存在一个选择使得 $\beta \leq \frac{1}{2}(n+2)$，因此这构成了斜率为 $1/4$ 的一致稳定性。
3. 手柄体映射类群（定理 1.3）： 通过从 $\text{GL}_n(\mathbb{Z})$ 拉回的系数，为手柄体映射类群证明了类似的统一稳定性。
4. 辫子群（定理 1.4）： 对于以 Burau 表示在奇/偶辛普列克群中的像为系数的辫子群 $\beta_n$，稳定性在 $d < \frac{1}{17}(n - \max(2, l(\lambda)))$ 时成立。

意义与应用

• 一致性： 主要的新颖之处在于稳定范围不依赖于系数系统的多项式度数。这允许在表示度数随 $n$ 增长（例如 $|\lambda| \gg n$）的机制下研究稳定性，而在这种情况下，以往的界限会导致没有稳定范围。
• 算术统计： 作者展示了定理 1.4 在函数域上二次 $L$-函数族的矩（moments）问题上的直接应用。结合 Bergström–Diaconu–Petersen–Westland 先前的研究，新的稳定性范围证明了 Conrey–Farmer–Keating–Rubinstein–Snaith (CFKRS) 对足够大的奇素幂次下所有矩的预测。这是第一个在所有矩下都建立 CFKRS 渐近性的非平凡族。
• Torelli 群： 这些结果为研究 Torelli 群（向算术群映射的核）的同调提供了工具。具体而言，定理 1.1 意味着对于足够大的亏格，带有扭曲系数的 Torelli 群的同调可以在任何次数下被计算，从而可能简化关于 Torelli 群 Malcev 完成的二次呈现（quadratic presentations）的证明。
• 表示稳定性： 这项工作为研究 Torelli 子群同调的“一致表示稳定性”提供了证据，将表示稳定性理论（Church–Farb）扩展到了这些特定语境中。

局限性与锐度
作者指出他们的稳定范围可能不是最优的。他们根据已知的稳定上同调计算（例如 Madsen–Weiss, Galatius, 和 Lindell 的工作）提供了关于稳定性可能斜率的上界。例如，他们猜想映射类群和手柄体群的 $1/4$ 斜率是锐利的，而辫子群的 $1/17$ 斜率很可能不是最优的（猜测界限为 $1/3$）。同时，也注意到辫子群情形中对分划长度的依赖关系可能仍有改进空间。