A de Rham weight part of Serre's conjecture and generalized mod $p$ BGG decompositions

技術要約：セールの予想のデ・ラム（de Rham）重み部分と一般化された mod $p$ BGG 分解

問題設定
本論文は、シムラ多様体における「セールの予想の重み部分」を取り上げ、エタール・コホモロジーとセールの重みを用いた古典的な定式化と等価な、デ・ラム・コホモロジーによる定式化を求めている。

• 古典的な定式化: シムラ多様体 $Sh$ とハイゼンベルク代数の極大イデアル $\mathfrak{m}$ に対して、モジュラー・セールの重みの集合 $W(\mathfrak{m})$ は、エタール・コホモロジー $H^\bullet_{\text{ét}}(Sh_{\overline{\mathbb{Q}}_p}, F(\lambda))_\mathfrak{m}$ に現れる $G(\mathbb{F}_p)$ の既約 $\mathbb{F}_p$ 表現 $F(\lambda)$ である。
• ギャップ: 余係数コホモロジー（自明な型であるオートモーフィック形式）は架け橋となるが、セミ単純ランク $\ge 2$ の群（例：$GL_3, GSp_4$）の場合、既約表現 $F(\lambda)$ は必ずしも双対ワイル・加群 $V(\lambda)_{\mathbb{F}_p}$ の制限と同型ではない。したがって、次数 0 の余係数コホモロジー $H^0(Sh^{\text{tor}}, \omega(\lambda+\eta))_\mathfrak{m}$ の非消滅性は、どのジョルダン＝ヘルダー因子がモジュラーであるかを区別するには不十分である。
• 提案されたアプローチ: 著者は、既約代数表現 $L(\lambda)$ のデ・ラム・コホモロジー $H^\bullet_{\text{dR}}(Sh^{\text{tor}}, L(\lambda))_\mathfrak{m}$ を研究することを提案する。中心となる予想は、デ・ラムの重みの集合 $W_{\text{dR}}(\mathfrak{m})$ が、モジュラー・セールの重みの集合 $W(\mathfrak{m})$ と一致することである。

手法
本論文は、デ・ラム実現関手と標数 $p$ における明示的な表現論を組み合わせた幾何学的アプローチを採用している。

1. デ・ラム実現関手: 著者は、共著論文 [Ort26] で構成された、パラボリック・ベルム・加群をベクトル束に、加群間の写像を微分作用素（具体的にはテータ連結写像）に写す関手 $\Psi: D^b(\mathcal{O}_{P, \mathbb{F}_p}) \to D^b(C_{Sh/\mathbb{F}_p})$ を利用する。
2. 一般化された mod $p$ BGG 分解: 核心となる技術的作業は、mod $p$ パラボリック・カテゴリー $\mathcal{O}_{P, \mathbb{F}_p}$ の単純加群 $L(\lambda)$ に対する明示的な「一般化された mod $p$ BGG 分解」を構成することである。
   • 最低アコーブ（alcove）の場合の BGG 分解はベルム加群の直和であるが、ここでは、これらの分解の**フィルター（filtration）**を構成する。
   • これらのフィルターの次数成分は、非自明な写像によって連結されたベルム加群（または既約 $M$-表現）の複体である。
   • この構成は、$GL_3$ および $GSp_4$ における $p$-制限アコーブの具体的な幾何学、連結順序 $\uparrow$、および形式的指標に依存している。
3. コホモロジー分析: これらの分解に $\Psi$ を適用することで、$L(\lambda)$ のデ・ラム複体にフィルターをもたらす。著者は以下の手法を用いて、次数成分のコホモロジーを分析する：
   • オートモーフィック・ベクトル束の高次余係数コホモロジーの消滅結果（[Yan25], [GK18a] より）。
   • テータ連結写像の単射性（[Ort26] より）。
   • セール双対性と、フラッグ・シムラ多様体のエケダール・オート（Ekedahl-Oort）層化。
   • 高次コホモロジー群を分析するための、最低アコーブ BGG 複体を「$p$-平行移動（$p$-translating）」するという新しい手法。

主要な貢献と結果

1. 同値性と集中に関する予想

• 予想 1.1: $W_{\text{dR}}(\mathfrak{m}) = W(\mathfrak{m})$ （強形式）を提案し、生成的でない（non-Eisenstein）$\mathfrak{m}$ に対して、生成的部分集合が一致すること（弱形式）を提案する。
• 予想 1.2: 生成的な $\lambda$ に対して、デ・ラム・コホモロジー $H^\bullet_{\text{dR}}(Sh^{\text{tor}}, L(\lambda))_\mathfrak{m}$ が中央次数に集中することを提案する。本論文では、エタール・コホモロジーが中央次数に集中する場合（多くのケースで既知）、予想 1.2 が予想 1.1 を含意することを証明している。

