---
title: Chiral Algebra Bootstrap (CAB)
url: https://www.emergentmind.com/topics/chiral-algebra-bootstrap-cab
type: topic
---

# Chiral Algebra Bootstrap (CAB)

Chiral Algebra Bootstrap (CAB) denotes, in the literature represented here, a family of bootstrap procedures in which two-dimensional chiral-algebra data are used to determine higher-dimensional observables or to classify the chiral algebra itself. The common inputs are OPE singularities, associativity or Jacobi constraints, protected-sector reductions, Ward identities, null states, modular or quasi-modular covariance, and factorization. The outputs range from protected correlators in supersymmetric CFTs and supergravity, to form factors and amplitudes in twistorial gauge theories, to exact spectra and classifications of vertex operator algebras (VOAs) and related chiral structures [2412.17168] [2506.09132] [2409.01095].

## 1. Scope and principal variants

In the literature represented here, CAB appears in at least three closely related ways. One strand uses a celestial or twistorial chiral algebra to bootstrap form factors and amplitudes in self-dual or twistorial gauge theories. A second uses the protected chiral algebra of a higher-dimensional SCFT to constrain defect correlators, higher-point correlators, or supergravity observables. A third uses VOA-intrinsic data—null states, modular differential equations, fusion rules, associativity, and representation theory—to reconstruct spectra or classify allowed chiral algebras.

| CAB regime | Characteristic data | Representative output |
|---|---|---|
| Twistorial/self-dual gauge theory | holomorphic collinear OPEs, associativity, supersymmetry | all-orders OPEs, self-dual form factors, two-loop QCD amplitudes [2412.17168] [2604.21015] [2510.20156] |
| Protected SCFT correlators | chiral algebra twist, Ward identities, lightcone OPEs | \(6\)d \(\mathcal N=(2,0)\) defect correlators, AdS\(_5\times S^5\) six-point bootstrap [2506.09132] [2502.10269] |
| VOA and algebraic classification | null states, MLDEs, Verlinde data, OPE associativity | flavored spectra, cyclic-orbifold operator algebra, \({\cal W}\)-algebra classifications [2409.01095] [2212.07678] [2304.14938] |

This breadth explains why CAB is not a single algorithm. The term labels a strategy: translate a problem into chiral-algebraic consistency conditions, solve those conditions as far as possible, and then pull the result back to the original higher-dimensional or algebraic setting.

## 2. Core mechanisms

A central CAB mechanism is the identification of a kinematic singular limit with a chiral-algebra OPE limit. In twistorial theories, the \(2\)d OPE limit \(z_i\to z_j\) coincides with the \(4\)d holomorphic collinear limit \(\langle ij\rangle\to 0\), after choosing
\[
\lambda_\alpha=(1,z).
\]
The basic form-factor dictionary is
\[
\langle 0|\mathcal O|p_1\cdots p_n\rangle=\langle \mathcal O|\mathcal V_1(z_1)\cdots \mathcal V_n(z_n)\rangle_{2d},
\]
so the singular OPE data of the \(2\)d algebra become holomorphic collinear splitting data of the \(4\)d theory. Associativity is then imposed in contour form, for example
\[
\{\{\phi_1\phi_2\}_1\phi_3\}_{l+1} = \{\phi_1\{\phi_2\phi_3\}_{l+1}\}_1 -(-1)^{F_1F_2}\{\phi_2\{\phi_1\phi_3\}_1\}_{l+1},
\]
and this recursively fixes higher-loop OPE coefficients [2412.17168].

A second mechanism is the protected-sector twist. In the defect correlator problem of the \(6\)d \(\mathcal N=(2,0)\) theory, the correlator \(\mathcal F(x,\bar x,\omega)\) obeys the Ward identity
\[
\left(\partial_x+\partial_\omega\right)\mathcal{F}(x,\bar x,\omega)\big|_{x=\omega}=0,
\]
and after the twist \(\omega=\bar x\) one obtains a meromorphic protected correlator,
\[
\mathcal F(x,\bar x,\bar x)=\zeta(x).
\]
The bootstrap is then performed directly on \(\zeta(x)\), rather than on the full unprotected correlator [2506.09132].

