Sufficiency and necessity of the Silverstein–Witten off-shell conformal-invariance criteria for two-dimensional (0,2) supersymmetric Lagrangian models

Two-dimensional quantum field theories with (0,2) supersymmetry (two right-moving supercharges, none left-moving) are the worldsheet theories of heterotic string vacua, and gauged linear sigma models are their main Lagrangian representatives. Silverstein and Witten (1994) derived off-shell criteria under which such a model possesses a left-moving Virasoro generator in the cohomology of the right-moving supercharge $\bar Q_+$ even away from criticality: quasihomogeneity of the (0,2) superpotential data, and vanishing of a one-loop anomaly combination equivalent to anomaly cancellation of a specific right-moving U(1) R-symmetry. Silverstein and Witten state that this off-shell structure is neither necessary nor sufficient to guarantee a nontrivial (0,2) superconformal infrared fixed point. The open problem is: determine whether, and under what precise necessary and sufficient conditions, (0,2) Lagrangian theories — in particular linear sigma models satisfying the Silverstein–Witten criteria — flow in the infrared to nontrivial (0,2) superconformal field theories; determine under what general conditions the left-moving Virasoro generator emerges only at the fixed point; establish whether the left-moving structure survives higher-loop and nonperturbative worldsheet corrections beyond the one-loop free-propagator computation; and work out the implications of the chirally realized left-moving U(1) current for spacetime GSO projections, orbifold constructions, and the classification of admissible (0,2) string vacua. Later literature (c-extremization, RG-invariance of the chiral algebra, the study of accidental infrared symmetries, and recent chiral-algebra unitarity puzzles) has sharpened but not resolved these questions.

Background

The heterotic string is described at each fixed spacetime background by a two-dimensional conformal field theory (CFT) on the string worldsheet, and four-dimensional vacua with $\mathcal{N}=1$ spacetime supersymmetry and nontrivial gauge bundles require worldsheet theories with at least $(0,2)$ supersymmetry — two supercharges of one chirality ("right-moving") and none of the other. The main Lagrangian laboratory for such theories is the $(0,2)$ gauged linear sigma model (GLSM): a two-dimensional gauge theory with chiral multiplets $\Phi_i$ (complex scalars with right-moving fermions) and fermi multiplets $\Lambda_{-a}$ (left-moving fermions), coupled for simplicity to a $\mathrm{U}(1)$ gauge multiplet, with holomorphic interactions encoded in functions $J^a(\Phi)$ and $E_a(\Phi)$ subject to $E_a J^a = 0$ , which is required by supersymmetry of the action. Witten's "phases" analysis of $(2,2)$ models showed that such linear models interpolate, as their parameters vary, between a nonlinear sigma model on a Calabi–Yau complete intersection at large radius (a Calabi–Yau manifold is a compact complex Kähler manifold with vanishing first Chern class, the typical internal space of a string compactification, and the gauge data descend to a stable holomorphic vector bundle over it) and a Landau–Ginzburg orbifold in other limits (an orbifold being the quotient of a theory by a discrete symmetry group, with fields twisted by the group action), which is why they are the standard tool for studying string vacua.

The right-moving supercharge $\bar Q_+$ is nilpotent, $\bar Q_+^2 = 0$ up to a translation, so its cohomology on local operators can be studied even away from criticality; this "half-twisted" cohomological sector is the $(0,2)$ analogue of the chiral ring. For $(2,2)$ Landau–Ginzburg models (supersymmetry of both chiralities) with a quasihomogeneous superpotential $W$ , meaning $\sum_i \alpha_i \Phi_i\, \partial W/\partial \Phi_i = d\, W$ for some constant weights $\alpha_i$ and degree $d$ , Witten showed that a left-moving $\mathcal{N}=2$ superconformal algebra exists in this cohomology even off criticality, as a precursor of the conjectured infrared fixed point.

Silverstein and Witten (1994) extended this to $(0,2)$ linear models. They constructed explicitly a left-moving stress tensor $T_{--}$ that is $\bar D_+$ -closed (a nontrivial class in $\bar Q_+$ cohomology) precisely when $J^a$ and $E_a$ obey quasihomogeneity conditions with constant weights $\alpha_i, \alpha_a$ ; showed that its free-field operator product satisfies the Virasoro algebra — the algebra of the generators of two-dimensional conformal transformations — with a computable central charge; and computed the leading one-loop quantum obstruction