2. $GL_3$ に対する明示的な BGG 分解

• 定理 1.3 / 命題 3.7: $G_{\mathbb{Q}_p} = GL_3 \times \mathbb{G}_m$ であるコンパクト・ユニタリー・シムラ多様体に対して、上部アコーブにある $\lambda_1$ に対する $L(\lambda_1)$ の 3 ステップ・フィルターを構成する。
• 次数成分には以下が含まれる：
  • 複体 $[0 \to \text{Ver}_P W(\lambda_0) \xrightarrow{\phi} \text{Ver}_P W(\lambda_1)]$ （ここで $\phi$ は非ゼロの写像）。
  • 既約表現 $LM(\mu_1)$ を含む項。
  • $\nu_0, \nu_1$ に関する双対複体。
• 結果: これにより、上部アコーブにおける生成的な重みに対してデ・ラム・コホモロジーが中央次数に集中することが証明される（定理 4.4）。これは、非最低アコーブの重みがテータ連結写像の余核を通じて検出可能であることを示すことで、モジュラー形式とセールの重みの関係を精緻化するものである。

3. $GSp_4$ に対する明示的な BGG 分解

• 命題 3.9 & 3.10: シーゲル・スリーフォールド（$GSp_4$）の $C_1$ および $C_2$ アコーブにおける $L(\lambda)$ の 4 ステップ・フィルターを構成する。
• 新しい消滅結果: $C_2$ アコーブを扱うため、非優位な重みに対する次数 2 の余係数コホモロジーに関する新しい消滅結果を、エケダール・オート層化と重みの除去を用いて証明する（命題 4.10, 4.12）。
• 高次テータ写像の単射性: 「$p$-平行移動された」最低アコーブ BGG 複体と Deligne-Illusie [DI87] の結果を用いて、特定のテータ連結写像がコホモロジー次数 1 において単射であることを証明する（命理 4.16）。これは以前は到達不可能であった。

4. $GSp_4$ の生成的包含関係

• 定理 1.6 / 定理 4.17: [Ort24] の「弱い包含（weak entailment）」を、$GSp_4$ に対する完全な「生成的包含（generic entailment）」へとアップグレードする。
• 具体的には、生成的な $\lambda_0 \in C_0$ および非アイゼンシュタイン $\mathfrak{m}$ に対して：
  $$F(\lambda_0) \in W(\mathfrak{m}) \implies F(\lambda_2) \in W(\mathfrak{m})$$
  ここで $\lambda_2$ は $\lambda_0$ の特定のアフィン・ワイル反射である。
• この結果は、テイラー＝ワイル法に依存することなく、BGG 分解の構造と次数成分のコホモロジー的性質から完全に導出される。

意義と主張

• コホモロジーの架け橋: 本論文は、デ・ラム・コホモロジー（余係数コホモロジーとテータ写像によって計算可能）とセールの重みのモジュラリティとの間の具体的な関連性を確立している。デ・ラムの枠組みが、高ランクにおいて直接和分解が存在しないためにエタール・コホモロジーだけでは見えないセールの重みの情報や、次数 0 の余係数コホモロジーよりも精緻な情報を捉えていることを示している。
• 明示的な計算: 最低アコーブを超えた高次アコーブにおける重みのための BGG 分解の明示的な構成が、主要な貢献である。これらの分解は、モジュラー・セールの重みの性質を支配する異なる重み間の非自明な相互作用（テータ連結写像を介して）を明らかにする。
• 方法論の進展: 「$p$-平行移動された」BGG 複体の導入と、高次コホモロジー次数におけるテータ写像の単射性の証明は、mod $p$ オートモーフィック形式の研究に新しいツールを提供する。
• 謙虚な姿勢: 著者は、$GL_3$ および $GSp_4$ の特定の場合においてデ・ラム・コホモロジーの生成的集中が証明されているものの、すべての $GSp_4$ の重みに対してこれを証明することは現在の手法では困難であることを述べている。また、強形式の予想は任意の優位な重みに対しては成立しないこと（例 2.3）を明示し、局所ガロア表現に関する特定の生成条件や $p$-制限された重みへと範囲を限定している。

要約すると、本論文は、明示的な mod $p$ BGG 分解を用いることで、高ランクの群におけるセールの重みのモジュラー性を解明し、デ・ラム版セールの予想を定式化し、部分的に証明するための幾何学的および表現論的な枠組みを提供している。