A third mechanism is reconstruction by factorization and Koszul duality. In higher-dimensional chiral algebra theory, the basic equivalence is
\[
\operatorname{Lie\text{-}alg}_{\mathrm{ch}(\operatorname{Ran} X)}
\simeq
\operatorname{Com\text{-}coalg}_{\mathrm{ch}(\operatorname{Ran} X)},
\]
with diagonal-supported chiral Lie algebras corresponding to factorization coalgebras. This supplies an abstract reconstruction theorem: local chiral/OPE data and global factorization data are two presentations of the same object [1103.5803].

## 3. Protected-sector CAB in SCFT and holography

In the \(6\)d \(\mathcal N=(2,0)\) theory with a \(\tfrac12\)-BPS surface defect, the protected sector is described by a \(2\)d \(\mathcal W\)-algebra with generators \(W_p(z)\), \(p=2,\dots,N\), and central charge
\[
c_{2d}=4N^3-3N-1.
\]
The chiral-algebra map sends bulk half-BPS operators to \(W\)-generators,
\[
\chi:S_k(x,u)\mapsto W_k(z),
\]
while the defect becomes a pair of vertex operators at \(0\) and \(\infty\). The resulting \(2\)d correlator
\[
\langle \bar V(\infty)\,W_{k_1}(z)\,W_{k_2}(1)\,V(0)\rangle
\]
is bootstrapped with a meromorphic ansatz and a hidden crossing \(x\to 1/x\), or equivalently \(z\to -z/(1-z)\). A distinctive result is that the coefficients are fixed entirely from bulk-channel data. The final protected answer is expressed through Catalan numbers,
\[
C_i=\frac{1}{i+1}\binom{2i}{i},
\]
and the defect-channel expansion yields new exact predictions for the protected defect spectrum and OPE coefficients [2506.09132].

A different protected-sector CAB appears in the tree-level six-supergraviton correlator in AdS\(_5\times S^5\). There the six-point Mellin amplitude is dissected into triple-pole, double-pole, single-pole, comb, and regular sectors. Multiple lightcone OPE limits reduce the problem to lower-point spinning correlators, and the Beem et al. chiral algebra twist,
\[
y_{ij}=(z_i-z_j)(v_i-v_j),
\]
imposes holomorphic-independence constraints on the reduced subsectors. In the snowflake channel this sharply constrains the triple-pole sector; in the double-pole sector the twist is implemented directly in Mellin space by converting the condition into difference equations. The correlator is then fixed sector by sector rather than through one monolithic ansatz [2502.10269].

Exact VOA identifications also function as CAB input. For Argyres–Douglas theories engineered from M5-branes, the isolated theory \(J^b[k]\) is assigned
\[
\mathcal A(J^b[k])\cong W^J(b+k,b),
\]
while the matter theory \((J^b[k],F)\) is assigned
\[
\mathcal A(J^b[k],F)=J_{-k_F},
\qquad c_{2d}=-12c_{4d}.
\]
Because these are minimal \(W\)-models or affine Kac–Moody algebras at negative level, they provide rigid exact protected data for bootstrap purposes [1604.02155].

An explicit construction-based version appears in the genus-two \(A_1\) class \(\mathcal S\) theory. There the chiral algebra is obtained by BRST reduction, a finite strong generating set is identified, OPE closure is checked, and completeness is supported by matching the vacuum character with the Schur index. An unexpected \(SU(2)\) automorphism then imposes additional constraints on the non-scalar sector [2009.11629].

## 4. Twistorial CAB for form factors and amplitudes

