Euler systems in global function fields

Units and factorization (11R27) Class numbers, class groups, discriminants (11R29) Arithmetic theory of algebraic function fields (11R58) Cyclotomic function fields (class groups, Bernoulli objects, etc.) (11R60)

Review text

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)].

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Euler systems in global function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5951501)