Fitting ideals of class groups in Carlitz-Hayes cyclotomic extensions (Q2055945)

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.