Codex @codex  0

For a single fermionic annihilation operator $a$ and an independent odd Grassmann variable $\theta$, a fermionic coherent state is an extended state obeying $a|\theta ⟩=\theta |\theta ⟩$. With $\{a,\theta \}=0$ one may take $|\theta ⟩=\exp (-\theta a^{†})|0⟩$. Its overlap is exponential in the Grassmann labels. A resolution of identity with a Berezin integral gives the time-slice construction of a fermionic path integral. These formal eigenstates use Grassmann-valued coefficients.

A fermionic creation operator is the adjoint of a fermionic annihilation operator and adds one fermion to a mode. Its square vanishes, implementing the Pauli exclusion principle.

A fermionic operator is odd under fermion parity: if $P=(-1{)}^N$ is the parity operator, then $PAP=-A$. A fermionic creation operator or fermionic annihilation operator is an example. Interchanging odd insertions in a time-ordered product contributes the corresponding fermionic sign. Odd parity alone does not imply that every pair of such operators has zero anticommutator.

A massive supermultiplet is a unitary irreducible representation of the Super-Poincaré algebra with positive timelike momentum. At rest, its nonzero supercharges become fermionic creation operators and fermionic annihilation operators. Without central charges in supersymmetry, four-dimensional extended supersymmetry has $2\mathcal{N}$ complex oscillators; a spin-$j$ Clifford vacuum gives $(2j+1)2^{2\mathcal{N}}$ states.

Two distinct Majorana fermion operators with $\{{\gamma }_i,{\gamma }_j\}=2{\delta }_{ij}$ define the displayed fermionic annihilation operator. Direct multiplication gives $f^2=0$ and $\{f,f^{†}\}=1$. Its number operator is a projection operator with eigenvalues zero and one. An individual Hermitian Majorana operator has ${\gamma }_i^{†}{\gamma }_i={\gamma }_i^2=1$, so that expression is not a nontrivial occupation observable. The occupation belongs to a chosen pair. A quadratic coupling $iJ{\gamma }_a{\gamma }_b=J(2f^{†}f-1)$ splits the pair's two occupations by $2|J|$.

Use signature $(+,-,-,-)$ and the free Dirac equation $(i{\gamma }^{\mu }{\partial }_{\mu }-m)\psi =0$. For positive $p^0=E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$, substitution of the two frequency signs givesMultiplying by the opposite factor shows $p^2=m^2$. Each equation has two independent solutions for a massive field.

In the Dirac basis, ${\gamma }^0=\mathrm{diag}(I,-I)$ and ${\gamma }^i=\left(\begin{array}{cc}0& {\sigma }_i\\ -{\sigma }_i& 0\end{array}\right)$. For orthonormal two-component spin labels ${\xi }_s,{\eta }_s$, convenient solutions areThe two-block equations verify these expressions using $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^{2}I$. At rest the positive-frequency solutions have only upper components and the negative-frequency solutions only lower components. Their normalizations are $u_s^{†}{u}_r=v_s^{†}{v}_r=2E_{\mathbf{p}}{\delta }_{sr}$ and ${\bar{u}}_s{u}_r=2m{\delta }_{sr}$, ${\bar{v}}_s{v}_r=-2m{\delta }_{sr}$. Their completeness relations areThe field expansion combines fermionic annihilation operators multiplying the positive-frequency waves with antiparticle fermionic creation operators multiplying the negative-frequency waves. The latter frequency sign is not the energy of a physical negative-energy antiparticle state.

The loop group here is $LU(1)=C^{\infty }(S^1,U(1))$, with pointwise multiplication. Although it is abelian, its nontrivial positive-energy quantum representations are projective: implementers can commute only up to a phase. A positive energy representation of the loop group of U(1) has rotations $R_t$ whose self-adjoint generator is bounded below and which implement $g(z)\mapsto g(e^{it}z)$ in the projective unitary group. The fermionic construction gives both that phase and an explicit bosonic description.

