[論文レビュー] A higher rank Euler system for the multiplicative group over a totally real field

Ryotaro Sakamoto|arXiv (Cornell University)|Feb 12, 2020

Advanced Algebra and Geometry参考文献 27被引用数 9

ひとこと要約

この論文は、Wilesによって証明された完全実体におけるIwasawa主予想を用いて、完全実体上の乗法的群に対する高ランクEuler系を構成する。特徴的イデアルの概念を一般化し、外的双対を用いることで、特定の技術的仮定の下で、$p$-分岐Iwasawa加群のすべての高ランクFittingイデアルが、Stickelberger要素に関連する解析的不変量によって記述されることを示している。

ABSTRACT

In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain $p$-ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements.

研究の動機と目的

• 完全実体上の乗法的群に対する高ランクEuler系を、古典的なEuler系の枠組みをランク1を超えて拡張することで構成すること。
• Iwasawa理論における高ランク構造を扱うために、特徴的イデアルの概念を一般化すること。
• $p$-分岐Iwasawa加群の高ランクFittingイデアルと、Stickelberger要素から導かれる解析的不変量との間の明確な関係を確立すること。
• 外的双対を用いた新しい定義により、Perrin-Riouの元々の外的冪を用いた構成とは異なる方法で高ランクEuler系を定義すること。
• 適切なコホモロジー的条件下で、高ランクFittingイデアルが標準的な解析的不変量によって生成されることを示し、算術的対象と解析的対象を結びつけること。

提案手法

• 外的双対構成を用いて、Iwasawa加群における高ランク構造を扱えるように、特徴的イデアルの概念を一般化する。
• 完全実体におけるIwasawa主予想（Wilesによって証明済み）を基盤として、算術的加群と$p$-進$L$関数を結びつける。
• Kolyvaginの導分とレギュレータ同型を用いて、ランク1の系から高ランクEuler系を構成する。
• コホモロジー的極限とIwasawa代数上の自由加群との間に固定された同型を設定し、$\mathrm{ES}_r(T)$ から $\mathrm{ES}_0(T)$ へのランク低下同型を定義する。
• Iwasawa加群の双対の外的双対を用いて高ランクEuler系を定義し、Iwasawa代数上の加群構造と整合性を保つ。
• Galois群が最大の$p$-分岐拡大のGalois群に作用することを用い、加群 $X_K^\chi$ に $\Lambda_K = \mathcal{O}[[\mathrm{Gal}(k_\infty K/k)]]$ 上の構造を導入する。

実験結果

リサーチクエスチョン

• RQ1 Iwasawa主予想を用いて、完全実体上の乗法的群に対して高ランクEuler系を構成できるか？
• RQ2 $p$-分岐Iwasawa加群の高ランクFittingイデアルは、Stickelberger要素から導かれるような解析的不変量とどのように関係するか？
• RQ3 外的双対構成と、高ランクにおけるEuler系理論の古典的枠組みとの間の明確な関係は何か？
• RQ4 $\mathrm{ES}_r(T)$ から $\mathrm{ES}_0(T)$ へのランク低下同型が、どのようなコホモロジー的条件下で単射的かつ適切に振る舞うか？
• RQ5 高ランク設定において、Iwasawa加群の特徴的イデアルは、解析的不変量によってどの程度記述可能か？

主な発見

• この論文は、Iwasawa主予想と一般化された特徴的イデアルの概念を用いて、完全実体上の乗法的群に対する高ランクEuler系を構成した。
• 与えられた技術的仮定の下で、$p$-分岐Iwasawa加群 $X_K^\chi$ のすべての高ランクFittingイデアルが、Stickelberger要素に関連する標準的な解析的不変量によって生成されることを示した。
• この構成は、Iwasawa加群の双対の外的双対に依拠しており、Perrin-Riouの高ランクEuler系定義の一般化を提供する。
• コホモロジー的極限とIwasawa代数上の自由加群との間に固定された同型を介して、ランク低下同型 $\mathrm{ES}_r(T) \hookrightarrow \mathrm{ES}_0(T)$ が確立された。
• 標準的同型 $\left(\bigwedge^{r+s}_{R}X^{*}\right)^{***} \to \bigcap^{r+s}_{R}X$ が同型であることが示され、特徴的イデアルと解析的不変量を結びつける上で不可欠な役割を果たした。
• 主な結果として、$\mathrm{char}_R(M) \subseteq \mathrm{char}_R(N)$ が成り立ち、高ランクFittingイデアルがStickelberger要素から導かれる解析的不変量によって制御されることを示した。