Formal Lie groupoids
A Lie algebra is the infinitesimal approximation to a Lie group.
A Lie algebra is a vector space equipped with a bilinear skew-symmetric map which satisfies the Jacobi identity:
A homomorphism of Lie algebras is a linear map such that for all we have
This defines the category LieAlg of Lie algebras.
In a general linear category
The notion of Lie algebra may be formulated internal to any linear category. This general definition subsumes as special case generalizations such as super Lie algebras.
Given a commutative unital ring , and a (strict for simplicity) symmetric monoidal -linear category with the symmetry , a Lie algebra in is an object in together with a morphism such that the Jacobi identity
hold. If is the ring of integers, then we say (internal) Lie ring, and if is a field and then we say a Lie -algebra. Other interesting cases are super-Lie algebras, which are the Lie algebras in the symmetric monoidal category of supervector spaces and the Lie algebras in the Loday-Pirashvili tensor category of linear maps.
Alternatively, Lie algebras are the algebras over certain quadratic operad, called the Lie operad, which is the Koszul dual of the commutative algebra operad.
See Lie algebra cohomology.
Notions of Lie algebras with extra stuff, structure, property includes
Examples of sequences of infinitesimal and local structures
| tangent vector | | jet | | germ of curve | | curve | | square-0 ring extension | | nilpotent ring extension | | | | ring extension | | Lie algebra | | formal group | | local Lie group | | Lie group | | Poisson manifold | | formal deformation quantization | | local strict deformation quantization | | strict deformation quantization |
Discussion with a view towards Chern-Weil theory is in chapter IV in vol III of