lie superalgebra

In mathematics, a Lie superalgebra is a kind of generalisation of a Lie algebra. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In these theories, the even elements of the superalgebra correspond to bosons and odd elements to fermions. A Lie superalgebra is nonassociative superalgebra which is the graded version of a ordinary Lie algebra. The product map is written as

\cdot,\cdot

instead. Category theoretically,

\circ (id+\tau_{A,A})=0

and

\otimes id)\circ(id+\sigma+\sigma^2)=0

where σ is the cyclic permutation braiding

(id\otimes \tau_{A,A})\circ(\tau_{A,A}\otimes id)

. Translated into more concrete terms, a Lie superalgebra is a Z₂-graded algebra over a field of characteristic 0 (typically R or C) whose product ·, ·, called the Lie superbracket or supercommutator, satisfies

x,y =-(-1)^

y,x>

/dd> and $]+(-1)^{\|y\| \|z$

z,[x,y]=0

where x, y, and z are pure in the Z₂-grading. Here, |x| denotes the degree of x (either 0 or 1). Lie superalgebras are a natural generalization of normal Lie algebras to include a Z₂-grading. Indeed, the above conditions on the superbracket are exactly those on the normal Lie bracket with modifications made for the grading. The last condition is sometimes called the super Jacobi identity. Note that the even subalgebra of a Lie superalgebra forms a (normal) Lie algebra as all the funny signs disappear, and the superbracket becomes a normal Lie bracket. One way of thinking about a Lie superalgebra -- it's not the most symmetric way of looking at it -- is to consider its even and odd parts, L₀ and L₁ separately. Then, L₀ is a Lie algebra, L₁ is a linear rep of L₀, and there exists a symmetric L₀-intertwiner

\{.,.\}:L_1\otimes L_1\rightarrow L_0

such that for all x,y and z in L₁,

\left\{x, y\right\} z +\left\{y, z\right\} x +\left\{z, x\right\} y =0

A ^* Lie superalgebra is a complex Lie superalgebra equipped with an involutive antilinear map from itself to itself which respects the Z₂ grading and satisfies x,y^*=y^*,x^* for all x and y in the Lie superalgebra. Its universal enveloping algebra would be an ordinary ^*-algebra.

Lie Superalgebra

See also