String Theory on Ads3 and the Symmetric Orbifold of Liouville Theory

Home , Bosonic string theory, Orbifold, Supergroup (physics), Virasoro algebra

Prepared for submission to JHEP

String theory on AdS3 and the symmetric orbifold of Liouville theory

Lorenz Eberhardt and Matthias R. Gaberdiel Institut f¨urTheoretische Physik, ETH Zurich, CH-8093 Z¨urich,Switzerland E-mail: [email protected], [email protected]

Abstract: For string theory on AdS3 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 3 4 us to show that the CFT dual of superstring theory on AdS3 × S × T for generic NS-NS flux is the symmetric orbifold of (N = 4 Liouville theory) × T4. For the case of minimal flux (k = 1), the Liouville factor disappears, and we just obtain the symmetric orbifold of T4, thereby giving further support to a previous claim. We also show that a similar analysis can be done for bosonic string theory on AdS3 × X. arXiv:1903.00421v1 [hep-th] 1 Mar 2019 Contents

1 Introduction1

2 Bosonic strings on AdS3 3 2.1 The sl(2, R)k WZW model and its free ﬁeld realisation3 2.2 Vertex operators4 2.3 The DDF operators5 2.4 The identity operator8 2.5 The moding of the spacetime algebra8 2.6 Identifying Liouville theory on the world-sheet 11 2.7 Discrete representations 13

3 4 3 A review of superstrings on AdS3 × S × T 15 3.1 The RNS formalism 15 3.2 The hybrid formalism 17 3.3 Supergroup generators 18

4 The psu(1, 1|2)k WZW model 19 4.1 Wakimoto representation of sl(2, R)k+2 and vertex operators 19 4.2 The short representation 20 4.3 Spectral ﬂow 21

5 The spacetime symmetry algebra 21 5.1 Spacetime operators in the RNS-formalism 22 5.2 The spacetime operators in the hybrid formalism 24 5.3 The complete spacetime algebra 26 5.4 The action of the spacetime algebra on physical states 26

6 The symmetric product orbifold 27 6.1 The T4 algebra 27 6.2 N = 4 Liouville theory 28 6.3 Identifying Liouville theory on the world-sheet 29 6.4 Spectrum generating algebra 31 6.5 The case of k = 1 31

7 Discussion 32

A Higher spin ﬁelds in spacetime 33 A.1 Internal Virasoro algebra 33 A.2 Higher spin ﬁelds 34

– i – B Various commutation relations 35 3 4 B.1 The RNS formalism of strings on AdS3 × S × T 35 B.2 The psu(1, 1|2)k WZW-model 36 B.3 The N = 4 Liouville ﬁelds 36

C Free ﬁeld systems 37 C.1 bc system 37 C.2 βγ system 37 C.3 Free bosons 38

1 Introduction

Holography on AdS3 backgrounds has provided us with a useful tool to test ideas about the AdS/CFT correspondence in a much more controlled setting than in the higher dimensional cases [1]. On the one hand, string theory on AdS3 backgrounds is dual to two-dimensional CFTs, which are often exactly solvable. On the other hand, string theory on AdS3 backgrounds admits an exact solution in terms of a worldsheet description employing WZW models [2–4]. This worldsheet description corresponds to a pure NS-NS flux background. It has often been asserted in the literature that the pure NS-NS background is ‘singular’, in the sense that it features a continuum in the spectrum [5–7]. This continuum is associated to strings which can reach the boundary of AdS3 at a finite cost of energy – the so-called long strings. Hence, the dual CFT necessarily also possesses such a continuum of states, which renders the vacuum of the dual CFT non-normalisable. 3 4 It was shown in [8] that at least in the supersymmetric setting on AdS3 ×S ×T , something special happens if the NS-NS flux takes its smalles value (k = 1), in which case the strings become tensionless. In this case, the continuum vanishes completely from the spectrum due to various shortening conditions on the worldsheet. As a result the k = 1 background is dual to a bona fide CFT without a continuum. By matching the complete partition function and the fusions rules, strong evidence was given in [8] that this CFT is in fact the much-discussed symmetric orbifold of T4, see e.g. [9]. This yields an example of an AdS/CFT duality, in which both sides of the duality are exactly solvable. The purpose of this paper is twofold. First, we provide further evidence for the picture advocated in [8] by showing that not only the spectrum matches, but that we can also reproduce the algebraic structure of the dual CFT, in particular, the commutation relations of the spectrum generating fields. This goes a long way towards proving the duality in this case. The other main result is to show that a

– 1 – large part of the analysis of [8] can also be done for k > 1, and that this allows us to make a convincing conjecture for the CFT dual in the more general case: for 3 4 superstring theory on AdS3 × S × T with k units of NS-NS ﬂux, we propose that the dual CFT is the symmetric orbifold,

N h i 4 Sym N = 4 Liouville with c = 6(k − 1) ⊕ T , (1.1) in the large N limit, see also [10–14] for related work. The main idea behind elucidating the algebraic structure of the dual CFT is to construct a complete set of ‘DDF operators’ [15] on the world-sheet. These operators commute with the physical state conditions and hence act on the space of physical states. In the context of AdS3, the construction of these DDF operators was already pioneered some time ago [16], see also [17–19] for subsequent developments. We complete and extend this analysis, and then use it to show that the symmetry algebra of the spacetime CFT is indeed the chiral algebra of the above symmetric orbifold.

The worldsheet WZW model describing AdS3 is based on the affine algebra sl(2, R)k, and the full spectrum of the theory consists of a certain family of discrete and continuous representations of sl(2, R), together with their spectrally flowed images. The states from the w spectrally flowed sector correspond to strings which wind asymptotically w times around the boundary of AdS3. The key observation of our analysis is to note that the moding of the DDF operators depends critically on the spectral flow sector they act on. For example, while the central charge of the spacetime Virasoro algebra àla Brown-Henneaux [20] apparently equals c = 6kw in the w’th flowed sector [16], the modes of the spacetime Virasoro algebra are actually 1 Z 1 allowed to take values in w in this sector. This is very reminiscent of the w-cycle twisted sector of a symmetric orbifold, and we show that this interpretation is indeed correct. Furthermore, we show that a similar argument applies to all the other DDF operators (not just the spacetime Virasoro generators).

We will ﬁrst exemplify the construction for bosonic string theory on AdS3, where many technical complications are absent. We will show that the spectrum generating algebra of the spacetime CFT for the background AdS3 × X is that of the symmetric orbifold of the Virasoro algebra times the chiral algebra of the (arbitrary) internal CFT X. We also determine the representations of this algebra that actually appear in the spacetime spectrum, and this leads to the conclusion that the spacetime CFT is the large N limit of

6(k − 3)2 SymN Liouville with c = 1 + × X , (1.2) k − 2

1This is the case for the continuous representations on the world-sheet; for the discrete representations the situation is more complex, see Section 2.7 and below.

– 2 – i.e. the symmetric orbifold of Liouville theory times the internal CFT. Here, the continuum of Liouville theory arises precisely from the continuum of long string excitations in the bulk.

While this proposal nicely encompasses all the long strings in AdS3, it does not account for the short string solutions (that arise from the discrete representations on the world-sheet). These describe non-normalizable states of the dual CFT and therefore do not explicitly appear in the CFT spectrum (in the same way as the vacuum does not appear in Liouville theory), see also [4] for a related discussion. 3 4 We also analyse in detail the supersymmetric background AdS3 × S × T , in which case the analogous conclusion to (1.2) is (1.1). We pay particular attention to the case of k = 1, for which the Liouville part becomes trivial, thus explaining the absence of the long string continuum from this viewpoint. Furthermore for k = 1, there are no discrete representations on the worldsheet [8], and hence the analysis is complete.

The paper is organised as follows. In Section2 we develop the theory in the technically simpler setting of bosonic string theory on AdS3 × X. We explain how to deﬁne the DDF operators and discuss their interpretation in detail. We also comment on the role of the discrete representations (short strings) in Section 2.7. We then move on to the supersymmetric setting in Section3. It will be convenient to work at least partially in the hybrid formalism [21], as it makes spacetime supersymmetry manifest and can be used to deﬁne the k = 1 worldsheet theory. We explain carefully how the degrees of freedom of the NS-R formalism can be rewritten in terms of hybrid

fields, and how this gives rise to the psu(1, 1|2)k WZW model that is discussed in detail in Section4. With these preparations at hand, we define the DDF operators in Section5 and compute their algebra. Finally, we identify the dual CFT of eq. (1.1) in Section6. We end with a discussion of our findings in Section7. AppendixA contains some details about the definition of the DDF algebra for general world-sheet CFTs, whereas AppendicesB andC mainly fix our conventions.

2 Bosonic strings on AdS3

As a warm-up to the technically more complex situation with supersymmetry, let us begin by analysing bosonic string theory on

AdS3 × X. (2.1)

2.1 The sl(2, R)k WZW model and its free ﬁeld realisation

The AdS3 part of the background can be described by an sl(2, R)k WZW-model, and criticality of the background then imposes 3k + c = 26 . (2.2) k − 2 X

– 3 – In order to describe the vertex operators of the background, it is useful to employ the Wakimoto representation of sl(2, R)k. Let us introduce a pair of bosonic ghosts with λ = 1 (see AppendixC for our conventions) 1 β(z)γ(w) ∼ − , (2.3) z − w as well as a free boson 1 ∂Φ(z)∂Φ(w) ∼ − . (2.4) (z − w)2

q 1 The free boson has background charge Q = k−2 so that the total central charge equals 6 3k c = 2 + 1 + = = csl(2, R) . (2.5) k − 2 k − 2 k We then have the Wakimoto representation

J + = β , (2.6a) q 3 k−2 J = 2 ∂Φ + (βγ) , (2.6b) J − = p2(k − 2)(∂Φγ) + (βγγ) − k∂γ . (2.6c)

We should mention that treating Φ as a free field is only adequate near the boundary of AdS3, see [16] for a discussion. More generally, it should be understood as a Liouville field. However, since we are mainly interested in constructing the boundary CFT, the above description will be sufficient for our purposes.

2.2 Vertex operators The spectrum of the WZW model consists of affine highest weight representations of sl(2, R)k (whose ground states we label by |j, mi), together with their spectrally flowed images. In the above free field realisation of sl(2, R)k, the affine highest weight state |j, mi is described by I √ −j−m j 2 Φ |j, mi = dz γ e k−2 (z) |0i . (2.7)

Indeed, this state is annihilated by the positive modes of (2.6a)–(2.6c), and it transforms under the zero mode algebra sl(2, R) in a representation with Casimir C = −j(j − 1)

– 4 – 1 R Alternatively, j can also take the value j = 2 + ip where p ∈ , in which case the Casimir is still real. In this case, m ∈ Z + λ for an arbitrary λ ∈ R/Z and 1 1 the representation does not truncate (except for p = 2 and λ = 2 ). These are the R j continuous representations of sl(2, ), which we shall denote by Cλ. In the following we shall be treating both cases simultaneously. 1 We should mention that the continuous representations with j = 2 + ip correspond to the usual representations of the Liouville ﬁeld Φ, whereas the discrete representations with j real describe non-normalisable representations. Indeed, the conformal dimension of the highest weight state |j, mi is

j(j − 1) 1 h|j, mi = − = −α(α − Q) ,Q = √ , (2.9) k − 2 k − 2

α 1 Q where we have written j = Q , so that j = 2 + ip translates into α = 2 + ipˆ with pˆ = Qp. This will be a common theme throughout this paper, namely that the continuous representations on the world-sheet behave much better than the discrete (non-normalisable) representations. Finally, we should mention that the representations with j and 1 − j are in fact identiﬁed thanks to the reﬂection formula of Liouville theory [22].

2.2.1 Spectral ﬂow We will also need the behaviour of the Wakimoto representation under the spectral

ﬂow automorphism σ of sl(2, R)k, which transforms the ﬁelds according to

σw(J ±)(z) = J ±(z)z∓w , (2.10a) w 3 3 kw σ (J )(z) = J (z) + 2z . (2.10b)

