Euler systems in global function fields (Q5951501)

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