Extended Supersymmetry, R-Symmetry, and Central Charges

Extended supersymmetry adds a multiplicity index $I$ to the supercharges. The mixed anticommutator still produces momentum, while the same-chirality anticommutator can contain an antisymmetric complex matrix of scalar central charges. A unitary change of supercharge basis acts on that matrix by congruence, and a fixed numerical matrix retains only its stabilizer. This basis covariance must be distinguished from a genuine internal symmetry under which a Haag–Łopuszański–Sohnius central charge commutes with every generator. Tensorial charges are a separate extension: they transform under Lorentz transformations and typically measure extended objects or boundary sectors.

Required background. The four-dimensional N=1 algebra fixes the two-component convention. Projective actions and central extensions supplies the distinction between a central operator and a projective phase.

Helpful background. The dimension-by-dimension supercharge map compares zero-charge R-symmetry families and representative extension channels from two through eleven dimensions. Disorder operators and singular boundary conditions gives examples in which a charge is defined by asymptotic or defect data rather than a local particle density.

The extended four-dimensional algebra

Let $I,J=1,\ldots,\mathcal N$. In the conventions of the preceding page,

$$\begin{aligned} \{Q^I_\alpha,\bar Q_{\dot\beta J}\} &=2\sigma^\mu_{\alpha\dot\beta}P_\mu\,\delta^I{}_J,\\ \{Q^I_\alpha,Q^J_\beta\} &=2\epsilon_{\alpha\beta}Z^{IJ},\\ \{\bar Q_{\dot\alpha I},\bar Q_{\dot\beta J}\} &=2\epsilon_{\dot\alpha\dot\beta}\bar Z_{IJ},\\ [P_\mu,Q^I_\alpha]&=0. \end{aligned}$$

Hermitian conjugation gives $(Z^{IJ})^\dagger=\bar Z_{IJ}$. Exchanging the complete pairs $(I,\alpha)$ and $(J,\beta)$ leaves the anticommutator unchanged but changes the sign of $\epsilon_{\alpha\beta}$, so

$$Z^{IJ}=-Z^{JI}.$$

This is why a point-particle scalar central charge vanishes for $\mathcal N=1$ and first appears for $\mathcal N=2$. The graded Jacobi identities show that $Z^{IJ}$ commutes with translations and supercharges, and Lorentz covariance makes it a scalar. Under the particle S-matrix hypotheses of Haag–Łopuszański–Sohnius, compactness of the complete internal symmetry algebra further forces these $Z^{IJ}$ to commute with its genuine generators: they are central in the full symmetry algebra. This is proved in Weinberg 2000, § 25.2, Eqs. (25.2.21)–(25.2.29), pp. 35–36 and belongs to the original classification Haag, Łopuszański, and Sohnius 1975, pp. 257–274.

Nor does a commuting charge have to take the same value on the entire Hilbert space. In a fixed irreducible sector of the algebra that commutes with it, Schur’s lemma makes it a complex number $z^{IJ}$; different superselection sectors may carry different eigenvalues.

Basis covariance, R-symmetry, and the fixed-charge stabilizer

When $Z=0$, unitary changes of basis among the $\mathcal N$ supercharges preserve the momentum term:

$$Q^I_\alpha\longmapsto U^I{}_JQ^J_\alpha, \qquad U\in U(\mathcal N).$$

This $U(\mathcal N)$ is the algebraic R-automorphism group of the zero-charge algebra. It acts on the family of centrally extended brackets by

$$Z\longmapsto UZU^{\mathsf T}.$$

because both indices of $Z^{IJ}$ transform in the fundamental. This is congruence, not similarity: ordinary eigenvalues of $Z$ are not invariant, while its singular values are. For a fixed numerical charge matrix, only

$$G_Z=\{U\in U(\mathcal N):UZU^{\mathsf T}=Z\}$$

preserves that representative.

There are now two logically different possibilities. If $T_A$ is a genuine internal generator in the HLS symmetry algebra, then $[T_A,Z]=0$. If instead an R-derivation is explicitly adjoined to the supertranslation algebra and acts by

