Definition

Let Δ\Delta be a complex for Spin(p,q)\operatorname{Spin}(p,q). A real structure on Δ\Delta is an antilinear Spin(p,q)\operatorname{Spin}(p,q)-equivariant map

J:ΔΔwithJ2=idΔ.J:\Delta\longrightarrow\Delta \qquad\text{with}\qquad J^2=\operatorname{id}_\Delta.

Relative to such a structure, a Majorana spinor is a spinor ψΔ\psi\in\Delta satisfying

Jψ=ψ.J\psi=\psi.

Equivalently, it is an element of the real form ΔJΔ\Delta^J\subset\Delta.

The existence and type of an equivariant antilinear structure depend on the dimension, signature, and Clifford sign convention. An antilinear equivariant map with J2=1J^2=-1 is a quaternionic structure, not a Majorana real structure in the sense above.

The Majorana condition is invariantly a reality condition on the representation. It is not the basis-dependent assertion that the coordinates of a spinor, or all of its , are real.

References
  1. Pierre Deligne, “Notes on spinors,” in Quantum Fields and Strings: A Course for Mathematicians, Volume 1, American Mathematical Society, 1999, pp. 99–135.
  2. Daniel S. Freed, Five Lectures on Supersymmetry, American Mathematical Society, 1999. Relevant: Lectures 1–2.