Protected Operators, BPS Defects, and Exact Correspondences

Protected sectors retain exact information because a shortening condition, cohomology, holomorphy, topology, or anomaly prevents a specified deformation. The word “protected” is not a universal guarantee: an operator may have a fixed dimension while its normalization mixes, a correlator may be exact only on a submanifold, or an index contribution may survive only as an alternating recombination class. This chapter identifies the mechanism and the information discarded in every reduction.

Helpful background. Review genuine lines and charge lattices, boundaries and interfaces, and conformal OPE data as needed.

Select the protected object

The first question is not “is this protected?” but “which datum is invariant, under which operation, and why?”

Target	Page	Exact output
A local operator through mixing and recombination	Protection and Q-cohomology	Cohomology class and scope of protection
Products and quantum relations	Chiral rings	Generators, exact ideal, nilpotents, and vacuum maps
Lower-dimensional OPE data	Protected operator algebras	Topological or meromorphic algebra
The Schur sector of a 4d $N=2$ SCFT	Four-dimensional chiral algebras	Vertex algebra, central charges, and lost data
A supersymmetric Wilson–‘t Hooft observable	BPS line defects	Global charge, singularity, bubbling sectors, and expectation value
A boundary, surface defect, or interface	BPS boundaries and fusion	Localized degrees, anomaly cancellation, and composition
The $N=4$ geometric-Langlands sector	Topological twists and geometric Langlands	Twist parameter, S-duality action, and category-level map
An AGT-type equality	AGT dictionary and limits	Parameter-normalization map and protected identity
A downstream data bundle	Versioned protected-data exports	Reproducible schema with uncertainty and scope

A hierarchy of protection mechanisms

Several mechanisms can coexist, but they answer different questions.

$$\begin{array}{ccl} \text{shortening} &\Rightarrow& \Delta\text{ fixed by conserved charges},\\ Q\text{-cohomology} &\Rightarrow& Q\text{-exact changes vanish in selected observables},\\ \text{holomorphy} &\Rightarrow& \text{restricted coupling and field dependence},\\ \text{topological twist} &\Rightarrow& \text{metric or position independence in chosen directions},\\ \text{anomaly} &\Rightarrow& \text{RG-invariant obstruction or contact data},\\ \text{index} &\Rightarrow& \text{alternating count modulo recombination}. \end{array}$$

A protected dimension need not imply a protected OPE coefficient. A nonrenormalized ring relation need not fix the Kähler metric. An exact partition function can retain only a cohomological trace. Superconformal shortening and recombination make these distinctions representation-theoretically precise Córdova, Dumitrescu, and Intriligator 2019, §§2–3. Every page therefore states both the invariant and its information-loss boundary.

From a parent QFT to a reduced structure

Most constructions in this chapter follow the same sequence:

1. choose a supercharge or BPS subalgebra and verify its global definition;
2. restrict operators, defects, or backgrounds to the compatible sector;
3. quotient null, exact, screened, or gauge-redundant data;
4. resolve mixing and normalize surviving generators;
5. compute products, correlators, characters, or partition functions;
6. test associativity, anomaly matching, duality action, and benchmark limits;
7. state what cannot be lifted uniquely to the parent theory.

The quotient step is irreversible in general. A vertex algebra may forget long multiplets Beem et al. 2015, §§2–3; a chiral ring may forget nilpotents if replaced by its vacuum variety; a line expectation value may forget non-BPS framing data. Correspondence arrows in later pages apply to these bounded objects, not automatically to complete QFTs.

Reading exact correspondences safely

An exact correspondence must name both sides at the same resolution. For example,

$$Z_{\mathrm{inst}}^{4d} \longleftrightarrow \mathcal F_{\mathrm{block}}^{2d}$$

is a relation between normalized functions with a parameter dictionary. It is not an equality between every observable in the four- and two-dimensional parent theories. Likewise, S-duality of a topologically twisted sector can induce an equivalence of categories without proving the untwisted statement as a mathematical theorem.

Use four tests:

• object: operator class, algebra, category, function, or numerical datum;
• mechanism: shortening, cohomology, localization, anomaly, or duality input;
• normalization: generators, counterterms, global factors, and phases;
• ceiling: the strongest conclusion supported without reconstructing discarded data.

References

• Beem, C., M. Lemos, P. Liendo, W. Peelaers, L. Rastelli, and B. C. van Rees. “Infinite Chiral Symmetry in Four Dimensions.” Communications in Mathematical Physics 336 (2015): 1359–1433. DOI; Open PDF.
• Córdova, C., T. T. Dumitrescu, and K. Intriligator. “Multiplets of Superconformal Symmetry in Diverse Dimensions.” Journal of High Energy Physics 2019, no. 3 (2019): 163. DOI; Open PDF.