This forces the ﬁelds of the Wakimoto representation to transform as

σw(β)(z) = β(z)z−w , (2.11a) σw(γ)(z) = γ(z)zw , (2.11b) q w k−2 w σ (∂Φ)(z) = ∂Φ(z) + 2 z . (2.11c)

Applying spectral ﬂow to the aﬃne highest weight state (2.7) thus leads to I √ −mw −j−m j 2 Φ |j, m, wi = dz z γ e k−2 (z)|0i . (2.12)

2.3 The DDF operators The next step of our analysis consists of constructing the DDF operators [15], i.e. the spectrum generating operators of the spacetime CFT from the world-sheet.

– 5 – 2.3.1 The Virasoro algebra The most generic spacetime generators are the Virasoro generators that can be constructed following [16]. They can be formulated purely in terms of the sl(2, R)k worldsheet currents; this reﬂects that the conformal symmetry of the spacetime CFT arises from the AdS3 factor. To this end we make the ansatz I m 3 m+1 + m−1 − Lm = dz α3(m)γ J + α+(m)γ J + α−(m)γ J (z) , (2.13) where we have introduced the curly L symbol in order to distinguish the spacetime Virasoro algebra from the world-sheet Virasoro generators. Here the exponents of γ are chosen such that the sl(2, R)-charges are homogeneous. In order for Lm to be a DDF operator, it has to satisfy the following requirements:

(i) It has to commute with the physical state conditions, i.e. the string theory BRST operator. In the context of bosonic string theory this requirement is equivalent to the condition that the integrand is a primary ﬁeld of conformal dimension 1. A direct computation shows that this requires

mα3(m) + (m + 1)α+(m) + (m − 1)α−(m) = 0 . (2.14)

(ii) It must not be BRST trivial, i.e. the integrand must not be a Virasoro descen- dant. The BRST trivial combination of the integrand is

m 3 1 m+1 + 1 m−1 − k m−1 γ J − 2 γ J − 2 γ J = 2 γ ∂γ , (2.15)

which is a total derivative unless m = 0 (in which case this will only shift the

zero mode L0 by the spacetime identity (2.19), see the discussion in Section 2.4). Thus we are free to redeﬁne the DDF operator by adding a multiple of (2.15).

(iii) Finally, we may require that the three global (M¨obius)generators correspond to the global sl(2, R) charges, I I I 3 + − L0 = dz J (z) , L−1 = dz J (z) , L1 = dz J (z) . (2.16)

These requirements admit the following (symmetrical) solution [16]

I m(m − 1) m(m + 1) L = dz (1 − m2)γmJ 3 + γm+1J + + γm−1J − (z) . (2.17) m 2 2

By construction, these operators then map physical states onto physical states. One can directly compute their algebra as

k 2 [Lm, Ln] = (m − n) Lm+n + 2 I m(m − 1) δm+n,0 , (2.18)

– 6 – where I I = dz γ−1∂γ(z) . (2.19)

We will discuss the meaning of I below. For now, we remark that I commutes with all Virasoro generators Lm and is hence a central element of the algebra. One way to see this is to note that I I I I ! −1 [Lm, I] = dz dw − dz dw γ ∂γ (w) (2.20)

|z|>|w| |z|<|w| m(m − 1) m(m + 1) (1 − m2)γmJ 3 + γm+1J + γm−1J − (z) 2 2 I I γm(w) m(γm−1∂γ)(w) = dw dz − 2 − (2.21) 0 w (z − w) z − w I = −m dw γm−1∂γ(w) (2.22) 0 I = − dw ∂γm(w) = 0 . (2.23) 0 where the OPE in (2.21) follows directly by inserting the Wakimoto representation (2.6a)–(2.6c) and using the free ﬁeld OPEs (2.3) and (2.4).

2.3.2 Kac-Moody algebras In the superconformal situation to be discussed below, the internal manifold X will contain an S3 factor, which can be described by an su(2) WZW model. Whenever the world-sheet theory contains a WZW factor, we have an aﬃne Kac-Moody algebra gkG on the world-sheet whose generators we denote by

a b ab ab c [Km,Kn] = kG mδ δm+n,0 + if c Km+n , (2.24)

ab where f c are the structure constants of the Lie algebra g corresponding to the group G. We may then construct DDF operators realising the corresponding symmetry in spacetime via [16] I a m a Km = dz γ K (z) . (2.25) These operators are BRST invariant and lead to a Kac-Moody algebra in spacetime with commutation relations

a b ab ab c [Km, Kn] = kG I mδ δm+n,0 + if c Km+n . (2.26)

Here I is again deﬁned by (2.19).

– 7 – 2.3.3 Higher Spins One may expect that a similar construction should also work for the other chiral world-sheet fields arising from X. In particular, we should be able to construct DDF operators associated to the (internal) Virasoro algebra associated to X, as well as for any higher spin generator of the chiral algebra associated to X. (This just reflects the fact that any world-sheet symmetry encoded by the presence of a chiral field should lead to a corresponding spacetime symmetry.) These expectations are indeed borne out, and the relevant constructions are described in AppendixA; since this does not seem to have been discussed in the literature before, we give a fairly detailed account of it there.

2.4 The identity operator For the following it will be important to understand the structure of the central extension I of eq. (2.19). As we have seen above, I commutes with the Virasoro generators (and therefore also with all the other DDF operators), and hence acts as a constant in a given representation of the spacetime algebra. Since its definition only involves γ, its value can only depend on the given sl(2, R)k representation. To determine the relevant constants, we recall that the highest weight states of the sl(2, R) WZW model can be described by |j, mi, see eq. (2.7), in the unflowed sector. Since |j, mi does not contain β (and γ has regular OPE with itself as well as with ∂Φ), it follows directly that I has trivial action in the unflowed sector

I |j, mi = 0 . (2.27)

On the other hand, upon spectral ﬂow I σw(I) = dz γ−1z−w∂(γzw)(z) = I + w 1 . (2.28)

Thus, we conclude that I acts as w times the identity in the w-th spectrally ﬂowed sector [16].

2.5 The moding of the spacetime algebra Next we want to analyse the structure of the algebra of DDF operators, in particular, that of the central terms. For this it will be important to analyse carefully the conditions under which the action of these DDF operators is well-defined. Let us first consider the unflowed sector. Because of (2.27) together with the explicit formula for (2.19), it follows that log(γ)(z) can be consistently defined without branch cut by2 Z z log(γ)(z) ≡ dw γ−1∂γ(w) . (2.29) 1 2Strictly speaking, this argument only shows that log(γ)(z) can be defined without branch cut in a neighborhood of 0. However, this is all what is needed in the following.

– 8 – Thus we conclude that γm(z) = exp(m log(γ)(z)) (2.30) is a single-valued field for any (real) number m ∈ R. We should mention that all these expressions are well-defined; as γ(z) has a regular OPE with itself, there is no normal-ordering ambiguity. Next we consider the w-th spectrally flowed sector. Because of (2.11b), the m-th power of γ becomes σw(γ)m(z) = z−mwγm(z) . (2.31) 1 Z m This therefore defines a single-valued field provided that m ∈ w . Since it is γ that appears in the definition of the various DDF operators, see eqs. (2.17), (2.25), as well as (A.6), we conclude that we may take the mode numbers of the DDF operators to be fractional, with the fractional part being determined by the spectral flow,3

1 Z w-th spectrally ﬂowed sector: n ∈ w . (2.32)

We should stress that these fractionally moded operators map in general diﬀerent sl(2, R) representations into one another. In particular, an oscillator Zn with mode 3 number n carries charge −n under J0 , and hence Zn acts on the continuous representations as j j Zn : Cλ → Cλ−n . (2.33) Thus for n 6∈ Z, the two representations are inequivalent, but since both are part of the world-sheet spectrum, these operators are still well-deﬁned. Note that for the diagonal world-sheet spectrum (that is appropriate for the description of AdS3), the left- and right-moving values of λ agree; this turns out to incorporate the orbifold projection in the w-cycle twisted sector, see [8, 23, 24] and the comments below in Section 5.4. We should also mention that on the discrete representations we necessarily need n ∈ Z (since otherwise the image lies in a representation that is not part of the world- sheet spectrum). In the following we shall therefore only consider the continuous world-sheet representations; we will comment on the role of the discrete world-sheet representations in Section 2.7.

2.5.1 Untwisting As we have just seen, the spacetime generators are naturally fractionally moded when acting in the w-th spectrally ﬂowed continuous representations, see eq. (2.32). This suggests that these worldsheet representations give rise to the w-cycle twisted sector of a symmetric product orbifold from the viewpoint of the spacetime CFT, see also

3In the unﬂowed sector we may take n ∈ R. We should remind the reader that the only physical states (except for the tachyon) that arise from the unﬂowed sector come from discrete representations.

– 9 – [8, 23, 24]. In order to read oﬀ the structure of the underlying seed theory we can ‘untwist’ these generators. Let us explain this for the case of the (overall) Virasoro generators. We propose to deﬁne the untwisted generators Lbm via 1 k (w2 − 1) L m = Lbm + δm,0 , (2.34) w w 4w where m now takes values in Z. While the central term for the original Ln modes depends on w (because I = w 1), the above correction term ensures that the Lbm satisfy a Virasoro algebra with c = 6k, independently of w. Indeed, it follows from

(2.18) that [Lbm, Lb−m] equals

2 k 2 mm [Lbm, Lb−m] = 2mw L0 + w − 1 w (2.35) 2 w w2 k h 2 2 2 i = 2m Lb0 + m (w − 1) + (m − w ) (2.36) 2 2 k = 2m Lb0 + m (m − 1) . (2.37) 2 The relation between the two sets of modes in eq. (2.34) has exactly the same form as for the case of a symmetric orbifold, where the Ln modes act on the covering space, while the Lbm generators are those of the seed theory, see e.g. [25–27]. The analysis for the other DDF operators is similar. For example, for the current algebra (2.26), the untwisted generators are deﬁned via

a a K m = Kb , (2.38) w m leading to an affine Kac-Moody algebra of level kG for the seed theory. This formula generalises directly also to the higher spin DDF operators of AppendixA: for a primary field of spin s, the untwisted generators are defined via

(s) 1−s (s) W m = w Wcm , (2.39) w and these untwisted generators then have exactly the same commutation relations as in the original world-sheet chiral algebra. Note that (2.38) and (2.39) are simply the transformation rules of a primary field of conformal weight s under the map z 7→ zw, which relates the modes defined on the covering space to those of the base space. The correction term in (2.34) then reflects the fact that the stress-energy tensor is only quasiprimary, and that its transformation rule therefore also involves the Schwarzian derivative.

2.5.2 The seed theory The above considerations suggest that the w = 1 sector corresponds to the untwisted sector of a symmetric product orbifold in spacetime. As a consequence, the DDF operators in the w = 1 sector describe the chiral algebra of the seed theory of the

– 10 – symmetric product. The construction we have discussed so far shows that this chiral algebra contains the chiral algebra of X, together with the overall Virasoro tensor of central charge c = 6k, under which the primary fields of X transform also as primary fields. In order to elucidate the structure of this algebra, it is convenient to decouple the X factor by defining the (coset) Virasoro tensor

L m Lm = Lm − Lm , (2.40) where we have subtracted the ‘matter’ Virasoro algebra Lm associated to X, see L AppendixA for its explicit construction from the worldsheet. The modes of Lm commute by construction with all modes of X and lead to a Virosoro algebra of central charge [5]

3k 6(k − 3)2 cL = 6k − c = 6k − 26 − = 1 + . (2.41) X k − 2 k − 2

Here, we have used that the string background is critical, see eq. (2.2). Thus, the spacetime algebra is a Virasoro algebra of central charge cL together with the (decoupled) chiral algebra of the internal CFT. We note that the Virasoro algebra can be represented by a Liouville ﬁeld with k − 3 Q0 = √ . (2.42) k − 2 This will play an important role in the following.

