Arithmetic of critical $p$-adic $L$-functions

技術要約：臨界 $p$ 進 $L$-関数の算術

1. 問題設定と背景
本論文は、$\theta$-臨界点における、カスピダルな Coleman–Mazur–Buzzard 自明固有曲線（eigencurve）上のモジュラー形式に関連する $p$ 進 $L$-関数の算術理論を扱う。モジュラー形式 $f_\alpha$（新形式 $f$ の $p$ 安定化）が $\theta$-臨界であるとは、$f_\alpha$ が $p$ 進 $\theta$-作用素 $\theta^{k-1}$ の像に含まれることを指す。

古典的な（非 $\theta$-臨界の）設定では、固有曲線は重み空間の上でエタールであり、$p$ 進 $L$-関数はモジュラー記号や Beilinson–Kato 元を用いて構成され、標準的な補間特性を満たす。しかし、$\theta$-臨界点 $x_0$ においては、重み写像は分岐しており（分岐指数 $e=2$）、固有曲線はもはやエタールではない。この幾何学的な退化は、「極端な例外的な零点（extreme exceptional zero）」現象を引き起こす。すなわち、特殊化された $p$ 進 $L$-関数 $L^{[0]}$ は臨界帯全体（$1 \le j \le k-1$）で消失し、一方で「二次的」 $p$ 進 $L$-関数 $L^{[1]}$（重みパラメータに関する微分）が非自明な補間データを保持することになる。

中心となる問題は、これらの臨界 $L$-関数に対して、以下の項目を含む完全な算術的枠組みを構築することである：

• ガロア・コホモロジーを用いた Bellaïche の $p$ 進 $L$-関数の「エタール」な構成。
• この退化した設定における岩澤主予想の定式化。
• 代数的な対応物（Selmer 複体）および、消失と主項を説明する $L$-不変量の定義。
• 二次 $L$-関数の微分の、$p$ 進高度（height）およびレギュレーターによる解釈。

2. 手法
著者らは、岩澤理論、 $p$ 進ホッジ理論、および Selmer 複体の形式論（Nekovář および Perrin-Riou によるもの）を統合して用いる。

• エタールな構成： Bellaïche の元の研究（モジュラー記号に依存）の代わりに、著者らは Beilinson–Kato 元を固有曲線上で補間することによって $p$ 進 $L$-関数を構成する。彼らは、Andreatta–Iovita–Stevens の過収束エタール・コホモロジーを利用して、$\theta$-臨界点の近傍 $X$ 上の「大きな」Beilinson–Kato クラス $z(X, \xi)$ を定義する。
• 固有空間遷移原理： 中核となる技術的革新は、「微分による固有空間遷移（eigenspace-transition via differentiation）」原理である。これは、ガロア表現の無限小変形に関する指数写像と、その結晶的（crystalline）な部分商に関する指数写像とを結びつけるものである。これにより、著者らは二次 $L$-関数（$L^{[1]}$）の補間特性を、傾きゼロ（slope-zero）の $L$-関数の性質から導出することができる。
• 厚い Selmer 複体（Thick Selmer Complexes）： 非半単純な無限小変形 $V_k$（ここで $V_k$ は固有曲線に沿ったガロア表現の変形である）を扱うために、著者らは厚い Selmer 複体を導入する。これらは環 $\tilde{E} = E[X]/(X^2)$ 上で定義され、$x_0$ における退化によって標準的な Selmer 群から失われた算術情報を捉える。
• 岩澤論的な $L$-不変量： 著者らは、岩澤コホモロジーにおける局所化写像の傾きとして、新しい不変量 $L^{cr}_{Iw}$ を定義する。この不変量は、臨界 $p$ 進 $L$-関数と古典的な傾きゼロの $L$-関数との間の架け橋として機能する。
• レギュレーターと高度： 著者らは、二変数 $p$ 進 $L$-関数の主項公式として、 $p$ 進高度ペアリングとレギュレーターに関連する公式を確立する。具体的には、$\mathcal{O}_X$-adic レギュレーターを定義し、二次 $L$-関数の微分がこのレギュレーターの二次の微分によって計算されることを示す。

