On special \(L\)-values of \(t\)-modules (Q783225)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On special \(L\)-values of \(t\)-modules
scientific article

    Statements

    On special \(L\)-values of \(t\)-modules (English)
    0 references
    0 references
    0 references
    0 references
    11 August 2020
    0 references
    Let \(A={\mathbb F}_q[\theta]\), with \(\theta\) an indeterminate over \({\mathbb F}_q\), \(K={\mathbb F}_q(\theta)\), \(K_{\infty}={\mathbb F}_q \big(\big(\frac{1}{\theta}\big)\big)\) and let \(v_{\infty}\) be the valuation at the infinite place normalized such that \(v_{\infty}(\theta)=-1\). Let \({\mathbb C}_{\infty}\) be the completion of an algebraic closure of \(K_{\infty}\). Let \(C: A\longrightarrow {\mathbb C}_{\infty}\{\tau\}\) denote the Carlitz module \(C_{\theta}=\theta +\tau\). Let \(\zeta_A(n)\), \(n\in{\mathbb Z}\), be the Carlitz zeta values and let \(\exp_C\in {\mathbb C}_{\infty}\{\{\tau\}\}\) be the Carlitz exponential. We have the Carlitz identity \(\exp_C(\zeta_A(1))=1\) and its equivalent \(\zeta_A(1)=\log_C(1)\), where \(\log_C\) denotes the Carlitz logarithm. The first identity is an example of log-algebraicity identities for \(C\) whereas the second one is the class formula for \(C\). \textit{L. Taelman} [Math. Ann. 348, No. 4, 899--907 (2010; Zbl 1217.11062)] proved a class formula that is a generalization of the class formula for the Carlitz module. Let \(F\) be a finite extension of \(K\) and let \(O_F\) be the integral closure of \(A\) in \(F\). Let \(F_{\infty}=F\otimes_K K_{\infty}\) and let \(E\) be a \(t\)-module of dimension \(d\) over \(O_F\) such that if \(E_a=\partial_E(a)+E_{a,1}\tau+\cdots\), we have \((\partial_E(a)-a I_d)^d=0\). Let \(\mathrm{Lie}(E)(F_{\infty})=F_{\infty}^d\), \(W_E(F_{\infty})=\mathrm{Lie}(E)(F_{\infty})/(\partial_E(\theta)-\theta I_d)\mathrm{Lie}(E)(F_{\infty})\) and let \(w: \mathrm{Lie}(E)(F_{\infty}) \longrightarrow W_E(F_{\infty})\) be the projection. \textit{L. Taelman} [Int. Math. Res. Not. 2009, No. 16, 2957--2977 (2009; Zbl 1236.11082)] formulated the following conjecture. Conjecture A. (Taelman): Suppose that \(E\) is \(A\)-finite and uniformizable. Then there exists an element \(a\in A\setminus (0)\) and a submodule \(Z\subset \mathrm{Lie}(E)(F_{\infty})\) of rank \(r=\dim_{K_{\infty}} W_E(F_{\infty})\) such that: (1) \(\exp_E(Z)\subset \mathrm{Lie}(E)(O_F)\) and (2) \(\bigwedge_A^r w(Z)=a L(\phi/O_F)\bigwedge_A^r W_E(O_F)\), where \(L\) is the \(L\)-function introduced by D. Goss. For Drinfeld modules, Conjecture A follows from Taelman's class formula. In this paper the authors prove that Conjecture A holds for a large class of \(t\)-modules. The main results are given in Theorems 4.4 and 5.3 and Corollaries 4.5 and 4.6. It is shown that if \(E/O_F\) is an \(A\)-finite \(t\)-module such that \(\sigma N\subset (t-\theta)N\) where \(N\) is its associated dual \(t\)-motive, then Conjecture A holds for \(E/O_F\) and also for \(E\otimes C/O_F\). Conjecture A holds for \(E\) if \(E/O_F\) is a mixed \(A\)-finite and uniformizable \(t\)-module whose Hodge-Pink weights are at least \(1\).
    0 references
    Drinfeld modules
    0 references
    Anderson \(t\)-modules
    0 references
    \(L\)-series in characteristic \(p\)
    0 references
    class formula
    0 references
    log-algebraicity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers