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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references