$$[T_A,Q^I_\alpha]=(t_A)^I{}_JQ^J_\alpha,$$

then the Jacobi identity gives

$$[T_A,Z]=t_AZ+Zt_A^{\mathsf T}.$$

When the right-hand side is nonzero, $Z$ is central only in the supertranslation and Poincaré subalgebra, not in the algebra enlarged by that derivation. An ordinary flavor generator has $t_A=0$ and commutes with $Q$; an R-generator has $t_A\neq0$. A supercharge-basis change, an automorphism of the abstract algebra, a symmetry of an action, an anomaly-free quantum symmetry, and the subgroup preserved by a state are therefore distinct objects.

For $\mathcal N=2$,

$$Z^{IJ}=\epsilon^{IJ}Z.$$

The identity $U\epsilon U^{\mathsf T}=(\det U)\epsilon$ shows that $SU(2)_R$ preserves a fixed nonzero representative $Z$, while the overall $U(1)$ changes its phase and moves through the isomorphic family. That $U(1)$ may still be useful as a basis change or spurionic transformation if couplings and charges transform, but it is not in the fixed-$Z$ stabilizer.

Canonical central-charge blocks

Every complex antisymmetric matrix admits a unitary skew-normal form,

$$UZU^{\mathsf T} =\operatorname{diag}(z_1\epsilon,z_2\epsilon,\ldots,z_r\epsilon,0), \qquad \epsilon=\begin{pmatrix}0&1\\-1&0\end{pmatrix},$$

where phases may be chosen so that $z_a\geq0$. Equivalently, each nonzero singular value of $Z$ occurs twice. Grouping blocks with the same positive singular value $\lambda$ gives

$$Z\simeq \bigoplus_{\lambda>0}\lambda J_{2m_\lambda} \oplus 0_k, \qquad G_Z\simeq \prod_{\lambda>0}USp(2m_\lambda)\times U(k),$$

where $J_{2m}$ is the standard unitary symplectic form and $k=\mathcal N-2\sum_\lambda m_\lambda$. For distinct nonzero blocks this reduces to $SU(2)^r\times U(k)$; if two singular values coincide, their two $SU(2)$ factors enhance to $USp(4)$. Odd $\mathcal N$ necessarily has $k\geq1$. This is the correct basis for the positivity problem because the supercharge anticommutator decomposes into independent internal blocks. The central-charge normal form and its massive-multiplet stabilizers are developed in Ferrara, Savoy, and Zumino 1981, pp. 393–398.

For $\mathcal N=2$, there is one possible $2\times2$ block. In a fixed sector with $Z\neq0$, choose a supercharge basis with $\det U=e^{-i\arg Z}$, giving the isomorphic representative $|Z|$. This basis change is not in the nonzero fixed-$Z$ stabilizer $SU(2)$, and one choice need not make every charge sector simultaneously real. When $Z=0$, no phase choice is needed and the stabilizer is $U(2)$. In a massive rest frame, identify dotted and undotted $SU(2)$ little-group indices. Suitable combinations of $Q^1$ and $(Q^2)^\dagger$ then have anticommutators proportional to

$$2(M+|Z|), \qquad 2(M-|Z|).$$

Positivity therefore singles out the invariant magnitude $|Z|$, not its convention-dependent phase, as the particle charge entering the BPS inequality. The complete diagonalization, state-count reduction, and recombination limit are derived on BPS bounds and shortening.

As a convention check, the eigenvalues of $ZZ^\dagger$ are basis invariant. Any proposed R-rotation or phase redefinition must preserve them, and hence preserve every mass bound.

Scalar central charges and tensorial charges

A scalar $Z$ commutes with Lorentz transformations. Charges carried by strings, walls, and higher-dimensional objects need not. With extended indices displayed, a general same-chirality bracket has the schematic form

$$\{Q^I_\alpha,Q^J_\beta\} =\sum_p\frac1{p!} (C\Gamma^{\mu_1\cdots\mu_p})_{\alpha\beta} Z^{IJ}_{\mu_1\cdots\mu_p},$$

