First-principles worldsheet derivation of the AdS-deformed constraint equations and alpha-prime structure of vertex operators for the superstring on AdS3 x S3 x M with Ramond-Ramond flux

Type IIB superstring theory on AdS3 x S3 x M (M = K3 or T4) supported by Ramond-Ramond (RR) three-form flux admits a hybrid (Berkovits-Vafa-Witten) worldsheet description as a sigma model on the supergroup PSU(1,1|2) (Euclidean PSU(2|2)) coupled to ghosts. Dolan and Witten (1999) determined the supersymmetric constraint equations for the massless, compactification-independent vertex operators of this model and showed that they reproduce the linearized D=6, N=(2,0) supergravity equations on AdS3 x S3 - but they fixed those equations by symmetry and smoothness rather than deriving them from the worldsheet operator construction, worked only to leading order in alpha', and did not include dependence on M. The open problem stated here is to complete the worldsheet foundation of this vertex-operator calculus: derive the AdS-deformed constraint operators and their action on vertex functions directly from the worldsheet theory (exactly or perturbatively in alpha'), decide the alpha'-exactness of the leading-order vertex operators and their correlation functions (computing corrections if present), and extend the construction to M-dependent states and the associated Kaluza-Klein spectrum.

The regime of the problem is the pure-RR, general-radius (finite level $k$ ) hybrid sigma model. Other flux and limit regimes - the NS-NS flux case, the tensionless $k=1$ limit, the plane-wave limit, and mixed-flux settings - lie outside the scope of this statement.

Background

Type IIB superstring theory on the product spacetime AdS3 x S3 x M (where M is K3, the Calabi-Yau two-fold, or T4, the four-torus), supported by a self-dual Ramond-Ramond (RR) three-form flux, is the near-horizon geometry of the D1-D5 brane system and a basic instance of the AdS/CFT correspondence. A worldsheet definition of strings in such a background is difficult because RR fields couple to spin fields in the Ramond-Neveu-Schwarz (RNS) formalism, spoiling worldsheet supersymmetry. The hybrid formalism of Berkovits, Vafa and Witten (BVW) circumvents this: besides bosonic coordinates $x^p(z,\bar z)$ , $p=1,\dots,6$ , it uses worldsheet fermions $\theta^a$ , $\bar\theta^a$ together with conjugate momenta that make six-dimensional spacetime supersymmetry manifest, so that RR backgrounds can be added without spin fields (Berkovits, Vafa and Witten 1999; Berkovits 2000). On AdS3 x S3 with RR flux the momenta can be integrated out and $x$ , $\theta$ , $\bar\theta$ combine into a group-valued field $g$ on the supergroup manifold PSU(2|2) - the projectivization of SU(2|2), obtained by dividing out its U(1) center; in Lorentzian signature the relevant real form is PSU(1,1|2) - so the worldsheet theory becomes a sigma model with that supergroup target, coupled to bosonic ghosts $\rho$ , $\sigma$ . The spacetime supersymmetry PSU(2|2) x PSU(2|2) acts by left and right multiplication $g \to agb^{-1}$ . Because the RR-flux worldsheet is an interacting sigma model rather than a Wess-Zumino-Witten (WZW) model, its operator algebra is not free-field; this is the structural reason the RR case is much harder than the NS-NS case.

Massless vertex operators are sought as functions $V(x,\theta,\bar\theta;\rho+i\sigma,\bar\rho+i\bar\sigma)$ of the fields but not of their derivatives (an ansatz modeled on the flat-space case), expanded in ghost excitations as $V=\sum_{m,n}e^{m(i\sigma+\rho)+n(i\bar\sigma+\bar\rho)}V_{m,n}$ . In flat space the physical-state conditions of the small N=4 worldsheet superconformal algebra - the vanishing of the modes $T_0$ , $G_0^{\pm}$ , $J_0$ and their right-moving partners on $V$ , together with a spin-zero (Laplacian) condition - were derived from the free-field operator algebra and yield differential constraint equations on the component superfields $V_{m,n}$ . Dolan and Witten (1999) deformed these constraints to the RR AdS3 x S3 background: replacing flat derivatives by the left-invariant vector fields $F^a$ , $E^a$ , $K^{ab}$ on PSU(2|2) and adding lower-order curvature terms, they fixed the deformed equations - equations (2.18)-(2.20), together with the Laplacian condition (4.2) on the surviving ghost-sector superfield $V_{1,1}$ - uniquely by requiring (i) a smooth deformation of the flat-space equations and (ii) invariance under a deformed action (2.21) of PSU(2|2) x PSU(2|2) on the $V_{m,n}$ . In this deformed action the $E^a$ -type supersymmetry generators, unlike $F^a$ and $K^{ab}$ , acquire ghost-proportional corrections (terms of the form $e^{-\rho-i\sigma}F$ ) that mix the ghost and matter sectors - a structural feature any first-principles construction of the constraint operators must reproduce. After gauge fixing, the physical superfield $V_{1,1}$ has the field content of D=6, N=(2,0) supergravity with one supergravity and one tensor multiplet, and the constraint equations were shown component by component to be equivalent to the linearized D=6, N=(2,0) supergravity equations expanded around AdS3 x S3 (results reviewed in Dolan 2001).

