Skip to content

Majorana Fields and Reality Conditions

A Majorana condition exists when the complex spinor representation admits a Lorentz-equivariant antilinear involution JJ with J2=1J^2=1. Its fixed points form a real spinor representation. In four-dimensional Lorentzian spacetime such a structure exists on the Dirac module, but it exchanges the two Weyl modules. Reality and chirality are therefore different restrictions: no nonzero four-dimensional spinor is simultaneously Majorana and Weyl, even though one complex Weyl field supplies exactly the independent data needed to construct a Majorana field.

This page makes that statement concrete for a free four-dimensional field. It distinguishes the charge-conjugation matrix, the antilinear reality map, the bilinear used in the action, and a possible symmetry of a full theory; derives the factor one-half in the action and the one-family mode expansion; and then states the dimension- and signature-dependent test. Neutrino phenomenology and supersymmetric multiplets remain outside the scope.

Required background. Weyl Fields and Chirality supplies the chiral projectors, the two-component free action, the qualified chirality–helicity comparison, and the particle/antiparticle content of a complex Weyl field.

Helpful background. Spinors, Conjugations, Bilinears, Chirality, and Fierz Identities supplies the reusable distinction among charge-conjugation, hermitizing, and bilinear intertwiners, together with the full dimension/signature workflow.

Charge conjugation defines an antilinear real structure

Section titled “Charge conjugation defines an antilinear real structure”

Work first with the proper orthochronous Lorentz group in four-dimensional Minkowski spacetime. We inherit the metric, orientation, Clifford algebra, Dirac adjoint, and γ5\gamma_5 from the chapter’s shared declarations. In the preferred basis the hermitizing matrix is A=γ0A=\gamma^0 and ψ=ψA\overline\psi=\psi^\dagger A.

Choose a linear charge-conjugation intertwiner C:SS\mathcal C:S^*\to S with the four-dimensional normalization

C1γμC=(γμ)T,CT=C.\mathcal C^{-1}\gamma^\mu\mathcal C = -(\gamma^\mu)^{\mathsf T}, \qquad \mathcal C^{\mathsf T}=-\mathcal C.

The associated charge-conjugate spinor is

ψc=CψT=Bψ,B=CAT.\psi^c = \mathcal C\overline\psi^{\,\mathsf T} = B\psi^*, \qquad B=\mathcal C A^{\mathsf T}.

These formulas relate three objects that should not be conflated:

  • C\mathcal C is a linear map from the transpose or dual representation;
  • BB is the matrix part of an antilinear map on spinors;
  • J=BKJ=BK, where KK is componentwise conjugation in the chosen basis, is the basis-independent antilinear operation.

The Clifford relation implies

B1γμB=(γμ),B^{-1}\gamma^\mu B = -(\gamma^\mu)^*,

and hence, for the proper spin representation,

BS(Λ)B1=S(Λ),JS(Λ)=S(Λ)J.B S(\Lambda)^*B^{-1}=S(\Lambda), \qquad J S(\Lambda)=S(\Lambda)J.

Thus JJ maps a spinor to another spinor with the same Lorentz transformation law. Its square is

J2=BKBK=BB.J^2 = BKBK = BB^*.

In four-dimensional (1,3)(1,3) signature the overall normalization of BB can be chosen so that

BB=1.BB^*=\mathbf1.

Then JJ is an involution, and the Majorana condition is the fixed-point condition

JΨM=ΨMΨMc=ΨM.J\Psi_M=\Psi_M \qquad\Longleftrightarrow\qquad \Psi_M^c=\Psi_M.

The existence of a matrix satisfying a transposed Clifford identity is not, by itself, enough: the square J2J^2 decides whether a nonzero ordinary fixed subspace exists. Nor does this kinematic spinor map prove that charge conjugation is a symmetry of an interacting Lagrangian.

The free equation is compatible with the condition. For real mm, let D=iγμμmD=i\gamma^\mu\partial_\mu-m. Then

Dψc=B(Dψ).D\psi^c = B(D\psi)^*.

