Stickelberger series and main conjecture for function fields
The first named author proved an Iwasawa main conjecture for the Carlitz cyclotomic extension of a rational function field \(\mathbb F_q(t)\) in joint work with \emph{B. Anglès}, \emph{F. Bars} and \emph{I. Longhi} [Math. Ann. 376, No. 1-2, 475--523 (2020; Zbl 1454.11211)]. In this paper the authors extend this result to general function fields \(F\) of characteristic \(p\) or, equivalently, to function fields of smooth projective curves defined over a finite field \(\mathbb F_q\), where \(q\) is a \(p\)-power. Let \(H\) be the Hilbert class field of \(F\), which is the maximal abelian unramified extension of \(F\) which is totally split at a chosen place \(\infty\). Let \(H\{\tau\}\) be the skew-polynomial ring in one variable \(\tau\) with coefficients in \(H\), where \(\tau f = f^q \tau\) for all \(f \in H\). A Hayes module is a homomorphism of \(\mathbb F_q\)-algebras \(\Phi: F \rightarrow H\{\tau\}\) satisfying certain conditions. In particular, it is a Drinfeld module of rank \(1\). Fix a prime \(\mathfrak p\) of \(F\) and let \(F_n\) be the field obtained from \(H\) by adjoining all \(\mathfrak p^{n+1}\)-torsion points of \(\Phi\). Then \(F_n\) is an abelian extension of \(F\) which is ramified only at \(\mathfrak p\) and \(\infty\). Set \(\mathcal{F} := \bigcup_n F_n\). Then \(\mathcal F / F_0\) is abelian with Galois group \(\Gamma_{\infty} \simeq \mathbb Z_p^{\infty}\). If \(F = \mathbb F_q(t)\), then \(H = F\) and the Carlitz module is the map \(F \rightarrow F\{\tau\}, t \mapsto t + \tau\). \par The authors (mainly) assume that \([F_0:F]\) is prime to \(p\) so that the Iwasawa algebra \(\mathbb Z_p[[\mathrm{Gal}(\mathcal{F}/F)]]\) decomposes into `\(\chi\)-parts', where \(\chi\) runs over the irreducible characters of \(\mathrm{Gal}(F_0/F)\). The authors also exclude the case, where the restriction of \(\chi\) to \(\mathrm{Gal}(F_0/H)\) is trivial. This case is considered in a subsequent paper with \emph{F. Bars} [J. Number Theory 232, 261--282 (2022; Zbl 1485.11161)]. \par On the algebraic side the authors study the inverse limit of the \(p\)-\(\chi\)-parts of the class groups of degree zero divisors of \(F_n\). This is a finitely generated torsion \(\mathbb Z_p[\chi][[\Gamma_{\infty}]]\)-module. The main result then states that its Fitting ideal is generated by a certain Stickelberger element.\par The overall strategy is the same as in the previous paper on the Carlitz cyclotomic extension. In particular, an important ingredient is again a result of \emph{C. Popescu} and \emph{C. Greither} [Int. Math. Res. Not. 2012, No. 5, 986--1036 (2012; Zbl 1254.11063)] on the Galois module structure, including the computation of certain Fitting ideals, of \(p\)-adic realizations of Picard \(1\)-motives and class groups of global function fields.
- A generalized Mazur's theorem and its applications
- A Herbrand-Ribet theorem for function fields
- An addendum to ``\(v\)-adic zeta functions, \(L\)-series, and measures for function fields
- Arithmetic of characteristic p special L-values
- Characteristic ideals and Iwasawa theory
- Characteristic ideals and Selmer groups
- Class fields of abelian extensions of Q
- Congruences between derivatives of geometric \(L\)-functions. With an appendix by David Burns, King Fai Lai and Ki-Seng Tan
- Control theorems for -adic Lie extensions of global function fields
- Euler characteristic and Akashi series for Selmer groups over global function fields
- Fitting ideals of \(\ell \)-adic realizations of Picard 1-motives and class groups of global function fields
- Fitting ideals of class groups in Carlitz-Hayes cyclotomic extensions
- Fitting ideals of class groups of real fields with prime power conductor
- scientific article; zbMATH DE number 418886 (Why is no real title available?)
- scientific article; zbMATH DE number 2130773 (Why is no real title available?)
- scientific article; zbMATH DE number 3513932 (Why is no real title available?)
- scientific article; zbMATH DE number 940594 (Why is no real title available?)
- scientific article; zbMATH DE number 5204611 (Why is no real title available?)
- Iwasawa main conjecture for the Carlitz cyclotomic extension and applications
- Kummer's criterion over global function fields
- L-functions of p-adic characters and geometric Iwasawa theory
- Note on Nakayama's lemma for compact -modules
- Selmer groups over \(\mathbb Z_p^d\)-extensions
- Special L-values of Drinfeld modules
- Stickelberger elements, Fitting ideals of class groups of CM-fields, and dualisation
- The Galois module structure of -adic realizations of Picard 1-motives and applications
- The Iwasawa main conjecture for constant ordinary abelian varieties over function fields
- The Stark conjectures on Artin L-functions at s=0. Lecture notes of a course in Orsay edited by Dominique Bernardi and Norbert Schappacher.
- Arguments for the Stark units and periods of Eisenstein series
- Stickelberger elements over rational function fields
- Fitting ideals of class groups in Carlitz-Hayes cyclotomic extensions
- Aspects of Iwasawa theory over function fields
- Iwasawa main conjecture for the Carlitz cyclotomic extension and applications
- scientific article; zbMATH DE number 3908545 (Why is no real title available?)
- scientific article; zbMATH DE number 2149251 (Why is no real title available?)
- Fitting ideals of \(\ell \)-adic realizations of Picard 1-motives and class groups of global function fields
- Stickelberger elements for \(\mathbb Z^d_p\)-extensions of function fields
- Geometric main conjectures in function fields
- [[:Publication:7288922|The algebra \(\mathbb{Z}_\ell [[\mathbb{Z}_p^d]]\) and applications to Iwasawa theory]]
This page was built for publication: Stickelberger series and main conjecture for function fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2232014)
