The structure of formal modules as Galois modules in cyclic unramified \(p\)-extensions (Q6043871)

Let \(\mathbb{Q}_p\) be the field of \(p\)-adic numbers and let \(\Omega\) be an algebraic closure of \(\mathbb{Q}_p\). Let \(M/L/K/K_0/\mathbb{Q}_p\) be finite subextensions of \(\Omega/\mathbb{Q}_p\) such that \(M/L\) is an unramified extension of degree \(p^m\). Then \(M/L\) is Galois (in fact cyclic), so we can set \(G=\mathrm{Gal}(M/L)\). Let \(F(X,Y)\) be a formal group law of finite height defined over the ring of integers \(\mathcal{O}_K\) of \(K\), and assume that End\((F)=\mathcal{O}_{K_0}\). Then \(F\) is a formal \(\mathcal{O}_{K_0}\)-module of finite height \(h\), and thus gives the maximal ideal \(\mathfrak{M}_M\) of \(\mathcal{O}_M\) the structure of an \(\mathcal{O}_{K_0}\)-module. Let \(\pi\) be a uniformizer of \(\mathcal{O}_{K_0}\), and for \(s\ge0\) set \(\Lambda_{\pi,s}=\{x\in\mathfrak{M}_{\Omega}:[\pi^s]_F(x)=0\}\). Assume there is \(s\ge0\) such that the \(\mathcal{O}_{K_0}\)-torsion submodules of \(\mathfrak{M}_L\) and \(\mathfrak{M}_M\) are both equal to \(\Lambda_{\pi,s}\). The aim of this paper is to determine the structure of \(\mathfrak{M}_M\) as a module over \(\mathcal{O}_{K_0}[G]\). The authors give a concise description of the \(\mathcal{O}_{K_0}[G]\)-module structure of \(\mathfrak{M}_M\) in terms of \(n+h\) generators and \(h\) relations, where \(n=[L:K_0]\). This generalizes previous work of Iwasawa, Krasner, and Vostokov in the case where \(K=\mathbb{Q}_p\) and \(F\) is the multiplicative formal group law, as well as more recent work by Vostokov-Nekrasov and Vostokov-Hakobyan.