[論文レビュー] Fitting invariants in equivariant Iwasawa theory

Takenori Kataoka|arXiv (Cornell University)|Jun 8, 2020

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

ひとこと要約

本稿は、非可換および2変数設定におけるIwasawaモジュールのFittingイデアルを計算するための一般化された代数的枠組み——'Fitting不変量のシフト'——を構築する。これは、アーベル的等置換Iwasawa理論におけるGreitherとKuriharaの研究を拡張するものである。主な貢献は、Fittingイデアルと等置換p進L関数を正確な系列と射影次元の制御を通じて結ぶ、非可換的かつ2変数的な彼らの主要予想の拡張である。

ABSTRACT

The main conjectures in Iwasawa theory predict the relationship between the Iwasawa modules and the $p$-adic $L$-functions. Using a certain proved formulation of the main conjecture, Greither and Kurihara described explicitly the (initial) Fitting ideals of the Iwasawa modules for the cyclotomic $\mathbb{Z}_p$-extensions of finite abelian extensions of totally real fields. In this paper, we generalize the algebraic theory behind their work by developing the theory of ``shifts of Fitting invariants.'' As applications to Iwasawa theory, we obtain a noncommutative version and a two-variable version of the work of Greither and Kurihara.

研究の動機と目的

• GreitherとKuriharaによるアーベル的等置換Iwasawa理論におけるFittingイデアルの計算の背後にある代数的理論を一般化すること。
• 非可換Iwasawa理論および2変数Iwasawa理論におけるFitting不変量を計算するための枠組みを構築すること。
• アーベル的でない場合においても、IwasawaモジュールのFittingイデアルと等置換p進L関数の間の明確な関係を確立すること。
• 射影次元の制御とモジュールの正確な系列を用いた、Fittingイデアルを体系的に計算する方法を提供すること。

提案手法

• モジュールの拡大および射影次元のシフトにおけるFittingイデアルの振る舞いを一般化するための'Fitting不変量のシフト'の概念を導入する。
• 射影次元が ≤1 である $ P_1, P_2 $ を用いた形 $ 0 \to X_{\Sigma_0}(L) \to P_1 \to P_2 \to \mathbb{Z}_p \to 0 $ の正確な系列を用いて、Fitting不変量を制御する。
• 射影次元が有限である $ R = \mathbb{Z}_p[[G]] $ 上のモジュールのクラス $ \mathcal{C} $ と、射影次元が ≤1 であるモジュールのクラス $ \mathcal{P} $ を定義し、Fittingイデアルが良好に振る舞うように保証する。
• 射影次元が制御されたモジュールの正確な系列から得られる $ K_0(\mathcal{P}) $ 内の不変量 $ \Phi_{L/K,\Sigma_0} = [P_1] - [P_2] $ を構成し、モジュール構造を符号化し、Fittingイデアルと関連付ける。
• $ \Sigma $-分岐Iwasawaモジュール $ X_{\Sigma_0}(L) $ に理論を適用し、分岐した場所からの寄与を計算するために、局所単数 $ \mathcal{U}_v(L) $ の構造を利用する。
• $ \mathcal{F}(X_{\Sigma_0}(L)) = \mathcal{F}(\Phi_{L/K,\Sigma_0}) \cdot \mathcal{F}^{\langle 2\rangle}(\mathbb{Z}_p) $ を証明し、アーベル的場合を一般化する。

実験結果

リサーチクエスチョン

• RQ1 非可換等置換Iwasawa理論におけるIwasawaモジュールのFittingイデアルを体系的にどのように計算できるか？
• RQ2 アーベル的でない場合において、Fittingイデアルと等置換p進L関数の関係を裏付ける代数的構造は何か？
• RQ3 射影次元が制御されたモジュールの正確な系列から得られる'シフトされた'不変量を用いて、IwasawaモジュールのFittingイデアルを表現できるか？
• RQ4 複数の分岐した素点が存在する場合、2変数Iwasawa理論におけるFittingイデアルの計算にどのように影響するか？
• RQ5 $ \mu $-不変量の消滅仮定が、Fittingイデアルの公式の妥当性を保証するために果たす正確な役割は何か？

主な発見

• 本稿は、GreitherとKuriharaの主要予想の非可換版を確立し、$ \mathcal{F}(X_{\Sigma_0}(L)) = \mathcal{F}(\Phi_{L/K,\Sigma_0}) \cdot \mathcal{F}^{\langle 2\rangle}(\mathbb{Z}_p) $ を示した。ここで $ \Phi_{L/K,\Sigma_0} $ は射影分解から得られる $ K_0 $-類である。
• 任意の準Fitting不変量 $ \mathcal{F} $ に対して、シフトされたFitting不変量は $ \mathcal{F}^{\langle n\rangle}(X_{\Sigma_0}(L)) = \mathcal{F}(\Phi_{L/K,\Sigma_0})^{(-1)^n} \cdot \mathcal{F}^{\langle n+2\rangle}(\mathbb{Z}_p) $ を満たし、Fittingイデアルのシフトにおける振る舞いを一般化する。
• 分岐した場所における局所単数 $ \mathcal{U}_v(L) $ の構造が、$ \mathcal{F}^{\langle -1 \rangle}\left(\bigoplus_{v \in \Sigma_0 \setminus \Sigma_0'} \mathcal{U}_v(L)\right) $ を通じてFittingイデアルに明示的に寄与することが示され、ノルム要素とフロベニウス作用素を含む公式が得られた。
• $ X_{\Sigma_0}(L) $ の $ R = \mathbb{Z}_p[[G]] $ 上の射影次元が1以下であることが示され、Fittingイデアルが可逆かつ計算可能であることが保証された。
• 2変数Iwasawa理論への適用では、$ X_{\Sigma_0}(L) $ と射影次元 ≤1 のモジュールを含む正確な系列を構成し、非アーベル的設定におけるFittingイデアルの計算を可能にした。
• 方法論は、$ R \simeq \mathbb{Z}_p[[T]][\Delta] $ の $ \mathbb{Z}_p[[T]] $-モジュール構造を用い、$ \mathbb{Z}_p[\Delta] $ 上の複体の余核 $ B_\Delta $ を分析することで、アーベル的場合を成功裏に一般化した。