Skip to content

Pure Super-Yang–Mills Vacua and Domain Walls

Pure four-dimensional N=1\mathcal N=1 super-Yang–Mills with a simple, simply connected gauge group GG has h∨h^\vee supersymmetric vacuum sectors, where h∨h^\vee is the dual Coxeter number. The robust organizing data are the anomaly-reduced discrete R-symmetry, the phase of the gaugino condensate, the center one-form symmetry, and the domain-wall central charge. A mass gap, confinement, BPS saturation, and a proposed wall topological theory are logically distinct statements.

Required background. Supersymmetric Yang–Mills actions fixes the microscopic multiplet and action. R-symmetry, anomalies, and the holomorphic scale supplies the anomalous Ward identity. BPS solitons and walls supplies the wall central charge and saturation criterion.

Helpful background. Higher-form symmetry from operators and linking clarifies how the global form changes genuine lines.

Let GG be compact, connected, simple, and simply connected, with Lie algebra g\mathfrak g and dual Coxeter number h∨h^\vee. The only propagating multiplet is the vector multiplet (Aμ,λα,D)(A_\mu,\lambda_\alpha,D) in the adjoint. There is no matter and no tree superpotential. Define Tr⁡W2≡WaαWαa\operatorname{Tr}W^2\equiv W^{a\alpha}W^a_\alpha using the basic invariant form. For SU(N)SU(N) this is 2tr⁡FW22\operatorname{tr}_F W^2 when tr⁡F(TaTb)=δab/2\operatorname{tr}_F(T^aT^b)=\delta^{ab}/2. With this convention,

L⊃∫d2θ τ16πi Tr⁡WαWα+h.c.,τ=θ2π+4πigh2.\mathcal L\supset \int d^2\theta\,\frac{\tau}{16\pi i}\, \operatorname{Tr}W^\alpha W_\alpha +\text{h.c.}, \qquad \tau=\frac{\theta}{2\pi}+\frac{4\pi i}{g_h^2}.

The holomorphic scale is defined by

Λ3h∨=μ3h∨e2πiτ(μ).\Lambda^{3h^\vee}=\mu^{3h^\vee}e^{2\pi i\tau(\mu)}.

The power is invariant, while the phase of Λ3\Lambda^3 labels a choice of root. A change of trace or renormalization scheme rescales Λ\Lambda and the normalized condensate together.

Because all dynamical fields are adjoint, the simply connected theory has electric one-form symmetry Z(G)Z(G). Wilson lines with nontrivial center charge are genuine and cannot end on the gaugino. Choosing G/ΓG/\Gamma instead gauges part of this symmetry and introduces different magnetic lines and, in general, discrete theta data. The vacuum and wall formulas below are therefore not silently statements about every global form.

From the anomaly to h∨h^\vee sectors

Section titled “From the anomaly to h∨h^\veeh∨ sectors”

Classically, gaugino number is a U(1)RU(1)_R symmetry with R(λ)=1R(\lambda)=1. A unit instanton has 2h∨2h^\vee adjoint fermion zero modes. With instanton weight e+iθe^{+i\theta}, the Grassmann measure transforms under λ↦eiαλ\lambda\mapsto e^{i\alpha}\lambda by e−2ih∨αe^{-2ih^\vee\alpha}. Only

Z2h∨⊂U(1)R\mathbb Z_{2h^\vee}\subset U(1)_R

survives quantum mechanically. Fermion parity is the order-two subgroup and cannot be spontaneously broken. A nonzero bilinear ⟨λλ⟩\langle\lambda\lambda\rangle, which has R-charge two, realizes

Z2h∨⟶Z2\mathbb Z_{2h^\vee}\longrightarrow\mathbb Z_2

and gives h∨h^\vee phases. With a condensate superfield SS normalized on the next page, one may label them

⟨S⟩k=Λ3e2πik/h∨,k=0,1,…,h∨−1.\langle S\rangle_k=\Lambda^3e^{2\pi i k/h^\vee}, \qquad k=0,1,\ldots,h^\vee-1.

The index calculation has an important history. For SU(N)SU(N) and USp(2N)USp(2N), Witten’s original small-T3T^3 calculation gives r+1=h∨r+1=h^\vee, where rr is the rank. For Spin⁡(N≥7)\operatorname{Spin}(N\geq7) and the exceptional groups, restricting the moduli space of commuting triples to its identity component gives only r+1r+1. Additional disconnected components supply the missing states, and summing all components gives h∨h^\vee Witten 2000, § 3.1, pp. 12–14 and § 4.2, pp. 41–45, especially Eq. (4.14), arXiv PDF and Kac and Smilga 1999, § 1, pp. 1–4, arXiv PDF.

