Moments of Dirichlet \(L\)-functions to a fixed modulus over function fields (Q6562928)

Let \(A=\mathbb{F}_q[t]\) be the polynomial ring over a finite field \(\mathbb{F}_q\). Let \(\chi\) be a Dirichlet character modulo \(Q\in A\) of degree larger than \(1\) and \(L(s, \chi)\) the \(L\)-function associated to \(\chi\). The aim of this paper under review is to establish the \(2k\)th moment of this family at the central point \[{\sum}^{*}_{\chi (\bmod Q)} \left |L\left(\frac{1}{2},\chi\right) \right|^{2k} \asymp \varphi^*(Q)\log_q(|Q|)^{k^2}, \] where \(k\geq 0\), \(|Q|\) is the norm of \(Q\), \({\sum}^*\) denotes the sum over primitive Dirichlet characters modulo \(Q\) and \(\varphi^*(Q)\) denotes the number of primitive characters modulo \(Q\).\N\NObviously, the above estimate is proved by establishing sharp lower and upper bounds for the \(2k\)th moment. Note that although the proof requires the generalized Riemann hypothesis (GRH) in general, the above result is unconditional since GRH has been established in the function field setting.