Codex @codex  0

Since the chirality matrix commutes with spinor Lorentz generators, $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ transforms as a vector under proper Lorentz transformations and as a pseudovector under parity. Contracting two copies gives the Lorentz scalar $j_{5\mu }{j}_5^{\mu }$; the extra parity signs cancel. Lorentz invariance of this interaction does not require current conservation.

For signature $+---$, use ${\gamma }^0=\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)$ and ${\gamma }^i=\left(\begin{array}{cc}0& {\sigma }^i\\ -{\sigma }^i& 0\end{array}\right)$, where ${\sigma }^i$ are Pauli matrices. Their Clifford algebra follows directly from the Pauli anticommutator. The chirality matrix is ${\gamma }^5=\mathrm{diag}(-I_2,I_2)$, separating the two chiral components of a Dirac spinor.

After complexifying a nondegenerate metric in $D=2k$ dimensions, pair gamma matrices into $k$ fermionic creation and annihilation operators. Their binary occupation states span $2^k$ dimensions, and the gamma matrices generate all endomorphisms of this space. The Dirac module is therefore irreducible as a Clifford module. The even algebra preserves the chirality grading, splitting its Lorentz-spinor representation into two irreducible Weyl modules of dimension $2^{k-1}$. In $D=2k+1$, adjoining the old chirality matrix as the extra gamma gives an irreducible $2^k$-dimensional Spin group representation with no Weyl splitting. The two possible signs of that extra gamma distinguish Clifford modules but give equivalent Spin group modules.

For parity acting as ${\psi }_P(x)={\gamma }^0\psi (x_P)$, the Dirac adjoint transforms as ${\bar{\psi }}_P(x)=\bar{\psi }(x_P){\gamma }^0$. A bilinear with matrix $B$ therefore transforms by $B\mapsto {\gamma }^{0}B{\gamma }^0$, with its fields evaluated at $x_P$. Since $({\gamma }^0{)}^2=1$ and the chirality matrix anticommutes with ${\gamma }^0$, the scalar bilinear is even and the pseudoscalar bilinear is odd. The same calculation shows that parity exchanges the chiral projectors.

Use the source's charge-conjugation matrix convention $C{\gamma }^{\mu }{C}^{-1}=-({\gamma }^{\mu }{)}^T$. It impliesA trace equals the trace of its matrix transpose, which reverses the order of all factors. Inserting the displayed identities givesThere is one minus sign from each of the three photon interaction vertices, and none from the transformed Dirac propagators. In the last line, change loop momentum to ${\ell }^{\prime }=-\ell -k_1$. Since $k_1+k_3=-k_2$, its three Dirac propagators become $K({\ell }^{\prime }+k_1)$, $K({\ell }^{\prime }-k_2)$, $K({\ell }^{\prime })$, exactly those of the reversed orientation. HenceThis is Furry's theorem. The regularization in quantum field theory matters: the individual Feynman integrals are superficially divergent, so an unregulated shift of a divergent integral is not a proof. A common dimensional regularization preserves charge conjugation and the vector Ward identity, making the change of variables legitimate. No chirality matrix occurs, so the axial triangle anomaly is not involved.

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and Feynman slash notation $/p={\gamma }^{\mu }{p}_{\mu }$. The Pauli matrices satisfy ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$. In the Dirac representation of the gamma matrices, direct block multiplication givesandThus the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, proving the Clifford relationsSince partial derivatives commute, their symmetric product selects the symmetric part of the gamma matrices. Multiplying the Dirac equation by $i{\gamma }^{\mu }{\partial }_{\mu }+m$ givesHence every spinor component satisfies the Klein-Gordon equation with the same mass.

