Search

We give a rigorous definition of sine dilaton gravity in terms of the worldsheet theory of the complex Liouville string arXiv:2409.17246. The latter has a known exact solution that we leverage to explore the gravitational path integral of sine dilaton gravity - a quantum deformation of dS JT gravity that admits both AdS$_2$ and dS$_2$ vacua. We uncover that the gravitational path integral receives contributions from new saddles describing transitions between vacua in a third-quantized picture. We also discuss the sphere and disk partition function in this context and contrast our findings with other recent work on this theory., Comment: 26 pages

We propose a precise duality between pure de Sitter quantum gravity in 2+1 dimensions and a double-scaled matrix integral. This duality unfolds in two distinct aspects. First, by carefully quantizing the gravitational phase space, we arrive at a novel proposal for the quantum state of the universe at future infinity. We compute cosmological correlators of massive particles in the universe specified by this wavefunction. Integrating these correlators over the metric at future infinity yields gauge-invariant observables, which are identified with the string amplitudes of the complex Liouville string arXiv:2409.17246. This establishes a direct connection between integrated cosmological correlators and the resolvents of the matrix integral dual to the complex Liouville string, thereby demonstrating one aspect of the dS$_3$/matrix integral duality. The second aspect concerns the cosmological horizon of the dS static patch and the Gibbons-Hawking entropy it is conjectured to encode. We show that this entropy can be reproduced exactly by counting the entries of the matrix., Comment: 45 pages + appendices

We investigate general observables of the complex Liouville string with worldsheet boundaries. We develop a universal formalism that reduces such observables to ordinary closed string amplitudes without boundaries, applicable to any worldsheet string theory, but particularly simple in the context of 2d or minimal string theories. We apply this formalism to the duality of the complex Liouville string with the matrix integral proposed in arXiv:2409.18759 and arXiv:2410.07345 and showcase the formalism by finding appropriate boundary conditions for various matrix model quantities of interest, such as the resolvent or the partition function. We also apply this formalism towards the computation of non-perturbative effects on the worldsheet mediated by ZZ-instantons. These are known to be plagued by extra subtleties which need input from string field theory to resolve. These computations probe and uncover the duality between the complex Liouville string and the matrix model at the non-perturbative level., Comment: 47 pages + appendices

We propose a duality between the complex Liouville string and a two-matrix integral. The complex Liouville string is defined by coupling two Liouville theories with complex central charges $c = 13 \pm i \lambda$ on the worldsheet. The matrix integral is characterized by its spectral curve which allows us to compute the perturbative string amplitudes recursively via topological recursion. This duality constitutes a controllable instance of holographic duality. The leverage on the theory is provided by the rich analytic structure of the string amplitudes that we discussed in arXiv:2409.18759 and allows us to perform numerous tests on the duality., Comment: 52 pages + appendices

We introduce a new two-dimensional string theory defined by coupling two copies of Liouville CFT with complex central charge $c=13\pm i \lambda$ on the worldsheet. This string theory defines a novel, consistent and controllable model of two-dimensional quantum gravity. We use the exact solution of the worldsheet theory to derive stringent constraints on the analytic structure of the string amplitudes as a function of the vertex operator momenta. Together with other worldsheet constraints, this allows us to completely pin down the string amplitudes without explicitly computing the moduli space integrals. We focus on the case of the sphere four-point amplitude and torus one-point amplitude as worked examples. This is the first in a series of papers on the complex Liouville string: three subsequent papers will elucidate the holographic duality with a two-matrix integral, discuss worldsheet boundaries and non-perturbative effects, and connect the theory to de Sitter quantum gravity., Comment: 52 pages + appendices

We introduce the complex Liouville string, a solvable string theory defined by coupling two Liouville theories with complex conjugate central charges $c \in 13+i \mathbb{R}$ on the worldsheet. We compute its amplitudes from first principles and establish a duality with a double-scaled two-matrix integral. We also analyze general worldsheet boundaries and non-perturbative effects in the genus expansion. This theory is capable of capturing aspects of de Sitter quantum gravity in both two and three dimensions, which leads to a precise version of de Sitter holography., Comment: 5 pages, overview paper

