In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z2-grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In most of these theories, the even elements of the superalgebra correspond to bosons and odd elements to fermions (but this is not always true; for example, the BRST supersymmetry is the other way around).
Formally, a Lie superalgebra is a (nonassociative) Z2-graded algebra, or superalgebra, over a commutative ring (typically R or C) whose product [·, ·], called the Lie superbracket or supercommutator, satisfies the two conditions (analogs of the usual Lie algebra axioms, with grading):
The super Jacobi identity:
where x, y, and z are pure in the Z2-grading. Here, |x| denotes the degree of x (either 0 or 1). The degree of [x,y] is the sum of degree of x and y modulo 2.
One also sometimes adds the axioms for |x|=0 (if 2 is invertible this follows automatically) and for |x|=1 (if 3 is invertible this follows automatically). When the ground ring is the integers or the Lie superalgebra is a free module, these conditions are equivalent to the condition that the Poincaré–Birkhoff–Witt theorem holds (and, in general, they are necessary conditions for the theorem to hold).
Distinction from graded Lie algebra
A graded Lie algebra (say, graded by Z or N) that is anticommutative and Jacobi in the graded sense also has a grading (which is called "rolling up" the algebra into odd and even parts), but is not referred to as "super". See note at graded Lie algebra for discussion.
Even and odd parts
Note that the even subalgebra of a Lie superalgebra forms a (normal) Lie algebra as all the signs disappear, and the superbracket becomes a normal Lie bracket.
One way of thinking about a Lie superalgebra is to consider its even and odd parts, L0 and L1 separately. Then, L0 is a Lie algebra, L1 is a linear representation of L0, and there exists a symmetric L0-equivariant linear map such that for all x,y and z in L1,
A * Lie superalgebra is a complex Lie superalgebra equipped with an involutive antilinear map from itself to itself which respects the Z2 grading and satisfies [x,y]*=[y*,x*] for all x and y in the Lie superalgebra. (Some authors prefer the convention [x,y]*=(−1)|x||y|[y*,x*]; changing * to −* switches between the two conventions.) Its universal enveloping algebra would be an ordinary *-algebra.
Given any associative superalgebra A one can define the supercommutator on homogeneous elements by
and then extending by linearity to all elements. The algebra A together with the supercommutator then becomes a Lie superalgebra.
The Whitehead product on homotopy groups gives many examples of Lie superalgebras over the integers.
The simple complex finite-dimensional Lie superalgebras were classified by Victor Kac.
The basic classical compact Lie superalgebras (that are not Lie algebras) are: 
SU(m/n) These are the superunitary Lie algebras which have invariants:
This gives two orthosymplectic (see below) invariants if we take the m z variables and n w variables to be non-commuative and we take the real and imaginary parts. Therefore we have
SU(n/n)/U(1) A special case of the superunitary Lie algebras where we remove one U(1) generator to make the algebra simple.
OSp(m/2n) These are the Orthosymplectic groups. They have invariants given by:
for m commutative variables (x) and n pairs of anti-commuative variables (y,z). They are important symmetries in supergravity theories.
F(4) This exceptional Lie superalgebra has dimension 40 and is a sub-algebra of OSp(24|16). The even part of the group is O(3)xSO(7) so three invariants are:
This group is related to the octonions by considering the 16 component spinors as two component octonion spinors and the gamma matrices acting on the upper indices as unit octonions. We then have where f is the structure constants of octonion multiplication.
G(3) This exceptional Lie superalgebra has dimension 31 and is a sub-algebra of OSp(17|14). The even part of the group is O(3)xG2. The invariants are similar to the above (it being a subalgebra of the F(4)?) so the first invariant is:
There are also two so-called strange series called p(n) and q(n).
Classification of infinite-dimensional simple linearly compact Lie superalgebras
The classification consists of the 10 series W(m, n), S(m, n) ((m, n) ≠ (1, 1)), H(2m, n), K(2m + 1, n), HO(m, m) (m ≥ 2), SHO(m, m) (m ≥ 3), KO(m, m + 1), SKO(m, m + 1; β) (m ≥ 2), SHO∼(2m, 2m), SKO∼(2m + 1, 2m + 3) and the 5 exceptional algebras:
- E(1, 6), E(5, 10), E(4, 4), E(3, 6), E(3, 8)
The last two are particularly interesting (according to Kac) because they have the standard model gauge group SU(3)xSU(2)xU(1) as their zero level algebra. Infinite-dimensional (affine) Lie superalgebras are important symmetries in superstring theory.
- Anyonic Lie algebra
- Grassmann algebra
- Representation of a Lie superalgebra
- Universal enveloping algebra
- Kac, V. G. Lie superalgebras. Advances in Math. 26 (1977), no. 1, 8--96.
- Manin, Yuri I. Gauge field theory and complex geometry. Grundlehren der Mathematischen Wissenschaften, 289. Springer-Verlag, Berlin, 1997. ISBN 3-540-61378-1
- Pavel Grozman, Dimitry Leites and Irina Shchepochkina. "LIE SUPERALGEBRAS OF STRING THEORIES"
- Lie Superalgebras and Enveloping Algebras Ian M. Musson, Graduate Studies in Mathematics 2012; 488 pp; hardcover Volume: 131 ISBN 978-0-8218-6867-6