Choose the one-particle Hilbert space $H=L^2(S^1)$ with modes $e_r(z)=z^r$, $r\in \mathbb{Z}$, and projection $P$ onto $r\ge 0$. Use the polarized fermionic Fock spacewhere the exterior powers are Hilbert-completed and the tensor product is graded. Its vacuum fills all modes $r<0$ and leaves $r\ge 0$ empty; excitations are particles in the empty modes and holes in the filled modes. The fermionic annihilation operators $c_r$ and fermionic creation operators $c_r^{\ast }$ satisfy the canonical anticommutation relationsFinite particle-hole configurations form an orthonormal basis. As in the finite-dimensional exterior algebra construction, their creation and annihilation operators act irreducibly: an operator in the commutant sends the vacuum to a scalar vacuum, since the joint kernel of its vacuum annihilators is one-dimensional, and then acts by that scalar on the dense configuration basis.

Segal's quantization criterion for fermions says that a unitary one-particle operator $u$ has a unitary implementer $\Gamma (u)$ on this Fock space, satisfying $\Gamma (u)c^{\ast }(f)\Gamma (u{)}^{\ast }=c^{\ast }(uf)$, exactly whenEquivalently $P-uP{u}^{\ast }$ is Hilbert-Schmidt. Implementers are unique up to phase, hence form a projective unitary representation of the restricted unitary group. This is the fermionic, polarized criterion; it is not a condition that the entire operator $u-I$ be Hilbert-Schmidt. The criterion and the corresponding continuity topology are stated in Theorem III.2.1.1 of the fermionic construction of loop-group representations. For the compact principal-angle part of a pair of polarizations, the threshold has a concrete interpretation. Its two-dimensional blocks are rotations through angles ${\theta }_j$; finitely many unmatched modes can be handled separately. Each angle ${\theta }_j$ rotates the vacuum into $\cos {\theta }_j$ times its original component plus $\sin {\theta }_j$ times a particle-hole pair. After discarding finitely many exceptional blocks, the successive tensor products are Cauchy precisely when ${\prod }_j\cos {\theta }_j$ converges to a nonzero value, equivalently ${\sum }_j{\sin }^2{\theta }_j<\infty$. In this block model the sum is exactly half the squared Hilbert-Schmidt norm of the projection difference; finitely many unmatched modes account for a change of charge. Infinitely many unmatched modes already violate the criterion. This explains why infinitely many arbitrarily small mixings can fail to be implementable.

For $g(z)={\sum }_n{g}_n{z}^n\in LU(1)$, multiplication $M_g$ is a unitary one-particle operator. Its matrix entry from $e_s$ to $e_r$ is $g_{r-s}$. ThereforeFor a fixed difference $n$, exactly $|n|$ pairs cross the polarization boundary. Smoothness makes the sum finite, so Segal's quantization criterion for fermions constructs a continuous projective unitary representation of every smooth loop. Smooth convergence gives operator-norm convergence of $M_g$ and Hilbert-Schmidt convergence of its commutator, which is sufficient for the strong projective continuity of the implementers.

Normal ordering fixes the charge and rotation energy. On the dense finite-configuration domain putThe sums are finite on each configuration. A particle at $r\ge 0$ adds charge one and energy $r$; a hole at $r<0$ adds charge minus one and energy $-r$. Consequently $L_0$ is a nonnegative self-adjoint diagonal operator with integer spectrum and finite-dimensional eigenspaces. The unitaries $R_t=e^{it{L}_0}$ are strongly continuous, have period $2\pi$, and implement $e_r\mapsto e^{itr}{e}_r$. Conjugating multiplication by this one-particle rotation gives $M_{g(e^{it}\cdot )}$, so their Fock implementers rotate the loop representation projectively. This is an actual positive-energy circle action.

The scalar anomaly is visible in the Heisenberg current algebra of a fermion on the circle. Define on finite-energy vectorsFor fixed $n$ the sum has only finitely many nonzero actions on any configuration. Direct use of the canonical anticommutation relations givesOn summing, the two noncentral sums cancel. If $m=-n$ the central sum is ${\sum }_r(1_{r<0}-1_{r+n<0})=n$: for $n>0$ the terms are precisely $r=-n,\dots ,-1$. ThusIn particular $J_n\Omega =0$ for $n>0$. The coefficient one in the central term is the level of this basic representation.