2.6 Identifying Liouville theory on the world-sheet The previous discussion now suggests that the seed theory of the spacetime symmetric orbifold is given by

6(k − 3)2 Liouville with cL = 1 + × X. (2.43) k − 2

Since we have already shown that the spacetime theory has the corresponding symmetry generators, it remains to match the spectrum of the two theories. Recall that bosonic Liouville theory is believed to be uniquely characterised by having Virasoro symmetry, together with the full spectrum of primary ﬁelds [28, 29]. To match the spectrum, we look at the string theory mass shell condition, which reads in the bosonic case −j(j − 1) k − wh + w2 + h + N = 1 , (2.44) k − 2 4 int where h is the conformal weight of the state in the dual CFT, N the excitation number on the worldsheet and hint the conformal weight of the state in the internal

– 11 – CFT. For w > 0, we can immediately solve for h,4 which gives α(α − Q) kw2 − 4 h + N h = − + + int , (2.45) w 4w w where we have rewritten the conformal dimension of the sl(2, R)k part using eq. (2.9). Next we observe that the ﬁrst two terms can be rewritten as α(α − Q) kw2 − 4 1 Q2 Q2 kw2 − 4 − + = − α − + + (2.46) w 4w w 2 4w 4w 1 Q2 Q02 k = − α − + + (w2 − 1) (2.47) w 2 4w 4w α0(α0 − Q0) c ≡ − + (w2 − 1) , (2.48) w 24w where we have used that (2.9) and (2.42) imply that

Q2 = Q02 − (k − 4) , (2.49) and identiﬁed Q0 Q α0 − = ± α − . (2.50) 2 2 Moreover, we have used the fact that the seed theory has central charge c = 6k. Thus the spacetime theory has exactly the spectrum of the symmetric orbifold of (2.43), c 2 where the last term 24w (w − 1) is the ground state conformal weight in the w-cycle twisted sector. Furthermore, because of (2.50), the continuous representations on the world-sheet (that correspond precisely to the usual representation of the Liouville ﬁeld Φ, see the discussion below eq. (2.9)), map one-to-one to the usual Liouville representations of the spacetime Q0 theory. We have therefore shown that the continuous representations on the world-sheet lead precisely to the symmetric orbifold (in the large N limit) 6(k − 3)2 SymN Liouville with cL = 1 + × X (2.51) k − 2 in spacetime. Let us mention that for k = 3, the Liouville part has cL = 1,5 and in particular there is no gap in the spectrum. This ties in with the observation made in [35],

4 3 This step only works in this manner for the continuous world-sheet representations since the J0 eigenvalues (modulo one) are not already determined by j, but are parametrised by the independent parameter λ. 5There are actually two theories with this spectrum for cL = 1, one being Liouville theory and the other being the Runkel-Watts theory [30, 31], see [32–34]. From what we have shown, it is not entirely clear what the correct theory should be. However, Liouville theory exists for any real k, whereas non-analytic Liouville theory (of which the Runkel-Watts theory is a particular case) only exists for b2 ∈ Q, where c = 1 + 6(b + b−1)2. Since we expect a continuous behaviour in k, it is natural that the correct theory should always be Liouville theory, also at cL = 1.

– 12 – that there are massless higher spin ﬁelds appearing for this special amount of ﬂux. Contrary to what happens in the supersymmetric setting [8], this does, however, not mean that the long string continuum disappears. We should mention that the continuum for k = 3 is somewhat reminiscent of the light states spectrum of higher spin theories, see e.g. [36].

2.7 Discrete representations We end this bosonic analysis with a brief discussion of the role of the discrete world- sheet representations. As we have seen above, the continuous world-sheet representations lead precisely to the spacetime spectrum of the symmetric orbifold (2.51), which defines a well-defined spacetime CFT by itself. One may therefore wonder what role the states from the world-sheet discrete representations should play? It follows from the analysis in Section 2.6 that the discrete representations can give rise to physical states that lie below the Liouville gap, see in particular eq. (2.50). However, the analysis of the discrete representations is somewhat complicated since 3 the J0 eigenvalue, modulo integers, equals the spin j, and hence one cannot just solve the mass-shell condition as in eq. (2.45). As a consequence, the existence of a physical state also depends on the precise value of hint (and N). Furthermore, the 1 k−1 Maldacena-Ooguri bound [2] constrains j to lie in the interval ( 2 , 2 ). We have analysed systematically which spacetime states arise from the discrete representations (as a function of hint +N), and the picture that emerges is the following,6 see Fig.1: the discrete representations with spectral flow w lead to spacetime states that either lie inside the continuum — this is the case for the vast majority of these states — or are a number of isolated states just below the Liouville gap. (For large k, the distance to the Liouville gap scales as k.) These isolated states in turn lie above a line that interpolates between the gaps coming from the w’th and w + 1’st twisted sector of the symmetric orbifold. The fact that these states lie below the symmetrically orbifolded Liouville gap will be important below in the susy setting, since the discrete representations account for the BPS states of the spactime theory (which are not part of the symmetric orbifold of N = 4 Liouville theory). However, apart from these special cases, the resulting spacetime states do not seem to correspond to special Liouville representations — in fact, given that they depend sensitively on the value of hint + N, this cannot be otherwise. As explained in [4], the discrete representations on the world-sheet lead to non- normalisable operators in the spacetime CFT that are not really part of the spacetime CFT. In particular, not all of their correlation functions are well-defined; for example, in the unflowed sector the condition for the n-point correlator to be well-defined (and

6This also ties in with the ﬁndings of [37].

– 13 – 30

0 10 20 30 40

Figure 1. The spacetime conformal weight in dependence of the internal conformal weight hint + N. For deﬁniteness, we have chosen k = 20. Dashed lines indicate the bottom of the continuum in the respective sector. We have plotted the discrete representation as solid lines. There are several lines which correspond to the choice of state in a particular sl(2, R) representation. make physical sense) is that X ji < k + n − 3 , (2.52) i see footnote 19 of [4]. As we have seen above, see eq. (2.50), the dictionary to the α spacetime CFT implies that the discrete representation with spin j = Q , corresponds to a ﬁeld in the spacetime Liouville theory with

0 Q0 1 α − 2 = j − 2 Q. (2.53) Thus the above bound (2.52) becomes

X 0 Q0 X 1 ∼ 0 (αi − 2 ) = Pi < k + 2 (n − 6))Q = Q , (2.54) i i

0 where Pi are the so-called Liouville momenta, and we have used that (k − 3)Q = Q . In the semiclassical limit, k and hence Q0 are large, and this condition therefore becomes X 0 0 0 −1 ∼ 0 Pi < Q = b + (b ) = b , (2.55) i

– 14 – where b0 is the parameter that appears in the exponential of the Liouville potential. This has now a natural interpretation, namely that the Liouville potential needs to dominate over the excitations of the ﬁelds in the correlator. This therefore realises the idea of the quantum mechanical toy model in Section 3.2 of [4], and thus nicely ties in with their ﬁndings.

3 4 3 A review of superstrings on AdS3 × S × T

In the following sections we shall repeat the above analysis for the supersymmetric 3 4 setting. We shall concentrate on the case of superstring theory on AdS3 × S × T . There are two formalisms for describing the background, the RNS formalism [2] and the hybrid formalism [21]. The RNS formalism is technically simpler, since it involves only bosonic WZW models and free fermions on the worldsheet. On the other hand, the hybrid formalism makes spacetime supersymmetry manifest. Moreover as demonstrated in [8], it is well-defined for all values of NS-NS background flux k, in particular for k = 1. In the following, we shall actually use a mixture of both 4 3 formalisms, treating the fields of T in the RNS-formalism, and the fields of AdS3 ×S in the hybrid formalism.

3.1 The RNS formalism In the RNS formalism, the worldsheet theory takes the form [2, 16]

R (1) (1) (1)4 sl(2, )k ⊕ su(2)k ⊕ u(1) , (3.1)

R (1) (1) 3 where sl(2, )k describes the AdS3 factor, su(2)k the S factor and the ﬂat torus directions are represented by four u(1) currents. The superscript (1) indicates that these are the corresponding N = 1 superconformal current algebras. We can decouple the free fermions from the aﬃne generators and hence get

R (1) ∼ R sl(2, )k = sl(2, )k+2 ⊕ 3 free fermions , (3.2) (1) ∼ su(2)k = su(2)k−2 ⊕ 3 free fermions . (3.3)

a We shall denote the decoupled sl(2, R)k+2 currents by J , the decoupled su(2)k−2 currents by Ka, and the free bosons of T4 by ∂Xα and ∂X¯ α. Here, a = ±, 3 is an adjoint index of sl(2, R) or su(2), respectively, while α = ±. Note that we have paired the four bosons of T4 into two complex bosons. The index α = ± will turn out to be a spinor index of the outer automorphism group of small N = 4 supersymmetry. Moreover, we have ten fermions on the worldsheet transforming in the adjoint representation of the bosonic groups. We denote the sl(2, R) fermions by ψa, and the su(2) fermions by χa, where again a = ±, 3. Finally, we pair the four fermions of T4 together into two complex fermions, which we denote by λα and λ¯α. λα is the

– 15 – N = 1 superpartner of the bosons ∂Xα on the worldsheet, and similarly for λ¯α and ∂X¯ α. The α-index is again a spinor index of the outer automorphism su(2) of the small N = 4 spacetime supersymmetry. We will see below that the fermions λα and λ¯α give rise to four fermions in spacetime which transform as doublets under the N = 4 R-symmetry. The (anti)commutation relation of the modes of these ﬁelds are summarised in AppendixB. As before we want to quantise this theory via BRST quantisation. For this, we need the N = 1 superconformal structure on the worldsheet, which is explicitly given by 1 T (z) = − J3J3 + 1 J+J− + J−J+ + ψ3∂ψ3 − 1 ψ+∂ψ− + ψ−∂ψ+ k 2 2 1 + K3K3 + 1 K+K− + K−K+ − χ3∂χ3 − 1 χ+∂χ− + χ−∂χ+ k 2 2 1 + (∂Xα∂X¯ β) + ∂λαλ¯β − λα∂λ¯β , (3.4) αβ 2 αβ 1 G(z) = − − J3ψ3 + 1 J+ψ− + J−ψ+ − 1 (ψ3ψ+ψ−) k 2 k 1 − K3χ3 + 1 K+χ− + K−χ+ + 1 (χ3χ+χ−) k 2 k 1 + ∂Xαλ¯β − ∂X¯ αλβ , (3.5) 2 αβ where here, as in the following, normal-ordering is always understood. Moreover, we introduce the standard ghosts of the superstring, i.e. a bc system with λ = 2, and a 3 7 βγ system with λ = 2 , satisfying (see AppendixC for our conventions) 1 1 b(z)c(w) ∼ , βˆ(z)ˆγ(w) ∼ − . (3.6) z − w z − w These ﬁelds also generate an N = 1 superconformal structure with

3 ˆ 1 ˆ Tgh(z) = −2b(∂c) − (∂b)c − 2 β(∂γˆ) − 2 (∂β)ˆγ , (3.7) ˆ 3 ˆ 1 Ggh(z) = (∂β)c + 2 β(∂c) − 2 bγˆ . (3.8)

The standard BRST operator of the superstring is then given by I 1 1 Q = dz c T + 2 Tgh +γ ˆ G + 2 Ggh . (3.9)

We split Q into three pieces according to their βˆγˆ ghost number [38]

Q = Q0 + Q1 + Q2 , (3.10)

7In order to distinguish the superconformal ghosts from the βγ system that appears in the Wakimoto realisation of sl(2, R), we denote them with a hat.

– 16 – where I I 3 ˆ Q0 = dz c T + Tgh + b(∂c)c + 4 ∂ γˆβc = dz c T + Tgh + b(∂c)c , (3.11) I Q1 = dz γGˆ , (3.12) I 1 Q2 = − 4 dz bγˆγˆ . (3.13)