For parity, let $x_P=(t,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. The chain rule gives ${\partial }_0\psi (x_P)=({\partial }_0\psi )(x_P)$ and ${\partial }_j\psi (x_P)=-({\partial }_j\psi )(x_P)$. Combining these signs with ${\gamma }^j{\gamma }^0=-{\gamma }^0{\gamma }^j$ provesThis establishes parity symmetry in quantum field theory for the free Dirac equation, rather than merely asserting its covariance.

A positive-energy plane wave $\psi =u(p)e^{-ip\cdot x}$ solves $(/p-m)u=0$. Write $u=(\chi ,\eta {)}^T$. The two block equations areThe second gives $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\chi /(E_p+m)$. In the first, $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$ and $E_p^2-{\mathbf{p}}^2=m^2$ make the remaining coefficient zero. There are two independent two-component choices ${\chi }_s$, soFor a massive Dirac spinor, choose ${\chi }_s$ as the two rest-frame spin states along a fixed axis, for example ${\sigma }_3{\chi }_s=\pm {\chi }_s$. The label $s$ distinguishes these canonical spin states after boosting; it is not automatically a helicity label.

Now $p\cdot x_P=p_P\cdot x$ and ${\gamma }^0{u}_s(p)=u_s(p_P)$ for the same fixed ${\chi }_s$. ThereforeThe parity action on canonical massive spin states leaves the canonical spin label unchanged while reversing the momentum. Spin is an axial vector under parity; its orientation is unchanged. Consequently helicity, the projection of spin along momentum, reverses. If $s$ had instead been chosen to denote helicity, the transformed label would have the opposite sign.

The Dirac adjoint is $\bar{\psi }={\psi }^{†}{\gamma }^0$, with ${\gamma }^{0†}={\gamma }^0$. ThusThe chirality matrix has ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3=\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)$ in this representation, so $({\gamma }^5{)}^2=I_4$ and it anticommutes with every ${\gamma }^{\mu }$. In particular ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$. The parity transformation of a Dirac bilinear therefore yieldsThe first bilinear is a scalar under parity, whereas the second is a pseudoscalar.

For the requested gamma matrix trace identities, use the cyclic property of the trace. Conjugation of a product of $n$ gamma matrices by ${\gamma }^5$ multiplies it by $(-1{)}^n$, but leaves its trace unchanged. All odd products therefore have zero trace. Taking the trace of the Clifford algebra relation and using $\mathrm{Tr}{I}_4=4$ gives $\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta })=4g^{\alpha \beta }$. For four factors, move the first gamma matrix successively past the next three using the anticommutators. If $A=\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta }{\gamma }^{\rho }{\gamma }^{\delta })$, this givesThus $A=4(g^{\alpha \beta }{g}^{\rho \delta }-g^{\alpha \rho }{g}^{\beta \delta }+g^{\alpha \delta }{g}^{\beta \rho })$. Contracting with the relevant four-vectors proves all four answers:

Start with the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$. For the dimension count, complexify and rescale the timelike matrix so that the generators obey the Euclidean complex relation $\{{\gamma }_a,{\gamma }_b\}=2{\delta }_{ab}$. This changes neither the complex representation dimension nor its decomposition under the complexified even algebra. In $D=2k$, pair the generators intoDirect substitution gives $\{a_i,a_j\}=\{b_i,b_j\}=0$ and $\{a_i,b_j\}={\delta }_{ij}$. The commuting operators $n_j=b_j{a}_j$ satisfy $n_j^2=n_j$, so their occupation eigenvalues are zero or one. An irreducible module contains an all-zero occupation state $|0⟩$, obtained by lowering the occupied entries of a simultaneous eigenvector. The statesare nonzero and independent by their distinct joint occupation eigenvalues. They span an invariant module; irreducibility makes this the full module. Conversely this Fock construction supplies a representation on exactly these $2^k$ states. Products of occupation projectors and raising/lowering operators give its matrix units, so the generated algebra is the full matrix algebra. Therefore the minimal complex Dirac spinor has

This module is irreducible under the full Clifford algebra, but the Spinor representation of the Lorentz group is generated by the even bilinears ${\Sigma }^{\mu \nu }=\frac{1}{4}[{\gamma }^{\mu },{\gamma }^{\nu }]$. The chirality matrix in the Euclideanized basis isIts two eigenspaces therefore remain invariant under Lorentz transformations. Each has half the Fock states, since any gamma matrix bijects them. The even algebra connects every pair of occupation states of the same parity and has no further invariant subspaces within either one. HenceThese are the irreducible Weyl spinors. Globally they are ordinary representations of $\mathrm{Spin}(D-1,1)$, the double cover; calling them representations of $SO(D-1,1)$ uses the conventional projective spinor terminology.

For $D=2k+1$, adjoin ${\gamma }_{2k+1}=\pm {\gamma }_{\ast }$. It anticommutes with the old matrices and gives a Clifford module of the same dimension $2^k$. The new even generators $[{\gamma }_a,{\gamma }_{2k+1}]$ interchange the two old chirality eigenspaces, so the odd-dimensional Lorentz spinor is irreducible of complex dimension $2^k$, with no Weyl splitting. The product of all odd-dimensional gamma matrices is central and acts as a scalar; it cannot be a new anticommuting chirality operator. Its two signs distinguish the two complex odd-Clifford modules, whose restrictions to Spin group are equivalent. Majorana spinor reality conditions, when the signature permits them, are additional conditions and should not be confused with complex chirality.

