SQCD Fields, Symmetries, Global Data, and Classical Moduli
Four-dimensional SQCD is not specified by the pair alone. The canonical theory used in this chapter has gauge group , massless pairs , vanishing tree superpotential, a definite baryon normalization, and a holomorphic scale. Those data determine its faithful symmetries, anomalies, invariant coordinates, and classical branches before any strong-coupling claim is made.
Required background. Gauge-invariant coordinates and classical moduli varieties supplies the complexified quotient used below. ’t Hooft anomaly matching supplies the ultraviolet anomaly coefficients that later infrared proposals must reproduce.
Helpful background. Global form and faithful gauge groups explains the finite quotients and line-operator statements in the theory card.
The SQCD theory card
Section titled “The SQCD theory card”Work in four-dimensional Lorentzian spacetime with the site-wide convention. Let and . The microscopic chiral multiplets are
where is color and are left and right flavor indices. The gauge algebra is and the gauge group is . Fundamental matter does not define a representation of for nontrivial , so replacing the group by a quotient changes or invalidates the theory.
The defining superspace terms are
with . There is no Fayet–Iliopoulos parameter for the simple non-Abelian group. A mass deformation will mean , with no hidden factor of .
We normalize and baryon number by
Thus a baryon made from quarks has charge . This choice matters: anomaly coefficients involving rescale if the baryon itself is instead assigned unit charge.
For the Wilsonian holomorphic coupling, define
An overall multiplicative redefinition of is a scheme convention; every exact coefficient below assumes this convention and the composite definitions given here.
Because the dynamical quarks carry unit center charge, the electric one-form symmetry is explicitly broken and a fundamental Wilson line can end on a quark. This fact will later prevent an asymptotic fundamental area law from serving as an order parameter for confinement.
Faithful global symmetry and R-charges
Section titled “Faithful global symmetry and R-charges”At the Lie-algebra level the continuous symmetry is
The axial is anomalous. Requiring the mixed anomaly to vanish fixes the scalar R-charges to
so the quark Weyl fermions have and the gaugino has .
The group is a finite quotient, not a direct product. Ignoring the additional finite identifications involving rationally normalized , the faithful non-R connected group is
Here is an operational definition that removes convention ambiguity. If and , the tuple
acts on exactly as the gauge-center element and is therefore divided out. The fully faithful group including is obtained by dividing by the entire finite kernel whose action on both elementary fields equals a gauge transformation. Stating the kernel this way remains correct under any integral rescaling of or .
For , the fundamental is pseudoreal and the flavor symmetry enhances to ; mesons and baryons reorganize into its antisymmetric tensor. Formulas written with separate left and right flavor groups must therefore be translated before using this special rank.
Ultraviolet anomaly data
Section titled “Ultraviolet anomaly data”The following coefficients use a left-handed Weyl basis, cubic index , and .
| Anomaly | Coefficient |
|---|---|
| and | |
As a quick internal check,
These are anomalies of the presentation group. A background-field calculation for the faithful quotient must also impose compatible bundles and may expose torsion data invisible in the polynomial coefficients. The continuous coefficients nevertheless provide the standard matching tests used in exact SQCD. The field and charge assignment agrees with Intriligator and Seiberg 1996, §§ 3–4, pp. 9–19.
D-flat quotient and invariant coordinates
Section titled “D-flat quotient and invariant coordinates”With , F-flatness is automatic. D-flatness is
The classical moduli variety is equivalently the affine quotient by . Its basic holomorphic invariants are
and, when ,
with an analogous . The meson has engineering dimension , baryon number zero, and R-charge . The baryon has dimension , baryon number , and R-charge .
These coordinates are constrained. Always . At the sole classical relation is
For , the baryons obey Plücker relations and compatibility relations with ; for example, contracting into a flavor index already occupied by vanishes. A list of unconstrained symbols is therefore not a moduli-space description.
Branch dimensions and stabilizers
Section titled “Branch dimensions and stabilizers”The generic stabilizer changes with rank. For , generic quark expectation values leave unbroken. For , a generic D-flat pair breaks the gauge group completely. Hence
The two expressions agree at . The first equals the number of independent meson entries; the second subtracts the full complexified gauge-orbit dimension. At lower-rank loci the stabilizer grows, additional gauge multiplets become light, and the invariant-coordinate description can become singular. Those loci must be analyzed stratum by stratum rather than by extrapolating a generic Higgs description.
Worked check: with two flavors. There are elementary complex scalars and the generic orbit has dimension , leaving four moduli. No baryon exists because , and the four entries of the meson give exactly those coordinates. The generic stabilizer is , so the gauge group is completely broken even though only two flavors are present.
The quotient construction and its SQCD coordinate relations are developed in Seiberg 1994, §§ 2–3, pp. 2–7. Quantum dynamics will preserve the chiral-coordinate logic while changing the superpotential or the defining relation.
Checks before making an infrared claim
Section titled “Checks before making an infrared claim”- Global form: can every matter representation and every claimed line be defined for the chosen gauge group?
- Faithful symmetry: have center identifications and the baryon normalization been fixed before anomaly matching?
- Branch: is the calculation at a generic Higgs point, a singular stratum, or the origin?
- Scale: is holomorphic or canonical, and which scheme fixes an exact coefficient?
- Small rank: does enhance flavor symmetry, or does the proposed rank interval become empty?
- Tree superpotential: are masses, baryon sources, or other deformations genuinely absent?
Ignoring any one of these questions can turn a correct formula for one SQCD theory into a false statement about another.
Exercises
Section titled “Exercises”- Verify the anomaly coefficient in the table.
Solution
Only the color copies of the fermion transform under . Each has and fermionic R-charge . Therefore
- Show that the classical relation has consistent engineering dimension, baryon number, and R-charge.
Solution
has dimension , baryon number zero, and R-charge at . The product has dimension , baryon number , and the same vanishing R-charge. Thus subtraction is allowed. The quantum deformation on the later page can consistently replace the right-hand side by .
References
Section titled “References”- 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.
- Seiberg, Nathan. “Exact Results on the Space of Vacua of Four-Dimensional SUSY Gauge Theories.” Physical Review D 49 (1994): 6857–6863. doi:10.1103/PhysRevD.49.6857. Open PDF.