[論文レビュー] An elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves

Shinichi Kobayashi|ArXiv.org|Oct 5, 2006

Algebraic Geometry and Number Theory参考文献 7被引用数 9

ひとこと要約

この論文は、$p$ において分裂型多重的還元をもつ楕円曲線に対して、カトウの元とコロンの写像の導出公式を用いて、純粋に局所的な証明を提供する。主な結果は、$s=1$ における $p$-進 $L$-関数の1階微分が $\frac{\log_p(q_E)}{\mathrm{ord}_p(q_E)} \cdot \frac{L(E,1)}{\Omega_E^+}$ に等しいことを確認し、局所的手法によりイwasawa理論における中心的予想を解決する。

ABSTRACT

We give an elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves by using Kato's element.

研究の動機と目的

• $p$ において分裂型多重的還元をもつ楕円曲線に対するマズール＝テイト＝タイテルバウム予想の、純粋に局所的かつ初等的な証明を提供すること。
• 形式的群則と局所単数を用いて、楕円曲線の文脈におけるコロン写像の導出公式を確立すること。
• この公式をカトウの元に適用し、$p$-進 $L$-関数の特別値公式を導出すること。
• この予想の本質的な算術的性質が、グローバルな変形理論に依存しない、局所的性質であることを明確にすること。
• カトウ＝クラハラ＝ツジおよびコルメールの一般結果を、楕円曲線の場合に簡素化し、アクセスしやすい形にすること。

提案手法

• トーチョン部分群 $\Delta \subset \mathbb{Z}_p^\times$ に関する和を用いて定義される対数 $\ell(X)$ を持つ形式的群則を用いて、局所単数群 $U_n^1$ 内の正規化可能系 $(d_n)$ を構成する。
• $\iota$ を形式的群 $\mathcal{F}$ の指数写像とするとき、$c_n = \iota((\zeta_{p^{n+1}} - 1) \mathbin{[+]}_\mathcal{F} \varepsilon)$ と定義し、$d_n = 1 + c_n$ とおく。
• コロン写像 $\mathrm{Col}_n(z)$ を用いて、双対基底 $\omega_E^*$ とのペアリングにより、カトウの元 $z$ を $p$-進 $L$-関数と関連付ける。
• 局所単数のノルムとテート周期 $q_E$ の対数を用いて、$H^1$-ペアリングの構造を活用し、コロン写像の導出公式を計算することで $\mathrm{Col}(z)'(0)$ を導出する。
• ガロアコホノロジーの完全系列と接続写像 $\delta_1$ を用いて、ペアリング $(p, \pi(z))_{\mathbb{G}_m}$ を計算し、$\log_p(q_E)$ および $\mathrm{ord}_p(q_E)$ に関連付ける。
• 既知の値 $\exp^{*}_{\omega_E}(z^{\mathrm{Kato}}) = (1 - \frac{1}{p}) \frac{L(E,1)}{\Omega_E^+}$ を用いて、カトウの元 $z^{\mathrm{Kato}}$ にこの公式を適用し、最終的な $p$-進 $L$-関数の導出を得る。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線が $p$ において分裂型多重的還元をもつとき、$p$-進 $L$-関数に現れる「特別な零点」の正確な局所的メカニズムは何か？
• RQ2 グローバルな変形技術を用いずに、局所的イwasawa理論と形式的群則のみを用いて、マズール＝テイト＝タイテルバウム予想を証明できるか？
• RQ3 コロン写像の微分は、複素 $L$-関数の特別値およびテート周期の $p$-進対数とどのように関係するか？
• RQ4 カトウの元は、局所的コロン写像を介して特別値公式を実現するために果たす役割は何か？
• RQ5 カトウ＝クラハラ＝ツジおよびコルメールの一般公式は、楕円曲線の場合に簡素化され、初等的に行えるか？

主な発見

• コロン写像の $X=0$ における微分は、$\mathrm{Col}(z)'(0) = \frac{p}{(p-1)\log_p(\kappa(\gamma))} \cdot \frac{\log_p(q_E)}{\mathrm{ord}_p(q_E)} \cdot \exp^{*}_{\omega_E}(z)$ で与えられ、重要な局所的公式を確立する。
• カトウの元 $z^{\mathrm{Kato}}$ に対して、ペアリング $\exp^{*}_{\omega_E}(z^{\mathrm{Kato}})$ は $(1 - \frac{1}{p}) \frac{L(E,1)}{\Omega_E^+}$ に等しく、$p$-進および複素 $L$-値を結びつける。
• $p$-進 $L$-関数の微分は $\frac{d}{ds}L_p(E,s)\big|_{s=1} = \frac{\log_p(q_E)}{\mathrm{ord}_p(q_E)} \cdot \frac{L(E,1)}{\Omega_E^+}$ を満たし、マズール＝テイト＝タイテルバウム予想を確認する。
• 証明は純粋に局所的かつ初等的であり、形式的群則、局所単数、コホノロジー的ペアリングにのみ依存し、グローバルなヒダ理論を避ける。
• この結果は、例外的零点現象が本質的に局所的コロン写像の性質であることを示し、グローバル算術的特徴ではないことを示す。
• 本手法は、カトウ＝クラハラ＝ツジおよびコルメールの一般結果を、楕円曲線の文脈に特化して簡素化し、アクセスしやすい形にした。