We study the high-energy limit of $2 \to 2$ one-loop string amplitudes at fixed momentum transfer. For the closed string, the high-energy behaviour of the amplitudes can be determined from Regge theory just like in field theory, as was first discussed by Amati, Ciafaloni and Veneziano. However, field theory intuition partially breaks down for the open-string amplitude, where amplitudes can exhibit surprising asymptotics in the high-energy limit depending on the topology of the diagram. We call this phenomenon Regge attenuation. We extract Regge limits by a combination of unitarity cuts and saddle-point analysis. We show that the leading contribution of the planar open-string amplitude is sufficiently simple that we can extract it at any loop order. This allows us to resum the genus expansion in a certain limit and demonstrate that the leading Regge trajectory remains linear in that limit., Comment: 46 pages

We engineer compact contours on the moduli spaces of genus-zero Riemann surfaces that achieve analytic continuation from Euclidean to Lorentzian worldsheets. These generalized Pochhammer contours are based on the combinatorics of associahedra and make the analytic properties of tree-level amplitudes entirely manifest for any number and type of external strings. We use them in practice to perform first numerical computations of open and closed string amplitudes directly in the physical kinematics for $n=4,5,6,7,8,9$. We provide a code that allows anyone to do such computations., Comment: 27 pages, ancillary Mathematica notebook for numerical string amplitude computations

We further develop the description of three-dimensional quantum gravity with negative cosmological constant in terms of Virasoro TQFT formulated in our previous paper arXiv:2304.13650. We compare the partition functions computed in the Virasoro TQFT formalism to the semiclassical evaluation of Euclidean gravity partition functions. This matching is highly non-trivial, but can be checked directly in some examples. We then showcase the formalism in action, by computing the gravity partition functions of many relevant topologies. For holographic applications, we focus on the partition functions of Euclidean multi-boundary wormholes with three-punctured spheres as boundaries. This precisely quantifies the higher moments of the structure constants in the proposed ensemble boundary dual and subjects the proposal to thorough checks. Finally, we investigate in detail the example of the figure eight knot complement as a hyperbolic 3-manifold. We show that the Virasoro TQFT partition function is identical to the partition function computed in Teichm\"uller theory, thus giving strong evidence for the equivalence of these TQFTs. We also show how to produce a large class of manifolds via Dehn surgery on the figure eight knot., Comment: 54 pages

We carefully bootstrap the crossing kernels of Virasoro conformal blocks from first principles. Our approach emphasizes the Hilbert space structure of the space of Virasoro conformal blocks which makes the consistency of crossing transformations obvious. We give a pedagogical explanation of the necessary background about Virasoro conformal blocks and special functions. We also explain several applications and prove new results about the crossing kernels., Comment: 94 pages

We introduce a critical string theory in two dimensions and demonstrate that this theory, viewed as two-dimensional quantum gravity on the worldsheet, is equivalent to a double-scaled matrix integral. The worldsheet theory consists of Liouville CFT with central charge $c\geq 25$ coupled to timelike Liouville CFT with central charge $26-c$. The double-scaled matrix integral has as its leading density of states the universal Cardy density of primaries in a two-dimensional CFT, thus motivating the name Virasoro minimal string. The duality holds for any value of the continuous parameter $c$ and reduces to the JT gravity/matrix integral duality in the large central charge limit. It thus provides a precise stringy realization of JT gravity. The main observables of the Virasoro minimal string are quantum analogues of the Weil-Petersson volumes, which are computed as absolutely convergent integrals of worldsheet CFT correlators over the moduli space of Riemann surfaces. By exploiting a relation of the Virasoro minimal string to three-dimensional gravity and intersection theory on the moduli space of Riemann surfaces, we are able to give a direct derivation of the duality. We provide many checks, such as explicit numerical - and in special cases, analytic - integration of string diagrams, the identification of the CFT boundary conditions with asymptotic boundaries of the two-dimensional spacetime, and the matching between the leading non-perturbative corrections of the worldsheet theory and the matrix integral. As a byproduct, we discover natural conformal boundary conditions for timelike Liouville CFT., Comment: 14 pages of summary and results, 113 pages in total, ancillary mathematica notebook

