Skip to content

Three-Dimensional Supersymmetry Algebras and Multiplets

Three-dimensional supersymmetry starts with a two-real-component Lorentzian spinor, but the multiplets most useful for gauge dynamics are best organized by four or eight real supercharges. The vector multiplet then contains a physical real scalar, background vector multiplets generate real masses, and the conserved flux current supplies a topological symmetry. These features are the algebraic source of the Coulomb branches and deformation maps used throughout the chapter.

Required background. We use the classification of spinors and reality conditions and the distinction among off-shell, on-shell, and modulo-gauge closure. Helpful background. The later potential formulas use gauge–matter couplings and F- and D-terms.

Spinors and the three-dimensional super-Poincaré algebra

Section titled “Spinors and the three-dimensional super-Poincaré algebra”

Work in oriented Lorentzian signature (+)(+--), with ϵ012=+1\epsilon^{012}=+1. The connected spin group is Spin(1,2)SL(2,R)\operatorname{Spin}(1,2)\simeq SL(2,\mathbb R), whose fundamental is a two-real-dimensional Majorana representation. Let Cαβ=CβαC_{\alpha\beta}=-C_{\beta\alpha} lower spinor indices and choose (γμC)αβ(\gamma^\mu C)_{\alpha\beta} symmetric. The minimal algebra is

{Qα,Qβ}=2(γμC)αβPμ.\{Q_\alpha,Q_\beta\}=2(\gamma^\mu C)_{\alpha\beta}P_\mu .

There are two real supercharges. For N\mathcal N Majorana charges, the general scalar central extension has the form

{QαI,QβJ}=2δIJ(γμC)αβPμ+2CαβZIJ,ZIJ=ZJI.\{Q^I_\alpha,Q^J_\beta\} =2\delta^{IJ}(\gamma^\mu C)_{\alpha\beta}P_\mu +2C_{\alpha\beta}Z^{IJ}, \qquad Z^{IJ}=-Z^{JI}.

The antisymmetries of CC and ZZ make the last term symmetric under interchange of the two pairs (I,α)(I,\alpha) and (J,β)(J,\beta). Positivity in a rest frame gives BPS bounds involving the skew eigenvalues of ZIJZ^{IJ}. Extended algebras can also carry tensorial charges associated with extended objects; which appear depends on the allowed defects and boundary conditions.

For N=2\mathcal N=2, combine Q1,Q2Q^1,Q^2 into a complex charge QQ of U(1)RU(1)_R charge +1+1. The automorphism rotating the two real charges is SO(2)RU(1)RSO(2)_R\simeq U(1)_R. There are four real supercharges. For N=4\mathcal N=4, there are eight, and the R-symmetry Lie algebra is

so(4)Rsu(2)Hsu(2)C.\mathfrak{so}(4)_R\simeq \mathfrak{su}(2)_H\oplus\mathfrak{su}(2)_C.

The faithfully acting global group is theory dependent: centers can be combined with fermion parity or a gauge-group center, so the quotient cannot be inferred from the superalgebra alone. The labels HH and CC anticipate the action on Higgs- and Coulomb-branch coordinates. They are not interchangeable inside a fixed ultraviolet Lagrangian; mirror symmetry will exchange them in the infrared Intriligator and Seiberg 1996, §§1–2.

An off-shell chiral multiplet in a complex representation RR is

Φ=(ϕ,ψα,F),\Phi=(\phi,\psi_\alpha,F),

with a complex scalar, a complex two-component spinor, and a complex auxiliary scalar. Its off-shell bosonic and fermionic component counts are both four real components. Chirality is naturally inherited from four-dimensional N=1\mathcal N=1 superspace after suppressing one coordinate; in three dimensions it is a superspace constraint, not a statement about Lorentz chirality.

An off-shell vector multiplet is

V=(Aμ,σ,λα,λˉα,D),V=(A_\mu,\sigma,\lambda_\alpha,\bar\lambda_\alpha,D),

where AμA_\mu, the real scalar σ\sigma, and the real auxiliary DD are Lie-algebra valued, while λ\lambda is a complex two-component gaugino. Before equations of motion, AμA_\mu contributes 31=23-1=2 real components modulo infinitesimal gauge transformations; together with σ\sigma and DD, this matches the four real components of λ\lambda.

In Wess–Zumino gauge a supersymmetry transformation does not remain in Wess–Zumino gauge. Its compensating gauge transformation is essential. Thus, on any covariant field XX,

