Norm series for Honda formal groups (Q690764)

Let \(k\) be a finite extension of \(\mathbb{Q}_p\) with \(p \geq 3\), \(\pi\) a prime element of \(k\), \(k'\) a finite unramified extension of \(k\) and \(\mathcal{O}'\) the ring of integers of \(k'\). Let \(F \in \mathcal{O}'[[x,y]]\) be a Honda formal group of canonical type \(u=\pi - a_1 \blacktriangle - \cdots - a_h \blacktriangle^h\) and \(\lambda\) is the logarithm of \(F\), where \(\blacktriangle\) is the Frobenius operator in the ring \(k'((x))\). Let \(\hat{\Omega}\) be the completion of the algebraic closure \(\Omega\) of \(k\), \(\mathfrak{M}_{\hat{\Omega}}\) its maximal ideal and \(F(\mathfrak{M}_{\hat{\Omega}})\) the group of points on \(\mathfrak{M}_{\hat{\Omega}}\). For any integer \(n \geq 1\), we put \(W_F^n=\{\alpha \in F(\mathfrak{M}_{\hat{\Omega}}) : [\pi^n]_F(\alpha)=0 \}\). Let \(K\) be a finite extension of \(k'\) which contains \(W_F^n\), \(\mathfrak{M}_K\) the maximal ideal of the ring of integers of \(K\), \(T\) the inertia subfield in \(K/k\) and \(\mathcal{O}_T\) the ring of integers of \(T\). We define \(l_F(\psi)=(u \pi^{-1})(\lambda \circ \psi)\) for \(\psi \in \mathcal{O}_T[[x]]_0\), where \(\mathcal{O}_T[[x]]_0\) is the addive group of formal power series with coefficients in \(\mathcal{O}_T\) and zero constant terms. The classical generalization \((\cdot,\cdot):K^{\times} \times F(\mathfrak{M}_K) \to W_F^n\) of the Hilbert pairing to the formal group \(F\) is defined by \((\alpha,\beta)_F=\psi_K(\alpha)(\widetilde{\beta})-_F \widetilde{\beta}\), where \(\widetilde{\beta} \in \Omega\) satisfies \([\pi^n]_F(\widetilde{\beta})=\beta\) and \(\psi_K:K^{\times} \to \mathrm{Gal}(K^{\mathrm{ab}}/K)\) is the reciprocity map. \quad A series \(\varphi(x) \in \mathcal{O}'[[x]]\) is called a norm series for a formal group \(F\) if the relation \((\alpha,\varphi(\alpha))_F=0\) holds for all \(\alpha \in F(\mathfrak{M}_K) \cap K^{\times}\). The authors proves that a series \(\varphi(x)=x+\cdots \in \mathcal{O}'[[x]]\) is a norm series if and only if the series \(l_F(\varphi)={\sum_{m \geq 1}} d_m x^m\) satisfies the condition \(v(d_m) \geq v_{q^h}(m)\) for all \(m \geq 1\), where \(v\) is the normalized valuation and \(v_{q^h}(m)\) is the largest integer \(t\) such that \(m\) is divisible by \(q^h\) in \(t\) times. \quad If \(k=\mathbb{Q}_p\), then an arbitrary formal group \(F \in \mathcal{O}'[[x,y]]\) is a Honda group. Moreover, if \(h=1\), the above theorem can be restated as follows; A series \(\varphi(x) =x+\cdots \in \mathcal{O}'[[x]]\) is a norm series for \(F\) if and only if \(\displaystyle{\int} X^{-1}(l_F \circ \varphi)(X) dX \in \mathcal{O}'[[X]]\).