We compute the worldsheet sphere partition function of string theory on global AdS$_3$ with pure NS-NS flux. Because of an unfixed M\"obius symmetry on the worldsheet, there is a cancellation of infinities and only a part of the answer is unambiguous. We show that it precisely reproduces the holographic Weyl anomaly and the ambiguous terms correspond to the possible counterterms of the boundary CFT., Comment: 9 pages + appendix; v2: fixed minor errors

We derive the Weil-Petersson measure on the moduli space of hyperbolic surfaces with defects of arbitrary opening angles and use this to compute its volume. We conjecture a matrix integral computing the corresponding volumes and confirm agreement in simple cases. We combine this mathematical result with the equivariant localization approach to Jackiw-Teitelboim gravity to justify a proposed exact solution of pure 2d dilaton gravity for a large class of dilaton potentials., Comment: 45pp; typos corrected

We propose a precise reformulation of 3d quantum gravity with negative cosmological constant in terms of a topological quantum field theory based on the quantization of the Teichm\"uller space of Riemann surfaces that we refer to as ``Virasoro TQFT.'' This TQFT is similar, but importantly not equivalent, to $\text{SL}(2,\mathbb{R})$ Chern-Simons theory. This sharpens the folklore that 3d gravity is related to $\text{SL}(2,\mathbb{R})$ Chern-Simons theory into a precise correspondence, and resolves some well-known issues with this lore at the quantum level. Our proposal is computationally very useful and provides a powerful tool for the further study of 3d gravity. In particular, we explain how together with standard TQFT surgery techniques this leads to a fully algorithmic procedure for the computation of the gravity partition function on a fixed topology exactly in the central charge. Mathematically, the relation leads to many nontrivial conjectures for hyperbolic 3-manifolds, Virasoro conformal blocks and crossing kernels., Comment: 72 pages

We evaluate one-loop open-string amplitudes at finite $\alpha'$ for the first time. Our method involves a deformation of the integration contour over the modular parameter $\tau$ to a fractal contour introduced by Rademacher in the context of analytic number theory. This procedure leads to explicit and practical formulas for the one-loop four-point amplitudes in type-I superstring theory, amenable to numerical evaluation. We plot the amplitudes as a function of the Mandelstam invariants $s$ and $t$ and directly verify long-standing conjectures about their behaviour at high energies., Comment: 101 pages, many figures

We compute the imaginary parts of genus-one string scattering amplitudes. Following Witten's $i\varepsilon$ prescription for the integration contour on the moduli space of worldsheets, we give a general algorithm for computing unitarity cuts of the annulus, M\"obius strip, and torus topologies exactly in $\alpha'$. With the help of tropical analysis, we show how the intricate pattern of thresholds (normal and anomalous) opening up arises from the worldsheet computation. The result is a manifestly-convergent representation of the imaginary parts of amplitudes, which has the analytic form expected from Cutkosky rules in field theory, but bypasses the need for performing laborious sums over the intermediate states. We use this representation to study various physical aspects of string amplitudes, including their behavior in the $(s,t)$ plane, exponential suppression, decay widths of massive strings, total cross section, and low-energy expansions. We find that planar annulus amplitudes exhibit a version of low-spin dominance: at any finite energy, only a finite number of low partial-wave spins give an appreciable contribution to the imaginary part., Comment: 87 pages

We explore three-dimensional gravity with negative cosmological constant via canonical quantization. We focus on chiral gravity which is related to a single copy of $\mathrm{PSL}(2,\mathbb{R})$ Chern-Simons theory and is simpler to treat in canonical quantization. Its phase space for an initial value surface $\Sigma$ is given by the appropriate moduli space of Riemann surfaces. We use geometric quantization to compute partition functions of chiral gravity on three-manifolds of the form $\Sigma \times \mathrm{S}^1$, where $\Sigma$ can have asymptotic boundaries. Most of these topologies do not admit a classical solution and are thus not amenable to a direct semiclassical path integral computation. We use an index theorem that expresses the partition function as an integral of characteristic classes over phase space. In the presence of $n$ asymptotic boundaries, we use techniques from equivariant cohomology to localize the integral to a finite-dimensional integral over $\overline{\mathcal{M}}_{g,n}$, which we evaluate in low genus cases. Higher genus partition functions quickly become complicated since they depend in an oscillatory way on Newton's constant. There is a precise sense in which one can isolate the non-oscillatory part which we call the fake partition function. We establish that there is a topological recursion that computes the fake partition functions for arbitrary Riemann surfaces $\Sigma$. There is a scaling limit in which the model reduces to JT gravity and our methods give a novel way to compute JT partition functions via equivariant localization., Comment: 59+31 pages

