Idéaux ambiges dans les corps de fonctions. (Ambiguous ideals in function fields) (Q1394919)

Let \(K\) be a global function field and \(L\) a finite Abelian extension of \(K\). Let \(\Sigma\) be the set of all places of \(L\) lying above a fixed place \(\infty\) of \(K\), and let \({\mathcal O}_L\) be the ring of all elements of \(L\) that are integral outside \(\Sigma\). The Hilbert class field \(H\) of \((L,\Sigma)\) is the maximal unramified Abelian extension of \(L\) in which every place of \(\Sigma\) splits completely. The principal ideal theorem says that every ideal of \({\mathcal O}_L\) becomes principal in \(H\). The genus field of \((L/K,\Sigma)\) is defined as the maximal Abelian subextension of \(H/K\). The main theorem of the paper is: If in \(L/K\) the place \(\infty\) has inertia degree \(1\) and ramification index relatively prime to the characteristic, then every ambiguous (i.e. \(\text{Gal}(L/K)\)-invariant) ideal of \({\mathcal O}_L\) becomes principal in the genus field. Similar results have been proved for Abelian extensions of \({\mathbb Q}\) by \textit{H. Furuya} [J. Number Theory 9, 4-15 (1977; Zbl 0347.12006)] and for Abelian extensions of imaginary quadratic number fields by the second author [J. Number Theory 85, 92-107 (2000; Zbl 1081.11514)]. The proofs use the explicit construction of ray class fields, in the present paper by sign-normalized Drinfeld modules of rank \(1\). This explains the condition on the place \(\infty\) in the theorem.