Determination of algebraic relations among special zeta values in positive characteristic (Q2456224)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Determination of algebraic relations among special zeta values in positive characteristic
scientific article

    Statements

    Determination of algebraic relations among special zeta values in positive characteristic (English)
    0 references
    0 references
    0 references
    17 October 2007
    0 references
    Let \(k\) be a finite field of cardinality \(q\) and characteristic \(p\). Let \(k[\theta]\) the polynomial ring in one variable \(\theta\) over \(k\) and \(k((\theta^{-1}))\) the Laurent series field in \(\theta^{-1}\). Denote by \(k(\theta)\) the fraction field of the former in the latter. For a positive integer \(n\), define \[ \zeta(n) = \sum_f f^{-n} \in k((\theta^{-1})), \] the \(f\) ranging over all monic elements of \(k[\theta]\). Note that this sum converges for all positive integers \(n\), including \(n=1\). Clearly \(\zeta(pn)=\zeta(n)^p\). It was shown by \textit{L. Carlitz} [Duke Math. J. 1, 137--168 (1935; Zbl 0012.04904)] that \(\zeta((q-1)n)\) equals \(\zeta(q-1)^n\) up to some factor in \(k(\theta)^\times\). In the present paper it is shown that these are the only algebraic relations over \(k(\theta)\) amongst the \(\zeta(n)\). A few words on the proof. \textit{G. W. Anderson} and \textit{D. S. Thakur} [Ann. Math. (2) 132, No.~1, 159--191 (1990; Zbl 0713.11082)] have interpreted the \(\zeta(n)\) as periods of certain \(t\)-motives. This allows the present authors to apply \textit{M. A. Papanikolas}' results [Invent. Math. 171, No. 1, 123--174 (2008)] on the \(t\)-motivic analogue to Grothendieck's period conjecture.
    0 references
    0 references
    t-motives
    0 references
    function fields
    0 references
    zeta values
    0 references
    transcendence
    0 references
    algebraic independence
    0 references
    periods
    0 references

    Identifiers