We continue our study of string correlators on Euclidean $\text{AdS}_3$ with pure NS-NS flux. The worldsheet and spacetime correlators have a rich analytic structure, which we analyse completely for genus 0 four-point functions. We show that correlators exhibit a simple behaviour near their singularities. The spacetime correlators are meromorphic functions in the $\mathrm{SL}(2,\mathbb{R})$-spins, whose pole structure is shown to agree with the prediction of a recent proposal for the dual $\text{CFT}_2$. Moreover, we also compute the residues of the spacetime correlators for some of the poles exactly and find again a perfect match with the proposal for the dual $\text{CFT}_2$, thereby checking the duality for some non-trivial four-point functions exactly. Our computations simplify drastically in the tensionless limit of $\mathrm{AdS}_3 \times \mathrm{S}^3 \times \mathbb{T}^4$ where the behaviour near the poles gives in fact the exact answer. This paper is the third in a series with several installments., Comment: 33 pages

Four-particle tree-level scattering amplitudes in string theory are magically consistent with unitarity, reflected in the non-trivial fact that beneath the critical dimension, the residues of the amplitudes on massive poles can be expanded in partial waves with all positive coefficients. While this follows (rather indirectly) from the no-ghost theorem, the simplicity of the statement and its fundamental importance for the physical consistency of string theory begs for a more direct and elementary understanding. In this note we take a step in this direction by presenting a new expression for the partial wave coefficients of string amplitudes, given by surprisingly simple double/triple contour integrals for open/closed strings. This representation allows us to directly prove unitarity of all superstring theories in $D \leq 6$ spacetime dimensions, and can also be used to determine various asymptotics of the partial waves at large mass levels., Comment: 37 pages

We construct a CFT dual to string theory on AdS$_3$ with pure NS-NS flux. It is given by a symmetric orbifold of a linear dilaton theory deformed by a marginal operator from the twist-2 sector. We compute two- and three-point functions on the CFT side to 4th order in conformal perturbation theory at large $N$. They agree with the string computation at genus 0, thus providing ample evidence for a duality. We also show that the full spectra of both short and long strings on the CFT and the string side match. The duality should be understood as perturbative in $N^{-1}$., Comment: 50 pages

We propose a closed-form formula for genus 0 four-point functions in $\text{AdS}_3$ string theory with pure NS-NS flux including arbitrary amounts of spectral flow. Our formula passes many non-trivial consistency checks and has intriguing connections to Hurwitz theory. This paper is the second in a series with several instalments., Comment: 33 + 12 pages

We revisit the computation of string worldsheet correlators on Euclidean $\text{AdS}_3$ with pure NS-NS background. We compute correlation functions with insertions of spectrally flowed operators. We explicitly solve all the known constraints of the model and for the first time conjecture a closed formula for three-point functions with arbitrary amount of spectral flow. We explain the relation of our results with previous computations in the literature and derive the fusion rules of the model. This paper is the first in a series with several installments., Comment: 33 + 14 pages

We investigate the disk partition function for the open string. This is a subtle problem because of the presence of a residual gauge group $\mathrm{PSL}(2,\mathbb{R})$ on the worldsheet even after fixing the conformal gauge. It naively has infinite volume and leads to a vanishing answer. We use different methods that all demonstrate that $\mathrm{PSL}(2,\mathbb{R})$ effectively behaves like a group with finite negative volume in the path integral, which leads to a simple prescription for the computation of the disk partition function. We apply our findings to give a simple rederivation of the D-brane tensions., Comment: 32 pages

