Taelman \(L\)-values for Drinfeld modules over Tate algebras (Q2319872): Difference between revisions

Let \(A:={\mathbb F}_q[\theta]\) and let \(\phi\) be a Drinfeld module of rank \(r\geq 1\). For any \(s\geq 1\), the dual Goss \(L\)-series \(L(\phi^{\vee},s-1)\) corresponding to \(\phi\) is defined by \(L(\phi^{\vee},s-1)=\sum_{a\in A_+}\frac{\mu(a)}{a^s}\in {\mathbb K}_{\infty}\), where \(\mu \colon A_+\to A\) is a multiplicative function depending on \(\phi\). Here \(A_+\) is the set of monic polynomials in \(A\), \(A_{+,d}\) are the elements of \(A_+\) of degree \(d\), \(K={\mathbb F}_q(\theta)\) and \({\mathbb K}_{\infty}\) is the completion of \(K\) at the infinite prime \(1/ \theta\). \textit{L. Taelman} defined in [Ann. Math. (2) 175, No. 1, 369--391 (2012; Zbl 1323.11039)] a new type of \(L\)--value \(L(\phi,A)=\prod_f \frac{[A/fA]_A}{[\phi(A/fA)]_A}\in {\mathbb K}_{ \infty}\), where \([M]_A\) is the monic generator of the Fitting ideal of the \(A\)--module \(M\). Taelman proved that \(L(\phi^{\vee},0)=L(\phi,A)\). \textit{B. Anglès} and \textit{F. Tavares Ribeiro} [Math. Ann. 367, No. 1--2, 501--579 (2017; Zbl 1382.11043)] the theory for the twist \(\varphi\) of any Drinfeld \(A\)-module \(\phi\) of arbitrary rank and defined the Taelman \(L\)--value corresponding to \(\varphi\) by the infinite product \(L( \varphi,{\mathbb A})=\prod_f \frac{[{\mathbb A}/f{\mathbb A}]_{\mathbb A}}{ [\varphi({\mathbb A}/f{\mathbb A})]_{\mathbb A}}\in {\mathbb T}_n\), where \(f\) is irreducible in \(A_+\), \({\mathbb T}_n\) is the Tate algebra with indeterminates \(z_1, \ldots, z_n\) and \({ \mathbb A}:={\mathbb F}_q(z_1,\ldots,z_n)[\theta]\). The first main result of this paper is that \(L(\varphi,{\mathbb A})=\sum_{a\in A_+}\frac{ \mu(a)a(z_1)\cdots a(z_n)}{a}\). As a consequence it is obtained that \(L(\varphi, {\mathbb A}) =\frac{\log_{\phi}(\omega)}{\omega}\) for \(0\leq n\leq q/r-(1+2\beta)\), where \(\beta\) is the maximal degree of the coefficients of \(\phi_{\theta}\) and \(\omega\in {\mathbb T}_n^*\) is an Anderson-Thakur type element. A second main result is that the infinite series \(L(\phi^{\vee}, z_1,\ldots,z_n;x,y)\) can be continued to an entire function on \({\mathbb C}_{\infty}^n \times {\mathbb S}_{\infty}\), where \[ L(\phi^{\vee},z_1,\ldots,z_n;x,y)=\sum_{d\geq 0} x^{-d}\sum_{a\in A_{+,d}}\mu(a)a(z_1)\cdots a(z_n)\langle a\rangle^y\in{\mathbb T}_n \] for \((x,y)\in {\mathbb S}_{\infty}:={\mathbb C}_{\infty}^*\times {\mathbb Z}_p\), \({\mathbb C}_{\infty}\) is the completion of the algebraic closure of \({\mathbb K}_{\infty}\) and \(\langle a\rangle:=a\theta^{-\deg_{\theta}(a)}\). In Section 3, the author computes Taelman \(L\)-values corresponding to Drinfeld modules over Tate algebras. The proof of the second main result is the content of Section 5.