[論文レビュー] Congruences between abelian pseudomeasures, II

Jürgen Ritter, Alfred Weiss|arXiv (Cornell University)|Jan 13, 2010

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

ひとこと要約

この論文は、完全実数体におけるアーベル的擬測度の合同関係を一般化し、p-冪位数のガロア群から任意のp群への先行結果の拡張を試みる。モジュラー形式およびq展開原理を用いて、転送された擬測度のモビウス重み付き和が、完成化された群環のトレースイデアルに属することを証明し、等変Iwasawa理論における重要な合同関係を提供する。

ABSTRACT

We extend the main result of [Math. Res. Lett. 15 (2008), 715-725] to Galois extensions L/K of totally real number fields of arbitrary odd prime power degree, thereby offering support for the validity of the 'main conjecture' of equivariant Iwasawa theory.

研究の動機と目的

• p-冪位数のガロア群に限らない、任意の有限p群への[RW7]の主要合同関係結果の拡張。
• 等変Iwasawa理論の主要予想を支持する擬測度合同関係の確立。
• 定数項のヒルベルトモジュラー形式（アイゼンスタイン型）を用いた、合同関係のモジュラー形式的基礎の提供。
• q展開係数の不適切な比較を避けるために「特別な尖点」を導入することで、以前の研究におけるギャップを解消。
• トレースイデアル上で合同関係が成り立つことを確認し、Iwasawa加群論への応用を可能にする。

提案手法

• p群Σの部分群格子上のモビウス関数を用いて、中間体間の擬測度の転送を重みづけする。
• デリーニとリベットのq展開原理を、アイゼンスタイン型のヒルベルトモジュラー形式に適用し、定数項を分析する。
• 命題4における合同関係(4⋆)を、2つの尖点におけるq展開の定数項の差として特定する。
• ノルム写像およびガロア群間の転送写像を用いて、拡大における擬測度を関連付ける。
• サイクロトニックZp拡大の構造とガロア群の作用を活用し、関連する擬測度を定義する。
• Zp[[H_S^+]]におけるトレースイデアルを用いて合同関係条件を定式化し、等変Iwasawa理論と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 p-冪位数のガロア群に限らない、任意の有限p群に対して、p群の位数pにおける擬測度合同関係が等変Iwasawa理論の文脈で拡張可能か。
• RQ2 アイゼンスタイン型ヒルベルトモジュラー形式の定数項を用いて、転送された擬測度間の合同関係を検証可能か。
• RQ3 完全なモジュラリティが欠如する状況下で、特別な尖点はq展開係数の比較をどのように簡素化するか。
• RQ4 部分群格子上のモビウス関数は、必要な合同関係を構成する際に果たす役割は何か。
• RQ5 転送写像下での重み付き擬測度の和は、完成化された群環のトレースイデアルに含まれるか。

主な発見

• 主定理により、転送された擬測度のモビウス重み付き和がZp[[H_S^+]]のトレースイデアルに属することが示された。
• すべてのg ∈ G_Sに対して、g_FがFのサイクロトニックZp拡大のガロア群に非自明に写される場合に、合同関係が成り立つ。
• ヒルベルトモジュラー形式の2つのq展開の差の定数項が、|St_Σ(ε_L)|Z_(p)に属することを示し、必要な合同関係が得られた。
• 証明は、補題10を用いて、E_γの定数項を、ねじれ付き部分ゼータ関数およびノルムの和として特定することに依拠している。
• [HIÖ]のモビウス係数の性質を用いて、命題4の仮定が検証され、合同関係条件が保証された。
• この結果により、p-アーベル群に対する等変Iwasawa理論の主要予想を検証するための重要なステップが確認された。