Uniform twisted homological stability

技術的要約：一様ねじれホモロジー安定性

問題提起
本論文は、離散群の族（写像類群、自由群の自己同型群、ブレイド群など）における、算術群の既約代数表現の列を係数とするホモロジー安定性の問題に取り組んでいる。これらの群における定数または多項式係数によるホモロジー安定性は十分に確立されているが、「安定範囲」（安定性が成立する次数 $d$ まで）は通常、係数系の多項式性の次数に依存する。具体的には、多項式次数 $r$ の係数系に対して、安定範囲は $d < A \cdot n - B \cdot r$ という形式をとることが多い。その結果、表現の次数が $n$ と共に増大する場合、安定範囲が完全に消失してしまうことがある。

著者らは、係数系が特定の既約代数表現である場合に限り、安定範囲が係数の多項性の次数には依存せず、群の指数 $n$ にのみ依存するという「一様（uniform）」な安定性定理を証明することを目的としている。

手法
本論文は、算術群の族 $\{Q_n\}$ から、それらに写像される離散群の族 $\{\Gamma_n\}$ へホモロジー安定性を伝播させるための一般的な枠組みを開発している。

1. 一般伝播定理 (第2節): 著者らは、$\{Q_n\}$ の安定性が $\{\Gamma_n\}$ の安定性を導くための条件を定める定理 2.2 を定式化している。この定理は、以下の3つの公理に基づいている：

   • 公理 (I): $\{\Gamma_n\}$ および $\{Q_n\}$ に関連する「脱安定化複体（destabilisation complexes）」（または分解複体）に関する連結性の条件。これには、関連する $E_2$ 代数の派生不定成分（derived indecomposables）が関与する。
   • 公理 (II): 算術群 $\{Q_n\}$ 上の係数系 $V$ に関する安定性条件、すなわち相対ホモロジー $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）については、偶および奇のシンプレクティック群における整数・ブラウアー表現（integral Burau representation）の像に関連する複体の高連結性を新たに証明している（第3節）。
   • 公理 (II): これは、シフト演算子 $\Sigma$（$Q_{n-1} \to Q_n$ による制限）の下での既約表現の振る舞いの分析を必要とする。著者らは、シフトされた表現を他の既約表現の反復的な拡大として分解するために、リトルウッド複体（Littlewood complexes）（Sam–Snowden–Weyman）を利用している。これにより、シフトされた係数の安定性を、算術群の安定コホモロジーに関する既知の結果（Borel の研究）を利用して、基本係数の安定性に還元することが可能となる。

3. ブラウアー表現の脱安定化複体 (第3節): 本論文の重要な技術的貢献は、「奇シンプレクティック群」（Gelfand–Zelevinsky）における整数・ブラウアー表現の像に関する脱安定化複体の構成と分析である。著者らは、これらの複体が高度に連結であること（具体的には $(n-19)/8$-連結であること）を証明しており、これはブレイド群の安定性の勾配（slope）を確立するために必要である。

主要な貢献と結果
本論文は、一様ねじれホモロジー安定性を確立する4つの主要な定理を証明している：

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)$ となる $(\lambda, \mu)$ の選択が存在することから、これが勾配 $1/4$ の一様安定性を構成することを明確にしている。
3. ハンドルボディ写像類群 (定理 1.3): $\text{GL}_n(\mathbb{Z})$ から引き戻された係数を用いたハンドルボディ写像類群についても、同様の一様安定性が証明されている。
4. ブレイド群 (定理 1.4): ブラウアー表現の像（奇/偶シンプレクティック群）を係数とするブレイド群 $\beta_n$ について、安定性は $d < \frac{1}{17}(n - \max(2, l(\lambda)))$ で成立する。

意義と応用

• 一様性: 本研究の主要な新規性は、安定範囲が係数系の多項式性の次数に依存しないことである。これにより、表現の次数が $n$ と共に増大する領域（例：$|\lambda| \gg n$）においても、安定性の結果を得ることが可能となる。これは、従来の境界では安定範囲が得られなかった状況である。
• 算術統計: 著者らは、定理 1.4 を関数体上の二次 $L$ 関数の族のモーメントへの直接的な応用を示している。Bergström–Diaconu–Petersen–Westland の先行研究と組み合わせることで、この新しい安定範囲は、十分大きな奇素数冪に対して、CFKRS（Conrey–Farmer–Keating–Rubinstein–Snaith）の予測がすべてのモーメントに対して成立することを証明している。これは、CFKRS の漸近性が確立された最初の非自明な族である。
• トレリ群: これらの結果は、算術群への写像の核であるトレリ群のホモロジーを研究するためのツールを提供する。具体的には、定理 1.1 は、十分大きな種数において、ねじれ係数を持つトレリ群のホモロジーが計算可能であることを示唆しており、これはトレリ群のマルツェフ完備化の二次提示に関する証明を簡略化できる可能性がある。
• 表現安定性: 本研究は、トレリ部分群のホモロジーの「一様表現安定性」に対する証拠を提供し、表現安定性（Church–Farb）の理論をこれらの特定の文脈へと拡張するものである。

限界と鋭利性
著者らは、自身の安定範囲が最適ではない可能性についても言及している。彼らは、既知の安定ホモロジー計算（Madsen–Weiss, Galatius, Lindell などによる）に基づき、安定性の勾配の可能な上限値を示している。例えば、写像類群およびハンドルボディ群に対する勾配 $1/4$ は鋭い（sharp）と予想しているが、ブレイド群に対する勾配 $1/17$ は最適ではなくない（おそらく $1/3$ の境界がある）と考えている。また、ブレイド群のケースにおける分割の長さへの依存性も、改善の余地があることが指摘されている。