Therefore Dψ=0D\psi=0 implies Dψc=0D\psi^c=0, so restricting the free solution space to JJ-fixed spinors is dynamically consistent. The four-dimensional construction, action, and charge-conjugation identities are developed in Srednicki 2007, § 36, pp. 226–232. Srednicki uses gS=(,+,+,+)g_{\mathrm S}=(-,+,+,+) together with {γμ,γν}=2gSμν\{\gamma^\mu,\gamma^\nu\}=-2g_{\mathrm S}^{\mu\nu}; since ηsite=gS\eta_{\text{site}}=-g_{\mathrm S}, the complex Clifford algebra agrees. His pxS=pxsitep\cdot x_{\mathrm S}=-p\cdot x_{\text{site}}, so his positive-frequency e+ipxSe^{+ip\cdot x_{\mathrm S}} is the site’s eipxsitee^{-ip\cdot x_{\text{site}}}; his displayed first-order equation differs from the site equation only by an overall minus sign.

The definition is also covariant under a change of gamma basis. If

γμ=UγμU1,ψ=Uψ,\gamma'^\mu=U\gamma^\mu U^{-1}, \qquad \psi'=U\psi,

then the relevant matrices transform as

A=(U)1AU1,C=UCUT,B=UB(U)1,BB=U(BB)U1.\begin{aligned} A' &= (U^\dagger)^{-1}AU^{-1}, & \mathcal C' &= U\mathcal C U^{\mathsf T}, \\ B' &= UB(U^*)^{-1}, & B'B'^* &= U(BB^*)U^{-1}. \end{aligned}

