Skip to content

Four chiral multiplets make four real supercharges visible. Why does ABJM have twelve? A larger symmetry of the scalar potential would be suggestive, but a supersymmetry transformation also changes fermions and gauge fields. We need symmetries of the whole action, and then an argument that they generate additional supercharges.

Start with the complete scalar potential and the distinction between engineering dimensions and conformal symmetry. We work in flat three-dimensional spacetime with compact U(N)k×U(N)−kU(N)_k\times U(N)_{-k}, N≥1N\geq1, positive integer kk, canonical matter normalization, ordinary fundamental traces, and no mass or FI deformation. Each gauge factor has rank NN. The global group has no additional common-center quotient.

The generic theory has N=6\mathcal N=6: twelve real Lorentzian Poincaré supercharges. The chosen N=2\mathcal N=2 superspace displays four. A conformal theory has additional conformal supercharges, which are not included in this twelve. We will establish the generic enhancement argument; extra symmetries at exceptional levels require a separate analysis of monopole sectors.

Scalars and fermions do not form the same four

Section titled “Scalars and fermions do not form the same four”

The independent chiral scalars are A1,A2:VR→VLA_1,A_2:V_R\to V_L and B1,B2:VL→VRB_1,B_2:V_L\to V_R. On the physical scalar slice, assemble

YI=(A1,A2,B1†,B2†),I=1,…,4.(AB06.1)Y^I=(A_1,A_2,B_1^\dagger,B_2^\dagger),\qquad I=1,\ldots,4. \tag{AB06.1}

All four now map VRV_R to VLV_L. Thus a constant unitary matrix UIJU^I{}_J may mix them while commuting with their gauge transformation: YI↦GLYIGR−1Y^I\mapsto G_LY^IG_R^{-1}. The dagger is essential: B1B_1 itself has the opposite color representation. This packaging of scalar components does not make B1†B_1^\dagger a chiral superfield.

The full R-symmetry acts as YI↦UIJYJY^I\mapsto U^I{}_JY^J with U∈SU(4)U\in SU(4). To identify its manifest R-generator, use

R=12diag⁡(1,1,−1,−1).(AB06.2)R=\frac12\operatorname{diag}(1,1,-1,-1). \tag{AB06.2}

Every original chiral scalar has charge 1/21/2, whereas the conjugated BB scalars have charge −1/2-1/2. A chiral fermion has one unit less R-charge than its scalar. Consequently the four fermions with color direction VR→VLV_R\to V_L have charges (−1/2,−1/2,+1/2,+1/2)(-1/2,-1/2,+1/2,+1/2). They organize as a conjugate four, denoted ψI\psi_I, rather than as another copy of YIY^I.

Here is an explicit way to see the subgroup labels. Let ψAa\psi_{A_a} and ψBa˙\psi_{B_{\dot a}} be the two-component chiral fermions. Charge conjugation, denoted by cc, turns a Lorentzian BB fermion into one with the opposite color representation. With ϵ12=1\epsilon_{12}=1, choose the flavor bases ψa=ϵabψAb\psi_a=\epsilon_{ab}\psi_{A_b} and ψ2+a˙=ϵa˙b˙ψBb˙c\psi_{2+\dot a}=\epsilon_{\dot a\dot b}\psi_{B_{\dot b}}^c. The identity ϵU=U∗ϵ\epsilon U=U^*\epsilon for SU(2)SU(2) converts the natural doublet into its conjugate. These are basis choices for the fermions; spinor charge conjugation is not an extra independent chiral field.

Fields after eliminating algebraic variablesColor representationFull R-representationEngineering dimension
YIY^I(N,N‾)(N,\overline N)4\mathbf41/21/2
ψI\psi_I(N,N‾)(N,\overline N)4‾\overline{\mathbf4}11
Their physical conjugates(N‾,N)(\overline N,N)Conjugate representationsSame
aμ,a^μa_\mu,\widehat a_\muThe two adjointsSinglets11