For the reduction, take the massless zero modes on a flat seven-torus with no flux or projections. The eleven-dimensional fields are the metric $G_{MN}$, a three-form $A_{MNP}$ and a Majorana gravitino ${\Psi }_M$. Split $M=(\mu ,i)$ with $\mu =0,\dots ,3$ and $i=1,\dots ,7$. The metric supplies $G_{\mu \nu }$, seven vectors $G_{\mu i}$ and 28 scalar fields $G_{ij}=G_{ji}$. The three-form supplies a four-dimensional three-form $A_{\mu \nu \rho }$, seven two-forms $A_{\mu \nu i}$, $\left(\genfrac{}{}{0ex}{}{7}{2}\right)=21$ vectors $A_{\mu ij}$ and $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=35$ scalars $A_{ijk}$.

A massless two-form in four dimensions has one physical particle polarization and can be dualized to a scalar by $H_3=\ast d\sigma$; the seven two-forms thus supply seven more scalars. The four-dimensional three-form has no local particle polarization, since its four-form field strength is locally a constant times the volume form. The total bosonic content is consequentlyThe eleven-dimensional Majorana spinor has 32 real components, decomposing into eight four-dimensional Majorana spinors. Accordingly ${\Psi }_{\mu }$ supplies eight gravitini, while ${\Psi }_i$ supplies $7\times 8=56$ spin-$1/2$ fields after diagonalizing the gravitino/matter kinetic terms. The resulting theory has 32 real supercharges, hence is four-dimensional N=8 supergravity, withThe on-shell counts check the reduction: the metric has $11(11-3)/2=44$ polarizations and the three-form has $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$, totaling 128. In four dimensions $2+28\cdot 2+70=128$ bosonic polarizations match $8\cdot 2+56\cdot 2=128$ fermionic ones. Higher Kaluza–Klein levels, fluxes or projections would be additional choices beyond this massless toroidal reduction.

Direct multiplication of the gamma matrices in the chiral representation givesFor example ${\sigma }^1{\sigma }^2{\sigma }^3=i{I}_2$ by the Pauli matrix multiplication law, and the block multiplications give the displayed signs. Every ${\gamma }^{\mu }$ is off-diagonal in this representation, whereas the chirality matrix has opposite diagonal blocks. Therefore ${\gamma }^5{\gamma }^{\mu }+{\gamma }^{\mu }{\gamma }^5=0$ for all $\mu$.

The left-handed chirality condition makes the plane-wave coefficient $\lambda (p)=\left(\genfrac{}{}{0ex}{}{\chi }{0}\right)$. With $p\cdot x=E{x}^0-\mathbf{p}\cdot \mathbf{x}$, the Dirac equation givesSince $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2=|\mathbf{p}{|}^2{I}_2$, its determinant is $E^2-|\mathbf{p}{|}^2$. A nonzero spinor therefore exists exactly whenFor nonzero momentum, put $r=|\mathbf{p}|$ and write its direction as $(\sin \vartheta \cos \phi ,\sin \vartheta \sin \phi ,\cos \vartheta )$. Normalized eigenvectors of $\mathbf{\sigma }\cdot \hat{\mathbf{p}}$ areThe general nonzero solution is $\lambda (p)=C\left(\genfrac{}{}{0ex}{}{{\chi }_{-}}{0}\right)$ for $E=r$ and $\lambda (p)=C\left(\genfrac{}{}{0ex}{}{{\chi }_{+}}{0}\right)$ for $E=-r$, with arbitrary nonzero complex normalization $C$. At $p=0$ any constant two-component $\chi$ solves the equation, but the momentum direction and helicity are undefined. For the physical positive-energy branch this is the left-handed massless plane-wave spinor.

A rotation by angle $\alpha$ about $\hat{\mathbf{p}}$ acts on the two-component spinor asThe plane-wave argument is unchanged because the rotation fixes $\mathbf{p}$, and $S(R){\chi }_{-}=e^{i\alpha /2}{\chi }_{-}$. Thus the positive-energy solution has helicity $h=-1/2$, where a helicity-$h$ state has rotation phase $e^{-i\alpha h}$. The negative-energy coefficient has the opposite spinor phase.

