Chiral Rings and Exact Quantum Relations

A chiral ring is the operator product of local Q-cohomology classes, including exact quantum relations. Its affine vacuum variety sees only the reduced quotient of that ring; nilpotent operator classes, contact information, and branch intersections can be lost. Comparing chiral rings therefore means comparing normalized generators and the full relation ideal, not merely drawing isomorphic moduli spaces.

Required background. First resolve Q-cohomology and operator mixing, then import theory-specific relations from Konishi anomalies and quantum chiral rings.

Helpful background. Dual operator dictionaries provide the global-charge map needed to compare presentations.

The cohomological ring

In a four-dimensional $N=1$ theory, take scalar gauge-invariant operators annihilated by every $\bar Q_{\dot\alpha}$ and quotient by $\bar Q$-exact operators. Supersymmetry makes their separated OPE nonsingular in cohomology, so the coincident product defines a commutative ring

$$\mathcal R_\chi =\frac{\mathbb C[\mathcal O_1,\ldots,\mathcal O_n]} {\mathcal I_{\mathrm{exact}}}.$$

The generators are renormalized operator classes, and $\mathcal I_{\mathrm{exact}}$ contains F-term descendants, gauge identities, and exact quantum relations. The presentation is not unique: polynomial changes of generators give isomorphic rings, while rescalings by powers of the holomorphic scale change displayed coefficients.

The product is protected; generic two-point norms and Kähler data are not. Contact terms can also matter when chiral operators are integrated rather than kept separated.

Quantum-modified SQCD as a benchmark

For $SU(N_c)$ SQCD with $N_f=N_c$, the gauge-invariant generators are

$$M^i{}_j=Q^i\widetilde Q_j, \qquad B=\epsilon Q^{N_c}, \qquad \widetilde B=\epsilon\widetilde Q^{N_c}.$$

The classical relation $\det M-B\widetilde B=0$ is quantum modified to

$$\det M-B\widetilde B=\Lambda^{2N_c}.$$

Thus

$$\mathcal R_\chi =\frac{\mathbb C[M^i{}_j,B,\widetilde B]} {\left(\det M-B\widetilde B-\Lambda^{2N_c}\right)}.$$

Every term has the same flavor and R-charges. The nonzero right-hand side removes the classical origin and implements the anomaly-compatible holomorphic deformation Seiberg 1994, §4. Sending $\Lambda\to0$ recovers the classical relation, while setting $B=\widetilde B=0$ forces $\det M=\Lambda^{2N_c}$ rather than allowing $M=0$.

This presentation is meaningful only with the convention used to define $\Lambda$ and the baryon normalization. A duality comparison must map those choices.

Vacuum evaluation and nilpotents

Each supersymmetric vacuum $v$ defines an algebra homomorphism

$$\operatorname{ev}_v:\mathcal R_\chi\longrightarrow\mathbb C, \qquad [\mathcal O]\longmapsto\langle\mathcal O\rangle_v.$$

The set of all such maps is the affine spectrum of the ring. Vacuum expectation values annihilate nilpotents. For example,

$$\mathcal R=\frac{\mathbb C[x]}{(x^2)}$$

has one geometric point $x=0$, but the operator class $x$ is nonzero and nilpotent. Replacing the ideal $(x^2)$ by its radical $(x)$ preserves the point set and destroys that operator-product information.

Therefore distinguish

$$\mathcal R \qquad\text{from}\qquad \mathcal R_{\mathrm{red}} =\mathcal R/\sqrt{(0)}.$$

Primary decomposition of $\mathcal I_{\mathrm{exact}}$ separates branches and embedded components. Intersections can support nilpotent structure not visible in a list of generic branch coordinates.

Pure super-Yang–Mills

For pure $SU(N)$, define the glueball class

$$S=-\frac1{32\pi^2}\operatorname{Tr}W^\alpha W_\alpha.$$

The reduced vacuum relation is

$$S^N=\Lambda^{3N},$$

with $N$ solutions related by the discrete chiral symmetry. This relation correctly reproduces vacuum expectation values, but the full operator ring can contain additional nilpotent information before reduction. One must say whether the claim concerns the reduced vacuum algebra or the complete local-operator cohomology Cachazo et al. 2002, §§2–3.

Comparing two ring presentations

A protected ring dictionary is an isomorphism

$$\varphi:\mathcal R_A\longrightarrow\mathcal R_B$$

that preserves products, exact relations, conserved charges, and parameter dependence. Check it in this order:

1. list a complete generating set on each side;
2. fix normalizations and holomorphic-scale conventions;
3. map generators with identical global quantum numbers;
4. prove that every source relation maps into the target ideal;
5. construct an inverse or compare Hilbert data plus injectivity;
6. retain nilpotents and branch intersections;
7. compare vacuum evaluation maps and deformation responses.

Matching dimensions, anomalies, or reduced moduli varieties is necessary but not sufficient for a ring isomorphism.

Failure modes

Classical ideal used quantum mechanically. Instantons, strong dynamics, or anomalies can deform or add relations.

Radical taken too early. The reduced variety forgets nilpotent products and can identify inequivalent operator rings.

Equation-of-motion operator retained. A descendant that is nonzero off shell may vanish in the local cohomology.

Generator normalization hidden. A rescaling can move powers of $\Lambda$, masses, or numerical coefficients between the dictionary and the relation.

Incomplete generators. Agreement on mesons alone does not compare a ring when baryons, monopoles, or glueball operators are also present.

Exercises

Find the vacuum set of $\mathbb C[x]/(x^2)$ and explain what its reduced variety misses.

Solution

Every homomorphism to $\mathbb C$ must send $x$ to a number whose square is zero, hence to zero. There is one vacuum point. The reduced ring is $\mathbb C[x]/(x)\simeq\mathbb C$, which forgets the nonzero operator class $x$ and its nilpotent product $x^2=0$.

References

• Cachazo, F., M. R. Douglas, N. Seiberg, and E. Witten. “Chiral Rings and Anomalies in Supersymmetric Gauge Theory.” Journal of High Energy Physics 2002, no. 12 (2002): 071. DOI; Open PDF.
• Seiberg, N. “Exact Results on the Space of Vacua of Four-Dimensional SUSY Gauge Theories.” Physical Review D 49 (1994): 6857–6863. DOI; Open PDF.