Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

「アルティン・モチーフのイワサワ理論と重み1のモジュラー形式」に関する技術的要約（アレクサンドル・マクドゥーダ著）

問題設定
本論文は、$\mathbb{Q}$ 上のアルティン・モチーフのイワサワ理論、特に数体 $E$ を係数とする既約なアルティン表現 $\rho$ に付随するグリーンバーグ・セルマー群の構造に焦点を当てている。この領域における中心的な課題は、このようなモチーフに対するイワサワ理論の主予想（Main Conjecture）を定式化することである。全実体上の表現に付随するモチーフのケースは（ワイルズの結果により）よく理解されているが、一般的なケースは困難を伴う。なぜなら、アルティン・モチーフは必ずしもクリティカルな値（critical values）を持つわけではなく、デリーニュ・リベットによる $p$ 進 $L$ 関数の古典的な構成を直接適用することができないためである。

著者は、$p$ 安定化されたアルティン・モチーフに付随する、サイクロトミック・グリーンバーグ・セルマー群 $X_\infty(\rho, \rho^+)$ の構造を調査している。主な目的は以下の通りである：

1. このセルマー群がイワサワ環 $\Lambda = \mathcal{O}[[\Gamma]]$ 上の捩れ加群であることを確立すること。これは代数的 $p$ 進 $L$ 関数を定義するための前提条件である。
2. 「自明な零点（trivial zeros）」現象を調査し、代数的 $L$ 関数の $T=0$ における消失次数を、局所不変量の次元に関連付けること。
3. これらの結果を、重み1の古典的なモジュラー形式から生じるアルティン・モチーフへと特殊化すること。これらの形式に付随する自己共役表現は非コホモロジー的であり、それゆえに解析的な $p$ 進 $L$ 関数の構成を複雑にしている。

手法
本論文は、ガロア・コホモロジー、類体論、およびヒダ・ファミリー（Hida families）の理論を組み合わせた手法を用いている。

• 代数的構造: 著者は、ガロア・コホモロジーにおける大域から局所への制限写像の核のポントリャギン双対として、セルマー群 $X_\infty(\rho, \rho^+)$ を定義する。捩れ性の証明は、有限レベルのセルマー群 $X_n$ の有限性を、インフレーション・レストリクション完全列を用いて分析することに依拠している。これにより、問題は、$H$（$\rho$ によって切り出された体）の $p$ 以外で不分岐な極大プロ-$p$ アーベル拡大のガロア群の研究へと還元される。
• レギュレーターと超越性: セルマー群の有限性と代数的 $L$ 関数の非消滅は、$p$ 進レギュレーター $R_p(\rho, \rho^+)$ の非消滅に関連している。このレギュレーターは、大域単数類の $p$ 進対数を通じて定義される。著者は、レギュレーターが非ゼロであることを証明するために、弱 $p$ 進シャヌエル予想（あるいは、通常の部分空間の次元が $d^+=1$ である場合）を援用し、$p$ 進対数の線形独立性を保証している。
• 重み1への特殊化: 重み1のモジュラー形式については、ヒダ・ファミリーを利用する。重み1の形式に対しては、直接的な解析的 $p$ 進 $L$ 関数の構成が標準的ではないため（非コホモロジー的性質による）、本論文では、重み1の形式 $f_\alpha$ に特殊化される二変数 $p$ 進 $L$ 関数 $f$ 上のヒダ・ファミリーを用いて、解析的 $p$ 進 $L$ 関数 $L_p^{an}(f_\alpha; T)$ を構成する。これは、固有曲線（eigencurve）の重み1における滑らかさ（ベライシュ＝ディミトロフ）に基づいている。
• 極限による割り切れ: 代数的 $L$ 関数と解析的 $L$ 関数を関連付けるために、極限を用いた議論を採用する。ヒダ・ファミリー内の古典的な重み $k \ge 2$ の形式の列 $g_n$ を、$f_\alpha$ に $p$ 進的に収束するものとして考える。重み $k \ge 2$ の形式に関する加藤（Kato）の $L$ 関数の割り切れに関する定理を用いることで、極限における割り切れの関係を確立し、代数的 $L$ 関数が解析的 $L$ 関数を割り切ることを証明する。

主要な貢献と結果

1. セルマー群の捩れ性 (Theorem A):
   $d^+=1$ であるか、あるいは弱 $p$ 進シャヌエル予想が成り立つという仮定の下で、著者は $X_\infty(\rho, \rho^+)$ が $\Lambda$-捩れ加群であることを証明する。さらに、体 $H$ とサイクロトミック・タワーの交わりが自明である場合、代数的 $L$ 関数 $L_p^{alg}(\rho, \rho^+; T)$ は、$\zeta \neq 1$ に対する $\zeta-1$ において消滅しない。

2. 自明な零点とレギュレーター (Theorem B):
   本論文は「自明な零点」現象を特定している。$L_p^{alg}$ の $T=0$ における消失次数は、少なくとも $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$ 以上であることが示される。特定の仮定（$p$ で不分岐、かつ $p$ が像の位数または次元を割り切らない）の下で、$e(\rho, \rho^+) = 0$ ならば、代数的 $L$ 関数の定数項は以下のように明示的に与えられる：
   $$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$$
   ここで、$R_p$ は $p$ 進レギュレーターであり、$Cl_p(H)^\rho$ は $p$-類体群の $\rho$-アイソタイプ成分である。

3. 重み1の形式に関する主予想 (Theorem C):
   古典的なモジュラー形式 $f$（重み1）に対し、著者は、代数的 $L$ 関数 $L_p^{alg}(f_\alpha; T)$ と（ヒダ・ファミリーを通じて構成された）解析的 $L_p^{an}(f_\alpha; T)$ が $\Lambda$ の単元を除いて一致するという主予想を定式化する。

• 結果: 著者は、$\Lambda \otimes \mathbb{Q}_p$ において $L_p^{alg}(f_\alpha; T)$ が $L_p^{an}(f_\alpha; T)$ を割り切るという包含関係を証明している。
• 条件付き同値性: もし重み $k \ge 2$ の形式に関する主予想がヒダ・ファミリーにおいて成立するならば、重み1の特殊化においても成立することを示す。

意義
本論文は、クリティカルな値が存在しない状況における、一般的なアルティン・モチーフのイワサワ理論のための厳密な代数的枠組みを提供している。著者は、超越理論における標準的な予想を前提としつつ、自明な零点とレギュレーターの公式をこの設定へと拡張することに成功している。

決定的なのは、本研究が重み1のモジュラー形式における代数的イワサワ理論と解析的イワサワ理論の間の溝を埋めている点である。ヒダ・ファミリーの幾何学と固有曲線の重み1における滑らかさを活用することで、著者は明確に定義された解析的 $L$ 関数を構築し、主予想によって予測される基本的な包含関係を確立している。この結果は、古典的なコホモロジー的構成の範囲外にある重み1の形式を、純粋に代数的および変形理論的な手法を用いて扱うものである。本論文は、主予想を無条件に証明することを主張しているのではなく、必要な構造的特性と主要な包含方向を確立することで、フルな予想を既知の高次重みのケースへと還元している。