Integral Hopf-Galois structures for tame extensions (Q374091)

This paper is a kind of sequel to the author's paper ``Towards a generalisation of Noether's theorem to nonclassical Hopf-Galois structures'' [New York J. Math. 17, 799--810 (2011; Zbl 1250.11098)]. We resume the basic setup: Given a finite Galois extension \(L/K\) of local fields with group \(G\), one can often find Hopf algebras \(H\) different from \(K[G]\) that act on \(L\) in a ``Galois-like way'' (as the author aptly puts it). The governing question is now whether there is an equally nice situation at integral level. The Hopf algebra \(H\) arises as \(L[N]^G\), where \(N\) is a certain abstract group; for details see the paper, or the article of \textit{B. Pareigis} and the reviewer which introduced this construction: [J. Algebra 106, 239--258 (1987; Zbl 0615.12026)]. At integral level one looks at \(\Lambda=O_L[N]\) and the algebra \(B=\Lambda^G\); then \(B\) is an order in \(H\). One can ask whether the order \(B\) is Hopf, and if it is, whether it makes \(O_L\) into a \(B\)-Hopf Galois extension, or (which is less strict a requirement) whether \(O_L\) is tame over \(B\). There are affirmative results in the author's preceding paper for the case that \(L/K\) is an unramified extension of local fields. In the present paper these results are strengthened. Theorem 1.1 says that \(B\) is Hopf iff the \(G\)-action on \(N\) is ``unramified''. (This is derived from an explicit description of \(B\) due to Bley and Boltje.) Theorem 1.2 assumes \(B\) to be Hopf, and in addition that \(L/K\) is tame. Then the result is that \(O_L\) is tame over the Hopf algebra \(B\). This is then applied to extensions \(L/K\) of degree \(qr\) where \(q<r\) are prime numbers. It is assumed that \(H\) is commutative (note that in many interesting cases \(G\) will be noncommutative!), and \(L/K\) is tame; it is proved that the associated order of \(O_L\) inside \(H\) coincides with \(B\), and a kind of normal basis theorem holds: \(O_L\) is free over \(B\).