scientific article; zbMATH DE number 1357284

Publication date 3 November 1999

class field theory Honda formal group relative Lubin-Tate formal groups type of formal group

Class field theory; (p)-adic formal groups (11S31) Formal groups, (p)-divisible groups (14L05)

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_Kx\) 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.

Recommendations

Cited in

(17)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700577)