nLab
formal group

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

∞-Lie theory

∞-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

∞-Lie groupoids

∞-Lie groups

∞-Lie algebroids

∞-Lie algebras

Contents

Idea

A formal group is a group object internal to infinitesimal spaces. More general than Lie algebras, which are group objects in first order infinitesimal spaces, formal groups may be of arbitrary infinitesimal order. They sit between Lie algebras and finite Lie groups or algebraic groups.

Since infinitesimal spaces are typically modeled as formal duals to algebras, formal groups are typically conceived as group objects in formal duals to power series algebras.

Formal group laws

One of the oldest formalisms is the formalism of formal group laws (early study by Bochner and Lazard), which are a version of representing a group operation in terms of coefficients of the formal power series rings. A formal group law of dimension n is given by a set of n power series F i of 2n variables x 1,…,x n,y 1,…,y n such that (in notation x=(x 1,…,x n), y=(y 1,…,y n), F(x,y)=(F 1(x,y),…,F n(x,y)))

F(x,F(y,z))=F(F(x,y),z)F(x,F(y,z))=F(F(x,y),z)
F i(x,y)=x i+y i+higherordertermsF_i(x,y) = x_i+y_i+\,\,higher\,\,order\,\,terms

Formal group laws of dimension 1 proved to be important in algebraic topology, especially in the study of cobordism, starting with the works of Novikov, Buchstaber and Quillen; among the generalized cohomology theories the complex cobordism is characterized by the so-called universal group law; moreover the usage is recently paralleled in the theory of algebraic cobordism of Morel and Levine in algebraic geometry. Formal groups are also useful in local class field theory; they can be used to explicitly construct the local Artin map according to Lubin and Tate.

Formal group schemes

Much more general are formal group schemes from (Grothendieck)

Formal group schemes are simply the group objects in a category of formal schemes; however usually only the case of the formal spectra of complete k-algebras is considered; this category is equivalent to the category of complete cocommutative k-Hopf algebras.

Formal groups over an operad

For a generalization over operads see (Fresse).

Examples

Formal geometry is closely related also to the rigid analytic geometry.

(nlab remark: we should explain connections to the Witt rings, Cartier/Dieudonné modules).

Examples of sequences of infinitesimal and local structures

first order infinitesimal⊂formal = arbitrary order infinitesimal⊂local = stalkwise⊂finite
← differentiationintegration →
derivativeTaylor seriesgermsmooth function
tangent vectorjetgerm of curvecurve
Lie algebraformal grouplocal Lie groupLie group
Poisson manifoldformal deformation quantizationlocal strict deformation quantizationstrict deformation quantization

References

  • Alexander Grothendieck et al. SGA III, vol. 1, Expose VIIB (P. Gabriel) ETUDE INFINITESIMALE DES SCHEMAS EN GROUPES (part B) 474-560
  • Benoit Fresse, Lie theory of formal groups over an operad, J. Alg. 202, 455–511, 1998, doi

