Demystifying integrable QFTs in AdS: No-go theorems for higher-spin charges

This paper establishes no-go theorems demonstrating that integrable quantum field theories in AdS$_2$ with higher-spin conserved charges cannot exist, as the AdS isometries enforce full current conservation that strictly forbids the preservation of such charges under generic interactions or deformations.

The Gist

The Big Picture: The "Perfectly Ordered" Universe

Imagine you are a physicist trying to build a machine that never breaks down, never gets messy, and always behaves in a perfectly predictable way. In the world of physics, these are called Integrable Theories. They are like a perfectly choreographed dance where every move is known in advance, and particles never crash into each other to create new, chaotic debris.

In our "flat" universe (like the one we usually study in textbooks), these perfect dances exist. Famous examples include the Sine-Gordon model. In these flat worlds, there are special "super-commands" called Higher-Spin Charges. Think of these as invisible, magical rulers that measure the universe in very specific, rigid ways. If a theory has these rulers, the theory is "integrable" (perfectly predictable).

The Question: Can we build these same perfect, predictable dances in a curved universe (specifically, a universe shaped like a bowl, known as AdS or Anti-de Sitter space)?

The Answer: No. This paper proves that in a curved "bowl-shaped" universe, you cannot have these perfect dances if you try to make them interact. The moment you add any interaction (like particles bumping into each other), the magical rulers break, and the perfect order is lost.

---

The Key Concepts (The Metaphors)

1. Flat Space vs. The Curved Bowl (AdS)

• Flat Space: Imagine a vast, empty, infinite ice rink. If you slide a puck, it goes straight forever. In this world, you can have a "partial" rule. You can say, "The puck must move straight forward," and ignore what happens sideways. This is how integrable theories work in flat space: they conserve only specific parts of the motion.
• The Curved Bowl (AdS): Now imagine the ice rink is the inside of a giant, smooth bowl. If you slide a puck, the walls curve it back toward the center. In this world, the rules are much stricter. You cannot say, "Move straight forward, but ignore the curve." The curvature of the bowl forces the puck to obey all the rules of the geometry simultaneously.
• The Paper's Discovery: In the flat rink, you can cheat by only following half the rules. In the curved bowl, the geometry forces you to follow all the rules at once. If you try to add any interaction (like two pucks colliding), the strict geometry of the bowl makes it impossible to keep the "magical rulers" (Higher-Spin Charges) working.

2. The "Magical Rulers" (Higher-Spin Charges)

Think of these charges as a set of infinite, invisible measuring sticks.

• A normal ruler measures length (Spin 2).
• A "Higher-Spin" ruler measures something more complex, like the "twist" or "shape" of a particle's path (Spin 4, Spin 6, etc.).
• In a perfect, non-interacting world (Free Fields), these rulers work perfectly. They tell you exactly where every particle is and how it moves.
• The Problem: When particles interact (collide), they change their shape and path. In a flat world, you can adjust the rules so the rulers still work. In the curved AdS bowl, the paper proves that you cannot adjust the rules. The moment particles interact, the rulers break.

3. The "No-Go" Theorem (The "Stop Sign")

The authors prove a "No-Go Theorem." This is like a traffic sign that says: "Do Not Enter."

• Scenario A: You start with a free, non-interacting particle in the AdS bowl. It has perfect magical rulers. You try to turn on an interaction (like a force that makes particles bounce).
  • Result: The rulers break immediately. The theory is no longer integrable.
• Scenario B: You start with a Conformal Field Theory (a theory with no mass, just pure scale) and try to add a "relevant" interaction (something that changes the energy).
  • Result: Again, the rulers break. The only exception is a very specific, trivial case (like a free fermion), which isn't really an "interaction" in the interesting sense.

Why Does This Happen? (The "Symmetry" Analogy)

Imagine a group of dancers (the symmetries of the universe).

