07.06.27 · representation-theory / lie-algebraic

Lie superalgebras: the graded bracket, the super-Jacobi identity, and basic classification

shipped3 tiersLean: none

Anchor (Master): V. G. Kac 1977 *Lie superalgebras* (Advances in Mathematics 26, 8-96) §§1-5 (the full classification of finite-dimensional simple Lie superalgebras over $\mathbb{C}$); Scheunert 1979 *The Theory of Lie Superalgebras* (Springer LNM 716); Musson *Lie Superalgebras and Enveloping Algebras* (AMS GSM 131); Frappat-Sciarrino-Sorba *Dictionary on Lie Superalgebras* (Academic Press 2000); Wess-Bagger *Supersymmetry and Supergravity* (Princeton 1992) Ch. 1-2

Intuition Beginner

Ordinary Lie algebras package one kind of symmetry: rotations, translations, the continuous moves that flow into each other. Their bracket is the commutator, $[X, Y] = X Y - Y X$ , which measures how much two moves fail to agree when you swap their order. Every element sits on equal footing.

A Lie superalgebra splits its elements into two camps from the start. Some are even and behave like the familiar symmetries; some are odd and behave like the fermionic objects of physics, the electrons and quarks whose wavefunctions flip sign when you swap two of them. The single new rule is a bookkeeping of signs: whenever two odd things move past each other, a minus sign appears. The bracket becomes a commutator when at least one input is even, and an anticommutator $X Y + Y X$ when both inputs are odd. One formula handles both cases by carrying a sign that depends on the parities.

The reward for this bookkeeping is that two very different-looking structures merge into one. The even part, taken alone, is an ordinary Lie algebra. The odd part is a module for it, a space the even part acts on. And the anticommutator of two odd elements lands back in the even part. So an odd generator, applied twice, can produce an even symmetry. In physics this is the headline fact: a fermionic charge squares to a translation in spacetime. The super-Poincaré algebra, the home of supersymmetry, is exactly such a structure, and the rest of this unit builds the algebra that makes it run.

Visual Beginner

Picture the whole algebra as a single box divided into two stacked floors. The lower floor, coloured blue, holds the even elements; the upper floor, coloured red, holds the odd elements. Now draw the bracket as a machine that takes two inputs and returns one output, and watch where the output lands.

Two blue inputs give a blue output: even with even stays even, and on this floor the machine is the ordinary commutator. One blue and one red input give a red output: the even part acts on the odd part, moving you around the upper floor. Two red inputs give a blue output: this is the surprise, two odd elements brackets down into the even floor, and here the machine is the anticommutator that adds instead of subtracts. An arrow diagram with three labelled arrows — blue+blue to blue, blue+red to red, red+red to blue — captures the entire grading rule.

The one idea the picture carries: parity is added under the bracket. Even counts as $0$ , odd counts as $1$ , and the output's floor is the sum of the input floors counted to base two. The sign rule that makes the bracket consistent is the same base-two addition applied to a minus sign.

Worked example Beginner

Take the smallest interesting example, the superalgebra built from $1$ even direction and $1$ odd direction, written $gl (1∣1)$ . Its elements are $2 \times 2$ matrices, but the rows and columns are tagged: the first slot is even, the second is odd. The even part consists of the diagonal matrices, and the odd part consists of the off-diagonal matrices.

Name two odd elements. Let $Q$ be the matrix with a single $1$ in the top-right corner and zeros elsewhere, and let $\overset{ˉ}{Q}$ be the matrix with a single $1$ in the bottom-left corner. Both are off-diagonal, so both are odd. Because they are both odd, the rule says to use the anticommutator, the bracket that adds. Compute $Q \overset{ˉ}{Q} + \overset{ˉ}{Q} Q$ . The first product puts a $1$ in the top-left slot; the second puts a $1$ in the bottom-left slot multiplied through, landing a $1$ in the bottom-right slot. Their sum is the identity matrix.

So ${Q, \overset{ˉ}{Q}} = Q \overset{ˉ}{Q} + \overset{ˉ}{Q} Q$ equals the identity, a diagonal matrix, an even element. Two odd generators have produced an even one. This is the toy version of the supersymmetry slogan that an odd charge squared gives an even symmetry. The even result here is the identity matrix, the generator of an overall phase; in the super-Poincaré algebra the even result is the energy-momentum, the generator of a spacetime translation.

Check your understanding Beginner

Exercise (easy, multiple choice).

When both inputs to the graded bracket are odd, which operation does the bracket become, and where does the output land?

A. A commutator, with output in the odd part B. An anticommutator, with output in the even part C. A commutator, with output in the even part D. An anticommutator, with output in the odd part

Hint

Add the parities: odd is $1$ , and $1 + 1$ counted to base two is $0$ , which is even. The sign rule turns the bracket into an addition when both inputs are odd.

Answer

