No label defined (Q4700577)

Let \(K\) be a finite extension of \(\mathbb{Q}_p\) with ring of integers \(O_K\), uniformizer \(\pi\) and residue field \(k\) of \(q\) elements. Let \(f(x) \in O_K[[x]]\) be a power series such that \(f(x) \equiv \pi x \pmod{\deg 2}\) and \(f(x) \equiv x^q \pmod{\pi}\). \textit{J. Lubin} and \textit{J. Tate} [Ann. Math., II. Ser. 81, 380-387 (1965; Zbl 0128.26501)] associated to \(f\) a unique commutative one-dimensional formal group \(F_f(x, y)\) together with an injection \(O_K \hookrightarrow \text{End}(F_f)\), say \(a \mapsto [a]_f\), such that \([\pi]_f = f\). Let \(\lambda_f\) be the logarithm of the Lubin-Tate formal group \(F_f\). Then \(\pi \lambda_f(x) - \lambda_f(x^q) \equiv 0 \pmod{\pi}\). Let \(K^s\) be a separable closure of \(K\) and \(E_f\) be the torsion elements in the group \(F_f(\mathfrak{m}_{K^s})\), and let \(L = K(E_f)\). Then \(L\) is a maximal ramified abelian extension of \(K\) on which local class field theory is explicitly described. Let \(K'\) be an unramified extension of \(K\) with uniformizer \(\pi'\). Let \(\theta\) be the relative Frobenius automorphism of \(K'/K\) (inducing \(q\) power map on the residue field). The Lubin-Tate construction was generalized by \textit{E. de Shalit} [Proc. Am. Math. Soc. 95, 1-4 (1985; Zbl 0578.12013)] by allowing the power series \(f(x)\) to have coefficients in \(O_{K'}\). The resulting formal groups are called relative Lubin-Tate formal groups. They have analogous properties with respect to class field theory. In this case, \(f\) is a homomorphism from \(F_f\) to \(F_f^\theta\). This property determines \(F_f\) uniquely. Let \({\Theta}\) the operator \(\sum c_i x^i \mapsto \sum c_i^\theta x^{qi}\). Let \(u = \pi' - \sum a_i \Theta^i\). A Honda formal group of type \(u\) is a formal group whose logarithm \(\lambda\) satisfies \(u(\lambda) \equiv 0 \pmod{\pi}\). E.g., the (relative) Lubin-Tate groups are of type \(\pi - \Theta\) (resp. \(\pi' - \Theta\)). Given a Honda formal group \(F\) over \(O_{K'}\) of height \(h\) it has a unique ``canonical'' type \(u = \pi - \sum_{n = 1}^h a_n\Theta^n\) with \(a_1, \dots, a_{h - 1} \in \mathfrak{m}_{K'}\) and \(a_h\in O_{K'}^\times\) [\textit{T. Honda}, J. Math. Soc. Japan 22, 213-246 (1970; Zbl 0202.03101)]. The author of the paper under review associates to \(F\) another formal group \(\mathcal{A}F\) over \(O_{K'}\) (defined in terms of the logarithm of \(F\)) and a homomorphism \(f: F \rightarrow \mathcal{A}F\) such that \(f(x) \equiv \pi a_h^{-1}x \pmod{\deg 2}\) and \(f(x) \equiv (x^{q^h}) \pmod{\pi}\). Conversely, given such \(f\) and type \(u\), the author shows that there exists a unique Honda formal group \(F\) of type \(u\) such that \(f : F \rightarrow \mathcal{A}F\) is a homomorphism. These results generalize properties of the (relative) Lubin-Tate groups. No further applications are given.