技術的要約：GSp(4)におけるブロッホ–カト予想について

1. 問題設定と背景

本論文は、種数2のシーゲル・モジュラー形式のスピン・モチーフに付随するオイラー系の、明示的な互逆律（explicit reciprocity law）を扱うものである。著者である David Loeffler と Sarah Livia Zerbes は、[LSZ22] および [LZ24] における先行研究に基づき、$GSp_4/\mathbb{Q}$ の自己共役表現 $\Pi$ から生じる4次元の $p$ 進スピン・ガロア表現 ($V_\Pi$) に対するオイラー系を構成している。

[LSZ22] におけるオイラー系の構成は、そのシステムが $p$ における局所化と $L$ 関数の臨界値と関連付ける明示的な互逆律を満たすという仮定に依存していた。この互歴律がなければ、オイラー系全体がゼロである可能性を排除することが不可能であり、算術的な応用が制限されていた。

本論文の主要な目的は、この欠落していた明示的な互逆律を証明することである。具体的には、コホモロジー類 $z[\Pi,q,r]_{can}(\chi)$ のブロッホ–カト・対数写像による像を、$p$ 進スピン $L$ 関数の非臨界値として計算することを目指している。

2. 方法論と戦略

明示的な互逆律（定理A）の証明は、エタール・コホモロジー、剛体コホモロジー、および連接コホモロジーを橋渡しする多段階の戦略を通じて達成される。この戦略は以下の5つの段階で構成される。

ステップ 1：有限多項式コホモロジーにおけるペアリングへの還元

著者らは、オイラー系クラスのブロッホ–カト・対数を、Nekovář–Nizioł の有限多項式 (fp) コホモロジーにおけるペアリングとして表現する。Lemma–Flach クラスの同変性を用いて、問題を特定のタイプのテスト・データ（Klingen型）へと還元する。互逆律の左辺は、シントミック $GL_2 \times GL_2$ アイゼンシュタイン・クラスの押し出しと、de Rham コホモロジー類 $\eta_{dR}$ の Nekovář–Nizioł fp-コホモロジーへの持ち上げとのカップ積として再定式化される。

ステップ 2：乗法的・通常の軌道への還元

計算を明示的に行うために、著者らは Nekovář–Nizioł コホモロジーを Besser の剛体シントミック・コホモロジーに置き換える。重要な技術的革新は、部分コンパクト支持付きコホモロジー (cohomology with partial compact support) の導入である。これにより、特殊ファイバーが滑らかなシムラ多様体の「乗法的・通常の」軌道 ($Y^m_{G,Kl}$) に計算を限定することが可能となる。このステップにより、シムラ多様体全体にわたるフロベニウス持ち上げの欠如を回避し、適切な支持条件を持つ通常の軌道のコホモロジー内で計算を行うことができる。

ステップ 3：連接コホモロジーへの還元

剛体シントミック・コホモロジーにおけるペアリングは、さらに連接コホモロジーにおけるペアリングへと還元される。これは以下の2つの新しい要素に基づいている：

1. 部分コンパクト支持付き理論： 第14節で展開された、ある境界層へはコンパクト支持を持ちつつ、他の層には持たないコホモロジーを扱う形式論。
2. ポズナン・スペクトル系列 (The Poznań Spectral Sequence)： シントミック（または有限多項式）コホモロジーと、連接コホモロジー上のフロベニウス多項式の写像ファイバーとを結ぶ新しいスペクトル系列（命題 18.4.3）。これは、Frölicher スペクトル系列のシントミック版として機能する。

このステップは、レギュレーターを Pilloni の高次 Hida 理論で研究されている連接コホモロジー類へと接続する。

ステップ 4：レギュレーターの計算

著者らは、連接コホモロジーにおける結果としてのペアリングを計算する。彼らは $GSp_4$ と $GL_2 \times GL_1 GL_2$ 上のヘッケ作用素の関係式を利用して、式を簡略化する。計算により、レギュレーターは2つの項 $L_1$ と $L_2$ （$p$ 進測度の特殊値）の線形結合へと還元される。

• 局所ゼータ積分による計算を通じて、$L_2$ が恒等的に消滅することを示す。
• $L_1$ が [LP+21] で構成された $p$ 進 $L$ 関数の非臨界値に対応することを示す。

ステップ 5：臨界値への変形（定理 B）

より強力な定理 B（巡回的ねじれに対するオイラー系を確立するもの）を導出するために、著者らは $p$ 進族を用いる。重みが変化する「Siegel 型」の Hida 族を検討する。

