Factorization of coefficients for exponential and logarithm in function fields (Q2112733)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Factorization of coefficients for exponential and logarithm in function fields |
scientific article |
Statements
Factorization of coefficients for exponential and logarithm in function fields (English)
0 references
11 January 2023
0 references
Let \(X\) be a smooth, projective, geometrically connected curve over \({\mathbb F}_q\). Choose a closed point \(\infty\) on \(X\), and let \({\mathbb A}=\Gamma( X\setminus \infty, {\mathcal O}_X)\) and \({\mathbb K}=\mathrm{Frac}({\mathbb A})\). Let \(\rho\) be a Hayes module, that is, a sgn-normalized Drinfeld module. Let \(v\) be a finite valuation of \({\mathbb K}\) corresponding to a prime ideal \({\mathfrak p}\) of \({\mathbb A}\). Let \(e_{\rho}(z)\) and \(\log_{ \rho}(z)\) be the exponential and the logarithm series of \(\rho\) respectively, which are functions on \({\mathbb C}_v\). The author considers the case of an elliptic curve or a \textit{ramifying hyperelliptic curve}, that is, a curve with an affine model \({\mathbb A}=\Gamma(X\setminus \infty, {\mathcal O}_X)= {\mathbb F}_q[t,y]/(y^2+F_2(t)y-F_1(t))\), \(F_1,F_2\in{\mathbb F}_q[t]\), \(F_1\) monic of degree \(2g+1\), \(F_2\) of degree \(g\), \(g\) being the genus. When \(g=1\), this is the usual Weierstrass model for elliptic curves. When \(g\geq 2\) it is what the author calls a \textit{ramifying hyperelliptic curve}, which means that \(\infty\) ramifies in \(\mathrm{Frac}({\mathbb A})/ {\mathbb F}_q(t)\). The exponential and the logarithm series \(e_{\rho} (z)\) and \(\log_{\rho}(z)\) for \(\rho\) have coefficients in a finite Galois extension of \({\mathbb K}\). The main results of the paper are: Theorem 5.7. The power series \(e_{\rho}(z)\) converges in \({\mathbb C}_v\) for \(z\in{\mathbb C}_v\) with \(v(z)>C_1+C_2\frac 1{q^{C_3}-1}\), where \(C_1,C_2\) and \(C_3\) are explicit constants. Theorem 5.6. The power series \(\log_{\rho}(z)\) converges for \(z\in{\mathbb C}_v\) with \(v(z)>0\). One of the main tools for the proof of these results is the study of the coefficients by a factorization (given in Proposition 4.2). As an application, it is proved a similar log-algebracity theorem for \(v\)-adic \(L\)-values: Theorem 6.4. Let \(\Psi\) be a multiplicative character of conductor \(v\) on the group of \({\mathbb A}\)-fractional ideals prime to \(v\). Then \(L_v(1,\Psi)\) is log-algebraic, that is, there exist \(\alpha_1,\ldots, \alpha_s, S_1,\ldots,S_s\in \bar {\mathbb K}\) with \(v(S_i)>0\) such that \(L_v(1,\Psi)=\sum_i\alpha_i\log_{\rho} S_i\).
0 references
Drinfeld modules
0 references
Hayes modules
0 references
Shtuka functions
0 references
characteristic \(p\) \(L\)-functions
0 references
\(v\)-adic \(L\)-functions
0 references
special values
0 references
log-algebraicity
0 references
0 references
0 references