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

Li-Tong Deng,Yukako Kezuka,Yong-Xiong Li,Meng Fai Lim
2024-06-01
Abstract:Let $A$ be an abelian variety defined over a global function field $F$. We investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ for any prime number $p$ distinct from the characteristic of $F$, over $p$-adic Lie extensions $F_\infty$ of $F$ which contain the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$. In particular, we prove that the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ is a torsion $\mathbb{Z}_p[[\mathrm{Gal}(F^\mathrm{cyc}/F)]]$-module with trivial $\mu$-invariant, and we establish the $\mathfrak{M}_H(G)$-conjecture of Coates-Fukaya-Kato-Sujatha-Venjakob for $A/F_\infty$. In view of the validity of the $\mathfrak{M}_H(G)$-conjecture, it therefore makes sense to speak of the characteristic element (in the sense of Coates et al.) attached to the Pontryagin dual of $\mathrm{Sel}(A/F_\infty)$. We 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$. Combining this with the deep results of Tate, Milne and Kato-Trihan, we show that the order of vanishing of the characteristic elements is equal to the order of vanishing of the $L$-function of $A/F$ at $s=1$ under appropriate assumptions. Finally, we relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$. This is a natural analogue of Zerbes' result in the number field context and generalises previous results of Sechi and Valentino in the function field context.
Number Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the application of non - commutative Iwasawa theory over global function fields, especially on studying the structure of the p - elementary Selmer group of abelian varieties. Specifically: 1. **Research Object**: The paper focuses on an abelian variety \(A\) defined over a global function field \(F\) and studies the structure of its p - elementary Selmer group \(\text{Sel}(A/F_{\infty})\) over the p - adic Lie extension \(F_{\infty}\). 2. **Core Problems**: - Prove that the Pontryagin dual of the Selmer group \(\text{Sel}(A/F_{\text{cyc}})\) is a \(\mathbb{Z}_p[[\text{Gal}(F_{\text{cyc}}/F)]]\)-module with a trivial \(\mu\)-invariant. - Establish that the MH(G)-conjecture proposed by Coates - Fukaya - Kato - Sujatha - Venjakob holds for \(A/F_{\infty}\). - Study the relationship between the vanishing order of the characteristic element and the Artin representation, and connect it with the corank of the Selmer group over the base field \(F\). - Combining the profound results of Tate, Milne and Kato - Trihan, prove that the vanishing order of the characteristic element is equal to the vanishing order of the L - function of \(A/F\) at \(s = 1\). 3. **Key Conclusions**: - The paper proves that the MH(G)-conjecture holds unconditionally over global function fields, which is in sharp contrast to the number field case. - The vanishing order of the characteristic element is closely related to the corank of the Selmer group and its torsion transformation. - By introducing the generalized Euler characteristic, the generalized G - Euler characteristics of \(\text{Sel}(A/F_{\infty})\) and \(\text{Sel}(A/F_{\text{cyc}})\) are related. ### Formula Summary - **Definition of Selmer Group**: \[ \text{Sel}(A/K)=\ker\left(H^1(K, A[p^{\infty}])\to\prod_w H^1(K_w, A)\right) \] where \(A[p^{\infty}]\) represents the group consisting of all p - power torsion points in \(A\). - **Definition of Characteristic Element**: \[ \xi_A = \text{char element of }X(A/F_{\infty}) \] where \(X(A/F_{\infty})\) is the Pontryagin dual of the Selmer group \(\text{Sel}(A/F_{\infty})\). - **Relationship of Vanishing Orders**: \[ \text{ord}_{T = 0}(\Phi_{\text{reg}_F}(\xi_A))\geq\text{corank}_{\mathbb{Z}_p}(\text{Sel}(A/F)) \] When Greenberg's semisimplicity conjecture holds, the equality holds. - **Relationship of Generalized Euler Characteristics**: \[ \chi(G,\text{Sel}(A/F_{\infty}))=\chi(\Gamma,\text{Sel}(A/F_{\text{cyc}}))\prod_{v\in S'}\frac{\#A^*(F_v)}{\#H^1(\Gamma_w, A[p^{\infty}](F_{\text{cyc}}))} \]