Formal Group Law
Generated by GPT-5-miniExpansion Funnel Raw 66 → Dedup 0 → NER 0 → Enqueued 0
| Formal Group Law | |
|---|---|
| Name | Formal group law |
| Field | Algebraic geometry; Algebraic topology; Number theory |
| Introduced | 20th century |
| Notable | Michel Lazard; Jean-Pierre Serre; John Tate; Lubin–Tate |
Formal Group Law
A formal group law is a power series expression encoding a group-like composition law on the formal neighbourhood of an identity in algebraic or arithmetic contexts. Originating in 20th-century work connecting Algebraic geometry and Algebraic topology, formal group laws play central roles in the theories developed by Michel Lazard, Jean-Pierre Serre, John Tate, and the creators of the Lubin–Tate theory. They provide algebraic invariants linking Elliptic curve arithmetic, Complex cobordism, and local class field theory.
Definition and basic properties
A one-dimensional commutative formal group law over a commutative ring R is given by a power series F(X,Y) in RX,Y satisfying associativity, commutativity, and identity axioms analogous to those of Lie groups and algebraic groups studied by Claude Chevalley and Alexander Grothendieck. The existence of an inverse series i(X) with F(X,i(X)) = 0 mirrors properties of the inverse map in group schemes such as additive group and multiplicative group. Formal group laws admit morphisms called strict isomorphisms and isomorphisms over extension rings, concepts present in the work of Oscar Zariski and André Weil on formal schemes. Over rings containing the rationals, the logarithm and exponential series produce an equivalence between formal group laws and Lie algebra structures as exploited by Henri Cartan and Élie Cartan-inspired approaches.
Examples
Classical examples include the additive formal group law F_a(X,Y)=X+Y related to the Additive group and the multiplicative formal group law F_m(X,Y)=X+Y+XY tied to the Multiplicative group. Elliptic formal group laws arise from the formal expansion of the group law on Elliptic curves such as those studied by André Weil and John Silverman. Complex-oriented cohomology theories like Complex cobordism produce universal formal group laws due to work of Quillen and Milnor, while Lubin–Tate formal group laws generate local abelian extensions in local class field theory as developed by John Tate and Jonathan Lubin. Honda formal groups provide examples in Dieudonné theory considered by Taira Honda and Jean Dieudonné. Higher-dimensional formal group laws appear in the study of Abelian varietys examined by David Mumford and Igusa.
Formal group laws and Lie theory
Over coefficient rings of characteristic zero, the logarithm of a commutative formal group law yields a formal Lie algebra structure, connecting to classical results of Sophus Lie and methods used by Élie Cartan and Maurice Auslander. This relation underlies comparisons between formal groups and algebraic groups such as Chevalley groups and has been used in deformation theory influenced by Alexander Grothendieck and Michiel Hazewinkel. In positive characteristic, the absence of a universal logarithm leads to phenomena studied by Jean-Pierre Serre and Kazuya Kato, with links to Witt vector constructions by Ernst Witt and the classification theories of Dieudonné modules.
Classification and invariants
Lazard’s universal formal group law establishes a universal ring, the Lazard ring, which serves as a moduli algebra for one-dimensional commutative formal group laws; this construction is foundational in Quillen’s work linking Complex cobordism and formal groups. Invariants include the height of a formal group law in characteristic p, a key notion introduced in the work of Honda and refined by Serre and Tate; height stratification organizes deformation spaces studied by Lubin and Tate. The Dieudonné module provides a contravariant classification tool over perfect fields appearing in the research of Jean Dieudonné and Pierre Deligne. Isomorphism classes over algebraically closed fields and moduli stacks of formal groups relate to constructions by Jacob Lurie and are connected to the chromatic filtration in homotopy theory developed by Douglas Ravenel and Mark Hovey.
Applications in algebraic topology and number theory
In algebraic topology, formal group laws arise from complex-oriented cohomology theories such as Complex cobordism MU and Brown–Peterson cohomology BP, with Quillen’s theorem linking MU’s coefficient ring to the Lazard ring and informing the chromatic approach of Ravenel and J. P. May. In number theory, Lubin–Tate formal groups produce explicit local class field theory reciprocity maps as formulated by John Tate and used in Iwasawa theory and the study of p-adic L-functions associated with Kummer theory and Local fields addressed by Kurt Hensel’s descendants. Elliptic formal group laws connect to the formal completion of Modular curves and the arithmetic of Heegner points investigated by Andrew Wiles and Richard Taylor.
Deformation and moduli of formal group laws
Deformation theory for formal group laws, notably the Lubin–Tate moduli problem, constructs universal deformation rings and universal formal deformations central to local Langlands-style correspondences explored by Pierre Deligne and Jean-Marc Fontaine. Moduli of formal groups are organized into stacks studied in derived contexts by Jacob Lurie and in chromatic homotopy theory via Morava stabilizer groups analyzed by Jack Morava and John Hopkins. Stratifications by height yield local deformation spaces with actions of automorphism groups playing roles in the proof strategies of results akin to those in Stable homotopy theory and in the construction of Morava K-theory.