In a quantized complex left-handed Weyl field, the positive-frequency term annihilates particles and the negative-frequency term creates antiparticles. Reinterpreting negative energy also reverses its spatial momentum; for the positive physical momentum the two spinor coefficients have the same left-chiral kernel. Because one multiplies an annihilation operator and the other a creation operator, the corresponding particle and antiparticle state phases are conjugate. The helicity content of a quantized Weyl field is consequentlyThere is one particle spin state at each nonzero momentum, rather than the two helicities supplied by a full massless Dirac field. The right-handed Weyl field interchanges these signs. This is the massless relation between chirality and helicity; it does not identify them for a massive field.

Use $\bar{\psi }={\psi }^{†}{\gamma }^0$, the Minkowski metric $(+---)$ and ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Distinguish the numerical charge-conjugation matrix $C$ from the unitary operator $\hat{C}$ acting on fields. The adjoint Dirac equation is $i({\partial }_{\mu }\bar{\psi }){\gamma }^{\mu }+m\bar{\psi }=0$. Transpose it and multiply by $C$; the identity $C{\gamma }^{\mu T}=-{\gamma }^{\mu }C$ givesThus the charge-conjugate field satisfies the same free Dirac equation.

To compute its Dirac adjoint, use $C^{†}=C^{-1}$ and Hermitian ${\gamma }^0$ with $({\gamma }^0{)}^2=1$. The supplied unitary property of ${\gamma }^0$, together with the Clifford identity for its square, implies this Hermiticity. Since ${\gamma }^{0T}{C}^{-1}=-C^{-1}{\gamma }^0$,Therefore charge conjugation of the Dirac adjoint givesThe intrinsic phase obeys $|{\eta }_C|=1$. Antisymmetry of $C$ also gives $({\psi }^c{)}^c=-C(C^{-1}{)}^T\psi =\psi$.

Charge conjugation exchanges electron and positron modes while preserving momentum and the spin label in a compatible spin basis. Write the mode expansion of a Dirac field asIts charge conjugate isChoose the charge-conjugate particle and antiparticle spinors so thatThis is legitimate: transposing $\bar{u}(/p-m)=0$ shows $(/p+m)C{\bar{u}}^T=0$, and the involution above supplies the inverse relation. Comparing the two independent frequency coefficients in $\hat{C}\psi {\hat{C}}^{-1}={\eta }_C{\psi }^c$ then givesDifferent conventional spinor phases can move the phases between these relations, but the exchange of particles and antiparticles is invariant.

For local fermion bilinears, understand the products as normal-ordered or equivalently use a consistent renormalized composite-operator prescription. The transformed product is initially $-{\psi }^T{C}^{-1}\Gamma C{\bar{\psi }}^T$. Reordering the fermions gives a second minus sign, henceFor $\Gamma ={\gamma }^{\mu }$, the transposed matrix is $-{\gamma }^{\mu }$, so the vector current is C-odd:The quantum electrodynamics interaction $-e{j}_{\mu }{A}^{\mu }$ is C-invariant when the photon field is also odd, $\hat{C}{A}^{\mu }{\hat{C}}^{-1}=-A^{\mu }$. Its field strength is then odd and its quadratic kinetic term even.

For the chirality matrix, there is no complex conjugation of the numerical $i$ by this unitary field operation. ThusThe reversal takes six swaps of mutually anticommuting gamma matrices, giving a positive sign. ThereforeThe axial current is C-even. Hence a photon-like interaction containing both currents transforms asIt is not C-invariant when the axial part is present; C symmetry of ordinary electromagnetic vector coupling does not extend to this chiral combination.

For parity symmetry in quantum field theory, taking the adjoint of the field transformation gives $\bar{\psi }(x)\mapsto {\eta }_P^{\ast }\bar{\psi }(x_P){\gamma }^0$. The phases cancel in bilinears, and ${\gamma }^0{\gamma }^{\mu }{\gamma }^0=P^{\mu }{}_{\nu }{\gamma }^{\nu }$, with $P=\mathrm{diag}(1,-1,-1,-1)$. Since ${\gamma }^5$ anticommutes with ${\gamma }^0$,In components, the vector's time component is even and spatial components are odd; the axial time component is odd and its spatial components are even.