B. Odd plus odd gives even output, and the sign $- (- 1)^{∣ X ∣∣ Y ∣}$ with both parities equal to $1$ becomes $- (- 1)^{1} = + 1$ , so the bracket symmetrises into the anticommutator $X Y + Y X$ . Feedback-correct: this is the defining feature that lets an odd generator square to an even one. Feedback-wrong: A and D keep the output odd, forgetting that parities add; C keeps the commutator, forgetting that the sign flips for two odd inputs.

Formal definition Intermediate+

Let $g = g_{\overset{ˉ}{0}} \oplus g_{\overset{ˉ}{1}}$ be a $Z_{2}$ -graded vector space over a field $k$ of characteristic zero. Elements of $g_{\overset{ˉ}{0}}$ are even and elements of $g_{\overset{ˉ}{1}}$ are odd; a non-zero element $X$ lying in one of the two pieces is homogeneous with parity $∣ X ∣ \in {\overset{ˉ}{0}, \overset{ˉ}{1}} = Z_{2}$ . A Lie superalgebra structure on $g$ is a bilinear bracket $[\cdot, \cdot] : g \times g \to g$ that respects the grading, $∣ [X, Y] ∣ = ∣ X ∣ + ∣ Y ∣$ , and satisfies, on homogeneous elements, the two graded axioms:

Graded antisymmetry. $$ [X, Y] = -(-1)^{|X||Y|},[Y, X]. $$

Super-Jacobi identity. $$ (-1)^{|X||Z|}[X,[Y,Z]] + (-1)^{|Y||X|}[Y,[Z,X]] + (-1)^{|Z||Y|}[Z,[X,Y]] = 0. $$

The product $∣ X ∣∣ Y ∣$ is taken in $Z_{2}$ , so the sign $(- 1)^{∣ X ∣∣ Y ∣}$ is $- 1$ exactly when both $X$ and $Y$ are odd, and $+ 1$ otherwise. The two axioms are extended to all of $g$ by bilinearity. The whole sign convention is the Koszul sign rule: whenever two homogeneous symbols are transposed, a factor $(- 1)^{∣ X ∣∣ Y ∣}$ is inserted.

Unwinding the parities gives the structural decomposition. Restricted to $g_{\overset{ˉ}{0}} \times g_{\overset{ˉ}{0}}$ the sign is $+ 1$ , antisymmetry becomes the usual $[X, Y] = - [Y, X]$ , and the super-Jacobi identity becomes the ordinary Jacobi identity: $g_{\overset{ˉ}{0}}$ is an ordinary Lie algebra. The bracket maps $g_{\overset{ˉ}{0}} \times g_{\overset{ˉ}{1}} \to g_{\overset{ˉ}{1}}$ and makes $g_{\overset{ˉ}{1}}$ a module over $g_{\overset{ˉ}{0}}$ . Restricted to $g_{\overset{ˉ}{1}} \times g_{\overset{ˉ}{1}}$ the sign is $- 1$ , antisymmetry reads $[X, Y] = + [Y, X]$ , so the odd-odd bracket is a symmetric map $Sym^{2} g_{\overset{ˉ}{1}} \to g_{\overset{ˉ}{0}}$ . The remaining super-Jacobi relations say the symmetric pairing is $g_{\overset{ˉ}{0}}$ -equivariant and that the odd elements act by derivations of the right graded sign.

The universal enveloping superalgebra $U (g)$ is the quotient of the tensor superalgebra $T (g)$ by the two-sided ideal generated by $X \otimes Y - (- 1)^{∣ X ∣∣ Y ∣} Y \otimes X - [X, Y]$ for homogeneous $X, Y$ . It is an associative superalgebra with a super-Hopf structure, and it carries the same module theory as $g$ .

Counterexamples to common slips

A Lie superalgebra is not a Lie algebra equipped with a $Z_{2}$ -grading in the ordinary sense. The bracket of two odd elements symmetrises (an anticommutator), so the bilinear form $[\cdot, \cdot]$ is not antisymmetric on all of $g$ ; only the graded antisymmetry holds.
The odd part is not a subalgebra. Since $[g_{\overset{ˉ}{1}}, g_{\overset{ˉ}{1}}] \subseteq g_{\overset{ˉ}{0}}$ , the odd part is never closed under the bracket unless it is the zero space.
The Killing form of a simple Lie superalgebra can be identically zero (for instance on $psl (n ∣ n)$ and $osp (2∣2)$ -type degenerations). Semisimplicity cannot be read off non-degeneracy of the Killing form as in the ordinary Cartan-Weyl story of 07.04.01; one uses the even-part structure and the module instead.

Key theorem with proof Intermediate+

Theorem (super-PBW: the structure of the enveloping superalgebra). Let $g = g_{\overset{ˉ}{0}} \oplus g_{\overset{ˉ}{1}}$ be a finite-dimensional Lie superalgebra over a field of characteristic zero, with ordered homogeneous basis $x_{1}, \dots, x_{p}$ of $g_{\overset{ˉ}{0}}$ and $ξ_{1}, \dots, ξ_{q}$ of $g_{\overset{ˉ}{1}}$ . Then the ordered monomials $$ x_1^{a_1} \cdots x_p^{a_p}, \xi_1^{b_1} \cdots \xi_q^{b_q}, \qquad a_i \in \mathbb{Z}{\ge 0},\ b_j \in {0,1}, $$ *form a basis of the universal enveloping superalgebra $U (g)$ . Equivalently, the associated graded of $U (g)$ for the standard filtration is the supersymmetric algebra $\mathrm{Sym}(\mathfrak{g}{\bar 0}) \otimes \Lambda(\mathfrak{g}_{\bar 1}) $, an d t h ec an o ni c a l ma p$ \mathfrak{g} \to U(\mathfrak{g})$ is injective.*

