Applications of non-Archimedean integration to the \(L\)-series of \(\tau\)-sheaves (Q1767658)

The results of this work are very interesting and it is written in a clear and concise way. Moreover, section 2 offers a very good review of non-Archimedean integration. Let \(k\) be a function field, \(\infty\) a place of \(k\), \(A\) the ring of functions within \(k\) with poles only at \(\infty\), \(| ?|_\infty\) the normalized absolute value and \({\mathbb F}_r\) the full field of constants. Let \(K\) be the completion of \(k\) at \(\infty\). \({\mathbb C}_\infty\) is the completion of a fixed algebraic closure of \(K\) with the canonical extension of \(| ?|_\infty\). \(d_\infty\) denotes the degree of \(\infty\); \(\pi\) is a uniformizer for \(K\), and \(\pi_*\in {\mathbb C}_\infty\) is a \(d_\infty\)-th root of \(\pi\). By choosing \(\pi\), if \(\alpha\in K^\times \) then \(\alpha\) can be written in a unique way \(\zeta_\alpha\cdot \pi^{n_\alpha}\cdot \langle \alpha\rangle\). Where \(\langle \alpha\rangle\in U_1(K)\). \(\alpha\) is said to be positive when \(\zeta_\alpha=1\). \(S_\infty\) denotes \({\mathbb C}_\infty\times {\mathbb Z}_p\). Let \({\mathcal I}\) be the group of fraction ideals of \(A\). An element \(s\in S_\infty\) defines a group morphism \({\mathcal I}\to U_1({\mathbb C}_\infty)\) (\(I\to I^s\)): if \({\mathcal P}^+\) denotes the subgroup of \({\mathcal I}\) of the principal ideals generated by positive elements then it is not hard to define a group morphism \(\langle ?\rangle:{\mathcal P}^+\to U_1({\mathbb C}_\infty)\). Moreover, because \(U_1({\mathbb C}_\infty)\) is an injective group, \(\langle ?\rangle\) extends uniquely to \(\langle ?\rangle:{\mathcal I} \to U_1({\mathbb C}_\infty)\). If \(s=(x,y)\), then one defines \(I^s:=x^{-\deg(I)}\cdot \langle I\rangle^y\), where \(\deg(I):= \dim_{{\mathbb F}_r}A/I\). The author considers the field \({\mathbb V}\subset {\mathbb C}_\infty :=k(I^{(\pi_*^{-1},1)}; I\in {\mathcal I})\), which is intimately related to the Hilbert class fields for \(k\) [cf. Section 8, \textit{D. Goss}, Basic Structures of Function Field Arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge 35 (Berlin: Springer) (1996; Zbl 0874.11004)]. A Dirichlet series of the form \(L(s)=\sum_I c_I\cdot I^{-s}\), where \(s\in S_\infty\) and \(c_I\in {\mathbb C}_\infty\), is an entire function if for each \(y\in {\mathbb Z}_p\) fixed \(L(x,y) \) is a \({\mathbb C}_\infty\)-valued uniformly convergent entire power in \(x^{-1}\). If the ``\(c_I\)'' belong to a finite extension \(H\) of \(k\), then \(L(s)\) is said to be essentially algebraic if and only if \(L(\pi_*^jx,-j)\in H_1[x^{-1}]\), for all \(j\geq 0\), where \(H_1:=H\cdot {\mathbb V}\). A \(\tau\)-sheaf over a scheme \(X\), is a pair \((F, \tau)\), with \(F\) a locally free sheaf on \(X\times_{{\mathbb F}_r} \text{Spec}(A)\), and \(\tau\) is a morphism of modules \(\tau:(\sigma\times id)^*F\to F\). \(\sigma\) is the \(r\)-Frobenius morphism on \(X\). In \textit{G. Böckle}, ``Global \(L\)-functions over function fields'', Math. Ann. 323, 737--795 (2002; Zbl 1125.11031) and \textit{G. Böckle} and \textit{R. Pink}, ``A cohomological theory of crystals over function fields'', in preparation], the authors define certain \(L\)-series associated with a \(\tau\)-sheaf and it is proved that when \(X\) is a reduced, affine, equi-dimensional Cohen-Macaulay variety over \(\text{Spec}(A)\), these \(L\)-series, \(L(s)=\sum_I b_I\cdot I^{-s}\), \(s\in S_\infty\) satisfy: (1) The ``\(b_I\)'' belong to \(A\). (2) \(L(s)\) converges absolutely in some half-plane \(\{(x,y)\); \(| x|_\infty\geq t\}\). (3) For each \(j\in {\mathbb N}\), \(L(\pi_*^jx,-j)\in {\mathcal O}_{\mathbb V}[x^{-1}]\), such that its degree is \(O(\log(j))\). \({\mathcal O}_{\mathbb V}\) is the ring of \(A\)-integers within \({\mathbb V}\). The author defines that a general Dirichlet serie \(L(s)\) is in the motivic class \({\mathcal M}\) when \(L(s)\) satisfies the above three properties. The expectation is that the general procedure to obtain this type of Dirichlet series will be via partial \(L\)-series of \(\tau\)-sheaves. In \textit{G. Böckle} (loc. cit.), it is proved, via cohomological techniques, the analytic continuation of \(L\)-series associated to \(\tau\)-sheaves. In this work the same result is proved but for the motivic class \({\mathcal M}\) Dirichlet series. To prove this the author uses the logarithmic growth of the degrees of the polynomials \(L(\pi_*^jx,-j)\), and Amice's estimates [cf. \textit{Y. Amice}, ``Interpolation \(p\)-adique'', Bull. Soc. Math. Fr. 92, 117--180 (1964; Zbl 0158.30203)] together with the non-Archimedean integration. He proves similar results for partial \(L\)-series and for \(v\)-adic interpolations of Dirichlet series in the motivic class \({\mathcal M}\). The author hopes that with these results and those of Böckle, Pink, Taguchi and Wan a deeper theory of the zeros for these functions will be eventually found.