Interpreting this compactified index as h∨h^\vee massive vacua on R3\mathbb R^3 assumes that no vacuum escapes to infinity and that the infrared theory has the standard gap. The anomaly identifies the allowed symmetry-breaking phases, while the complete index independently counts supersymmetric ground states under these hypotheses. Witten’s original calculation remains the historical starting point Witten 1982, §§ 4–5, pp. 277–299; a concise relation to the discrete symmetry appears in Intriligator and Seiberg 1996, § 1.2, pp. 3–4, arXiv PDF.

For reference, h∨=Nh^\vee=N for SU(N)SU(N), N+1N+1 for USp(2N)USp(2N), and N−2N-2 for the Lie algebra so(N)\mathfrak{so}(N) with N≥5N\geq5. The corresponding simply connected orthogonal group is Spin⁡(N)\operatorname{Spin}(N); low-rank cases obey familiar isomorphisms, and Spin⁡(4)\operatorname{Spin}(4) is not simple. For G2,F4,E6,E7,E8G_2,F_4,E_6,E_7,E_8, the values are 4,9,12,18,304,9,12,18,30. A Lie-algebra label alone does not specify the global form.

Four levels of conclusion should not be merged.

  1. Index and anomaly constraints. The complete index counts h∨h^\vee supersymmetric ground states under its compactification hypotheses. The anomalous discrete symmetry fixes the allowed condensate phases, but not a nonzero magnitude.
  2. Holomorphic condensate data. Holomorphic decoupling and controlled compactified calculations establish a nonzero condensate in a fixed operator-and-scale convention. Once established, its h∨h^\vee branches and their θ\theta monodromy are protected chiral data.
  3. Nonholomorphic dynamics. A mass gap, confinement, unbroken center realization, and the spectrum are additional dynamical statements. Compactified semiclassics and other evidence support the standard picture, but a holomorphic superpotential does not compute the four-dimensional mass spectrum.
  4. Global-form refinement. When Z(G)Z(G) is nontrivial, coupling its one-form symmetry to a two-form background can distinguish vacuum-dependent topological responses. Gauging a center subgroup can split sectors or add topological degeneracy; the answer depends on the quotient and discrete theta angle. Centerless G2,F4G_2,F_4, and E8E_8 still have h∨h^\vee chiral vacua, so the number of vacua is not the order of the center.

For a visual synthesis of condensate branches, exact superpotentials, and their limits, see the quantum-moduli, superpotential, and confinement flow.

Thus the equality “h∨h^\vee vacua” is cleanest for the simply connected theory on R3,1\mathbb R^{3,1}. It is not a license to erase line operators, spacetime topology, or discrete gauge sectors.

Distinct discrete vacua define wall sectors. Take a planar wall normal to x3x^3, approaching vacuum kk at x3→−∞x^3\to-\infty and vacuum ℓ\ell at x3→+∞x^3\to+\infty. The four-dimensional N=1\mathcal N=1 algebra admits a two-form central extension, and for the conventional normalization of the low-energy superpotential the tension obeys

Tk→ℓ≥2∣ΔW∣,ΔW=Wℓ−Wk.T_{k\to\ell}\geq2\left|\Delta W\right|, \qquad \Delta W=W_\ell-W_k.

A wall that preserves half of the supercharges saturates the inequality. If the branch superpotential is normalized as Wk=h∨Λ3e2πik/h∨W_k=h^\vee\Lambda^3e^{2\pi i k/h^\vee}, a BPS wall would have

Tk→ℓBPS=4h∨∣Λ3∣∣sin⁡π(ℓ−k)h∨∣.T_{k\to\ell}^{\rm BPS} =4h^\vee|\Lambda^3| \left|\sin\frac{\pi(\ell-k)}{h^\vee}\right|.

The sign and phase of ΔW\Delta W select which linear combination of supercharges is preserved. Exchanging the two endpoints sends ΔW↦−ΔW\Delta W\mapsto-\Delta W and shifts its phase by π\pi; a CPT-conjugate wall additionally complex-conjugates the vacuum data. Dimensional analysis checks the result: a wall tension has mass dimension three.

The algebra fixes the bound, not the existence or multiplicity of BPS solutions. Nor does the Veneziano–Yankielowicz superpotential determine a reliable wall profile, because its Kähler potential and extra massive degrees of freedom are not fixed. Modern proposals for the wall infrared TQFT pass nontrivial partition-function and anomaly tests, but they remain dynamical proposals rather than consequences of the central charge alone; this status is explicit in Delmastro and Gomis 2021, abstract and § 1, arXiv v2.