Revised on February 6, 2013 18:42:59 by Urs Schreiber (82.113.106.234)
Edit | Back in time (10 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Lie groupoid, Lie theory, NQ-supermanifold, Lie's three theorems, Lie algebroid, Lie integration, BRST complex, differentiable stack, Lie algebra, BV-BRST formalism, L-infinity-algebra, Weil algebra, smooth infinity-groupoid, Lie infinity-algebroid, quiver, representation, algebra, Courant algebroid, Maurer-Cartan equation, differential graded Lie algebra, representation theory, induced representation, path groupoid, Atiyah Lie groupoid, orbifold, Lie group, orbispace, stalk, groupoid of Lie-algebra valued forms, Ehresmann connection, tangent bundle, germ, Borel-Weil theorem, infinitesimal object, 2009 September changes, formal scheme, formal group, Lie 2-algebra, tangent Lie algebroid, Poisson manifold, A Survey of Elliptic Cohomology, elliptic cohomology, A Survey of Elliptic Cohomology - cohomology theories, elliptic curve, invariant polynomial, A Survey of Elliptic Cohomology - formal groups and cohomology, weakly periodic cohomology theory, Yuri Manin, super Lie algebra, super Poincare Lie algebra, String Lie 2-algebra, supergravity Lie 3-algebra, A Survey of Elliptic Cohomology - equivariant cohomology, A Survey of Elliptic Cohomology - derived group schemes and (pre-)orientations, string 2-group, spin group, special orthogonal group, orthogonal group, Lie algebra cohomology, fivebrane 6-group, symplectic groupoid, algebraic cobordism, Lie algebra extension, Chern-Weil theory, Maurer-Cartan form, Lie-Rinehart pair, symplectic Lie n-algebroid, Poisson Lie algebroid, strict Lie 2-algebra, infinity-Lie theory - contents, Atiyah Lie algebroid, foliation, local Lie group, Lie operad, BBDG decomposition theorem, 2-groupoid of Lie 2-algebra valued forms, LieAlg, infinity-Lie algebra cohomology, division algebra and supersymmetry, geometric representation theory, semisimple Lie algebra, deformation quantization, smooth map, Lie 2-group, representation of a C-star-algebra, Taylor series, infinity-Lie theory, Cartan calculus, automorphism infinity-Lie algebra, E8, Lie derivative, 3-groupoid of Lie 3-algebra valued forms, orthogonal Lie algebra, function algebras on infinity-stacks, infinity-Lie algebroid-valued differential form, Lie 2-groupoid, proper Lie groupoid, Chern-Simons element, exceptional Lie group, effective Lie groupoid, Morita morphism, supergravity Lie 6-algebra, differentiation, holonomy groupoid, Formal Moduli Problems and DG-Lie Algebras, model structure on dg-Lie algebras, formal groupoid, Tannaka duality for Lie groupoids, formal cohesive infinity-groupoid, smooth infinity-groupoid -- structures, pseudocompact ring, infinity-representation, Beilinson-Bernstein localization, Frobenius reciprocity, synthetic differential infinity-groupoid, super L-infinity algebra, Dieudonne module, jet bundle, Kazhdan-Lusztig theory, Quantization of Gauge Systems, curve, compact Lie algebra, concrete smooth infinity-groupoid, model structure for L-infinity algebras, unitary representation, reductive Lie algebra, Artin-Mazur formal group, height of a variety, Hausdorff series, p-divisible group, Connections, Curvature, and Cohomology, orbit method, foliation of a Lie algebroid, cohomological induction, simplicial Lie algebra, contents of contents, derivation Lie 2-algebra, bivector, G2, Heisenberg Lie algebra, symplectic infinity-groupoid, geometric quantization of symplectic groupoids, differential graded manifold, current algebra, unitary Lie algebra, Lie bialgebra, Zuckerman induction, regular representation, model structure on simplicial Lie algebras, Kac-Moody algebra, Harish-Chandra module, infinite-dimensional Lie group, integral, E6, Hilbert's fifth problem, affine Lie algebra, Gabriel's theorem, smooth groupoid, special unitary Lie algebra, metaplectic representation, 2-representation, representation theory - contents, quantum affine algebra, synthetic differential super infinity-groupoid, C-star algebraic deformation quantization, faithful representation, maximal torus, formal geometry, Dirac manifold, bisection of a Lie groupoid, Lie-Poisson structure, PBW theorem, nonabelian Stokes theorem, universal enveloping E-n algebra, singular foliation, smooth 2-group, Cartan-Dirac structure on a Lie group, root (in representation theory), Cartan subalgebra, coadjoint action, weight (in representation theory), Lie differentiation, infinitesimal and local - table, Weyl group, Bott connection, type II supergravity Lie 2-algebra, Poisson cohomology, double Lie algebroid, foliation of a Lie groupoid, star-representation