• In Flat Space, the dancers are a bit loose. They can agree to follow a rule only if they are facing North. If they turn East, they don't have to follow the rule. This flexibility allows them to keep dancing perfectly even when they bump into each other.
• In AdS (The Bowl), the dancers are part of a rigid, locked formation. The geometry of the bowl means that if they follow the rule facing North, the geometry forces them to follow the same rule facing East, South, and West. They cannot pick and choose.
• Because they are locked into following every direction's rule simultaneously, the moment they try to change their steps (interact), the formation collapses. The "Higher-Spin Charges" (the rules) cannot survive the interaction.

What About the "Long-Range" Models?

The paper also looks at "Long-Range Models" (theories where particles feel each other from far away, like gravity).

• The Finding: Even in these models, if you try to make them interact, the "magical rulers" break.
• The Consequence: If you see a theory in this curved bowl that does have these rulers, it must be a free theory (no interactions). If it has interactions, it must have broken rulers. The paper predicts that in any interacting version of these models, there will be "ghosts" or "signs" (protected operators) that prove the symmetry is broken.

Summary for the General Public

1. Integrable Theories are like perfect, predictable machines where nothing ever goes wrong.
2. In Flat Space, we know how to build these machines using "Higher-Spin Charges" (special rules).
3. In Curved Space (AdS), the geometry is so strict that these special rules cannot survive if the particles interact.
4. The Conclusion: You cannot have a "perfectly predictable" interacting theory in a curved AdS universe. If you want the theory to be predictable, it must be non-interacting (boring). If you want it to interact (interesting), it must be chaotic (unpredictable).

The Takeaway: Nature seems to have a trade-off. In a curved universe, you can have interactions, or you can have perfect predictability, but you cannot have both. The "No-Go Theorem" is the universe's way of saying, "Pick one."

Technical Summary

1. Problem Statement

The paper investigates the existence of integrable Quantum Field Theories (QFTs) in $AdS_2$ (Anti-de Sitter space in two dimensions).

• Context: In flat 2D space, integrability is characterized by the existence of an infinite tower of conserved higher-spin (HS) charges, which lead to factorized scattering (no particle production) and solvability (e.g., sine-Gordon, Toda models).
• Motivation: With the rise of "rigid holography" and the study of QFTs on $AdS_2$ boundaries, it is natural to ask if integrable theories exist in curved spacetime. Specifically, can one deform free fields or Conformal Field Theories (CFTs) in $AdS_2$ while preserving higher-spin conserved currents?
• Hypothesis: The authors test whether the constraints imposed by higher-spin symmetry in $AdS_2$ are strong enough to forbid interacting integrable theories, unlike in flat space where "partial" conservation allows for integrability.

2. Methodology

The authors employ a combination of bulk-boundary correspondence, conformal perturbation theory, and algebraic constraints derived from the $AdS_2$ isometry group $SL(2, \mathbb{R})$.

• Construction of Charges: They define higher-spin charges $Q_\zeta$ in $AdS_2$ by integrating bulk conserved currents $T_{\mu\nu\dots}$ contracted with Killing tensors $\zeta$ over codimension-1 surfaces. They carefully analyze the finiteness of these charges near the boundary using the Boundary Operator Expansion (BOE) and introduce "improvement terms" to handle divergences.
• Algebraic Analysis: They establish the algebra of these charges. A crucial step is proving that in $AdS_2$, the isometry algebra $sl(2, \mathbb{R})$ is simple, unlike the Poincaré algebra in flat space. This implies that if a current is conserved along any Killing tensor direction, it must be fully conserved (no "partial" conservation).
• Ward Identities: They derive Ward identities for correlation functions on the boundary (a 1D CFT) imposed by the existence of these charges. These identities constrain the Operator Product Expansion (OPE) data and the spectrum of scaling dimensions.
• Deformation Analysis: They apply conformal perturbation theory to deform generalized free fields (GFB) and Virasoro CFTs, checking if the higher-spin charges can be preserved under continuous deformations (interactions).

3. Key Contributions and Results

A. The "No-Partial-Conservation" Theorem

