{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2232014","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2232014","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2232014","kernelVersion":"v1","immutable":true,"modified":"2026-04-02T14:17:41Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2232014","name":"Stickelberger series and main conjecture for function fields","headline":"Stickelberger series and main conjecture for function fields","description":"scientific article; zbMATH DE number 7405626","url":"https://portal.mardi4nfdi.de/entity/Q2232014","datePublished":"2021-10-01","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q462697"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2055944"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q195374"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.5565/PUBLMAT6522103","url":"https://doi.org/10.5565/PUBLMAT6522103"},"sameAs":["https://doi.org/10.5565/PUBLMAT6522103"],"comment":"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.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2290810"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5248615"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1383454"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2055945"},{"@id":"https://portal.mardi4nfdi.de/entity/Q462699"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2517149"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2792154"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1668853"},{"@id":"https://portal.mardi4nfdi.de/entity/Q538405"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1277198"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1820833"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1255524"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4714153"},{"@id":"https://portal.mardi4nfdi.de/entity/Q957909"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3224205"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4910701"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3134952"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5421706"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3186408"},{"@id":"https://portal.mardi4nfdi.de/entity/Q797632"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4093557"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1342387"},{"@id":"https://portal.mardi4nfdi.de/entity/Q764061"},{"@id":"https://portal.mardi4nfdi.de/entity/Q421020"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3581146"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2509878"},{"@id":"https://portal.mardi4nfdi.de/entity/Q797633"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3158374"}]},"provenance":{"prov:generatedAtTime":"2026-04-02T14:17:41Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}