Lie superalgebra

Last updated • 7 min readFrom Wikipedia, The Free Encyclopedia

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry.

Contents

The notion of grading used here is distinct from a second grading having cohomological origins. A graded Lie algebra (say, graded by or ) that is anticommutative and has a graded Jacobi identity also has a grading; this is the "rolling up" of the algebra into odd and even parts. This rolling-up is not normally referred to as "super". Thus, supergraded Lie superalgebras carry a pair of gradations: one of which is supersymmetric, and the other is classical. Pierre Deligne calls the supersymmetric one the super gradation, and the classical one the cohomological gradation. These two gradations must be compatible, and there is often disagreement as to how they should be regarded. [1]

Definition

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):

Super skew-symmetry:

The super Jacobi identity: [2]

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).

Just as for Lie algebras, the universal enveloping algebra of the Lie superalgebra can be given a Hopf algebra structure.

Comments

Lie superalgebras show up in physics in several different ways. In conventional supersymmetry, the even elements of the superalgebra correspond to bosons and odd elements to fermions. This corresponds to a bracket that has a grading of zero:

This is not always the case; for example, in BRST supersymmetry and in the Batalin–Vilkovisky formalism, it is the other way around, which corresponds to the bracket of having a grading of -1:

This distinction becomes particularly relevant when an algebra has not one, but two graded associative products. In addition to the Lie bracket, there may also be an "ordinary" product, thus giving rise to the Poisson superalgebra and the Gerstenhaber algebra. Such gradings are also observed in deformation theory.

Properties

Let be a Lie superalgebra. By inspecting the Jacobi identity, one sees that there are eight cases depending on whether arguments are even or odd. These fall into four classes, indexed by the number of odd elements: [3]

  1. No odd elements. The statement is just that is an ordinary Lie algebra.
  2. One odd element. Then is a -module for the action .
  3. Two odd elements. The Jacobi identity says that the bracket is a symmetric-map.
  4. Three odd elements. For all , .

Thus 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, while is a linear representation of , and there exists a symmetric -equivariant linear map such that,

Conditions (1)(3) are linear and can all be understood in terms of ordinary Lie algebras. Condition (4) is nonlinear, and is the most difficult one to verify when constructing a Lie superalgebra starting from an ordinary Lie algebra () and a representation ().

Involution

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.

Examples

Given any associative superalgebra one can define the supercommutator on homogeneous elements by

and then extending by linearity to all elements. The algebra together with the supercommutator then becomes a Lie superalgebra. The simplest example of this procedure is perhaps when is the space of all linear functions of a super vector space to itself. When , this space is denoted by or . [4] With the Lie bracket per above, the space is denoted . [5]

A Poisson algebra is an associative algebra together with a Lie bracket. If the algebra is given a Z2-grading, such that the Lie bracket becomes a Lie superbracket, then one obtains the Poisson superalgebra. If, in addition, the associative product is made supercommutative, one obtains a supercommutative Poisson superalgebra.

The Whitehead product on homotopy groups gives many examples of Lie superalgebras over the integers.

The super-Poincaré algebra generates the isometries of flat superspace.

Classification

The simple complex finite-dimensional Lie superalgebras were classified by Victor Kac.

They are (excluding the Lie algebras): [6]

The special linear lie superalgebra.

The lie superalgebra is the subalgebra of consisting of matrices with super trace zero. It is simple when . If , then the identity matrix generates an ideal. Quotienting out this ideal leads to which is simple for .

The orthosymplectic Lie superalgebra.

Consider an even, non-degenerate, supersymmetric bilinear form on . Then the orthosymplectic Lie superalgebra is the subalgebra of consisting of matrices that leave this form invariant: Its even part is given by .

The exceptional Lie superalgebra.

There is a family of (9∣8)-dimensional Lie superalgebras depending on a parameter . These are deformations of . If and , then D(2,1,α) is simple. Moreover if and are under the same orbit under the maps and .

The exceptional Lie superalgebra.

It has dimension (24|16). Its even part is given by .

The exceptional Lie superalgebra.

It has dimension (17|14). Its even part is given by .

There are also two so-called strange series called and .

The Cartan types. They can be divided in four families: , , and . For the Cartan type of simple Lie superalgebras, the odd part is no longer completely reducible under the action of the even part.

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 five 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)×SU(2)×U(1) as their zero level algebra. Infinite-dimensional (affine) Lie superalgebras are important symmetries in superstring theory. Specifically, the Virasoro algebras with supersymmetries are which only have central extensions up to . [7]

Category-theoretic definition

In category theory, a Lie superalgebra can be defined as a nonassociative superalgebra whose product satisfies

where σ is the cyclic permutation braiding . In diagrammatic form:

Liealgebra.png

See also