• Flat Space vs. AdS: In flat space, integrable models often conserve only specific (anti-)holomorphic components of higher-spin currents (e.g., $\partial_{\bar{z}} T_{zz\dots} = 0$).
• AdS Result: The authors prove that in $AdS_2$, due to the simplicity of the $sl(2, \mathbb{R})$ algebra, it is impossible to conserve only a part of a higher-spin current. If $\nabla_\mu (\zeta \cdot T) = 0$ for any Killing tensor $\zeta$, then the current must be fully conserved ($\nabla_\mu T^{\mu\dots} = 0$). This eliminates the mechanism that allows integrability in flat space.

B. No-Go Theorem for Deformations of Free Fields

• Setup: Starting from a free massive scalar or fermion in $AdS_2$ (dual to a Generalized Free Field on the boundary), they consider continuous deformations (interactions).
• Result: It is impossible to preserve any higher-spin conserved charges under such deformations, except for trivial mass shifts.
• Mechanism: The existence of a spin-4 charge forces the spectrum of primary operators to have integer spacing ($\Delta_n = \Delta_0 + n$). Interacting deformations generically introduce anomalous dimensions that break this integer spacing. The Ward identities derived from the charges force the theory to remain a Generalized Free Field (GFB) or Generalized Free Fermion (GFF).
• Example: The paper explicitly shows that a sine-Gordon deformation in $AdS_2$ cannot preserve higher-spin currents, unlike in flat space.

C. No-Go Theorem for Deformations of CFTs

• Setup: Considering bulk 2D CFTs with Virasoro symmetry (which possess an infinite tower of higher-spin charges embedded in the Universal Enveloping Algebra of Virasoro).
• Result: Any relevant or irrelevant deformation triggered by a single Virasoro primary operator breaks the spin-4 charges, with one exception: the thermal deformation of the Ising model (which is equivalent to a massive free fermion/GFF).
• Implication: There are no interacting integrable deformations of bulk CFTs in $AdS_2$ that preserve higher-spin charges.

D. Long-Range Models (LRM)

• Context: Long-range models in 1D can be mapped to free fields in $AdS_2$ with boundary-localized interactions.
• Result: Interacting fixed points of these models cannot preserve higher-spin charges.
• Consequence: The breaking of HS symmetry implies the existence of protected parity-odd operators of every even integer dimension $J \geq 4$ in the spectrum. These operators appear in the BOE of the currents to spoil conservation, signaling the breakdown of integrability.

E. Sum Rules and Constraints

• The authors derive sum rules relating Bulk Operator Expansion (BOE) coefficients to the short-distance behavior of bulk correlators.
• They establish constraints on form factors involving higher-spin currents, showing that the data of any theory with HS symmetry must satisfy specific integral relations (generalizing the spin-2 sum rules of previous works).

4. Significance and Implications

1. Rigorous Exclusion of Integrability: The paper provides a rigorous "no-go" theorem stating that local, integrable QFTs with higher-spin charges do not exist in $AdS_2$ (except for free theories). This contrasts sharply with the rich landscape of integrable models in flat 2D space.
2. Role of Geometry: The result highlights a fundamental difference between flat and curved spacetime integrability. The simplicity of the $AdS$ isometry algebra forces full conservation of currents, whereas the non-simple Poincaré algebra allows for the "partial" conservation necessary for flat-space integrability.
3. Bootstrap Constraints: The derived Ward identities and sum rules provide powerful new constraints for the conformal bootstrap program in $AdS_2$ and boundary CFTs. They suggest that "extremal" solutions to the bootstrap (sparse spectra) cannot correspond to interacting integrable theories.
4. Future Directions: The authors suggest that if integrable theories exist in $AdS_2$, they must rely on non-local charges (e.g., Yangians or quantum groups) rather than local higher-spin currents. This opens a new avenue for exploring integrability in curved spacetimes, potentially relevant for the worldsheet theory of strings in $AdS_5 \times S^5$ (which reduces to an $AdS_2$ defect CFT).

Conclusion

The paper concludes that the presence of higher-spin conserved charges is a "fatal" constraint for interacting theories in $AdS_2$. The requirement of integer-spaced spectra and the impossibility of partial conservation effectively force any theory with such symmetries to be a free field theory. This demystifies the search for integrable models in $AdS_2$ by ruling out the most natural candidate (higher-spin symmetry) and pointing toward non-local structures as the potential source of integrability in curved backgrounds.