[δε1,δε2]X=vμDμX+δgauge(Λ)X+δR(ρ)X+δF(ω)X,[\delta_{\varepsilon_1},\delta_{\varepsilon_2}]X =v^\mu D_\mu X+\delta_{\rm gauge}(\Lambda)X +\delta_R(\rho)X+\delta_F(\omega)X,

with vμv^\mu a spinor bilinear. In flat space without background sources the last two terms vanish. The auxiliary fields FF and DD make this closure off shell; eliminating them turns the same statement into on-shell closure. On AμA_\mu itself the translation and gauge pieces can be rearranged into vνFνμv^\nu F_{\nu\mu}, which is why “closure modulo gauge” is not optional bookkeeping.

These multiplets, their real central charges, and their use as three-dimensional gauge-theory coordinates are developed systematically in Aharony et al. 1997, §2.

The Yang–Mills vector has one propagating gauge polarization in three dimensions, and σ\sigma supplies the second on-shell bosonic degree of freedom. A pure Chern–Simons vector is different: the gauge field and the remaining vector-multiplet fields are topological or auxiliary in the absence of a Yang–Mills regulator.

Real masses, FI parameters, and the topological current

Section titled “Real masses, FI parameters, and the topological current”

Let GFG_F be an ordinary flavor symmetry and weakly gauge it by a nondynamical vector multiplet. Giving its scalar a constant value in the Cartan,

σF=m,\sigma_F=m,

produces a real mass. A component of weight ww experiences the effective mass w(m)w(m); for a gauge weight ρ\rho as well, the mass is ρ(σ)+w(m)\rho(\sigma)+w(m). Unlike a complex mass in the superpotential, a real mass preserves the phase rotation generated by the corresponding flavor Cartan and affects parity-odd contact terms when its sign changes.

Every Abelian gauge factor has a classically conserved topological current

jJμ=12πϵμνρνaρ=14πϵμνρFνρ,μjJμ=0.j_J^\mu=\frac{1}{2\pi}\epsilon^{\mu\nu\rho}\partial_\nu a_\rho =\frac{1}{4\pi}\epsilon^{\mu\nu\rho}F_{\nu\rho}, \qquad \partial_\mu j_J^\mu=0.

The normalization makes a unit-flux monopole carry U(1)JU(1)_J charge one. For a non-Abelian U(N)U(N) factor, replace FF by TrF\operatorname{Tr}F in the fundamental trace convention. For a simple simply connected group there is generally no continuous current of this form; global form may instead leave a discrete topological symmetry.

Let mJm_J be the scalar in the background vector multiplet for U(1)JU(1)_J. With the BF convention 12πDmJ\frac{1}{2\pi}D\,m_J and the FI convention ζD-\zeta D used in this chapter,

mJ=2πζ.m_J=-2\pi\zeta.

Both ordinary real masses and ζ\zeta have mass dimension one. A BPS particle or vortex can then contribute

Z=qFm+qJmJ+Zcomplex=qFm2πqJζ+Zcomplex,Z=q_Fm+q_Jm_J+Z_{\rm complex} =q_Fm-2\pi q_J\zeta+Z_{\rm complex},

where the sign follows from the chosen BF and FI conventions. In particular, a vortex of flux qJ=nq_J=n has Z=2πζn|Z|=2\pi|\zeta n|. This formula is a diagnostic: a duality exchanging ordinary and topological currents must exchange an ordinary mass with the normalized topological mass mJm_J, or equivalently with the FI parameter including this fixed sign and factor.

Take U(1)U(1) with one chiral of gauge charge +1+1, no superpotential, background real mass mm, and vector scalar σ\sigma. Its scalar and fermion acquire mass from the same combination

Meff=σ+m.M_{\rm eff}=\sigma+m.

The scalar potential contains Meff2ϕ2M_{\rm eff}^2|\phi|^2. A Higgs vacuum with ϕ0\phi\neq0 therefore requires σ=m\sigma=-m, in addition to the D-term equation. By contrast, on a Coulomb region with ϕ=0\phi=0, changing the sign of MeffM_{\rm eff} changes the parity-odd effective action of the fermion. The locus σ=m\sigma=-m is consequently both a possible Higgs attachment point and a wall between contact-term chambers.

In N=2\mathcal N=2 language,

