Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

技術要約：$\mu_p$-等変性による結晶的ガロア表現の剰余 $\text{mod } p$

問題設定
本論文は、セールの予想の「重みの部分」、すなわち、特定の $\text{mod } p$ ガロア表現を与える $\text{mod } p$ モジュラー形式（あるいはより一般的には自己共役形式）の可能な重みを決定する問題に取り組んでいる。$p$ 進ホッジ理論の文脈では、これは問い 1.1 に翻訳される：与えられた連続的な $\text{mod } p$ 表現 $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$ が与えられたとき、その剰余 $\bar{\rho} \simeq r$ となる結晶的表現 $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$ の可能なホッジ・テイト重みは何であるか？

予測される重みの集合は $r$ の $I_{\mathbb{Q}_p}$ への制限にのみ依存することが知られているが、どのような $\text{mod } p$ 表現が特定のホッジ・テイト重みを持つ結晶的表現から生じるかについての正確な特徴付けは、特に一般的な簡約群において、また生成性（genericity）の仮定がない場合には、未だ不完全なままであった。

手法
著者らは、現代的な $p$ 進ホッジ理論、特に**プリズム的コホモロジー（prismatic cohomology）**と、**アフィン・グラスマン多様体（affine Grassmannians）**を用いた幾何学的表現論を統合した手法を用いている。

1. プリズム的枠組みと $\mu_p$-等変性：
   核となる技術的革新は、ブレイル・キジン加群（Breuil–Kisin modules）が自然な $\mu_p$-等変構造 を持つことを発見したことにある。

   • ブレイル・キジン環 $S = W(k)[[u]]$ は、「ループ回転」（$u \mapsto \zeta u$）による群スキーム $\mu_p$（$p$ 乗根の集合）の作用を担う。
   • フロベニウス写像 $\phi: S \to S$ は $\mu_p$-等変である（標的側には自明な作用）。
   • 著者らは、結晶的表現に対して、その随伴するブレイル・キジン加群 $M$ が $\mu_p$-等変な「標準的な修正（canonical modification）」$N$ を持つことを証明している。決定的なのは、この修正の $\text{mod } p$ による剰余が、元の加群 $M$ の剰余と同型になることである（定理 4.2.3）。
   • この構造は、二つの構成を通じて確立されている。一つは $\text{Spf}(W(k))$ のプリズム化（prismatization）（具体的には標準的なプリズム写像とは異なる写像 $\rho^\dagger$）を用いたもの、もう一つは**シントミフィケーション（syntomification）およびナイガード・スタック（Nygaard stacks）**を用いたものである。

2. アフィン・グラスマン多様体の幾何学：
   著者らは、これらの加群の代数的性質を、アフィン・グラスマン多様体 $\text{Gr}_G$ の幾何学へと翻訳している。

   • 彼らは、ループ回転作用による固定点軌跡 $\text{Gr}_G^{\mu_p}$ を分析している。
   • 彼らは、標準的な優位順序（$\leq$）と、$p$ 倍されたアフィン・ワイル群によって定義される新しい半順序（$\uparrow$）との間の関係を確立している。
   • 主要な幾何学的結果（命題 2.4.10）は、アフィン・グラスマン多様体の $\mu_p$-固定点における閉包関係が、標準的なブルート順序や優位順序ではなく、$\uparrow$ 順序によって支配されていることを述べている。

3. 統合：
   $\mu_p$-等変構造を持つブレイル・キジン加群とアフィン・グラスマン多様体の幾何学を組み合わせることで、著者らは、ホッジ・テイト重み（加群のジェネリックファイバーにおける位置を決定する）と、$\text{mod } p$ 剰余の慣性重み（特異ファイバーにおける位置を決定する）との関係を結びつけている。

主要な貢献と結果

• 定理 1.2 (定理 5.5.6)： $\rho$ をホッジ・テイト重み $\mu$ を持つ結晶的表現とする。このとき、その $\text{mod } p$ 剰余の半単純化は、慣性への制限に関して、特定の半単純表現 $\tau(\lambda, w)$ と同型である。ここで、$\lambda$ と $\mu$ は半順序 $\lambda \uparrow \mu$ によって関連付けられ、$w$ はワイル群の元である。

  • これは、$\text{mod } p$ 剰余の慣性重みに対する必要条件を与える。
  • 関係 $\uparrow$ は、$p$ 倍されたアフィン・ワイル群における一連の反射を通じて定義され、標準的な優位順序を一般化したものである。

• 明示的なセールの重み予想 (予想 6.3.4)：
  著者らは、半単純な $L$-パラメータ $\rho$ に関連するセールの重み $W(\rho)$ の集合について、明示的な定式化を行っている。彼らは、$\uparrow$ 関係に基づく明示的な重みの集合 $W_{\text{explicit}}(\rho)$ を定義し、$W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$ という包含関係を証明している。ここで、$W_{\text{cris}}(\rho)$ は結晶的なリフトを許容する重みの集合である。

  • 彼らは、$W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$ であると予想しており、生成性の仮定を必要とせずに、一般的な非分岐簡約群に対して一様な候補集合を提供している。

• 除去の方向性：
  本論文は、セールの重み予想の「除去の方向（elimination direction）」を証明している。すなわち、ある重みが明示的に予測された集合 $W_{\text{explicit}}(\rho)$ に含まれない場合、それは与えられたホッジ・テイト重みを持つ結晶的表現から生じることはない。

• 既存文献との整合性：
  著者らは、彼らの明示的な重みの集合が、生成的なケースにおいて Gee–Herzig–Savitt の予測集合 $W_{\text{Her}}(\rho)$ と一致することを実証している（命題 6.4.6）。また、Buzzard–Diamond–Jarvis 予想の証明における主要な構造定理が、彼らの結果の直接的な系であることも述べている。

意義と主張
本論文は、結晶的ガロア表現の $\text{mod } p$ 剰余に対する新しい構造的制約を提供することを主張している。ブレイル・キジン加群に隠された $\mu_p$-等変構造を明らかにするためにプリズム的手法を用いることで、著者らはホッジ・テイト重み（標数 0 のデータ）と $\text{mod } p$ 剰余の慣性重み（標数 $p$ のデータ）の間の溝を埋めている。

その意義は以下の点にある：

1. 一般性： 結果は $\mathbb{Q}_p$ 上の非分岐な連結簡約群の $L$-パラメータに対して定式化されており、古典的な $\text{GL}_n$ のケースを超えて拡張されている。
2. 明示性： セールの重み予想の定式化は、組合せ論的な $\uparrow$ 順序に基づいて明示的であり、従来の定式化にしばしばつきまとう生成性の仮定を排除している。
3. 手法の転換： 証明は、古典的な $p$ 進ホッジ理論のみならず、アフィン・グラスマン多様体やプリズム的スタックの幾何学に依拠しており、結晶的なリフトとその剰余との関係に対する新しい視点を提供している。

著者らは、彼らの条件の十分性については控えめな姿勢をとっている。$\lambda \uparrow \mu$ は必要条件ではあるが、結晶的なリフトの存在を保証するには一般には不十分であると述べているが、それが（セールの予想に関連する）ホッジ・テイト重みが $p$-制限されている場合に十分になると予想している。