[論文レビュー] On a conjecture of Perrin-Riou

Kâzım Büyükboduk|arXiv (Cornell University)|Nov 19, 2015

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、$p$-進ベイリノン・カトウ類の非消滅に関するペリヌ＝ルイの予想を、$\Lambda$-adicコリヴァギン系に基づく統一的アプローチを用いて、$\mathbb{Q}$ 上の楕円曲線で $p$ で通常型または超特異型の還元をもつ場合に証明する。結果として、前人によるベルトリン・ダーモンおよびヴェネルッチの研究を拡張し、やや弱い仮定のもとで非消滅を確立し、$p$-進バーチ・スウィンナートン＝ダイアー予想の進展をもたらす。

ABSTRACT

Our goal in this article is to give a proof of Perrin-Riou's conjecture (under reasonably mild hypotheses) on the non-vanishing of the $p$-adic Beilinson-Kato class associated to an elliptic curve $E_{/\mathbb{Q}}$, when $E$ has ordinary (i.e., good ordinary or multiplicative) or supersingular reduction at $p$. This generalizes the forthcoming work of Bertolini and Darmon for a good ordinary prime $p$ and of Venerucci for a split multiplicative prime $p$. Our method is based on the general theory of $\Lambda$-adic Kolyvagin systems, as developed by the author previously (and enhanced slightly here) and it applies equally well to treat all these cases simultaneously.

研究の動機と目的

• $\mathbb{Q}$ 上の楕円曲線で $p$ で通常型または超特異型還元をもつ場合に、$p$-進ベイリノン・カトウ類の非消滅に関するペリヌ＝ルイの予想を証明すること。
• ベルトリンとダーモンの研究（通常型の場合）およびヴェネルッチの研究（分裂乗法的還元の場合）を統一的に扱うフレームワークに一般化すること。
• やや弱い仮定のもとで、$\Lambda$-adic コリヴァギン系を用いて $p$-進 $L$-関数の特別値の非消滅を確立すること。
• $\Lambda$-adic コリヴァギン系の適用範囲を、通常型と超特異型還元の両方を同時にカバーするように拡張すること。

提案手法

• 著者により以前に開発された一般論の $\Lambda$-adic コリヴァギン系理論を、基礎的枠組みとして用いる。
• 本研究のためにやや強化された、洗練された $\Lambda$-adic コリヴァギン系の仕組みを適用する。
• $p$-進ベイリノン・カトウ類の $\Lambda$-adic セルマー群への像の非消滅を分析することで、その非消滅を確立する。
• イワサワ加群の構造とコントロール定理を用い、$p$-進 $L$-値とコリヴァギン系構成を関連付ける。
• オイラー系および $\Lambda$-加群の理論を用いて、系の非自明性から非消滅を導出する。
• 通常型と超特異型の両方の状況を、$\Lambda$-adic フレームワークを活用することで一様に取り扱い、個別ケースの解析を回避する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Q}$ 上の楕円曲線で $p$ で通常型または超特異型還元をもつ場合に、$p$-進ベイリノン・カトウ類が $\Lambda$-adic セルマー群で消えないか。
• RQ2 通常型と超特異型還元の両方のタイプにおいて、$p$-進 $L$-関数の特別値の非消滅を一様に導出できるか。
• RQ3 $\Lambda$-adic コリヴァギン系法を、通常型と超特異型還元の両方を同時にカバーするようにどの程度まで拡張できるか。
• RQ4 ベルトリン＝ダーモンおよびヴェネルッチの結果を、共通のやや弱い仮定のもとで一般化する統一的フレームワークが存在するか。
• RQ5 超特異型の場合に、$\Lambda$-加群の構造が $p$-進 $L$-関数の非消滅をどのように制御するか。

主な発見

• 通常型または超特異型還元をもつ $\mathbb{Q}$ 上の楕円曲線に対して、やや弱い仮定のもとで $p$-進ベイリノン・カトウ類は非消滅する。
• 非消滅の証明は、$\Lambda$-adic コリヴァギン系の枠組みを用いて、通常型と超特異型の両方の状況を統一的に取り扱う。
• ベルトリンとダーモンによる通常型の素数の場合、およびヴェネルッチによる分裂乗法的還元の場合の先行研究を拡張する結果が得られる。
• この方法は、$\Lambda$-adic コリヴァギン系理論の強化された版に依拠しており、異なる還元タイプにわたる一貫性ある取り扱いを可能にする。
• この結果は、超特異型の場合における $p$-進バーチ・スウィンナートン＝ダイアー予想への強い証拠を提供する。
• フレームワークは、$\Lambda$-adic 系の多様な $p$-進 $L$-関数の振る舞いを扱う際の強靭さを示している。