×

Relative normal bases of positive characteristic. (Bases normales relatives en caractéristique positive.) (French) Zbl 1020.11069

This paper deals with integral normal bases (INB) of tame “cyclotomic” extensions \(K\) of the rational function field \(Q=\mathbb{F}_q(T)\). More precisely, the extension \(K\) is obtained by adjoining the \(P\)-division points of the Carlitz module to \(Q\), for any irreducible polynomial \(P\in\mathbb{F}_q[T]\), and the issue is whether an intermediate layer \(N/k\), \(Q\subset k \subset N \subset k\), admits an INB, that is, whether the projective \(O_k[\Delta]\)-module \(O_N\) is free. (Here \(\Delta\) is the Galois group of \(N/k\).) The extreme case \(K/Q\) is well understood, just like its counterpart in characteristic zero: INB’s do exist and are afforded by Thakur’s analogue of Gauss sums.
Lowering the top field from \(K\) to \(N\) preserves the existence of an INB, but the effect of raising the bottom field from \(Q\) to \(k\) is surprisingly difficult to understand. In the number field setting \(Q\) is replaced by the rationals \(\mathbb{Q}\) and \(K\) by \(\mathbb{Q}(\zeta_p)\), where \(p\) is an odd prime. In this context, Brinkhuis showed that the only choice of \(k\) such that \([K:k]\) is prime and \(K/k\) has an INB is \(k=K^+\). The author of the present paper proves results for the function field case which point in the same direction. In Theorems 3.5 and 4.6 he gives several sufficient conditions for \(N/k\) to be without INB.
As an application, he obtains the following interesting consequences: If the characteristic of \(Q\) is not 2 and \(k\) is the quadratic subfield of \(K/Q\), then \(K/k\) has INB if and only if the polynomial \(P\in\mathbb{F}_q[T]\) defining \(K/Q\) is of degree at most 2. The proof of Theorem 3.5 uses the idea of Brinkhuis that the injectivity of a certain map provides a cohomological obstruction for the existence of integral normal bases, while the proof of 4.6 is more explicit, actually showing the nonprincipality of certain resolvent ideals.
In the number field case discussed above, the reviewer, D. Replogle, K. Rubin, and A. Srivastav [J. Number Theory 79, 164-173 (1999; Zbl 0941.11044)] raised and partially answered the question whether \(K/k\) has a weak integral normal basis, that is, \(MO_K\) is \(M\)-free over the maximal order \(M\) in \(k[\text{Gal}(K/k)]\). In the function field case considered above, the order of Gal\((K/Q)\) is already a unit in \(Q\), so \(M\) equals the group ring \(O_k[\text{Gal}(K/k)]\), and hence weak integral normal bases are just the same as integral normal bases, so the analog of the reviewer’s question is void in this situation.

MSC:

11R33 Integral representations related to algebraic numbers; Galois module structure of rings of integers
11R58 Arithmetic theory of algebraic function fields

Citations:

Zbl 0941.11044
PDFBibTeX XMLCite
Full Text: DOI Numdam EuDML

References:

[1] Anglès, B., On the orthogonal of cyclotomic units in positive characteristic. J. Number Theory79 (1999), 258-283. · Zbl 1001.11046
[2] Brinkhuis, J., Galois modules and embedding problems. J. Reine Ang. Math, 346 (1984), 141-164. · Zbl 0525.12008
[3] Brinkhuis, J., Normal integral bases and complex conjugation. J. Reine Ang. Math375/376 (1987), 157-166. · Zbl 0609.12009
[4] Chapman, R.J., Carlitz modules and normal integral bases. J. London Math. Soc.44 (1991), 250-260. · Zbl 0749.11049
[5] Cougnard, J., Bases normales relatives dans certaines extensions cyclotomiques. J. Number Theory23 (1986), 336-346. · Zbl 0588.12003
[6] Cougnard, J., Nouveaux exemples d’extensions relatives sans base normale. preprint 2001. · Zbl 1012.11099
[7] Fröhlich, A., Galois module sructure of algebraic integers. Springer-Verlag, 1983. · Zbl 0501.12012
[8] Goss, D., Basic structures of function field arithmetic. Springer-Verlag, 1996. · Zbl 0874.11004
[9] Greither, C., Relative integral normal bases in Q(ζp), J. Number Theory35 (1990), 180-193. · Zbl 0718.11053
[10] Greither, C., Replogle, D.R., Rubin, K., Srivastav, A., Swan modules and Hilbert-Speiser number fields. J. Number Theory79 (1999), 164-173. · Zbl 0941.11044
[11] Hayes, D., Explicit class field theory for rational function fields. Trans. Amer. Math. soc.189 (1974), 77-91. · Zbl 0292.12018
[12] Tate, J.T., Global class field theory. In Algebraic Number Theory, edited by J. W. S. Cassels and A. Frôhlich, Academic Press, 162-203, 1967. · Zbl 1179.11041
[13] Thakur, D., Gauss sums for Fq [T]. Invent. Math.94 (1988), 105-112. · Zbl 0629.12014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.