Definition

Let (M,g)(M,g) carry a PSpinP_{\mathrm{Spin}}, and let Δ1,n1\Delta_{1,n-1} be a real or complex module for the relevant , restricted to Spin+(1,n1)\mathrm{Spin}^+(1,n-1). The associated Lorentzian spinor bundle is

S=PSpin×Spin+(1,n1)Δ1,n1.S=P_{\mathrm{Spin}}\times_{\mathrm{Spin}^+(1,n-1)}\Delta_{1,n-1}.

It is a with multiplication

c(v)c(w)+c(w)c(v)=2g(v,w)idS.c(v)c(w)+c(w)c(v)=-2g(v,w)\operatorname{id}_S.
Associated connection

The Lorentzian Levi–Civita connection lifts to PSpinP_{\mathrm{Spin}} and induces a covariant derivative S\nabla^S on SS. Clifford contraction gives the . Unlike the on a , this operator is not elliptic.

Representation choices

The rank and additional structures of SS depend on dimension, signature, scalar field, and the chosen spin representation. , , and conditions exist only in appropriate signatures and dimensions. The bundle forgets some signature-dependent real structure even though its Clifford action still remembers the Lorentzian metric.

Spinor pairing

In indefinite signature the natural invariant spinor pairing is generally not a positive-definite preserved in the same way as in Riemannian geometry. and conserved currents therefore require an explicitly chosen pairing and a time orientation; they should not be imported unchanged from the Riemannian L2L^2 theory.

References
  1. Helga Baum, Spin-Strukturen und Dirac-Operatoren über pseudoriemannschen Mannigfaltigkeiten, Teubner, 1981. Bibliographic record. Relevant: Chapters 2–3.
  2. Christian Bär, Nicolas Ginoux, and Frank Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization, European Mathematical Society, 2007. Publisher record. Relevant: §§1.3 and 3.4.