Proof. The argument is the graded refinement of the ordinary Poincaré-Birkhoff-Witt theorem, with the Koszul sign governing the odd generators. Two movements: the spanning claim by a rewriting system, and the linear independence by a representation on the candidate basis.

Step 1: ordered monomials span. In $U (g)$ the defining relation lets us rewrite a product $y z$ of two basis vectors, when they appear out of order, as $(- 1)^{∣ y ∣∣ z ∣} z y + [y, z]$ . The bracket term has strictly lower filtration degree, and the sign term reorders one inversion. Treating an out-of-order pair as a descent, each rewrite either removes a descent at top degree or pushes a remainder to lower degree, so the rewriting terminates and every element is a combination of ordered monomials. The constraint $b_{j} \in {0, 1}$ comes from the odd-odd relation applied to a repeated odd generator: $ξ_{j} ξ_{j} = \frac{1}{2} [ξ_{j}, ξ_{j}]$ already lies in lower degree, so $ξ_{j}^{2}$ is rewritten away and no odd generator appears to a power above one. This produces the supersymmetric (symmetric on even, exterior on odd) shape.

Step 2: ordered monomials are independent. Build the candidate basis space $M = Sym (g_{\overset{ˉ}{0}}) \otimes Λ (g_{\overset{ˉ}{1}})$ and define an action of $g$ on $M$ by left multiplication followed by reordering through the same sign-rule rewriting, with the bracket supplying the correction terms. The super-Jacobi identity is exactly the associativity (well-definedness) condition for this action: checking the action of $[y, z]$ against the supercommutator of the actions of $y$ and $z$ reproduces the three-term graded Jacobi relation, so the action descends to a representation of $U (g)$ on $M$ . Under this representation the ordered monomial $x^{a} ξ^{b} \in U (g)$ sends the unit $1 \in M$ to the corresponding monomial $x^{a} ξ^{b} \in M$ , and distinct monomials go to distinct basis vectors of $M$ . Hence the ordered monomials are linearly independent in $U (g)$ . Combined with Step 1 they form a basis, the associated graded is $M$ , and the injectivity of $g ↪ U (g)$ follows since the degree-one part of $M$ is $g$ itself. $□$

Bridge. The super-PBW theorem builds toward the entire highest-weight representation theory of Lie superalgebras and appears again in the construction of Verma supermodules and the Kac character formula, where the basis $Sym (g_{\overset{ˉ}{0}}) \otimes Λ (g_{\overset{ˉ}{1}})$ is the engine for counting weight multiplicities. The foundational reason the odd generators appear only to the first power is exactly the symmetric (anticommutator) odd-odd bracket: where the ordinary PBW theorem of an ungraded Lie algebra produces a pure polynomial ring, the graded version produces a polynomial-times-exterior ring, and this is the bridge from the commutator world to the fermionic world. This is exactly the Casimir-and-enveloping-algebra construction of 07.06.10 carried into the graded setting: the quadratic Casimir lives in the even centre of $U (g)$ and the super-PBW basis is where one writes it down. Putting these together, the splitting "symmetric on even, exterior on odd" generalises the single statement of ordinary PBW into the one structural fact that organises every super-representation, and the same integrality of weights that governs the $sl_{2}$ -ladders of 07.06.11 governs the even part acting on the odd module.

Exercises Intermediate+

Exercise 4 (medium, short-answer).

The orthosymplectic superalgebra $osp (m ∣2 n)$ preserves a single even non-degenerate bilinear form that is symmetric on an $m$ -dimensional even subspace and skew on a $2 n$ -dimensional odd subspace. Identify the even part $osp (m ∣2 n)_{\overset{ˉ}{0}}$ as a direct sum of two classical Lie algebras and say why.

Hint

The even part preserves the form separately on the even and odd subspaces. A symmetric form gives an orthogonal algebra; a skew form gives a symplectic algebra.

Answer

$osp (m ∣2 n)_{\overset{ˉ}{0}} = so_{m} \oplus sp_{2 n}$ . The even part maps the even subspace to itself and the odd subspace to itself, preserving the symmetric form on the first (giving $so_{m}$ ) and the skew form on the second (giving $sp_{2 n}$ ). The odd part $osp (m ∣2 n)_{\overset{ˉ}{1}}$ is the tensor product $C^{m} \otimes C^{2 n}$ of the two standard representations, the bridge between the orthogonal and symplectic worlds. Rubric: full credit for $so_{m} \oplus sp_{2 n}$ with the symmetric/skew reasoning; bonus for naming the odd part as the tensor of standards.