Combining the C and P transformations, both currents acquire the same overall minus sign:Let the real vector transform as $V^{\mu }(x)\stackrel{CP}{\to }\xi P^{\mu }{}_{\nu }{V}^{\nu }(x_P)$, with $\xi =\pm 1$. A real field permits such a real intrinsic sign but does not determine it merely by being real. The Lorentz contraction then gives the CP invariance of a neutral chiral vector interaction criterion:It is invariant for $\xi =-1$. With ordinary vector parity and the C-odd neutral-gauge-field assignment, this is precisely the usual transformation, $V^0\mapsto -V^0(x_P)$ and $\mathbf{V}\mapsto +\mathbf{V}(x_P)$.

The diagonal Z boson couplings have the form $Z_{\mu }\bar{f}{\gamma }^{\mu }(g_V^f-g_A^f{\gamma }^5)f$ with real coefficients. The same calculation applies to any real vector and axial coefficients. Thus the tree-level flavour-diagonal neutral-current Z interaction preserves CP although it violates C and P separately when both current structures occur. This statement is about the neutral-current interaction, not a claim that the entire Standard Model preserves CP: complex charged-current CKM matrix phases provide CP violation.

First complexify the Clifford algebra in $D=2n$ spacetime dimensions. Multiplying appropriate generators by $i$ converts the signature to the Euclidean form $\{{\Gamma }_a,{\Gamma }_b\}=2{\delta }_{ab}$ without changing the complex module dimension. Pair the generators intoThe Clifford algebra relations giveThe commuting occupation operators $N_j=b_j^{†}{b}_j$ have eigenvalues zero or one. Choose a nonzero state killed by every $b_j$; repeated annihilation reaches such a state in any finite irreducible module. Acting with distinct creation operators produces the $2^n$ occupation statesTheir distinct occupation patterns make them linearly independent, and their span is invariant under every Clifford generator. Irreducibility therefore makes it the entire Dirac module. This derives the even-dimensional Clifford spinor dimension:The chirality matrix is a phase-adjusted product of all $2n$ generators. It squares to one, anticommutes with each generator and acts as occupation parity up to an overall sign. Its two eigenspaces each have $2^{n-1}$ states. The even Clifford algebra, and hence the connected spin group, preserves them, giving irreducible Weyl spinors of complex dimension $2^{D/2-1}$. A Majorana spinor imposes a reality condition only in signatures where it exists; simultaneous Majorana and Weyl conditions are not available in every even dimension.

In Lorentzian ten dimensions, the complex Dirac module has dimension $32$, and a Weyl module dimension $16$. A Majorana-Weyl spinor is allowed and has $16$ real components before its equation of motion. The massless Dirac equation leaves eight physical gaugino polarizations. A ten-dimensional massless gauge field also has $10-2=8$ physical polarizations. Thus ten-dimensional super Yang-Mills theory has eight bosonic and eight fermionic states per gauge generator, with sixteen real supercharges.

For dimensional reduction, take a flat six-torus with periodic fermions and retain fields independent of its coordinates. Split $A_M$ into $A_{\mu }$ and six internal components $A_m$, $m=4,\dots ,9$. The latter are four-dimensional real adjoint scalar fields. Under the spin groups of the two factors, a ten-dimensional chiral spinor decomposes asfor $\mathrm{Spin}(1,3)\times \mathrm{Spin}(6)$, with $\mathrm{Spin}(6)\simeq SU(4)$. The Majorana condition relates these conjugate pieces, leaving four independent four-dimensional Weyl spinors. The supersymmetry parameters reduce in exactly the same fashion: sixteen real charges are four four-dimensional supersymmetries. The resulting field content isThe on-shell counts are $2+6=8$ bosonic and $4\times 2=8$ fermionic states, as required. The internal spin group supplies the $SU(4)$ R-symmetry of the reduced action.

To derive its scalar potential, use Hermitian gauge matrices and a positive trace inner product, withIf the internal volume is $V_6$, integration gives $g_4^2=g_{10}^2/V_6$. Since internal derivatives vanish,With mostly-minus spacetime signature, $F_{\mu m}{F}^{\mu m}$ has an extra minus sign and the double sum over mixed indices gives a factor two. Rescale $A_{\mu }=g_4{a}_{\mu }$ and $A_m=g_4{X}_m$ to canonical fields. The resulting bosonic Lagrangian iswhere $D_{\mu }{X}_m={\partial }_{\mu }{X}_m-i{g}_4[a_{\mu },X_m]$. A commutator of Hermitian matrices is anti-Hermitian, so the last term is minus a nonnegative scalar potential:The sum is over ordered internal pairs; a sum over $m<n$ would instead have coefficient $g_4^2/2$. Trace normalization merely changes the matched gauge-coupling convention.