The vector scalars, gauginos, and auxiliary fields used in the superspace construction are algebraic variables here, not extra propagating matter. Once eliminated, their effects remain in the scalar and fermion interactions. In Euclidean calculations one may complexify the fields and transformation parameters; the Lorentzian real count should not then be doubled by counting each complexified variable as an additional physical supercharge.

Two known symmetries generate a larger one

Section titled “Two known symmetries generate a larger one”

The needed input from AB v4, sections 2.1–2.2 is the supersymmetric construction of the full N=3\mathcal N=3 action, including its fermion couplings. The opposite Chern–Simons levels and algebraic adjoint superfields fix

W=2t Tr⁡(A1B1A2B2−A1B2A2B1),t=2πk.(AB06.3)W=2t\,\operatorname{Tr} (A_1B_1A_2B_2-A_1B_2A_2B_1),\qquad t=\frac{2\pi}{k}. \tag{AB06.3}

The previous superpotential lesson derived this coefficient by eliminating those adjoints. Its N=3\mathcal N=3 interpretation supplies an SU(2)RSU(2)_R rotating (Ai,Bi†)(A_i,B_i^\dagger) simultaneously for i=1,2i=1,2. The existence of this symmetry of the complete supersymmetric action is an input, not a conclusion drawn from the bosonic calculation below.

There is also an independently visible flavor symmetry SU(2)A×SU(2)BSU(2)_A\times SU(2)_B. Indeed, W=tϵabϵa˙b˙Tr⁡(AaBa˙AbBb˙)W=t\epsilon^{ab}\epsilon^{\dot a\dot b} \operatorname{Tr}(A_aB_{\dot a}A_bB_{\dot b}). Both epsilon tensors are invariant, and every kinetic or vector coupling sums over the corresponding flavor index. This argument acts on entire chiral multiplets, including their fermions. For example the superpotential Yukawa coupling contains its matrix of second derivatives,

LW,fermion ∝ Wmn(ϕ) ψmψn+conjugate.(AB06.4)\mathcal L_{W,\mathrm{fermion}} \ \propto\ W_{mn}(\phi)\,\psi_m\psi_n+\text{conjugate}. \tag{AB06.4}

Here m,nm,n label chiral species and color entries, and the spinor contraction is antisymmetric. For a linear flavor transformation TT, invariance of W(Tϕ)W(T\phi) implies TTW′′(Tϕ)T=W′′(ϕ)T^{\mathsf T}W''(T\phi)T=W''(\phi). It therefore preserves the Yukawa term too. The two fermions anticommute, making their contracted bilinear symmetric in m,nm,n, as required by Wmn=WnmW_{mn}=W_{nm}. Omitting the Yukawa term would not define the same supersymmetric theory.

We can now calculate the symmetry generated by these groups. Let EIJE_{IJ} be the 4×44\times4 matrix with one nonzero entry in row II, column JJ. For finding the Lie algebra, allow complex linear combinations of generators; the compact real form is recovered by taking anti-Hermitian matrices. The flavor generators include E12,E21,E34,E43E_{12},E_{21},E_{34},E_{43}. The original R-symmetry supplies

J+=E13+E24,J−=E31+E42,[J+,J−]=2R.J_+=E_{13}+E_{24},\quad J_-=E_{31}+E_{42}, \quad [J_+,J_-]=2R.

Their commutators include

[E12,J+]=E14,[E21,J+]=E23,[E43,E14]=−E13.(AB06.5)[E_{12},J_+]=E_{14},\qquad [E_{21},J_+]=E_{23},\qquad [E_{43},E_{14}]=-E_{13}. \tag{AB06.5}

Thus E24E_{24} is available separately too. Conjugate generators supply the four reverse off-block directions. Together there are four off-diagonal directions inside the two blocks, eight between them, and three independent traceless diagonal directions: fifteen in total. This is su(4)\mathfrak{su}(4) in its compact real form.

