Riemann hypothesis for the Goss \(t\)-adic zeta function (Q309464)

Let \(A = {\mathbb F}_q[t]\) be the polynomial ring over a finite field \({\mathbb F}_q\) and let \(K = {\mathbb F}_q(t)\) be the field of fractions of \(A\). For a prime \(v\) of \(A\), we let \({\mathbb C}_v\) be the completion of an algebraic closure of \(K_v\), the completion with respect to the valuation \(v.\) Let \[ s = (x,y)\in S_v := {\mathbb C}_v^{\ast}\times \lim_{\overset{\leftarrow j} {\mathbb Z}}\left((q^{\deg v} - 1)p^j {\mathbb Z}\right). \] The \(v\)-adic Goss zeta function as introduced by \textit{D. Goss} [in: The arithmetic of function fields. Proceedings of the workshop at the Ohio State University, June 17-26, 1991, Columbus, Ohio (USA). Berlin: Walter de Gruyter. 313--402 (1992; Zbl 0806.11028)], is defined as \[ \zeta_v(s) = \sum_{d=0}^\infty\, x^d \sum_{\overset{a\in {\mathbb F}_q[t],\text{monic}}{\deg(a) = d (v, a) =1}} a^y, \] see [\textit{D. Goss}, Basic structures of function field arithmetic. Berlin: Springer (1996; Zbl 0874.11004)] or [\textit{D. S. Thakur}, Function field arithmetic. River Edge, NJ: World Scientific (2004; Zbl 1061.11001)] for motivation and details. In this paper under review, the authors investigate the Riemann hypothesis for \(\zeta_v(s)\) under the restriction that \(v\) is of degree one. Thus one may assume that \(v=t\). In this case, the statement for the Riemann hypothesis is the following. For a fixed \(y\), all zeros in \(x\) of \(\zeta_v(s)\) are in \(K_{(t)} = {\mathbb F}_q((t))\) the completion of \(K\) at the prime \(v = (t)\) and all zeros are simple zeros. Special cases under certain restrictions were obtained in [\textit{D. Wan}, J. Number Theory, 58, 196--212 (1996; Zbl 0858.11030; \textit{D. Goss}, J. Number Theory, 82, 299--322 (2000; Zbl 1032.11036)]. The authors remove the restrictions in known cases (still under the assumption that \(v\) is of degree one prime of \(K\)).