Greenberg's $\mu=0$ conjecture for lisse sheaves over global function fields

技術的要約：大域関数体上の滑らかな層に関するグリーンバーグの $\mu = 0$ 予想

問題設定
本論文は、標数 $p > 0$ の大域関数体 $K$ 上の滑らかな $\mathbb{Z}_\ell$-層（$\ell \neq p$）に関連するセルマー群の構造について扱う。具体的には、一意な定数 $\mathbb{Z}_\ell$-拡大 $K_\infty/K$ におけるこれらの群のイワサ理論を調査している。中心となる問題は、セルマー群のポントリャーギン双対がイワサ環 $\Lambda = \mathbb{Z}_\ell[[\Gamma]]$ 上の有限生成捩れ加群であるか、そして決定的な点として、その $\mu$ 不変量がゼロであるかどうかを判定することである。これは、数体上の円分 $\mathbb{Z}_\ell$-拡大における楕円曲線やその他のガロア表現に対してグリーンバーグの $\mu = 0$ 予想が予測している内容の、正標数における類似である。

手法
著者は、エタール・コホモロジー、関数体の類体論、および変形理論を組み合わせた手法を用いている。

1. 幾何学的設定: 本研究は、有限体 $k = \mathbb{F}_q$ 上の滑らかで射影的かつ幾何学的に整な曲線 $X$ の幾何学的枠組みの中で構成されている。大域関数体は $K = k(X)$ である。拡大 $K_\infty$ は、定数拡大 $K \cdot k_\infty$（ここで $k_\infty$ は $k$ の一意な $\mathbb{Z}_\ell$-拡大）として定義される。
2. 層の理論: 研究の対象は、開アフィン部分スキーム $U \subseteq X$ 上の滑らかな $\mathbb{Z}_\ell$-層 $T$ である。関連する離散層 $W = T \otimes_{\mathbb{Z}_\ell} \mathbb{Q}_\ell/\mathbb{Z}_\ell$ および残留層 $M = T/\ell T$ を用いて、大域コホモロジー群 $H^1_{\text{et}}(U, \cdot)$ と $S = X \setminus U$ における局所条件を通じてセルマー群を定義する。
3. カルテジアン条件: セルマー構造が $\ell$ 倍に関して「カルテジアン（cartesian）」であるという技術的な仮定が重要である。これにより、$W$ と $M$ のセルマー群の間の互換性が保証され、残留セルマー群の有限性が完全なセルマー群の構造的性質を導くことが可能になる。
4. コホモロジーの消滅: 証明は、正標数におけるアフィン曲線上の構成可能層に関する高次コホモロジー群の消滅に大きく依存している。具体的には、定数拡大のガロア群 $G_{k_\infty}$ が $\ell$ と互いに素なプロ有限群であるという事実を利用し、有限 $\ell$-剰余加群 $N$ に対して $a > 0$ のとき $H^a(G_{k_\infty}, N) = 0$ となることを用いている。
5. 変形理論: 著者はこれらのコホモロジーの結果を、残留ガロア表現 $\bar{r}$ の変形理論に適用している。随伴表現 $\text{Ad}\bar{r}$ を構成可能層として分析することにより、$\bar{r}$ の変形関数の非障害性（unobstructedness）と $H^2$ の消滅を結びつけている。

主要な貢献と結果

• 定理 1.1 ( $\mu$ の消滅): 主要な結果は、$U$ 上の滑らかな $\mathbb{Z}_\ell$-層 $T$ に対して、セルマー群 $\text{Sel}_\mathcal{F}(W/K_\infty)^\vee$ のポントリャーギン双対が、$\mu$ 不変量がゼロであるイワサ環 $\Lambda$ 上の有限生成捩れ加群であることを確立している。これは、数体の設定でしばしば要求される既約性の仮定を課すことなく成立する。
• 定理 1.2 (弱レップレルト予想): 本論文は、滑らかな層に対する弱レップレルト予想の類似を証明しており、$H^2(G_S(K_\infty), W) = 0$ を示している。この消滅は、幾何学的基底変化 $U_{\bar{k}}$ 上のコホモロジー群の有限性と、定数拡大上のコホモロジーの消滅から導かれる。
• 定理 1.3 (変形環): 著者は、残留表現 $\bar{r}_\infty$（$G_S(K_\infty)$ に制限されたもの）のフレーム付き変形関数の、ウィットのベクトル環 $O = W(\mathbb{F})$ 上の形式的滑らかさを証明している。その結果、フレーム付き変形環は形式的冪級数環 $O[[x_1, \dots, x_m]]$ と同型になる。もし残留表現が非スカラーな自己準同型を持たない場合（$\text{End}(V_{\bar{r}}) = \mathbb{F}$）、非フレーム付き変形環もまた形式的冪級数環となる。
• 残留セルマー群の有限性: 重要な中間ステップとして、残留セルマー群 $\text{Sel}_\mathcal{F}(M/K_\infty)$ が有限であることを証明している。これは、ホッジ・シュレーゲル（Hochschild-Serre）スペクトル系列と定数拡大におけるコホモロジーの消滅を利用して、$H^1_{\text{et}}(U_\infty, M)$ が有限であることを示すことで達成される。

意義と主張
本論文は、グリーンバーグの $\mu = 0$ 予想の、決定的な正標数・素数外（prime-to-$p$）における類似を提供すると主張している。数体のケースでは、正の $\mu$ 不変性を防ぐために（マズルの例に見られるように）残留表現の既約性が不可欠であることが多いが、本結果は、関数体の定数 $\mathbb{Z}_\ell$-拡大上の滑らかな層に対して一般的に成立する。

著者は、関数体上の楕円曲線やアーベル多様体のセルマー群に関する、バンディーニ、ロンギらによるこれまでの基礎的な結果を拡張するものであると述べている。主な貢献は、任意の滑らかな $\mathbb{Z}_\ell$-層への一般化と、このより広い文脈における $\mu = 0$ 性の明示的な証明である。

さらに、本論文はこれらの結果が、関数体における変形環に関する強力な構造情報をもたらすことを強調している。具体的には、変形環自体に対するネーター的な仮定や、随伴表現に対する別途の $\mu = 0$ 仮定を必要とせずに、フレーム付き変形環が形式的冪級数環であることを証明している。関連するコホモロジー群 $H^2$ の消滅は、曲線の幾何学的性質と定数拡大の性質から直接導かれる。これにより、これらの関数体におけるサイクロトミック極限において、通常の変形が非障害（unobstructed）であることが確立される。