3. 主な貢献と結果

• 臨界 $L$-関数のエタールな構成： 著者らは、Beilinson–Kato 元と固有曲線の三角形分割を用いて、Bellaïche の $p$ 進 $L$-関数（$L^{[0]}$ および $L^{[1]}$）の代替的な構成法を提供する。彼らは、この構成が Bellaïche のモジュラー記号による構成と一致することを証明する（定理 C）。
• 「固有空間遷移」原理： 著者らは、無限小変形のコホモロジーと結晶的部分表現のコホモロジーを、微分を通じて結びつける一般的な原理（命題 2.6）を確立する。これは、二次 $L$-関数の補間特性を証明するために極めて重要である。
• 岩澤論的な $L$-不変量 ($L^{cr}_{Iw}$): 著者らは岩澤論的な $L$-不変量 $L^{cr}_{Iw}(V_f)$ を定義し、臨界 $L$-関数のサイクロトミック的な改善が、傾きゼロの $L$-関数にこの不変量を乗じたものに等しいことを証明する（命題 F）。したがって、臨界 $L$-関数の非消失は $L^{cr}_{Iw}$ の非消失と等価である。
• 主予想:
  • 点的な主予想（Punctual Main Conjecture）: 著者らは、代数的な $L$-関数の加群を臨界 $L$-関数に関連付ける、臨界点における主予想を定式化する。彼らは、$L^{cr}_{Iw} \neq 0$ である限り、これが古典的な傾きゼロの主予想と等価であることを示す。
  • 無限小的な厚み付け（Infinitesimal Thickening）: 著者らは、厚い Selmer 複体を伴う主予想のより強力な「無限小的な厚み付け」 ($\tilde{MC}(f)$) を定式化する。この予想は、点的な予想および傾きゼロの予想の両方を包含する。
• 主項公式:
  • 著者らは、二変数 $p$ 進 $L$-関数の $\mathcal{O}_X$-adic 主項公式を証明する（定理 M）。
  • 決定的なことに、Hecke $L$-関数が中心臨界点において次数 1 で消失する場合、二次 $p$ 進 $L$-関数の微分は、レギュレーター自体ではなく、$\mathcal{O}_X$-adic レギュレーターの二次の微分によって計算されることを示す。これは、標準的な一次レギュレーターを含む主項公式とは対照的である。
• 非消失の結果: $f$ が複素乗法（CM）を持つ場合、著者らは、臨界 $L$-関数および岩澤論的な $L$-不変量が非ゼロであることを無条件に証明する（系 3.20）。これは、$\theta$-臨界の設定において主予想が成立する最初の具体的な例である。

4. 意義と主張
著者らは、本研究が、非臨界または非 $\theta$-臨界のシナリオに焦点を当てていた先行研究によって残された空白を埋める、「かなり完全な算術理論」を構築したと主張している。

• 退化の解決： 本論文は、「極端な例外的な零点」現象（$L$-関数が臨界帯上で消失する現象）を、ガロア表現の無限小変形の非半単純性の帰結として、見事に解釈している。
• 新しい不変量： 岩澤論的な $L$-不変量 $L^{cr}_{Iw}$ と厚い Selmer 複体の導入は、分岐点における固有曲線の算術を研究するための新しい道具を提供する。
• 高度との接続： レギュレーターの二次の微分を用いる主項公式の導出は、新しい結果として提示されており、退化したケースにおける $L$-値と $p$ 進高度との関係に対する新しい視点を提供している。
• 汎用性： 著者らは、彼らの抽象的な枠組み（特に固有空間遷移原理と厚い Selmer 形式論）が、$\theta$-臨界の場合の $p$ 進ランク・セルバーグ $L$-関数などの他の文脈にも一般化できることを示唆しているが、本論文ではそれらを明示的に構成してはいない。

本論文は、ここに提示された構成の基礎となる $p$ 進 $L$-関数と Selmer 複体に関する Joël Bellaïche および Jan Nekovář の基礎的な研究への追悼を捧げている。