GLSMs, Phases, and Quantum Kähler Moduli
A gauged linear sigma model is a ultraviolet gauge theory whose vacuum equations can produce nonlinear sigma models, Landau–Ginzburg orbifolds, hybrid theories, and singular Coulomb regimes. A phase is not determined by the sign of an FI parameter alone. It requires the global gauge group, charge matrix, superpotential, D- and F-term equations, excluded locus, residual gauge symmetry, anomaly data, and a scale hierarchy that makes the proposed low-energy description reliable.
Required background. We use Kähler sigma models and their quantum limitations and F- and D-flatness as a gauge quotient. Helpful background. Landau–Ginzburg vacua and orbifolds supply the non-geometric phase language.
Abelian GLSM data
Section titled “Abelian GLSM data”Consider gauge group and chiral multiplets , , with integral charge matrix . The defining data are
together with R charges and the global action of . We normalize the FI and theta terms by
For an honest with minimal electric charge one, . If all displayed charges share a common divisor, one must say whether the ineffective subgroup is divided out. , , and a theory with a trivially acting have different bundle sums and can differ by decomposition or discrete theta data.
Ignoring twisted masses for the moment, the bosonic potential is
Supersymmetric Higgs vacua satisfy
modulo . A semiclassical Higgs branch usually has and is a Kähler quotient further cut by the F equations.
Excluded loci and the phase fan
Section titled “Excluded loci and the phase fan”The D-term equation says which sets of fields cannot vanish simultaneously. In one theory:
- if , at least one positively charged field must be nonzero;
- if , at least one negatively charged field must be nonzero.
The forbidden coordinate set is the excluded locus. Removing it before quotienting is essential: it distinguishes a projective quotient from a singular affine quotient. For , cones spanned by subsets of the charge vectors divide FI space into chambers. Each chamber has a fixed collection of allowed nonzero coordinate sets; their combinatorics is the secondary, or phase, fan.
The holomorphic quotient, and its relation to the symplectic and toric phase descriptions, is reviewed in Hori et al. 2003, chs. 12–13 and may be written schematically
where is the chamber-dependent excluded set. The equality with the symplectic quotient assumes stable orbits and is a version of the Kempf–Ness correspondence. F-term equations must still be imposed, and finite stabilizers produce orbifolds rather than smooth manifolds.
Worked example: the quintic
Section titled “Worked example: the quintic”Take one , five fields of charge , a field of charge , and
with a transverse homogeneous polynomial of degree five. The complete charge and R data relevant to the phase analysis are
| Field | charge | vector R charge | F equation |
|---|---|---|---|
The D equation and anomaly sum are
Geometric chamber:
Section titled “Geometric chamber: r≫0r\gg0r≫0”The excluded set is . Transversality means the equations have no common nonzero projective solution. Therefore the F equations force and . Quotienting by gives
The gauge multiplet and radial mode have masses of order . Far below that scale, and when the target curvature is small in cutoff units, the EFT is a nonlinear sigma model on the quintic.
Landau–Ginzburg chamber:
Section titled “Landau–Ginzburg chamber: r≪0r\ll0r≪0”Now . Gauge fixing its phase leaves the subgroup satisfying , namely . The remain light near the origin and interact through . Thus the low-energy description is
not the ungauged LG model. The orbifold acts diagonally on all . The massive radial and vector modes again have masses of order .
The phase information is summarized without suppressing the conditions:
| Chamber | Excluded set | Residual gauge group | Light theory | Semiclassical requirement |
|---|---|---|---|---|
| all | generically trivial | quintic sigma model | above the sigma-model scale | |
| LG orbifold | above LG scales | |||
| near a quantum discriminant | Coulomb fields become light | unbroken component | no pure Higgs EFT | retain and other light fields |
This construction and its geometric/LG interpretation originate in Witten 1993, §§3–4.
FI running and the axial anomaly
Section titled “FI running and the axial anomaly”A charged chiral multiplet shifts the FI coupling at one loop. With a reference scale ,
up to the stated direction convention for RG flow. The same sum controls the gauge contribution to the axial R anomaly:
Thus for every gauge factor is both the Calabi–Yau charge condition and the perturbative condition for an unbroken continuous axial R symmetry. The quintic satisfies it. The GLSM with fields of charge does not: runs, a dynamical scale is generated, and the axial symmetry is reduced.
Gauge anomalies are a different question. A chiral has left- and right-moving fermions whose gauge-anomaly contributions cancel. General matter instead requires the quadratic condition
or a specified inflow mechanism.
Quantum Kähler moduli and singular loci
Section titled “Quantum Kähler moduli and singular loci”Classically looks like a wall. Quantum mechanically the natural coordinate is complex,
One can often move between large positive and negative by varying and avoiding singular points. This does not mean every path is nonsingular. On a Coulomb branch, a field of charge has mass , and integrating it out yields the condition
If , the powers of cancel and leave a special value of . For the quintic,
At this discriminant, the Coulomb direction is not lifted and the Higgs-only description fails. The numerical location depends on the convention for and finite renormalization, while the existence of the singular divisor is invariant. The effective twisted-superpotential derivation makes the branch structure explicit.
A reusable phase-analysis procedure
Section titled “A reusable phase-analysis procedure”For any proposed GLSM phase:
- specify the global gauge group and all charges, including fields that become heavy;
- write , every F equation, and every D equation;
- solve the D equation to identify the excluded locus;
- solve the F equations on the allowed set, checking transversality;
- divide by the gauge group and compute every residual stabilizer;
- check gauge and R anomalies and the FI beta function;
- list the masses of integrated-out fields and state the energy hierarchy;
- inspect Coulomb or mixed branches and remove the quantum discriminant;
- only then name the phase geometric, LG, orbifold, hybrid, or mixed.
Mixed phases occur when some fields form a compact base while others remain an LG fiber. A single label such as “hybrid” is incomplete without the base, fiber superpotential, orbifold action, and singular fibers.
Common pitfalls
Section titled “Common pitfalls”Drawing a phase from alone. Two theories with the same charge signs can have different F equations, stabilizers, and singular loci. The superpotential and global group are part of the phase definition.
Equating a classical wall with a quantum singularity. The complexified parameter can go around the real wall. The true obstruction is the discriminant where extra degrees of freedom become massless.
Integrating out the field that diagnoses failure. A Coulomb-branch calculation assumes charged matter is massive. At , that assumption fails and the field must be restored.
Exercises
Section titled “Exercises”- Analyze a model with charges and no superpotential in the two signs of .
Solution
The D equation is . For , ; quotienting gives the total space of , with the fiber coordinate. For , , leaving a residual acting by sign on ; without these directions are noncompact. Since , the perturbative FI coupling does not run.
- Explain why transversality of forces in the quintic’s chamber.
Solution
The F equations are and . If , all vanish. Transversality says their common zero in affine space is only , but that point is excluded for . Hence .
- Derive the residual group in the chamber for a field of charge acquiring a nonzero expectation value.
Solution
A gauge rotation preserves the expectation value when . The solutions are , so the unbroken subgroup is , subject to any prior quotient in the specified global gauge group.
References
Section titled “References”- Hori, K., Katz, S., Klemm, A., Pandharipande, R., Thomas, R., Vafa, C., Vakil, R., and Zaslow, E. Mirror Symmetry. Clay Mathematics Monographs 1. Providence, RI: American Mathematical Society and Clay Mathematics Institute, 2003, chs. 12–13. Clay Mathematics Institute book page.
- Witten, E. “Phases of Theories in Two Dimensions.” Nuclear Physics B 403 (1993): 159–222. doi:10.1016/0550-3213(93)90033-L; arXiv:hep-th/9301042.