Fitting ideals of class groups in Carlitz-Hayes cyclotomic extensions

From MaRDI portal
Publication:2055945



Abstract: We generalize some results of Greither and Popescu to a geometric Galois cover XightarrowY which appears naturally for example in extensions generated by mathfrakpn-torsion points of a rank 1 normalized Drinfeld module (i.e. in subextensions of Carlitz-Hayes cyclotomic extensions of global fields of positive characteristic). We obtain a description of the Fitting ideal of class groups (or of their dual) via a formula involving Stickelberger elements and providing a link (similar to the one in cite{ABBL}) with Goss zeta-function.


Let \(F\) be a global function field with field of constants \({\mathbb F}\) of characteristic \(p\). \textit{B. Anglès} et al. [``Iwasawa main conjecture for the Carlitz cyclotomic extension and applications, Preprint, \url{arXiv:1412.5957}] prove the Iwasawa Main Conjecture using results of \textit{C. Greither} and \textit{C. D. Popescu} [Int. Math. Res. Not. 2012, No. 5, 986--1036 (2012; Zbl 1254.11063); J. Reine Angew. Math. 675, 223--247 (2013; Zbl 1294.11103)] on Fitting ideals and cohomology triviality of \(p\)-adic motives, to compute Fitting ideals of some class groups. The main goal of the paper under review is to consider a more general setting: Galois extensions with at least one totally ramified prime and to provide a general formula for the Fitting ideal of the Pontrjagin dual of their class groups applying the results of Greither and Popescu. The main application is to obtain of formulas of the Fitting ideals providing the algebraic side of the Iwasawa Main Theorem in this setting. First, the authors generalize some results of Greither and Popescu on the Fitting ideal of the Tate module of the Picard \(1\)-motive of \(X\), where \(X \rightarrow Y\) is a finite abelian Galois covering of smooth projective curves over \({\mathbb F}\), to the case where there is a totally ramified place, not necessarily \({\mathbb F}\)-rational. It is assumed that the covering \(X\rightarrow Y\) is geometric. Next, similar results are obtained for mixed covers \(X\rightarrow Y' \rightarrow Y\) where \(X\rightarrow Y'\) is of \(p\)-power degree and totally ramified at some prime, and \(Y'\rightarrow Y\) is of order prime to \(p\). Then, they consider the cyclotomic extension generated by the \({\mathfrak p}^n\)-powers torsion of a Hayes module, assuming that the class group of \(F={\mathbb F}(Y)\) has order prime to \(p\). Here, \({\mathfrak p}\) is any prime of \({\mathbb F}[t]\). The main results are Theorem 3.3, where the Fitting ideals are obtained, and Corollary 3.5, where the Fitting ideals of the duals of class groups are described. In the last section, the authors point out some possible applications of their results to the study of special values of the Goss \(\zeta\)-function.











This page was built for publication: Fitting ideals of class groups in Carlitz-Hayes cyclotomic extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055945)