Because each starting transformation preserves the full action, their commutators do too. Moreover SU(2)RSU(2)_R already rotates supercharges, so the resulting simple Lie algebra cannot act only as flavor symmetry commuting with every supercharge. This is the crucial distinction from merely discovering an accidental scalar-potential symmetry.

The supersymmetry directions can be written as an antisymmetric tensor ωαIJ\omega^{IJ}_\alpha, where α=1,2\alpha=1,2 is a Lorentzian Majorana spinor-component index. With ϵ1234=1\epsilon_{1234}=1, impose

(ωαIJ)∗=12ϵIJKLωαKL.(AB06.6)(\omega^{IJ}_\alpha)^* =\frac12\epsilon_{IJKL}\omega^{KL}_\alpha. \tag{AB06.6}

This reality condition is preserved by SU(4)SU(4). For each α\alpha, write p=ω12p=\omega^{12}, q=ω13q=\omega^{13}, r=ω14r=\omega^{14}. The other independent entries are ω34=p∗\omega^{34}=p^*, ω24=−q∗\omega^{24}=-q^*, ω23=r∗\omega^{23}=r^*. Three complex numbers subject to this completion give six real directions, not six complex ones. Including the two real spinor components gives twelve real Poincaré supercharges.

Under the manifest subgroup the six splits as

6=(1,1)+1⊕(1,1)−1⊕(2,2)0.(AB06.7)\mathbf6=(\mathbf1,\mathbf1)_{+1} \oplus(\mathbf1,\mathbf1)_{-1} \oplus(\mathbf2,\mathbf2)_0. \tag{AB06.7}

The subscripts are charges under (AB06.2). The two singlets, related by reality, describe the manifest N=2\mathcal N=2 directions; the four real mixed directions supply the rest. In tensor language the scalar variation has the allowed contraction ωIJψJ\omega^{IJ}\psi_J: a six times a conjugate four maps to a four. This identifies the representation, not the complete interacting transformation rule.

There is also a direct way to understand why transformed supercharges remain symmetries. If QQ and a bosonic generator TT preserve the action, then [T,Q][T,Q] preserves it. Repeated commutators generate the six above. AB’s full-action construction implements this argument; the superconformal R-algebra is locally so(6)≃su(4)\mathfrak{so}(6)\simeq\mathfrak{su}(4). Using SU(4)SU(4) on elementary fields is convenient because its four is a spinor representation of SO(6)SO(6). This local statement does not determine all global quotients involving gauge centers and line operators.

This constructs the generic six supersymmetry directions; it does not exclude extra ones in exceptional theories or sectors. The result concerns the theory in its conformal vacuum. Counting dimension-three interactions alone would not prove quantum conformality; the superconformal construction and its symmetry protection are the physical input here. Nor does a generic curved background automatically preserve all twelve charges.

The scalar potential supplies a stringent independent check. Set L=∑IYIYI†L=\sum_IY^IY_I^\dagger and Rc=∑IYI†YIR_c=\sum_IY_I^\dagger Y^I; the subscript distinguishes the right-node density from the R-generator. Expanding the positive squares of the previous lesson gives

Vt2=−13Tr⁡(L3)−13Tr⁡(Rc3)+2∑JTr⁡(LYJRcYJ†)−43∑I,J,KTr⁡(YIYK†YJYI†YKYJ†).(AB06.8)\begin{aligned} \frac{V}{t^2}={}&-\frac13\operatorname{Tr}(L^3) -\frac13\operatorname{Tr}(R_c^3) +2\sum_J\operatorname{Tr}(LY^JR_cY_J^\dagger)\\ &-\frac43\sum_{I,J,K}\operatorname{Tr} (Y^IY_K^\dagger Y^JY_I^\dagger Y^KY_J^\dagger). \end{aligned} \tag{AB06.8}

