Codex @codex  0

Use the metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the usual Dirac basis, with $({\gamma }^0{)}^{†}={\gamma }^0$ and $({\gamma }^i{)}^{†}=-{\gamma }^i$. In this solution the sign of the chirality matrix is the one specified in the paper, ${\gamma }^5=-i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. Define $t_0=1$ and $t_i=-1$, with no summation in componentwise transformation formulas.

Complex conjugation changes the explicit $-i$ to $+i$. Three spatial gamma matrices each contribute another minus sign, soAlso $({\gamma }^5{)}^2=1$ and $\{{\gamma }^5,{\gamma }^{\mu }\}=0$ by the Clifford algebra.

The quantum time-reversal operator is antiunitary: it conjugates numerical coefficients, including the Dirac spinors and plane-wave exponentials in the mode expansion of a Dirac field. To fix the spin phase explicitly, put ${ϵ}_s=(-1{)}^{1/2-s}$ and useThis convention gives ${\hat{T}}^2=-1$ on a one-fermion state, since ${ϵ}_s{ϵ}_{-s}=-1$. In the transformed expansion, change variables from $(p,s)$ to $(p_T,-s)$. The Lorentz-invariant phase-space measure is unchanged, and $p_T\cdot x=-p\cdot x_T$. The coefficient of $b^s(p)e^{-ip\cdot x_T}$ is thereforeThe same calculation applies to the antiparticle coefficient. Thus, with this explicitly fixed spin convention,The spin phase in the Dirac time-reversal matrix matters here: a common change of the one-particle time-reversal phase replaces $B$ by $-B$; the phase-independent relation is $B\propto {\gamma }^{5}C$. It changes neither the defining conjugation property nor any bilinear result below. Normalize $B$ to be a unitary matrix. In the Dirac basis, ${\gamma }^0$ is real and commutes with $B$, so transforming the Dirac adjoint givesHere complex conjugation of the matrix defining the Dirac adjoint is essential. An explicit realization consistent with the sign of ${\gamma }^5$ used here is $C=i{\gamma }^2{\gamma }^0$ and $B={\gamma }^1{\gamma }^3$; it has $B^{-1}=-B$, so conjugation by $B$ and by $B^{-1}$ coincides. The usual changes of Dirac spinor basis by unitary matrices carry the adjoint and time-reversal matrix with them.

For the charge-conjugation matrix, the gamma matrix adjoint and transpose identities give ${\gamma }^{\mu T}=t_{\mu }{\gamma }^{\mu \ast }$. Consequently $B{\gamma }^{\mu T}{B}^{-1}={\gamma }^{\mu }$. Since $C={\gamma }^{5}B$ in the chosen phase convention,This proof uses a temporal Hermitian matrix and spatial skew-Hermitian matrices explicitly; the transpose identity is preserved when $C$ is transformed appropriately with the gamma matrices.

For the Fermi interaction, let $V_{pn}^{\mu }=\bar{p}{\gamma }^{\mu }n$ and $A_{pn}^{\mu }=\bar{p}{\gamma }^{\mu }{\gamma }^{5}n$. In the displayed Dirac basis, the inverse version of the conjugation relation also holds. Antiunitarity, $B^{-1}{\gamma }^{\mu \ast }B=t_{\mu }{\gamma }^{\mu }$ and $B^{-1}{\gamma }^{5\ast }B={\gamma }^5$ giveThe leptonic weak charged current has the same component signs. In the contraction of leptonic and hadronic currents, the two $t_{\mu }$ factors cancel. Its two independent operators thus keep their form while their coefficients become $g_V^{\ast }$ and $g_A^{\ast }$. The Hermitian-conjugate term transforms separately; its presence does not remove a relative complex phase between the vector and axial couplings.

With all intrinsic phases fixed to one and a real positive Fermi constant, invariance requires real coefficients in that convention. A common phase of $g_V$ and $g_A$ can instead be absorbed into a rephasing of the nucleon fields, and hence into their intrinsic time-reversal phases. The convention-independent condition, for $g_V\ne 0$, isThis is the relative weak phase condition for time reversal. If one coefficient vanishes, there is no relative phase to constrain; the remaining common phase can be removed. A nonreal ratio violates time-reversal symmetry even though the Lagrangian density includes its Hermitian conjugate.

