Integral Hopf-Galois structures on degree p2 extensions of p-adic fields

Abstract

Let L/K be a totally ramified, normal extension of p-adic fields of degree p2. We investigate the behavior of the valuation ring DL in the various Hopf-Galois structures on L/K. Specifically, we determine when DL is Hopf-Galois with respect to a Hopf order in the corresponding Hopf algebra. When this occurs, DL is necessarily a free module over this Hopf order. We also determine which Hopf orders can arise in this way. For cyclic extensions L/K of degree p2, L. N. Childs has shown, under certain restrictions on the ramification numbers, that if DL is Hopf-Galois with respect to a Hopf order in one of the Hopf-Galois structures on L/K, then the same is true in all p Hopf-Galois structures on L/K. We show that this no longer holds if the ramification conditions are relaxed, or if elementary abelian extensions of degree of p2 are considered. We illustrate our results with a special family of Kummer extensions, and with certain extensions arising from Lubin-Tate formal groups. © 2002 Elsevier Science (USA).