$[\bar Q_+, T_{--}] = 2i\,\partial_-\chi_-\Bigl(\sum_i Q_i - \sum_i Q_i \alpha_i + \sum_a Q_a \alpha_a\Bigr),$

where $Q_i$ and $Q_a$ are the gauge charges and $\chi_-$ is the left-moving gaugino. This anomaly is proportional to a non-removable singular term and cannot be cancelled by local counterterms unless the displayed combination vanishes; the vanishing condition is equivalent to cancellation of the anomaly of one particular right-moving $\mathrm{U}(1)$ R-symmetry (an R-symmetry is one that acts on the supercharges), not merely of some anomaly-free R-symmetry. The criterion excludes the $\mathbb{CP}^n$ model viewed as a $(0,2)$ model — its surviving vector R-symmetry is not the required one — and reproduces the Distler–Kachru class of $(0,2)$ Landau–Ginzburg string vacua. The same technique yields classical quasihomogeneity conditions and a gauge-anomaly cancellation condition for a chirally realized left-moving $\mathrm{U}(1)$ current $J$ , which at a fixed point helps fill out the spacetime gauge group and defines the GSO projection (the projection on the spacetime spectrum that preserves supersymmetry and removes tachyons) and orbifold twisting.

The authors emphasize that the off-shell structure is "neither necessary nor sufficient" to ensure a conformally invariant infrared fixed point: not sufficient a priori, and not necessary because the left-moving stress tensor commuting with $\bar Q_+$ might appear only at the fixed point, paired with another state in the cohomology. Moreover, the anomaly computation uses free propagators at one loop only, and the persistence of the left-moving structure under higher-loop worldsheet corrections and nonperturbative effects is not analyzed. These caveats, together with the underdeveloped role of the left-moving $\mathrm{U}(1)$ current in vacuum classification, define the unresolved target stated below.

Problem Statement

Consider the class of two-dimensional $(0,2)$ gauged linear sigma models with chiral multiplets $\Phi_i$ , fermi multiplets $\Lambda_{-a}$ , a $\mathrm{U}(1)$ gauge multiplet, and holomorphic interaction data $E_a(\Phi)$ , $J^a(\Phi)$ with $E_a J^a = 0$ , together with the ungauged $(0,2)$ Landau–Ginzburg subclass. Silverstein and Witten derived off-shell criteria for such a model to carry a left-moving Virasoro generator in $\bar Q_+$ cohomology away from criticality: the quasihomogeneity conditions on $E_a$ and $J^a$ , and vanishing of the one-loop anomaly combination $\sum_i Q_i - \sum_i Q_i \alpha_i + \sum_a Q_a \alpha_a$ , equivalent to anomaly cancellation of the associated right-moving $\mathrm{U}(1)$ R-symmetry. The open problem has three linked facets sharing one objective, namely to determine the extent to which the off-shell, cohomological data of the ultraviolet Lagrangian control the existence and structure of the infrared superconformal theory:

(1) Sufficiency and necessity. Determine whether the above criteria are sufficient for the model to flow in the infrared to a nontrivial $(0,2)$ superconformal field theory (an interacting superconformal fixed point with nonzero central charge, as opposed to a free, gapped, or non-compact infrared theory), and more generally determine necessary and sufficient conditions, in terms of the microscopic Lagrangian data, for a $(0,2)$ Lagrangian theory (Landau–Ginzburg or gauged linear) to possess such an infrared fixed point. Conversely, determine under what general conditions the left-moving Virasoro generator commuting with $\bar Q_+$ exists only at the fixed point — so that its off-shell existence is not necessary — including the role of accidental symmetries that emerge only in the infrared.

(2) Quantum persistence. Establish whether the left-moving structure in $\bar Q_+$ cohomology survives arbitrary higher-loop worldsheet corrections and nonperturbative effects (worldsheet instantons, i.e. localized saddle points of the Euclidean worldsheet path integral carrying nonzero gauge flux), beyond the original one-loop, free-propagator computation, for both the ungauged and the gauged classes.

(3) Role of the left-moving $\mathrm{U}(1)$ . Work out the detailed implications of the existence or absence of the chirally realized left-moving $\mathrm{U}(1)$ current $J$ for spacetime GSO projections, orbifold constructions, and the classification of admissible $(0,2)$ string vacua, within the class of models considered above. A full classification of admissible $(0,2)$ string vacua is not required.

The relation between the off-shell cohomological criteria and infrared superconformality for the stated class, and the resulting consequences for vacuum classification, are to be determined by proof or controlled counterexample. The classical and one-loop derivation of the criteria themselves is prior work and is not part of this question.