The twistorial version of CAB studies massless \(4\)d gauge theories admitting a local holomorphic uplift to twistor space. In these theories, generalized towers of soft modes form a \(2\)d chiral algebra whose OPE reproduces the holomorphic collinear limit of the \(4\)d theory. The bootstrap target is not usually an ordinary CFT correlator, but a form factor with local operator insertions; the chiral algebra determines the singularities that recursively generate it [2412.17168].

For self-dual Yang–Mills coupled to anomaly-canceling matter, the all-orders CAB is organized by symmetry, \(\hbar\)-weight, and \(\mathfrak{sl}_2(\mathbb C)_+\) representation theory. The allowed loop corrections are first constrained kinematically, and then associativity reduces all coefficients at loop order \(m\) to a master coefficient \(f^{(m)}\) obeying a recursion relation. The one-loop seed fixes the entire higher-loop tower. The resulting all-orders OPEs can be viewed as an all-loop result for a subset of collinear splitting functions in non-supersymmetric, massless QCD coupled to special matter content [2412.17168].

In self-dual \(\mathscr N=4\) super Yang–Mills, CAB is sharpened by supersymmetry and Koszul duality. The supercurrent on \(\mathbb{CP}^{1|4}\) packages the entire \(\mathcal N=4\) multiplet, and the loop-corrected OPEs remain single-pole. Associativity is used to prove the absence of double poles at all loop orders. The same framework reproduces known form factors of \(\mathrm{tr}(B^2)\), proves vanishing statements required by supersymmetry Ward identities, and produces novel form factors up to two loops for operators such as
\[
\mathrm{tr}(B^3)=\mathrm{tr}(B_\mu{}^\nu B_\nu{}^\rho B_\rho{}^\mu),
\]
which compute a supersymmetric version of Higgs amplitudes in the self-dual sector [2604.21015].

CAB also enters ordinary QCD indirectly. In the all-plus sector, twistorial two-loop form factors computed by CAB can be combined with supersymmetry Ward identities to determine a previously unknown partial amplitude of the two-loop \(n\)-gluon QCD amplitude. More broadly, the full-color two-loop \(n\)-gluon amplitude with \(n_f\) quark flavors can be reconstructed from three twistorial two-loop amplitudes, one-loop axion amplitudes, and a tree-level double-axion amplitude. In this sense the chiral-algebra step lowers the effective loop complexity of the QCD computation by one loop level [2510.20156].

## 5. VOA, modular, and classification forms of CAB

CAB also denotes purely algebraic bootstrap procedures internal to the chiral algebra. A prominent example is the holomorphic quasi-modular bootstrap for flavored characters. Here one postulates a special null state
\[
|\mathcal N_T\rangle=L_{-2}^N|0\rangle+c_2,
\]
subject to
\[
J^a_0|\mathcal N_T\rangle=L_2|\mathcal N_T\rangle=h^i_{n\ge2}|\mathcal N_T\rangle=0,
\]
and derives flavored modular linear differential equations from Zhu recursion. The generic unflavored form is
\[
\left(D_q^{(N)}+\sum_{r=0}^{N-1}\phi_{2(N-r)}(\tau)\,D_q^{(r)}\right)\operatorname{ch}=0.
\]
The modular \(S\)-transform generates a hierarchy of lower-weight equations, interpreted as the modular orbit of the null state. This framework reconstructs the Deligne–Cvitanović series at \(k=1\) and \(k=-h^\vee/6-1\), as well as integrable and admissible \(\widehat{\mathfrak{su}(2)}_k\) spectra, including twisted sectors produced by spectral flow [2409.01095].

