[論文レビュー] On Iwasawa Theory over Function Fields

Ka-Lam Kueh, King Fai Lai+1 more|ArXiv.org|Jan 2, 2007

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

ひとこと要約

この論文は特徴標数 p のグローバル関数体に対して Iwasawa の主要予想の p 部分を証明し、Z_p^d-拡大における p-進類群の特徴的イデアルが、Gross のスティッケルバーガー要素によって生成されることを示している。証明は Tate 対称性、擬零モジュールの性質、および部分拡大におけるスティッケルバーガー要素の関手的性質を利用している。

ABSTRACT

Let $k_{\infty}$ be a $\Z_p^d$-extension of a global function field $k$ of characteristic $p$. Let $\Cl_{k_{\infty},p}$ be the $p$ completion of the class group of $k_{\infty}$. We prove that the characteristic ideal of the Galois module $\Cl_{k_{\infty},p}$ is generated by the Stickelberger element of Gross which calculates the special values of $L$ functions.

研究の動機と目的

• 特徴標数 p のグローバル関数体に対する Iwasawa の主要予想の p 部分を確立すること。
• Z_p^d-拡大における p-進類群の Iwasawa モジュールの特徴的イデアルが、Gross のスティッケルバーガー要素によって生成されることを示すこと。
• 拡大が有限集合 S の外では不分岐であり、S のどの場所も完全に分解しない場合の取り扱い。
• S の不分岐だが完全に分解しない場所に起因する補正因子 δ を考慮すること。
• スティッケルバーガー要素が単数を除いて類群モジュールの特徴的イデアルと同じイデアルを生成することを示すこと。

提案手法

• Tate 対称性と Iwasawa 環 Λ_Γ = Z_p[[t_1,...,t_d]] が UFD であることの構造を利用すること。
• Gross が予想したスティッケルバーガー要素の先頭項に関する結果を、Greenberg の擬零モジュール理論により証明すること。
• 有限層上の Z_p[Gal(k_n/k)] の要素の射影極限として、スティッケルバーガー要素 θ_{k_∞/k,S,T} を構成すること。
• Galois 射影写像におけるスティッケルバーガー要素の関手的性質を用いて、部分拡大間のイデアルを関連させること。
• Galois 群のランク d に関する帰納法を用い、特徴的イデアルの構造を用いてランク 1 の場合に帰着すること。
• 補題 3.1 と補題 3.13 を適用し、モジュールの特徴的イデアルとその射影の特徴的イデアルとの関係を、特に擬零モジュールの場合に結びつけること。

実験結果

リサーチクエスチョン

• RQ1 関数体の Z_p^d-拡大における p-進類群の特徴的イデアルは、スティッケルバーガー要素とどのように関係しているか？
• RQ2 S の一部の場所が不分岐だが完全に分解しない場合、どのような補正因子 δ が必要か？
• RQ3 Galois 射影写像におけるスティッケルバーガー要素の関手的性質は、Iwasawa 環におけるイデアル生成にどのように影響するか？
• RQ4 特定のモジュールの擬零性が帰納的証明構造において果たす役割は何か？
• RQ5 証明の最終段階で d ≥ 2 と d = 1 がなぜ異なるのか？

主な発見

• Iwasawa モジュール Cl_{k_∞,p} の特徴的イデアルは、補正因子 δ を掛けることでスティッケルバーガー要素 θ_{k_∞/k,S,T} によって生成される。
• 補正因子 δ は、S₀ ≠ S のとき ∏_{v∈S₀}(1−[v])、S₀ = S のとき (1−Fr)^{-1}∏_{v∈S₀}(1−[v]) である。ここで Fr はフロベニウス要素である。
• d ≥ 2 の場合、イデアル χ_Γ(Z_p) は Iwasawa 環 Λ_Γ 全体に等しくなるため、Cl_{k_∞,p} の特徴的イデアルは正確に (θ_{k_∞/k,S,T}) に等しい。
• d = 1 の場合、χ_Γ(Z_p) = (σ−1) であり、補題 3.1 を確認した後、スティッケルバーガー要素が同じイデアルを生成することから結果が得られる。
• 証明は、射影における特徴的イデアルの性質を用いて、一般の場合をランク 1 の場合に帰着する。
• スティッケルバーガー要素 θ_{k_∞/k,S,T} は Iwasawa 環 Λ_Γ 内の射影極限として正しく定義されており、射影写像による像は部分拡大のスティッケルバーガー要素に対応する。