For simply connected SU(N)SU(N),

Z2NR→Z2,k∈ZN,Γ(1)=ZN.\mathbb Z_{2N}^{R}\to\mathbb Z_2, \qquad k\in\mathbb Z_N, \qquad \Gamma^{(1)}=\mathbb Z_N.

The kk labels may be viewed as branches related by a 2π2\pi shift of θ\theta: increasing θ\theta by 2π2\pi cyclically permutes them. The theory as a whole is 2π2\pi-periodic even though an individual branch is not. A wall between kk and k+nk+n is an nn-wall; nn and N−nN-n are exchanged by reversing orientation. The proposed worldvolume topological data depend on nn, on the bulk global form, and on which one-form background is turned on.

For PSU(N)=SU(N)/ZNPSU(N)=SU(N)/\mathbb Z_N, fundamental Wilson lines are absent and magnetic lines become genuine. On a four-manifold with nonzero obstruction to lifting the bundle to SU(N)SU(N), or with suitable line-defect or boundary data, allowed bundles can have fractional instanton number. Theta periodicity and discrete theta labels then differ. On ordinary S4S^4 or R4\mathbb R^4 without such data, this obstruction vanishes. One must redo the vacuum-sector analysis rather than recycling the simply connected line table.

The index is not the condensate. A nonzero index prevents complete supersymmetry breaking under its hypotheses. It does not calculate ⟨λλ⟩\langle\lambda\lambda\rangle or prove a mass gap.

The BPS bound is not a wall solution. The algebra supplies T≥2∣ΔW∣T\geq2|\Delta W|. Saturation, multiplicity, binding, and the wall worldvolume theory require dynamical input.

The Lie algebra is not the theory. SU(N)SU(N) and PSU(N)PSU(N) share su(N)\mathfrak{su}(N) and local fields but differ in genuine lines, one-form symmetry, bundle sectors, and theta data.

  1. Assuming a BPS wall exists, start from Wk=NΛ3e2πik/NW_k=N\Lambda^3e^{2\pi ik/N} and derive its central-charge tension between vacua separated by nn units.
Solution

Use

e2πi(k+n)/N−e2πik/N=2i eπi(2k+n)/Nsin⁡πnN.e^{2\pi i(k+n)/N}-e^{2\pi ik/N} =2i\,e^{\pi i(2k+n)/N}\sin\frac{\pi n}{N}.

Its magnitude is 2∣sin⁡(πn/N)∣2|\sin(\pi n/N)|. Multiplication by 22 from the BPS bound and by N∣Λ3∣N|\Lambda^3| gives

TnBPS=4N∣Λ3∣∣sin⁡πnN∣.T_n^{\rm BPS}=4N|\Lambda^3|\left|\sin\frac{\pi n}{N}\right|.
  1. Explain why adjoint matter leaves a center one-form symmetry but fundamental matter does not.
Solution

The center acts trivially on the adjoint, so no local adjoint field can terminate a Wilson line with nonzero center charge. A fundamental field has unit center charge and can sit at such an endpoint, screening the line. Hence pure SYM retains Z(G)Z(G) as an electric one-form symmetry for simply connected GG, whereas SQCD with fundamentals does not.

  • Delmastro, Diego, and Jaume Gomis. “Domain Walls in 4d N=1\mathcal N=1 Supersymmetric Yang–Mills.” Journal of High Energy Physics 2021, no. 3 (2021): 259. DOI. Open PDF, arXiv v2.
  • Intriligator, Kenneth, and Nathan Seiberg. “Lectures on Supersymmetric Gauge Theories and Electric-Magnetic Duality.” Nuclear Physics B - Proceedings Supplements 45BC (1996): 1–28. doi:10.1016/0920-5632(95)00626-5. Open PDF.
  • Kac, Victor G., and Alexei V. Smilga. “Vacuum Structure in Supersymmetric Yang–Mills Theories with Any Gauge Group.” Nuclear Physics B 571 (2000): 515–554. DOI. Open PDF.
  • Witten, Edward. “Constraints on Supersymmetry Breaking.” Nuclear Physics B 202 (1982): 253–316. doi:10.1016/0550-3213(82)90071-2.
  • Witten, Edward. “Supersymmetric Index in Four-Dimensional Gauge Theories.” Advances in Theoretical and Mathematical Physics 5, no. 5 (2001): 841–907. doi:10.4310/ATMP.2001.v5.n5.a1. Open PDF.

Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.