2025-11-16T01:40:18.695621

Non-commutative Iwasawa theory of abelian varieties over global function fields

Deng, Kezuka, Li et al.

Let $A$ be an abelian variety defined over a global function field $F$, and let $p$ be a prime distinct from the characteristic of $F$. Let $F_\infty$ be a $p$-adic Lie extension of $F$ that contains the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$ of $F$. In this paper, we investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ of $A$ over $F_\infty$. We prove the $\mathfrak{M}_H(G)$-conjecture for $A/F_\infty$. Furthermore, we show that both the $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ and the generalised $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F_\infty)$ are zero, therby proving Mazur's conjecture for $A/F$. We then relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Assuming the finiteness of the Tate-Shafarevich group, we establish that this corank equals the order of vanishing of the $L$-function of $A/F$ at $s=1$. Finally, we extend a theorem of Sechi - originally proved for elliptic curves without complex multiplication - to abelian varieties over global function fields. This is achieved by adapting the notion of generalised Euler characteristic, introduced by Zerbes for elliptic curves over number fields. This new invariant allows us, via Akashi series, to relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$.

academic

Non-commutative Iwasawa theory of abelian varieties over global function fields

基本信息

论文ID: 2405.20963
标题: Non-commutative Iwasawa theory of abelian varieties over global function fields
作者: Li-Tong Deng, Yukako Kezuka, Yong-Xiong Li, Meng Fai Lim
分类: math.NT (Number Theory)
发表时间: 2024年5月 (arXiv v2: 2025年10月16日)
论文链接: https://arxiv.org/abs/2405.20963

摘要

本文研究定义在全局函数域 $F$ 上的阿贝尔簇 $A$ 的非交换岩泽理论，其中 $p$ 是与 $F$ 的特征不同的素数。设 $F_\infty$ 是包含 $F$ 的分圆 $\mathbb{Z}_p$ -扩张 $F^{\mathrm{cyc}}$ 的 $p$ -进李扩张。作者研究了 $A$ 在 $F_\infty$ 上的 $p$ -主Selmer群 $\mathrm{Sel}(A/F_\infty)$ 的结构，证明了 $\mathfrak{M}_H(G)$ -猜想，并建立了特征元素零点阶数与Selmer群corank之间的关系。

研究背景与动机

问题背景

非交换岩泽理论的发展：非交换岩泽理论是理解数域上 $p$ -进李扩张的深层算术性质及其与复 $L$ -函数特殊值关系的强大框架。
函数域类比：鉴于数域与全局函数域之间的著名类比，岩泽理论现象也应该在函数域设定中显现。
现有局限性：
- 在数域情况下，Pontryagin对偶Selmer群可能具有正的 $\mu$ -不变量
- 对于函数域，特别是 $\mathrm{char}(F) \neq p$ 的情况，相关理论尚不完善

研究动机

完全解决重要猜想：在全局函数域设定下完全解决Mazur猜想和 $\mathfrak{M}_H(G)$ -猜想
建立新的理论框架：将Zerbes的广义欧拉特征概念推广到函数域上的阿贝尔簇
提供纯上同调方法：发展不同于以往工作的纯上同调证明方法

核心贡献

完全证明 $\mathfrak{M}_H(G)$ -猜想和Mazur猜想：对于特征与 $p$ 不同的全局函数域上的阿贝尔簇
$\mu$ -不变量为零：证明了 $X(A/F^{\mathrm{cyc}})$ 的 $\mu$ -不变量和 $X(A/F_\infty)$ 的广义 $\mu$ -不变量均为零
特征元素零点阶数公式：建立了特征元素在Artin表示处的零点阶数与Selmer群corank的关系
广义欧拉特征理论：将Sechi的定理推广到函数域上的阿贝尔簇，建立了 $\mathrm{Sel}(A/F_\infty)$ 和 $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ 的广义欧拉特征之间的关系

方法详解

任务定义

研究全局函数域 $F$ （ $\mathrm{char}(F) \neq p$ ）上阿贝尔簇 $A$ 的 $p$ -主Selmer群在可容许 $p$ -进李扩张 $F_\infty/F$ 下的结构性质。