ˆ Q0 is the BRST operator of the bosonic string, for which the βγˆ ghosts are treated as additional matter ﬁelds. BRST invariance under Q2 is usually trivially (at least in the canonical picture), and the important piece of the BRST charge is Q1. In the following, we will always use the bosonised form of the superconformal ghosts, i.e. we introduce free bosons with background charge Qφ = 2 and Qχ = −1 and OPEs

φ(z)φ(w) ∼ − log(z − w) , χ(z)χ(w) ∼ log(z − w) , (3.14) and write

βˆ = e−φeχ∂χ , γˆ = e−χeφ . (3.15)

The φ-boson then has c = 13, while the χ-boson yields c = −2, see AppendixC for our conventions. (This then reproduces the central charge c = 11 of the βˆγˆ system.) We also deﬁne the (ξ, η) pair via

ξ = eχ , η = e−χ , (3.16) where h(ξ) = 0 and h(η) = 1. Finally, the picture raising operation on vertex operators is deﬁned by Z = −2[Q, ξ · ].

3.2 The hybrid formalism In order to rewrite these degrees of freedom in terms of the hybrid formalism, we now bosonise the ten fermions, i.e. we introduce bosons via 1 1 2 ∂H = (ψ+ψ−) , ∂H = (χ+χ−) , ∂H = (ψ3χ3) , (3.17a) 1 k 2 k 3 k +¯− −¯+ ∂H4 = (λ λ ) , ∂H5 = −(λ λ ) . (3.17b)

These bosons satisfy the standard OPEs (with vanishing background charge QH = 0)

Hi(z)Hj(w) ∼ δij log(z − w) , (3.18) and we can express the fermions in terms of them as √ √ √ ψ± = ke±H1 , χ± = ke±H2 ψ3 ∓ χ3 = ke±H3 , (3.19a) λ+ = eH4 , λ− = e−H5 , λ¯+ = eH5 , λ¯− = e−H4 . (3.19b)

– 17 – Here and in the following we will suppress cocycle factors. The ﬁnal step consists of refermionising these bosons, i.e. by considering the fermionic generators that can be constructed out of these bosons as

αβ α H + β H + αβ H + 1 H + 1 H − 1 φ p = e 2 1 2 2 2 3 2 4 2 5 2 , (3.20a) αβ α H + β H − αβ H − 1 H − 1 H + 1 φ θ = e 2 1 2 2 2 3 2 4 2 5 2 , (3.20b) Ψ+ = eH4−φ+χ , (3.20c) Ψ− = e−H5−φ+χ , (3.20d) Ψ¯ + = eH5+φ−χ , (3.20e) Ψ¯ − = e−H4+φ−χ . (3.20f)

These fields constitute again a collection of fermionic first-order systems αγβδ pαβ(z)θγδ(w) ∼ , (3.21) z − w αβ Ψα(z)Ψ¯ β(w) ∼ , (3.22) z − w where pαβ and Ψα have conformal dimension equal to one, while θαβ and Ψ¯ α have conformal dimension equal to zero. In fact the four fields pαβ describe four of the eight spacetime supercharges in the canonical ghost picture, so the hybrid formalism makes half of spacetime supersymmetry manifest. We will see in the next subsection that the other four supercharges are also (almost) manifest. The fermionic first-order systems (3.21) and (3.22) describes six bc pairs each with λ = 1, thus giving rise altogether to c = −12. On the other hand, we started with ten fermions (giving c = 5), as well as the βˆγˆ superconformal ghosts with c = 11. Thus we are missing central charge c = 28, which is accounted for by the boson

ρ = 2φ − H4 − H5 − χ , (3.23) which has background charge Q = 3 in the conventions of AppendixC, and will serve as a bosonised ghost in the hybrid formalism. Thus we have rewritten the fermionic degrees of freedom of the NS-R formalism in terms of the fermionic ﬁrst-order system (3.21) and (3.22), as well as the boson (3.23).

3.3 Supergroup generators The final step consists of assembling the (unchanged) bosonic fields Ja, Ka together with the fermions pαβ and θαβ into the current algebra for the superalgebra psu(1, 1|2)k; in fact, this is just the Wakimoto representation for this superalgebra. More specifically, we define

(f)a 1 a αβ µν J = 2 ca(σ )αµβν(p θ ) , (3.24a) (f)a 1 a αβ µν K = 2 αµ(σ )βν(p θ ) , (3.24b)

– 18 – which generate the sl(2, R)−2 ⊕ su(2)2 algebra. The full psu(1, 1|2)k-generators are then given as

J a = Ja + J (f)a , (3.25a) Ka = Ka + K(f)a , (3.25b) Sαβ+ = pαβ , (3.25c) αβ− αβ α a 1 (f)a γβ β a 1 (f)a αγ S = k∂θ + ca(σa) γ J + 2 J θ − (σa) γ K + 2 K θ . (3.25d)

One checks by a direct calculation, see also [21, 39, 40], that these generators then satisfy the relations of psu(1, 1|2)k that are spelled out in Appendix B.2. Moreover, we have used the conventions of (B.4c) for the sigma-matrices. Thus we conclude that the worldsheet theory in the hybrid formalism is generated by 4 psu(1, 1|2)k ⊕ topologically twisted T ⊕ ghosts . (3.26) Here the topologically twisted T4 is described by the bosons ∂Xα, ∂X¯ α, together with the (topologically twisted) fermions Ψα and Ψ¯ α, while the ghosts consist of the bosonic (b, c) ghosts together with the ρ ghost. In order for this to make sense one must also be able to rewrite the BRST operator (as well as the (ξ, η) pair) in terms of these redeﬁned ﬁelds, and this is indeed possible, see [21] for details.

As shown in [8], the WZW model psu(1, 1|2)1 can be consistently deﬁned and hence the hybrid formalism provides a good deﬁnition of the k = 1 worldsheet theory. This is one of the main motivations for us to use it here.

4 The psu(1, 1|2)k WZW model

In the next step we discuss the psu(1, 1|2)k WZW-model and its vertex operators. Details about the OPEs are collected in AppendixB.

4.1 Wakimoto representation of sl(2, R)k+2 and vertex operators We recall from Section 2.2 that I √ −j−m j 2 Φ |j, mi = dz γ e k (z)|0i (4.1)

8 deﬁnes an aﬃne highest weight state of an sl(2, R)k+2 representation. These states can also be viewed as part of a psu(1, 1|2) multiplet. Since in the Wakimoto representation Sαβ+ = pαβ, these states are annihilated by all supercharge zero modes of

8 Note that the decoupled sl(2, R)k+2 algebra is now at level k + 2, and hence k is shifted by +2 relative to the formulae of Section2.

– 19 – that form. In order to match the conventions of [8], we now shift j by one half, and deﬁne I √ −j−m+ 1 (j− 1 ) 2 Φ 2 2 k Z 1 |j, m, 0, ↑i = dz γ e (z)|0i , m ∈ + λ + 2 . (4.2)

Here the penultimate entry in the ket indicates the transformation properties under the R-symmetry su(2)R, while the last entry describes the representation with respect to the outer automorphism. Thus these states transform in the representation 1 j− 2 (C 1 , 1) with respect to sl(2, R) ⊕ su(2)R, but are the highest weight states of a λ+ 2 non-trivial representation of the outer automorphism. We can now ﬁnd the other vertex operators of the psu(1, 1|2) multiplet by ap- αβ− αβ− plying the supercharges S0 . First we consider the four states S0 |j, m, 0, ↑i. Diagonalising the sl(2, R) ⊕ su(2)R action leads to the linear combinations

The states in the ﬁrst line are the spin up component (with respect to su(2)R) of j the representation (Cλ, 2), whereas the states in the second line are the spin up j−1 component of (Cλ , 2). In the explicit Wakimoto representation, we thus have √ I 1 2 3 ++ −j−m+1 −+ −j−m (j− 2 ) k Φ |j, m, ↑, 0i = j − 2 dz θ γ + θ γ e (z)|0i , (4.4a) I 0 1 ++ −j−m+1 |j, m, ↑, 0i = j − 2 dz j − m − 1 θ γ √ −+ −j−m (j− 1 ) 2 Φ − j + m − 1 θ γ e 2 k (z)|0i . (4.4b)

We can similarly construct the vertex operators for the other descendants.

4.2 The short representation

1 As an aside we should mention that the above multiplet shortens for j = 2 , which 9 1 was one of the key insights in [8]. Indeed, (4.4b) becomes null for j = 2 . In this special case, the psu(1, 1|2) representation is particularly simple and the complete

9 3 For j = 2 , the multiplet also shortens, since (4.4a) becomes null. However, the two representa- 0 ∼ 1 tions are actually isomorphic since (C 1 , 1) = (C 1 , 1). λ+ 2 λ+ 2

We should stress that this shortening happens regardless of the value of k. While this multiplet is usually not part of the string theory spectrum as conjectured in [2], at k = 1 it is the only consistent multiplet [8]. This follows from the fact that any long multiplet contains a spin ≥ 1 representation of R-symmetry su(2)k, which is not allowed at level k = 1.

4.3 Spectral ﬂow We will also need the behaviour of the Wakimoto representation under the spectral

flow σ of psu(1, 1|2)k (which acts both on sl(2, R)k and su(2)k). The generating fields transform under spectral flow as

w αβ 1 w(β−α) αβ σ (p )(z) = z 2 p (z) , (4.6a) w αβ − 1 w(β−α) αβ σ (θ )(z) = z 2 θ (z) , (4.6b) σw(β)(z) = β(z)z−w , (4.6c) σw(γ)(z) = γ(z)zw , (4.6d) q w k w σ (∂Φ)(z) = ∂Φ(z) + 2 z , (4.6e) σw(K±)(z) = K±(z)z±w , (4.6f) w 3 3 kw σ (K )(z) = K (z) + 2z . (4.6g)

5 The spacetime symmetry algebra

In this Section we define the boundary symmetry generators (i.e. the DDF operators) 3 4 for the background AdS3 × S × T following [16, 41–43]. We will first show how to construct the operators that realise an extended spacetime N = 4 algebra. In the following it will be convenient to treat the torus excitations (that are 3 independent of k) in the RNS formalism, while the AdS3 × S part will be analysed in the hybrid formalism. This then also remains well-defined at k = 1 (where only 3 the AdS3 × S part becomes ill-defined in the RNS formalism).

– 21 – 5.1 Spacetime operators in the RNS-formalism We begin by constructing the spacetime operators for the torus directions in the RNS-formalism. Since these are independent of k, there is no need to invoke the hybrid formalism for them. In any case, we can always rewrite them in terms of the hybrid variables if we want to.

5.1.1 Free bosons The spacetime operators for the free bosons of the torus are given in the canonical (−1) picture as I I (−1)α α −φ m ¯(−1)α ¯α −φ m ∂Xm = dz λ e γ , ∂Xm = dz λ e γ . (5.1)

One readily shows that these operators are BRST invariant under the BRST charge (3.10). Indeed, since the integrand has conformal weight h = 1, it is invariant under the bosonic piece Q0 (3.11). On the other hand, both Q1 and Q2 have regular OPEs with the integrand. For the following it will also be convenient to evaluate these operators in the (0) picture, where they become I (0)α α m ∂Xm = −2 dz G−1/2(λ γ )(z) (5.2) I m = dz ∂Xαγm − λα2ψ3γm − ψ+γm+1 − ψ−γm−1 (z) , (5.3) k and similarly for the barred bosons. These generators satisfy then the commutation relations10

(0)α ¯(0)β αβ (0) [∂Xm , ∂Xn ] = −n Im+n , (5.4) where we have deﬁned I (0) m−1 Im ≡ dz (γ ∂γ)(z) . (5.5)

(0) For m 6= 0, the integrand is a total derivative and vanishes, and thus Im = I δm,0, where I is the ‘identity’ operator that was already introduced in the bosonic analysis, see eq. (2.19). Thus we arrive at

(0)α ¯(0)β αβ [∂Xm , ∂Xm ] = mδm+n I . (5.6)