• 「モチーフ的」 $p$ 進 $L$ 関数（Perrin-Riou レギュレーターを介してオイラー系から導出されたもの）と、「解析的」 $p$ 進 $L$ 関数（[BD+25] の結果を用いた $GL_4$ への関手的転送を介して構成されたもの）を比較する。
• これら2つの関数の比が、消えることのないスカラーであることを示すことで（Mazur と Rubin によるオイラー系と「大きな像」に関する結果を用いた矛盾による議論）、オイラー系クラスが非ゼロであり、そのレギュレーターが正確に $p$ 進 $L$ 関数であることを証明する。

3. 主要な貢献と技術的革新

• 明示的な互逆律： 本論文は、シーゲル・モジュラー形式のスピン・モチーフに対する明示的な互逆律の最初の証明を提供し、オイラー系クラスと $p$ 進 $L$ 値を関連付けた。
• 部分コンパクト支持： 剛体および連接コホモロジーの部分コンパクト支持に関する理論の開発（第14節）は、滑らかな開部分集合（通常の軌道）を孤立させつつ境界挙動を制御することにより、非固有かつ非滑らかなスキーム上での計算を可能にする。
• ポズナン・スペクトル系列： シントミック・コホモロジーと連接コホモロジーを結ぶスペクトル系列（命題 18.4.3）の導入は、次数ゼロの連接コホモロジーだけでは不十分な設定においてレギュレーターを計算するための新しいツールを提供する。
• $p$ 進 $L$ 関数の比較： 「連接的」 $p$ 進 $L$ 関数（高次 Hida 理論を通じて構成）と「ベティ的」 $p$ 進 $L$ 関数（$GL_4$ への関手的転送を通じて構成）の間の架け橋を確立し、それらが比例することを証明した。

4. 主要な結果

定理 A (明示的な互逆律)

非端点型（non-endoscopic）、非 CAP 型、かつ大域的に生成的な $GSp_4$ の自己共役表現 $\Pi$ が、$p$ において Klingen-ordinary であり、$r_1 - r_2 \ge 3$ であるとき、コホモロジー類 $z[\Pi,q,r]_{can}(\chi)$ のブロッホ–カト・対数による像は以下で与えられる：
$$\langle \nu_{dR}, \log_{BK} z[\Pi,q,r]_{can}(\chi) \rangle = (\star) \times L_{p,\nu}(\Pi, \chi; -1-r_2+q, r)$$
ここで $(\star)$ は明示的な非ゼロ因子であり、$L_{p,\nu}$ は [LP+21] による2変数スピン $p$ 進 $L$ 関数である。

定理 B (オイラー系と Perrin-Riou レギュレーター)

より強い仮定（Borel-ordinary、レベル 1、$r_1 - r_2 \ge 6$、および「大きな像」の条件）の下で、$V_\Pi^*(-1-r_2)$ に対するオイラー系が存在し、その Perrin-Riou 巡回的レギュレーター写像による像は、1変数 $p$ 進 $L$ 関数 $L_p(\Pi, j)$ である。

定理 C (イワサ理論の主予想)

定理 B の条件を仮定すると、モジュール $\tilde{H}^2_{Iw}(\mathbb{Q}(\mu_{p^\infty}), V)$ はイワサ代数上で捩れであり、その特性イデアルは $p$ 進 $L$ 関数 $L_p(\Pi, j)$ を割り切る。これは、これらのモチーフに対するイワサ主予想の一方の包含関係を確立するものである。

定理 D (ブロッホ–カト予想)

定理 B の条件を仮定すると、もし複素 $L$ 値 $L(\Pi \otimes \rho, \frac{1-r_1+r_2}{2} + j) \neq 0$ （$\rho$ は有限次文字）ならば、セルマー群 $H^1_f(\mathbb{Q}, V(-j-\rho))$ は消滅する。これは、臨界的なねじれにおける解析的ランク 0 でのブロッホ–カト予想を証明するものである。

5. 意義と範囲

本論文は、オイラー系のメカニズムを起動するために必要な明示的な互逆律を証明することにより、シーゲル・モジュラー形式の算術における決定的なギャップを解消したと主張している。その結果は以下の点で重要である：

• イワサ理論： $GSp_4$ のスピン・モチーフに対するイワサ主予想の最初の包含関係の結果を提供している。
• ブロッホ–カト予想： これらの表現の解析的ランク 0 のねじれに対する予想を証明している。
• 方法論： 開発された手法、特に部分コンパクト支持とポズナン・スペクトル系列の使用は、オイラー系が存在しても $L$ 値を次数ゼロの連接コホモロジーのみで表現できない設定（例：ヒルベルト・モジュラー形式のアサイ表現）にも適用可能である。

著者らは、簡潔な議論のために単純化された仮定（レベル 1、高い正則性）が課されているが、核となるレギュレーター公式（定理 A）は、緩やかな重みの条件（$r_1 - r_2 \ge 3$）の下で任意のレベルに対して証明されていると述べている。将来的な課題として、これらの条件を緩和し、他の群やモチーフにこれらの手法を適用することが期待されている。