Emerton--Gee stacks, Serre weights, and Breuil--Mézard conjectures for $\mathrm{GSp}_4$

技術要約：Emerton–Gee スタック、Serre 重み、および $GSp_4$ に対する Breuil–Mézard 予想

1. 問題設定と背景
本論文は、mod $p$ ラングランズ・プログラムおよび Serre 予想の重みの部分を、一般線形群 $GL_n$ から シンプレクティック・シミリチュード群 $GSp_4$ へと拡張することに取り組んでいる。Emerton–Gee スタック（$p$ 進ラングランズ・パラメータのモジュライ・スタック）および潜在的に結晶的な変形環の局所モデルの理論は、$GL_n$ に対しては（特に Le, Le Hung, Levin, および Morra によって）確立されているが、$GSp_4$ の場合は重大な構造的課題を提示している。具体的には、$GSp_4$ はそのクリンゲン・パラボリック部分群において非アーベル的なべき零根（unipotent radical）を持つため、拡張の族の構成および変形環の解析が複雑化する。主要な目的は、$GSp_4$ のための Emerton–Gee スタックを構築し、その潜在的に結晶的な部分スタックに対する局所モデルの理論を展開し、これらの幾何学的道具を用いて、$GSp_4$ に値を持つ大域的ガロア表現に対する Breuil–Mézard 予想および Serre 予想の重みの部分を証明することである。

2. 手法
著者は、$p$ 進ホッジ理論、代数幾何学、および大域的パッチング論を組み合わせて用いている：

• シンプレクティック Emerton–Gee スタックの構築： 本論文は、ランク 4 のシンプレクティック射影的エタール $(\phi, \Gamma)$-加群のモジュライ・スタック $X_{Sym, K}$ を定義する。このスタックは、連続表現 $\rho: G_K \to GSp_4(A)$ を代数的に補間する。その構成は、$GL_4 \times GL_1$ の結果をシンプレクティックな設定へと一般化することに依拠しており、シンプレクティック加群と $GSp_4$ 値表現との間の同値性を利用している。
• 局所モデルと幾何学： 潜在的に結晶的な部分スタックを研究するために、著者は $GL_n$ に対して開発された局所モデルの理論を適応させる。これらのモデルは、$Res_{K/\mathbb{Q}_p} GSp_4$ に随伴する Pappas–Zhu 局所モデル内の閉部分多様体として構成される。決定的なステップは、これらの局所モデルのトーラス固定点における**一枝性（unibranch property）**を証明することである。これには、混合標数における素朴な局所モデルの特殊ファイバーを分析し、拡張アフィン・ワイル群を用いた組合せ論的データを通じて、既約成分を Serre 重みと一致させる作業が含まれる。
• 慣性的局所ラングランズ対応： 主要な技術的要素は、$GSp_4$ に対する慣性的局所ラングランズ対応の構築である。著者は、タームな慣性的 $L$-パラメータ $\tau$ に対し、タームなタイプ $\sigma(\tau)$（$GSp_4(k)$ の既約表現）を対応付ける。これには、デリーニュ–ルスティック表現の明示的な記述、およびパラボリック誘導（Siegel および Klingen パラボリック）およびテータ対応の下での挙動の分析が含まれる。
• 大域的パッチングと持ち上げ： 著者は、弱パッチング関手（weak patching functors）を構成するために、パッチング引数（Taylor–Wiles および Calegari–Geraghty に従う）を利用する。重要な要素は、連続表現 $G_K \to GSp_4(\mathbb{F})$ に対する結晶的な持ち上げの存在の証明である。これは、Klingen パラボリックに起因する非アーベル・コホモロジーの問題を扱う、Lin による既約群のための障害理論に依拠している。

3. 主な貢献と結果

