Adjoint Bloch--Kato Selmer groups of regular algebraic automorphic Galois representations

技術要約：正則代数的な自己共役ガロア表現の随伴ブロック–カトー・セルマー群

問題設定
本論文は、CM数体 $F$ 上の $\text{GL}_n$ の正則代数的な自己共材的表現から導かれるガロア表現 $\rho$ に付随する、随伴ブロック–カトー・セルマー群 $H^1_f(F, \text{ad } \rho)$ の消滅について扱っている。この群は、フォンテイン–ムザー予想、ベイリンソン予想、およびブロック–カトー予想によって消滅することが予想されている。特定のケース（特に「欠損 0」またはテイラー–ワイルズの設定）では無条件の結果が存在するが、「正の欠損」の設定（関連する局所対称空間のコホモロジーに捩れが存在し、単一の次数に集中していない場合）へとこれらの結果を拡張することは、依然として大きな課題であった。

正の欠損の設定における主要な困難は、パッチング論法において単純な加群ではなく複体（complexes）を扱う必要があることである。これは、通常のテイラー–ワイルズ条件を満たす剰余表現による制御が提供されないため、パッチされた複体の性質（例：ダイヤモンド演算子の環上で有限生成であることの保証）を制御する必要があることから、$R=T$ 定理の適用を複雑にしている。さらに、従来のアプローチでは、$\rho|_{F(\zeta_p)}$ に関する特定の既約性や非自明性などの条件のように、剰余表現 $\text{mod } p$ に対する強い条件を必要としていた。

手法
著者らは、ランクが有界でないコホモロジー群を持つ可能性のある複体を扱うために適応された、超フィルターを用いた洗練されたパッチング論法を用いている。その手法は、以下の主要な技術的段階を経て進行する：

1. 複体のための超パッチング（Ultra-patching for Complexes）： 著者らは、一連のテイラー–ワイルズ・レベル上の非主超フィルターを用いて、パッチされた複体 $M_{\infty, \bullet}$ を構成する。従来の著作が加群をパッチしていたのに対し、この構成は格子 $V^\vee_\lambda$ を係数とする単体鎖の複体をパッチするものである。
2. べき零核の制御： パッチされた設定における $R=T$ 型の同型は、べき零イデアルの範囲内でのみ有効であるという点が中心的な技術的障壁となる。これを克服するため、著者らは [AC23] で導入された手法を利用する。これは、生成的点における局所変形環の $\mathbb{Q}_p$ ファイバーの滑らかさを活用するものである。これにより、大域的な同型にべき零の誤差が存在する場合でも、ザリスキー接空間（したがってセルマー群）の性質を導き出すことが可能となる。
3. 判別演算子を用いた二段階パッチング： 著者らは、「判別式」ヘッケ演算子 $\delta$ を含む新しい二段階のパッチング過程を導入する。
   • まず、モジュラー形式の空間 $H_{Q_N}$（環 $\mathbb{Z}_p[x]/(x^{p^r}-1)$ 上の自由加群）を、パッチされた対象 $\tilde{H}^r$（環 $\mathbb{Z}_p[x]/(x^{p^r})$ 上の自由加群）に置き換える。
   • この拡張により、局在化 $\delta \tilde{H}^r_q$ が $\mathbb{Q}_p[x]/(x^{p^r})$ 上で自由となり、テイラー–ワイルズの点における球形レベルとイワホラ・レベルの差を事実上排除できる。
   • これにより、既知の議論が適用可能な正則局所環（例：$\mathbb{Q}_p[[x]]$）上の標準的なパッチング設定を回収できる。
4. 局所–大域的適合性： 証明は、共著論文 [Hev26] および [AHTW26] で確立された、$\ell \neq p$ および $\ell = p$ における無条件の局所–大域的適合性の結果に依存している。これらの結果は、ホッジ–テイト周期写像に関するコホモロジーの分解が適切に振る舞うことを保証するために、「分解された生成的（decomposed generic）」という条件の下で適用される。

主要な貢献と結果
主な結果は、剰余表現 $\text{mod } p$ ではなく、$p$ 進ガロア表現のみに課された条件の下での随伴ブロック–カトー・セルマー群の消滅を確立することである。

• 主定理 (Theorem 5.1): $F$ を CM 体とし、$\pi$ を $\text{GL}_n(\mathbb{A}_F)$ の尖点かつ正則代数的な自己共材的表現とする。$\rho = r_{\pi, \iota}$ を関連するガロア表現とする。もし以下を満たすならば：

  1. イメージ $\rho(G_F(\zeta_{p^\infty}))$ が（[NT23] の意味で）「巨大（enormous）」であること。
  2. $\text{ad } \rho$ によって切られる拡大 $L/F(\zeta_{p^\infty})$ が $H^1(L/F, \text{ad } \rho(1)) = 0$ を満たすこと。
  3. すべての $v|p$ または $\pi_v$ が分岐する点 $v$ において、$\rho|_{G_{F_v}}$ が生成的（generic）であること。
     ならば、$H^1_f(F, \text{ad } \rho) = 0$ である。

• 系:

  • 純粋な表現 (Corollary 5.2): $\rho$ が純粋（多くの自己共材的表現が満たす条件）であれば、消滅が成り立つ。
  • 極化可能な表現 (Corollary 5.3): 極化可能な表現（例：共役自己双対な自己共材形式に関連するもの）については、イメージが巨大であるという条件の下で消滅が成り立つ。この結果は、自己双対部分だけでなく $F$ 上の完全な随伴表現をカバーしている点で、先行研究 [NT23] よりも厳密に強いものである。
  • 楕円曲線の対称冪 (Corollary 5.4): $\text{End}(E_F) = \mathbb{Z}$ である $F$ 上の楕円曲線 $E$ に対して、$H^1_f(F, \text{ad } \text{Sym}^n V_p E) = 0$ がすべての $n \ge 1$ で成立する。

意義と主張
本論文の主要な新規性は、剰余表現 $\text{mod } p$ ではなく、$p$ 進ガロア表現のみに条件を課している点にある。これにより、剰余表現に対する「テイラー–ワイルズ条件」の必要性が排除され、これは従来の「欠損 0」の結果における重要な制限であった。

著者らは、自らの議論が、コホモロジー群に有意な捩れが存在する「正の欠損」の設定を扱うことを可能にすると明言している。複体をパッチし、その結果生じるべき零核を制御する方法を開発することで、随伴ブロック–カトー消滅の結果の範囲を、より広範な自己共材的表現へと拡張している。この研究は、特定のクラスの表現（例：純粋なワイル・デリクレ・表現を持つもの）に対する無条件の結果として提示されており、それらは「巨大なイメージ」条件や生成性を通じて（例えば、楕円曲線に対するセールの開イメージ定理を通じて）実用的に検証可能なものである。

本論文は、ブロック–カトー予想を全般的に解決すると主張しているのではなく、随伴セルマー群が消滅する新たな無条件のケースを確立しており、それによって予想の事例を提供し、ガロア変形理論およびラングランズ・プログラムへのさらなる応用のためのツールを提供している。