References

Eva Silverstein and Edward Witten, "Global U(1) R-symmetry and conformal invariance of (0,2) models", Physics Letters B 328 (1994) 307–311. DOI: 10.1016/0370-2693(94)91484-2. URL: https://arxiv.org/abs/hep-th/9403054 (arXiv:hep-th/9403054).
Edward Witten, "Phases of N=2 theories in two dimensions", Nuclear Physics B 403 (1993) 159–222. DOI: 10.1016/0550-3213(93)90033-L. URL: https://arxiv.org/abs/hep-th/9301042 (arXiv:hep-th/9301042).
Jacques Distler and Shamit Kachru, "(0,2) Landau-Ginzburg theory", Nuclear Physics B 413 (1994) 213–243. DOI: 10.1016/0550-3213(94)90619-X. URL: https://arxiv.org/abs/hep-th/9309110 (arXiv:hep-th/9309110).
Edward Witten, "On the Landau-Ginzburg description of N=2 minimal models", International Journal of Modern Physics A 9 (1994) 4783–4800. DOI: 10.1142/S0217751X9400193X. URL: https://arxiv.org/abs/hep-th/9304026 (arXiv:hep-th/9304026).
Eva Silverstein and Edward Witten, "Criteria for conformal invariance of (0,2) models", Nuclear Physics B 444 (1995) 161–190. DOI: 10.1016/0550-3213(95)00186-V. URL: https://arxiv.org/abs/hep-th/9503212 (arXiv:hep-th/9503212).
Jacques Distler, "Notes on (0,2) superconformal field theories", lecture notes, Trieste Summer School 1994, ICTP High Energy Physics and Cosmology proceedings, pp. 0322–0351. URL: https://arxiv.org/abs/hep-th/9502012 (arXiv:hep-th/9502012).
Anirban Basu and Savdeep Sethi, "World-sheet stability of (0,2) linear sigma models", Physical Review D 68 (2003) 025003. DOI: 10.1103/PhysRevD.68.025003. URL: https://arxiv.org/abs/hep-th/0303066 (arXiv:hep-th/0303066).
Edward Witten, "Two-dimensional models with (0,2) supersymmetry: Perturbative aspects", Advances in Theoretical and Mathematical Physics 11 (2007) 1–63. DOI: 10.4310/ATMP.2007.v11.n1.a1. URL: https://arxiv.org/abs/hep-th/0504078 (arXiv:hep-th/0504078).
Francesco Benini and Nikolay Bobev, "Exact two-dimensional superconformal R-symmetry and c-extremization", Physical Review Letters 110 (2013) 061601. DOI: 10.1103/PhysRevLett.110.061601. URL: https://arxiv.org/abs/1211.4030 (arXiv:1211.4030).
Marco Bertolini, Ilarion V. Melnikov and M. Ronen Plesser, "Accidents in (0,2) Landau-Ginzburg theories", Journal of High Energy Physics 12 (2014) 157. DOI: 10.1007/JHEP12(2014)157. URL: https://arxiv.org/abs/1405.4266 (arXiv:1405.4266).
Jin Chen, Xiaoyi Cui, Mikhail Shifman and Arkady Vainshtein, "N=(0,2) deformation of (2,2) sigma models: Geometric structure, holomorphic anomaly, and exact beta functions", Physical Review D 90 (2014) 045014. DOI: 10.1103/PhysRevD.90.045014. URL: https://arxiv.org/abs/1404.4689 (arXiv:1404.4689).
Mykola Dedushenko, "Chiral algebras in Landau-Ginzburg models", Journal of High Energy Physics 03 (2018) 079. DOI: 10.1007/JHEP03(2018)079. URL: https://arxiv.org/abs/1511.04372 (arXiv:1511.04372).
Jirui Guo, Satoshi Nawata, Runkai Tao and Hao Derrick Zhang, "New conformal field theory from $\mathcal{N}=(0,2)$ Landau-Ginzburg model", Physical Review D 101 (2020) 046008. DOI: 10.1103/PhysRevD.101.046008. URL: https://arxiv.org/abs/1911.06662 (arXiv:1911.06662).
Marco Bertolini, Ilarion V. Melnikov and M. Ronen Plesser, "Fixed points of (0,2) Landau-Ginzburg renormalization group flows and the chiral algebra", Journal of High Energy Physics 09 (2022) 230. DOI: 10.1007/JHEP09(2022)230. URL: https://arxiv.org/abs/2106.00105 (arXiv:2106.00105).