where the momentum term is included at its dimension-dependent rank and with its invariant tensor on $I,J$. Symmetry of the anticommutator constrains the complete coefficient:

$$(C\Gamma^{(p)})_{\beta\alpha}Z^{JI}_{(p)} =(C\Gamma^{(p)})_{\alpha\beta}Z^{IJ}_{(p)}.$$

A symmetric spinor bilinear therefore pairs with a symmetric internal tensor, while an antisymmetric spinor bilinear pairs with an antisymmetric internal tensor. Only when there is one supercharge must the spinor matrix itself be symmetric. The permitted ranks and duality conditions depend on dimension, signature, chirality, and reality, and every candidate must also pass the graded Jacobi identities. The combined spinor/internal transpose rule is derived in Weinberg 2000, § 32.3, Eqs. (32.3.5)–(32.3.9), pp. 400–401.

The logical distinction is:

Charge	Translation bracket	Lorentz behavior	Typical physical datum
scalar central $Z$	$[P,Z]=0$	scalar; commutes with $M_{\mu\nu}$	eigenvalue determined by electric, magnetic, flavor, or topological charges and background moduli
tensorial $Z_{\mu_1\cdots\mu_p}$	$[P,Z_{(p)}]=0$	transforms as a $p$-form	oriented string, wall, brane, boundary, or winding charge

The table describes a translation-invariant bulk or isolated extended-object sector. A physical boundary preserves only translations tangent to it; the broken normal translation is not a symmetry, so one must not impose the table’s full $[P_\mu,Z]=0$ statement on that boundary algebra.

In four dimensions, for example, the symmetric tensor $(\sigma^{\mu\nu})_{\alpha\beta}$ couples to one chiral projection of a complexified two-form in $\{Q_\alpha,Q_\beta\}$; the dotted bracket carries the conjugate projection. Which projection is called self-dual depends on the epsilon and Lorentz-generator convention. Such terms can occur when wall or boundary sectors invalidate the point-particle assumptions. In eleven dimensions the standard schematic extension is

$$\{Q,Q\} =(C\Gamma^\mu)P_\mu +\frac12(C\Gamma^{\mu\nu})Z_{\mu\nu} +\frac1{5!}(C\Gamma^{\mu_1\cdots\mu_5})Z_{\mu_1\cdots\mu_5}.$$

The two- and five-form terms are associated with M2- and M5-brane sectors. They are sometimes called “central charges of the supertranslation algebra,” but they are not central in the full Lorentz algebra. The dimension-dependent construction and point-particle loophole are detailed in Weinberg 2000, § 32.3, pp. 397–401; their realization in the M5-brane Noether algebra is checked in Sorokin and Townsend 1997, pp. 265–273.

Such charges are often surface terms. Their value depends on orientation, normalization, asymptotic fields, topology, and boundary conditions; a Wess–Zumino term can generate the topological extension de Azcárraga, Gauntlett, Izquierdo, and Townsend 1989, pp. 2443–2446. The algebra can imply an energy bound in a specified sector; it does not prove that a soliton exists, is stable, or survives quantum corrections. Witten and Olive established the scalar central-charge relation to topological monopole sectors in Witten and Olive 1978, pp. 97–101.

A charge-record checklist

Before using an extended bracket, record:

1. spacetime dimension, signature, spinor real form, and chirality;
2. the number of independent real supercharges;
3. the adjoint and normalization of $Q$, $P$, and every $Z$;
4. whether a charge is a Lorentz scalar or a tensorial surface charge;
5. its transformation under the algebraic R-symmetry;
6. the stabilizer of the chosen charge sector;
7. the global charge lattice, orientation, and boundary conditions when physical charges are claimed; and
8. the invariant check—normally singular values of $Z$, a Dirac pairing, or a positive anticommutator eigenvalue.

Common pitfalls

Calling every commuting surface term central. Commuting with translations is not enough. A tensorial charge fails to commute with Lorentz generators and is not central in the full super-Poincaré algebra.