These are AB’s four contractions in (A.7), in the same scalar normalization. Every repeated flavor index contracts a fundamental with its conjugate; inserting UU and U†U^\dagger cancels them in pairs. Color matrices retain their written order. The negative coefficients do not contradict positivity: (AB06.8) is the expanded form of the positive squares.

For a visible noncommuting example, take N=2N=2 and real v,w>0v,w>0: A1=vE11A_1=vE_{11}, A2=wE12A_2=wE_{12}, B1=B2=0B_1=B_2=0. Initially VF=0V_F=0 and VCS=t2v2w2(v2+w2)V_{\rm CS}=t^2v^2w^2(v^2+w^2). Now rotate components two and three of YY:

(Y2′Y3′)=(cs−sc)(Y2Y3),c=cos⁡θ,s=sin⁡θ.\binom{Y^{2\prime}}{Y^{3\prime}} =\begin{pmatrix}c&s\\-s&c\end{pmatrix} \binom{Y^2}{Y^3},\qquad c=\cos\theta,\quad s=\sin\theta.

Thus A2′=cwE12A_2'=cwE_{12} and B1′=−swE21B_1'=-swE_{21}. This is an SU(4)SU(4) rotation of components, not a holomorphic change of the four original chiral superfields.

The only nonzero superpotential gradient is the one with respect to B2B_2:

∂W∂B2=2t(A1B1′A2′−A2′B1′A1)=2tcs vw2E11.\frac{\partial W}{\partial B_2} =2t(A_1B_1'A_2'-A_2'B_1'A_1) =2tcs\,vw^2E_{11}.

Recomputing both density matrices in the vector terms yields

VF′=4t2c2s2v2w4,VCS′=t2v2w2[v2+(c2−s2)2w2].(AB06.9)\begin{aligned} V_F'&=4t^2c^2s^2v^2w^4,\\ V_{\rm CS}'&=t^2v^2w^2 \left[v^2+(c^2-s^2)^2w^2\right]. \end{aligned} \tag{AB06.9}

Since (c2−s2)2+4c2s2=1(c^2-s^2)^2+4c^2s^2=1, the total is unchanged. At θ=π/4\theta=\pi/4, the two contributions become t2v2w4t^2v^2w^4 and t2v4w2t^2v^4w^2. Neither contribution is separately invariant. All terms have dimension three because [v]=[w]=1/2[v]=[w]=1/2 and [t]=0[t]=0.

Replace WW by ηW\eta W, with constant complex η\eta, keeping the matter normalization and both Chern–Simons levels fixed. Use the preceding finite rotation to test the claimed full R-symmetry. What does this test say about the phase of η\eta?

Hint 1

Eliminating the chiral auxiliaries multiplies VFV_F by ∣η∣2|\eta|^2. The vector contribution is unchanged.

Hint 2

The starting configuration has VF=0V_F=0. Compare its total potential with the rotated configuration for cs vw≠0cs\,vw\ne0.

Solution

The change in total potential is

