[論文レビュー] On a noncommutative Iwasawa main conjecture for varieties over finite fields

Malte Witte|University of Regensburg Publication Server (University of Regensburg)|Jan 1, 2010

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

ひとこと要約

本稿は、有限体上の多様体に対する $ι$-adic リー拡大における非可換 Iwasawa 主予想を定式化し、証明する。これは、数体から算術的スキームへと古典的 Iwasawa 理論を一般化するものであり、$K$-理論的 $\mathcal{L}$-不変量と $L$-関数の間の明確な関係を幾何的フロベニウスを介して確立する。これにより、正標数幾何における非可換 Iwasawa 理論が拡張される。

ABSTRACT

In 2005 Coates, Fukaya, Kato, Sujatha, and Venjakob formulated a noncommutative Iwasawa main conjecture for l-adic Lie extensions of number fields. To provide evidence for this main conjecture we formulate and prove an analogous statement for l-adic Lie extensions of separated schemes of finite type over a finite field of characteristic prime to l.

研究の動機と目的

• 数体から有限体上の算術的スキームへと非可換 Iwasawa 理論を拡張すること。
• $\mathbb{F}_q$ 上の分離型で有限型のスキームに対する $ι$-adic リー拡大へと Iwasawa 主予想を一般化すること、ここで $\ell \nmid q$ である。
• 幾何的フロベニウスを介して $L$-関数の特別値を補間する $K$-理論的 $\mathcal{L}$-不変量を確立すること。
• 幾何的に連結なスキームを超えた一般化と、アディック $\mathbb{Z}_\ell$-代数を含むより一般なスカラー環への拡張を可能にすること。
• 完全複体と Iwasawa 代数の局所化を用いて、$K$-理論的側と $L$-関数的側の予想を統一すること。

提案手法

• $G \cong H \rtimes \Gamma$ で、$H$ がコンパクトな $\ell$-進リー群で、$\Gamma \cong \mathbb{Z}_\ell$ であるとき、Iwasawa 代数 $\mathbb{Z}_\ell[[G]]$ を用いて非可換 Iwasawa 主予想を定式化する。
• Venjakob の標準的 Ore 集合 $S$ を導入し、$\mathbb{Z}_\ell[[G]]$ を $\mathbb{Z}_\ell[[G]]_S$ に局所化して、$S$- torsion コホモロジーを取り扱う。
• 群 $\pi_1(X)$ の対対応作用を用いて、$X$ 上に滑らかな $\mathbb{Z}_\ell[[G]]$-層 $\mathcal{M}(G)$ を構成する。
• コンパクトコホモロジー複体 $\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ を用いて、$\mathcal{L}$-不変量を $\operatorname{K}_1(\mathbb{Z}_\ell[[G]]_S)$ 内に定義する。
• グロタンディークのトレース公式を適用し、$L$-関数と幾何的フロベニウス $\mathfrak{F}_{\mathbb{F}_q}$ のコホモロジー上での作用を関係付ける。
• ホモモーフィズム $\rho(\mathcal{L}_G) = L(\mathcal{M}(\rho) \otimes \mathcal{F}, [\mathfrak{F}_{\mathbb{F}_q}]^{-1})$ を用いて、補間性質を確立する。この式は $Q(\mathbb{Z}_\ell[[\Gamma]])^\times$ 内に成り立つ。

実験結果

リサーチクエスチョン

• RQ1 非可換 Iwasawa 主予想は、数体から有限体上の算術的スキームへどのように一般化できるか？
• RQ2 $\ell$-進リー群拡大を伴う $\mathbb{F}_q$ 上のスキームの文脈において、$K$-理論的 $\mathcal{L}$-不変量の明確な定式化は何か？
• RQ3 正標数において、$\mathcal{L}$-不変量は $L$-関数の特別値とどのように関係するか？
• RQ4 予想は幾何的に連結なスキームを超えて、より一般な係数環へと拡張可能か？
• RQ5 幾何的フロベニウスは、この非可換設定において $K$-理論と $L$-関数をどのように結びつけるか？

主な発見

• 複体 $\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ は、$S$- torsion コホモロジーをもつ $\mathbb{Z}_\ell[[G]]$-モジュールの完全複体であり、$\mathcal{L}$-不変量が定義可能であるための条件を満たす。
• $\operatorname{R}\Gamma_c(\overline{X}, \mathcal{M}(G)_S \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ 上の自己準同型 $\mathrm{id} - \mathfrak{F}_{\mathbb{F}_q}$ は準同型的であるため、$\mathcal{L}_G(X/\mathbb{F}_q, \mathcal{F}) \in \operatorname{K}_1(\mathbb{Z}_\ell[[G]]_S)$ の元が得られる。
• 境界準同型 $d$ は $d(\mathcal{L}_G) = [\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})]^{-1}$ を満たし、$K$-理論とコホモロジーを結びつける。
• 任意の $G$ の連続な $\mathbb{Z}_\ell$-表現 $\rho$ に対して、$\rho(\mathcal{L}_G)$ は $Q(\mathbb{Z}_\ell[[\Gamma]])^\times$ 内で $L$-関数 $L(\mathcal{M}(\rho) \otimes_{\mathbb{Z}_\ell} \mathcal{F}, [\mathfrak{F}_{\mathbb{F}_q}]^{-1})$ に一致する。
• 補間性質が成り立つ：同型 $[\mathfrak{F}_{\mathbb{F}_q}]^{-1} \mapsto X+1$ の下で、$\epsilon_\infty^n \rho(\mathcal{L}_G)$ の主要項は、$L(\mathcal{M}(\epsilon_f^{-n}\rho) \otimes_{\mathbb{Z}_\ell} \mathcal{F}, q^{-n}T)$ の $T=1$ における主要項と一致する。
• 予想は、仮想的プロ-$\ell$-群、アディック $\mathbb{Z}_\ell$-代数、完全複体へと一般化され、当初の幾何的に連結なスキームおよび $\ell$-進リー群の仮定を超えて拡張された。