Of course, this relation now holds in any picture. Similarly, one checks that

(0)α (0)β ¯(0)α ¯(0)β [∂Xm , ∂Xm ] = 0 , [∂Xm , ∂Xm ] = 0 . (5.7) 10This is most easily evaluated by taking one of the generators in the (−1) picture and the other in the (0) picture, and then changing the picture, but one can also work this out directly with both of them in the (0) picture.

– 22 – 5.1.2 Free fermions Next we come to the fermionic operators. The free fermions are best constructed in 1 11 the canonical (− 2 ) picture, where the relevant vertex operators are given as

(− 1 )α 1 I 1 α α 1 1 φ 1 2 − H1+ H2− H3+ H4− H5− r+ Λr = k 4 dz e 2 2 2 2 2 2 γ 2

− 1 H + α H + α H + 1 H − 1 H − φ r− 1 + e 2 1 2 2 2 3 2 4 2 5 2 γ 2 , (5.8) and similarly for the complex conjugates

(− 1 )α 1 I 1 α α 1 1 φ 1 2 − H1+ H2− H3− H4+ H5− r+ Λ¯ r = k 4 dz e 2 2 2 2 2 2 γ 2

− 1 H + α H + α H − 1 H + 1 H − φ r− 1 + e 2 1 2 2 2 3 2 4 2 5 2 γ 2 . (5.9)

Here α will be an R-symmetry index, and we have suppressed the cocycle factors that are necessary for locality. These vertex operators (anti)commute again trivially with Q0 and Q2. To demonstrate invariance with respect to Q1, one has to show that G(z) has no (z − w)−3/2 singularity with the integrand. There are two potential contributions to this singularity, one arising from the cubic fermion terms in (3.5), and one from the contraction of the sl(2, R) part in the ﬁrst line of (3.5) with the γ’s in the integrand of (5.8) or (5.9). As it turns out the two contributions cancel precisely, thus proving that these operators are indeed BRST invariant. Furthermore, since the exponents of the Hi involve an even number of (−)-signs, the operators also respect the GSO projection. The anticommutators of these fermionic operators can be computed directly, and one ﬁnds

1 1 (− 2 )α (− 2 )β {Λr , Λs } = 0 , (5.10) 1 1 (− 2 )α (− 2 )β {Λ¯ r , Λ¯ s } = 0 , (5.11) αβ (− 1 )α (− 1 )β I {Λ 2 , Λ¯ 2 } = dz e−φ ψ+γr+s+1 − 2ψ3γr+s + ψ−γr+s−1 (z) (5.12) r s k αβ (−1) = Ir+s , (5.13) where we have used picture changing in the last step.12 Thus, the fermions behave as free ﬁelds in spacetime.

11Since they describe spacetime fermions they come from the R-sector on the world-sheet; their structure can then be read oﬀ from (3.17a) and (3.17b). 12Strictly speaking, since we have not kept track of the cocycle factors, our calculation only shows that the last anti-commutator is given by the right-hand-side up to a sign (which could in principle also depend on α = −β). However, given that α and β are spinor indices with respect to the outer su(2) symmetry, the dependence must be proportional to αβ.

– 23 – 5.2 The spacetime operators in the hybrid formalism Next we want to construct the spacetime N = 4 algebra whose supercharges will transform these boson and fermion ﬁelds into one another. Since the superconformal 3 symmetry arises from the AdS3 × S part of the background, we should now switch to the hybrid formalism.

5.2.1 The Virasoro algebra Let us begin with the spacetime Virasoro algebra that was already (in the zero picture) given in Section 2.3, see eq. (2.17) I (0) 2 3 n n(n−1) + n+1 n(n+1) − n−1 Ln = dz 1 − n )J γ + 2 J γ + 2 J γ (z) . (5.14)

Incidentally, this formula is the same in the NSR and the hybrid formalism — the calculations of [16] were done in the RNS formalism — since the sl(2, R)k currents J a are the same in both descriptions.13 A direct computation similar to the bosonic case shows that k [L(0), L(0)] = (m − n)L(0) + m(m2 − 1) I(0) , (5.15) m n m+n 2 m+n

(0) where Im = I δm,0 is again given by (5.5). One also checks that the spacetime free 1 ﬁelds from the torus transform as primary ﬁelds of conformal weight 1 and 2 (for the bosons and fermions, respectively) with respect to this Virasoro algebra; this is the analogue of (A.8).

5.2.2 The supercharges 1 Next we want to ﬁnd the DDF operators for the supercharges. In the (− 2 ) picture they are given as

(− 1 )αβ 1 I 1 α α β β φ 1 2 4 1 2 H1+ 2 H2+ 2 H3+ 2 H4+ 2 H5− 2 r+ 2 Gr = k dz r − 2 e γ

1 α α β β φ 1 1 − 2 H1+ 2 H2− 2 H3+ 2 H4+ 2 H5− 2 r− 2 + r + 2 e γ (z) . (5.16)

We have written this formula in terms of the RNS ﬁelds since then the expressions are 1 (− 2 )α+ simpler (and more symmetrical). Note that for the G∓β/2 generators, the integrand is equal to pβα, see (3.20a), and hence these generators also have a simple description α− in the hybrid formalism; the G∓β/2 generators are more easily described in terms of 1 the hybrid ﬁelds in the (+ 2 ) picture, see below. 13These generators describe spacetime symmetries, and hence should agree. One can also check this explicitly by inserting (3.20a) and (3.20b) into (3.25a).

– 24 – One can again check that these operators commute with the BRST charge and preserve the GSO-projection. Furthermore, they indeed transform the bosonic and fermionic spacetime operators into one another, i.e.

1 1 (− 2 )αβ (− 2 )γ αγ (−1)β {Gr , Λs } = ∂Xr+s , (5.17) 1 1 (− 2 )αβ (0)γ βγ (− 2 )α [Gr , ∂Xm ] = m Λm+r , (5.18) and similarly for the barred free ﬁelds. In order to conﬁrm that the supercharges generate the N = 4 superconformal α+ 1 algebra, it is convenient to take the supercharges Gr in the (− 2 ) picture, and the 1 α− 1 (− 2 )α− supercharges Gr in the (+ 2 ) picture. Applying picture changing on G 1 gives ± 2 rise to (3.25d) with two extra terms,14

(+ 1 )α− I 1 G 2 = ±S˜∓α− ≡ ±S∓α− ± dz p∓αeρ(∂X¯ −Ψ+ −∂X−Ψ¯ +)+ p∓αbeρ , (5.19) ± 1 0 0 2 2 where we have now written the generators in terms of the hybrid ﬁelds. We should mention that the two extra terms will not modify the psu(1, 1|2)k algebra itself, but couple it to the free bosons and fermions of T4. The expression for general mode number r can be obtained by taking the commutator with the Virasoro generators, and one ﬁnds

(+ 1 )α− I 1 1 2 1 ˜−α− r− 2 1 ˜+α− r+ 2 Gr = dz r + 2 S γ + r − 2 S γ

1 1 1 2 1 3 −α r− 2 3 +α r+ 2 + −α r+ 2 + r − 4 2J θ γ + 2J θ γ − J θ γ − −α r− 3 + +α r+ 3 − +α r− 1 − J θ γ 2 − J θ γ 2 − J θ γ 2 , (5.20) i.e. there are further correction terms, see the contributions from the second and third line. Incidentally, this expression can also be obtained directly by applying 1 picture changing to the expressions for the supercharges in the (− 2 ) picture. 5.2.3 The spacetime su(2)-currents With these expressions at hand we can now calculate the anti-commutators of the supercharges, and thereby read oﬀ the form of the spacetime aﬃne su(2) algebra generators, I (0)a a m m a +α+ +β m+1 −α+ −β m−1 Km = dz K γ − 2 (σ )αβ S θ γ + S θ γ + S+α+θ−βγm + S−α+θ+βγm . (5.21)

This agrees with what one obtains from [16] upon rewriting the RNS ﬁelds in terms of the hybrid ﬁelds.

14Thus the Wakimoto representation (3.25d) essentially implements picture changing.

– 25 – 5.3 The complete spacetime algebra It remains to check that the generators (5.14), (5.16), (5.19) and (5.21) satisfy the (anti-)commutation relations of the small N = 4 algebra,

k 2 [Lm, Ln] = 2 I m(m − 1)δm+n,0 + (m − n)Lm+n , (5.22a) αβ 1 αβ [Lm, Gr ] = 2 m − r Gm+r , (5.22b) a a [Lm, Kn] = −nKm+n , (5.22c) 3 3 k [Km, Kn] = 2 I mδm+n,0 , (5.22d) 3 ± ± [Km, Kn ] = ±Km+n , (5.22e) + − 3 [Km, Kn ] = k I mδm+n,0 + 2Km+n , (5.22f) a αβ 1 a α γβ [Km, Gr ] = 2 (σ ) γGr+m , (5.22g) αβ γδ 2 1 αγ βδ αγ βδ βδ αγ a {Gr , Gs } = k r − 4 I δr+s,0 + Lr+s + (r − s) (σa) Kr+s , (5.22h) and this turns out to be the case. Furthermore, the free boson and fermion ﬁelds extend this algebra to the so-called extended small N = 4 algebra,

αβ γ αγ β {Gr , Λs } = (∂X )r+s , (5.23a) αβ γ βγ α [Gr , ∂Xm] = m Λr+m , (5.23b) αβ ¯ γ αγ ¯ β {Gr , Λs } = (∂X )r+s , (5.23c) αβ ¯γ βγ ¯ α [Gr , ∂Xm] = m Λr+m , (5.23d) α ¯β αβ [∂Xm, ∂Xn ] = m I δm+n,0 , (5.23e) α ¯ β αβ {Λr , Λs } = I δr+s,0 . (5.23f)

We have checked these relations in specific pictures, but they remain then also true in general (and we have therefore not written the picture numbers explicitly). We should also mention that the identity operator I commutes with the N = 4 generators and the free fields, and that the free fields transform as Virasoro primaries.

5.4 The action of the spacetime algebra on physical states As in the bosonic case discussed in Section 2.5 it remains to understand the values the various mode numbers can take. The argument that was given there continues to hold essentially unmodified — the γ field has the property that γm is single-valued for any m ∈ R, see eq. (2.30). Given the form of the spectral flow on γ, see eq. (4.6d), as well as the form of the various DDF operators, it follows that the mode numbers of bosonic DDF operators may be taken to lie in15

1 Z w-th spectrally ﬂowed sector: n ∈ w , (5.24) 15For w = 0 the modes can a priori take any real value.

– 26 – while the condition for the fermionic generators is instead

1 Z 1 w-th spectrally flowed sector: r ∈ w + 2 . (5.25) This is again reminiscent of the fractionally moded algebra in the symmetric orbifold [44], and indeed the untwisting that was done in the bosonic case, see Section 2.5.1, can be similarly performed. As in the bosonic case, the DDF operators map then j different continuous representations Cλ into one another, see eq. (2.33). While both j j Cλ and Cλ−n are part of the world-sheet spectrum, there is actually a non-trivial constraint in that in the ‘diagonal modular invariant’ we are considering, only the j j combinations Cλ ⊗ Cλ appear in the Hilbert space, i.e. the left- and right-moving λ always agree. This means that, in order to map physical states to physical states, we need to combine left- and right-moving DDF operators such that the total left- and right-moving mode numbers differ by an integer (for bosonic DDF operators). This condition reflects precisely the orbifold invariance condition of the spacetime CFT [8, 23, 24].

6 The symmetric product orbifold

As we have seen above, the spectrally flowed continuous world-sheet representations give rise to the different single-cycle twisted sectors of a symmetric orbifold. In the previous section we have identified some of the generators of the corresponding seed theory; in particular, we have shown that the seed theory contains the extended small N = 4 superconformal algebra with c = 6k, see eq. (5.22a). In this section we show that the dual spacetime CFT is the symmetric orbifold

N h i 4 Sym small N = 4 Liouville with c = 6(k − 1) ⊕ T . (6.1)

