In the Weyl representation of the gamma matrices, with . The antisymmetry of gives , and direct multiplication gives and . Any two such intertwining matrices differ by a scalar: their ratio commutes with all gamma matrices, whose products span the full four-by-four matrix algebra. Changing spinor basis sends to , so transpose antisymmetry is basis-independent. Its sign is therefore fixed, not merely one of the two alternatives supplied by the general transpose symmetry of a charge-conjugation matrix argument.
For the Dirac representation of the gamma matrices, the unitary matrix
sends to while commuting with every spatial gamma matrix. This is the standard Weyl representation of the gamma matrices with spatial blocks . The similarity transformation preserves the Clifford algebra relations. Changing block-order or chirality conventions can change the displayed transformation, so its direction must be specified.
In the standard Weyl representation of the gamma matrices and mostly-minus metric signature, the left chirality component obeys . A plane wave with exists precisely on the massless mass shell . Its coefficient is a negative helicity eigenspinor. For direction angles , one normalized choice is
The nonzero solution is unique up to overall normalization and phase. Different patches are required for a continuous phase choice over all directions; the direction of zero momentum is undefined.
Write . The Pauli matrix multiplication law gives . Block multiplication of the Weyl representation of the gamma matrices gives
and
Thus the mixed time-space anticommutators vanish, the time-time anticommutator is , and the spatial anticommutators are . Together these prove the Clifford algebra identity
The negative spatial sign comes from the lower-left block of each spatial gamma matrix.
Use the PDF's convention in which multiplies , rather than . Its unitarity converts the given gamma matrix identity into
Applying it twice gives
For real infinitesimal Lorentz transformation parameters,
Therefore transforms in exactly the same spinor representation as . The coordinate pullback is real and transforms identically as well. This is the antilinear charge-conjugation intertwiner relation; exponentiating also gives for connected transformations.
For real mass, complex conjugation of the free Dirac equation gives . Multiply by and move it through the gamma matrices:
Thus
As an explicit check, in the given Weyl representation of the gamma matrices one may take . It is unitary and obeys the required conjugation identity. The free-equation conclusion does not assert that a charge-conjugated field retains the same charge in a fixed electromagnetic background.
Use the metric and . Transposing a product reverses its order but does not conjugate the factor . Thus the charge-conjugation matrix identity gives
where reversing the four distinct gamma matrices requires six exchanges. Similarly,
To fix the transpose sign, work in the Weyl representation of the gamma matrices:
The Pauli identity checks directly, and gives , with . Any other intertwiner differs from by a scalar: its ratio with commutes with all gamma matrices, whose products span the full four-by-four matrix algebra. A matrix commuting with all matrix units is scalar. Under a spinor basis change , the intertwiner becomes , whose transpose is still its negative. Therefore in every such four-component representation
This proves the antisymmetry of the four-dimensional charge-conjugation matrix, rather than leaving the sign undetermined by the general transpose argument.
Hermitian conjugating the charged Dirac equation, using real and , gives the adjoint Dirac equation
Transpose it and multiply by . Since , the field obtained by charge conjugation obeys
Thus algebraic charge conjugation reverses the electromagnetic coupling.
If , , Hermiticity of and its anticommutation with imply
Using the first transpose identity,
Hence : algebraic charge conjugation reverses chirality. This concerns conjugating the already projected spinor, not the distinct operation of keeping a chiral projector outside an operator conjugation.
For the Grassmann variation of a chiral Majorana mass term, variations of odd fields must be moved past odd fields with a minus sign. If , componentwise reordering gives
Both and are antisymmetric. Treating independently, integrating the kinetic variation by parts, and placing varied Grassmann fields on the left gives
The factors two from variation cancel the mass-term factors . The first coefficient gives one equation; multiplying the second by gives the other:
The variations can be restricted to their chiral subspaces: the two terms in each equation have the same opposite output chirality, so no inactive component equation has been imposed.
Applying to the first equation and substituting the second, using , gives
A phase rotation removes the phase of , and combining the chiral field with its conjugate then gives a Majorana fermion of this mass, not two independent chiral species.
Let and . Question 1 shows they are gauge singlets, so both terms in preserve electroweak gauge invariance. The original PDF has in the first term; the TeX aid incorrectly replaces it by . At the Higgs field vacuum,
so
Comparing with the just-derived chiral mass equations yields the Majorana neutrino mass from the Weinberg operator:
For nonzero this generates a mass without introducing a right-handed neutrino. Under lepton number rotation , the first operator acquires and its conjugate acquires . Thus the interaction violates lepton number by . Each composite contains one scalar of mass dimension one and one fermion of dimension , so the interaction is dimension five and has dimension . This is the Weinberg operator, an effective extension of the minimal renormalizable Standard Model, consistent with the absence of bare quadratic masses in Question 1.
A Dirac-to-Weyl gamma-matrix similarity transform with the required signs is
It is a unitary matrix, with . Multiplication gives
The matrix commutes with every : their common block structure uses the same antisymmetric block matrix, and the scalar blocks of commute with each Pauli matrix. Hence , exactly the spatial matrices specified in the Weyl representation of the gamma matrices. A similarity transformation preserves every Clifford algebra relation, so no new consistency check is needed for the transformed representation.
In either the displayed Dirac representation of the gamma matrices or the displayed Weyl representation of the gamma matrices, the spatial blocks give
The Pauli matrix commutator identity therefore yields
The Levi-Civita symbol is normalized by . The constant is , consistent with rotation generators represented by skew-Hermitian matrices under the chosen Lorentz algebra convention. For both sides vanish automatically.
The Dirac spinor representation is the four-dimensional representation of the connected Lorentz group. It is characterized by
For
one may take
with the signs of fixed by the displayed vector-representation convention. This formula follows by differentiating the covariance relation and using the Clifford algebra ; moving both gamma indices upstairs changes the apparent parameter signs according to the metric.
Use the Weyl representation of the gamma matrices,
In the Weyl representation of the gamma matrices,
A Lorentz transformation acts as with . In this basis a boost is block diagonal and gives and .
For boosts, the two exponentials cancel in ; for rotations, the unitary rotation and its inverse cancel. Hence this bilinear is a Lorentz scalar. The Pauli matrices obey the identity
shows that acquires the right-handed boost matrix and the usual rotation matrix, so it is right-handed.