∞-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
The free Lie algebra functor is the left adjoint functor to the forgetful functor . The proof that a left adjoint exists relies on a concrete construction. Let be a set, then define recursively for sets with the basis of recursion . If and then denote the element ; this defines a binary operation on , which is therefore the free magma on the set . Let be the ground ring (commutative and unital). As a -module define , the free -module with basis . It is a nonassociative -algebra with product where both sums are finite and , . Define a two-sided ideal in this nonassociative -algebra, generated by all elements of of the form and all elements of the form , where . Then .
The free Lie algebra on the set is the result of evaluating the free Lie algebra functor on object .
The subject of free Lie algebras is combinatorially rich with lots of open problems. By a 1953 theorem of A. I. Širšov (Shirshov) every Lie subalgebra of a free Lie subalgebra is free (an analogue of the Nielsen-Schreier theorem in combinatorial group theory). The study of bases of a free Lie algebra considered as a vector space is very nontrivial; special attention has been paid to so-called Hall bases.
Jean-Pierre Serre: Free Lie Algebra, Chapter IV of: Lie Algebras and Lie Groups – 1964 Lectures given at Harvard University, Lecture Notes in Mathematics 1500, Springer (1992) [doi:10.1007/978-3-540-70634-2]
Nicolas Bourbaki, Free Lie Algebras, Chap. II of: Lie groups and Lie algebras – Chapters 1-3, Springer (1975, 1989) [ISBN:9783540642428]
Christophe Reutenauer, Free Lie algebras, Oxford University Press (1993) [ISBN:9780198536796]
Christophe Reutenauer, Free Lie algebras, Handbook of Algebra 3 (2003) 887-903 [doi:10.1016/S1570-7954(03)80075]
Shlomo Sternberg: Free Lie Algebras, Section 1.11 of: Lie Algebras (2004) [pdf, pdf]
Wikipedia: Free Lie algebra
See also:
C. Reutenauer, Applications of a noncommutative jacobian matrix, Journal of Pure and Applied Algebra 77, n. 2, 1992, p. 169-181, doi
Mikhail Kapranov, Free Lie algebroids and space of paths, math,DG/0702584
sbseminar blog: Tannakian construction of the fundamental group and Kapranov’s fundamental Lie algebra
Nantel Bergeron, Muriel Livernet, A combinatorial basis for the free Lie algebra of the labelled rooted trees, Journal of Lie Theory 20 (2010) 3–15, pdf
Leila Schneps, On the Poisson bracket on the free Lie algebra in two generators, pdf
A. Murua, The Hopf algebra of rooted trees, free Lie algebras, and Lie series, pdf
F. Chapoton, Free pre-Lie algebras are free as Lie algebras, math.RA/0704.2153, Bulletin Canadien de Mathe’matiques
Last revised on September 2, 2024 at 11:19:27. See the history of this page for a list of all contributions to it.