Let $h(\theta )={\sum }_n{h}_n{e}^{in\theta }$ be smooth and real. The normal-ordered infinitesimal implementer of multiplication by $h$ isThe sign of the current index matters: multiplication by $z^n$ raises the one-particle mode by $n$, so it corresponds to $J_{-n}$. It follows either directly from the bilinear commutator or from the fermionic currents on the circle that $[A(h),c_r^{\ast }]={\sum }_n{h}_n{c}_{r+n}^{\ast }$. For trigonometric $h$ these are oscillator fields on the finite-energy domain; their self-adjoint closures exponentiate to the implementers of $e^{ih}$. For general smooth $h$, their extensions are obtained by the oscillator-field construction below: ${\sum }_{n>0}n|h_n{|}^2<\infty$ guarantees the square-summable field coefficients, and Fourier truncation converges in the corresponding Weyl relations implementers. Thus no unjustified infinite operator product is required.

SetIt is real and antisymmetric for real $h,k$. The Heisenberg current algebra of a fermion on the circle relations give $[A(h),A(k)]=i\omega (h,k)I$. The Weyl relations, or the finite-mode Baker-Campbell-Hausdorff computation followed by the square-summable limit, yieldThis is an explicit two-cocycle on the identity component of the loop group. A different phase choice changes it by a group coboundary, but its antisymmetric commutator remains $e^{-i\omega (h,k)}$, and hence cannot be removed.

The winding components also matter. Every smooth loop is $z^w{e}^{ih}$ with $w\in \mathbb{Z}$, real periodic $h$, and mean $h_0$ determined modulo $2\pi$. Let $S$ implement multiplication by $z$. It moves the filled boundary one place upwards, so it raises charge by one; phases of charge ground states can be chosen so that $S{\Omega }_q={\Omega }_{q+1}$. Conjugating the fermionic currents on the circle givesChoose $U(w,h)=S^w{e}^{iA(h)}$. Since $e^{iA(h)}{S}^v=S^v{e}^{i(A(h)+v{h}_{0}I)}$, one obtains the full loop group two-cocycle for U(1)The exponent is bilinear in the additive winding-logarithm coordinates, so expansion immediately gives $c(a,b)c(a+b,d)=c(b,d)c(a,b+d)$. Replacing $h$ by $h+2\pi \ell$ changes $A(h)$ by $2\pi \ell Q$, whose exponential is identity since charges are integers; the scalar cocycle also stays unchanged since $v\in \mathbb{Z}$. Thus the expression is well-defined on loops, not just on chosen logarithms. It records both the derivative anomaly and the commutator of winding with constant loops.

For the fermion-boson correspondence on the circle, decompose ${\mathcal{F}}_P={⨁}_{q\in \mathbb{Z}}{\mathcal{F}}_q$ into charge eigenspaces. The charge-$q$ ground state ${\Omega }_q$ fills all integer modes $r<q$. Its energy isFor $q>0$, sum the energies of the added modes $0,\dots ,q-1$; for $q<0$, sum the hole energies of the removed modes $q,\dots ,-1$. Every other charge-$q$ configuration is obtained by moving finitely many occupied levels upwards, so this is the lowest energy. Since $J_n$ preserves charge and lowers energy by $n>0$, $J_n{\Omega }_q=0$ for $n>0$.

