BPS Bounds, Shortening, and Multiplet Recombination

A BPS bound is an eigenvalue inequality for a positive supercharge anticommutator. In a four-dimensional $\mathcal N=2$ massive sector with central charge $Z$, diagonalization gives $M\geq\lvert Z\rvert$. At saturation, half of the supercharge combinations have zero norm and vanish in the unitary quotient, so the representation shortens. A long representation can split into short representations at the threshold and recombine when the inequality becomes strict.

Required background. Extended supersymmetry and central charges fixes $Z$ and its canonical form. Massive and massless unitary supermultiplets supplies the fermionic-oscillator construction. Hermitian forms and adjoints supplies the positive-null quotient used at saturation.

Helpful background. Characters and conformal multiplet counting supplies character bookkeeping for the later superconformal analogue.

Positivity as a matrix inequality

Let $Q_A$ collect every complex supercharge component relevant at fixed momentum, and let $u^A$ be arbitrary complex coefficients. The operator

$$\mathcal Q(u)=u^AQ_A$$

satisfies

$$\langle\Psi|\{\mathcal Q(u),\mathcal Q(u)^\dagger\}|\Psi\rangle =\|\mathcal Q(u)|\Psi\rangle\|^2 +\|\mathcal Q(u)^\dagger|\Psi\rangle\|^2 \geq0.$$

Therefore the Hermitian anticommutator matrix is positive semidefinite on every unitary charge sector. A BPS inequality is simply the requirement that all its eigenvalues be nonnegative. This derivation needs a positive physical Hilbert space and the declared adjoint; it does not apply to an unquotiented gauge-fixed space with negative-norm vectors.

For an extended algebra, first put the antisymmetric central-charge matrix into unitary skew-normal form. Each $2\times2$ block then produces an independent pair of eigenvalues $M\pm z_a$. In the normalization used here,

$$M\geq\max_a z_a.$$

Other sources may place a factor of $2$ or $\sqrt2$ in the definition of $Z$. The invariant comparison is the spectrum of the full anticommutator matrix, not the symbol attached to one coefficient. Weinberg’s general polar-decomposition argument appears in Weinberg 2000, § 25.5, pp. 51–53.

The four-dimensional N=2 bound

Choose

$$\begin{aligned} \{Q^I_\alpha,(Q^J_\beta)^\dagger\} &=2M\,\delta^{IJ}\delta_{\alpha\beta},\\ \{Q^I_\alpha,Q^J_\beta\} &=2\epsilon_{\alpha\beta}\epsilon^{IJ}Z \end{aligned}$$

in the rest frame, and write $Z=\lvert Z\rvert e^{i\phi}$. The rest frame identifies dotted and undotted little-group indices. Define

$$S_\alpha=e^{i\phi}\epsilon_{\alpha\beta}(Q^2_\beta)^\dagger, \qquad A_\alpha=\frac{Q^1_\alpha+S_\alpha}{\sqrt2}, \qquad B_\alpha=\frac{Q^1_\alpha-S_\alpha}{\sqrt2}.$$

Direct substitution gives

$$\begin{aligned} \{A_\alpha,A_\beta^\dagger\} &=2(M+\lvert Z\rvert)\delta_{\alpha\beta},\\ \{B_\alpha,B_\beta^\dagger\} &=2(M-\lvert Z\rvert)\delta_{\alpha\beta},\\ \{A_\alpha,B_\beta^\dagger\}&=0. \end{aligned}$$

The $B$ norm is nonnegative only if

$$M\geq\lvert Z\rvert.$$

This is the particle BPS bound in the present normalization. The phase $\phi$ disappeared from the eigenvalues, as it must: it can be shifted by an R-rotation, whereas the mass bound is physical.

At $M=\lvert Z\rvert$,

$$\langle\Psi|\{B_\alpha,B_\alpha^\dagger\}|\Psi\rangle=0$$

for every state in the irreducible charge sector. Positivity forces both $B_\alpha$ and $B_\alpha^\dagger$ to act as zero. Four of the eight real supercharges are therefore preserved: the representation is half-BPS.

State-count reduction

Away from saturation, $A_\alpha$ and $B_\alpha$ supply four complex fermionic creation modes. For a scalar Clifford vacuum, the long Fock factor has

$$2^4=16$$

states, split equally between bosons and fermions. At saturation the two $B$ modes are null, leaving only the two $A$ modes and

$$2^2=4$$

states in one irreducible charged short multiplet. Since $Z\neq0$ changes sign under CPT, a local CPT-invariant spectrum generally also contains the conjugate $-Z$ multiplet; the CPT-complete hypermultiplet then has four bosonic and four fermionic states.

