[論文レビュー] Characteristic ideals and Iwasawa theory

Andrea Bandini, Francesc Bars+1 more|arXiv (Cornell University)|Oct 2, 2013

Commutative Algebra and Its Applications参考文献 11被引用数 6

ひとこと要約

この論文は、特徴的イデアルのプロ版を、特徴的 p の関数体の文脈における非ネーター Iwasawa 環上に導入する。ノーザー Iwasawa 環の逆極限と、連続的な拡大における特徴的イデアルの整合性条件を用いることで、古典的特徴的イデアルを一般化する安定な不変量を定義し、非ネーター設定における Iwasawa 主予想を検証する。

ABSTRACT

Let $Ł$ be a non-noetherian Krull domain which is the inverse limit of noetherian Krull domains $Ł_d$ and let $M$ be a finitely generated $Ł$-module which is the inverse limit of $Ł_d$-modules $M_d\,$. Under certain hypotheses on the rings $Ł_d$ and on the modules $M_d\,$, we define a pro-characteristic ideal for $M$ in $Ł$, which should play the role of the usual characteristic ideals for finitely generated modules over noetherian Krull domains. We apply this to the study of Iwasawa modules (in particular of class groups) in a non-noetherian Iwasawa algebra $\Z_p[[\Gal(\calf/F)]]$, where $F$ is a function field of characteristic $p$ and $\Gal(\calf/F)\simeq\Z_p^\infty$.

研究の動機と目的

• 非ネーター Iwasawa 環、特に特徴的 p の関数体の文脈における、有限生成モジュールに対する明確に定義された特徴的イデアルの欠如に対処すること。
• 従来、ネーター KruI ドメインでのみ定義されていた古典的特徴的イデアルを、逆極限を用いて非ネーター設定に一般化すること。
• ガロア群が Z_p^∞ に同型であるような状況（標準的手法が失敗する状況）において、特徴的イデアルを定義・計算するための枠組みを確立すること。
• 非ネーター Iwasawa 環において、類群のプロ特徴的イデアルがスティッケルバーガー要素の逆極限に一致することを示すことにより、非ネーター設定における Iwasawa 主予想を検証すること。

提案手法

• フィルター付き系のネーター KruI ドメイン Λ_d 上のモジュールの特徴的イデアルの逆極限として、プロ特徴的イデアルを構成する。
• 2つの主要仮定を課す：(1) M_d の p_d-捩れ部分モジュールが Λ_{d-1} 上で擬似零であること、(2) M_d を p_d で割ったものの特徴的イデアルが M_{d-1} の特徴的イデアルに含まれること。
• ネーター KruI ドメイン上の捩れモジュールの構造定理を用いて、各 d に対して Ch_Λ_d(M_d) を定義する。
• 射影写像 π^Λ_Λ_d による特徴的イデアルの整合性を用いて、プロ特徴的イデアルを lim← (π^Λ_Λ_d)^{-1}(Ch_Λ_d(M_d)) として定義する。
• B = A[[t]] に対して、擬似零 B-モジュールでは Ch_A(M_t) = Ch_A(M/tM) が成り立つという重要な技術的結果（命題 1.1）に依拠する。
• この枠組みを、Iwasawa 環が非ネーターであるための完全分岐 Z_p^∞-拡大における類群に適用する。

実験結果

リサーチクエスチョン

• RQ1 Z_p[[Gal(F/F)]] で Gal(F/F) ≅ Z_p^∞ であるような非ネーター Iwasawa 環上での、有限生成モジュールに対する特徴的イデアルをどのように定義できるか？
• RQ2 ネーター商の塔上の特徴的イデアルの逆極限が、適切に定義され、算術的に意味を持つ不変量となるための条件は何か？
• RQ3 非ネーター設定において Iwasawa 主予想は成り立つか？ そして、プロ特徴的イデアルを用いて表現できるか？
• RQ4 Z_p^∞-拡大内の Z_p^d-拡大のフィルトレーションの選び方に依存しないか？
• RQ5 スティッケルバーガー要素の逆極限は、非ネーター Iwasawa 環における類群のプロ特徴的イデアルとして解釈できるか？

主な発見

• 非ネーター Iwasawa 環 Λ 上のモジュール M = lim← M_d に対して、M_d と Λ_d に関する適切な仮定のもとで、プロ特徴的イデアルが lim← (π^Λ_Λ_d)^{-1}(Ch_Λ_d(M_d)) として定義される。
• Z_p^∞-拡大内の Z_p^d-拡大のフィルトレーションの選び方に依存しないことが、共通の細分による比較によって示された。
• 特徴的 p の関数体における完全分岐 Z_p^∞-拡大の類群に対して、プロ特徴的イデアルは有限レベルの類群の特徴的イデアルの逆極限に一致する。
• 有限レベルでの Iwasawa 主予想が成り立つと仮定すると、Ch_Λ_d(A(F_d)) = (θ_{F_d/F,S}) であり、逆極限を取ることで非ネーター代数 Λ において lim← Ch_Λ_d(A(F_d)) = (θ_{F/F,S}) が得られる。
• プロ特徴的イデアルは、古典的スティッケルバーガー要素を生成元として回復し、非ネーター設定における Iwasawa 主予想を確認する。
• この構成により、フィルトレーションに依存しない、自然なプロ特徴的イデアルの定義が得られ、以前の任意のフィルトレーションに基づく定式化の曖昧さが解消される。