[論文レビュー] Refined class number formulas for $\mathbb{G}_m$

Barry Mazur, Karl Rubin|arXiv (Cornell University)|Dec 14, 2013

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

ひとこと要約

本稿では、一般化されたスターリング単数とスティッケルバーガー型の元を用いて、乗法的群 $Γ_m$ の修正された類数公式を定式化し、ダーモンの予想を一般化する。Kolyvagin系を用いて、コアランクが1の場合の零点の位数および先頭項の予想を証明し、イwasawa理論におけるオイラー系とスターリング系の深い関係を確立する。

ABSTRACT

We formulate a generalization of a `refined class number formula' of Darmon. Our conjecture deals with Stickelberger-type elements formed from generalized Stark units, and has two parts: the `order of vanishing' and the `leading term'. Using the theory of Kolyvagin systems we prove a large part of this conjecture when the order of vanishing of the corresponding complex $L$-function is $1$.

研究の動機と目的

• 一般化されたスターリング単数を用いて、ダーモンの修正類数公式を高次の零点の場合に一般化すること。
• アーベル拡大におけるルビン＝スターリング要素と代数的正規化因子の関係を示す予想を定式化すること。
• コアランクが1であるという仮定の下で、零点の位数および先頭項の予想の証明を行うこと。
• Kolyvagin系の技法を用いて、ルビン＝スターリング要素から得られるオイラー系とスターリング系との間の関係を確立すること。
• 追加の仮定の下で、一般のランク $r$ の場合の予想に対する証拠を提供すること。

提案手法

• 増加イデアル内のスティッケルバーガー型の元の零点の位数と、関連する順序付き商における先頭項の2部構成の予想を定式化すること。
• コアランク（零点の位数）が1である場合に、Kolyvagin系の理論を用いて予想を証明すること。
• 中間体 $K/k$ および $L/k$ に関連するルビン＝スターリング要素から代数的正規化因子を構成すること。
• 外積代数および双対格子の理論を用いて、予想における関連する加群と双対性を定義すること。
• 外積上の自然な双対性を用いて、スティッケルバーガー型の元の先頭項を正規化因子およびスターリング単数と関連付けること。
• ルビン＝スターリング要素がオイラー系をなすこと、および関連する要素がスターリング系をなすことを利用して、先頭項の公式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 ダーモンの修正類数公式を高次の零点の場合に正確にどのように一般化できるか？
• RQ2 アーベル拡大の塔におけるルビン＝スターリング要素は、先頭項の公式における代数的正規化因子とどのように関係するか？
• RQ3 コアランクが1の場合に、Kolyvagin系の技法を用いて先頭項の公式を証明できるか？
• RQ4 ルビン＝スターリング要素のオイラー系構造が、先頭項の予想の証明において果たす役割は何か？
• RQ5 一般のコアランク $r$ の場合に、先頭項の公式をどの条件下で拡張できるか？

主な発見

• 著者らは、一般の $r$ に対して、定理6.3で予想の零点の位数の部分を証明し、スティッケルバーガー型の元が $r$ 階で消えることと、関連する $L$-関数が $r$ 階で消えることが同値であることを示した。
• コアランク1の場合、Kolyvagin系の理論および $\mathbb{Z}_p$ 上でのこのような系の一意性を用いて、定理10.7で先頭項の公式が確立された。
• 証明は、$n=1$ で一致する2つのKolyvagin系は同一でなければならないという事実に依拠しており、これにより古典的な $L'$-値の結果をグローバルな設定に持ち上げることができた。
• 追加の仮定の下で、一般の $r$ に対して、第11節で $ϕ_{K(\mathfrak{n})}$ を用いた投影により、先頭項の主張の弱化版が証明された。
• 補題A.6における双対性の構成により、先頭項の公式が双対格子 $\wedge^{r,0}M$ 上で適切に定義されており、これは整数性および算術的解釈にとって不可欠である。
• ルビン＝スターリング要素 $\epsilon_{L,S_L}$ はオイラー系をなし、要素 $\epsilon_{K,S_L}$ はスターリング系をなすため、予想の構造的枠組みが得られた。