Function field genus theory for non-Kummer extensions (Q2101180): Difference between revisions

Let \(k=\mathbb{F}_q(T)\) be the rational function field over a finite field \(\mathbb{F}_q\) of characteristic \(p\). For a finite abelian extension \(K/k\), let \(K_H\) be the maximal unramified abelian extension of \(K\) where all the places of a properly chosen finite set decompose fully. The genus field \(K^*\) of \(K/k\) is defined as \(K^*=Kk^*\), where \(k^*\) is the maximal abelian extension of \(k\) in \(K_H\). In this article, the authors deal with the problem to give the explicit description of the genus field \(K^*\) of a finite geometric abelian non-Kummer \(\ell\)-extension \(K\) of \(k\), for a prime \(\ell\) prime to \(p\). Here non-Kummer extension means that the degree of \(K\) over \(k\) is not a divisor of \((q-1)\). Further, by explicit description, the authors mean to give \(K^*_w\) in terms of radical extensions, where \(K^*_w=K^*\mathbb{F}_w\) is an extension by a finite extension \(\mathbb{F}_w\) of \(\mathbb{F}_q\). Previously, the authors and others have obtained the explicit description of abelian \(p\)-extensions and of finite Kummer \(\ell\)-extensions. The authors have proved that the genus field of the composite field of two finite abelian extensions such that their degrees are relatively prime is the composite field of each genus field of those abelian fields. Together with the result in this article, the general description of the genus field for any finite abelian extension over \(k\) is obtainable. To resolve their problem, the authors reduce the problem to the case of Kummer extensions by finding a constant extension \(k_w\) of \(k\) and an integral element \(D\) of \(k_w\) such that \(Kk_w=k_w(\sqrt[\ell^n] D)\) is a Kummer extension over \(k_w\).