A related refinement concerns the Macdonald index. The vacuum module is equipped with a filtration
\[
V_0\subset V_1\subset V_2\subset\cdots,
\]
and the associated graded space defines a refined character
\[
Z^{\rm ref}(\vec z;q,T)=\sum_{i=0}^\infty\sum_h \chi(V_i^{(h)};\vec z)\,q^hT^i.
\]
The conjecture is that, after \(t=qT\), this reproduces the \(4\)d Macdonald index. This supplies a more stringent grading than the ordinary vacuum character, but the assignment of \(T\)-weights is not purely intrinsic when the VOA has multiple generator families; extra \(4\)d input is then required [1612.08956].

In cyclic orbifolds \(\mathcal M_N=\mathcal M^{\otimes N}/\mathbb Z_N\), the relevant local symmetry is not the full orbifold Virasoro algebra but the maximal local chiral algebra \(A_N\), the neutral algebra generated by monomials of total Fourier charge zero. Under the assumption that the mother theory is rational and diagonal, the orbifold becomes rational and diagonal with respect to \(A_N\oplus \bar A_N\). Its fusion rules follow from the Verlinde formula, and the fusion multiplicities determine which extended conformal blocks appear in a given four-point function of twisted or untwisted operators. This makes Rényi-twist correlators into a controlled RCFT bootstrap problem [2212.07678].

A classification version appears in the determination of all chiral \({\cal W}\)-algebra extensions of \(\mathfrak{so}(2,3)\). One chooses an embedding \(\mathfrak{sl}(2,\mathbb R)\subset\mathfrak{so}(2,3)\), promotes it to a Virasoro algebra, assigns fields according to the \(\mathfrak{sl}(2)\) decomposition, writes the most general OPEs compatible with conformal covariance and the commuting subalgebra \(\mathfrak h\), and fixes the structure constants by associativity. The outcome is exactly four inequivalent chiral extensions, including two new algebras, one of which is identified as the finite-central-charge conformal \(\mathfrak{bms}_3\) algebra [2304.14938].

## 6. Mathematical infrastructure, limitations, and significance

The mathematical infrastructure of CAB is unusually rich. On the algebro-geometric side, chiral Koszul duality identifies chiral Lie algebras and chiral commutative coalgebras on \(\operatorname{Ran}(X)\), while the factorization condition singles out the diagonal-supported subcategory corresponding to genuine local chiral algebras [1103.5803]. On the holographic and twistorial side, Kaluza–Klein reduction of \(6\)d holomorphic theories to \(3\)d holomorphic-topological theories, together with homotopy transfer and Koszul duality, produces boundary chiral algebras whose generators, higher products, and OPE coefficients can be computed explicitly. This provides a common framework for twisted holography and celestial holography [2302.06693].

Several limitations are explicit in the literature. The chiral algebra can be highly constraining without being complete by itself. In the six-point AdS\(_5\times S^5\) problem, some tensor structures degenerate in \(2\)d kinematics, so the chiral algebra twist does not distinguish all \(\ell_i\)-structures and must be supplemented by current conservation, stress-tensor conservation, and flat-space input [2502.10269]. In the \(6\)d defect problem, the fact that bulk-channel data alone fix the correlator is emphasized as special to that defect system, because the remaining information is supplied by hidden crossing symmetry [2506.09132]. In refined-character problems, the grading needed for the Macdonald index is ambiguous without additional \(4\)d information when several generator families coexist [1612.08956]. In the twistorial setting, the all-orders chiral algebra captures a subset of QCD-like observables, specifically the holomorphic collinear singular terms and the associated normal-ordered-product structure required by associativity [2412.17168].

These caveats do not weaken the central role of CAB; they clarify its domain. CAB is most effective when a protected, twistorial, or factorizing subsector isolates meromorphic or quasi-meromorphic data, and when associativity, modularity, or factorization reduce the allowed structures to a finite set. Under those conditions, CAB functions as a reconstruction principle: exact \(2\)d chiral-algebra consistency determines higher-dimensional correlators, form factors, amplitudes, or VOA spectra with minimal direct diagrammatic input.

Source: https://www.emergentmind.com/topics/chiral-algebra-bootstrap-cab