Euler systems in global function fields (Q5951501)

From MaRDI portal
Revision as of 20:58, 3 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1686085
Language Label Description Also known as
English
Euler systems in global function fields
scientific article; zbMATH DE number 1686085

    Statements

    Euler systems in global function fields (English)
    0 references
    0 references
    0 references
    9 April 2003
    0 references
    Following the treatment in the first four sections of \textit{K. Rubin's} Appendix [Zbl 0704.11038] to \textit{S. Lang's} book Cyclotomic Fields I and II. Combined 2nd edition, the authors construct an Euler system of units in the following situation: \(k\) is an algebraic function field with finite constant field \({\mathbb F}_q\), \(A\) is the Dedekind ring of elements in \(k\) that are integral outside a chosen place \(\infty\) of degree \(d_\infty\), \(F\) is the ``maximal real'' subfield of a cyclotomic extension of \(k\), and \(O_F\) is the integral closure of \(A\) in \(F\). This is then used to prove a function field analog of the Gras conjecture: If \(l\) is a prime that doesn't divide \(q(q^{d_\infty}-1)[F:k]\) and \({\mathcal E}\) denotes the cyclotomic units of \(F\), then for every irreducible \({\mathbb Z}_l\)-representation \(\chi\) of \(\text{Gal}(F/k)\) we have \[ \#\operatorname {Pic}(O_F)_l(\chi)=\#(O_F^\times/{\mathcal E})_l(\chi) \] where the notation means the cardinality of the \(\chi\)-component of the \(l\)-Sylow subgroup. The paper generalizes earlier results in the special case \(k={\mathbb F}_q(T)\), \(A={\mathbb F}_q[T]\) by \textit{K. Feng} and the first author [J. Number Theory 57, 114-121 (1996; Zbl 0849.11089)].
    0 references
    cyclotomic function field
    0 references
    cyclotomic units
    0 references
    Euler system
    0 references
    ideal class number
    0 references
    Gras conjecture
    0 references

    Identifiers

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