Landau–Ginzburg Models and Chiral Rings

A $(2,2)$ Landau–Ginzburg model packages interacting dynamics into a Kähler potential $K$ and a holomorphic superpotential $W$. The critical locus of $W$ gives classical supersymmetric vacua; for polynomial fields on affine space, the Jacobi quotient gives the B-type chiral ring; quasi-homogeneity supplies candidate infrared R charges and central charge. These statements concern different levels of information, and they require extra care for degenerate, noncompact, or orbifolded models.

Required background. We use the $(2,2)$ chiral multiplet and superspace measures and the component logic of Wess–Zumino models. Helpful background. Quantum chiral rings and anomaly relations provide the higher-dimensional analogue.

The Landau–Ginzburg action

For chiral fields $\Phi^i$,

$$S=\int d^2x\,d^4\theta\,K(\Phi,\bar\Phi) +\left[\int d^2x\,d\theta^+d\theta^-\,W(\Phi)+\text{c.c.}\right].$$

Let $g_{i\bar j}=\partial_i\partial_{\bar j}K$ be positive definite. Eliminating the auxiliary fields gives

$$F^i=-g^{i\bar j}\partial_{\bar j}\bar W, \qquad V=g^{i\bar j}\partial_iW\,\partial_{\bar j}\bar W\ge0.$$

Thus a constant field configuration is supersymmetric exactly when

$$\partial_iW=0\quad\text{for every }i.$$

This derivation assumes that the solution lies at finite distance in field space and that the Kähler metric is nonsingular there. A formal critical point on a deleted orbifold locus or at infinity need not define a normalizable vacuum.

The Wilsonian chiral superpotential is protected by the $(2,2)$ nonrenormalization theorem, while the D-term encoded in $K$ and the normalization of fields can run Hori et al. 2003, §14.3, pp. 331–335. Consequently the critical ideal and B-type ring can be much more robust than ordinary distances or scattering amplitudes. This does not make every statement written in ultraviolet field coordinates invariant under RG flow.

The Jacobi ring

In the B-type cohomology, the equations of motion make $\partial_iW$ exact. For $X_i$ valued in $\mathbb C^n$, polynomial observables are therefore identified modulo the gradient ideal, as in the chiral-ring construction of Lerche, Vafa, and Warner 1989, §§2–3:

$$\operatorname{Jac}(W)= \frac{\mathbb C[X_1,\ldots,X_n]} {(\partial_1W,\ldots,\partial_nW)}.$$

If $W$ has isolated critical points, this quotient is finite-dimensional. Its dimension is the sum of the local Milnor numbers and, after a generic deformation that splits the critical scheme into simple points, equals the number of massive vacua counted with multiplicity. It does not say that a degenerate critical point already represents that many distinct vacua. If the gradient ideal is not zero-dimensional, the quotient is infinite-dimensional; one must then confront flat directions, continuum states, and boundary conditions at infinity. On a curved or non-affine target, the polynomial quotient must be replaced by the corresponding sheaf or hypercohomology construction.

The $A_k$ family

Take

$$W(X)=\frac{X^{k+2}}{k+2}.$$

Then $\partial_XW=X^{k+1}$ and

$$\operatorname{Jac}(W)=\mathbb C[X]/(X^{k+1}) =\operatorname{span}_{\mathbb C}\{1,X,\ldots,X^k\}.$$

The critical point is degenerate, so the ultraviolet potential does not describe $k+1$ separated massive vacua. Add a relevant deformation,

$$W_u(X)=\frac{X^{k+2}}{k+2}-uX.$$

For $u\ne0$, the equation $X^{k+1}=u$ gives $k+1$ distinct vacua. Their coalescence as $u\to0$ recovers the ring multiplicity.

For simple critical points in a one-field model, the genus-zero B-twisted correlator has the residue form derived in the topological LG model of Vafa 1991, pp. 337–346:

