Killing Superalgebra Overview

• Killing superalgebra is a ℤ₂-graded Lie superalgebra that encodes Killing spinors, symmetry generators, and geometric flux through a bilinear squaring map.
• It employs filtered deformations and Spencer cohomology to classify supersymmetric backgrounds and reconstruct bosonic field equations in various supergravity models.
• Its adaptable structure across dimensions interlinks Killing spinors, Killing–Yano algebras, and hidden symmetries, providing a unifying framework for geometric analysis.

A Killing superalgebra is a $\mathbb{Z}_2$-graded Lie superalgebra that encodes the supersymmetries and bosonic symmetry content of (pseudo-)Riemannian or supergravity backgrounds admitting Killing spinors. These superalgebras provide a unifying algebraic framework for the study of (rigid or local) supersymmetric field theories, supergravity, and the geometry of manifolds with special holonomy or flux. Their structure is tightly controlled by cohomological data (Spencer cohomology of filtered $\mathbb{Z}$-graded superalgebras) and is ubiquitous in the global analysis of maximally and highly supersymmetric backgrounds across all physically relevant dimensions.

1. Definitions and Construction

Fundamentally, the Killing superalgebra arises as follows. Let $(M,g)$ be a pseudo-Riemannian (spin) manifold with spinor bundle $S\to M$ and a (possibly flux-deformed) connection $D=\nabla-\beta$, where $\nabla$ is the Levi–Civita connection and $\beta$ is a Clifford-algebra-valued 1-form encoding geometric flux or supergravity couplings. The odd part of the superalgebra consists of sections $\epsilon\in \Gamma(S)$ solving the generalized Killing spinor equation

$$D_X\epsilon = \nabla_X\epsilon - \beta(X)\epsilon = 0$$

for all $X\in \Gamma(TM)$.

A bilinear "squaring" map (the Dirac current)

$\mathbb{Z}$0

is chosen, equivariant under the holonomy of $\mathbb{Z}$1 and producing Killing vectors (or generalizations thereof). The even part is then given by vector fields on $\mathbb{Z}$2 preserving $\mathbb{Z}$3—i.e., infinitesimal isometries also preserving auxiliary bosonic data—possibly augmented by R-symmetry or internal gauge generators if present (Beckett, 2024, Beckett, 10 Nov 2025).

The defining brackets are:

• $\mathbb{Z}$4 for $\mathbb{Z}$5 even (Lie algebra of symmetries);
• $\mathbb{Z}$6 (the spinorial Lie derivative, specialization to $\mathbb{Z}$7 or a generalized version);
• $\mathbb{Z}$8 (the Dirac squaring, yielding Killing vectors or further higher-degree forms in appropriate contexts).

Generalizations may include a further skew-symmetric pairing of spinors taking values in R-symmetry (or gauge) algebras, relevant for extended supergravities, or in the context of Killing superalgebras for generalized spin structures (Beckett, 10 Nov 2025).

2. Filtered Deformations and Spencer Cohomology