Three limitations were explicit in that work. First, the constraint equations were fixed by symmetry and smoothness, not derived: the authors state it would be desirable to derive equations (2.18)-(2.20) directly by constructing the constraint operators and computing their exact (or alpha'-perturbative) action on vertex functions; here $\alpha'$ is the string length-squared parameter, and the expansion in $\alpha'$ (equivalently in the inverse flux level or curvature radius) measures stringy corrections beyond the supergravity approximation. Second, the analysis is performed to leading order in $\alpha'$ , with exactness beyond leading order conjectured from the high degree of symmetry but not established. Third, only massless states independent of the compactification manifold $M$ are treated.

Problem Statement

For the type IIB superstring on $\mathrm{AdS}_3\times S^3\times M$ ( $M=$ K3 or $T^4$ ) supported by Ramond-Ramond three-form flux, in the hybrid (Berkovits-Vafa-Witten) worldsheet formalism, establish the vertex-operator calculus from first principles at the worldsheet level, replacing the symmetry-based, leading-order-in- $\alpha'$ , compactification-independent analysis of Dolan and Witten (1999). The problem has three jointly linked components serving this single objective:

First-principles derivation of the constraint equations. Construct the constraint operators - the deformed $N=4$ superconformal generators of the $PSU(1,1|2)$ (Euclidean $PSU(2|2)$ ) hybrid sigma model with pure RR flux, including the ghost-corrected $E$ -type supercharges whose action mixes matter and ghost sectors - directly from the worldsheet fields, and compute their exact, or perturbative in $\alpha'$ , action on the vertex functions $V_{m,n}(x,\theta,\bar\theta)$ , so that the AdS-deformed constraint equations (the analogs of Dolan-Witten equations (2.18)-(2.20) together with the conditions (4.1)-(4.2) on the surviving superfield $V_{1,1}$ ), or their $\alpha'$ -corrected form derived from the worldsheet construction, follow as physical-state conditions of the worldsheet theory rather than being fixed by symmetry and smoothness.
$\alpha'$ -control. Determine whether the leading-order vertex operators and their identification with the linearized $D=6$ , $N=(2,0)$ supergravity and tensor-multiplet fields on $\mathrm{AdS}_3\times S^3$ are exact in $\alpha'$ (as conjectured from the high degree of symmetry), and, if not, compute the higher-order $\alpha'$ corrections to the vertex operators and their correlation functions on the RR sigma model.
Compactification dependence. Extend the explicit component-level matching and vertex-operator construction beyond states independent of the compactification manifold $M$ , to vertex operators carrying dependence on K3 or $T^4$ and the associated Kaluza-Klein spectrum on $S^3\times M$ .

These components jointly delimit the regime in which the massless string on $\mathrm{AdS}_3\times S^3\times M$ with RR flux is under first-principles worldsheet control beyond the supergravity approximation.

References

L. Dolan and E. Witten, "Vertex Operators for AdS3 Background With Ramond Ramond Flux", JHEP 11 (1999) 003, doi:10.1088/1126-6708/1999/11/003, arXiv:hep-th/9910205, https://arxiv.org/abs/hep-th/9910205
N. Berkovits, C. Vafa and E. Witten, "Conformal Field Theory of AdS Background with Ramond-Ramond Flux", JHEP 03 (1999) 018, doi:10.1088/1126-6708/1999/03/018, arXiv:hep-th/9902098, https://arxiv.org/abs/hep-th/9902098
N. Berkovits, "Quantization of the type II superstring in a curved six-dimensional background", Nucl. Phys. B565 (2000) 333-344, doi:10.1016/S0550-3213(99)00690-2, arXiv:hep-th/9908041, https://arxiv.org/abs/hep-th/9908041
M. Langham, "Vertex Operators in AdS3 x S3 Background with NS-NS Flux using Berkovits-Vafa-Witten Variables", Nucl. Phys. B580 (2000) 565-576, doi:10.1016/S0550-3213(00)00194-2, arXiv:hep-th/0002032, https://arxiv.org/abs/hep-th/0002032
R. R. Metsaev and A. A. Tseytlin, "Superparticle and superstring in AdS3 x S3 Ramond-Ramond background in the light-cone gauge", J. Math. Phys. 42 (2001) 2987, doi:10.1063/1.1377274, https://doi.org/10.1063/1.1377274
N. Berkovits and O. Chandia, "Superstring vertex operators in an AdS5 x S5 background", Nucl. Phys. B596 (2001) 185-196, doi:10.1016/S0550-3213(00)00697-0, arXiv:hep-th/0009168, https://arxiv.org/abs/hep-th/0009168
L. Dolan, "Vertex operators for AdS3 with Ramond background", J. Math. Phys. 42 (2001) 2978, doi:10.1063/1.1373423, arXiv:hep-th/0010219, https://arxiv.org/abs/hep-th/0010219
K. Bobkov and L. Dolan, "Three-Graviton Amplitude in Berkovits-Vafa-Witten Variables", Phys. Lett. B537 (2002) 155-164, doi:10.1016/S0370-2693(02)01877-4, arXiv:hep-th/0201027, https://arxiv.org/abs/hep-th/0201027
S. K. Ashok, R. Benichou and J. Troost, "Asymptotic Symmetries of String Theory on AdS3 x S3 with Ramond-Ramond Fluxes", JHEP 10 (2009) 051, doi:10.1088/1126-6708/2009/10/051, arXiv:0907.1242, https://arxiv.org/abs/0907.1242
M. R. Gaberdiel and S. Gerigk, "The massless string spectrum on AdS3 x S3 from the supergroup", JHEP 10 (2011) 045, doi:10.1007/JHEP10(2011)045, arXiv:1107.2660, https://arxiv.org/abs/1107.2660
S. Gerigk, "String States on AdS3 x S3 from the Supergroup", JHEP 10 (2012) 084, doi:10.1007/JHEP10(2012)084, arXiv:1208.0345, https://arxiv.org/abs/1208.0345
M. R. Gaberdiel and R. Gopakumar, "Tensionless String Spectra on AdS3", JHEP 05 (2018) 085, doi:10.1007/JHEP05(2018)085, arXiv:1803.04423, https://arxiv.org/abs/1803.04423
L. Eberhardt and K. Ferreira, "The plane-wave spectrum from the worldsheet", JHEP 10 (2018) 109, doi:10.1007/JHEP10(2018)109, arXiv:1805.12155, https://arxiv.org/abs/1805.12155
L. Eberhardt, M. R. Gaberdiel and R. Gopakumar, "The Worldsheet Dual of the Symmetric Product CFT", JHEP 04 (2019) 103, doi:10.1007/JHEP04(2019)103, arXiv:1812.01007, https://arxiv.org/abs/1812.01007
L. Eberhardt, M. R. Gaberdiel and R. Gopakumar, "Deriving the AdS3/CFT2 Correspondence", JHEP 02 (2020) 136, doi:10.1007/JHEP02(2020)136, arXiv:1911.00378, https://arxiv.org/abs/1911.00378
M. Cho, S. Collier and X. Yin, "Strings in Ramond-Ramond Backgrounds from the Neveu-Schwarz-Ramond Formalism", JHEP 12 (2020) 123, doi:10.1007/JHEP12(2020)123, arXiv:1811.00032, https://arxiv.org/abs/1811.00032
M. R. Gaberdiel and K. Naderi, "The physical states of the Hybrid Formalism", arXiv:2106.06476, https://arxiv.org/abs/2106.06476
A. Dei, M. R. Gaberdiel, R. Gopakumar and B. Knighton, "Free field world-sheet correlators for AdS3", JHEP 02 (2021) 081, doi:10.1007/JHEP02(2021)081, arXiv:2009.11306, https://arxiv.org/abs/2009.11306
K. Naderi, "DDF operators in the Hybrid Formalism", JHEP 12 (2022) 043, doi:10.1007/JHEP12(2022)043, arXiv:2208.01617, https://arxiv.org/abs/2208.01617
A. Brollo, D. le Plat, A. Sfondrini and R. Suzuki, "The Tensionless Limit of Pure-Ramond-Ramond Strings and AdS3/CFT2", Phys. Rev. Lett. 131 (2023) 161604, doi:10.1103/PhysRevLett.131.161604, arXiv:2303.02120, https://arxiv.org/abs/2303.02120
A. Brollo, D. le Plat, A. Sfondrini and R. Suzuki, "More on the tensionless limit of pure-Ramond-Ramond AdS3/CFT2", JHEP 12 (2023) 160, doi:10.1007/JHEP12(2023)160, arXiv:2308.11576, https://arxiv.org/abs/2308.11576
A. Brollo, D. le Plat and A. Sfondrini, "Revisiting the tensionless limit of pure-Ramond-Ramond AdS3/CFT2", arXiv:2512.15697, https://arxiv.org/abs/2512.15697
C. A. Daniel, "Covariant quantization of the superstring in AdS3 x S3 x T4 with mixed flux", JHEP 04 (2025) 053, doi:10.1007/JHEP04(2025)053, arXiv:2411.18848, https://arxiv.org/abs/2411.18848
C. A. Daniel, "Integrating out the fermions in AdS", JHEP 02 (2025) 163, doi:10.1007/JHEP02(2025)163, arXiv:2408.10418, https://arxiv.org/abs/2408.10418
N. Kovensky, "Lecture notes on strings in AdS3 from the worldsheet and the AdS3/CFT2 duality", SciPost Phys. Lect. Notes 132 (2026), doi:10.21468/SciPostPhysLectNotes.132, arXiv:2601.06697, https://arxiv.org/abs/2601.06697