$$\langle f(X)\rangle_{S^2} =\sum_{X_*:\,W'(X_*)=0}\frac{f(X_*)}{W''(X_*)},$$

up to the normalization of the path-integral measure. With several fields, $W''$ is replaced by $\det(\partial_i\partial_jW)$ at a simple critical point. A degenerate critical point must instead be handled by a Grothendieck residue or a controlled deformation; substituting a zero Hessian into the massive formula is meaningless.

Quasi-homogeneity and a candidate infrared fixed point

Suppose positive rational weights $\omega_i$ exist such that

$$W(\lambda^{\omega_i}X_i)=\lambda W(X_i).$$

Then the superpotential admits a continuous vector R symmetry with scalar charges $R_V(X_i)=2\omega_i$. If the flow reaches a unitary $(2,2)$ superconformal theory with a discrete normalizable spectrum and no accidental R-symmetry mixing, its central charge is

$$c=3\sum_i(1-2\omega_i).$$

For the $A_k$ model, $\omega=1/(k+2)$ and

$$c=\frac{3k}{k+2}.$$

The formula follows from the R-current anomaly and becomes an exact infrared statement only after identifying the superconformal R current. Quasi-homogeneity is the condition that supplies this continuous R symmetry; it is not, by itself, proof of an interacting fixed point. One must also check that the critical locus is isolated after removing massive quadratic pairs, that the intended contour gives a unitary theory, and that no field opens a decoupled noncompact direction. The chiral-ring and central-charge relation was developed systematically in Lerche, Vafa, and Warner 1989, §§2–4.

Solitons and central charges

Consider a static field $X(x^1)$ joining critical points $a$ and $b$. For canonical Kähler metric,

$$E=\int dx^1\left(|\partial_1X|^2+|W'(X)|^2\right).$$

For any phase $e^{i\alpha}$,

$$E=\int dx^1 \left|\partial_1X-e^{-i\alpha}\overline{W'(X)}\right|^2 +2\operatorname{Re}\left(e^{i\alpha}[W(b)-W(a)]\right).$$

Choosing $\alpha=-\arg(W(b)-W(a))$ gives

$$E\ge2|W(b)-W(a)|.$$

Our local normalization is therefore $Z_{ab}=2[W(b)-W(a)]$. Saturation requires the first-order BPS equation

$$\partial_1X=e^{-i\alpha}\overline{W'(X)}.$$

Along such a trajectory, $e^{i\alpha}W(X(x^1))$ moves monotonically on a straight line in the $W$-plane. The central-charge difference is necessary but not sufficient for a soliton: the gradient-flow trajectory may fail to exist, and its multiplicity can jump across walls of marginal stability.

Relevant deformations and universality

A monomial $\prod_iX_i^{n_i}$ has quasi-homogeneous weight $\sum_i n_i\omega_i$. Coupling it in $W$ is relevant when that weight is less than one, marginal at one, and irrelevant above one, subject to quantum mixing and redundancy by field redefinitions. Relevant deformations split critical points and generate RG flows among singularities.

Different Kähler potentials with the same suitable $W$ are expected to flow to the same infrared fixed point when their D-term differences are irrelevant. This is a universality statement, not an algebraic identity: singular Kähler metrics, noncompact tails, and additional light fields can invalidate it.

Orbifolds

Let a finite group $G$ preserve $W$. The orbifold is not obtained merely by taking the invariant subring $\operatorname{Jac}(W)^G$. The Hilbert space contains a sector for each conjugacy class of spatial twist, followed by projection onto the centralizer-invariant states. The protected orbifold ring likewise receives twisted-sector classes, with gradings shifted by the action on the normal directions. Twisted sectors may be essential for matching a geometric phase.

For a diagonal phase symmetry, one must record:

• the exact group and its action on every field;
• the lift to fermions and the chosen spin structure;
• discrete torsion, when allowed;
• which R-symmetry grading survives;
• whether fixed loci are compact.

The quintic GLSM’s $r\ll0$ regime, for example, produces a $\mathbb Z_5$ LG orbifold rather than an ungauged quintic superpotential Witten 1993, §3.2. The residual group follows from the charge $-5$ field acquiring an expectation value.

What the ring does and does not prove

Datum	Protected conclusion	Missing information
Critical ideal	Candidate supersymmetric vacua	Normalizability and behavior at infinity
Jacobi ring	B-type local operator multiplication	Hermitian norms and unprotected spectrum
Hessian residue	Topological correlators for isolated critical points	Singular collisions require a limiting prescription
$\Delta W$	BPS lower bound and central charge	Existence and multiplicity of solitons
Quasi-homogeneous weights	Candidate R charges and $c$	Accidental mixing and compactness
Orbifold invariant data	Untwisted projection	Twisted sectors and discrete torsion

Exercises

1. For $W=X^4/4-uX$, find the vacua and evaluate $W$ at them.

Solution

$W'=X^3-u$, so $X_a=u^{1/3}\omega^a$ with $\omega=e^{2\pi i/3}$ and $a=0,1,2$. Using $X_a^3=u$,

$$W(X_a)=\frac14X_au-X_au=-\frac34uX_a.$$

The BPS central charge between $a$ and $b$ is $Z_{ab}=-\tfrac32u(X_b-X_a)$ in the normalization of this page.

2. Compute the Jacobi ring of $W=X^3+XY^2$ and find its dimension.

Solution

The ideal is $(3X^2+Y^2,2XY)$. Thus $XY=0$, $Y^2=-3X^2$, and multiplying the latter by $X$ gives $X^3=0$. A basis is $\{1,X,Y,X^2\}$, so the dimension is four.

3. Explain why the invariant part of an orbifold’s untwisted Jacobi ring cannot by itself be its full state space.

Solution

On a spatial circle, gauging $G$ requires summing over $G$-bundles. Nontrivial holonomy imposes $g$-twisted boundary conditions, producing twisted Hilbert spaces $\mathcal H_g$. The orbifold space is assembled from the centralizer-invariant parts of all $\mathcal H_g$, not only from $\mathcal H_1^G$.

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. 13–18. Clay Mathematics Institute book page.
• Lerche, W., Vafa, C., and Warner, N. P. “Chiral Rings in $N=2$ Superconformal Theories.” Nuclear Physics B 324 (1989): 427–474. doi:10.1016/0550-3213(89)90474-4.
• Vafa, C. “Topological Landau–Ginzburg Models.” Modern Physics Letters A 6 (1991): 337–346. doi:10.1142/S0217732391000356.
• Witten, E. “Phases of $N=2$ Theories in Two Dimensions.” Nuclear Physics B 403 (1993): 159–222. doi:10.1016/0550-3213(93)90033-L; arXiv:hep-th/9301042.