Consequently (ψ)c=Uψc(\psi')^c=U\psi^c and the fixed-point condition survives. Saying that a spinor has “real components” can be true in a specially chosen Majorana basis; it is a realization of this invariant condition, not its definition.

Four-dimensional reality exchanges chirality

Section titled “Four-dimensional reality exchanges chirality”

An explicit chiral basis checks every sign. Use the local matrices already introduced on the Weyl page,

γμ=(0σμσμ0),γ5=(1200+12),\gamma^\mu = \begin{pmatrix} 0&\sigma^\mu\\ \overline\sigma^\mu&0 \end{pmatrix}, \qquad \gamma_5 = \begin{pmatrix} -\mathbf1_2&0\\ 0&+\mathbf1_2 \end{pmatrix},

with σμ=(12,σ)\sigma^\mu=(\mathbf1_2,\boldsymbol\sigma) and σμ=(12,σ)\overline\sigma^\mu=(\mathbf1_2,-\boldsymbol\sigma). One consistent phase choice is

C0=iγ2γ0=(iσ200iσ2),\mathcal C_0 = i\gamma^2\gamma^0 = \begin{pmatrix} i\sigma^2&0\\ 0&-i\sigma^2 \end{pmatrix},

and therefore

B0=C0(γ0)T=iγ2=(0iσ2iσ20).B_0 = \mathcal C_0(\gamma^0)^{\mathsf T} = i\gamma^2 = \begin{pmatrix} 0&i\sigma^2\\ -i\sigma^2&0 \end{pmatrix}.

Direct multiplication gives

C0T=C0,C02=14,C01=C0,B0=B0,B02=B0B0=14,B01γ5B0=γ5.\begin{gathered} \mathcal C_0^{\mathsf T}=-\mathcal C_0, \qquad \mathcal C_0^2=-\mathbf1_4, \qquad \mathcal C_0^{-1}=-\mathcal C_0, \\ B_0^*=B_0, \qquad B_0^2=B_0B_0^*=\mathbf1_4, \qquad B_0^{-1}\gamma_5B_0=-\gamma_5^*. \end{gathered}

Multiplying C0\mathcal C_0 and B0B_0 by a common phase changes component formulas but not BBBB^*. The extra normalization C02=1\mathcal C_0^2=-1 reduces that phase freedom to a sign. No physical conclusion below depends on which sign is chosen.

Charge conjugation reverses chirality. The adjoint projector reversal from the Weyl page gives

(PLψ)c=C(ψPR)T=PRψc,(PRψ)c=PLψc.\begin{aligned} (P_L\psi)^c &= \mathcal C(\overline\psi P_R)^{\mathsf T} = P_R\psi^c, \\ (P_R\psi)^c &= P_L\psi^c. \end{aligned}

A left-handed two-component spinor χ\chi therefore builds the Majorana spinor

ΨM=ψL+ψLc=(χiσ2χ)\Psi_M = \psi_L+\psi_L^c = \begin{pmatrix} \chi\\ -i\sigma^2\chi^* \end{pmatrix}

in the displayed phase convention. It satisfies ΨMc=ΨM\Psi_M^c=\Psi_M but has both left- and right-handed components. Reversing the phase of C0\mathcal C_0 reverses the lower sign and leaves the invariant statement unchanged.

This also proves the four-dimensional incompatibility. If a spinor were both left-handed and Majorana, then

ψ=PLψ=PLψc=(PRψ)c=0.\psi = P_L\psi = P_L\psi^c = (P_R\psi)^c = 0.

Thus there is no nonzero Majorana–Weyl spinor in four-dimensional Lorentzian signature. The equality of independent component counts between a complex Weyl field and a Majorana field does not turn the antilinear condition into a chiral projection.

The invariant bilinear used in the action is another map. Define

Cβ=(C1)T,β(ψ,χ)=ψTCβχ.C_\beta = (\mathcal C^{-1})^{\mathsf T}, \qquad \beta(\psi,\chi) = \psi^{\mathsf T}C_\beta\chi.

It transforms as Cβ=UTCβU1C_\beta'=U^{-\mathsf T}C_\beta U^{-1}, unlike C\mathcal C'. In the chosen normalization CβC_\beta and C0\mathcal C_0 happen to have the same numerical entries. For a Majorana spinor,

ΨM=ΨMTCβ.\overline{\Psi_M} = \Psi_M^{\mathsf T}C_\beta.

Let ΨM\Psi_M be Grassmann odd. The free action is

SM=12d4xΨMTCβ(iγμμm)ΨM.S_M = \frac12 \int\mathrm d^4x\, \Psi_M^{\mathsf T}C_\beta \left( i\gamma^\mu\partial_\mu-m \right) \Psi_M.

Equivalently, it is

SM=12d4xΨM(iγμμm)ΨM.S_M = \frac12 \int\mathrm d^4x\, \overline{\Psi_M} \left( i\gamma^\mu\partial_\mu-m \right) \Psi_M.

In four dimensions,

CβT=Cβ,(Cβγμ)T=Cβγμ.C_\beta^{\mathsf T}=-C_\beta, \qquad (C_\beta\gamma^\mu)^{\mathsf T} = C_\beta\gamma^\mu.

For odd columns a,ba,b, aTMb=bTMTaa^{\mathsf T}Mb=-b^{\mathsf T}M^{\mathsf T}a. Varying the action, integrating the second kinetic variation by parts, and using these transpose symmetries makes its two bulk contributions equal. With compactly supported variations, or boundary conditions that kill the flux term,

δSMbulk=d4xδΨMTCβ(iγμμm)ΨM.\delta S_M \big|_{\mathrm{bulk}} = \int\mathrm d^4x\, \delta\Psi_M^{\mathsf T}C_\beta \left( i\gamma^\mu\partial_\mu-m \right) \Psi_M.

The outer factor 1/21/2 cancels the duplicate variation, leaving the ordinary Dirac equation

(iγμμm)ΨM=0.\left( i\gamma^\mu\partial_\mu-m \right) \Psi_M=0.

The constrained four-component variation and its two-component origin are given in Srednicki 2007, § 37, pp. 237–238, eqs. (37.16)–(37.23).

The factor prevents double counting a constrained field. It does not halve the equation of motion, the excitation energy, or the usual TΨMΨM\langle\mathcal T\Psi_M\overline\Psi_M\rangle propagator.

Fix an antisymmetric two-spinor tensor by

ϵ12=ϵ12=1,χα=ϵαβχβ,χξ=χαξα.\epsilon^{12}=-\epsilon_{12}=1, \qquad \chi^\alpha=\epsilon^{\alpha\beta}\chi_\beta, \qquad \chi\xi=\chi^\alpha\xi_\alpha.

For Grassmann-odd fields the antisymmetric spinor contraction is symmetric in field labels:

χiχj=χjχi.\chi_i\chi_j=\chi_j\chi_i.

It is therefore not zero when i=ji=j. A single left-handed field has the Majorana form

LM=iχσμμχ12[mχχ+m(χχ)].\mathcal L_M = i\chi^\dagger\overline\sigma^\mu\partial_\mu\chi - \frac12 \left[ m\chi\chi + m^*(\chi\chi)^\dagger \right].

Two independent left-handed fields χ\chi and ξ\xi instead give the Dirac pairing

LD=iχσμμχ+iξσμμξ[mχξ+m(χξ)].\begin{aligned} \mathcal L_D &= i\chi^\dagger\overline\sigma^\mu\partial_\mu\chi + i\xi^\dagger\overline\sigma^\mu\partial_\mu\xi \\ &\quad - \left[ m\chi\xi + m^*(\chi\xi)^\dagger \right]. \end{aligned}

The Dirac mass is invariant under χeiαχ\chi\mapsto e^{-i\alpha}\chi and ξe+iαξ\xi\mapsto e^{+i\alpha}\xi. The self-pairing transforms with twice the phase and, for m0m\ne0, preserves only the sign χχ\chi\mapsto-\chi from that ordinary phase action. For several fields the Majorana mass matrix is symmetric because only the symmetric part multiplying χiχj\chi_i\chi_j survives.

The same algebra carries internal representation data. A self-pairing mass requires an invariant tensor with the required symmetry; a field in a generic complex representation cannot acquire it by notation alone. This does not mean every Majorana field is a gauge singlet: real nonabelian representations can admit the necessary pairing. Gauge assignments and neutrino mass models belong downstream. Two-component mass terms and their four-component completions are treated in Schwartz 2014, § 10.6.1 and §§ 11.3–11.4, pp. 178–179 and 192–195.

One operator family supplies both frequency sectors

Section titled “One operator family supplies both frequency sectors”

The physical free field makes the reality identification visible. Use the Minkowski Fock representation of the canonical page. Hatted fields and momentum-labelled operators are operator-valued distributions, so the formulas below are interpreted after wave-packet smearing. Let Ω|\Omega\rangle be the vacuum with ar(p)Ω=0a_r(\mathbf p)|\Omega\rangle=0 in that distributional sense, and use the dense finite-particle wave-packet domain for quadratic operators.

Choose compatible phases for the spinors so that

vr(p)=ur(p)c,r=1,2,v_r(p)=u_r(p)^c, \qquad r=1,2,

and define

dΠp=d3p(2π)32Ep,Ep=p2+m2.d\Pi_p = \frac{\mathrm d^3\mathbf p} {(2\pi)^3\,2E_{\mathbf p}}, \qquad E_{\mathbf p}=\sqrt{\mathbf p^2+m^2}.

Then

Ψ^M(x)=r=12dΠp[ar(p)ur(p)eipx+ar(p)vr(p)e+ipx].\widehat\Psi_M(x) = \sum_{r=1}^{2} \int d\Pi_p \left[ a_r(\mathbf p)u_r(p)e^{-ip\cdot x} + a_r^\dagger(\mathbf p)v_r(p)e^{+ip\cdot x} \right].

Charge conjugation interchanges the two displayed terms, so the expansion obeys Ψ^Mc=Ψ^M\widehat\Psi_M^c=\widehat\Psi_M. In a different spin basis, the relation between ucu^c and vv can contain a unitary matrix and phases; the one-family statement is invariant even when the simple label-by-label formula changes.

The nonzero mode anticommutator is

{ar(p),as(q)}=(2π)32Epδrsδ(3)(pq).\{a_r(\mathbf p),a_s^\dagger(\mathbf q)\} = (2\pi)^3\,2E_{\mathbf p}\, \delta_{rs}\delta^{(3)}(\mathbf p-\mathbf q).

After vacuum-relative reordering, the free energy on the stated domain is

H^vac-rel=r=12dΠpEpar(p)ar(p).\widehat H_{\mathrm{vac\text{-}rel}} = \sum_{r=1}^{2} \int d\Pi_p\, E_{\mathbf p} a_r^\dagger(\mathbf p)a_r(\mathbf p).

The negative-frequency term has not been deleted. Reality identifies its creation operator with the adjoint of the positive-frequency annihilation operator. Equivalently, in a compatible Dirac spin basis the independent particle and antiparticle families are identified. A Majorana field therefore has two spin modes of one self-conjugate particle species, rather than two particle plus two antiparticle modes.

This identification removes the ordinary additive vector charge. It does not remove fermion parity. At m=0m=0, the phase of the equivalent Weyl field appears as a chiral rotation of the four-component Majorana field, not as an independent particle-minus-antiparticle charge. The Majorana mode identification, CAR, Hamiltonian, and absence of the ordinary charge are derived in Srednicki 2007, § 39, pp. 250–251. The full constrained canonical construction and positivity proof remain on Canonical Quantization of the Free Dirac Field.

Self-conjugacy does not make every bilinear vanish. At the level of Grassmann-valued classical fields, the relevant four-dimensional transpose symmetries are

Cβ,Cβγ5,Cβγμγ5antisymmetric,Cβγμ,Cβσμνsymmetric,\begin{aligned} C_\beta, \quad C_\beta\gamma_5, \quad C_\beta\gamma^\mu\gamma_5 &\quad\text{antisymmetric}, \\ C_\beta\gamma^\mu, \quad C_\beta\sigma^{\mu\nu} &\quad\text{symmetric}, \end{aligned}

where σμν=i2[γμ,γν]\sigma^{\mu\nu}=\tfrac{i}{2}[\gamma^\mu,\gamma^\nu]. Grassmann exchange therefore allows

ΨMΨM,ΨMγ5ΨM,ΨMγμγ5ΨM\overline\Psi_M\Psi_M, \qquad \overline\Psi_M\gamma_5\Psi_M, \qquad \overline\Psi_M\gamma^\mu\gamma_5\Psi_M

to be nonzero, while it forces

ΨMγμΨM=0,ΨMσμνΨM=0\overline\Psi_M\gamma^\mu\Psi_M=0, \qquad \overline\Psi_M\sigma^{\mu\nu}\Psi_M=0

for one identical field. In particular, the scalar mass does not vanish: the antisymmetry of CβC_\beta combines with the anticommutation of the field components.

These statements are exchange identities for Grassmann or operator fields. They must not be applied unchanged to commuting numerical plane-wave spinors. At the quantum level, coincident composite operators also require a regulator and an operator definition. The Majorana construction and four-dimensional bilinear exchange rules are checked independently in Weinberg 2000, Ch. 26 appendix, pp. 107–108, eqs. (26.A.1)–(26.A.8). Weinberg uses (,+,+,+)(-,+,+,+) with {Γμ,Γν}=2ηWμν\{\Gamma^\mu,\Gamma^\nu\}=2\eta_{\mathrm W}^{\mu\nu}; the complex map γsiteμ=iΓWμ\gamma_{\text{site}}^\mu=i\Gamma_{\mathrm W}^\mu matches the site Clifford sign, while every displayed bilinear symmetry above was verified directly in the site normalization.

Dirac, Weyl, and Majorana reduce data differently

Section titled “Dirac, Weyl, and Majorana reduce data differently”

The comparison must say what is being counted. “Off shell” below counts independent real component functions before the equation of motion. “Modes” counts independent one-particle creation modes at fixed nonzero momentum in the free Fock representation.

In the comparison below, inspect the different operations: Weyl projection discards one chirality, whereas Majorana identification reconstructs it antilinearly; the shared real-component count does not make the theories identical.

A Dirac field has independent left and right chiral sectors; a Weyl projection keeps one complex sector, while a Majorana condition identifies the opposite sector with its charge conjugate. Both reductions leave four real off-shell components, but their masses, charges, and particle modes differ.

Schematic comparison for free fields in four-dimensional Lorentzian signature. A Dirac field has independent SLS_L and SRS_R data. A Weyl description makes a complex-linear chiral selection, whereas a Majorana condition imposes the antilinear identification SR=JSLS_R=J S_L. The drawing is not a dimension-independent equivalence chart, and an internal invariant pairing is still required for a self-mass.

Free spinor data in four-dimensional Lorentzian signature
Description Defining data Real components off shell Creation modes at fixed momentum Mass and ordinary phase
Dirac Independent left and right sectors 8 Two particle spins plus two antiparticle spins A Dirac mass pairs the sectors and can preserve an additive U(1)
Complex Weyl One complex chiral sector 4 One particle helicity plus the opposite antiparticle helicity when massless The massless phase is allowed; a two-component self-pairing needs compatible internal data, breaks that ordinary phase to the sign, and gives a Majorana completion
Majorana Right sector fixed as the charge conjugate of the left 4 Two spin or helicity modes of one self-conjugate species A factor-one-half self-mass is allowed when an invariant pairing exists; no ordinary additive U(1)

The equal number four in the last two rows has different meaning. A Weyl condition is complex linear and discards one chiral module. A Majorana condition is antilinear and relates the two modules. In the massless theory the same independent data can be packaged either as one complex Weyl field or as a self-conjugate four-component field, but the four-component field is not itself chiral.

Dimension and signature decide which reality condition exists

Section titled “Dimension and signature decide which reality condition exists”

The four-dimensional result is not universal. For a complex spin module in a chosen real form, first find a Spin-equivariant antilinear map JJ. Two tests then control the ordinary names:

J2=εR1,JΓ=εχΓJ,εR,εχ{+1,1}.J^2=\varepsilon_R\mathbf1, \qquad J\Gamma_* = \varepsilon_\chi\Gamma_*J, \qquad \varepsilon_R,\varepsilon_\chi\in\{+1,-1\}.
  • If εR=+1\varepsilon_R=+1, JJ has a real fixed subspace and an ordinary Majorana condition is possible.
  • If εR=1\varepsilon_R=-1, no nonzero spinor satisfies Jψ=ψJ\psi=\psi. A symplectic Majorana condition can become possible only after adding an internal doublet with another quaternionic structure.
  • In even dimension, εχ=+1\varepsilon_\chi=+1 means reality preserves each chiral module, so Majorana–Weyl can be possible.
  • If εχ=1\varepsilon_\chi=-1, reality exchanges the two chiralities, as it does in four-dimensional Lorentzian signature.

Selected examples illustrate the test without replacing the full periodic classification:

Quadratic spaceReality testConsequence
Lorentzian (1,3)(1,3)J2=+1J^2=+1 and JJ exchanges the Weyl modulesMajorana exists; nonzero Majorana–Weyl does not
Euclidean (4,0)(4,0)Each Weyl module is quaternionicNo ordinary single-spinor Majorana condition; symplectic reality requires doubling
Lorentzian (1,9)(1,9)A real structure can preserve chiralityMajorana–Weyl spinors can exist

Here (p,q)(p,q) counts positive and negative directions, so the site uses r=pq(mod8)r=p-q\pmod8. The arbitrary-signature classification used here is inherited from Spinors, Conjugations, Bilinears, Chirality, and Fierz Identities, whose exact structural authorities are Deligne 1999, Table 1.4.1, printed p. 103, PDF and Van Proeyen 1999/2016, §§ 3.2–3.3 and Tables 1–2. Van Proeyen writes diag(t,+s)\operatorname{diag}(-^t,+^s) and organizes the table by sts-t; for the site convention p=tp=t, q=sq=s, and therefore pq=(st)p-q=-(s-t). His left/right words must also be translated by chirality eigenvalue rather than copied.

An independent Lorentzian check is supplied by Weinberg 2000, Ch. 32 appendix, pp. 403–406. That source treats one-time Lorentzian signature, so it supports the Lorentzian examples but not the Euclidean row by itself.

Finally, a real structure for the Spin representation is not automatically a module structure for the full real Clifford algebra. In four-dimensional (1,3)(1,3) signature the Majorana fixed subspace is preserved by the proper spin group even though individual gamma matrices need not preserve that real subspace. This distinction prevents an apparent contradiction between Spin-module and real-Clifford tables.

Defining Majorana spinors by real components. Componentwise conjugation is basis dependent. The invariant definition is a Lorentz-equivariant antilinear involution and its fixed subspace; a Majorana basis merely turns that involution into ordinary component conjugation.

Treating C\mathcal C, BB, JJ, and CβC_\beta as one matrix. They are related but have different source and target spaces, linearity, and basis-transformation laws. They can share numerical entries only after additional convention choices.

Calling a four-dimensional Majorana field Weyl. One complex Weyl spinor constructs a Majorana field, but charge conjugation supplies the opposite chirality. The resulting four-component field is self-conjugate, not chiral.

Deleting the negative-frequency term. Self-conjugacy identifies the two operator families; it does not remove the creation term. A local Majorana field still has both frequency sectors and two physical spin or helicity modes.

Saying that a Majorana field has no continuous symmetry in every limit. It has no ordinary additive vector phase. At zero mass, the equivalent Weyl phase is represented as a chiral rotation, while a nonzero self-mass breaks that rotation.

Equating self-conjugacy with complete gauge neutrality. A nonzero ordinary abelian charge is incompatible with one self-conjugate field, but a real nonabelian representation can support Majorana fields. The invariant internal pairing must be checked.

Claiming that the scalar mass vanishes. The scalar bilinear uses an antisymmetric spinor matrix and Grassmann-odd components. The two minus signs make the bilinear nonzero rather than zero.

Wick rotating the Lorentzian condition unchanged. Changing signature changes the real form and can change J2J^2. Recompute the intertwiner instead of carrying “real components” through an analytic continuation.

Check 1: square the charge-conjugation map

Section titled “Check 1: square the charge-conjugation map”

Starting from ψc=Bψ\psi^c=B\psi^*, compute (ψc)c(\psi^c)^c and state the condition for an ordinary Majorana fixed subspace.

Solution

Antilinearity conjugates the first matrix:

(ψc)c=B(Bψ)=BBψ.(\psi^c)^c = B(B\psi^*)^* = BB^*\psi.

Thus the map is an involution precisely when BB=1BB^*=\mathbf1. If instead BB=1BB^*=-\mathbf1, the equation ψc=ψ\psi^c=\psi would imply ψ=(ψc)c=ψ\psi=(\psi^c)^c=-\psi, so the only ordinary fixed spinor is zero.

Check 2: exclude a four-dimensional Majorana–Weyl spinor

Section titled “Check 2: exclude a four-dimensional Majorana–Weyl spinor”

Assume PLψ=ψP_L\psi=\psi, PRψ=0P_R\psi=0, and ψc=ψ\psi^c=\psi. Use chirality exchange to determine ψ\psi.

Solution

Because (PRψ)c=PLψc(P_R\psi)^c=P_L\psi^c,

0=(PRψ)c=PLψc=PLψ=ψ.0 = (P_R\psi)^c = P_L\psi^c = P_L\psi = \psi.

The contradiction is specific to a reality map that exchanges chirality. When a different dimension and signature give JΓ=+ΓJJ\Gamma_*=+\Gamma_*J, the same argument does not apply.

Check 3: show why the Majorana mass is nonzero

Section titled “Check 3: show why the Majorana mass is nonzero”

Let χiχj=ϵαβχiβχjα\chi_i\chi_j=\epsilon^{\alpha\beta} \chi_{i\beta}\chi_{j\alpha} for Grassmann-odd two-component fields. Show that this contraction is symmetric in i,ji,j.

Solution

Exchange the fields, use their anticommutation, and then interchange the two spinor indices:

χjχi=ϵαβχjβχiα=ϵαβχiαχjβ=ϵαβχiβχjα=χiχj.\begin{aligned} \chi_j\chi_i &= \epsilon^{\alpha\beta} \chi_{j\beta}\chi_{i\alpha} \\ &= -\epsilon^{\alpha\beta} \chi_{i\alpha}\chi_{j\beta} \\ &= \epsilon^{\alpha\beta} \chi_{i\beta}\chi_{j\alpha} = \chi_i\chi_j. \end{aligned}

The antisymmetric epsilon tensor and the Grassmann exchange supply two minus signs. Hence χχ\chi\chi need not vanish, and only a symmetric flavor mass matrix contributes.

  • Deligne, Pierre. “Notes on Spinors.” In Quantum Fields and Strings: A Course for Mathematicians, pp. 99–135. American Mathematical Society, 1999. Official IAS publication record; Open PDF.
  • Schwartz, Matthew D. Quantum Field Theory and the Standard Model. Cambridge University Press, 2014. DOI.
  • Srednicki, Mark. Quantum Field Theory. Cambridge University Press, 2007. DOI.
  • Van Proeyen, Antoine. Tools for Supersymmetry. arXiv:hep-th/9910030v7. Originally submitted 1999; version 7 revised 2016. arXiv.
  • Weinberg, Steven. The Quantum Theory of Fields. Volume III: Supersymmetry. Cambridge University Press, 2000. DOI.