Universal Gauss-Thakur sums and \(L\)-series (Q2346754): Difference between revisions

The aim of this paper is to give a description of the maximal abelian extension \(E\) of the rational function field \(K={\mathbb F}_q(\theta)\) where the infinite prime is tamely ramified. The maximal abelian extension of \(K\) was obtained by \textit{D. R. Hayes} [Trans. Am. Math. Soc. 189, 77--91 (1974; Zbl 0292.12018)] by means of class field theory. His result might be considered the Kronecker-Weber theorem for function fields. In the present work, the authors exhibit \(E\) as generated by the values of the higher derivatives \(D_n(\omega)\) where \(\omega\) is the special function of \textit{G. W. Anderson} and \textit{D. S. Thakur} [Ann. Math. (2) 132, No. 1, 159--191 (1990; Zbl 0713.11082)]. It is proved that \(E\) is generated by the elements \(D_n(\omega) (\zeta_{\mathfrak p})\) for all \(n\geq 0\) and for all primes \({\mathfrak p}\) of \(A={\mathbb F}_q[\theta]\) and \(\zeta_{\mathfrak p}\in {\mathbb F}_q^{\text{ac}}\) is a root of \({\mathfrak p}\). Also, the authors show that \(E\) is generated by the elements \(\tilde{\pi}^{-1}D_n({\mathfrak L})(\zeta_{\mathfrak p})\) for all \(n\geq 0\) and for all \({\mathfrak p}\). Here \(A\tilde{\pi}\) is the set of zeroes of the Carlitz exponential \(\exp_C: {\mathbb C}_{\infty} \to {\mathbb C}_{\infty}\) and \(\tilde{\pi}:=\theta(-\theta)^{\frac{1}{q-1}} \prod_{i=1}^{\infty}(1-\theta^{1-q^i})^{-1}\in (-\theta)^{\frac{1}{q-1}} K_{\infty}\), \(K_{\infty}={\mathbb F}_q((1/\theta))\) and \({\mathfrak L}(x)= \prod_{\mathfrak p}\big(1-\frac{{\mathfrak p}(x)}{{\mathfrak p}}\big)\), \(x\in {\mathbb C}_{\infty}\). The main result is (Theorem 3.3): For all \(n\geq 0\) we have \(K(D_n(\omega)(\zeta_{\mathfrak p}))={\mathbb F}_{q^d} K_{{\mathfrak p}^{n+1}}\) where \(K_{{\mathfrak p}^{n+1}}=K(\lambda_{{\mathfrak p}^{n+1}})\), \(\lambda_{{\mathfrak p}^{n+1}}=\exp_C\big(\frac{\tilde{\pi}} {{\mathfrak p}^{n+1}}\big)\), \(n\geq 0\).