[論文レビュー] Refined abelian Stark conjectures and the equivariant leading term conjecture of Burns

Takamichi Sano|arXiv (Cornell University)|Jun 18, 2014

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

ひとこと要約

本稿は、ダーモンの精製クラス数公式を一般化する洗練されたアーベル的スターバーク予想を定式化し、高次ノルム構成と局所相互法則写像を介してバーンズの等置性先導項予想と結びつける。補助的予想の下で、ダーモンの予想（2部を除く）が先導項予想から従うことを証明し、Kolyvagin系を用いて最初に確立された結果について、新たな証明を与える。

ABSTRACT

We formulate a conjecture which generalizes Darmon's "refined class number formula". We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and Rubin.

研究の動機と目的

• アーベル拡大の文脈におけるダーモンの精製クラス数公式を、より広範な予想的枠組みへ一般化すること。
• 精製アーベル的スターバーク予想とバーンズの等置性先導項予想との間の明確な代数的関係を確立すること。
• 等置性タガワ数の予想（ETNC）を用いて、ダーモンの予想の「2部を除く」部分に対する代替的証明を提供すること。
• 自然な高次ノルム構成と局所相互法則からの単射写像を特定することで、予想の定式化を明確化・強化すること。

提案手法

• 高次ノルムの Rubin-Stark 単位と局所相互法則同型写像から構成される写像を等しくする新しい予想（予想3）を定式化する。
• 精製スターバーク予想とバーンズの先導項予想との間のギャップを埋めるために補助的予想（予想2および5）を導入する。
• Rubin-Stark予想を用いてアーベル拡大における Rubin-Stark 単位を定義し、ダーモンのシータ要素構成に触発された高次ノルム写像を構成する。
• 外積とガロアモジュール構造の理論を用いて、Tateモチーフの文脈におけるレギュレーターとノルムを分析する。
• Burns, Greither, Flach による1ランクの場合の先導項予想の既知の正しさを根拠に、精製スターバーク予想に対する帰結を導出する。
• 単位群のねじれを除いた完全系列の分解法を用いてレギュレーターを計算し、それらを特別値と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ダーモンの精製クラス数公式は、アーベル的スターバーク理論の文脈で、より広範な予想的枠組みへ一般化可能か？
• RQ2 精製アーベル的スターバーク予想とバーンズの等置性先導項予想との間の代数的関係は何か？
• RQ3 等置性タガワ数の予想（ETNC）は、ダーモンの精製クラス数公式の「2部を除く」部分を含意するか？
• RQ4 Rubin-Stark 単位の高次ノルム構成は、アーベル拡大の文脈で局所相互法則写像と同値か？
• RQ5 局所相互法則からの写像の単射性は、スターバーク型の定式化における既存の予想を強化するために利用可能か？

主な発見

• 予想3（ダーモンの精製クラス数公式の一般化）は、予想5を仮定すれば、予想2および4が成り立つことと同値である。
• 先導項予想は予想4の大部分を含意するので、予想2および5を仮定すれば、予想3は先導項予想から従う。
• 1ランクの場合、予想2および5は検証済みであるため、予想3は先導項予想から導かれる。
• アーベル拡大における Tate モチーフに対する ETNC は、ダーモンの予想の「2部を除く」部分を含意する。これにより、Mazur と Rubin が Kolyvagin 系を用いて最初に確立した結果について、新たな証明が得られる。
• 本稿は、[MR13] の写像 $\mathbf{j}_{L/K}$ が単射であることを明確にし、したがって現在の予想3の定式化は [MR13] のそれよりもわずかに強いものであることを示している。
• レギュレーターの計算により $e_{\chi}R_{L,n} = 2^{\nu_{-}-1}R_{\mathbb{Q},n}e_{\chi}R_V(u_0 \wedge \cdots \wedge u_{\nu_+})$ が得られ、証明における重要な恒等式が確認された。