Exercise 5 (medium, symbolic).

Show that the supertrace $\mathrm{str}\begin{psmallmatrix} A & B \\ C & D \end{psmallmatrix} = \operatorname{tr} A - \operatorname{tr} D$ vanishes on every supercommutator in $gl (m ∣ n)$ , and deduce that $sl (m ∣ n) = ker (str)$ is an ideal.

Hint

Verify $str [X, Y]_{super} = 0$ block by block, using $tr (P Q) = tr (QP)$ . The minus sign in the supertrace is exactly what makes the odd-odd contributions cancel.

Answer

For even $X, Y$ the supercommutator is the ordinary commutator and $str$ is a sum of two ordinary traces of commutators, each zero. For odd $X, Y$ the supercommutator is $X Y + Y X$ ; writing the off-diagonal blocks $X = \begin{psmallmatrix} 0 & B \\ C & 0\end{psmallmatrix}$ , $Y = \begin{psmallmatrix} 0 & B' \\ C' & 0\end{psmallmatrix}$ gives $XY+YX = \begin{psmallmatrix} BC'+B'C & 0 \\ 0 & CB'+C'B\end{psmallmatrix}$ , whose supertrace is $tr (B C^{'} + B^{'} C) - tr (C B^{'} + C^{'} B) = 0$ by cyclicity. So $str$ kills all supercommutators, hence $[gl (m ∣ n), gl (m ∣ n)] \subseteq ker (str) = sl (m ∣ n)$ , and since $str$ is $gl$ -invariant its kernel is an ideal. Rubric: full credit for the odd-odd block computation and the cyclicity cancellation.

Exercise 6 (hard, short-answer).

The superalgebra $sl (n ∣ n)$ contains the identity matrix $I_{2 n}$ in its kernel-of-supertrace (because $str I = n - n = 0$ ). Explain why this forces a quotient $psl (n ∣ n) = sl (n ∣ n) / ⟨ I ⟩$ to obtain a simple superalgebra, and contrast with the ordinary $sl_{n}$ situation.

Hint

In the ordinary case $tr I = n \neq = 0$ , so the identity is excluded from $sl_{n}$ . Here the supertrace of the identity vanishes, so the identity sneaks into $sl (n ∣ n)$ as a central element.

Answer

For ordinary $gl_{n}$ , the identity has trace $n \neq = 0$ , so $sl_{n} = ker (tr)$ excludes it and is already simple. For $sl (n ∣ n)$ the supertrace of the identity is $n - n = 0$ , so $I_{2 n} \in sl (n ∣ n)$ and, being central, spans a one-dimensional ideal. A simple superalgebra has no proper non-zero ideals, so $sl (n ∣ n)$ is not simple; passing to the quotient $psl (n ∣ n)$ removes the central line and yields the simple object in the $A (n - 1, n - 1)$ series of the Kac classification. This is the super-phenomenon with no ordinary analogue: the supertrace can vanish on the identity. Rubric: full credit for identifying the central identity, the failure of simplicity, and the projective quotient $psl$ .

Exercise 7 (hard, short-answer).

State why a basic classical Lie superalgebra can have several non-conjugate systems of simple roots, and what even-root datum nevertheless stays fixed.

Hint

The Weyl group acts only by even reflections, but odd isotropic roots admit a different kind of (odd) reflection that changes the simple system. Think about which roots have length zero under the bilinear form.

Answer

The even Weyl group, generated by reflections in the even roots, does not act transitively on the set of all Borel subalgebras when odd roots are present. An odd isotropic root $α$ (one with $(α, α) = 0$ under the invariant even form) admits an odd reflection that produces a new, generally non-conjugate, system of simple roots — distinct Dynkin-Kac diagrams describe the same superalgebra. What stays invariant is the even root system $Δ_{\overset{ˉ}{0}}$ , the root datum of the even subalgebra $g_{\overset{ˉ}{0}}$ , and the decomposition of $g_{\overset{ˉ}{1}}$ as a $g_{\overset{ˉ}{0}}$ -module; these are intrinsic. Rubric: full credit for naming isotropic odd roots / odd reflections as the source of non-conjugate simple systems, with the even root datum as the fixed invariant.

Advanced results Master

Theorem (Kac classification of finite-dimensional simple Lie superalgebras). Over an algebraically closed field of characteristic zero, every finite-dimensional simple Lie superalgebra $g$ with $g_{\overset{ˉ}{1}} \neq = 0$ is isomorphic to exactly one member of the following list. The classical (reductive even part) superalgebras split into the basic type — those carrying a non-degenerate even invariant bilinear form — namely the series $A (m, n) = sl (m + 1∣ n + 1)$ (and $psl (n + 1∣ n + 1)$ when $m = n$ ), $B (m, n) = osp (2 m + 1∣2 n)$ , $C (n) = osp (2∣2 n - 2)$ , $D (m, n) = osp (2 m ∣2 n)$ , together with the exceptional $D (2, 1; α)$ , $F (4)$ , $G (3)$ — and the strange type $P (n)$ , $Q (n)$ with a degenerate or absent even form. The remaining Cartan-type superalgebras are the infinite-family analogues of vector fields: $W (n)$ (all super-derivations of the Grassmann algebra $Λ (n)$ ), $S (n)$ (divergence-free), $S (n)$ , and $H (n)$ (Hamiltonian). ^{[Kac 1977]}

