A note on zeta measures over function fields

From MaRDI portal





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., NEWLINE\[NEWLINE\zeta_{{\mathbb F}_r[T]}(x,-k)= \int_{A_\infty}t^k d\mu_x^{(\infty)}(t)NEWLINE\]NEWLINE 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. NEWLINENEWLINENEWLINEThe 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)]. NEWLINENEWLINENEWLINEThe representations of \(\zeta_{{\mathbb F}_r[T]}(s)\) and its \(v\)-adic interpolations as integrals over certain locally analytic functions are also discussed.











This page was built for publication: A note on zeta measures over function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5949913)