Stickelberger series and main conjecture for function fields (Q2232014): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Iwasawa main conjecture for the Carlitz cyclotomic extension and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetic of characteristic p special L-values / rank
 
Normal rank
Property / cites work
 
Property / cites work: Note on Nakayama's lemma for compact \(\Lambda\)-modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fitting ideals of class groups in Carlitz-Hayes cyclotomic extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characteristic ideals and Iwasawa theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characteristic ideals and Selmer groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Control theorems for $\ell$-adic Lie extensions of global function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Euler characteristic and Akashi series for Selmer groups over global function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Congruences between derivatives of geometric \(L\)-functions. With an appendix by David Burns, King Fai Lai and Ki-Seng Tan / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fitting ideals of class groups of real fields with prime power conductor / rank
 
Normal rank
Property / cites work
 
Property / cites work: L-functions of p-adic characters and geometric Iwasawa theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: An addendum to ``\(v\)-adic zeta functions, \(L\)-series, and measures for function fields'' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4714153 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stickelberger elements, Fitting ideals of class groups of CM-fields, and dualisation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Galois Module Structure of ℓ-adic Realizations of Picard 1-motives and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fitting ideals of ℓ-adic realizations of Picard 1-motives and class groups of global function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3134952 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5421706 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Iwasawa Main Conjecture for constant ordinary abelian varieties over function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class fields of abelian extensions of \(\mathbb Q\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4093557 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kummer's criterion over global function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Special \(L\)-values of Drinfeld modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Herbrand-Ribet theorem for function fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalized Mazur’s theorem and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Selmer groups over \(\mathbb Z_p^d\)-extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Stark conjectures on Artin \(L\)-functions at \(s=0\). Lecture notes of a course in Orsay edited by Dominique Bernardi and Norbert Schappacher. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3158374 / rank
 
Normal rank

Revision as of 18:00, 26 July 2024

scientific article
Language Label Description Also known as
English
Stickelberger series and main conjecture for function fields
scientific article

    Statements

    Stickelberger series and main conjecture for function fields (English)
    0 references
    0 references
    0 references
    1 October 2021
    0 references
    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.
    0 references
    \( \mathfrak{p} \)-adic \(L\)-functions
    0 references
    divisor class groups
    0 references
    function fields
    0 references
    Iwasawa main conjecture
    0 references
    Stickelberger series
    0 references
    Hayes module
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references