A (one-dimensional, commutative) **formal group law** over some ring is a formal power series in two variables with coefficients in satisfying the following axioms that among other things makes it behave like an abelian group law:

A homomorphism of formal group laws is another formal power series in two variable such . An endomorphism of a formal group law is a homomorphism of a formal group law to itself.

As basic examples of formal group laws, we have the **additive formal group law** , and the **multiplicative group law** . In this post we will focus on another formal group law called the Lubin-Tate formal group law.

Let be a nonarchimedean local field and let be its ring of integers. Let be an -algebra with its structure map. A **formal -module law over ** over is a formal group law such that for every element of we have an associated endomorphism of , and such that the linear term of this endomorphism as a power series is .

Let be a uniformizer (generator of the unique maximal ideal) of . Let be the cardinality of the residue field of . There is a unique (up to isomorphism) formal -module law over such that as a power series its linear term is and such that it is congruent to mod . It is called the **Lubin-Tate formal group law** and we denote it by .

The Lubin-Tate formal group law was originally studied by Jonathan Lubin and John Tate for the purpose of studying **local class field theory** (see Some Basics of Class Field Theory). The results of local class field theory state that the Galois group of the maximal abelian extension of is isomorphic to the profinite completion . This profinite completion in turn decomposes into the product .

The factor isomorphic to fixes the maximal unramified extension of , the factor isomorphic to fixes an infinite, totally ramified extension of , and we have that . The theory of the Lubin-Tate formal group law was developed to study , taking inspiration from the case where . In this case and the infinite totally ramified extension is obtained by adjoining to all -th power roots of unity, which is also the -th power torsion of the multiplicative group . We want to generalize , and this is what the Lubin-Tate formal group law accomplishes.

Let be the set of all elements in the maximal ideal of some separable extension such that its image under the endomorphism is zero. This takes the place of the -th power roots of unity, and adjoining to all the for all gives us the field .

Furthermore, Lubin and Tate used the theory they developed to make local class field theory explicit in this case. We define the **-adic Tate module** as the inverse limit of over all . This is a free -module of rank and its automorphisms are in fact isomorphic to . Lubin and Tate proved that this is isomorphic to the Galois group of over and explicitly described the reciprocity map of local class field theory in this case as the map from to sending to the identity and an element of to the image of its inverse under the above isomorphism.

To study nonabelian extensions, one must consider **deformations** of the Lubin-Tate formal group. This will lead us to the study of the space of these deformations, called the **Lubin-Tate space**. This is intended to be the subject of a future blog post.

References:

Lubin-Tate Formal Group Law on Wikipedia

The Geometry of Lubin-Tate Spaces by Jared Weinstein

A Rough Introduction to Lubin-Tate Spaces by Zhiyu Zhang

Formal Groups and Applications by Michiel Hazewinkel