Chiral Gauge Theories and Anomaly Constraints
Chiral gauge theories do not admit the matrix-of-mesons shortcut familiar from vectorlike SQCD. A reliable analysis begins with the exact gauge and global data, proves that the microscopic gauge theory is consistent, determines the complete invariant ring and its branches, and only then asks which nonperturbative terms or infrared spectra are possible. The minimal theory with one and one is a compact example: every elementary check is explicit, yet those checks constrain rather than uniquely determine its strongly coupled infrared physics.
Required background. SQCD fields, symmetries, and moduli supplies the theory-card method, while nonperturbative superpotentials supplies the selection-rule logic. Helpful background. Global and torsion anomalies covers nonperturbative gauge consistency, and Nelson–Seiberg-type criteria explains why an symmetry is a diagnostic rather than a proof of supersymmetry breaking.
A complete chiral-theory test
Section titled “A complete chiral-theory test”For a proposed four-dimensional theory, the following order prevents circular reasoning.
- Declare the gauge algebra and global form, every chiral representation, the tree superpotential, and line-operator data.
- Cancel perturbative cubic gauge anomalies and check global gauge anomalies. A failure here means there is no quantum gauge theory to analyze.
- Compute the nonanomalous continuous and discrete global symmetry, including finite quotients shared with the gauge center.
- Construct the holomorphic invariant ring and its relations. Use it to find -flat branches and unbroken gauge subgroups.
- Assign spurion charges to each holomorphic scale, list every allowed exact term, and test zero-mode counting and weakly Higgsed limits where available.
- Propose an infrared spectrum only after these steps, then match all ‘t Hooft anomalies and deform the theory to neighboring regimes.
An anomaly match is necessary for an unbroken global symmetry. It is not sufficient to prove confinement, completeness of a proposed composite spectrum, or supersymmetry breaking.
The minimal chiral SU(5) theory
Section titled “The minimal chiral SU(5) theory”Consider simply connected with no tree superpotential and chiral multiplets
These representations do not descend to a nontrivial quotient of , and the antifundamental screens every center charge. There is therefore no electric one-form symmetry. With and , the holomorphic one-loop coefficient is
so the instanton factor is proportional to .
Gauge consistency
Section titled “Gauge consistency”Normalize the cubic anomaly of a left-handed to . The two-index antisymmetric has coefficient , whereas . Hence
There is no four-dimensional Witten-type global gauge anomaly because . These are logically separate checks: the first is a local triangle anomaly, the second tests large gauge transformations.
Continuous global symmetry
Section titled “Continuous global symmetry”An anomaly-free flavor symmetry can be normalized by
because . Its order-five subgroup overlaps the gauge center: an rotation by acts like the gauge-center element . Thus the faithful ordinary flavor action is ; although this quotient is abstractly another circle, it matters for allowed background bundles and charge normalization.
One convenient anomaly-free assignment for scalar components is
Indeed the mixed gauge anomaly, including the charge-one gaugino, is
Mixing produces the expected one-parameter family. No preferred superconformal combination follows from this ultraviolet calculation.
The distinction between scalar and fermion charges is important. In the displayed basis the complete ultraviolet fermion card is
where the last row is the gaugino. For global-form bookkeeping it is sometimes cleaner to use . Its scalar charges are , so the half-turn acts as fermion parity. We will quote the faithful ordinary flavor group as and keep the spin- extension separate. The anomaly-free phase-rotation kernel is connected in this model, so there is no additional independent ordinary discrete factor hidden by the continuous notation.
Why there is no classical flat direction
Section titled “Why there is no classical flat direction”The tempting cubic vanishes because chiral superfields commute, so is symmetric while is antisymmetric. A second-looking contraction,
also vanishes identically. Define the Pfaffian-adjugate vector
Antisymmetry in five dimensions gives , so the displayed contraction is zero. Higher candidate matter singlets factor through the same identities. Equivalently, the holomorphic invariant ring generated by and is just the constants.
Why does an algebraic statement settle the terms? For a reductive gauge group, every -flat configuration represents a closed orbit of the complexified gauge group, and distinct closed orbits are separated by holomorphic invariants. A nonzero -flat orbit would therefore give some invariant a nonzero value. Since no such invariant exists, the only classical -flat configuration is the origin. This is more informative than a component-by-component attempt to solve 24 -term equations: there is no Higgs regime in which the original theory becomes weakly coupled along a modulus. The invariant-orbit correspondence and its use in supersymmetric gauge theories are reviewed in Luty and Taylor 1996, §§ 2–3, arXiv PDF.
The absence of an invariant also forbids an ordinary holomorphic superpotential built solely from gauge-invariant chiral coordinates. It does not imply that strong dynamics is absent. A quantum theory may break a global symmetry, contain an interacting sector, or generate nonlocal infrared variables not visible as polynomial ultraviolet invariants.
The full Abelian anomaly record
Section titled “The full Abelian anomaly record”Using the fermion charges above, the purely flavor and gravitational coefficients are
Together with , these are all continuous local and ‘t Hooft anomaly coefficients in the chosen Abelian basis. Under , the coefficients containing transform by the corresponding polynomial substitution; this basis dependence is not an ambiguity in the anomaly polynomial.
Anomalies constrain candidate infrared phases
Section titled “Anomalies constrain candidate infrared phases”If remained unbroken and the infrared were a trivially gapped theory with no topological sector, these anomalies could not match. A symmetry-preserving proposal with no massless degrees of freedom is therefore inconsistent unless a suitable nontrivial infrared sector is supplied. Spontaneous breaking is a separate option and necessarily introduces a Goldstone mode. Numerically, the two anomalies equal those of one Weyl fermion of charge . In an unbroken supersymmetric description that fermion would need a chiral-multiplet partner, yet the ultraviolet matter invariant ring contains no nonconstant coordinate of charge . This excludes a naive one-composite description, not an emergent interacting sector. Gauge-field-strength operators such as also exist, but they carry and do not solve this match. The obstruction was central to the original strong-dynamics analysis of Affleck, Dine, and Seiberg 1984, pp. 188–191.
What does this establish? It excludes a symmetric, trivially gapped vacuum. It does not alone choose between spontaneous global-symmetry breaking, an interacting massless phase, or dynamical supersymmetry breaking. If a continuous global symmetry is known independently to break, then unbroken supersymmetry would place its Goldstone boson in a chiral multiplet with another massless real scalar. That partner parametrizes a noncompact flat direction, contradicting the no-flat-direction result. This is the conditional “broken continuous symmetry plus no flat directions” argument explained in Skiba 1997, § 2, pp. 2–4, arXiv PDF. The missing step is proving that symmetry breaking actually occurs and that every quantum escape route, including infinity or an emergent branch, has been excluded.
Deformations make stronger tests possible
Section titled “Deformations make stronger tests possible”A useful strategy embeds the theory in a nearby model with extra vectorlike matter or weak interactions, where a Higgsed or dual description is calculable. One then determines the exact superpotential, follows all vacua as the deformation is removed, and checks whether any run to infinity. Holomorphy controls the continuation only away from singularities; a vacuum escaping to infinite field distance invalidates a naive index or continuity argument. This deformation logic, rather than SQCD analogy, underlies the vectorlike extensions analyzed by Poppitz and Trivedi 1996, §§ 2–4, arXiv PDF and the antisymmetric-tensor dual descriptions of Pouliot 1996, §§ 2–4, arXiv PDF; Skiba 1997, §§ 3–4, arXiv PDF reviews their role in DSB arguments.
What can and cannot be concluded
Section titled “What can and cannot be concluded”For the one-family model the following statements have different status:
- Gauge-anomaly cancellation, , the continuous anomaly-free symmetries, the absence of polynomial invariants, and the displayed ‘t Hooft anomalies are exact algebraic results.
- Excluding a symmetric trivial gap follows exactly if the stated global symmetry is unbroken and no anomaly-carrying topological sector is present.
- Dynamical supersymmetry breaking is the standard strong-coupling interpretation, supported by deformations and consistency arguments, but the undeformed theory has no parametrically weak regime in which its Kähler potential and vacuum energy can be computed.
This last distinction motivates the calculable product-group example on the dynamical supersymmetry-breaking page.
Common pitfalls
Section titled “Common pitfalls”Checking only the cubic gauge anomaly. A vanishing triangle anomaly does not remove possible global gauge anomalies or specify the faithful global group. Both must be checked before infrared reasoning.
Treating an allowed term as a generated term. Symmetry and dimension provide a candidate list. Zero modes, branches, decoupling, and a controlled limit decide whether a coefficient is nonzero.
Inferring supersymmetry breaking from an symmetry. An symmetry is an important necessary ingredient in generic F-term models, subject to hypotheses. In a strongly coupled gauge theory one must still exclude runaway vacua, emergent fields, and alternative branches.
Exercises
Section titled “Exercises”1. Reconstruct the anomaly-free charges
Section titled “1. Reconstruct the anomaly-free charges”Let and . Solve the condition and verify the quoted faithful overlap.
Solution
The mixed anomaly is , so ; choose . Under , the fields acquire phases . The gauge-center element acts on the as and on the as . Hence that flavor transformation is gauge-equivalent to the identity and must be quotiented.
2. Why anomaly matching is not a DSB proof
Section titled “2. Why anomaly matching is not a DSB proof”List three infrared possibilities compatible with the nonzero anomalies, and state which extra fact a DSB proof must establish.
Solution
The symmetry may be spontaneously broken, massless interacting degrees of freedom may reproduce the anomalies, or a nontrivial topological sector may carry them. A DSB proof must additionally show that no zero-energy supersymmetric state exists anywhere, including at infinity or on an emergent quantum branch. The anomaly calculation alone excludes only the symmetric trivial gap.
3. Complete the Abelian anomaly polynomial
Section titled “3. Complete the Abelian anomaly polynomial”Using the fermion table, compute , , , and . Then explain why the numbers change under without changing the physical anomaly.
Solution
The gaugino contributes to both and . The matter contributions use multiplicities 10 and 5 and fermion charges , giving
Changing by changes the coordinate basis on the same two-dimensional Abelian symmetry group. Substituting into the anomaly polynomial mixes the displayed coefficients but does not change the underlying multilinear anomaly functional.
References
Section titled “References”- Affleck, Ian, Michael Dine, and Nathan Seiberg. “Dynamical Supersymmetry Breaking in Chiral Theories.” Physics Letters B 137 (1984): 187–192. DOI.
- Luty, Markus A., and Washington Taylor IV. “Varieties of Vacua in Classical Supersymmetric Gauge Theories.” Physical Review D 53 (1996): 3399–3405. DOI; arXiv.
- Poppitz, Erich, and Sandip P. Trivedi. “Some Examples of Chiral Moduli Spaces and Dynamical Supersymmetry Breaking.” Physics Letters B 365 (1996): 125–131. DOI; arXiv.
- Pouliot, Philippe. “Duality in SUSY with an Antisymmetric Tensor.” Physics Letters B 367 (1996): 151–156. DOI; arXiv.
- Skiba, Witold. “Dynamical Supersymmetry Breaking.” Modern Physics Letters A 12 (1997): 737–750. DOI; arXiv.
Original QFT.org content:CC BY 4.0, unless an item supplies different terms. Third-party material retains its own terms.