Vη(Y′)−Vη(Y)=4t2c2s2v2w4(∣η∣2−1).V_\eta(Y')-V_\eta(Y) =4t^2c^2s^2v^2w^4(|\eta|^2-1).

For ∣η∣≠1|\eta|\ne1, the displayed SU(4)SU(4) rotation is not a symmetry even of the scalar action. Thus gauge invariance, R-charge two, and classical marginality of WW did not fix the enhanced theory.

This test only fixes the magnitude. A constant phase can be moved into a rephasing of one whole chiral multiplet, for example A1A_1, which leaves its kinetic and vector couplings unchanged. The fermionic transformations must be expressed in the correspondingly rephased basis. The vanishing defect at ∣η∣=1|\eta|=1 is a necessary check, not by itself a proof of full supersymmetry.

2. Count the six without complex double counting

Section titled “2. Count the six without complex double counting”

For one spinor component, write the full antisymmetric matrix Ω=(ωIJ)\Omega=(\omega^{IJ}) in terms of p,q,rp,q,r. Show that ΩΩ†=(∣p∣2+∣q∣2+∣r∣2)14\Omega\Omega^\dagger=(|p|^2+|q|^2+|r|^2)\mathbf1_4. Explain what happens if you omit (AB06.6).

Hint 1

Reality fixes entries 34,24,2334,24,23 from 12,13,1412,13,14, with a minus sign for 2424.

Hint 2

The off-diagonal entries of ΩΩ†\Omega\Omega^\dagger cancel pairwise. For instance its 1212 entry is qr−rqqr-rq.

Solution

The matrix is

Ω=(0pqr−p0r∗−q∗−q−r∗0p∗−rq∗−p∗0).\Omega= \begin{pmatrix} 0&p&q&r\\ -p&0&r^*&-q^*\\ -q&-r^*&0&p^*\\ -r&q^*&-p^*&0 \end{pmatrix}.

Each row has squared norm ∣p∣2+∣q∣2+∣r∣2|p|^2+|q|^2+|r|^2; distinct rows have zero Hermitian inner product. This proves the identity. These are commuting coefficients specifying a basis of symmetry directions, not Grassmann-odd transformation parameters being multiplied as ordinary numbers.

There are six real coefficients per Majorana spinor component, hence twelve physical real parameters in three-dimensional Lorentzian signature. Removing the condition produces the complexification of the six: useful for complexified equations, but it does not produce a new Lorentzian theory with twice the supersymmetry.

3. A bosonic symmetry can survive after supersymmetry is lost

Section titled “3. A bosonic symmetry can survive after supersymmetry is lost”

Add the deformation ΔV=m02Tr⁡(YI†YI)\Delta V=m_0^2\operatorname{Tr}(Y_I^\dagger Y^I), with real m02>0m_0^2>0, and change no fermion, gauge, or supersymmetry-transformation term. Does its SU(4)SU(4) invariance establish that the deformed action remains supersymmetric?

Hint 1

The scalar mass contracts a fundamental and its conjugate. Test its variation under one of the original scalar-to-fermion transformations.

Hint 2

Evaluate the variation on constant scalar and fermion profiles, with the conjugate fermion set to zero in the complexified algebra. A term proportional to m02Y†ψm_0^2Y^\dagger\psi cannot be removed by a spacetime total derivative on such profiles.

Solution

The mass term is SU(4)SU(4) invariant, but

δΔV=m02Tr⁡[(δYI†)YI+YI†δYI]\delta\Delta V=m_0^2\operatorname{Tr} \left[(\delta Y_I^\dagger)Y^I+ Y_I^\dagger\delta Y^I\right]

contains a nonzero scalar–fermion bilinear. For example choose a transformation with δY1\delta Y^1 proportional to ψ2\psi_2, and nonzero Y1†,ψ2Y_1^\dagger,\psi_2. The original action’s variation still cancels among its original terms; no new term cancels this added variation. Therefore the displayed deformation does not preserve the original supercharges. A supersymmetric mass deformation would require additional terms and modified transformations and must be checked as a new complete construction.

This counterexample explains why scalar-potential invariance was only a check in the enhancement argument. Its decisive inputs were the original supersymmetric action and the symmetries acting on all its fields.

You can now identify the four scalar components, the conjugate fermion representation, and the real six of supersymmetry directions, and explain why the tuned action is needed. The one-brane vacuum calculation combines zero scalar energy with compact gauge transformations and flux data. An R-symmetry calculation alone does not determine that quotient.

For a curved-space continuation, construct ABJM on the round three-sphere. Its chosen rigid subalgebra and curvature couplings must be specified in addition to the flat-space supersymmetry just established.

The original ABJM paper guide locates this calculation in the source argument and gives a changed example to check while reading.

The superconformal-bootstrap introduction teaches crossing and block positivity using a fully specified four-dimensional example. Its method is useful preparation for three-dimensional questions; its numerical coefficients belong to the stated four-dimensional theory.