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

Basic Information

• Paper ID: 2405.20963
• Title: Non-commutative Iwasawa theory of abelian varieties over global function fields
• Authors: Li-Tong Deng, Yukako Kezuka, Yong-Xiong Li, Meng Fai Lim
• Classification: math.NT (Number Theory)
• Publication Date: May 2024 (arXiv v2: October 16, 2025)
• Paper Link: https://arxiv.org/abs/2405.20963

Abstract

This paper investigates the non-commutative Iwasawa theory of abelian varieties $A$ defined over global function fields $F$, where $p$ is a prime distinct from the characteristic of $F$. Let $F_\infty$ be a $p$-adic Lie extension containing the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$ of $F$. The authors study the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ over $F_\infty$, prove the $\mathfrak{M}_H(G)$-conjecture, and establish relationships between the order of zeros of characteristic elements and the corank of Selmer groups.

Research Background and Motivation

Problem Background

1. Development of non-commutative Iwasawa theory: Non-commutative Iwasawa theory provides a powerful framework for understanding deep arithmetic properties of $p$-adic Lie extensions over number fields and their relationships with special values of complex $L$-functions.
2. Function field analogy: Given the well-known analogy between number fields and global function fields, Iwasawa-theoretic phenomena should also manifest in the function field setting.
3. Existing limitations:
   • In the number field case, the Pontryagin dual Selmer group may have positive $\mu$-invariants
   • For function fields, particularly when $\mathrm{char}(F) \neq p$, the relevant theory remains incomplete

Research Motivation

1. Complete resolution of important conjectures: Fully resolve the Mazur conjecture and $\mathfrak{M}_H(G)$-conjecture in the global function field setting
2. Establish new theoretical framework: Generalize Zerbes' concept of generalized Euler characteristics to abelian varieties over function fields
3. Provide pure cohomological methods: Develop purely cohomological proof methods distinct from previous approaches

Core Contributions

1. Complete proof of $\mathfrak{M}_H(G)$-conjecture and Mazur conjecture: For abelian varieties over global function fields with characteristic distinct from $p$
2. Vanishing of $\mu$-invariants: Prove that the $\mu$-invariant of $X(A/F^{\mathrm{cyc}})$ and the generalized $\mu$-invariant of $X(A/F_\infty)$ both vanish
3. Formula for order of zeros of characteristic elements: Establish relationships between the order of zeros of characteristic elements at Artin representations and the corank of Selmer groups
4. Generalized Euler characteristic theory: Extend Sechi's theorem to abelian varieties over function fields, establishing relationships between generalized Euler characteristics of $\mathrm{Sel}(A/F_\infty)$ and $\mathrm{Sel}(A/F^{\mathrm{cyc}})$

Detailed Methodology

Problem Formulation

Study the structural properties of the $p$-primary Selmer group of abelian varieties $A$ over global function fields $F$ (with $\mathrm{char}(F) \neq p$) under admissible $p$-adic Lie extensions $F_\infty/F$.

Core Technical Framework

1. Definition of Selmer Groups

For any extension $K \subset \bar{F}$, the $p$-primary Selmer group is defined as: $\mathrm{Sel}(A/K) = \ker\left(H^1(K, A_{p^\infty}) \to \prod_w H^1(K_w, A)\right)$

2. Key Lemma: Cohomological Dimension

Lemma 3.2: $\mathrm{cd}_p(G_S(F^{\mathrm{cyc}})) = 1$

This is the foundation of the entire proof, utilizing the conditions that $S$ is non-empty and $\mathrm{char}(F) \neq p$.

3. Main Technical Innovations

Pure cohomological method:

• Key observation: The cohomological dimension of $\mathrm{Gal}(\bar{F}/F^{\mathrm{cyc}})$ is 1
• Utilization of degeneration of Hochschild-Serre spectral sequences
• Direct computation of Akashi series for global and local cohomology groups

Surjectivity of localization maps: Establish surjectivity of the localization map $\lambda_S(A/F_\infty)$ through Jannsen spectral sequences and Nekovář duality theorem.

Model Architecture

1. Iwasawa Algebra Theory

For compact $p$-adic Lie groups $G$, the Iwasawa algebra is defined as: $\Lambda(G) = \lim_{\leftarrow} \mathbb{Z}_p[G/U]$

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

$\mathfrak{M}_H(G)$ consists of all finitely generated $\Lambda(G)$-modules $M$ such that the quotient $M/M_{(p)}$ is a finitely generated $\Lambda(H)$-module.

3. Akashi Series Computation

For $M \in \mathfrak{M}_H(G)$, the Akashi series is defined as: $\mathrm{Ak}(M) = \prod_{i \geq 0} f_{M,i}^{(-1)^i}$ where $f_{M,i}$ is the characteristic power series of $H^i(H,M)$.

Experimental Setup

Theoretical Verification Framework

Since this is a pure theoretical mathematics paper, "experiments" are primarily manifested through:

1. Theorem verification: Rigorous mathematical proofs verifying main theorems
2. Special case verification: Verification of consistency with known results for elliptic curves
3. Complete resolution of conjectures: Providing complete proofs of the Mazur conjecture and $\mathfrak{M}_H(G)$-conjecture

