On the vanishing of Iwasawa invariants of geometric cyclotomic Z_p-extensions (Q4484413)

In [Acta Arith. 94, No. 4, 365--371 (2000; Zbl 0964.11048)], \textit{G. Yamamoto} determined all abelian \(p\)-extensions of number fields \(k/{\mathbb Q}\) such that the three Iwasawa invariants vanish. The main goal in this paper is to study the congruence function field analogue. For a prime number \(p\) and \(q\) a power of \(p\), let \(k={\mathbb F}_ q(T)\) be the rational function field over the finite field of \(q\) elements \({\mathbb F} _ q\). Let \(K\) be a finite abelian extension of \(k\). The author shows that the three Iwasawa invariants vanish for a geometric \({\mathbb Z}_ p\)-extension of \(k\) if and only if there is only one prime divisor of \(k\) ramified in the extension. Let \(k_ \infty/k\) be a geometric \({\mathbb Z}_ p\)-extension unramified outside one prime divisor of \(k\). The \({\mathbb Z}_ p\)-extension \(K_ \infty/K\) is called {cyclotomic} if \(K_ \infty = K k_ \infty\). This definition is a natural generalization of the usual cyclotomic \({\mathbb Z}_ p\)-extension of a number field. The main result of this paper is the determination of all abelian \(p\)-extensions \(K\) of \(k\) such that the Iwasawa invariants of the cyclotomic \({\mathbb Z}_ p\)-extension \(K_ \infty/K\) are equal to zero. The main tools used are central class field theory and genus field theory of function fields.