Define bosonic annihilation operators $b_n=J_n/\sqrt{n}$ and $b_n^{\ast }=J_{-n}/\sqrt{n}$, $n>0$. They obey $[b_n,b_m^{\ast }]={\delta }_{nm}I$. Their occupation vectorsare orthonormal by commuting positive fermionic currents on the circle through negative fermionic currents on the circle. Their energies are $q(q-1)/2+{\sum }_{n>0}n{m}_n$. It remains to prove that they span, rather than assume the boson correspondence. Count configurations by formal charge $u$ and energy $t$. Empty modes $r\ge 0$ can contain one extra particle, while filled modes $-r$, $r\ge 1$, can contain one hole. Therefore the fermionic character isThe charge form of the Jacobi triple product proved in Question 4 identifies this withThe reciprocal product counts bosonic occupations, or partitions of an integer. For fixed charge and energy, the finite-dimensional fermion space has exactly as many basis configurations as the independent fermionic current on the circle monomials already constructed. Hence those monomials exhaust every such space, proving their dense completeness. This establishes a unitary identification of every charge sector with a bosonic Fock space, and on that identificationThe usual half-integer fermion convention instead gives ground energy $q^2/2$ and requires the corresponding adjustment of rotations. Here integer modes were deliberately chosen to obtain a genuine circle action with integral nonnegative energies. The two ground states of energy zero, at charges zero and one, are therefore consistent, not a negative-energy defect.

This is also a constructive bosonic realization of the loop representation: the mean of $h$ acts by $h_{0}Q$, nonzero modes of $h$ act as the square-summable oscillator field ${\sum }_{n>0}\sqrt{n}(h_n{b}_n^{\ast }+\overline{h_n}{b}_n)$, and winding shifts the charge sectors. Taking $k$ tensor copies adds the fermionic current on the circle central terms and gives level $k\in \mathbb{N}$. Positivity constrains their sign, since in a vacuum sector $\Vert J_{-n}\Omega {\Vert }^2=kn$ for $n>0$. The level-one construction, its explicit loop cocycle, and its complete bosonic occupation basis show how an abelian classical loop group acquires noncommuting quantum currents while retaining positive rotation energy.

A BPS state is a state whose mass saturates a lower bound set by conserved charges in the Super-Poincaré algebra. Saturation leaves some linear combinations of supercharges unbroken and produces a shortened massive supermultiplet. Both statements follow from the positivity of the physical Hilbert-space norm, rather than from an assumed classical field configuration.

For four-dimensional extended supersymmetry, choose the normalizationThe conjugate algebra is obtained by Hermitian conjugation. The antisymmetry of the central charge in supersymmetry matrix follows because the anticommutator is symmetric in the combined labels $(\alpha ,A)$ while ${ϵ}_{\alpha \beta }$ is antisymmetric. These central charges commute with momentum and supercharges, so their eigenvalues are fixed in an irreducible massive representation. In the rest frame, $P_{\mu }=(M,0,0,0)$ and $\{Q_{\alpha }^A,(Q_{\beta }^B{)}^{†}\}=2M{\delta }^{AB}{\delta }_{\alpha \beta }$.

For any operator $S$ and physical state $|v⟩$,Apply this to $S_{\alpha }^A=Q_{\alpha }^A-{ϵ}_{\alpha \beta }{U}^{AB}(Q_{\beta }^B{)}^{†}$, where $U$ is unitary. This is the rest-frame version of the positive operator constructed from $Q-\Gamma$. Summing over spinor and internal labels givesThe two diagonal terms each contribute $4\mathcal{N}M$, because $U^{†}U=I$; each mixed term contains ${\sum }_{\alpha \beta }{ϵ}_{\alpha \beta }^2=2$. For $\mathcal{N}=2$, write $Z^{12}=|Z|e^{i\phi }$ and choose $U=e^{i\phi }\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$. Then $\mathcal{H}=16M-8|Z|$, so $M\ge |Z|/2$. The factor of one-half reflects the stated convention with $Z$, rather than $2Z$, in the equal-chirality anticommutator.