The classification is the super-analogue of the Cartan-Killing list of 07.04.01, but with three new structural features absent from the ordinary theory. First, the appearance of a continuous family $D (2, 1; α)$ , a one-parameter deformation that is simple for generic $α$ — no ordinary simple Lie algebra deforms continuously. Second, the Cartan-type series, which have no even counterpart at all and arise as symmetries of the Grassmann (exterior) algebra rather than as matrix algebras. Third, the strange series $P (n)$ and $Q (n)$ , where the Killing form degenerates and the even part fails to be reductive in the expected way.

Theorem (basic structure of basic classical superalgebras). For a basic classical Lie superalgebra there is a Cartan subalgebra $h \subseteq g_{\overset{ˉ}{0}}$ , a root-space decomposition $g = h \oplus ⨁_{α} g_{α}$ with even roots $Δ_{\overset{ˉ}{0}}$ and odd roots $Δ_{\overset{ˉ}{1}}$ , and a non-degenerate $h$ -invariant even form. Odd roots come in two kinds: isotropic ( $(α, α) = 0$ ) and non-isotropic. The integrability and finite-dimensionality of a highest-weight module are governed by Kac's dominance conditions, and typical (generic) highest weights give modules whose character is the super-Weyl-Kac alternating sum, while atypical weights need correction terms.

The split into typical and atypical highest weights is the deepest novelty of super-representation theory. For a typical weight the character formula is the direct graded analogue of the Weyl character formula, with the Weyl denominator replaced by a product over even roots divided by a product over odd roots. For an atypical weight — one orthogonal to some isotropic odd root — the naive formula fails, and the true character involves a sum over an "atypicality" combinatorics that Kac, and later Serganova and Brundan, resolved through categorification and canonical bases.

Theorem (the super-Poincaré algebra as a Lie superalgebra). The $N = 1$ supersymmetry algebra in four dimensions is the Lie superalgebra with even part the Poincaré algebra $g_{\overset{ˉ}{0}} = so (1, 3) ⋉ R^{1, 3}$ and odd part $g_{\overset{ˉ}{1}}$ the four real supercharges $Q_{α}, \overset{ˉ}{Q}_{\overset{α}{˙}}$ transforming as the $(\frac{1}{2}, 0) \oplus (0, \frac{1}{2})$ spinor of the Lorentz algebra, with the single non-vanishing odd-odd bracket the anticommutator $$ {Q_\alpha, \bar Q_{\dot\beta}} = 2,\sigma^\mu_{\alpha\dot\beta}, P_\mu . $$ All graded Jacobi identities are satisfied, and the algebra is the unique (Haag-Łopuszański-Sohnius) graded extension of the Poincaré symmetry consistent with an interacting S-matrix.

This is the physics realisation that motivated the abstract theory: the odd generators are the fermionic charges, their symmetric bracket lands on the even translation generator $P_{μ}$ , and the entire content of supersymmetric field theory rests on this single super-Poincaré bracket. The abstract odd-odd-to-even rule, illustrated in the toy $gl (1∣1)$ example, here becomes the statement that two supersymmetry transformations compose into a spacetime translation.

Synthesis. The graded bracket is the foundational reason that bosonic and fermionic symmetries fuse into a single algebraic object, and the Kac classification is exactly the Cartan-Killing program of 07.04.01 generalised to the $Z_{2}$ -graded world, where the even root datum survives intact but acquires odd roots, isotropic directions, and a typical/atypical dichotomy with no ordinary analogue. This is the central insight that unifies the matrix superalgebras $gl (m ∣ n)$ , $osp (m ∣2 n)$ and the Cartan-type vector-field superalgebras under one list: both are simple, both have an even part acting on an odd module, and the super-PBW theorem is dual to the ordinary PBW theorem in the precise sense that the polynomial algebra becomes a polynomial-times-exterior algebra. Putting these together, the super-Poincaré algebra is the physics instance that the whole abstract structure was built to host, and its single anticommutator ${Q, \overset{ˉ}{Q}} = 2 σ \cdot P$ is exactly the odd-odd-to-even rule of the graded bracket made concrete; the bridge from this algebraic substrate to the supersymmetry algebra of field theory 12.19.01 is the identification of $g_{\overset{ˉ}{1}}$ with the spinor supercharges, and the same integrality that controls the $sl_{2}$ -ladders of 07.06.11 controls the spinor module of the Lorentz even part.

Full proof set Master