Notes

  1. See Deligne's discussion of this difficulty.
  2. Freund 1983 , p. 8
  3. Varadarajan 2004 , p. 89
  4. Varadarajan 2004 , p. 87
  5. Varadarajan 2004 , p. 90
  6. Cheng S.-J. ;Wang W. (2012). Dualities and representations of Lie superalgebras. Providence, Rhode Island. p. 12. ISBN   978-0-8218-9118-6. OCLC   809925982.{{cite book}}: CS1 maint: location missing publisher (link) CS1 maint: multiple names: authors list (link)
  7. Kac 2010

Related Research Articles

<span class="mw-page-title-main">Lie algebra</span> Algebraic structure used in analysis

In mathematics, a Lie algebra is a vector space together with an operation called the Lie bracket, an alternating bilinear map , that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors and is denoted . A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, .

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.

In mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.

In mathematics and theoretical physics, a superalgebra is a Z2-graded algebra. That is, it is an algebra over a commutative ring or field with a decomposition into "even" and "odd" pieces and a multiplication operator that respects the grading.

In theoretical physics, a super-Poincaré algebra is an extension of the Poincaré algebra to incorporate supersymmetry, a relation between bosons and fermions. They are examples of supersymmetry algebras, and are Lie superalgebras. Thus a super-Poincaré algebra is a Z2-graded vector space with a graded Lie bracket such that the even part is a Lie algebra containing the Poincaré algebra, and the odd part is built from spinors on which there is an anticommutation relation with values in the even part.

In mathematics, a vertex operator algebra (VOA) is an algebraic structure that plays an important role in two-dimensional conformal field theory and string theory. In addition to physical applications, vertex operator algebras have proven useful in purely mathematical contexts such as monstrous moonshine and the geometric Langlands correspondence.

In mathematics, an affine Lie algebra is an infinite-dimensional Lie algebra that is constructed in a canonical fashion out of a finite-dimensional simple Lie algebra. Given an affine Lie algebra, one can also form the associated affine Kac-Moody algebra, as described below. From a purely mathematical point of view, affine Lie algebras are interesting because their representation theory, like representation theory of finite-dimensional semisimple Lie algebras, is much better understood than that of general Kac–Moody algebras. As observed by Victor Kac, the character formula for representations of affine Lie algebras implies certain combinatorial identities, the Macdonald identities.

<span class="mw-page-title-main">Representation theory of the Lorentz group</span> Representation of the symmetry group of spacetime in special relativity

The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. This group is significant because special relativity together with quantum mechanics are the two physical theories that are most thoroughly established, and the conjunction of these two theories is the study of the infinite-dimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative present-day theories.

In theoretical physics, the superconformal algebra is a graded Lie algebra or superalgebra that combines the conformal algebra and supersymmetry. In two dimensions, the superconformal algebra is infinite-dimensional. In higher dimensions, superconformal algebras are finite-dimensional and generate the superconformal group.

Verma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics.

<span class="mw-page-title-main">Hermitian symmetric space</span> Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket operation. A choice of Cartan decomposition endows any semisimple Lie algebra with the structure of a graded Lie algebra. Any parabolic Lie algebra is also a graded Lie algebra.

In mathematics a Lie coalgebra is the dual structure to a Lie algebra.

In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature. More precisely, they are two equivalent representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.

<span class="mw-page-title-main">Classical group</span>

In mathematics, the classical groups are defined as the special linear groups over the reals , the complex numbers and the quaternions together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.

In mathematical physics, the 2D N = 2 superconformal algebra is an infinite-dimensional Lie superalgebra, related to supersymmetry, that occurs in string theory and two-dimensional conformal field theory. It has important applications in mirror symmetry. It was introduced by M. Ademollo, L. Brink, and A. D'Adda et al. as a gauge algebra of the U(1) fermionic string.

In algebra, the Nichols algebra of a braided vector space is a braided Hopf algebra which is denoted by and named after the mathematician Warren Nichols. It takes the role of quantum Borel part of a pointed Hopf algebra such as a quantum groups and their well known finite-dimensional truncations. Nichols algebras can immediately be used to write down new such quantum groups by using the Radford biproduct.

In mathematics and physics, super Minkowski space or Minkowski superspace is a supersymmetric extension of Minkowski space, sometimes used as the base manifold for superfields. It is acted on by the super Poincaré algebra.

In mathematics, the term "graded" has a number of meanings, mostly related:

<span class="mw-page-title-main">Glossary of Lie groups and Lie algebras</span>

This is a glossary for the terminology applied in the mathematical theories of Lie groups and Lie algebras. For the topics in the representation theory of Lie groups and Lie algebras, see Glossary of representation theory. Because of the lack of other options, the glossary also includes some generalizations such as quantum group.

References

Historical