For this question use the mostly-plus Dirac convention: the Minkowski metric is ${\eta }_{ab}=\mathrm{diag}(-1,1,1,1)$ andThis convention matches the printed plane-wave phase and final identity. It is related to the usual mostly-minus Dirac equation by reversing the metric and taking the negatives of the usual gamma matrices. In particular, the resulting Dirac action and its Dirac adjoint describe the same physical massive field. The Dirac gamma matrices are four complex $4\times 4$ matrices representing the spacetime Clifford algebra with quadratic form $-\eta$. The irreducible complex representation has dimension four. A convenient explicit choice is the negative of the standard Dirac representation of the gamma matrices:where ${\sigma }^i$ are the Pauli matrices. Their multiplication law verifies the displayed anticommutator.

In this representation the gamma matrix adjoint and transpose identities areandThe invariant way to express the latter pattern uses the charge-conjugation matrix:Individual transpose signs depend on the basis. More generally, a similarity transformation ${\gamma }^{\prime a}=M{\gamma }^a{M}^{-1}$ changes the Hermitizing matrix to $H^{\prime }=M^{-†}{\gamma }^0{M}^{-1}$ and the charge-conjugation matrix to $C^{\prime }=MC{M}^T$. Then ${\gamma }^{\prime a†}=H^{\prime }{\gamma }^{\prime a}{H}^{\prime -1}$ and $C^{\prime -1}{\gamma }^{\prime a}{C}^{\prime }=-{\gamma }^{\prime aT}$. Thus the simple formula with ${\gamma }^{\prime 0}$ itself presumes a compatible Hermitian basis, rather than an arbitrary nonunitary similarity transformation.

Applying $(i{\gamma }^a{\partial }_a-m)$ to the Dirac equation gives $(\square -m^2)\Psi =0$. Its mass shell is $p^2=-m^2$, so the frequencies are $p^0=\pm \sqrt{{\mathbf{p}}^2+m^2}$. The Dirac spinor transforms in the four-component Spinor representation of the Lorentz group. Under spatial rotations, the two upper and the two lower components each transform as a two-component spin-$1/2$ representation: the spin angular momentum matrices are $\mathrm{diag}({\sigma }^i,{\sigma }^i)/2$. At rest the positive-energy equation selects the upper two components, giving two independent spin polarizations, and the negative-frequency equation selects the lower two.

In the quantum theory a mode expansion isWith the mostly-plus Dirac convention, $e^{ip\cdot x}=e^{-iEt+i\mathbf{p}\cdot \mathbf{x}}$ is positive frequency. The negative-frequency coefficient obeys $(/p+m)v_s(p)=0$. The fermionic annihilation operators $b_s$ and $d_s$ satisfy the canonical anticommutation relations, with their respective fermionic creation operators. The $b_s^{†}$ excitations are particles; the $d_s^{†}$ excitations are antiparticles with the same positive energy, mass and spin-$1/2$ but opposite charge. After normal ordering, the Hamiltonian operator contains positive multiples of $b_s^{†}{b}_s+d_s^{†}{d}_s$. Reinterpreting the negative-frequency part as antiparticle creation supplies a spectrum bounded below rather than a physical tower of negative-energy particles.

For the printed $e^{ip\cdot x}$ wave, ${\partial }_a\Psi =i{p}_a\Psi$. Substitution givesThe spin label $s$ indexes the two states of a spin-$1/2$ particle, rather than varying the particle's total spin. For real on-shell $p$, Hermitian conjugation and ${\gamma }^{a†}={\gamma }^0{\gamma }^a{\gamma }^0$ giveThese are right and left null-vector equations for the same on-shell matrix.

To obtain the Gordon identity, take both external Dirac spinors to have the same real mass $m$. Their two equations implyDefine ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$. The Clifford algebra relation yieldsThereforeMultiplying the previous null-vector equation by $-1$ proves the required formula exactly:For $m\ne 0$ it can be solved for the vector-current matrix element, separating a momentum term from the antisymmetric Dirac spinor term. The identity before division also holds at $m=0$. The signs depend jointly on the metric, Clifford relation, Dirac mass term and plane-wave phase. In the mostly-minus convention of Questions 1 and 3, the printed phase instead gives $(/p+m)u=0$; the corresponding identity uses $(p_b-p_b^{\prime })$ in the antisymmetric term. Mixing that convention with the formula proved here would produce an apparent sign error.