We examine the question how string theory achieves a sum over bulk geometries with fixed asymptotic boundary conditions. We discuss this problem with the help of the tensionless string on $\mathcal{M}_3 \times \mathrm{S}^3 \times \mathbb{T}^4$ (with one unit of NS-NS flux) that was recently understood to be dual to the symmetric orbifold $\text{Sym}^N(\mathbb{T}^4)$. We strengthen the analysis of arXiv:2008.07533 and show that the perturbative string partition function around a fixed bulk background already includes a sum over semi-classical geometries and large stringy corrections can be interpreted as various semi-classical geometries. We argue in particular that the string partition function on a Euclidean wormhole geometry factorizes completely into factors associated to the two boundaries of spacetime. Central to this is the remarkable property of the moduli space integral of string theory to localize on covering spaces of the conformal boundary of $\mathcal{M}_3$. We also emphasize the fact that string perturbation theory computes the grand canonical partition function of the family of theories $\bigoplus_N\text{Sym}^N(\mathbb{T}^4)$. The boundary partition function is naturally expressed as a sum over winding worldsheets, each of which we interpret as a `stringy geometry'. We argue that the semi-classical bulk geometry can be understood as a condensate of such stringy geometries. We also briefly discuss the effect of ensemble averaging over the Narain moduli space of $\mathbb{T}^4$ and of deforming away from the orbifold by the marginal deformation., Comment: 63+26 pages

We consider string theory on $\text{AdS}_3 \times \text{S}^3 \times \mathbb{T}^4$ in the tensionless limit, with one unit of NS-NS flux. This theory is conjectured to describe the symmetric product orbifold CFT. We consider the string on different Euclidean backgrounds such as thermal $\text{AdS}_3$, the BTZ black hole, conical defects and wormhole geometries. In simple examples we compute the full string partition function. We find it to be independent of the precise bulk geometry, but only dependent on the geometry of the conformal boundary. For example, the string partition function on thermal $\text{AdS}_3$ and the conical defect with a torus boundary is shown to agree, thus giving evidence for the equivalence of the tensionless string on these different background geometries. We also find that thermal $\text{AdS}_3$ and the BTZ black hole are dual descriptions and the vacuum of the BTZ black hole is mapped to a single long string winding many times asymptotically around thermal $\text{AdS}_3$. Thus the system yields a concrete example of the string-black hole transition. Consequently, reproducing the boundary partition function does not require a sum over bulk geometries, but rather agrees with the string partition function on any bulk geometry with the appropriate boundary. We argue that the same mechanism can lead to a resolution of the factorization problem when geometries with disconnected boundaries are considered, since the connected and disconnected geometries give the same contribution and we do not have to include them separately., Comment: 49 pages; v2: added references and corrected typos

We introduce a bosonic ambitwistor string theory in AdS space. Even though the theory is anomalous at the quantum level, one can nevertheless use it in the classical limit to derive a novel formula for correlation functions of boundary CFT operators in arbitrary space-time dimensions. The resulting construction can be treated as a natural extension of the CHY formalism for the flat-space S-matrix, as it similarly expresses tree-level amplitudes in AdS as integrals over the moduli space of Riemann spheres with punctures. These integrals localize on an operator-valued version of scattering equations, which we derive directly from the ambitwistor string action on a coset manifold. As a testing ground for this formalism we focus on the simplest case of ambitwistor string coupled to two current algebras, which gives bi-adjoint scalar correlators in AdS. In order to evaluate them directly, we make use of a series of contour deformations on the moduli space of punctured Riemann spheres and check that the result agrees with tree level Witten diagram computations to all multiplicity. We also initiate the study of eigenfunctions of scattering equations in AdS, which interpolate between conformal partial waves in different OPE channels, and point out a connection to an elliptic deformation of the Calogero-Sutherland model., Comment: 44 pages; v2 References added. Modified discussion of anomalies in sections 2 and 3. Main results unchanged

We give an introduction to conformal and superconformal algebras and their representations in various dimensions. Special emphasis is put on 4d $\mathcal{N}=2$ superconformal symmetry. This is the writeup of the lectures given at the Winter School "YRISW 2020" to appear in a special issue of JPhysA., Comment: 36 pages; This is the writeup of the lectures given at the Winter School "YRISW 2020" to appear in a special issue of JPhysA

We study the 3-parametric family of vertex operator algebras based on the unitary Grassmannian coset CFT $\mathfrak{u}(M+N)_k/(\mathfrak{u}(M)_k \times \mathfrak{u}(N)_k)$. This VOA serves as a basic building block for a large class of cosets and generalizes the $\mathcal{W}_\infty$ algebra. We analyze representations and their characters in detail and find surprisingly simple character formulas for the representations in the generic parameter regime that admit an elegant combinatorial formulation. We also discuss truncations of the algebra and give a conjectural formula for the complete set of truncation curves. We develop a theory of gluing for these algebras in order to build more complicated coset and non-coset algebras. We demonstrate the power of this technology with some examples and show in particular that the $\mathcal{N}=2$ supersymmetric Grassmannian can be obtained by gluing three bosonic Grassmannian algebras in a loop. We finally speculate about the tantalizing possibility that this algebra is a specialization of an even larger 4-parametric family of algebras exhibiting pentality symmetry. Specialization of this conjectural family should include both the unitary Grassmannian family as well as the Lagrangian Grassmannian family of VOAs which interpolates between the unitary and the orthosymplectic cosets., Comment: ancillary Mathematica notebook for character calculations included

We continue our study of the worldsheet theory of superstrings on $\mathrm{AdS}_3 \times \mathrm{S}^3 \times \mathbb{T}^4$ in the tensionless limit arXiv:1911.00378. We consider the theory on higher genus surfaces. We give evidence that the worldsheet correlators localise on certain worldsheets that cover the boundary of $\mathrm{AdS}_3$ holomorphically. This simplifies the string moduli space integral dramatically to a finite sum. This property shows that the higher genus corrections of the string worldsheet reproduce the structure of the $1/N$ corrections in the dual symmetric orbifold CFT $\mathrm{Sym}^N(\mathbb{T}^4)$., Comment: 44 pages

We exploit null vectors of the fractional Virasoro algebra of the symmetric product orbifold to compute correlation functions of twist fields in the large $N$ limit. This yields a new method to derive correlation functions in these orbifold CFTs that is purely based on the symmetry algebra. We explore various generalisations, such as subleading (torus) contributions or correlation functions of other fields than the bare twist fields. We comment on the consequences of our computation for the $\text{AdS}_3/\text{CFT}_2$ correspondence., Comment: 44 pages; published version

It was recently argued that string theory on ${\rm AdS}_3\times {\rm S}^3\times \mathbb{T}^4$ with one unit ($k=1$) of NS-NS flux is exactly dual to the symmetric orbifold CFT ${\rm Sym}^N(\mathbb{T}^4)$. In this paper we show how to directly relate the $n$-point correlators of the two sides to one another. In particular, we argue that the correlators of the world-sheet theory are delta-function-localised in string moduli space to those configurations that allow for a holomorphic covering map of the $\text{S}^2$-boundary of $\text{AdS}_3$ by the world-sheet. This striking feature can be seen both from a careful Ward identity analysis, as well as from semi-classically exact AdS$_3$ solutions that are pinned to the boundary. The world-sheet correlators therefore have exactly the same structure as in the Lunin-Mathur construction of symmetric orbifold CFT correlators in terms of a covering surface -- which now gets identified with the world-sheet. Together with the results of arXiv:1803.04423 and arXiv:1812.01007 this essentially demonstrates how the $k=1$ $\text{AdS}_3$ string theory becomes equivalent to the spacetime orbifold CFT in the genus expansion., Comment: 55 pages; v2: matches JHEP version

We construct a quadratic basis of generators of matrix-extended $\mathcal{W}_{1+\infty}$ using a generalization of the Miura transformation. This makes it possible to conjecture a closed-form formula for the operator product expansions defining the algebra. We study truncations of the algebra. An explicit calculation at low levels shows that these are parametrized in a way consistent with the gluing description of the algebra. It is perhaps surprising that in spite of the fact that the algebras are rather complicated and non-linear, the structure of their truncations follows very simple gluing rules.

Recently, string theory on $\text{AdS}_3 \times \text{S}^3 \times \mathbb{T}^4$ with one unit of NS-NS flux ($k=1$) was argued to be exactly dual to the symmetric orbifold of $ \mathbb{T}^4$, and in particular, the full (unprotected) spectrum was matched between the two descriptions. This duality was later extended to the case with higher NS-NS background flux for which the long string sector was argued to be described by the symmetric product orbifold of $(\mathcal{N}=4$ $\text{Liouville}) \times \mathbb{T}^4$. In this paper we study correlation functions for the bosonic analogue of this duality, relating bosonic string theory on $\text{AdS}_3 \times X$ to the symmetric orbifold of $\text{Liouville} \times X$. More specifically, we show that the low-lying null vectors of Liouville theory correspond to BRST exact states from the worldsheet perspective, and we demonstrate that they give rise to the expected BPZ differential equations for the dual CFT correlators. Since the structure constants of Liouville theory are uniquely fixed by these constraints, this shows that the seed theory of the dual CFT contains indeed the Liouville factor., Comment: 19 + 8 pages

String theory on ${\rm AdS}_3 \times {\rm S}^3 \times {\rm S}^3 \times {\rm S}^1$ with pure NS-NS flux and minimal flux through one of the two ${\rm S}^3$'s is studied from a world-sheet perspective. It is shown that the spacetime spectrum, as well as the algebra of spectrum generating operators, matches precisely that of the symmetric orbifold of ${\rm S}^3\times \mathrm{S}^1$ in the large $N$ limit. This gives strong support for the proposal that these two descriptions are exactly dual to one another., Comment: 25+23 pages

For string theory on AdS$_3$ with pure NS-NS flux a complete set of DDF operators is constructed, from which one can read off the symmetry algebra of the spacetime CFT. Together with an analysis of the spacetime spectrum, this allows us to show that the CFT dual of superstring theory on ${\rm AdS}_3 \times {\rm S}^3 \times \mathbb{T}^4$ for generic NS-NS flux is the symmetric orbifold of $({\cal N}=4$ Liouville theory$)\times \mathbb{T}^4$. For the case of minimal flux ($k=1$), the Liouville factor disappears, and we just obtain the symmetric orbifold of $\mathbb{T}^4$, thereby giving further support to a previous claim. We also show that a similar analysis can be done for bosonic string theory on ${\rm AdS}_3 \times X$., Comment: 33+10 pages

Superstring theory on ${\rm AdS}_3\times {\rm S}^3\times \mathbb{T}^4$ with the smallest amount of NS-NS flux (`$k=1$') is shown to be dual to the spacetime CFT given by the large $N$ limit of the free symmetric product orbifold $\mathrm{Sym}^N(\mathbb{T}^4)$. To define the worldsheet theory at $k=1$, we employ the hybrid formalism in which the ${\rm AdS}_3\times {\rm S}^3$ part is described by the $\mathfrak{psu}(1,1|2)_1$ WZW model (which is well defined). Unlike the case for $k\geq2$, it turns out that the string spectrum at $k=1$ does {\it not} exhibit the long string continuum, and perfectly matches with the large $N$ limit of the symmetric product. We also demonstrate that the fusion rules of the symmetric orbifold are reproduced from the worldsheet perspective. Our proposal therefore affords a tractable worldsheet description of a tensionless limit in string theory, for which the dual CFT is also explicitly known., Comment: 29+24 pages