• $X_{Sym, K}$ の幾何学的性質：

  • スタック $X_{Sym, K}$ は、Noetherian な形式代数スタックであることが証明されている。
  • ホッジ型 $\lambda$ と慣性的タイプ $\tau$ を持つ潜在的に結晶的な表現をパラメータ化する閉部分スタック $X^{\lambda, \tau}_{Sym, K}$ が構成され、それらが $\mathcal{O}$ 上に平坦な $p$ 進形式代数スタックであることが示されている。
  • 基底となる簡約部分スタック $X_{Sym, K, red}$ は、次元 $4[K:\mathbb{Q}_p]$ の等次元であり、その既約成分は Serre 重みによって自然にラベル付けされることが示されている。

• 局所モデル理論と一枝性：

  • 正則なホッジ型 $\lambda$ および十分に生成的なタームな慣性的タイプ $\tau$ に対して、局所モデル $M(\lambda, \nabla^a_\tau)$ は、任意のトーラス固定点において**一枝的（unibranch）**であることが証明されている。
  • 系： この幾何学的結果は、タームな $\rho$ に対して、潜在的に結晶的な変形環 $R^{\lambda, \tau}_\rho$ が（非ゼロであれば）整域であることを意味する。これはパッチング引数のための極めて重要な結果であり、パッチされた加群の台が変形環のスペクトラム全体になることを保証する。

• $GSp_4$ に対する慣性的局所ラングランズ：

  • 定理 2.4.1 は、滑らかな表現 $\pi$ が $GSp_4(K)$ の特定のタームなタイプ $\sigma(\tau)$ を含むならば、その $L$-パラメータの慣性群への制限が $\tau$ と同型であることを確立している。この結果は、局所変形環と大域的自明形式を結びつけるために不可欠である。

• 予想への適用：

  • Breuil–Mézard 予想： 幾何学的 Breuil–Mézard 予想は、生成的な慣性的タイプの下で、タームな潜在的に結晶的な変形環に対して定式化され、証明されている。変形環の特殊ファイバーにおける Serare 重み $\sigma$ の多重度は、局所モデルの幾何学を用いたサイクル交差数として表現される。
  • Serre 予想の重みの部分： Taylor–Wiles 条件を満たし、$p$ においてタームな生成性を有する大域的ガロア表現 $r: G_F \to GSp_4(\mathbb{F})$ に対して、モジュラーな Serre 重みの集合 $W(r)$ は、組合せ論的に定義された集合 $W^?(\rho|_{I_F})$ に一致することが証明されている。
  • モジュラリティ持ち上げ： 正則なホッジ型および十分に生成的な慣性的タイプを持つ、タームな潜在的に結晶的な表現に対するモジュラリティ持ち上げ定理が証明されている。もし表現 $r'$ が自明的であり、$r$ と法 $p$ で合同であれば、$r$ もまた自明的である。

4. 意義と主張
本論文は、Emerton–Gee スタックおよび局所モデルの基礎的な枠組みを $GL_n$ から $GSp_4$ へと一般化することを主張しており、これはシンプレクティック群に対する mod $p$ ラングランズ・プログラムを進展させるために必要なステップである。その意義は以下の点にある：

1. 非アーベル的な障害の克服： Klingen パラボリックの非アーベル的なべき零根を巧みに扱い、拡張の族の構成および結晶的な持ち上げの存在の証明を実現した。これは、$GSp_4$ においてこれまで未解決であった困難であった。
2. 幾何学的厳密性： $GSp_4$ の局所モデルの一枝性を確立した。これは、変形環が整域であることを導くために必要な非自明な幾何学的性質である。これにより、これまで $GL_n$ に限定されていたパッチング手法の適用が可能となった。
3. 予想の検証： 生成性の仮定の下で、$GSp_4$ に対する Breuil–Mézard 予想および Serare 予想の重みの部分に関する最初の証明を提供し、これらの深い数論的結果の範囲を一般線形群を超えて拡張した。

これらの結果は、幾何学的および組合せ論的な議論が成立するために必要とされる、慣性的タイプおよびホッジ重みの $p$ に対する「生成性」に強く依存している。結果は、特定の全域的な自明的持ち上げの存在および Taylor–Wiles 条件の妥当性に依存する形で提示されており、これは現在のモジュラリティ持ち上げにおける最先端の状態と一致している。