In particular, for k = 1, the Liouville part vanishes and we recover the symmetric orbifold of T4 [8], see Section 6.5 below.

6.1 The T4 algebra The ﬁrst step of our argument consists of separating out the torus degrees of freedom from the rest (which is the N = 4 analogue of (2.40)). In order to do so, we note that we can construct small N = 4 generators out of the free ﬁelds as

a 1 a α β (K 4 ) = (σ ) (Λ Λ¯ ) , (6.2a) T m 2 αβ m (Gαβ) = (Λα∂X¯β) − (Λ¯ α∂X β) , (6.2b) T4 r r r α ¯β 1 α ¯ β α ¯ β (LT4 )m = αβ(∂X ∂X )m + 2 αβ (∂Λ Λ )m − (Λ ∂Λ )m . (6.2c) These generators satisfy the small N = 4 algebra with c = 6. We can then decouple 4 the T part from the small N = 4 algebra by considering the diﬀerences Lm −(LT4 )m

– 27 – αβ a and similarly for Gr and Km. These diﬀerences satisfy again the small N = 4 algebra, but commute with the torus modes. This shows that the chiral algebra of the seed theory of the symmetric product orbifold is h i small N = 4 with c = 6(k − 1) ⊕ 4 free bosons and 4 free bosons . (6.3)

6.2 N = 4 Liouville theory Next we want to show that the first term should be thought of as N = 4 Liouville theory. Since N = 4 Liouville theory is not very well known, we briefly review its main features below. N = 4 Liouville theory can be constructed starting from an N = 1 supersymmetric WZW-model based on SU(2) × U(1) [5, 45–47], together with some background charge for the U(1) factor so that the total central charge is c = 6κ. (For the appli- cation we have in mind, we will later identify κ = k − 1.) We denote the generating fields by16 ψαβ , ∂φ and J a . (6.4) Here, ∂φ is the bosonic generator of the U(1) factor. The indices α and β are spinor indices while a is an adjoint index of su(2), and the currents J a generate the affine su(2) algebra at level κ − 1. Our conventions for their OPEs can be found in Appendix B.3. The chiral algebra has actually large N = 4 superconformal symmetry, but it also contains a small N = 4 algebra [45, 47], whose generators take the form 1 1 T = J 3J 3 + 1 J +J − + J −J + + ∂ψαβψγδ κ + 1 2 2 αγ βδ 1 iκ + ∂φ∂φ + ∂2φ , (6.5a) 2 p2(κ + 1)

αβ 1 αβ i α a 1 (f,+)a γβ G = √ (∂φψ ) + √ − (σa) J + J ψ 2 κ + 1 γ 3 1 β (f,−)a αγ αβ + 3 (σa) γJ ψ + κ∂ψ , (6.5b) Ka = J a + J (f,+)a , (6.5c) where the fermionic currents are 1 1 J (f,+)a = (σa) (ψαβψγδ) and J (f,−)a = (σa) (ψαβψγδ) . (6.6) 4 αγ βδ 4 αγ βδ The vertex operators of this theory can be described by

√ 1 (2p−iκ)φ 2(κ+1) e V` , (6.7)

16These fields should not be confused with the world-sheet fields we were describing earlier: from now on we shall only talk about the fields of the (seed theory) of the spacetime CFT. We use the same symbols as before since this is the usual convention for N = 4 Liouville theory.

– 28 – where p ∈ R, and V` denotes the su(2)κ−1 primary of spin `. It has conformal weight

2 ` + 1 + p2 κ − 1 h = 2 + . (6.8) κ + 1 4 In particular, the lowest conformal dimension of spin ` is therefore

2 ` + 1 κ − 1 ∆NS = 2 + , (6.9) ` κ + 1 4 above which there is a continuum of conformal weights. Here the su(2) spin ` takes 1 κ−1 values in {0, 2 ,..., 2 }, in agreement with the unitarity bound for the small N = 4 superconformal algebra [48]. The above discussion applies to the NS-sector. In the R-sector there is an additional contribution from the ground state energy of the four fermions, whose zero modes generate the su(2) representation 2 ⊕ 2 · 1. As a consequence, the value of the su(2) spin ` is shifted by one half, and the gap in the R-sector is

`2 + p2 κ − 1 1 ∆R = + + . (6.10) ` κ + 1 4 4

1 κ In the R-sector, the su(2) spin ` takes values in { 2 , 1,..., 2 }. N = 4 Liouville theory has then the same spectrum as the above free boson theory, except that the operators associated to p and −p should be identified. (This will reflect the fact that for the continuous representations of sl(2, R), the two cases 1 j = 2 ± ip define the same representation.) As a consequence, also the correlation functions of Liouville theory are more complicated than those calculated from the free boson theory.

