[论文解读] 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 理论推广至算术概形。它通过几何 Frobenius 映射，精确建立了 $K$-理论 $Λ$-不变量与 $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 理论从数域推广至有限域上的算术概形。
• 将 Iwasawa 主猜想推广至 $\mathbb{F}_q$ 上有限型分离概形的 $ι$-adic 李群扩张，其中 $\ell \nmid q$。
• 建立一个 $K$-理论 $Λ$-不变量，通过几何 Frobenius 映射插值 $L$-函数的特殊值。
• 将猜想推广至几何上连通概形之外的情形，并推广至更一般的系数环，包括 $\mathbb{Z}_\ell$-代数的 $\ell$-进拓扑环。
• 通过完美复形与 Iwasawa 代数的局部化，统一猜想的 $K$-理论侧与 $L$-函数理论侧。

提出的方法

• 利用 $G \cong H \rtimes \Gamma$ 的 Iwasawa 代数 $\mathbb{Z}_\ell[[G]]$，其中 $H$ 为紧致 $\ell$-进李群，$\Gamma \cong \mathbb{Z}_\ell$，提出非交换 Iwasawa 主猜想。
• 引入 Venjakob 的标准 Ore 集 $S$，并将 $\mathbb{Z}_\ell[[G]]$ 局部化为 $\mathbb{Z}_\ell[[G]]_S$，以处理 $S$-挠余上同调。
• 通过 $\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})$，在 $\operatorname{K}_1(\mathbb{Z}_\ell[[G]]_S)$ 中定义 $Λ$-不变量。
• 应用 Grothendieck 跟踪公式，将 $L$-函数与几何 Frobenius $\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 在 $\mathbb{F}_q$ 上概形的 $\ell$-进李群扩张背景下，$\mathcal{L}$-不变量的精确 $K$-理论表述是什么？
• RQ3 在正特征情形下，$\mathcal{L}$-不变量如何与 $L$-函数的特殊值相关联？
• RQ4 该猜想能否推广至几何上连通概形之外，并推广至更一般的系数环？
• RQ5 几何 Frobenius 在此非交换设定中，如何在 $K$-理论与 $L$-函数之间建立联系？

主要发现

• 复形 $\operatorname{R}\Gamma_c(X, \mathcal{M}(G) \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ 是 $\mathbb{Z}_\ell[[G]]$-模的完美复形，且具有 $S$-挠余上同调，满足 $Λ$-不变量定义的条件。
• 在 $\operatorname{R}\Gamma_c(\overline{X}, \mathcal{M}(G)_S \otimes_{\mathbb{Z}_\ell} \mathcal{F})$ 上，恒等映射减去几何 Frobenius 映射 $\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$-理论与上同调联系起来。
• 对任意连续的 $\mathbb{Z}_\ell$-表示 $\rho$ of $G$，其像 $\rho(\mathcal{L}_G)$ 等于 $L$-函数 $L(\mathcal{M}(\rho) \otimes_{\mathbb{Z}_\ell} \mathcal{F}, [\mathfrak{F}_{\mathbb{F}_q}]^{-1})$，位于 $Q(\mathbb{Z}_\ell[[\Gamma]])^\times$ 中。
• 插值性质成立：在同构 $[\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$ 处的首项一致。
• 该猜想被推广至虚拟的 pro-$\ell$-群、$\ell$-进拓扑 $\mathbb{Z}_\ell$-代数以及完美复形，超越了原始的几何连通性与 $\ell$-进李群假设。