We revisit two related phenomena in $\mathrm{AdS}_3$ string theory backgrounds. At pure NS-NS flux, the spectrum contains a continuum of long strings which can escape to the boundary of $\mathrm{AdS}_3$ at a finite cost of energy. Related to this are certain gaps in the BPS spectrum one computes from the RNS worldsheet description. One expects that both these effects disappear when perturbing slightly away from the pure NS-NS flux background. We employ the hybrid formalism for mixed flux backgrounds to demonstrate directly from the worldsheet that this is indeed the case., Comment: 28 pages, 2 figures

We study string theory on $\mathrm{AdS}_3$ backgrounds with mixed flux using the hybrid formalism of Berkovits, Vafa and Witten. We solve the worldsheet description of the theory completely in the plane-wave limit. This constitutes a direct derivation of the plane-wave spectrum from the worldsheet with mixed flux., Comment: 32 pages; v2: version accepted by JHEP

We consider string theory on AdS$_3$ $\times$ (S$^3$ $\times$ S$^3$ $\times$ S$^1)/\mathbb Z_2$, a background supporting $\mathcal N=(3,3)$ spacetime supersymmetry. We propose that string theory on this background is dual to the symmetric product orbifold of $\mathcal S_0/\mathbb Z_2$ where $\mathcal S_0$ is a theory of four free fermions and one free boson. We show that the BPS spectra of the two sides of the duality match precisely. Furthermore, we compute the elliptic genus of the dual CFT and that of the supergravity limit of string theory and demonstrate that they match, hence providing non-trivial support for the holographic proposal., Comment: 27pp+appendices

