A superspace approach to AdS$_3$ string theory

This paper employs a superspace formulation of the Polyakov path integral and a free-field realization of the supersymmetric $\text{SL}(2,\mathbb{R})$ WZW model to exactly compute tree-level correlation functions of long strings in $\text{AdS}_3$ without picture-changing operators, ultimately proposing a novel dual CFT for heterotic superstrings.

The Gist

Imagine you are trying to understand the deepest laws of the universe. Physicists often use a theory called String Theory, which suggests that everything is made of tiny, vibrating strings. Usually, these strings live in a flat, boring universe. But our universe (or at least the part we are studying here) is curved, like the inside of a funnel. This specific shape is called AdS3 (Anti-de Sitter space).

For decades, trying to calculate how these strings behave in this curved, "funnel-shaped" universe has been a nightmare for physicists. It's like trying to solve a puzzle where the pieces keep changing shape every time you touch them.

This paper, titled "A superspace approach to AdS3 string theory," is like finding a new pair of glasses that makes the puzzle suddenly look easy. Here is how they did it, explained simply:

1. The Old Problem: The "Picture-Changing" Nightmare

In the old way of doing this math (called the RNS formalism), physicists had to deal with a confusing concept called "Picture Number."

• The Analogy: Imagine you are trying to take a photo of a string. In the old method, the camera has infinite different "filters" (pictures) you could use. A string looks slightly different in every filter. To get the right answer, you had to mix and match these filters perfectly. If you picked the wrong combination, your photo came out blank (zero).
• The Pain: In a curved universe like AdS3, these filters became incredibly messy. The math got so complicated that physicists could only solve it for the simplest cases. It was like trying to bake a cake while wearing oven mitts that were also on fire.

2. The New Solution: "Superspace" Glasses

The authors decided to stop using the old camera filters. Instead, they put on a pair of "Superspace" glasses.

• The Analogy: Imagine the universe has two layers: a visible layer (where the strings are) and a hidden, "shadow" layer (where the supersymmetry lives). The old method tried to look at the visible layer and guess what the shadow layer was doing.
• The Magic: The "Superspace" approach treats both layers as a single, unified object from the start. It's like realizing that the shadow is part of the object. By doing this, they didn't need the messy "picture-changing" filters anymore. The math became clean and direct.

3. The "Long Strings" and the Edge of the Funnel

The paper focuses on a specific type of string called a "Long String."

• The Analogy: Imagine the AdS3 universe is a giant, deep well. Most strings are small and float in the middle. But "Long Strings" are like giant rubber bands that stretch all the way to the very edge (the boundary) of the well.
• The Discovery: The authors found that when these long strings get very close to the edge, they behave in a very special, predictable way. They act like holomorphic maps.
  • What's that? Think of a map that draws a picture on a piece of paper. If you stretch that paper, the picture gets distorted. But a "holomorphic" map is like a magical map that never distorts, no matter how much you stretch it. The authors showed that these long strings are essentially drawing perfect, non-distorted maps of the edge of the universe.

4. The "Localization" Trick

This is the most exciting part. When calculating how these strings interact, you usually have to add up an infinite number of possibilities. It's like trying to count every single grain of sand on a beach to find the weight of the beach.

• The Breakthrough: The authors discovered that for these long strings near the edge, the math "localizes."
• The Analogy: Imagine you are looking for a lost coin in a giant field. Usually, you'd have to check every inch of grass. But with this new method, you discover that the coin only exists in a tiny, specific patch of grass. You can ignore the rest of the field!
• The Result: Instead of an impossible infinite sum, the calculation reduces to a simple, finite sum of these "perfect maps." This allows them to write down a clean, exact formula for how these strings interact.

5. Why Does This Matter? (The Hologram)

The ultimate goal of this research is Holography (the AdS/CFT correspondence). This is the idea that a 3D universe with gravity (like our AdS3) is actually a "hologram" of a simpler 2D universe without gravity (a Conformal Field Theory or CFT).