6.3 Identifying Liouville theory on the world-sheet In the bosonic case, Liouville theory is believed to be uniquely characterised by having Virasoro symmetry, together with the full spectrum of Liouville fields [28, 29]. It is tempting to speculate that a similar statement should be true for N = 4 Liouville theory. Since we have already shown that the first factor has small N = 4 superconformal symmetry, it only remains to show that the world-sheet theory gives rise to the full spectrum of Liouville theory. Since the single-particle perturbative part of the spacetime theory only has a NS-sector, we need to show that the spacetime spectrum exhibits the gaps (6.9), together with a continuum above. Similarly, we need to show that the same is true for the twisted sectors of the symmetric orbifold (where for even twist w we also need the R-sector ground state energy (6.10), see [23].) This mirrors then precisely the analysis of Section 2.6 for the bosonic case. In order to establish this, we first note that the restriction of the su(2) spins 1 k−2 to ` ∈ {0, 2 ,..., 2 } is correctly implemented in the world-sheet theory, since the

– 29 – bosonic su(2) algebra (which we denoted by Ka above) is at level k−2. To determine the gap predicted by the world-sheet theory, we simply have to solve the mass-shell condition on the worldsheet for a continuous representation. In the w spectrally ﬂowed NS-sector, it takes the form [23]

1 + p2 kw2 `(` + 1) 1 4 − hw + + = , (6.11) k 4 k 2 where the first term comes from the Casimir of the sl(2, R)k+2 representation, the next two terms arise from the spectral flow and the last term is the su(2)k−2 ground state energy. (We are considering here the ground state with N = 0.) Finally, the right-hand side is the appropriate normal ordering constant in the NS-sector. Here, 3 h denotes the spectrally flowed J0 eigenvalue, which corresponds to the conformal weight in the dual CFT. From this, we solve

2 ` + 1 + p2 kw2 − 2 6k ∆NS p2 h = 2 + = (w2 − 1) + ` + , (6.12) wk 4w 24w w wk which matches precisely with (6.9), provided that κ = k − 1. The ground state with N = 0 is allowed to exist only for an odd unit of spectral ﬂow, because of the GSO projection.17 + For even spectral ﬂow, we have to apply one fermion, which we take to be χ−1/2, i.e. the positively charged su(2) fermion. The mass-shell condition then reads

1 + p2 kw2 `(` − 1) 1 1 4 − hw + + + = , (6.13) k 4 k 2 2

+ where ` is the actual su(2) spin of the state. (Since we have applied χ−1/2, it diﬀers by one unit from the spin of the ground state, which is therefore `0 = ` − 1.) Solving the mass-shell condition yields now

R 1 2 ∆ 2 `(` − 1) + + p kw 6k `− 1 p 1 h = 4 + = (w2 − 1) + 2 + + . (6.14) kw 4 24w w wk 4w This matches with the R-sector ground state energy of Liouville theory, using that the symmetric orbifold in even twist sectors behaves eﬀectively as in the R-sector, 1 see [9, 44]. Note that the additional contribution + 4w in (6.14) comes from the fact that also the additional T4 in (6.1) is now in the R-sector for which the ground 1 1 state energy is 4 . Furthermore, the su(2) spin ` is shifted by 2 with respect to pure Liouville theory, because of the additional zero modes of the torus theory T4. Thus, the representation content matches exactly.

17Here we have only spectrally ﬂow in the sl(2, R) sector; then the GSO projection depends on the cardinality of the sepctral ﬂow, see e.g. [37].

– 30 – 6.4 Spectrum generating algebra So far we have only shown that the w-spectrally flowed continuous representations give rise to a spacetime spectrum on which the w-cycle twisted sector operators of the generators in (6.1) act. Now we want to show that these twisted sector operators generate in fact the entire spectrum. We shall first consider the case k ≥ 2; the case k = 1 will be discussed separately in the following section. For k ≥ 2, the argument works essentially as in flat space. For k ≥ 2, we have 8 bosonic and fermionic DDF operators as follows. For the bosonic operators, 4 of them come from N = 4 Liouville theory (namely from the J a and ∂φ in (6.4)), while the other 4 are the 4 torus modes. For the fermions, we have 4 fermionic generators from N = 4 Liouville theory (namely the ψαβ in (6.4)), while the other 4 generators are the 4 torus fermions. These DDF operators can now be compared to the world-sheet description. The matching of the fermions is straightforward since they define free fields (and hence do not contain any null-vectors). As regards the bosons, we have before imposing the physical state conditions, 10 bosonic generators on the world-sheet: 3 from sl(2)k+2, 3 from su(2)k−2, and 4 from the torus. sl(2, R)k+2 does not have any null-vectors (for k ≥ 2), and hence the physical state condition removes two of the bosonic generators, leaving essentially one boson behind (that we may identify with ∂φ in

(6.4)). The su(2)k−2 generators of the world-sheet can be directly identiﬁed with the su(2)κ−1 generators of (6.4) — in particular, their characters agree precisely, including null-vectors — while the remaining 4 bosons are torus bosons in both descriptions. The fact that our DDF operators generate the entire spectrum then follows by the usual character argument. This is to say, we can easily calculate the character of the physical spectrum from the world-sheet, and it manifestly agrees with the corresponding character of the DDF operators. This works separately for each w, and for each ground-state representation. Thus the DDF operators we have constructed generate the full spacetime spectrum.

6.5 The case of k = 1 The case k = 1 is very special. In particular, the Liouville part of the seed theory (6.3) now has c = 0, and we would expect that it disappears entirely from the spectrum. In fact, this is precisely in agreement with what was shown in [8], where we determined the world-sheet characters at k = 1, and demonstrated that they are generated by 4 free bosons and fermions. Thus we should only expect to have 4 + 4 DDF operators, and these are precisely the ones associated to T4 (that will always exist). Furthermore, at k = 1 the continuous representations account for the complete worldsheet theory, since there are no discrete representations on the worldsheet in this case [8].

– 31 – We should emphasise that relative to [8], where ‘only’ the spectrum was matched, we have now established that the algebraic structure of the spacetime theory is indeed that of the symmetric orbifold of T4: we have shown that the spacetime CFT contains the spectrum generating operators of the symmetric orbifold with the correct commutation relations. This essentially amounts to proving that the spacetime theory is indeed the symmetric orbifold of T4.

7 Discussion

In this paper, we have considered string theory on AdS3 with pure NS-NS ﬂux. By considering a complete set of DDF operators, we have shown that the spacetime theory is given by a symmetric orbifold of Liouville theory together with the internal

CFT. We have established this for bosonic string theory on AdS3 × X, as well as for 3 4 superstrings on AdS3 × S × T ; in the latter case, the dual CFT is the symmetric orbifold of the product of N = 4 Liouville theory with the T4 theory. We have moreover seen that the k = 1 limit considered in [8] comes about naturally, since in this case the N = 4 Liouville part (together with its long string continuum) disappears.

This gives a fairly complete picture of holography on AdS3 with pure NS-NS flux. The background is indeed ‘singular’, but this does not hinder the existence of a well-defined dual CFT. In the general case, the proposed dual CFTs contain also a continuum of states, and in particular the vacuum is non-normalisable. As we have seen, the entire spacetime spectrum is accounted for by the continuous representations on the world-sheet. We have argued in Section 2.7 that the discrete representations on the world-sheet give rise to non-normalisable operators in the dual CFT that are not directly part of the CFT spectrum, see also [4]. While our discussion in the bosonic case was general, we focused on the specific 3 4 example of AdS3 × S × T in the supersymmetric case. This is because the fermions couple the AdS3 factor to the rest of the background, and one cannot easily treat the general case uniformly. For instance, in the case of K3, the spacetime theory has also small N = 4 supersymmetry and at least at the orbifold point of K3, one easily sees that the general answer for the dual CFT will be h i SymN N = 4 Liouville with c = 6(k − 1) ⊕ K3 . (7.1)

In particular, for k = 1, one simply recovers the symmetric orbifold of K3 [49]. 3 3 1 Another interesting background is given by AdS3 × S × S × S [50–53]. We will show in [54] that the spacetime CFT turns out to be

6k+k− SymN large N = 4 Liouville with c = , (7.2) k+ + k−

– 32 – which collapses to the symmetric orbifold of S3 × S1 if one of the ﬂuxes through the spheres attains its minimal value k+ = 1 or k− = 1. Similarly, the dual CFTs of the orbifold backgrounds [55–59] should simply be given by the orbifolds of the respective (extended) Liouville theories. It is interesting to note that the seed theories of the dual CFTs we have given are essentially the Drinfel’d Sokolov (quantum Hamiltonian) reductions of the respective worldsheet theories, in close analogy to the higher spin setting [60]. Indeed, it is well- known that the quantum Hamiltonian reduction of sl(2, R)k yields Liouville theory with central charge [61] 6 6(k − 1)2 c = 13 − 6(−k + 2) − = 1 + , (7.3) −k + 2 k − 2 which diﬀers by 24 from (2.41). This is related to the fact that in bosonic string theory, the ghosts contribute central charge c = −26, whereas in the quantum Hamil- tonian reduction, they only contribute c = −2. Thus, while our construction is certainly related to quantum Hamiltonian reduction, it is not exactly clear what the precise relation should be.

Acknowledgements

We thank Rajesh Gopakumar for many useful discussions. We also thank Andrea Dei, Sylvain Ribault and Thilo Schmid for useful conversations. LE is supported by the Swiss National Science Foundation, and the work of the group is more generally supported by the NCCR SwissMAP which is also funded by the Swiss National Science Foundation.

A Higher spin ﬁelds in spacetime

In this Appendix we explain how to construct DDF operators associated to the higher spin generators on the world-sheet. Since this construction does not seem to have been discussed in the literature before, we will be fairly explicit.

A.1 Internal Virasoro algebra Let us begin by constructing the DDF operators associated to the (internal) Virasoro algebra arising from X, whose Virasoro tensor we denote by T m(z). We define the corresponding spacetime Virasoro generators via I cm I 3 Lm ≡ dz (∂γ)−1γm+1T m(z) + dz γm+1 (∂2γ)2(∂γ)−3 − ∂3γ(∂γ)−2 . m 12 2 (A.1) This definition is a bit formal, but as we shall see it makes sense. In particular, since ∂γ is a primary field on the worldsheet, the first term in the definition is a

– 33 – quasi-primary ﬁeld on the worldsheet. The second term corrects for the fact that T m is only quasi-primary and makes the expression primary. It is essentially the Schwarzian derivative of the transformation z 7→ γ(z). There are no normal-ordering ambiguities in the deﬁnition (A.1), since γ(z) has regular OPE with itself (as well as with all its derivatives). We can calculate the algebra of modes via I I m m −1 −1 m+1 n+1 [Lm, Ln ] = dw dz (∂γ(z)) (∂γ(w)) γ(z) γ(w) 0 w cm/2 2 T m(w) ∂T m(w) × + + (A.2) (z − w)4 (z − w)2 z − w I cm = dw ∂3γm+1(∂γ)−1γn+1(∂γ)−1 + 2∂γm+1(∂γ)−1γn+1(∂γ)−1T m 0 12 + γm+n+2(∂γ)−2∂T m (A.3)

I cm = dw ∂3γm+1(∂γ)−1γn+1(∂γ)−1 + (m − n)γm+n+1(∂γ)−1T m 0 12 (A.4) m I m c 2 m+n−1 = (m − n)Lm+n + m(m − 1) dw γ ∂γ 12 0 cm I 3 + dw ∂ γm+n+2 (∂2γ)2(∂γ)−4 − ∂3γ(∂γ)−3 . (A.5) 12 0 2 The last term vanishes upon integration. In the second term, the same integral which deﬁned the identity, see eq. (2.19), appears. Thus we obtain indeed a Virasoro algebra. When identifying I = w1, we see that the central charge equals cmw, but the generators are again fractionally moded as in the discussion of Section 2.5.

A.2 Higher spin fields It should now be clear how to generalise the discussion to an arbitrary chiral field on the world-sheet. Given a primary field W (s)(z) of spin s on the worldsheet, we define its spacetime analogue as I (s) 1−s m+s−1 (s) Wm ≡ dz (∂γ) γ W (z) . (A.6)

Note that this expresses basically the coordinate transformation z 7→ γ(z) of the field W (s)(z), except that the coordinate transformation itself is described by a dynamical (s) field. The commutation relations of Wm can be computed as follows. First, we note that we can organise the OPE of W (s)(z) with another primary V (t)(w) in terms of Virasoro representations, i.e. that we can restrict ourselves to the primary fields appearing in the OPE. Thus, I (s) (t) X 1−u m+u−1 (u) [Wm , Vn ] = dz cu(m, n)(∂γ) γ U (z) + descendants , (A.7) u≥0

– 34 – where cu(m, n) are at this stage arbitrary coefficients, and we have summed over all primary fields of spin u appearing in the OPE on the right hand side. The fields U (u)(z) have to appear in this combination with γ, since this is the only combination which is primary and of conformal weight one on the worldsheet. Moreover, the exponent of γ is fixed by noting that γ carries charge −1 under the sl(2, R) on the worldsheet and hence the number of γ’s has to be conserved in the expression.

In order to determine the cu(m, n), we note that they do not depend on γ, and (s) hence we can compute them by setting γ(z) = z. Then Wm agrees with the modes (s) Wm of the worldsheet field, and thus the coefficients are exactly the same as those that appear in the commutation relations of the algebra on the worldsheet. We have therefore shown that the commutation relations of the spacetime algebra are identical to the commutation relations of the modes of the respective fields on the worldsheet. The argument we have presented and the definition (A.6) holds in particular also for the identity field, in which case it reduces to the definition of I, see eq. (2.19). Thus, the central terms of the commutation relations are replaced by I, which can be identified with the spectral flow parameter w, as discussed in the main text, see Section 2.6. One can also check that these generators transform indeed as primary fields of spin s in spacetime,

(s) (s) [Lm, Wn ] = m(s − 1) − n Wm+n , (A.8) where Lm is the spacetime Virasoro algebra (2.17).

B Various commutation relations

3 4 B.1 The RNS formalism of strings on AdS3 × S × T

The bosonic part of the worldsheet algebra is sl(2, R)k+2 ⊕ su(2)k−2, together with four free bosons. They have commutation relations

3 3 k+2 [Jm, Jn] = − 2 mδm+n,0 , (B.1a) 3 ± ± [Jm, Jn ] = ±Jm+n , (B.1b) + − 3 [Jm, Jn ] = (k − 2)mδm+n,0 − 2Jm+n,0 , (B.1c) 3 3 k−2 [Km, Kn] = 2 mδm+n,0 , (B.1d) 3 ± ± [Km, Kn ] = ±Km+n , (B.1e) + − 3 [Km, Kn ] = (k + 2)mδm+n,0 + 2Km+n,0 , (B.1f) α ¯ β αβ [∂Xm, ∂Xn ] = m δm+n,0 . (B.1g)

– 35 – There are moreover ten fermions on the worldsheet, which we denote by ψa, χa, λα and λ¯α; they obey the anticommutation relations

3 3 k {ψr , ψs } = − 2 δr+s,0 , (B.2a) + − {ψr , ψs } = kδr+s,0 , (B.2b) 3 3 k {χr, χs} = 2 δr+s,0 , (B.2c) + − {χr , χs } = kδr+s,0 , (B.2d) α ¯β αβ {λr , λs } = δr+s,0 . (B.2e)

B.2 The psu(1, 1|2)k WZW-model

The psu(1, 1|2)k current algebra takes the following form in our conventions:

3 3 1 [Jm,Jn] = − 2 kmδm+n,0 , (B.3a) 3 ± ± [Jm,Jn ] = ±Jm+n , (B.3b) + − 3 [Jm,Jn ] = kmδm+n,0 − 2Jm+n , (B.3c) 3 3 1 [Km,Kn] = 2 kmδm+n,0 , (B.3d) 3 ± ± [Km,Kn ] = ±Km+n , (B.3e) + − 3 [Km,Kn ] = kmδm+n,0 + 2Km+n , (B.3f) a αβγ 1 a α µβγ [Jm,Sn ] = 2 ca(σ ) µSm+n , (B.3g) a αβγ 1 a β ανγ [Km,Sn ] = 2 (σ ) νSm+n , (B.3h) αβγ µνρ αµ βν γρ βν γρ αµ a {Sm ,Sn } = km δm+n,0 − ca(σa) Jm+n αµ γρ βν a + (σa) Km+n . (B.3i)

Here, α, β, . . . are spinor indices and take values in {+, −}. The third spinor index of the supercharges encodes the transformation properties under the outer automorphism su(2) of psu(1, 1|2). Furthermore, a is an su(2) adjoint index and takes values in {+, −, 3}. The constant ca equals −1 for a = −, and +1 otherwise. Finally, the σ-matrices are explicitly given by

− + 3 − 3 + + − (σ ) − = 2 , (σ ) − = −1 , (σ ) + = 1 , (σ ) + = 2 , (B.4a) −− −+ +− ++ (σ−) = 1 , (σ3) = 1 , (σ3) = 1 , (σ+) = −1 , (B.4b) − 3 3 + (σ )−− = 2 , (σ )+− = 1 , (σ )−+ = 1 , (σ )++ = −2 , (B.4c) while all the other components vanish.

B.3 The N = 4 Liouville fields To construct N = 4 Liouville theory, we start with a free field construction of the N = 4 algebra in terms of the (free) fields

∂φ , ψαβ ,J a , (B.5)

– 36 – αβ a where ∂φ is a free boson, ψ are four free fermions, and J is a su(2)κ−1 current. They have defining OPEs 1 ∂φ(z)∂φ(w) ∼ , (B.6a) (z − w)2 αγβδ ψαβ(z)ψγδ(w) ∼ , (B.6b) z − w κ − 1 J 3(z)J 3(w) ∼ , (B.6c) 2(z − w)2 J ±(w) J 3(z)J ±(w) ∼ , (B.6d) z − w κ − 1 2J 3(w) J +(z)J −(w) ∼ + . (B.6e) (z − w)2 z − w These fields can be organised as an N = 4 superfield.

C Free ﬁeld systems

C.1 bc system A bc system consists of anti-commuting ﬁelds b(z) and c(z) with conformal dimensions

h(b) = λ , h(c) = 1 − λ , (C.1) and deﬁning OPE 1 b(z)c(w) ∼ . (C.2) z − w The corresponding energy momentum tensor is

T = (∂b)c − λ ∂(bc) , (C.3) and it has central charge c = 1 − 3(2λ − 1)2. In particular, the bc system with λ = 2 has c = −26.

C.2 βγ system A βγ system consists of commuting ﬁelds β(z) and γ(z) with conformal dimensions

h(β) = λ , h(γ) = 1 − λ , (C.4) and deﬁning OPE 1 β(z)γ(w) ∼ − . (C.5) z − w The corresponding energy momentum tensor is

T = (∂β)γ − λ ∂(βγ) , (C.6)

2 3 and it has central charge c = 3(2λ − 1) − 1. In particular, the βγ system with λ = 2 has c = 11.

– 37 – C.3 Free bosons For a free boson with OPE

φ(z)φ(w) ∼ log(z − w) , (C.7) and background charge Q, the stress-energy tensor is h1 1 i T = (∂φ)2 − Q∂2φ , (C.8) 2 2 with central charge c = 1 − 3Q2 . (C.9) The conformal dimension of the ﬁeld eqφ is then 1 heqφ = q(q + Q) . (C.10) 2

References

[1] J.M. Maldacena, “The Large N limit of superconformal ﬁeld theories and supergravity,” Int. J. Theor. Phys. 38 (1999) 1113 [Adv. Theor. Math. Phys. 2 (1998) 231] [hep-th/9711200].

[2] J.M. Maldacena and H. Ooguri, “Strings in AdS3 and SL(2, R) WZW model 1.: The Spectrum,” J. Math. Phys. 42 (2001) 2929 [hep-th/0001053].

[3] J.M. Maldacena, H. Ooguri and J. Son, “Strings in AdS3 and the SL(2, R) WZW model. Part 2. Euclidean black hole,” J. Math. Phys. 42 (2001) 2961 [hep-th/0005183].

[4] J.M. Maldacena and H. Ooguri, “Strings in AdS3 and the SL(2, R) WZW model. Part 3. Correlation functions,” Phys. Rev. D 65 (2002) 106006 [hep-th/0111180]. [5] N. Seiberg and E. Witten, “The D1 / D5 system and singular CFT,” JHEP 9904 (1999) 017 [hep-th/9903224]. [6] F. Larsen and E.J. Martinec, “U(1) charges and moduli in the D1/D5 system,” JHEP 9906 (1999) 019 [hep-th/9905064]. [7] L. Eberhardt and K. Ferreira, “Long strings and chiral primaries in the hybrid formalism,” JHEP 1902 (2019) 098 [arXiv:1810.08621 [hep-th]]. [8] L. Eberhardt, M.R. Gaberdiel and R. Gopakumar, “The Worldsheet Dual of the Symmetric Product CFT,” arXiv:1812.01007 [hep-th]. [9] J.R. David, G. Mandal and S.R. Wadia, “Microscopic formulation of black holes in string theory,” Phys. Rept. 369 (2002) 549 [hep-th/0203048].

[10] M. Yu and B. Zhang, “Light cone gauge quantization of string theories on AdS3 space,” Nucl. Phys. B 551 (1999) 425 [hep-th/9812216].

– 38 – [11] K. Hosomichi and Y. Sugawara, “Hilbert space of space-time SCFT in AdS3 4p superstring and T /Skp SCFT,” JHEP 9901 (1999) 013 [hep-th/9812100].

[12] Y. Hikida, K. Hosomichi and Y. Sugawara, “String theory on AdS3 as discrete light cone Liouville theory,” Nucl. Phys. B 589 (2000) 134 [hep-th/0005065].

[13] R. Argurio, A. Giveon and A. Shomer, “Superstrings on AdS3 and symmetric products,” JHEP 0012 (2000) 003 [hep-th/0009242]. [14] A. Giveon, D. Kutasov, E. Rabinovici and A. Sever, “Phases of quantum gravity in

AdS3 and linear dilaton backgrounds,” Nucl. Phys. B 719 (2005) 3 [hep-th/0503121]. [15] E. Del Giudice, P. Di Vecchia and S. Fubini, “General properties of the dual resonance model,” Annals Phys. 70 (1972) 378.

[16] A. Giveon, D. Kutasov and N. Seiberg, “Comments on string theory on AdS3,” Adv. Theor. Math. Phys. 2 (1998) 733 [hep-th/9806194].

[17] D. Kutasov and N. Seiberg, “More comments on string theory on AdS3,” JHEP 9904 (1999) 008 [hep-th/9903219].

[18] J. de Boer, H. Ooguri, H. Robins and J. Tannenhauser, “String theory on AdS3,” JHEP 9812 (1998) 026 [hep-th/9812046].

[19] A. Giveon and D. Kutasov, “Notes on AdS3,” Nucl. Phys. B 621 (2002) 303 [hep-th/0106004]. [20] J.D. Brown and M. Henneaux, “Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity,” Commun. Math. Phys. 104 (1986) 207. [21] N. Berkovits, C. Vafa and E. Witten, “Conformal ﬁeld theory of AdS background with Ramond-Ramond ﬂux,” JHEP 9903 (1999) 018 [hep-th/9902098]. [22] J. Teschner, “Liouville theory revisited,” Class. Quant. Grav. 18 (2001) R153 [hep-th/0104158].

[23] M.R. Gaberdiel and R. Gopakumar, “Tensionless string spectra on AdS3,” JHEP 1805 (2018) 085 [arXiv:1803.04423 [hep-th]]. [24] G. Giribet, C. Hull, M. Kleban, M. Porrati and E. Rabinovici, “Superstrings on

AdS3 at k = 1,” JHEP 1808 (2018) 204 [arXiv:1803.04420 [hep-th]]. N [25] O. Lunin and S.D. Mathur, “Correlation functions for M /SN orbifolds,” Commun. Math. Phys. 219 (2001) 399 [hep-th/0006196]. [26] B.A. Burrington, I.T. Jardine and A.W. Peet, “The OPE of bare twist operators in

bosonic SN orbifold CFTs at large N,” JHEP 1808 (2018) 202 [arXiv:1804.01562 [hep-th]].

[27] K. Roumpedakis, “Comments on the SN orbifold CFT in the large N-limit,” JHEP 1807 (2018) 038 [arXiv:1804.03207 [hep-th]]. [28] S. Ribault, “Conformal ﬁeld theory on the plane,” arXiv:1406.4290 [hep-th].

– 39 – [29] S. Collier, P. Kravchuk, Y.H. Lin and X. Yin, “Bootstrapping the Spectral Function: On the Uniqueness of Liouville and the Universality of BTZ,” JHEP 1809 (2018) 150 [arXiv:1702.00423 [hep-th]]. [30] I. Runkel and G.M.T. Watts, “A Nonrational CFT with c = 1 as a limit of minimal models,” JHEP 0109 (2001) 006 [hep-th/0107118]. [31] M.R. Gaberdiel and P. Suchanek, “Limits of Minimal Models and Continuous Orbifolds,” JHEP 1203 (2012) 104 [arXiv:1112.1708 [hep-th]]. [32] V. Schomerus, “Rolling tachyons from Liouville theory,” JHEP 0311 (2003) 043 [hep-th/0306026]. [33] W. McElgin, “Notes on Liouville Theory at c ≤ 1,” Phys. Rev. D 77 (2008) 066009 [arXiv:0706.0365 [hep-th]]. [34] S. Ribault and R. Santachiara, “Liouville theory with a central charge less than one,” JHEP 1508 (2015) 109 [arXiv:1503.02067 [hep-th]].

[35] M.R. Gaberdiel, R. Gopakumar and C. Hull, “Stringy AdS3 from the worldsheet,” JHEP 1707 (2017) 090 [arXiv:1704.08665 [hep-th]]. [36] M.R. Gaberdiel, R. Gopakumar and M. Rangamani, “The Spectrum of Light States in Large N Minimal Models,” JHEP 1401 (2014) 116 [arXiv:1310.1744 [hep-th]].

[37] K. Ferreira, M.R. Gaberdiel and J.I. Jottar, “Higher spins on AdS3 from the worldsheet,” JHEP 1707 (2017) 131 [arXiv:1704.08667 [hep-th]]. [38] D. Friedan, E.J. Martinec and S.H. Shenker, “Conformal Invariance, Supersymmetry and String Theory,” Nucl. Phys. B 271 (1986) 93. [39] G. Gotz, T. Quella and V. Schomerus, “The WZNW model on PSU(1,1|2),” JHEP 0703 (2007) 003 [hep-th/0610070]. [40] I. Bars, “Free ﬁelds and new cosets of current algebras,” Phys. Lett. B 255 (1991) 353.

[41] K. Ito, “Extended superconformal algebras on AdS3,” Phys. Lett. B 449 (1999) 48 [hep-th/9811002].

[42] O. Andreev, “On aﬃne Lie superalgebras, AdS3/CFT correspondence and world sheets for world sheets,” Nucl. Phys. B 552 (1999) 169 [hep-th/9901118]. [43] S.K. Ashok, R. Benichou and J. Troost, “Asymptotic Symmetries of String Theory 3 on AdS3 × S with Ramond-Ramond Fluxes,” JHEP 0910 (2009) 051 [arXiv:0907.1242 [hep-th]]. N [44] O. Lunin and S.D. Mathur, “Three point functions for M /SN orbifolds with N = 4 supersymmetry,” Commun. Math. Phys. 227 (2002) 385 [hep-th/0103169]. [45] A. Sevrin, W. Troost and A. Van Proeyen, “Superconformal Algebras in Two-Dimensions with N = 4,” Phys. Lett. B 208 (1988) 447.

– 40 – [46] S.V. Ketov, “2d, N = 2 and N = 4 supergravity and the Liouville theory in superspace,” Phys. Lett. B 377 (1996) 48 [hep-th/9602038]. [47] T. Eguchi and Y. Sugawara, “Duality in N = 4 Liouville Theory and Moonshine Phenomena,” PTEP 2016 (2016) 063B02 [arXiv:1603.02903 [hep-th]]. [48] T. Eguchi and A. Taormina, “Unitary Representations of N = 4 Superconformal Algebra,” Phys. Lett. B 196 (1987) 75. [49] T. Schmid, Master thesis at ETH Zurich, to appear (2019). [50] S. Elitzur, O. Feinerman, A. Giveon and D. Tsabar, “String theory on 3 3 1 AdS3 × S × S × S ,” Phys. Lett. B 449 (1999) 180 [hep-th/9811245]. [51] S. Gukov, E. Martinec, G.W. Moore and A. Strominger, “The Search for a 3 3 1 holographic dual to AdS3 × S × S × S ,” Adv. Theor. Math. Phys. 9 (2005) 435 [hep-th/0403090]. [52] L. Eberhardt, M.R. Gaberdiel, R. Gopakumar and W. Li, “BPS spectrum on 3 3 1 AdS3 × S × S × S ,” JHEP 1703 (2017) 124 [arXiv:1701.03552 [hep-th]]. [53] L. Eberhardt, M.R. Gaberdiel and W. Li, “A holographic dual for string theory on 3 3 1 AdS3 × S × S × S ,” JHEP 1708 (2017) 111 [arXiv:1707.02705 [hep-th]]. [54] L. Eberhardt, M.R. Gaberdiel, to appear. [55] D. Kutasov, F. Larsen and R.G. Leigh, “String theory in magnetic monopole backgrounds,” Nucl. Phys. B 550 (1999) 183 [hep-th/9812027]. [56] S. Datta, L. Eberhardt and M.R. Gaberdiel, “Stringy N = (2, 2) holography for

AdS3,” JHEP 1801 (2018) 146 [arXiv:1709.06393 [hep-th]].

[57] L. Eberhardt, “Supersymmetric AdS3 supergravity backgrounds and holography,” JHEP 1802 (2018) 087 [arXiv:1710.09826 [hep-th]].

[58] S. Yamaguchi, Y. Ishimoto and K. Sugiyama, “AdS3/CFT2 correspondence and space-time N = 3 superconformal algebra,” JHEP 9902 (1999) 026 [hep-th/9902079]. 3 3 1 [59] L. Eberhardt and I.G. Zadeh, “N = (3, 3) holography on AdS3 × (S × S × S )/Z2,” JHEP 1807 (2018) 143 [arXiv:1805.09832 [hep-th]]. [60] A. Campoleoni, S. Fredenhagen, S. Pfenninger and S. Theisen, “Asymptotic symmetries of three-dimensional gravity coupled to higher-spin ﬁelds,” JHEP 1011 (2010) 007 [arXiv:1008.4744 [hep-th]]. [61] P. Bouwknegt and K. Schoutens, “W symmetry in conformal ﬁeld theory,” Phys. Rept. 223 (1993) 183 [hep-th/9210010].

– 41 –