Killing superalgebras are not, in general, just subalgebras of the flat-space (Poincaré) superalgebra but are filtered deformations of $\mathbb{Z}$9-graded subalgebras thereof (Figueroa-O'Farrill et al., 2016, Beckett, 2024, Beckett, 10 Nov 2025). Denoting by

$(M,g)$0

the flat model (with $(M,g)$1 and $(M,g)$2 a spin module), one defines a negative grading:

• $(M,g)$3, $(M,g)$4, $(M,g)$5.

A filtered deformation is a Lie superalgebra $(M,g)$6 with a filtration $(M,g)$7 such that the associated graded algebra is a subalgebra of $(M,g)$8. The possible deformations are classified by the Spencer cohomology group $(M,g)$9 of the negative part $S\to M$0 of the associated graded algebra $S\to M$1 with coefficients in $S\to M$2. The main nontrivial ingredient is the degree-(2,2) Spencer cocycle, dictating higher order corrections to the Lie brackets (Beckett, 2024, Figueroa-O'Farrill et al., 2016).

Concretely, the cocycle data encode the geometric content of all compatible couplings (fluxes, auxiliary fields, R-symmetry, etc) through the transformation properties of the connection $S\to M$3 and the Dirac current $S\to M$4.

Filtered deformations naturally yield Killing superalgebras for maximally and highly supersymmetric backgrounds (i.e., those with more than half the maximal number of Killing spinors). In these cases, background fields are fixed by the Jacobi identity of the superalgebra—supersymmetry is so strong that the purely algebraic closure conditions reconstruct the field equations for the bosonic backgrounds (e.g., Einstein-Maxwell or supergravity field equations) (Figueroa-O'Farrill et al., 2016).

3. Explicit Examples and Dimensional Hierarchy

The structure and realization of Killing superalgebras depend on dimension, background type, and geometric or supergravity context:

• 2D and Chiral Theories: Killing superalgebras are classified by filtered deformations of the (Poincaré-type) flat model, with solutions parametrized by real numbers and corresponding to the isometry superalgebras of constant-curvature spaces ($S\to M$5) (Beckett, 2024).
• 4D, 5D, 6D Lorentzian Superalgebras: For N=1 supersymmetry, Killing superalgebras are associated with minimal Poincaré blocks (Medeiros et al., 2016, Beckett et al., 2021, Medeiros et al., 2018). In 5D and 6D, extra bosonic fields (e.g., $S\to M$6-valued 1-forms, self-dual 3-forms) appear in the Spencer cohomology, providing the algebraic content for the corresponding "on-shell" or "off-shell" supergravity backgrounds.
• AdS and Warped Geometries: The Killing superalgebras of higher-dimensional AdS backgrounds are uniformly captured by constructions involving Killing spinors and the associated Dirac currents. For example, in AdS$S\to M$7, the isometry superalgebra is always $S\to M$8 (minimal case), and similar uniformity is found in AdS$S\to M$9, AdS$D=\nabla-\beta$0, and AdS$D=\nabla-\beta$1 (Beck et al., 2017).
• 11D Supergravity: The Killing superalgebra encodes all background flux and bosonic field equations via algebraic closure; the cohomology class determines, and is determined by, the underlying $D=\nabla-\beta$2-field (Figueroa-O'Farrill et al., 2016).

A distinctive feature in all maximally supersymmetric cases is that the classification of backgrounds up to local isometry reduces to the classification of filtered subdeformations (equivalently, Spencer cohomology classes) of the flat (extended) Poincaré superalgebra.

4. Relation to Killing-Yano Superalgebras and Hidden Symmetries

A related but distinct construction is the Killing–Yano (KY) superalgebra (Ertem, 2017, Açık et al., 2016, Ertem, 2017): the $D=\nabla-\beta$3-graded algebra of higher degree forms generalizing ordinary Killing vectors, defined by solutions to the KY equation

$D=\nabla-\beta$4

for a $D=\nabla-\beta$5-form $D=\nabla-\beta$6. On constant-curvature manifolds, the space $D=\nabla-\beta$7 with the Schouten–Nijenhuis bracket closes to a rigid Lie superalgebra, with even part given by odd-degree KY forms and odd part by even-degree forms. The rigidity (triviality of 2nd Spencer cohomology) of the KY superalgebra in these cases shows that the full algebra of hidden symmetries is a strong geometric invariant. Conformal Killing–Yano superalgebras, realized via a further modified bracket, provide another canonical class of such rigid symmetry algebras (Ertem, 2017).

In applications, the squaring map of Killing spinors yields KY forms, so the Killing superalgebra and the KY superalgebra are tightly interlinked.

5. Generalizations: Extended Symmetry Content

For backgrounds with enhanced R-symmetry, internal gauge groups, or supermanifold geometry, Killing superalgebras are defined on the full symmetry algebra—including gauge and R-symmetry generators and spinors charged under these actions (Beckett, 10 Nov 2025, Klinker, 2020). Here, the odd-odd bracket of the superalgebra produces both geometric (Killing vector) and algebraic (gauge, R-symmetry) contributions: $D=\nabla-\beta$8 where $D=\nabla-\beta$9 is an $\nabla$0-valued pairing. The admissibility conditions (closure, preservation of background fields, algebraic constraints) are strengthened, but the overall construction remains governed by filtered deformations and controlled by generalized Spencer cohomologies.

In supermanifold terms, the Killing superalgebra forms an ideal in the even-odd vector field algebra of a Batchelor supermanifold, and is central to the structure of "supersymmetric Killing structures" (Klinker, 2020).

6. Algebraic and Geometric Classification

For highly supersymmetric (i.e., maximal or near-maximal) backgrounds in Lorentzian signature, the Homogeneity Theorem ensures that the Dirac current map $\nabla$1 is surjective onto the tangent bundle, and any such Killing superalgebra arises from an integrable Lie pair $\nabla$2, with $\nabla$3 and $\nabla$4 capturing the algebraic structure of the connection and the Dirac current (Beckett, 2024, Beckett, 10 Nov 2025).

A geometric reconstruction theorem shows that every (suitably) filtered deformation corresponds to a unique homogeneous geometry on which the Killing superalgebra is realized as symmetries preserving the spinor connection and relevant flux data.

For all the backgrounds of interest—maximally supersymmetric supergravity vacua, rigidly supersymmetric field theories on curved backgrounds, and their twistor/Killing-Yano generalizations—the Killing superalgebra thus provides a precise algebraic invariant, directly encoding the allowed geometry and underlying field-theoretic data.

7. Summary Table: Typical Structures Across Dimensions

Dimension	Odd generators	Even generators	Deformation/Extension	Typical Superalgebra
2	Pinors $\nabla$5, $\nabla$6	Killing vectors (filtered)	Filtered deformations parametrized by $\nabla$7	Isometry+, deformations $\nabla$8
4	Killing spinors $\nabla$9	$\beta$0-Killing vectors	Scalar/vector-valued connections ($\beta$1, $\beta$2, $\beta$3)	Poincaré/AdS/Group-manifold types
5	Killing spinors $\beta$4	$\beta$5-Killing vectors, $\beta$6	2-form, $\beta$7-valued 1-form	OSP(1
6	$\beta$8 ($\beta$9 quaternionic)	$\epsilon\in \Gamma(S)$0, $\epsilon\in \Gamma(S)$1 still possible	3-form $\epsilon\in \Gamma(S)$2, $\epsilon\in \Gamma(S)$3-valued 1-form $\epsilon\in \Gamma(S)$4	OSP, group, extended superalgebras
$\epsilon\in \Gamma(S)$5	Killing spinors	Killing vectors, possible gauge/R-symmetry	Encoded in Spencer $\epsilon\in \Gamma(S)$6	Filtered subdeformation of Poincaré

The rigidity, algebraic classification, and reconstruction theorems for Killing superalgebras establish their centrality in geometric analysis and the structure theory of supersymmetric field theories and supergravity, serving as both geometric invariants and as organizing principles for the possible spaces of solutions and the structure of physical models (Beckett, 2024, Beckett, 10 Nov 2025, Figueroa-O'Farrill et al., 2016, Ertem, 2017).