The fraction “one-half” refers to real supercharges annihilating the state, not to half the final state count. Removing $k$ complex creators changes the Fock dimension by $2^k$. For several central-charge blocks, different degeneracies among the maximal singular values permit different shortening fractions.

Massless multiplets are also short, but for a different reason: $\sigma\cdot p$ loses rank at $p^2=0$. They need not be BPS with a nonzero scalar central charge. Likewise, a superconformal multiplet can shorten because a scaling-dimension bound is saturated. “Short” names a representation-theoretic outcome; the null operator and bound must still be specified.

Null states and the unitary quotient

At the threshold, a formal descendant $B_\alpha^\dagger|\Psi\rangle$ has zero norm and is orthogonal to the full representation. The physical short multiplet is obtained by quotienting the null submodule. Three consequences follow:

1. null states are not additional zero-probability particles;
2. the quotient is meaningful only after the Hermitian form and adjoint are fixed; and
3. a negative eigenvalue below the bound cannot be repaired by quotienting—it signals a nonunitary representation.

This distinction is essential in gauge theory. A pure-gauge state may be null because of gauge redundancy, while a BPS descendant is null because the positive superalgebra matrix loses rank. The physical state space should already have been gauge-quotiented before the BPS analysis.

Recombination at the threshold

Let a continuous parameter move $M-\lvert Z\rvert$ through positive values. For $M>\lvert Z\rvert$, the normalized $B$ creator is

$$b_\alpha^\dagger =\frac{B_\alpha^\dagger}{\sqrt{2(M-\lvert Z\rvert)}}.$$

This normalization is singular at the threshold. Exactly at saturation the long representation becomes reducible: sectors distinguished by the exterior algebra of the two would-be $b^\dagger$ modes become short representations of the surviving algebra. Character bookkeeping makes the state balance visible,

$$\chi_{\mathrm{long}}(x) =\chi_{\mathrm{short}}(x)(1+x)(1+x^{-1}),$$

where $x^{\pm1}$ records the two little-group weights of the lost creator doublet. Setting $x=1$ gives $16=4\times4$ for the scalar-vacuum example. The four threshold sectors must still be organized into irreducible little-group representations; the dimension identity alone is not their full classification.

Moving away from the bound reverses the process: the short sectors can recombine into one long representation. A quantity is protected against continuous change only if no compatible partner multiplets are available and the relevant symmetry and charge sector remain well defined. This is why a shortening label is evidence for protection, not an unconditional nonrenormalization theorem.

What the algebra does not prove

The inequality is conditional: if a state with the specified momentum, central charge, adjoint, and positive norm exists, its mass obeys the bound. Saturation then fixes its representation. The algebra alone does not establish

• existence of a classical solution or quantum state;
• normalizability or completeness;
• stability against decay into states with the same total charge;
• which side of a wall of marginal stability the state occupies;
• absence of anomalies or quantum corrections to the charge map; or
• a protected degeneracy after multiplet recombination becomes possible.

The dynamics of BPS particles, central-charge phases, and stability chambers is developed in BPS particles and central charges. Witten and Olive’s original result relates topological monopole charges to the extended algebra in a controlled class of gauge theories Witten and Olive 1978, pp. 97–101.

A reproducible matrix check should diagonalize the declared fixtures, verify exact eigenvalues and state counts, and deliberately fail a sign-mismatched example. A successful run checks the fixture; it is not a proof of the general theorem.

Common pitfalls

Writing $M=\lvert Z\rvert$ before proving positivity. The algebra first gives an inequality. Equality is an extra property of a particular state or representation.

Calling a null vector a gauge mode. BPS null descendants arise from saturation of a positive supercharge matrix. Gauge null states arise from redundancy. The quotients have different origins and must not be merged.

Assuming shortening guarantees stability. A short state can disappear by pairing into a long multiplet or decay across a marginal-stability wall while all algebraic identities remain valid.

Check your understanding

Diagonalize the $\mathcal N=2$ rest-frame algebra above and identify the step that uses unitarity.

Answer

The $A$ and $B$ combinations yield eigenvalues $2(M+\lvert Z\rvert)$ and $2(M-\lvert Z\rvert)$. Unitarity enters when $\langle\{B,B^\dagger\}\rangle$ is interpreted as a sum of squared norms. It must be nonnegative, giving $M\geq\lvert Z\rvert$; at equality, zero norm implies $B=B^\dagger=0$ in the physical quotient.

References

• Steven Weinberg, The Quantum Theory of Fields, Volume III: Supersymmetry, Cambridge University Press (2000), § 25.5, DOI.
• Edward Witten and David I. Olive, “Supersymmetry Algebras That Include Topological Charges,” Physics Letters B 78 (1978), 97–101, DOI.