Skip to content

Majorana Condition

A Majorana condition selects the fixed points of an antilinear charge-conjugation map. After fixing that real structure, a discrete transformation must preserve it to act within the same real solution space. This requirement restricts phases that were arbitrary on an unconstrained complex Dirac space. In the conventions used here, parity needs an imaginary intrinsic phase, while the aligned time-reversal matrix already preserves the condition. Majorana Spinors owns the component construction, Lorentz covariance, and field-statistics qualifications; this page applies that construction to discrete transformations.

Required background. Majorana Spinors defines the real structure, and Symmetry Conventions, Parity, and Time Reversal fix the matrices and phases. Helpful background. Charge Conjugation distinguishes conjugate equations from unitary transformations of quantum states.

Let

J=BK,B=iγ2,J2=I.J=BK,\qquad B=i\gamma^2,\qquad J^2=I.

The chosen Majorana condition is

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

The fixed-point set is a real vector space. If ψ\psi satisfies the condition, then J(zψ)=z∗ψJ(z\psi)=z^*\psi, so multiplication by an arbitrary complex number does not preserve it. This is why phase compatibility is a nontrivial question.

For the free neutral equation with real mass, JJ maps solutions to solutions. A transformation SS preserves the chosen Majorana space when J(Sψ)=SψJ(S\psi)=S\psi for every JJ-fixed solution. It is sufficient that the complete maps commute, JS=SJJS=SJ. When either map is antilinear, scalar coefficients must be conjugated in checking that equation.

These statements do not replace the ordinary complex Hilbert space of physical one-particle states. The reality condition on classical solutions and the Majorana field mode expansion are related constructions, as explained on the canonical owner.

Start with the ordinary Dirac parity Π=βR\Pi=\beta R, where RR reverses the spatial argument. The charge-conjugation identity gives

Bβ∗B−1=−β.B\beta^*B^{-1}=-\beta.

Since JJ commutes with the coordinate reflection,

JΠ=−ΠJ.J\Pi=-\Pi J.

Thus Π\Pi alone sends a JJ-fixed spinor to the opposite real-structure eigenspace. Allow an intrinsic phase and define

ΠM=ηPΠ,∣ηP∣=1.\Pi_{\rm M}=\eta_P\Pi,\qquad |\eta_P|=1.

For Jψ=ψJ\psi=\psi,

JΠMψ=−ηP∗Πψ.J\Pi_{\rm M}\psi =-\eta_P^*\Pi\psi.

To equal ΠMψ=ηPΠψ\Pi_{\rm M}\psi=\eta_P\Pi\psi, the phase must satisfy

ηP=−ηP∗,ηP=±i.\eta_P=-\eta_P^*, \qquad \eta_P=\pm i.

Either choice preserves the fixed Majorana condition. Its square on the spinor is

ΠM2=−I.\Pi_{\rm M}^2=-I.

This is compatible with the ordinary complex-Dirac convention Π2=I\Pi^2=I: the two conventions impose different requirements on the intrinsic phase. The coordinate inversion still squares to the identity. The additional minus sign concerns its spinor representation; bilinears are unchanged by ψ↦−ψ\psi\mapsto-\psi.

An overall convention for JJ or the spinor basis can also be changed, provided all maps are translated consistently. The invariant requirement is preservation of the specified real structure, not an isolated matrix entry being real or imaginary in every basis.

The chapter uses

Θ=UTK,UT=−γ1γ3.\Theta=U_TK,\qquad U_T=-\gamma^1\gamma^3.

The two antilinear maps commute because

BUT∗=UTB∗.BU_T^*=U_TB^*.

Therefore

JΘψ=ΘJψ=ΘψJ\Theta\psi=\Theta J\psi=\Theta\psi

for a Majorana solution. Including the reversed time argument does not change this algebraic conclusion. The operation preserves the fixed reality condition and still has Θ2=−I\Theta^2=-I.

