here, is a parity, i.e. a -grading.
The definition of a superalgebra can be generalized to include the case where the domain of scalars is an arbitrary commutative associative superalgebra .
Examples of associative superalgebras over are: the algebra of matrices of the form
where , , endowed with the natural -grading (cf. Super-space); the tensor algebra of a -graded module over ; the symmetric algebra of a module , where is the ideal generated by the elements of the form
and the exterior algebra of a module (the latter two superalgebras are commutative).
A superalgebra with a multiplication is called a Lie superalgebra if for all ,
(and if and ). In particular, there are no Lie superalgebras in characteristic , only -graded Lie algebras.
Examples. Any associative superalgebra endowed with commutation (the supercommutator difference)
as the bracket operation; the algebra of derivations of an arbitrary superalgebra (i.e. of linear transformations for which ) with the operation of commutation. For any Lie superalgebra there is an associative universal enveloping superalgebra, and the straightforward generalization of the Birkhoff–Witt theorem holds.
The classification of finite-dimensional simple Lie superalgebras over the field is known (see , ). They are divided into Lie superalgebras of classical type (characterized by the fact that the Lie algebra is reductive) and Lie superalgebras of Cartan type. The Lie superalgebras of classical type are exhausted by the following series of matrix algebras:
for an even symmetric non-degenerate bilinear form ;
for an odd symmetric non-degenerate bilinear form ;
and certain exceptional algebras (of dimensions , and ). The superalgebras of Cartan type are the algebra and its supersubalgebras, analogues to the simple Lie graded algebras , , (cf. Lie algebra, graded).
The classification of real structures of simple Lie superalgebras and a description of semi-simple Lie superalgebras in terms of simple ones are also known.
The theory of linear representations of Lie superalgebras is essentially more complex than for Lie algebras in that representations of simple Lie superalgebras, as a rule, are not completely reducible, while irreducible representations of solvable Lie superalgebras need not be one-dimensional. A classification exists of the irreducible representations of simple finite-dimensional Lie superalgebras over in terms of the highest weights (see , ), and an explicit description is known of the finite-dimensional representations, as well as for the character formula for certain series of these algebras .
|[1a]||D.A. Leites, "Lie superalgebras" Josmar , 30 (1984)|
|[1b]||D.A. Leites (ed.) , Seminar on supermanifolds , Kluwer (1990)|
|||V.G. Kac, "Lie superalgebras" Adv. Math. , 26 (1977) pp. 8–96|
|||M. Scheunert, "The theory of Lie superalgebras. An introduction" , Springer (1979)|
A classification of the simple finite-dimensional Lie superalgebras over was obtained by V.G. Kac in 1975 (see ).
A classification of the irreducible finite-dimensional representations of solvable Lie superalgebras may be found in .
The irreducible finite-dimensional representations of a simple Lie superalgebra are divided into two classes: typical and atypical (exceptional). Characters of typical representations were computed in [a1]. Characters of atypical representations are not known, not even in the case of .
|[a1]||V.G. Kac, "Representations of classical Lie superalgebras" K. Bleuler (ed.) et al. (ed.) , Differential Geometrical Methods in Mathematical Physics II , Lect. notes in math. , 676 , Springer (1978) pp. 597–626|
|[a2]||F.A. Berezin, M.A. Shubin, "The Schrödinger equation" , Kluwer (1991) (Translated from Russian) (Supplement 3: D.A. Leites, Quantization and supermanifolds)|
|[a3]||F.A. Berezin, "Introduction to superanalysis" , Reidel (1987) (Translated from Russian)|
Superalgebra. D.A. Leites (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Superalgebra&oldid=12007