Using $U(\mathcal N)$ after fixing a generic $Z$. The zero-charge algebra has $U(\mathcal N)$ automorphisms. A nonzero central-charge matrix retains only its unitary-congruence stabilizer.

Turning a BPS bound into an existence claim. Positivity says what the mass must obey if a state with those charges exists. Existence, stability, and wall crossing belong to the dynamics of the relevant charge sector.

Exercises

1. Antisymmetry and the N=2 stabilizer

Derive $Z^{IJ}=-Z^{JI}$. Then use $U\epsilon U^{\mathsf T}=(\det U)\epsilon$ to identify the fixed-$Z\neq0$ subgroup of $U(2)$ and exhibit a basis change that makes $Z$ positive real.

Solution

The anticommutator is symmetric under $(I,\alpha)\leftrightarrow(J,\beta)$, whereas $\epsilon_{\alpha\beta}$ changes sign, so $Z^{JI}=-Z^{IJ}$. For $\mathcal N=2$, write $Z^{IJ}=\epsilon^{IJ}z$. Preserving the chosen $z\neq0$ requires $\det U=1$, hence $G_Z=SU(2)=USp(2)$. A matrix with $\det U=e^{-i\arg z}$ sends the representative to $|z|$; it is a change of basis through the family of algebras, not an element of the original fixed-$z$ stabilizer.

2. Degenerate and nondegenerate N=4 blocks

For

$$Z=\operatorname{diag}(z_1\epsilon,z_2\epsilon), \qquad z_1,z_2>0,$$

compare the stabilizer when $z_1\neq z_2$ with the stabilizer when $z_1=z_2$.

Solution

If the singular values differ, a preserving unitary matrix cannot mix their two-dimensional singular subspaces. Each block has stabilizer $USp(2)\simeq SU(2)$, so $G_Z\simeq SU(2)\times SU(2)$. If $z_1=z_2$, the full four-dimensional subspace carries one symplectic form and the blocks may mix; the stabilizer enhances to $USp(4)$.

3. The combined transpose rule

Suppose $(C\Gamma^{(p)})_{\beta\alpha}=s_p(C\Gamma^{(p)})_{\alpha\beta}$ with $s_p=\pm1$. Determine the symmetry of $Z^{IJ}_{(p)}$ and explain why the answer differs from testing the spinor matrix alone.

Solution

Exchange the complete labels $(I,\alpha)$ and $(J,\beta)$ in the anticommutator. Symmetry requires

$$Z^{JI}_{(p)}=s_p Z^{IJ}_{(p)}.$$

Thus a symmetric spinor matrix pairs with a symmetric internal tensor, while an antisymmetric spinor matrix pairs with an antisymmetric internal tensor. With a single supercharge, an antisymmetric one-component internal tensor vanishes, so only then is symmetry of the spinor matrix by itself the selection rule.

References

• J. A. de Azcárraga, J. P. Gauntlett, J. M. Izquierdo, and P. K. Townsend, “Topological Extensions of the Supersymmetry Algebra for Extended Objects,” Physical Review Letters 63 (1989), 2443–2446, DOI.
• Sergio Ferrara, Carlos A. Savoy, and Bruno Zumino, “General Massive Multiplets in Extended Supersymmetry,” Physics Letters B 100 (1981), 393–398, DOI.
• Rudolf Haag, Jan T. Łopuszański, and Martin Sohnius, “All Possible Generators of Supersymmetries of the S-Matrix,” Nuclear Physics B 88 (1975), 257–274, DOI.
• Dmitri Sorokin and Paul K. Townsend, “M-Theory Superalgebra from the M-5-Brane,” Physics Letters B 412 (1997), 265–273, DOI, arXiv.
• Steven Weinberg, The Quantum Theory of Fields, Volume III: Supersymmetry, Cambridge University Press (2000), §§ 25.2 and 32.3, DOI.
• Edward Witten and David I. Olive, “Supersymmetry Algebras That Include Topological Charges,” Physics Letters B 78 (1978), 97–101, DOI.