Killing spinor (${\mathcal{D}}_{\mu }ϵ=0$)

A Killing spinor is a nonzero supersymmetry parameter that makes the fermionic transformations vanish on a bosonic background. In undeformed minimal four-dimensional supergravity it is parallel, ${\nabla }_{\mu }ϵ=0$; in its cosmological deformation the equation uses ${\mathcal{D}}_{\mu }={\nabla }_{\mu }+(m/2){\gamma }_{\mu }$. Its commuting Dirac current is a Killing vector, since the spinor equation makes the symmetric covariant derivative of the current vanish. General supergravity theories also impose the vanishing of matter-fermion transformations.

For constant sectional curvature $-1/a^2$, spin curvature is $[{\nabla }_{\mu },{\nabla }_{\nu }]=-{\gamma }_{\mu \nu }/(2a^2)$. The added Clifford term in $\mathcal{D}$ has the opposite commutator, making $\mathcal{D}$ flat. On a simply connected region, parallel transport of any initial spinor is path independent and constructs solutions of $\mathcal{D}ϵ=0$. Thus Anti-de Sitter spacetime and its universal cover admit the associated Killing spinors locally and, with appropriate global spin data, globally.

A parallel commuting Dirac current is causal. If timelike, the geometry locally splits as a time line times a three-dimensional Ricci-flat metric; three-dimensional Ricci flatness implies flatness. If null, the stabilizer of a parallel spinor in $\mathrm{Spin}(1,3)$ contains only null rotations, and the local vacuum metric is $d{s}^2=-2dudv+d{x}^2+d{y}^2+H(u,x,y)d{u}^2$ with $H_{xx}+H_{yy}=0$. Constant spinors obeying ${\gamma }^{+}ϵ=0$ are parallel. These are local statements; global quotients must preserve a compatible spin structure.