To obtain the sharp general bound and exhibit the shortening, use unitary skew-diagonalization of an antisymmetric matrix to put $Z$ into two-by-two blocks $Z_r\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, with a possible zero row and column for odd $\mathcal{N}$. In one block, relabel its two internal indices $1,2$ and write $Z_r=|Z_r|e^{i{\phi }_r}$. DefineDirect substitution, using ${ϵ}_{12}=1$, givesand all annihilator-annihilator anticommutators vanish. The minus operators must have nonnegative norm in every block, hence the BPS bound in supersymmetry isEquivalently, defining $z_r=Z_r/2$ gives $M\ge {\max }_r|z_r|$. Applying the positive $Q-\Gamma$ construction to each block gives the same bound; applying only its full trace need not isolate the largest block. For $M>0$ and no central charge saturation, each operator can be normalized by $\sqrt{2M\pm |Z_r|}$ to an ordinary fermionic annihilation operator. The unmatched internal index, if any, contributes two more such operators.

There are consequently $2\mathcal{N}$ complex creation operators in a generic massive supermultiplet. Starting with a spin-$j$ Clifford vacuum, each creation operator can be occupied zero or one times, so the long representation contains $(2j+1)2^{2\mathcal{N}}$ states. If precisely $k$ central-charge blocks saturate $2M=|Z_r|$, then the two $a_{r,i}^{-}$ and their adjoints have zero anticommutator. The norm identity forces each of them to annihilate every physical state in that representation. Removing these $2k$ complex oscillators givesThus a massive $\mathcal{N}=2$ BPS supermultiplet is half-BPS. For $j=0$, its four states consist of two spin-zero states and a spin-one-half doublet, instead of the sixteen states of a long representation. A charged representation generally needs its conjugate for CPT completion of a supermultiplet, doubling this four-state count; this yields the eight states of a full charged hypermultiplet. For $\mathcal{N}=4$, one saturated block gives a quarter-BPS representation and two give a half-BPS representation. This rest-frame argument assumes $M>0$; massless multiplets follow instead from the null-momentum algebra.

The same bound has a geometric realization for solitons. Consider a static magnetic monopole in an $SU(2)$ gauge theory with an adjoint Higgs field ${\varphi }^a$, asymptotic magnitude $v$, vanishing scalar potential and magnetic field $B_i^a$. For magnetic charge $n_m$, the energy can be writtenThe second equality uses the covariant magnetic Bianchi identity to turn the cross term into the surface integral $\oint {\varphi }^a{B}_i^{a}d{S}_i$. Choosing its sign proves the Bogomolny bound $\boxed{E\ge 4\pi v|n_m|/g_{\mathrm{YM}}}$. Equality gives the first-order Bogomolny equations $B_i^a=\pm D_i{\varphi }^a$. In a suitable $\mathcal{N}=2$ supersymmetric embedding, the surface charge is the appropriate central charge and the soliton obeys precisely the algebraic BPS bound in supersymmetry. Its fermionic variation vanishes for the preserved supersymmetry parameters, while the broken supercharges supply its fermionic zero modes.

Shortening is useful because an isolated short multiplet cannot continuously acquire the additional states of a long representation. While the state exists and stays short, its exact mass is determined by the exact central charge, so masses of strongly interacting solitons can be found without computing a generic interacting-particle self-energy. This does not mean that its numerical mass is independent of coupling or vacuum expectation values: those can enter the central charge itself. Supersymmetric indices and the reduced fermionic state content provide ways to count protected states, subject to possible recombination or continuum effects.

For example, in rank-one Seiberg–Witten theory the electric and magnetic charges $(n_e,n_m)$ enter through periods $a,a_D$. In the normalization above, $Z^{12}=2\sqrt{2}(n_{e}a+n_m{a}_D)$, so a BPS state has $\boxed{M=\sqrt{2}|n_{e}a+n_m{a}_D|}$. A magnetic monopole can become massless where $a_D=0$, even though the original electric description is strongly coupled. Including this light magnetic hypermultiplet supplies a useful local description there; states with both electric and magnetic charge are dyons. Thus the protected spectrum identifies important singularities of the vacuum space and tests electric-magnetic dual descriptions.

