Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 53 / 4 / a

Use four-dimensional Minkowski signature $(+---)$, ${\sigma }^{\mu }=(I,{\sigma }^i)$ and ${\bar{Q}}_{\dot{\alpha }}=(Q_{\alpha }{)}^{†}$. The odd supercharges transform as a Weyl spinor and its conjugate. In the ordinary particle Super-Poincaré algebra, Lorentz covariance makes the mixed anticommutator a vector, since $(1/2,0)\otimes (0,1/2)=(1/2,1/2)$. The even vector generator is the translation generator $P_{\mu }$, so the anticommutator is a real normalization constant times ${\sigma }^{\mu }{P}_{\mu }$. Unitarity makes that constant positive, and rescaling the charges sets it to two.

The same-chirality anticommutator is symmetric in its two spinor indices. A Lorentz-scalar term would require ${ϵ}_{\alpha \beta }$ and hence an antisymmetric internal charge label, unavailable for $\mathcal{N}=1$. A term in the Lorentz generators would violate the translation Jacobi identity. Excluding additional tensorial brane charges, as in the ordinary particle algebra, the same-chirality anticommutators therefore vanish. Lorentz covariance could initially allow $[P_{\mu },Q_{\alpha }]=a{\sigma }_{\mu \alpha \dot{\gamma }}{\bar{Q}}^{\dot{\gamma }}$. The graded Jacobi identity with $P_{\mu },Q_{\alpha },Q_{\beta }$, using their zero same-chirality anticommutator, then forces $a=0$. Thus the part of the Super-Poincaré algebra involving the odd generators isThe last identity means that a supercharge preserves momentum and mass.

The remaining odd-generator commutators express their spinor transformation under rotations and boosts. One consistent lower-index component convention isThe barred formulas follow by Hermitian conjugation. Component coefficient matrices act in the dual representation; the signs therefore must be kept consistent, as in the Jacobi sign test for supercharge components.

One can also derive and check the odd brackets directly in superspace. With left Grassmann derivatives, takeThe two cross terms in the mixed anticommutator each give $-i{\sigma }^{\mu }{\partial }_{\mu }$, totaling $2{\sigma }^{\mu }{P}_{\mu }$. Equal-chirality terms vanish because the Grassmann derivatives anticommute and their coordinate dependence is of opposite chirality. All coefficients are independent of $x$, so the charges commute with translations. This realizes the displayed algebra rather than merely postulating its brackets.