• The Connection: The authors took their new, clean formulas for the strings in the 3D funnel and compared them to what we expect from the 2D hologram.
• The Proposal: They found a perfect match! This allows them to propose a new, specific recipe for what the 2D hologram actually looks like for a specific type of string (called "Heterotic" strings). It's like finally decoding the instruction manual for a complex machine.

Summary

In short, this paper is a breakthrough because:

1. It stopped using the messy, old "filter" method that made curved universe calculations impossible.
2. It used a unified "Superspace" view to simplify the math.
3. It discovered that long strings near the edge of the universe act like perfect, non-distorting maps.
4. It turned an impossible infinite calculation into a simple, solvable puzzle.
5. It successfully matched the 3D string theory to its 2D holographic twin, giving us a new understanding of how the universe might be built.

It's a bit like realizing that the complicated, chaotic noise of a storm is actually just a simple, beautiful song if you listen to it in the right key.

Technical Summary

1. Problem Statement

The paper addresses the computational difficulties inherent in calculating scattering amplitudes for superstrings propagating in the curved background of $AdS_3$ (supported by pure NS-NS flux).

• The Challenge: In the standard RNS (Ramond-Neveu-Schwarz) formalism, worldsheet supersymmetry is not manifest. Calculating correlation functions requires the use of Picture-Changing Operators (PCOs) to fix the total "picture number" of vertex operators. In curved backgrounds like $AdS_3$, the interaction terms between fermions and bosons make the resulting PCO-inserted vertex operators extremely cumbersome and difficult to handle analytically.
• The Gap: While bosonic string theory on $AdS_3$ (described by the $SL(2, \mathbb{R})$ WZW model) has been successfully solved using localization techniques and free-field realizations (Wakimoto representation), a similarly tractable, manifestly supersymmetric formulation for superstrings has been lacking. Previous attempts often relied on decomposing the theory into a bosonic WZW model plus free fermions, which breaks manifest worldsheet supersymmetry and complicates the BRST quantization and GSO projection.

2. Methodology

The authors adopt a manifestly supersymmetric approach by working directly in superspace and utilizing the formalism of Super Riemann Surfaces (SRS).

• Superspace Formulation: Instead of decoupling fermions from bosons, they formulate the $AdS_3$ sigma model entirely in terms of superfields $(\Phi, \Gamma, \bar{\Gamma})$ on a super Riemann surface with coordinates $(z|\theta)$.
• Free-Field Realization: They construct a free-field realization of the supersymmetric $SL(2, \mathbb{R})$ WZW model at level $k$. This involves:
  • A linear dilaton superfield $\Phi$ with background charge $Q$.
  • A first-order system of chiral superfields $(\Omega, \Gamma)$ and their conjugates.
  • This realization preserves the full $N=1$ (Type II) or $N=(1,0)$ (Heterotic) worldsheet supersymmetry.
• Vertex Operators: They construct spectrally-flowed vertex operators in the NS and Ramond sectors directly in superspace. These operators describe the emission of "long strings" (strings winding the boundary of $AdS_3$).
• Screening Operators: To define a consistent path integral, they introduce a supersymmetric screening operator $D$ (associated with the $w=-1$ spectral flow sector) which induces poles in the field $\Gamma$, effectively allowing the field to reach the conformal boundary.
• Localization: The core technical innovation is analyzing the path integral in the near-boundary limit ($\Phi \to \infty$). In this limit, the interaction terms vanish, and the path integral localizes onto a finite-dimensional moduli space.

3. Key Contributions

A. Manifest Supersymmetry without PCOs

The paper demonstrates that by integrating over the moduli space of Super Riemann Surfaces ($\mathcal{M}_{g,n}$) directly, one avoids the need for Picture-Changing Operators. The integration over the odd (fermionic) moduli of the SRS naturally accounts for the picture number requirements, yielding a much cleaner integral representation of the amplitude.

B. Localization to Super-Holomorphic Curves

The authors prove that the path integral for long strings localizes to a specific sub-sector of the theory:

