Commutative Hopf-Galois module structure of tame extensions (Q1643107)

Let \(L/K\) be a finite extension of number fields or \(p\)-adic fields. A Hopf-Galois structure on \(L/K\) consists of a \(K\)-Hopf algebra \(H\) together with a certain \(K\)-linear action of \(H\) on \(L\) (we omit the precise definition here). For example, if \(L/K\) is Galois then the normal basis theorem says that \(L\) is a free rank \(1\) module over the group algebra \(K[G]\) where \(G=\mathrm{Gal}(L/K)\), and thus \(K[G]\) gives a Hopf-Galois structure on \(L/K\). (Note that an extension may admit more than one Hopf-Galois structure.) If \(H\) gives a Hopf-Galois structure on \(L/K\) then for each fractional ideal \(\mathfrak{B}\) of \(L\) we can study the structure of the \(\mathfrak{B}\) as a module over its so-called associated order \( \mathfrak{A}_{H}(\mathfrak{B}) := \{ z \in H \mid z \cdot x \in \mathfrak{B} \text{ for all } x \in \mathfrak{B} \} \). The main theorem of the article under review is as follows: if \(L/K\) is a tame (i.e., at most tamely ramified) Galois extension of \(p\)-adic fields, \(H\) is a commutative Hopf algebra giving a Hopf-Galois structure structure on \(L/K\), and \(\mathfrak{B}\) is a fractional ideal of \(L\), then \(\mathfrak{B}\) is a free \(\mathfrak{A}_{H}(\mathfrak{B})\)-module. Moreover, the analogue of this result holds when \(L/K\) is a tame almost classically Galois extension of \(p\)-adic fields. (A separable extension \(L/K\) with Galois closure \(E/K\) is almost classically Galois if \(\mathrm{Gal}(E/L)\) has a normal complement in \(\mathrm{Gal}(E/K)\).) The author also proves the following result: if \(L/K\) is a tame abelian extension of number fields, \(H\) is a commutative Hopf algebra giving a Hopf-Galois structure structure on \(L/K\), and \(\mathfrak{B}\) is an ambiguous fractional ideal of \(L\), then \(\mathfrak{B}\) is a locally free \(\mathfrak{A}_{H}(\mathfrak{B})\)-module. Note that in each of these results, an explicit description of the associated order \(\mathfrak{A}_{H}(\mathfrak{B})\) is given, and this is independent of the choice of \(\mathfrak{B}\).