核心技术框架

1. Selmer群的定义

对于任何扩张 $K \subset \bar{F}$ ， $p$ -主Selmer群定义为： $\mathrm{Sel}(A/K) = \ker\left(H^1(K, A_{p^\infty}) \to \prod_w H^1(K_w, A)\right)$

2. 关键引理：上同调维数

引理3.2： $\mathrm{cd}_p(G_S(F^{\mathrm{cyc}})) = 1$

这是整个证明的基础，利用了 $S$ 非空且 $\mathrm{char}(F) \neq p$ 的条件。

3. 主要技术创新

纯上同调方法：

关键观察： $\mathrm{Gal}(\bar{F}/F^{\mathrm{cyc}})$ 的上同调维数为1
利用Hochschild-Serre谱序列的退化
直接计算全局和局部上同调群的Akashi级数

定位映射的满射性：通过Jannsen谱序列和Nekovář对偶定理建立定位映射 $\lambda_S(A/F_\infty)$ 的满射性。

模型架构

1. 岩泽代数理论

对于紧致 $p$ -进李群 $G$ ，岩泽代数定义为： $\Lambda(G) = \lim_{\leftarrow} \mathbb{Z}_p[G/U]$

2. $\mathfrak{M}_H(G)$ 范畴

$\mathfrak{M}_H(G)$ 包含所有有限生成 $\Lambda(G)$ -模 $M$ ，使得商 $M/M_{(p)}$ 是有限生成 $\Lambda(H)$ -模。

3. Akashi级数计算

对于 $M \in \mathfrak{M}_H(G)$ ，Akashi级数定义为： $\mathrm{Ak}(M) = \prod_{i \geq 0} f_{M,i}^{(-1)^i}$ 其中 $f_{M,i}$ 是 $H^i(H,M)$ 的特征幂级数。

实验设置

理论验证框架

由于这是纯理论数学论文，"实验"主要体现在：

定理验证：通过严格的数学证明验证主要定理
特殊情况检验：验证结果与已知的椭圆曲线情况的一致性
猜想的完全解决：提供Mazur猜想和 $\mathfrak{M}_H(G)$ -猜想的完整证明

技术条件

条件(G)： $H^i(G, A_{p^\infty}(F_\infty))$ 对所有 $i \geq 1$ 有限
条件(H)： $H^i(H, A_{p^\infty}(F_\infty))$ 对所有 $i \geq 0$ 有限

主要结果

定理1.3（主要结果）

设 $A$ 是特征与 $p$ 互素的全局函数域 $F$ 上的阿贝尔簇， $F_\infty/F$ 是可容许 $p$ -进李扩张。则：

$\mathfrak{M}_H(G)$ -猜想对 $X(A/F_\infty)$ 成立
$X(A/F^{\mathrm{cyc}})$ 的 $\mu$ -不变量为零
$X(A/F_\infty)$ 的广义 $\mu$ -不变量为零
特别地，Mazur猜想对 $A/F$ 成立

定理1.4（零点阶数公式）

在条件(G)下： $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) \geq \mathrm{corank}_{\mathbb{Z}_p}(\mathrm{Sel}(A/F))$ 且在Greenberg半单性猜想下等号成立。若Tate-Shafarevich群有限，则： $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) = \mathrm{ord}_{s=1} L(A/F, s)$

定理1.5（广义欧拉特征）

在条件(H)下， $\mathrm{Sel}(A/F_\infty)$ 有有限广义 $G$ -欧拉特征当且仅当 $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ 有有限广义 $\Gamma$ -欧拉特征，且： $\chi(G, \mathrm{Sel}(A/F_\infty)) = \chi(\Gamma, \mathrm{Sel}(A/F^{\mathrm{cyc}})) \prod_{v \in S'} \frac{\#A^*_{p^\infty}(F_v)}{\#H^1(\Gamma_w, A_{p^\infty}(F^{\mathrm{cyc}}_w))}$