[論文レビュー] Some New Ideals in Classical Iwasawa Theory

David Solomon|arXiv (Cornell University)|May 28, 2009

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

ひとこと要約

本稿は、p進群環の完備化におけるKummer型ペアリングと円分単数を用いて、実アーベル体におけるスティッケルベルガーイデアルの新しい類似物を導入する。Thaineの手法を用いて、スティッケルベルガーの定理の類似を証明し、特別な場合においてフィッティングイデアルとの関係を確立するとともに、明示的相互法則および主予想に関連する新しい完全系列を介して、実および虚アーベル体を結ぶより広範なイwasawa理論的枠組みにこの構成を埋め込む。

ABSTRACT

Preliminary Version We construct an analogue of the Stickelberger ideal for real abelian fields by means of cyclotomic units and a Kummer-type pairing with values in a completed p-adic group-ring. We give several different descriptions of this ideal, prove the analogue of Stickelberger’s Theorem using Thaine’s methods and establish links with certain Fitting ideals in a particular case. Our construction fits into a new Iwasawa-theoretic framework including two related ideals for imaginary abelian fields, one linked by explicit reciprocity to an ideal studied more generally in [S3]. It also has applications to Λ-torsion submodules and gives a new exact sequence related to the Main Conjecture. 1

研究の動機と目的

• 古典的イwasawa理論におけるスティッケルベルガーイデアルの類似物として、実アーベル体に対して新しいイデアルを構成すること。
• 円分単数を用いて、完備化されたp進群環に値をとるKummer型ペアリングを定義し、このイデアルを構成すること。
• Thaineの手法を用いて、実アーベル体におけるスティッケルベルガーの定理の類似を証明すること。
• 特定のケースにおいて、この新しいイデアルとフィッティングイデアルとの関係を調査すること。
• この構成を、明示的相互法則および主予想に関連する新しい完全系列を通じて、実および虚アーベル体を結ぶより広範なイwasawa理論的枠組みに統合すること。

提案手法

• この構成は、実アーベル体の文脈において、円分単数を基礎として新しいイデアルを定義する。
• 完備化されたp進群環に値をとるKummer型ペアリングを用いて、このイデアルをガロアコホモロジーおよびイwasawaモジュールと関連付ける。
• クラス群および単数の構造を活用して、Thaineの手法を応用し、スティッケルベルガーの定理の類似を証明する。
• 特定のケースにおいて、このイデアルがフィッティングイデアルと関係することを示し、イwasawaモジュールにおける構造的類似性を明らかにする。
• 虚アーベル体の関連する2つのイデアルを含む枠組みを拡張し、[S3]で研究されたイデアルと明示的相互法則によって結ぶ。
• 主予想に関連する新しい完全系列を導出し、Λ-捩れ部分モジュールの構造的理解を深める。

実験結果

リサーチクエスチョン

• RQ1 円分単数およびp進群環を用いて、どのようにしてスティッケルベルガー型イデアルを実アーベル体に一般化できるか？
• RQ2 Kummer型ペアリングは、この新しいイデアルの構成および特徴付けにおいて果たす役割は何か？
• RQ3 特定の実アーベル拡大のケースにおいて、この新しいイデアルはどのようにしてフィッティングイデアルと関係するか？
• RQ4 この構成は、実および虚アーベル体を結ぶ統一的なイwasawa理論的枠組みにどのように適合するか？
• RQ5 主予想およびΛ-捩れ部分モジュールに関連して、このイデアルからどのような新しい完全系列や構造的洞察が得られるか？

主な発見

• 本稿は、実アーベル体に対して、古典的スティッケルベルガーイデアルの類似として機能する新しいイデアルを成功裏に構成した。
• 完備化されたp進群環に値をとるKummer型ペアリングの使用は、このイデアルを定義する新しいかつ効果的な方法を提供した。
• Thaineの技法を用いて、実アーベル体におけるスティッケルベルガーの定理の類似が証明され、古典的結果がこの文脈に拡張された。
• 特定のケースにおいて、新しいイデアルがフィッティングイデアルと関係していることが示され、イwasawaモジュールにおけるより深い構造的関係が明らかになった。
• この構成は、明示的相互法則および主予想を通じて、実および虚アーベル体のイデアルを統合するより広範な枠組みに埋め込まれた。
• 主予想に関連する新しい完全系列が導出され、Λ-捩れ部分モジュールの構造的理解に新たな洞察をもたらした。