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; the Jacobi quotient gives the B-type chiral ring; quasi-homogeneity predicts candidate infrared R charges and central charge. These statements are exact only in their proper protected sectors, 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 superpotential is protected by holomorphy, while the D-term encoded in $K$ can run. Consequently the critical equations and B-type ring can be much more robust than ordinary distances or scattering amplitudes.

The Jacobi ring

In the B-type cohomology, the equations of motion make $\partial_iW$ exact. 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 total Milnor number and, after a generic massive deformation, equals the number of vacua counted with multiplicity. 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.

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 isolated critical points the genus-zero B-twisted correlator has the residue form derived in the topological LG model of Vafa 1991:

$$\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. The Hessian weights show why a degenerate critical point must be handled by a multidimensional residue rather than by substituting $W''=0$ into the massive formula.

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 R symmetry. If the flow reaches a compact unitary $(2,2)$ superconformal theory with 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 correct superconformal R symmetry. Quasi-homogeneity is necessary for this elementary LG construction but is not by itself proof of an interacting fixed point. One must also check that the critical locus is isolated, the theory is unitary in the intended contour, and no field becomes 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. Twisted sectors contribute additional ground states and 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

• 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.