• The worldsheet configurations that contribute are those where the map $\Gamma: \Sigma \to \partial AdS_3$ (the boundary, topologically $S^2 \cong \mathbb{CP}^1$) is a super-holomorphic curve.
• This is a supersymmetric generalization of the holomorphic covering maps found in bosonic string theory.
• The dimension of the resulting moduli space is determined by the spins $j_i$ of the external vertex operators. For specific choices of spins (e.g., $k=1$), the dimension reduces to zero, and the path integral becomes a discrete sum over maps.

C. Exact Tree-Level Correlation Functions

The authors derive a closed-form expression for tree-level ($g=0$) correlation functions of long strings in the near-boundary limit.

• Result: The amplitude is expressed as an integral over the moduli space of super-holomorphic maps, weighted by a Jacobian factor and the correlator of the linear dilaton field.
• Equation (4.59): This is the main computational result, providing a compact formula for the residues of the poles in the string amplitudes.
• Simplification: In the case where the moduli space dimension is zero ($m=0$), the odd coordinates vanish, and the result reduces to a purely bosonic expression involving a sum over covering maps, identical in structure to the bosonic $AdS_3$ result but with supersymmetric parameters.

D. Extension to Heterotic Strings

The methodology is successfully extended to Heterotic strings.

• The authors construct the heterotic sigma model with a left-moving supersymmetric sector and a right-moving bosonic sector.
• They derive the corresponding correlation functions, showing that the localization mechanism works analogously, leading to a proposal for the dual CFT of heterotic strings on $AdS_3$.

4. Key Results

1. Free-Field Realization: Established a free-field realization of the supersymmetric $SL(2, \mathbb{R})_k$ WZW model that maintains manifest worldsheet supersymmetry, avoiding the cumbersome fermion-boson mixing of the standard decomposition.
2. Superspace Vertex Operators: Constructed explicit spectrally-flowed vertex operators for both NS and Ramond sectors in terms of superfields, including the necessary screening operators to handle the boundary conditions.
3. Localization Theorem: Proved that the near-boundary path integral localizes to the moduli space of super-holomorphic curves $\mathcal{M}_{0,n}(\mathbb{CP}^1, N)$, where $N$ is the winding number.
4. Closed-Form Amplitudes: Derived the explicit formula (Eq. 4.59) for tree-level correlators. This formula reproduces the expected pole structure of the string amplitudes and matches the form of perturbative expansions in the conjectured dual CFTs.
5. Heterotic Dual CFT Proposal: Proposed a specific dual CFT for Heterotic strings on $AdS_3 \times N$ as a deformed symmetric product of a seed theory with different left- and right-moving central charges ($c_L \neq c_R$), explaining the gravitational anomaly in the dual theory.

5. Significance

• Resolution of Technical Obstacles: This work provides the first systematic, manifestly supersymmetric calculation of superstring amplitudes on a curved background without resorting to PCOs. It resolves the long-standing technical difficulty of handling curved background interactions in the RNS formalism.
• Bridge to AdS/CFT: The derived correlators are shown to schematically reproduce the correlation functions of the conjectured dual CFTs (symmetric product orbifolds). This strengthens the evidence for the $AdS_3/CFT_2$ correspondence in the supersymmetric regime and provides a concrete tool for testing holography.
• New Mathematical Framework: The identification of the relevant worldsheet configurations as super-holomorphic curves opens a new avenue for applying mathematical tools from supergeometry and the theory of super Riemann surfaces to string theory.
• Future Directions: The paper sets the stage for computing higher-genus amplitudes and full 3- and 4-point functions using supersymmetric Ward identities and KZ equations, potentially leading to a complete bootstrap of $AdS_3$ superstring theory. It also suggests that other exactly solvable bosonic string theories (like minimal strings) may have solvable supersymmetric counterparts using similar superspace techniques.

In summary, the paper successfully reformulates $AdS_3$ superstring theory in a way that makes worldsheet supersymmetry manifest, leading to exact, computable results for long-string amplitudes that directly connect to the structure of the dual boundary CFTs.