Iwasawa main conjecture for the Carlitz cyclotomic extension and applications

We prove an Iwasawa Main Conjecture for the class group of the p-cyclotomic extension F of the function field Fq(θ) (p is a prime of Fq[θ]), showing that its Fitting ideal is generated by a Stickelberger element. We use this and a link between the Stickelberger element and a p-adic L-function to prove a close analog of the Ferrero–Washington Theorem for F and to provide information on the p-adic valuations of the Bernoulli-Goss numbers β(j) (i.e., on the values of the Carlitz-Goss ζ-function at negative integers).