VN=4=VΦadj,HN=4=QQ~,\mathcal V_{\mathcal N=4}=V\oplus\Phi_{\rm adj}, \qquad \mathcal H_{\mathcal N=4}=Q\oplus\widetilde Q,

where the two chirals in a hypermultiplet transform in conjugate gauge representations. The superpotential coupling Q~ΦadjQ\widetilde Q\Phi_{\rm adj}Q and its Yukawa partners are fixed by N=4\mathcal N=4. The three real scalars in the vector multiplet form a triplet of SU(2)CSU(2)_C, while the four real hypermultiplet scalars form a doublet of SU(2)HSU(2)_H. Correspondingly, Coulomb-branch operators transform under SU(2)CSU(2)_C and Higgs-branch operators under SU(2)HSU(2)_H.

Real masses and FI parameters each enlarge to triplets: masses transform under one R-symmetry factor and FI parameters under the other. Choosing only one component displays an N=2\mathcal N=2 subalgebra and can obscure this covariance. Generic N=2\mathcal N=2 superpotentials, independent Chern–Simons levels, or arbitrary R-charge assignments do not preserve N=4\mathcal N=4.

The phrase “classical Coulomb branch” is also potentially misleading. In an N=4\mathcal N=4 gauge description the Coulomb-branch metric and operator relations receive quantum corrections, whereas the Higgs branch is described by a hyperkähler quotient and is protected. A mirror description reverses which geometry is manifestly classical.

After Wick rotation to three-dimensional Euclidean space, Spin(3)=SU(2)\operatorname{Spin}(3)=SU(2) and a two-component spinor is pseudoreal. A Lorentzian Majorana condition does not continue as an ordinary reality condition on a single Euclidean spinor. In Euclidean functional integrals one therefore treats barred and unbarred spinors as independent complex variables and chooses an integration contour that returns the desired Lorentzian theory.

The same warning applies to auxiliaries in localization: a convenient Euclidean contour may take DD along an imaginary direction even though Lorentzian DD is real. Algebraic supersymmetry variations can be complexified, but Hermiticity, positivity, and BPS bounds must be interpreted after a reality contour is specified.

Confusing N\mathcal N across dimensions. Three-dimensional N=2\mathcal N=2 has four real supercharges and is the direct reduction of four-dimensional N=1\mathcal N=1. Three-dimensional N=4\mathcal N=4, not N=2\mathcal N=2, has eight real supercharges.

Treating U(1)JU(1)_J as automatic. Its existence and normalization depend on the global gauge group, allowed bundles, and monopole effects. A monopole superpotential can explicitly break a continuous topological symmetry.

Using Euclidean “Majorana spinors” without a contour. Euclidean manipulations normally complexify the spinors. A Lorentzian reality statement cannot simply be copied into the Euclidean path integral.

  1. Count the off-shell real degrees of freedom in an N=2\mathcal N=2 chiral multiplet and in a vector multiplet modulo gauge transformations.
Solution

For a chiral, ϕ\phi and FF contribute two real components each, totaling four; the complex two-component spinor also has four. For a vector, AμA_\mu has three components minus one gauge parameter, while σ\sigma and DD contribute one each, again totaling four; the complex two-component gaugino has four. Equations of motion remove the auxiliaries and halve the propagating counts in the usual way.

  1. A U(1)U(1) theory has two chirals of gauge charges +1+1 and 1-1, with background flavor weights +1+1 and +1+1. Write their effective real masses at vector scalar σ\sigma and flavor mass mm. Where can each become massless?
Solution

The masses are M+=σ+mM_+=\sigma+m and M=σ+mM_-=-\sigma+m. The first field is massless at σ=m\sigma=-m and the second at σ=m\sigma=m. These two walls divide the Coulomb direction into chambers with potentially different induced Chern–Simons contact terms.

  • Aharony, O., Hanany, A., Intriligator, K., Seiberg, N., and Strassler, M. J. (1997), “Aspects of N=2N=2 Supersymmetric Gauge Theories in Three Dimensions,” Nuclear Physics B 499, 67–99. doi:10.1016/S0550-3213(97)00323-4. Open PDF
  • Intriligator, K., and Seiberg, N. (1996), “Mirror Symmetry in Three Dimensional Gauge Theories,” Physics Letters B 387, 513–519. doi:10.1016/0370-2693(96)01088-X. Open PDF

Use these multiplets to assemble Yang–Mills, Chern–Simons, BF, FI, and matter actions. Their fermions then force the parity-anomaly and contact-term constraints.