Norm series for higher-dimensional formal Honda groups (Q744475)

Let \(K\) be an \(n\)-dimensional local field of characteristic \(0,\) residue field \(k\) of characteristic \(p>2.\) Let \(T\) be the \(n\)-dimensional absolutely unramified subfield in \(K.\) Let \(v_{T}\) be a (rank \(1\)) discrete valuation on \(T,\) and let \(\mathfrak{o}_{T}\subset T\) be ring of integers (with respect to \(v_{T}\)). For a positive integer \(N,\) we say a power series \(\varphi _{N}\left( X\right) \in X\mathfrak{o}_{T}[[X]]\) is called a norm series of degree \(N\) for a formal group \(F\) if for any higher-dimensional field \(K\) containing \(\ker\left[ p^{n}\right] _{F}\) we have \(\left( \left\{ \alpha_{1},\dots,\alpha_{n-1},\alpha\right\} ,\varphi_{N}\left( \alpha\right) \right) _{F}^{N}=0,\) where \(\left( \_,\_\right) _{F}^{N}\) is the higher-dimensional Hilbert symbol, \(\alpha_{i}\in K^{\ast}\) for all \(1\leq i\leq n-1,\) and \(\alpha\) is in the group of points of \(F\). If \(\varphi _{N}\left( X\right) \) is a norm series of degree \(N\) for all \(N\geq1,\) then \(\varphi_{N}\left( X\right) \) is said to be an absolutely norm series. In the work under review, conditions are given which allow us to determine whether a series is a norm series of degree \(N.\) If \(l_{F}\left( \varphi _{N}\left( X\right) \right) =\sum_{m\geq1}d_{m}X^{m},\) where \(l_{F}\) is the inverse to the Artin-Hasse exponential on \(F\), then if each \(v_{T}\left( d_{m}\right) \;\)satisfies a certain lower bound then \(\varphi_{N}\left( X\right) \) is a norm series of degree \(N\) for \(F.\) A stronger bound on \(v_{T}\left( d_{m}\right) \) provides a condition for when\(\;\varphi _{N}\left( X\right) \) is an absolutely norm series.