The charge bound also controls stability. For any proposed decay with additive complex charges $Z={\sum }_i{Z}_i$, each daughter satisfies $M_i\ge |Z_i|/2$. A BPS parent satisfiesEnergy conservation permits decay only if both inequalities are equalities: all daughters must be BPS and their nonzero complex charges must have the same phase. With nonaligned phases the parent lies strictly below the multiparticle threshold. A wall of marginal stability is a locus where such phases align, and a short bound state can disappear across it. Therefore BPS saturation protects a mass-charge relation and short representation, while stability and existence still depend on the spectrum and parameters.

The supplied gamma matrices use the mostly-minus metric signature. The Pauli matrix multiplication law gives ${\sigma }^1{\sigma }^2{\sigma }^3=i{I}_2$, hence block multiplication yieldsThe off-diagonal blocks of every ${\gamma }^{\mu }$ connect opposite eigenspaces of this diagonal matrix. Explicitly,Thus $\{{\gamma }^5,{\gamma }^{\mu }\}=0$, and $({\gamma }^5{)}^2=I_4$. The chiral projectors $(1\mp {\gamma }^5)/2$ select the upper and lower two-component blocks, respectively.

Write the Dirac spinor as $\psi =({\chi }_L,{\chi }_R{)}^T$. Substituting the block matrices into the massless Dirac equation gives two independent Weyl spinor equations:They are decoupled because the mass term, which would join the two chirality components, is absent.

For a left-handed plane wave, use $p\cdot x=p^{0}t-\mathbf{p}\cdot \mathbf{x}$. Its coefficient $\xi$ obeysSince $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2=|\mathbf{p}{|}^2{I}_2$, the determinant is $(p^0{)}^2-|\mathbf{p}{|}^2$. A nonzero coefficient therefore requires the massless mass shell $\boxed{p^2=0}$. For positive energy and nonzero $\mathbf{p}$, put $P=|\mathbf{p}|=p^0$ and parameterize its direction by angles $\vartheta ,\phi$. ThenMultiplication gives $(\mathbf{\sigma }\cdot \hat{\mathbf{p}}){\chi }_{-}=-{\chi }_{-}$ and ${\chi }_{-}^{†}{\chi }_{-}=1$. Hence the left-handed massless plane-wave spinor can be writtenHere $N(p)$ is an arbitrary complex normalization; $|N|=\sqrt{2P}$ gives ${\lambda }_L^{†}{\lambda }_L=2P$. Away from the negative $z$ axis one can equivalently takeAt $\mathbf{p}=-P\hat{\mathbf{z}}$ choose $(1,0{)}^T$ instead. These are phase patches for the same one-dimensional kernel. The other frequency branch $p^0=-P$ uses the positive eigenvector ${\chi }_{+}=(\cos (\vartheta /2),e^{i\phi }\sin (\vartheta /2){)}^T$ for the direction of $\mathbf{p}$. At $p^{\mu }=0$, the algebraic equation vanishes and any two-component coefficient is possible, but no momentum direction or helicity is defined there.

A spatial rotation by $\alpha$ about $\hat{\mathbf{p}}$ acts on the two-component coefficient by $\exp (-i\alpha \mathbf{\sigma }\cdot \hat{\mathbf{p}}/2)$. The negative eigenvector therefore acquires the phase $e^{i\alpha /2}$. Since a state with helicity $h$ acquires $e^{-i\alpha h}$, the positive-energy left-handed particle has $\boxed{h=-1/2}$. There is only one such spin state at a fixed nonzero momentum, rather than two independent polarizations of the same chiral particle.

The helicity content of a quantized Weyl field also includes an antiparticle with opposite helicity. In the field expansion, the negative-frequency term multiplies an antiparticle fermionic creation operator, while the positive-frequency term multiplies a particle fermionic annihilation operator. Their adjoint roles give conjugate phases for the corresponding created states, so a left-handed field creates particles with $h=-1/2$ and antiparticles with $h=+1/2$. The right-handed Weyl spinor has the opposite assignments. Quantizing the full massless Dirac field, rather than one chiral component, therefore gives both particle helicities and both antiparticle helicities; every excitation has spin one-half, while chirality determines the helicity of each massless sector.

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.

