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

技術的サマリー：ユークリッド数環上の特殊線形群の主要合同部分群の最高次コホモロジー

問題提起
本論文は、$R$ をユークリッド数環、$\mathfrak{p}$ を素イデアルとするとき、特殊線形群 $SL_n(R)$ の主要合同部分群 $\Gamma_n(\mathfrak{p})$ の最高次数のコホモロジーを調査する。Borel–Serre 双対性により、これらの算術群の最高次数 $\nu$ におけるコホモロジーは、$\Gamma_n(\mathfrak{p})$ の作用下での Steinberg 加群 $St_n(K)$（ここで $K$ は $R$ の分数体）の共変量に同型である。

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 加群を関連付けるスペクトル系列の議論という 2 つの主要な構成要素に依存している。

1. 単体複素と連結性：
   著者らは、「行列式-$U$ 部分 $U$-基底」の複素 ($BDU_n$) とその「拡張版」($BDAU_n$) を定義し、分析する。ここで $U$ は $R$ の単数群の剰余体 $F = R/\mathfrak{p}$ への像である。

   • MPP が用いた複素 $BDA^\pm_n(\mathbb{F}_p)$ を一般化する。
   • 重要な技術的革新：MPP は（特に $\mathbb{Z}$ に対して）Steinberg 加群の Bykovskii 表示に依存して高連結性を証明したのに対し、本論文は $BDAU_n(F)$ の高連結性に対する自己完結的な証明を提供する。
   • 著者らは、$F$ と $U$ が特定の代数的条件（以下に詳述）を満たす場合、複素 $BDAU_n(F)$ が $(n-1)$-連結であることを証明する。これには以下の要素が含まれる：
     • より大きな基底の複素から行列式複素への縮退（retraction）の構成。
     • 指定された条件下で、ホモトピー群の生成元である「初期 D-三角形写像」と「初期 D-サスペンド写像」が零ホモトピックであることを示す。
     • 基底ケース ($n=2$) を、特定の環と素数の対に対して $BDAU_2(F)$ が 1-連結（単連結）であることを示すことで検証する。

2. スペクトル系列と Steinberg 加群：
   第 2 の構成要素は、単体複素のホモロジーと 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$ が 5 つの特定の条件を満たす場合、これは同型となる：

  1. $F^\times/U \cong C_2$（位数 2 の巡回群）。
  2. $U$ 内の単数を用いた $F^\times \setminus 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 乗単位根である。

• 再帰的階数公式：
  同型を利用し、本論文は最高次コホモロジー群 $\tilde{H}_{n-2}(T_n(K)/\Gamma_n(\mathfrak{p}))$ の階数を計算するための再帰的公式（命題 3.24）を提供し、$\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. 全射性：本論文は、$F$ と $U$ に関する特定の条件に関わらず、$n \geq 2$ に対して写像が常に全射であることを確立しており、それ自体が堅牢な結果である。

著者らは範囲に関して謙虚であり、同型のための十分条件の集合を提供しているが、これらの条件が必要条件であると主張しているわけでも、リストされた例を超えてこれらの条件を満たす他の環と素数の対が存在するかどうかを現時点で知っているわけでもないことに言及している。