∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
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.
The notion of Lie algebra may be formulated internal to any linear category. This general definition subsumes variants of Lie algebras such as super Lie algebras.
Consider a commutative unital ring , and a (strict for simplicity) symmetric monoidal -linear category with braiding .
A Lie algebra object in is
an object
morphism (the Lie bracket)
such that the following conditions hold:
skew-symmetry:
Equivalently, Lie algebra objects are the algebras over an operad over a certain quadratic operad, called the Lie operad, which is the Koszul dual of the commutative algebra operad.
Examples of types of Lie algebra objects:
If is the ring of integers and Mod = Ab is the category of abelian groups equipped with the tensor product of abelian groups, then a Lie algebra object is called a Lie ring.
If is a field and Vect is the category of vector spaces over equipped with the tensor product of vector spaces then a Lie algebra object is an ordinary_Lie k-algebra.
If is a field and = sVect is the category of super vector spaces over , then a Lie algebra object is a super Lie algebra.
Lie algebras are equivalently groups in “infinitesimal geometry”.
For instance in synthetic differential geometry then a Lie algebra of a Lie group is just the first-order infinitesimal neighbourhood of the unit element (e.g. Kock 09, section 6).
More generally in geometric homotopy theory, Lie algebras, being 0-truncated L-∞ algebras are equivalently “infinitesimal ∞-group geometric ∞-stacks” (e.g. here-topos#FormalModuliProblems)), also called formal moduli problems (see there for more).
Notions of Lie algebras with extra stuff, structure, property includes
extra property
extra structure
extra stuff
See
Examples of sequences of local structures
Textbook accounts:
Tammo tom Dieck, Theodor Bröcker, Ch. I of: Representations of compact Lie groups, Springer 1985 [doi:10.1007/978-3-662-12918-0]
(in the context of representation theory)
A. L. Onishchik (ed.) Lie Groups and Lie Algebras
I. A. L. Onishchik, E. B. Vinberg, Foundations of Lie Theory,
II. V. V. Gorbatsevich, A. L. Onishchik, Lie Transformation Groups
Encyclopaedia of Mathematical Sciences, Volume 20, Springer 1993
Hans Duistermaat, Johan A. C. Kolk, Chapter 1 of: Lie groups, Springer (2000) [doi:10.1007/978-3-642-56936-4]
Eckhard Meinrenken, Lie groups and Lie algebas, Lecture notes 2010 (pdf)
Brian C. Hall, Lie Groups, Lie Algebras, and Representations, Springer 2015 (doi:10.1007/978-3-319-13467-3)
Discussion with a view towards Chern-Weil theory:
Discussion in synthetic differential geometry is in
Last revised on March 20, 2023 at 14:05:23. See the history of this page for a list of all contributions to it.