Hopf orders in \(K [ C_p^3]\) in characteristic \(p\) (Q2068189)

Let \(K\) be a complete discretely valued field of characteristic \(p>0\) with valuation \(\nu: K\to K\cup \{\infty\}\). Let \(R\) be the valuation ring of \(K\). Given a \(K\)-Hopf algebra \(A\), an \(R\)-Hopf order of \(A\) is a finitely generated \(R\) sub-Hopf algebra \(H\) of \(A\) such that \(K\otimes_R H\cong A\) as \(K\)-Hopf algebras. This work is a classification of the \(R\)-Hopf orders in the group algebra \(K[C_p^3]\), where \(C_p^3=\langle g_1,g_2,g_3\rangle\) is the elementary abelian group of order \(p^3\). While it is possible to get the Hopf orders in any finite abelian \(p\)-group algebra indirectly (see [\textit{A. Koch}, Commun. Algebra 45, No. 6, 2673--2689 (2017; Zbl 1393.16022)]), the classification given here is direct, explicit, and is a natural extension of the author's previous work. The power of this paper is the elegance in which the author, after extensive technical computations, arises at a classification result which is as clear and concise as one could reasonably hope for. Each \(R\)-Hopf order in \(KC_p^3\) depends on six parameters: \(i_1,i_2,i_3,\mu,\alpha,\beta\) where \(i_1,i_2,i_3\) are nonnegative integers, \(\nu(\mu^p-\mu)\ge i_2-pi_1,\;\mu(\beta^p-\beta)\ge i_3=pi_2\), and \(\nu(\alpha^p-\alpha+\beta\mu^p-\beta\mu)\ge i_3-pi_1\). A given set of such parameters gives rise to the \(R\)-Hopf order \[ H=R\left[ \frac{g_1-1}{\pi^{i_1}},\frac{g_2g_1^{[\mu]}-1}{\pi^{i_2}},\frac{g_3g_1^{[\alpha]}(g_2g_1^{[\mu]})^{[\beta]}-1}{\pi^{i_3}} \right],\;x^{[y]}=\sum_{m=0}^{p-1}\binom ym (x-1)^m. \] This \(R\)-Hopf order is constructed by considering extensions of \(R\)-Hopf orders \(R\to C \to H \to D \to R\) where \(C\) and \(D\) are \(R\)-Hopf orders in \(KC_p^2\), constructed previously in [\textit{G. G. Elder} and \textit{R. G. Underwood}, New York J. Math. 23, 11--39 (2017; Zbl 1384.16020)]; and \(KC_p\), a classic result of [\textit{J. Tate} and \textit{F. Oort}, Ann. Sci. Éc. Norm. Supér. (4) 3, 1--21 (1970; Zbl 0195.50801)] respectively. Both of these previous works are also described thoroughly in this work.