An analogue of Kida's formula for Mazur-Tate elements

技術的要約：Mazur–Tate要素に対するKidaの公式のアナログ

問題設定
本論文は、$\mathbb{Q}$上の楕円曲線に付随するMazur–Tate要素に関連するイワサワ不変量（$\mu$および$\lambda$）に関する、Kidaの公式のアナログを確立するという問題に取り組んでいる。Kidaの古典的な公式は、数体の$p$拡大における類数の増大を、分岐データに関連付けているが、その後のHachimori–Matsunoによる研究やMatsunoによる研究は、それぞれセルマー群や$p$進$L$関数へとこれを拡張した。しかし、Mazur–Tate要素（$p$進$L$関数の有限レベルにおける類似物）に対して統一された公式は、$p$における楕円曲線の任意の還元型（例えば、加法的還元を除外しない場合など）に対しては、完全には確立されていなかった。具体的には、著者らは、制限的な仮定（例：加法的還元を除外すること）を課すことなく、$\mu$不変量の消滅および$\lambda$不変量の値が、アーベル数体$K$から$p$拡大$L$へと移行する際にどのように振る舞うかを決定することを目的としている。

手法
著者らは、イワサワ理論、モジュラー記号、およびMazur–Tate要素の算術を組み合わせた手法を用いている。核となる手法は以下の通りである：

1. アーベル拡大上のMazur–Tate要素： 著者らは、巡回的$\mathbb{Z}_p$拡大の有限レベル$n$における、楕円曲線$E/\mathbb{Q}$に付随するMazur–Tate要素$\Theta_n(E/K)$を定義する。これらの要素は、モジュラー性定理を通じて$E$に対応する重さ2のニューフォーム$f$に関連するモジュラー記号を通じて構成される。
2. 補間特性： Birchの補題とモジュラー記号の性質を利用して、これらの要素がねじれられた$L$関数$L(f/K, \chi, 1)$の特殊値を変数として補間することを確立する。
3. オイラー因子の局所解析： 異なるレベル間の射影写像の下でのMazur–Tate要素の可換性を分析することが、極めて重要な技術的ステップである。著者らは、$\lambda$不変量の変化への素数$\ell$の寄与を測定する局所不変量$g_{\psi, n}(\ell)$を定義する。これは、ヘッケ作用素に関連するイワサワ理論的なオイラー因子$h_\ell(\psi, T)$を調べることによって導かれる。
4. 指標和： 基底体$K$から拡大体$L$へと移行するために、$\text{Gal}(K/\mathbb{Q})$のすべての指標にわたって局所的な寄与$g_{\psi, n}(\ell)$を和をとる。この和は、基底体$K$における曲線の局所的な振る舞いを$L$における分岐指数に関連付けるために、アーベル拡大における指標計数結果に依拠している。
5. 還元型： 解析では、分裂乗法的還元、良還元（局所的な$p$捩れを持つ場合）、および加法的還分の違いを区別する。加法的還元については、Mazur–Tate要素を有界な$p$進$L$関数に関連付けるために、「潜在的良還元・普通型（potentially good ordinary）」という条件（Delbourgoの仮説）に依拠する。

主な貢献と結果

• 主要定理 (Theorem 1.3)： 本論文は、Mazur–Tate要素のイワサワ不変量に関するKida型の公式を証明している。$L/K$を、$p$べきのガロア群を持つアーベル数体のガロア拡大とする。もし$K$上のMazur–Tate要素の$\mu$不変量が消滅しているならば（$\mu(\Theta_{n+n_L-n_K}(E/K)) = 0$）、$L$上の$\mu$不変量も消滅する。さらに、$\lambda$不変量は以下のようになる：
  $$\lambda(\Theta_n(E/L)) = [L_\infty : K_\infty] \lambda(\Theta_{n+n_L-n_K}(E/K)) + \sum_{w \in P_1} f(w)(e(w)-1) + 2 \sum_{w \in P_2} f(w)(e(w)-1)$$
  ここで、$P_1$は$E$が分裂乗法的還元を持つ素数の集合であり、$P_2$は$E$が良還元かつ非自明な$p$捩れを持つ素数の集合である。$e(w)$は分岐指数、$f(w)$は慣性次数である。

• モジュラー形式への一般化： この結果はヘッケ固有カスプ形式へと一般化されており（Theorem 3.7）、還元型が局所的に定義されている限り、曲線が厳密な意味で$\mathbb{Q}$上で定義されている必要はない。

• $p$進$L$関数への応用：

  • 半安定還元： 著者らは、自らの公式が$p$-ordinaryな楕円曲線に対するMatsunoの結果を回収し、かつ、良超特異還元（$a_p(E)=0$）の場合にも拡張できることを示している（Pollackによって構成された符号付き$p$進$L$関数に対するKidaの公式、Theorem 4.2）。
  • 加法的還元： 潜在的良還元・普通型の仮定の下で、加法的還元を持つ楕円曲線に対するDelbourgoによって構成された$p$進$L$関数に対するKidaの公式を導出している（Theorem 4.5）。

意義と主張
本論文は、その結果が、解析的なイワサワ不変量に対する既知の様々なケースを統一していると主張している。$p$進$L$関数の極限を近似するMazur–Tate要素を直接扱うことで、著者らは、$p$における任意の還元型（加法的還元を含む）を適用できる枠組みを提供している。

著者らは、本研究がセルマー群に関するHachimori–Matsunoの代数的な結果と並行するものであるが、解析的な側面で動作していると述べている。主要な意義は、有界な$p$進$L$関数の存在が不明であったり、特定の条件（潜在的良還元・普通型の条件など）を必要としたりしたケースを扱える能力にある。著者らは、これらの公式が精緻化された主予想の哲学と一致しており、代数的な類似物が、$\mathbb{Q}$のアーベル拡大である基底体に対する精緻化された予想を意味することを示唆していると述べている。著者らは、自らの結果が新しい応用を創出するものではなく、むしろ、主予想が妥当であることを前提とした、アーベル数体の$p$拡大におけるテイト＝シャファレヴィッチ群の増大公式を得るための理論的基礎を提供するものであることを明記している。