Theorem (super-PBW), proof. Given in full in the Intermediate-tier section: ordered monomials span $U (g)$ by a terminating sign-rule rewriting in which odd generators square into lower degree (forcing the exterior factor), and they are linearly independent because the super-Jacobi identity makes left multiplication a well-defined representation of $U (g)$ on $Sym (g_{\overset{ˉ}{0}}) \otimes Λ (g_{\overset{ˉ}{1}})$ sending distinct monomials to distinct basis vectors. $□$

Proposition (the even part is a Lie algebra and the odd part is a module). For any Lie superalgebra $g = g_{\overset{ˉ}{0}} \oplus g_{\overset{ˉ}{1}}$ , the bracket restricts to an ordinary Lie bracket on $g_{\overset{ˉ}{0}}$ , and $g_{\overset{ˉ}{1}}$ is a representation of $g_{\overset{ˉ}{0}}$ under the adjoint action.

Proof. For $X, Y \in g_{\overset{ˉ}{0}}$ the parities are $\overset{ˉ}{0}$ , so $(- 1)^{∣ X ∣∣ Y ∣} = 1$ and graded antisymmetry reads $[X, Y] = - [Y, X]$ , the ordinary antisymmetry. The super-Jacobi identity with all three even has all signs equal to $1$ and reduces to $[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0$ , the ordinary Jacobi identity. So $g_{\overset{ˉ}{0}}$ is an ordinary Lie algebra. For $X \in g_{\overset{ˉ}{0}}$ and $v \in g_{\overset{ˉ}{1}}$ , grading gives $[X, v] \in g_{\overset{ˉ}{1}}$ , so $ad_{X}$ preserves $g_{\overset{ˉ}{1}}$ . The super-Jacobi identity with $X, Y$ even and $v$ odd reads $[X, [Y, v]] - [Y, [X, v]] = [[X, Y], v]$ (all signs $+ 1$ since at most one factor is odd in each cross-pair), which is exactly $ad_{[X, Y]} = [ad_{X}, ad_{Y}]$ on $g_{\overset{ˉ}{1}}$ . Hence $g_{\overset{ˉ}{1}}$ is a $g_{\overset{ˉ}{0}}$ -module. $□$

Proposition (the odd-odd bracket is a symmetric equivariant pairing). The restriction of the bracket to $g_{\overset{ˉ}{1}} \times g_{\overset{ˉ}{1}} \to g_{\overset{ˉ}{0}}$ is a symmetric $g_{\overset{ˉ}{0}}$ -equivariant bilinear map, i.e. an element of $Hom_{g_{\overset{ˉ}{0}}} (Sym^{2} g_{\overset{ˉ}{1}}, g_{\overset{ˉ}{0}})$ .

Proof. For $u, v \in g_{\overset{ˉ}{1}}$ both parities are $\overset{ˉ}{1}$ , so $(- 1)^{∣ u ∣∣ v ∣} = - 1$ and graded antisymmetry gives $[u, v] = - (- 1) [v, u] = [v, u]$ : the pairing is symmetric, hence factors through $Sym^{2} g_{\overset{ˉ}{1}}$ . Equivariance under $X \in g_{\overset{ˉ}{0}}$ is the super-Jacobi identity with $X$ even and $u, v$ odd: the cross-parities $∣ X ∣∣ v ∣ = 0$ and the odd-odd term carry signs making the relation $[X, [u, v]] = [[X, u], v] + [u, [X, v]]$ , which states that $ad_{X}$ acts as a derivation of the symmetric pairing, i.e. the pairing is $g_{\overset{ˉ}{0}}$ -equivariant. $□$

Proposition (super-Jacobi for one even and two odd, the SUSY closure relation). For $P \in g_{\overset{ˉ}{0}}$ central in the even part and $Q, Q^{'} \in g_{\overset{ˉ}{1}}$ , the super-Jacobi identity reduces to $[{Q, Q^{'}}, P] = 0$ whenever $[Q, P] = [Q^{'}, P] = 0$ , so a translation produced by the anticommutator of supercharges is automatically central if the supercharges commute with it.

Proof. Apply the super-Jacobi identity to $X = Q$ , $Y = Q^{'}$ , $Z = P$ . With $∣ Q ∣ = ∣ Q^{'} ∣ = \overset{ˉ}{1}$ and $∣ P ∣ = \overset{ˉ}{0}$ , the signs are $(- 1)^{∣ Q ∣∣ P ∣} = 1$ , $(- 1)^{∣ Q^{'} ∣∣ Q ∣} = - 1$ , $(- 1)^{∣ P ∣∣ Q^{'} ∣} = 1$ , giving $$ [Q,[Q',P]] - [Q',[P,Q]] + [P,[Q,Q']] = 0 . $$ By hypothesis $[Q^{'}, P] = [P, Q] = 0$ , so the first two terms vanish and $[P, {Q, Q^{'}}] = - [{Q, Q^{'}}, P] = 0$ . Thus the even element ${Q, Q^{'}}$ commutes with $P$ . In the super-Poincaré algebra this is the statement that the momentum $P_{μ} = {Q, \overset{ˉ}{Q}}$ is translation-invariant, the algebraic backbone of the supersymmetry algebra. $□$

Connections Master

The supersymmetry algebra 12.19.01. This is the load-bearing physics instance and the principal successor. The present unit supplies the pure-algebra substrate — a $Z_{2}$ -graded vector space with a graded bracket whose odd-odd part symmetrises into the even part — and the supersymmetry-algebra unit instantiates it with $g_{\overset{ˉ}{0}}$ the Poincaré algebra and $g_{\overset{ˉ}{1}}$ the spinor supercharges, so that ${Q_{α}, \overset{ˉ}{Q}_{\dot{β}}} = 2 σ_{α \dot{β}}^{μ} P_{μ}$ . The Haag-Łopuszański-Sohnius theorem there is the statement that this graded extension is the unique consistent one; the graded-bracket axioms and the super-Jacobi closure relation proved here are exactly what its consistency check verifies.
Cartan-Weyl classification 07.04.01. The direct template and prerequisite. The Kac classification of finite-dimensional simple Lie superalgebras is the graded sequel to the Cartan-Killing list: the even root datum is inherited unchanged, but odd roots, isotropic directions, the continuous family $D (2, 1; α)$ , the Cartan-type vector-field series, and the strange series $P (n), Q (n)$ are genuinely new. Where the ordinary theory reads simplicity off a non-degenerate Killing form, the super theory cannot, because the Killing form degenerates on $psl (n ∣ n)$ and the strange series, so the classification reorganises around the even part and its odd module.
Casimir element 07.06.10. The prerequisite whose construction carries over with signs. The quadratic Casimir of a basic classical Lie superalgebra lives in the even centre of the universal enveloping superalgebra $U (g)$ , and the super-PBW basis $Sym (g_{\overset{ˉ}{0}}) \otimes Λ (g_{\overset{ˉ}{1}})$ proved here is where one writes it down. The supertrace replaces the trace in the invariant form, and the typical/atypical split of highest weights is detected precisely by the eigenvalues of the super-Casimir, generalising the Casimir-eigenvalue separation of irreducibles from the ordinary setting.
Representations of $sl_{2} C$ 07.06.11. The rank-one ladder reappears inside the even part. Every basic classical Lie superalgebra contains $sl_{2}$ -triples among its even roots, and the integrality of highest weights on the even module $g_{\overset{ˉ}{1}}$ is governed by the same $sl_{2}$ representation theory developed in the prerequisite. The spinor supercharges of the super-Poincaré algebra are a Lorentz- $sl_{2} \times sl_{2}$ module, so the odd part is organised by exactly the ladder bookkeeping of the prerequisite.

Historical & philosophical context Master

The systematic theory of Lie superalgebras was created by Victor Kac in his 1977 Advances in Mathematics monograph Lie superalgebras (volume 26, pages 8-96) ^{[Kac 1977]}, which gave the definition through the graded bracket and the super-Jacobi identity, proved the super-PBW theorem, and — in a single sweeping classification — listed every finite-dimensional simple Lie superalgebra over an algebraically closed field of characteristic zero. The achievement paralleled, in the graded world, what Killing and Cartan had done for ordinary simple Lie algebras half a century earlier, but it uncovered phenomena with no classical shadow: a continuous one-parameter family $D (2, 1; α)$ of simple superalgebras, the Cartan-type series of super-vector-fields on a Grassmann algebra, and the "strange" series whose invariant forms degenerate. Independently and almost simultaneously, Manfred Scheunert's 1979 Lecture Notes volume The Theory of Lie Superalgebras ^{[Scheunert 1979]} developed the foundations with careful attention to the sign (Koszul) conventions and the consistency of the grading, providing the reference treatment of the enveloping superalgebra.

The motivation came from physics, not from within algebra. In the early 1970s the search for symmetries mixing bosons and fermions — forbidden for ordinary Lie algebras by the Coleman-Mandula theorem — led Gel'fand-Likhtman, Volkov-Akulov, and decisively Wess and Zumino to fermionic charges $Q_{α}$ whose anticommutator produced a spacetime translation. Wess and Bagger's textbook Supersymmetry and Supergravity ^{[Wess-Bagger 1992]} codified the resulting super-Poincaré algebra, the physics instance whose abstract skeleton is exactly a Lie superalgebra. The Haag-Łopuszański-Sohnius theorem then showed that this graded extension is the unique evasion of the no-go theorem, so the algebraic structure Kac classified turned out to contain, as a single distinguished example, the symmetry algebra that organises supersymmetric field theory. The philosophical lesson is a recurring one in mathematical physics: a sign convention introduced to track fermionic statistics — the Koszul rule that a transposition of two odd symbols costs a minus sign — is not a mere bookkeeping device but the seed of an entire parallel structure theory, complete with its own classification, its own representation theory, and its own subtleties (the typical/atypical dichotomy) that the ungraded world never sees. The grading that physics demanded for spin-statistics became, in Kac's hands, a new chapter of pure algebra.

Bibliography Master

@article{Kac1977,
  author  = {Kac, Victor G.},
  title   = {Lie superalgebras},
  journal = {Advances in Mathematics},
  volume  = {26},
  number  = {1},
  year    = {1977},
  pages   = {8--96}
}

@book{Scheunert1979,
  author    = {Scheunert, Manfred},
  title     = {The Theory of {L}ie Superalgebras: An Introduction},
  publisher = {Springer},
  series    = {Lecture Notes in Mathematics},
  volume    = {716},
  year      = {1979}
}

@book{Musson2012,
  author    = {Musson, Ian M.},
  title     = {{L}ie Superalgebras and Enveloping Algebras},
  publisher = {American Mathematical Society},
  series    = {Graduate Studies in Mathematics},
  volume    = {131},
  year      = {2012}
}

@book{WessBagger1992,
  author    = {Wess, Julius and Bagger, Jonathan},
  title     = {Supersymmetry and Supergravity},
  publisher = {Princeton University Press},
  edition   = {2},
  year      = {1992}
}

@book{FrappatSciarrinoSorba2000,
  author    = {Frappat, Luc and Sciarrino, Antonino and Sorba, Paul},
  title     = {Dictionary on {L}ie Superalgebras},
  publisher = {Academic Press},
  year      = {2000}
}

@article{Kac1978Representations,
  author  = {Kac, Victor G.},
  title   = {Representations of classical {L}ie superalgebras},
  journal = {Lecture Notes in Mathematics},
  volume  = {676},
  year    = {1978},
  pages   = {597--626}
}

@book{ChengWang2012,
  author    = {Cheng, Shun-Jen and Wang, Weiqiang},
  title     = {Dualities and Representations of {L}ie Superalgebras},
  publisher = {American Mathematical Society},
  series    = {Graduate Studies in Mathematics},
  volume    = {144},
  year      = {2012}
}

Prerequisites

07.06.21
07.04.01
07.06.11

Tier anchors

beginner: Kac 1977 *Lie superalgebras* (Adv. Math. 26) §1 informal opening (the $\mathbb{Z}_2$-graded bracket as a single rule that becomes a commutator on even elements and an anticommutator on odd ones); Wess-Bagger *Supersymmetry and Supergravity* (Princeton) Ch. 1 physical motivation (fermionic charges that square to translations)
intermediate: Kac 1977 *Lie superalgebras* (Adv. Math. 26) §§1-2 (definition, the super-Jacobi identity, the enveloping superalgebra); Scheunert 1979 *The Theory of Lie Superalgebras* (LNM 716) Ch. 1-2; Musson *Lie Superalgebras and Enveloping Algebras* (GSM 131) Ch. 1-2 (super-PBW)
master: V. G. Kac 1977 *Lie superalgebras* (Advances in Mathematics 26, 8-96) §§1-5 (the full classification of finite-dimensional simple Lie superalgebras over $\mathbb{C}$); Scheunert 1979 *The Theory of Lie Superalgebras* (Springer LNM 716); Musson *Lie Superalgebras and Enveloping Algebras* (AMS GSM 131); Frappat-Sciarrino-Sorba *Dictionary on Lie Superalgebras* (Academic Press 2000); Wess-Bagger *Supersymmetry and Supergravity* (Princeton 1992) Ch. 1-2

References

Kac — Lie superalgebras · V. G. Kac, Advances in Mathematics 26 (1977) 8-96: §1 (the definition of a Lie superalgebra and the super-Jacobi identity), §2 (the universal enveloping superalgebra and the super-PBW theorem), §§2-5 (the classification of the finite-dimensional simple Lie superalgebras over an algebraically closed field of characteristic zero into the classical series $A(m,n)$, $B(m,n)$, $C(n)$, $D(m,n)$, the exceptional $D(2,1;\alpha)$, $F(4)$, $G(3)$, and the Cartan series $W(n)$, $S(n)$, $\widetilde{S}(n)$, $H(n)$)
Scheunert — The Theory of Lie Superalgebras · M. Scheunert, Springer Lecture Notes in Mathematics 716 (1979), Ch. 1 (graded algebras, the bracket, consistency of the grading), Ch. 2 (the enveloping superalgebra and the PBW theorem in the graded setting), the sign-rule (Koszul) conventions throughout
Musson — Lie Superalgebras and Enveloping Algebras · I. M. Musson, AMS Graduate Studies in Mathematics 131 (2012), Ch. 1 (Lie superalgebras, examples $\mathfrak{gl}(m|n)$, $\mathfrak{osp}(m|2n)$), Ch. 2 (the universal enveloping superalgebra $U(\mathfrak{g})$ and the super-PBW theorem giving the symmetric-times-exterior basis)
Wess-Bagger — Supersymmetry and Supergravity · J. Wess and J. Bagger, Princeton University Press, 2nd ed. (1992), Ch. 1 (the supersymmetry algebra as a $\mathbb{Z}_2$-graded extension of the Poincaré algebra), Ch. 2 (superfields); the physics origin of the odd generators $Q_\alpha$ whose anticommutator is $2\sigma^\mu_{\alpha\dot\beta} P_\mu$

Estimated time

beginner: 20m
intermediate: 50m
master: 90m