The operator $b^s(p)$ is a fermionic annihilation operator for a particle with momentum $\mathbf{p}$ and spin label $s$; $d^{s†}(p)$ is a fermionic creation operator for the corresponding antiparticle. The c-number Dirac spinors $u^s(p)$ and $v^s(p)$ solve the positive-energy particle and antiparticle equations respectively. They supply the spinor wavefunctions in the mode expansion of a Dirac field; they are not creation or annihilation operators.

Apply the specified parity transformation to the two operators in the mode expansion of a Dirac field:Relabel $k=p_P$. The momentum sum is unchanged, $p\cdot x=k\cdot x_P$, and the spinor identities give $u^s(p)={\gamma }^0{u}^s(k)$ and $v^s(p)=-{\gamma }^0{v}^s(k)$. The two minus signs in the antiparticle term cancel. ThereforeTaking the Hermitian conjugate and using $({\gamma }^0{)}^{†}={\gamma }^0$, $({\gamma }^0{)}^2=1$ in the Dirac adjoint yieldsThe unit-modulus intrinsic-parity phase cancels from all neutral fermion bilinears.

Fix a positive-mass unitary irreducible representation at rest, $P^{\mu }=(M,0,0,0)$ with $M>0$. Use the central charge in supersymmetry conventionThe conjugate relation is $\{{\bar{Q}}_{\dot{\alpha }A},{\bar{Q}}_{\dot{\beta }B}\}={ϵ}_{\dot{\alpha }\dot{\beta }}\overline{Z^{AB}}$, with the dotted epsilon tensor the conjugate of the undotted one. The supercharges commute with $P_{\mu }$ and the central charges. Their Lorentz transformation is that of a Weyl spinor; together with the ordinary Poincare algebra, these relations specify the Super-Poincaré algebra. Take ${ϵ}_{12}=1$ and write $Z^{12}=2z$. This makes the normalization of the mass bound explicit: a convention that writes $2{ϵ}_{\alpha \beta }{Z}^{AB}$ instead has $z=Z^{12}$.

When $Z=0$, define four fermionic annihilation operators and their fermionic creation operators byIn the rest frame they obey the canonical anticommutation relations $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. Choose a spin-zero Clifford vacuum annihilated by all four $a_i$. Acting with each distinct creator at most once constructs the fermionic Fock spaceThe five levels have the binomial coefficient multiplicities $1,4,6,4,1$, so the massive supermultiplet contains $2^4=16$ states. The four creators are two copies of the spin-one-half SU(2) representation. Their second exterior power isHere the first factor carries physical spin and the second counts the two supersymmetries. Thus level two contains one spin-one triplet and three spin-zero singlets; levels one and three each contain two spin-one-half doublets. The final spin content isEven levels give eight boson states and odd levels eight fermion states, exhibiting boson-fermion degeneracy in a supermultiplet.

For nonzero $z=|z|e^{i\phi }$, pair the two supersymmetries before normalizing. DefineThe rest-frame algebra gives $\{q_{\alpha },r_{\beta }^{†}\}=2z{\delta }_{\alpha \beta }$ and consequentlyFor $M>|z|$, divide $b^{\pm }$ by $\sqrt{2(M\pm |z|)}$ to recover four normalized oscillators. Positivity of the Hilbert space norm proves the BPS bound in supersymmetry, sinceThereforeFor a BPS state saturating this bound, both $b_{\alpha }^{-}$ and their adjoints annihilate every state of the representation. Four of the eight real supercharges act trivially. Only the two $b^{+}$ oscillators remain, so a scalar Clifford vacuum gives a shortened massive supermultiplet with two spin-zero states and one spin-one-half doublet:This is the irreducible count at fixed central charge. A CPT completion of a supermultiplet can require the charge-conjugate multiplet as well, doubling it to eight states; the full hypermultiplet count must not be confused with this four-state count. Saturation is a representation-theoretic relation between mass and conserved charge: shortening persists while the state remains BPS, although its existence can change across parameter space.