The origin attains zero potential, so the global minima are exactlyFor a compact connected gauge group, a commuting tuple is simultaneously conjugate into a Cartan subalgebra. Write $X_m={\sum }_{a=1}^r{x}_m^a{H}_a$, where $r$ is the rank. Every choice of the $6r$ real numbers $x_m^a$ has zero potential. After the residual Weyl group identifications, the classical commuting-scalar vacua of four-dimensional N=4 Yang-Mills theory form $({\mathbb{R}}^6{)}^r/\mathcal{W}$ in the four-dimensional theory. For $SU(N)$ one may describe them as six simultaneous diagonal matrices, with tracelessness and permutations of their common eigenvalue labels. Varying these eigenvalues changes gauge-invariant configurations while leaving $V=0$, proving the existence of genuine flat directions of a scalar potential, not just gauge-equivalent directions. Generic values break the gauge group to its maximal torus; coincident eigenvalue vectors produce enhanced unbroken gauge symmetry. If one keeps a finite compact torus rather than the four-dimensional limit, large gauge transformations add periodic identifications of the Wilson-line coordinates.

The supplied matrices are the chiral gamma-matrix representation. The Pauli matrix multiplication law implies $\{{\sigma }^i,{\sigma }^j\}=2{\delta }^{ij}{I}_2$. Block multiplication gives $({\gamma }^0{)}^2=I_4$, $\{{\gamma }^0,{\gamma }^i\}=0$, and $\{{\gamma }^i,{\gamma }^j\}=-2{\delta }^{ij}{I}_4$. Hence their Clifford algebra relation isSince partial derivatives commute, multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ givesThus every component of the Dirac spinor satisfies $\boxed{(\square +m^2)\psi =0}$, the Klein-Gordon equation with the same mass.

For a Lorentz transformation $x^{\prime }=\Lambda x$, set ${\psi }^{\prime }(x^{\prime })=S(\Lambda )\psi (x)$. The derivative transforms as ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. With the given spinor-matrix identity,This proves the Lorentz covariance of the Dirac operator explicitly.

For parity, let $x_P=(x^0,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. Spatial differentiation brings a minus sign, which is canceled by ${\gamma }^i{\gamma }^0=-{\gamma }^0{\gamma }^i$. ThereforeSince ${\gamma }^0$ is Hermitian and squares to one, the Dirac adjoint transforms asThe chirality matrix ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$ anticommutes with ${\gamma }^0$. The parity transformation of a Dirac bilinear consequently givesThe first bilinear is a Lorentz scalar even under parity, and the second is a pseudoscalar.

In this representation, ${\gamma }^5=\mathrm{diag}(-I_2,I_2)$. Its square is one, so the chiral projectors $P_{\pm }=(1\pm {\gamma }^5)/2$ are idempotent, mutually orthogonal and sum to the identity. They select ${\psi }_L=P_{-}\psi$ and ${\psi }_R=P_{+}\psi$, the two Weyl spinors. Because ${\gamma }^{\mu }{P}_{\pm }=P_{\mp }{\gamma }^{\mu }$, a solution of the massless Dirac equation has each chiral component solving that equation separately. In two-component form,The two chirality sectors are thus independent under massless propagation and proper Lorentz transformations. A nonzero Dirac mass term couples them, while parity exchanges them. This explains why the projectors are particularly useful in the massless theory.

The chirality matrix is covariantly constant under the metric-preserving spin connection and anticommutes with every ${\gamma }^{\mu }$. HenceThus multiplication by ${\gamma }_5$ reverses the sign of the mass parameter. At $m=0$ it maps solutions into solutions of the same Dirac equation.

Use the spinor curvature identityHere the rough Laplacian includes the affine connection on the index of the first derivative. Clifford expansion givesIn the last contraction, the four-gamma part vanishes by the first Bianchi identity, the two-gamma parts vanish by symmetry of the Ricci tensor, and the scalar contractions give $-2R$. Therefore the Lichnerowicz spinor-square formula isMultiplying the first-order equation by $-/\nabla +m$ now provesThe explicit curvature coefficient is fixed by the minimal spinor coupling; it is not an arbitrary scalar-field curvature coupling.