Scaffolds and integral Hopf Galois module structure on purely inseparable extensions. (Q2339308)

Let \(n\geq 2\), \(L\) a totally ramified purely inseparable extension of \(K=\mathbb F_q((T))\) of degree \(p^n\) for a prime \(p\), \(v_K\) the \(T\)-adic valuation, \(v_L\) the extension of \(v_K\) to \(L\), \(L=K(x)\) where \(x^{p^n}=\beta\in K\), \(x^{p^{n-1}}\notin K\), \(v_K(\beta)=-b\) less than \(0\), \(p\) not a factor of \(b\), \(\mathcal D_K\) and \(\mathcal D_L\) the valuation rings of \(K\) and \(L\), respectively. Let \(\mathcal B_L^h\) be a fractional ideal of \(L\) (\(=\{x\in L\mid v_L(x)\geq h\}\) for an \(h\in\mathbb Z\)), and for a Hopf algebra \(H\) over \(L\), \(\mathcal U_h=\{\alpha\in H\mid\alpha(\mathcal B_L^h)\subset\mathcal B_L^h\}\), the associated order of \(\mathcal B_L^h\). To obtain a Hopf analogue to the Normal Basis Theorem for \(L\) and to describe the integral Hopf Galois module structure, the author constructs an \(H\)-scaffold on \(L\) of tolerance \(\mathcal T\) for an integer \(\mathcal T\) greater than \(1\), which consists of (1) a set \(\{\lambda_j\in L: j\in\mathbb Z,\;v_L(\lambda_j)=j \}\) such that \(\lambda_{j_1}\lambda_{j_2}^{-1}\in K\), \(j_1\equiv j_2\bmod p^n\), and (2) a collection \(\{\psi_s\in H: 0\leq s\leq n-1\}\) such that \(\psi_s(1_K)=0\) for all \(s\), and \(\bmod (\lambda_{j+p^sb}\mathcal B_L^{\mathcal T})\), \(\psi_s(\lambda_j)\equiv u_{s,j}\lambda_{j+p^sb}\), \(\text{res}(a_j)_s\) greater than \(0\); \(0\) otherwise, for a \(u_{s,j}\in\mathcal D_K^\times\) which is the least non-negative residue of \(a_j\bmod p^n\), and \(\text{res}(a_j)=\sum_{s=0}^{n-1}\text{res}(a_j)_sp^s\), \(0\leq\text{res}(a_j)_s\leq p-1\) is the \(p\)-adic expression of \(\text{res}(a_j)\). Let \(H_{n,r,f}\) be the \(K\)-Hopf algebra, \(1\leq r\leq n-1\), \(f\in K^\times\) as defined in [\textit{A. Koch}, New York J. Math. 20, 779-797 (2014; Zbl 1307.16028)]. Then \(L\) is an \(H_{n,r,f}\)-Galois object, and for \(2r\geq n\), \(L/K\) is an \(H^*\)-Hopf Galois extension. Denote \(H_{n,r,f}^*\) by \(H\). Then an \(H\)-scaffold for a generator \(x\in L\) is constructed, and used to describe the integral Hopf Galois module structure that decides which fractional ideals \(\mathcal B_L^h\) are free over \(\mathcal U_h\). Remarks are also given for the best \(r\) and \(f\) and the action on \(L\) to answer some more integral Hopf Galois module theory questions.