If Θ\Theta is multiplied by a phase ηT\eta_T while JJ remains fixed, preservation requires ηT=ηT∗\eta_T=\eta_T^*, hence ηT=±1\eta_T=\pm1 for unit modulus. The common alternative matrix UT,0=iγ1γ3U_{T,0}=i\gamma^1\gamma^3 differs from ours by the phase UT=iUT,0U_T=iU_{T,0}. Used without translating that relative phase, UT,0KU_{T,0}K sends the fixed Majorana space to the opposite eigenspace of JJ. Multiplying it by ii restores the aligned map.

On the unconstrained complex Dirac space, the isolated time-reversal maps are equivalent up to phase. After imposing a particular reality condition, their compatibility with that condition must also be checked. This is a useful example of why individually valid textbook formulas cannot always be combined unchanged.

Gauge charge and the meaning of neutrality

Section titled “Gauge charge and the meaning of neutrality”

For an ordinary U(1) phase Uχ=eiqχ/ℏU_\chi=e^{iq\chi/\hbar}, antilinearity gives

J Uχψ=e−iqχ/ℏψJ\,U_\chi\psi =e^{-iq\chi/\hbar}\psi

on a JJ-fixed spinor. For arbitrary local χ\chi, this equals UχψU_\chi\psi only for a trivial charge action. A single fixed Majorana real representation therefore cannot carry a nonzero ordinary U(1) charge.

The obstruction is present even if a particular background happens to vanish: a freely written self-conjugate solution does not make a nontrivial gauge phase preserve its real subspace. In nonzero backgrounds, Charge Conjugation also shows explicitly that JJ relates the qq and −q-q equations.

This statement concerns ordinary abelian charge, not the absence of every possible interaction. Neutral fields can have interactions consistent with their representation and statistics. For example, the absence of a diagonal Majorana Pauli moment follows from a fermionic tensor-bilinear identity, not merely from calling the field neutral; see Magnetic Moment. The detailed mass and component construction remains on Majorana Spinors.

Let P=βP=\beta denote the spinor matrix in the complete parity map Π=βR\Pi=\beta R. For a constant unitary basis change ψ′=Vψ\psi'=V\psi, transform

B′=VBVT,P′=VPV†,UT′=VUTVT.B'=VBV^{\mathsf T},\qquad P'=VPV^\dagger,\qquad U_T'=VU_TV^{\mathsf T}.

The corresponding complete maps obey the same commutation or anticommutation relations. For example, the parity test can be written entirely in matrices:

B′(ηPP′)∗=(ηPP′)B′.B'(\eta_PP')^* =(\eta_PP')B'.

It gives the same allowed relative phases as the original basis. A basis in which the reality condition looks like ordinary componentwise reality can simplify notation, but it cannot remove the need for this compatibility test. The matrix conversion rules are collected on Symmetry Conventions.

The opposite eigenspace. If Jψ=−ψJ\psi=-\psi, show that iψi\psi is JJ-fixed. Why does this matter when comparing two phase conventions?

Solution

Antilinearity gives J(iψ)=−iJψ=iψJ(i\psi)=-iJ\psi=i\psi. The two real eigenspaces are related by multiplication by ii. An unexplained phase difference can therefore exchange which reality condition appears to be preserved.

A failed real parity phase. Set ηP=1\eta_P=1 and start with Jψ=ψJ\psi=\psi. Show exactly which condition the parity-transformed spinor satisfies.

Solution

Since JΠ=−ΠJJ\Pi=-\Pi J, J(Πψ)=−ΠψJ(\Pi\psi)=-\Pi\psi. The result lies in the opposite eigenspace. The failure concerns preservation of this fixed real structure, not covariance of the unconstrained Dirac equation.

Rephase the time-reversal matrix. Starting from the common UT,0=iγ1γ3U_{T,0}=i\gamma^1\gamma^3, find a phase that makes the map preserve the chosen Majorana condition and verify its square.

Solution

Multiplication by ii gives iUT,0=−γ1γ3=UTiU_{T,0}=-\gamma^1\gamma^3=U_T. The resulting map commutes with JJ. Its square is UTUT∗=−IU_TU_T^*=-I. The phase changes compatibility with JJ but cannot change an antiunitary operator’s square.