A new family of higher spin algebras that arises upon restricting matrix extensions of $\mathfrak{shs}[\lambda]$ is found. We identify coset CFTs realising these symmetry algebras, and thus propose new higher spin-CFT dual pairs. These higher spin theories arise naturally as a subsector of string theory on ${\rm AdS}_3\times {\rm S}^3 \times {\rm S}^3 \times {\rm S}^1$ for specific ratios of the radii of the two spheres., Comment: 22 pages

We analyse the conditions for $\mathrm{AdS}_3 \times \mathcal{M}_7$ backgrounds with pure NS-NS flux to be supersymmetric. We find that a necessary condition is that $\mathcal{M}_7$ is a $\mathrm{U}(1)$-fibration over a balanced manifold. We subsequently classify all $\mathcal{N}=(2,2)$ solutions where $\mathcal{M}_7$ satisfies the stronger condition of being a $\mathrm{U}(1)$-fibration over a Kahler manifold. We compute the BPS spectrum of all the backgrounds in this classification. We assign a natural dual CFT to the backgrounds and confirm that the BPS spectra agree, thus providing evidence in favour of the proposal., Comment: 39 pages; v2: minor corrections and references added; v3: section 2 shortened, final version as published in JHEP

We propose a class of ${\rm AdS}_3/{\rm CFT}_2$ dualities with $\mathcal{N}=(2,2)$ supersymmetry. These dualities relate string theory on ${\rm AdS}_3 \times ({\rm S}^3\times \mathbb{T}^4)/{\rm G}$ to marginal deformations of the symmetric product orbifold of $\mathbb{T}^4/{\rm G}$, where ${\rm G}$ is a dihedral group. We demonstrate that the BPS spectrum calculated from supergravity and string theory agrees with that of the dual CFT. Moreover, the supergravity elliptic genus is shown to reproduce the CFT answer, thus providing further non-trivial evidence in favour of the proposal., Comment: 38 pages; v3: published version; v4: typos fixed

