A note on zeta measures over function fields (Q5949913): Difference between revisions

Let \(r\) be a power of the prime \(p\) and \(A={\mathbb F}_r[T]\) the polynomial ring over the finite field with \(r\) elements. Also let \({\mathbf C}_\infty\) be the completion of an algebraic closure of \({\mathbb F}_r((\frac{1}{T}))\). The \({\mathbf C}_\infty\)-valued Goss zeta function \(\zeta_{{\mathbb F}_r[T]}(s)\) is defined for \(s=(x,y)\) in the ``complex plane'' \({\mathbf C}_\infty^\times\times{\mathbb Z}_p\). There exists a family of \({\mathbf C}_\infty\)-valued measures \(\mu_x^{(\infty)}\) on \(A_\infty={\mathbb F}_r[[\frac{1}{T}]]\) whose \(k\)-th moments are the special values of \(\zeta_{{\mathbb F}_r[T]}(s)\), i.e., \[ \zeta_{{\mathbb F}_r[T]}(x,-k)= \int_{A_\infty}t^k d\mu_x^{(\infty)}(t) \] for every integer \(k\geq 0\). With respect to a suitable orthonormal basis for the continuous \({\mathbf C}_\infty\)-valued functions on \(A_\infty\), the zeta measure \(\mu_x^{(\infty)}\) can be encoded in a divided power series \(\sum_{k\geq 0}m_x(k)\frac{z^k}{k!}\). In this context (positive characteristic), \(\frac{z^k}{k!}\) is a purely formal symbol which has the effect that convolution of measures translates into multiplication of power series. The main content of the paper is the explicit calculation of this power series. For the completion \(A_v\) of \(A\) at a ``finite place'' \(v\), the divided power series of the \({\mathbf C}_v\)-valued zeta measure on \(A_v\) was determined in \textit{D. Thakur} [J. Number Theory 35, 1-17 (1990; Zbl 0703.11065)]. The representations of \(\zeta_{{\mathbb F}_r[T]}(s)\) and its \(v\)-adic interpolations as integrals over certain locally analytic functions are also discussed.