Technical Conditions

• Condition (G): $H^i(G, A_{p^\infty}(F_\infty))$ is finite for all $i \geq 1$
• Condition (H): $H^i(H, A_{p^\infty}(F_\infty))$ is finite for all $i \geq 0$

Main Results

Theorem 1.3 (Main Result)

Let $A$ be an abelian variety over a global function field $F$ with characteristic coprime to $p$, and let $F_\infty/F$ be an admissible $p$-adic Lie extension. Then:

1. The $\mathfrak{M}_H(G)$-conjecture holds for $X(A/F_\infty)$
2. The $\mu$-invariant of $X(A/F^{\mathrm{cyc}})$ vanishes
3. The generalized $\mu$-invariant of $X(A/F_\infty)$ vanishes
4. In particular, the Mazur conjecture holds for $A/F$

Theorem 1.4 (Order of Zeros Formula)

Under condition (G): $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) \geq \mathrm{corank}_{\mathbb{Z}_p}(\mathrm{Sel}(A/F))$ with equality under the Greenberg semisimplicity conjecture. If the Tate-Shafarevich group is finite, then: $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) = \mathrm{ord}_{s=1} L(A/F, s)$

Theorem 1.5 (Generalized Euler Characteristic)

Under condition (H), $\mathrm{Sel}(A/F_\infty)$ has finite generalized $G$-Euler characteristic if and only if $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ has finite generalized $\Gamma$-Euler characteristic, and: $\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))}$

Technical Innovations

1. Pure Cohomological Method

• Innovation: Entirely based on the observation that cohomological dimension is 1, avoiding complex snake lemma arguments
• Advantage: Directly proves that global and local cohomology groups are $\Lambda(H)$-cofinitely generated

2. Direct Computation of Akashi Series

• Method: Directly compute Akashi series utilizing special properties of function fields
• Contrast: The number field case requires complex indirect methods

3. Proof of Vanishing of Generalized $\mu$-Invariants

• Result: In the case $\mathrm{char}(F) \neq p$, generalized $\mu$-invariants always vanish
• Significance: Forms a striking contrast with the number field case

Related Work

Historical Development

1. Mazur (1972): Proposed foundational conjectures on Selmer groups of elliptic curves
2. Coates et al. (2005): Developed non-commutative Iwasawa theory over number fields
3. Sechi (2006): Function field results for elliptic curves without complex multiplication
4. Zerbes (2009): Introduced the concept of generalized Euler characteristics

Positioning of This Paper's Contributions

• Completeness: Fully resolves main conjectures in the function field case
• Generality: Extends from elliptic curves to general abelian varieties
• Methodology: Provides novel pure cohomological proof methods

Conclusions and Discussion

Main Conclusions

1. Theoretical completeness: Fully establishes the non-commutative Iwasawa theory framework in the function field setting
2. Structural results: The phenomenon of vanishing $\mu$-invariants reveals special properties of function fields
3. Applied value: Provides tools for studying the Birch-Swinnerton-Dyer conjecture over function fields

Limitations

1. Characteristic restriction: Requires $\mathrm{char}(F) \neq p$; the case $\mathrm{char}(F) = p$ is more complex
2. Technical conditions: Some results require additional finiteness assumptions
3. Computational complexity: Computing generalized Euler characteristics remains difficult in practice

Future Directions

1. Characteristic $p$ case: Study corresponding theory when $\mathrm{char}(F) = p$
2. Main conjecture: Establish complete non-commutative main conjecture
3. Computational methods: Develop effective computational tools

In-Depth Evaluation

Strengths

1. Theoretical completeness: Fully resolves core conjectures in the function field setting
2. Methodological innovation: Pure cohomological methods simplify proofs and provide new insights
3. Depth of results: Reveals essential differences between function fields and number fields
4. Technical rigor: Proofs are detailed and rigorous

Weaknesses

1. Scope of applicability: Main results limited to the case $\mathrm{char}(F) \neq p$
2. Computational feasibility: Practical computation of theoretical results remains challenging
3. Generalization: Extension to more general settings requires overcoming technical obstacles

Impact

1. Field contribution: Provides complete function field theory for non-commutative Iwasawa theory
2. Methodological value: Pure cohomological methods may apply to other problems
3. Foundation for future research: Establishes basis for further research in related areas

Applicable Scenarios

1. Theoretical research: Theoretical development in arithmetic geometry and algebraic number theory
2. Related problems: Study of $L$-function special values and Selmer group structures
3. Generalized applications: Iwasawa theory research for other arithmetic objects

References

The paper cites 51 important references, covering:

• Foundational Iwasawa theory literature (Iwasawa, Mazur, Coates, etc.)
• Non-commutative Iwasawa theory (Coates-Fukaya-Kato-Sujatha-Venjakob series of works)
• Function field arithmetic geometry (Ulmer, Kato-Trihan, etc.)
• Cohomology theory (Jannsen, Nekovář, etc.)

These references constitute a solid theoretical foundation for this research, demonstrating the authors' deep understanding and comprehensive mastery of the relevant field.