The CFT dual of string theory on $\mathrm{AdS}_3 \times \mathrm{S}^3 \times \mathrm{S}^3 \times \mathrm{S}^1$ is conjectured to be the symmetric orbifold of the $\mathcal{S}_\kappa$ theory, provided that one of the two $Q_5^\pm$ quantum numbers is a multiple of the other. We determine the BPS spectrum of the symmetric orbifold in detail, and show that it reproduces precisely the BPS spectrum that was recently calculated in supergravity. We also determine the BPS spectrum of the world-sheet theory that is formulated in terms of WZW models, and show that, apart from some gaps (which are reminiscent of those that appear in the corresponding $\mathbb{T}^4$ calculation), it also reproduces this BPS spectrum. In fact, the matching seems to work as well as for the familiar $\mathbb{T}^4$ case, and thus our results give strong support for this proposal., Comment: 41 pages, 2 figures

The BPS spectrum of string theory on AdS$_3\times {\rm S}^3 \times {\rm S}^3 \times {\rm S}^1$ is determined using a world-sheet description in terms of WZW models. It is found that the theory only has BPS states with $j^+ = j^-$ where $j^{\pm}$ refer to the spins of the $\mathfrak{su}(2)$ algebras of the large ${\cal N}=4$ superconformal algebra. We then re-examine the BPS spectrum of the corresponding supergravity and find that, in contradistinction to previous claims in the literature, also in supergravity only the states with $j^+=j^-$ are BPS. This resolves a number of long-standing puzzles regarding the BPS spectrum of string theory and supergravity in this background., Comment: 36 pages; ancillary file included, v2: changed statement about spectrally flowed sectors, minor typos corrected