A note on the spectral flow operator

TL;DR

This paper demonstrates that the spectral flow operator naturally arises in Liouville theory and shows that amplitudes involving multiple insertions are independent of insertion points, supporting the WZW-Liouville correspondence.

Contribution

It reveals the natural emergence of the spectral flow operator in Liouville theory and generalizes previous results to multiple insertions, confirming consistency in winding number violations.

Findings

Spectral flow operator appears naturally in Liouville theory.

Amplitude independence from insertion points is confirmed.

Generalizes previous single-insertion results to multiple insertions.

Abstract

The insertion of the spectral flow operator in a string scattering amplitude on AdS$_3\times \mathcal{N}$ produces a change in the winding number of one of the incoming (or outgoing) states, making it possible to compute amplitudes of processes in which winding number in AdS$_3$ is not conserved. The insertion of such operator, however, might seem artificial from the worldsheet theory perspective, as it appears as an unintegrated vertex operator of conformal dimension zero that does not represent any normalizable state. Here, we show that the spectral flow operator naturally emerges in the Liouville field theory description of the WZW correlation functions once it is combined with a series of duality relations among conformal integrals. By considering multiple insertions of spectral flow operators, we study the dependence on the moduli for arbitrary number of them, and we show explicitly that the amplitude does not depend on the specific locations of the accessory insertions in the worldsheet, as required by consistency. This generalizes previous computations in which particular cases were considered. This can also be thought of as an alternative proof of the WZW-Liouville correspondence in the case of maximally winding violating correlators.

Equations

$${\mathcal{A}}_{{\mathbf{p}}_1,{\mathbf{p}}_2,...{\mathbf{p}}_n}^n=\int \prod _{i=1}^n{d}^2{z}_i\frac{C_{{\text{AdS}}_3}^n(z_1,...,z_n)\times C_{\mathcal{N}}^n(z_1,...,z_n)}{\text{Vol}(PSL(2,\mathbb{C}))}$$

$${C}_{\text{AdS}_{3}}^{n}(z_{1},...,z_{n})=\Big{\langle}\prod_{i=1}^{n}\Phi_{j_{i},m_{i},\bar{m}_{i}}^{\omega_{i}}(z_{i})\Big{\rangle}_{sl(2)}^{\sum_{i=1}^{n}\omega_{i}},$$

$$c=\frac{3k}{k-2}+c_{\mathcal{N}}\equiv 26,$$

$$\frac{1}{2}\le j\le \frac{k-1}{2}.$$

$$h=\frac{j(1-j)}{k-2}-m\omega -\frac{k}{4}{\omega }^2+h_{\mathcal{N}}+N,h=\frac{j(1-j)}{k-2}-\bar{m}\omega -\frac{k}{4}{\omega }^2+{\bar{h}}_{\mathcal{N}}+\bar{N}$$

$$E=\frac{k}{2}\omega+\frac{1}{\omega}\Big{(}2\frac{j(1-j)}{k-2}+N_{\mathcal{N}}+\bar{N}_{\mathcal{N}}-2+h_{\mathcal{N}}+\bar{h}_{\mathcal{N}}\Big{)}.$$

$${C}^{n+1}_{\text{AdS}_{3}}(z_{1},...,z_{n+1})=\frac{1}{Z_{\mp}}\Big{\langle}\prod_{i=1}^{n}\Phi_{j_{i},m_{i},\bar{m}_{i}}^{\omega_{i}}(z_{i})\ \Phi_{\frac{k}{2},\pm\frac{k}{2},\pm\frac{k}{2}}^{\mp 1}(z_{n+1})\Big{\rangle}_{sl(2)}^{0}.$$

$$\omega \equiv \sum _{i=1}^n{\omega }_i=\pm 1.$$

$$\frac{1}{Z_{+}}{\Phi }_{\frac{k}{2},-\frac{k}{2},-\frac{k}{2}}^{+1},\frac{1}{Z_{-}}{\Phi }_{\frac{k}{2},+\frac{k}{2},+\frac{k}{2}}^{-1}.$$

$$\displaystyle\tilde{C}^{\ 3,n_{+},n_{-}}_{\text{AdS}_{3}}=\frac{1}{Z_{+}^{n_{+}}Z_{-}^{n_{-}}}\Big{\langle}\prod_{i=1}^{3}\Phi_{j_{i},m_{i},\bar{m}_{i}}^{\omega_{i}}(z_{i})\prod_{a=1}^{n_{+}}\Phi_{\frac{k}{2},-\frac{k}{2},-\frac{k}{2}}^{+1}(u^{+}_{a})\prod_{A=1}^{n_{-}}\Phi_{\frac{k}{2},+\frac{k}{2},+\frac{k}{2}}^{-1}(u^{-}_{A})\Big{\rangle}_{sl(2)}^{0}$$

$$\sum _{i=1}^3{\omega }_i=n_{-}-n_{+}$$

$$\Big{|}\sum_{i=1}^{n}\omega_{i}\Big{|}\leq n-2.$$

$$\displaystyle C^{n}_{\text{AdS}_{3}}(z_{1},...,z_{n})=\prod_{i=1}^{n}\frac{\Gamma(j_{i}-m_{i})}{\Gamma(1-j_{i}+\bar{m}_{i})}\ \sum_{\omega=0}^{n-2}\ \delta\Big{(}\sum_{i=1}^{n}\omega_{i}-\omega\Big{)}\ \delta^{(2)}\Big{(}\sum_{i=1}^{n}m_{i}+k\omega/2\Big{)}$$

$$\displaystyle\ \ \ \ \frac{2\pi^{3-2n}b\ (c_{b})^{\omega}}{\Gamma(n-1-\omega)}\ \int_{\ }\prod_{a=1}^{n-2-\omega}d^{2}y_{a}\ \prod_{1\leq i<i^{\prime}}^{n}\Big{(}(z_{i}-z_{i^{\prime}})^{\beta_{ii^{\prime}}-2\kappa_{i}\kappa_{i^{\prime}}}(\bar{z}_{i}-\bar{z}_{i^{\prime}})^{\bar{\beta}_{ii^{\prime}}-2\bar{\kappa}_{i}\bar{\kappa}_{i^{\prime}}}\Big{)}\$$

$$\displaystyle\ \ \Big{\langle}\prod_{i=1}^{n}e^{i\sqrt{2}(\kappa_{i}\chi(z_{i})+\bar{\kappa}_{i}\bar{\chi}(\bar{z}_{i}))}\prod_{a=1}^{n-2-\omega}e^{i\sqrt{k/2}(\chi(y_{a})+\bar{\chi}(\bar{y}_{a}))}\Big{\rangle}_{\text{free}}\times\Big{\langle}\prod_{i=1}^{n}V_{\alpha_{i}}(z_{i})\prod_{a=1}^{n-2-\omega}V_{-\frac{1}{2b}}(y_{a})\Big{\rangle}_{\text{LFT}}$$

$$\Big{\langle}\prod_{i=1}^{n}V_{\alpha_{i}}(z_{i})\Big{\rangle}_{\text{LFT}}=\int\mathcal{D}\varphi\ e^{-S_{\text{L}}[\varphi]}\prod_{i=1}^{n}e^{\sqrt{2}\alpha_{i}\varphi(z_{i},\bar{z}_{i})}$$

$$S_{\text{L}}[\varphi]=\frac{1}{2\pi}\int d^{2}z\Big{(}\partial\varphi\bar{\partial}\varphi+\frac{Q}{4}R\varphi+\mu e^{\sqrt{2}b\varphi}\Big{)}\ ,\ \ \ Q=b+{1}/{b}\ .$$

$${\alpha }_i=b(k/2-j_i),b^2=1/(k-2),\mu =b^2,$$

$${\tilde{C}}_{{\text{AdS}}_3}^{3,n_{+},n_{-}}$$

$$\Big{\langle}\prod_{i=1}^{\tilde{n}}V_{\alpha_{i}}(z_{i})\Big{\rangle}_{\text{LFT}}=\mu^{\tilde{s}}\Gamma(-{\tilde{s}})\prod_{1\leq i<i^{\prime}}^{\tilde{n}}|z_{i}-z_{i^{\prime}}|^{-4\alpha_{i}\alpha_{i^{\prime}}}\ I_{\tilde{s}}(\alpha_{1},...,\alpha_{\tilde{n}};z_{1},...,z_{\tilde{n}};b)$$

$$I_{\tilde{s}}({\alpha }_1,...,{\alpha }_{\tilde{n}};z_1,...,z_{\tilde{n}};b)={\int }_{}\prod _{r=1}^{\tilde{s}}{d}^2{w}_r\prod _{i=1}^{\tilde{n}}\prod _{r=1}^{\tilde{s}}|z_i-w_r{|}^{-4b{\alpha }_i}\prod _{1\le r<r^{\prime }}^{\tilde{s}}|w_r-w_{r^{\prime }}{|}^{-4b^2}$$

$$\Big{\langle}\prod_{i=1}^{\tilde{n}}V_{\alpha_{i}}(z_{i})\Big{\rangle}_{\text{LFT}}=\tilde{\mu}^{s}\Gamma(-s)\prod_{1\leq i<i^{\prime}}^{\tilde{n}}|z_{i}-z_{i^{\prime}}|^{-4\alpha_{i}\alpha_{i^{\prime}}}\ I_{s}(\alpha_{1},...,\alpha_{\tilde{n}};z_{1},...,z_{\tilde{n}};1/b)$$

$${\tilde{C}}_{{\text{AdS}}_3}^{3,n_{-}-1,n_{-}}=\underset{ϵ\to 0}{\lim }\frac{(\Gamma (ϵ){)}^{n_{-}}}{Z_{+,ϵ}^{n_{-}-1}{Z}_{-,ϵ}^{n_{-}}}\frac{2\Gamma (-s)(\Gamma (k){)}^{n_{-}-1}{\tilde{\mu }}^s{\pi }^{-4n_{-}-1}}{\sqrt{k-2}(\Gamma (1-k){)}^{n_{-}-1}\Gamma (2n_{-}+1)}\prod _{a=1}^3\frac{\Gamma (\frac{1}{2}-i{p}_a-m_a)}{\Gamma (\frac{1}{2}+i{p}_a+m_a)}$$

$$\displaystyle\ \ \ \ \ \delta^{(2)}\Big{(}\sum_{a=1}^{3}m_{a}+\frac{k}{2}\Big{)}\int_{\ }\prod_{l=1}^{2n_{-}}d^{2}{y}_{l}\int_{\ }\prod_{r=1}^{s}d^{2}{w}_{r}\prod_{1\leq l<l^{\prime}}^{2n_{-}}|y_{l}-y_{l^{\prime}}|^{2}\prod_{1\leq r<r^{\prime}}^{s}|w_{r}-w_{r^{\prime}}|^{8-4k}$$

$$\displaystyle\prod_{l=1}^{2n_{-}}\prod_{r=1}^{s}|y_{l}-w_{r}|^{2k-4}\prod_{1\leq a<a^{\prime}}^{n_{-}-1}|u^{+}_{a}-u^{+}_{a^{\prime}}|^{4k}\prod_{a=1}^{n_{-}-1}\prod_{l=1}^{2n_{-}}|u^{+}_{a}-y_{l}|^{-2k}\prod_{a=1}^{n_{-}-1}\Big{(}|u^{+}_{a}|^{2k-4m_{1}}|1-u^{+}_{a}|^{2k-4m_{2}}\Big{)}$$

$$\displaystyle\ \ \ \ \prod_{l=1}^{2n_{-}}\Big{(}|y_{l}|^{2m_{1}-1+2ip_{1}}|1-y_{l}|^{2m_{2}-1+2ip_{2}}\Big{)}\prod_{r=1}^{s}\Big{(}|w_{r}|^{2-4ip_{1}-2k}|1-w_{r}|^{2-4ip_{2}-2k}\Big{)}$$

$${\int }_{}\prod _{i=1}^n{d}^2{y}_i\prod _{1\le 1<i^{\prime }}^n|y_i-y_{i^{\prime }}{|}^2\prod _{i=1}^n\prod _{i=1}^{n+m+1}|y_i-x_j{|}^{2L_j}={\pi }^{n-m}\frac{\Gamma (n+1)}{\Gamma (m+1)}\frac{\Gamma (-n-{\sum }_{j=1}^{n+m+1}{L}_j)}{\Gamma (1+n+{\sum }_{j=1}^{n+m+1}{L}_j)}$$

$$\prod _{j=1}^{n+m+1}\frac{\Gamma (1+L_j)}{\Gamma (-L_j)}\prod _{1\le j<j^{\prime }}^{n+m+1}|x_j-x_{j^{\prime }}{|}^{2+2L_j+2L_{j^{\prime }}}{\int }_{}\prod _{l=1}^m{d}^2{y}_l\prod _{1\le l<l^{\prime }}^m|y_l-y_{l^{\prime }}{|}^2\prod _{l=1}^m\prod _{j=1}^{n+m+1}|y_l-x_j{|}^{-2-2L_j}.$$

$$\displaystyle\tilde{C}^{\ 3,n_{-}-1,n_{-}}_{\text{AdS}_{3}}=-\lim_{\epsilon\to 0}\frac{(\Gamma(\epsilon))^{n_{-}}}{Z_{+,\epsilon}^{n_{-}-1}Z_{-,\epsilon}^{n_{-}}}\frac{2\Gamma(-s)\pi^{-1-n_{-}-s}}{\sqrt{k-2}\Gamma(s-n_{-}+1)}\Big{(}\tilde{\mu}\frac{\Gamma(k-1)}{\Gamma(2-k)}\Big{)}^{s}$$

$$\displaystyle\ \ \ \ \delta^{(2)}\Big{(}\sum_{a=1}^{3}m_{a}+\frac{k}{2}\Big{)}\int_{\ }\prod_{l=1}^{s-n_{-}}d^{2}{y}_{l}\int_{\ }\prod_{r=1}^{s}d^{2}{w}_{r}\prod_{1\leq l<l^{\prime}}^{s-n_{-}}|y_{l}-y_{l^{\prime}}|^{2}\prod_{1\leq r<r^{\prime}}^{s}|w_{r}-w_{r^{\prime}}|^{2}$$

$$\prod _{l=1}^{s-n_{-}}\prod _{r=1}^s|y_l-w_r{|}^{2-2k}\prod _{r=1}^s\prod _{a=1}^{n_{-}-1}|w_r-u_a^{+}{|}^{-2}\prod _{1\le a<a^{\prime }}^{n_{-}-1}|u_a^{+}-u_{a^{\prime }}^{+}{|}^2\prod _{a=1}^{n_{-}-1}\prod _{l=1}^{s-n_{-}}|u_a^{+}-y_l{|}^{2k-2}$$

$$\displaystyle\ \ \ \ \prod_{a=1}^{n_{-}-1}\Big{(}|u^{+}_{a}|^{1+2ip_{1}-2m_{1}}|1-u^{+}_{a}|^{1+2ip_{2}-2m_{2}}\Big{)}\prod_{l=1}^{s-n_{-}}\Big{(}|y_{l}|^{-1-2ip_{1}-2m_{1}}|1-y_{l}|^{-1-2ip_{2}-2m_{2}}\Big{)}$$

$$\displaystyle\ \ \ \ \prod_{r=1}^{s}\Big{(}|w_{r}|^{-1+2m_{1}-2ip_{1}}|1-w_{r}|^{-1+2m_{2}-2ip_{2}}\Big{)}.$$

$$\displaystyle\tilde{C}^{\ 3,n_{-}-1,n_{-}}_{\text{AdS}_{3}}=\lim_{\epsilon\to 0}\frac{(\Gamma(\epsilon))^{2n_{-}-1}}{Z_{+,\epsilon}^{n_{-}-1}Z_{-,\epsilon}^{n_{-}}}\Big{(}-\frac{\tilde{\mu}}{\pi}\frac{\Gamma(k-1)}{\Gamma(2-k)}\Big{)}^{n_{-}}\prod_{a=1}^{3}\frac{\Gamma(\frac{1}{2}-ip_{a}+m_{a})}{\Gamma(\frac{1}{2}+ip_{a}-m_{a})}\delta^{(2)}\Big{(}\sum_{a=1}^{3}m_{a}+\frac{k}{2}\Big{)}$$

$$\displaystyle\ \ \frac{2bc_{b}}{\pi^{3}}\tilde{\mu}^{s-n_{-}}\Gamma(n_{-}-s)\int_{\ }\prod_{l=1}^{s-n_{-}}d^{2}{y}_{l}\prod_{1\leq l<l^{\prime}}^{s-n_{-}}|y_{l}-y_{l^{\prime}}|^{8-4k}\prod_{l=1}^{s-n_{-}}\Big{(}|y_{l}|^{4ip_{1}+2-2k}|1-y_{l}|^{4ip_{2}+2-2k}\Big{)}.$$

$$\displaystyle\tilde{C}^{\ 3,n_{+},n_{-}}_{\text{AdS}_{3}}=\frac{2bc_{b}}{\pi^{3}}\prod_{a=1}^{3}\frac{\Gamma(\frac{1}{2}-ip_{a}+m_{a})}{\Gamma(\frac{1}{2}+ip_{a}-m_{a})}\ \delta^{(2)}\Big{(}\sum_{a=1}^{3}m_{a}+\frac{k}{2}\Big{)}\ \Big{\langle}\prod_{i=1}^{3}V_{\alpha_{i}}(z_{i})\Big{\rangle}_{\text{LFT}},$$

Full text

A note on the spectral flow operator

Gaston Giribet

Abdus Salam International Centre for Theoretical Physics, ICTP

Strada Costiera 11, Trieste, 34151, Italy.

Physics Department, University of Buenos Aires and IFIBA-CONICET

Ciudad Universitaria, Pabellón 1, Buenos Aires, 1428, Argentina.

The insertion of the spectral flow operator in a string scattering amplitude on AdS${}_{3}\times\mathcal{N}$ produces a change in the winding number of one of the incoming (or outgoing) states, making it possible to compute amplitudes of processes in which winding number in AdS3 is not conserved. The insertion of such operator, however, might seem artificial from the worldsheet theory perspective, as it appears as an unintegrated vertex operator of conformal dimension zero that does not represent any normalizable state. Here, we show that the spectral flow operator naturally emerges in the Liouville field theory description of the WZW correlation functions once it is combined with a series of duality relations among conformal integrals. By considering multiple insertions of spectral flow operators, we study the dependence on the moduli for arbitrary number of them, and we show explicitly that the amplitude does not depend on the specific locations of the accessory insertions in the worldsheet, as required by consistency. This generalizes previous computations in which particular cases were considered. This can also be thought of as an alternative proof of the WZW-Liouville correspondence in the case of maximally winding violating correlators.

1 Introduction

String theory on AdS${}_{3}\times\mathcal{N}$ with pure NS-NS fluxes provides an excellent arena to test AdS/CFT correspondence beyond the supergravity approximation [1, 2, 3]. The worldhseet theory on AdS3, being described by the $SL(2,\mathbb{R})_{k}$ Wess-Zumino-Witten (WZW) model, can be quantized and in principle solved exactly. This permits to have access to the finite $k=R^{2}/\alpha^{\prime}$ regime of the theory, in which the size of the strings, $\ell_{s}=\sqrt{\alpha^{\prime}}$, is not necessarily large in comparison to the radius of the space, $R$. This enables to find the spectrum of the quantum theory in terms of $\hat{sl}(2)_{k}$ Kac-Moody unitary representations [4, 5] and to compute scattering amplitudes by integrating the WZW correlation functions [8, 7, 6].

The results for string amplitudes in AdS3 [9, 10, 11], once combined with non-renormalization theorems that are now available [12], permitted in [13, 14, 15, 16, 17] to perform precision checks of AdS/CFT correspondence at large $N$ with $k$ finite. The tree level 3-point functions of protected chiral operators in type IIB superstring theory on AdS${}_{3}\times S^{3}\times T^{4}$ with NS-NS flux were computed in [13, 14] and were shown to exactly reproduce the computations in the symmetric product CFT2 at the orbifold point in the large $N$ limit. The analysis was then extended to the chiral $\mathcal{N}=4$ operators in [15], and it was later completed in [16, 17] by adding the winding string sectors, which correspond to spectrally flowed representations of $\hat{sl}(2)_{k}$.

In the last two years, the interest on strings on AdS3 has been renewed. Special attention has recently been focused on the superstring theory at the point $k=1$, where special features appear [19, 18, 20, 21]. Different proposals for the holographic description of the supersymmetric theory at $k=1$ have recently been proposed [22, 23, 24, 25, 26]. In all such proposals the winding string sectors play a fundamental role. Here, we will study the theory for arbitrary $k$; we will focus on the bosonic theory and analyze the winding string sectors in detail. Our main goal is to clarify the prescription for computing winding violating string scattering amplitudes proposed in [6] and make it easy to understand from the worldsheet CFT2 point of view.

The paper is organized as follows: In section 2, we concisely review string theory on AdS3 with NS-NS fluxes. We study the spectrum and the definition of tree level scattering amplitudes. Since we will be mainly involved with winding violating amplitudes, we will need to introduce the so-called spectral flow operator, which will be the principal ingredient in our discussion. In section 3, we present the most salient properties of the spectral flow operator in relation to correlation functions, and we study the 3-point function in detail. In section 4, the main tool to solve the amplitudes is presented: This is the so-called $H_{3}^{+}$-Liouville correspondence, which is a dictionary that maps $SL(2,\mathbb{R})_{k}$ WZW correlation functions into correlation functions in Liouville field theory (LFT). In section 6, we analyze the integral representation of correlation functions in LFT together with a series of duality relations among different conformal integrals that will ultimately lead to compute the relevant 3-point functions. In section 7, we comment on the $n$-point functions.

2 String amplitudes on AdS3

We will be concerned with tree-level string amplitudes on AdS${}_{3}\times\mathcal{N}$ with pure NS-NS fluxes. These observables are given by

[TABLE]

where the integrals are over ${\mathbb{CP}^{1}}$; ${C}_{\text{AdS}_{3}}^{n}$ is the $n$-point correlation function of primary operators in the $SL(2,\mathbb{R})_{k}$ WZW model on the Riemann sphere,

[TABLE]

which describes the string $\sigma$-model on AdS3; ${C}_{\mathcal{N}}^{n}$ is the contribution of the internal CFT on $\mathcal{N}$. In (2), we are omitting normal ordering symbols. Subscript $sl(2)$ on the right hand side makes explicit that (2) is a correlator in the non-compact $SL(2,\mathbb{R})$ model. Superscript $\sum_{i=1}^{n}\omega_{i}$ indicates the total winding number in the correlator, as in AdS3 such quantity is not necessarily conserved [7, 6]. The indices ${\bf p}_{i}$ in (1) represent the momenta of the incoming and outgoing states. Both ${C}_{\mathcal{N}}^{n}$ and ${C}_{\text{AdS}_{3}}^{n}$ depend on ${\bf p}_{i}$, although we do not write explicitly such dependence for short. The volume of the conformal Killing group, $\text{Vol}(PSL(2,\mathbb{C}))$, can be canceled by fixing on the punctured projective complex plane three of the $n$ points at which the vertices are inserted; as usual, we choose $z_{1}=1-z_{2}=1/z_{3}=0$.

The spectrum of the theory on AdS${}_{3}\times\mathcal{N}$ was worked out by Maldacena and Ooguri in [4]. Let us briefly review it here: Operators $\Phi_{j,m,\bar{m}}$ in (2) represent the AdS3 part of the string vertex operators that create Virasoro primary states in the worldsheet CFT. These states organize themselves in representations of the $\hat{sl}(2)_{k}\oplus\hat{sl}(2)_{k}$ affine Kac-Moody algebra. These representations are built out of unitary, Hermitian representations of $SL(2,\mathbb{R})$. More precisely, the Hilbert space of the theory is constructed by acting with elements of the enveloping algebra of $\hat{sl}(2)_{k}$ on states of suitable representations of $SL(2,\mathbb{R})$. Such representations are the highest- and lowest-weight discrete series $\mathcal{D}^{\pm}_{j}$, and the principal continuous series $\mathcal{C}_{j}^{\lambda}$ of $SL(2,\mathbb{R})$, together with their spectrally flowed images $\mathcal{D}^{\pm,\omega}_{j}$ and $\mathcal{C}^{\lambda,\omega}_{j}$; see [4] for details.

The WZW level is given by $k=R^{2}/\alpha^{\prime}$; so it controls the size of the strings relative to the size of AdS3 space, implying that the semiclassical limit corresponds to the limit $k\to\infty$. The central charge of the worldsheet CFT takes the form

[TABLE]

where $c_{\mathcal{N}}$ is the contribution of the internal CFT on $\mathcal{N}$. This sets the level to be $k=2(c_{\mathcal{N}}-26)/(c_{\mathcal{N}}-23)$; as expected, it yields $c_{\mathcal{N}}-26=3$ in the large $k$ limit, in which the 3-dimensional AdS space is softly curved.

As said, the indices ${\bf p}_{i}$ represent the labels that parameterize the momenta of both the AdS3 and the internal parts; in the AdS3 part these labels are those that classify the $SL(2,\mathbb{R})\times SL(2,\mathbb{R})$ representations: $j_{i}$, $m_{i}$, $\bar{m}_{i}$, and $\omega_{i}$. Discrete representations of the universal covering of $SL(2,\mathbb{R})$, $\mathcal{D}^{\pm}_{j}$, correspond to $j\in\mathbb{R}$, $m\in\pm j\pm\mathbb{Z}_{\geq 0}$, and $\omega=0$; while continuous representations, $\mathcal{C}^{\lambda}_{j}$, correspond to $j\in 1/2+i\mathbb{R}$, $m\in\lambda+\mathbb{Z}$, and $\omega=0$. The sectors $\omega\neq 0$ are defined as the Kac-Moody primaries with respect to the algebra generators obtained by transforming the original ones with a $\mathbb{Z}$-valued spectral flow isomorphism [4], with $\omega\in\mathbb{Z}$ being the spectral flow parameter. The set of unitary, Hermitian representations of $SL(2,\mathbb{R})$ also includes the complementary series $\mathcal{E}_{j}^{\alpha}$, but these series are not necessary to construct the string spectrum111There are two arguments to exclude the complementary series $\mathcal{E}_{j}^{\alpha}$ from the string spectrum. On the one hand, the 1-loop partition function of the theory defined only with the series $\mathcal{C}^{\lambda,\omega}_{j}$ and $\mathcal{D}^{\pm,\omega}_{j}$ results to be modular invariant [27]. On the other hand, the states of the series $\mathcal{C}^{\lambda,\omega}_{j}$, $\mathcal{D}^{\pm,\omega}_{j}$ form a basis of the $L^{2}$ functions [4].. The spectrum also excludes discrete representations above certain value $j_{\text{max}}=(k-1)/2$ in virtue of the strong version of the no-ghost bound [4]. More precisely, one only considers discrete representations in the segment

[TABLE]

The physical interpretation of the $SL(2,\mathbb{R})$ labels $j$, $m$, $\bar{m}$, and $\omega$ is the following: The energy of the string states in AdS3 is given by the combination $E\equiv m+\bar{m}+k\omega\in\mathbb{R}$, where $\omega\in\mathbb{Z}$ is the winding number –recall that $k$ is proportional to the string tension–. The quantity $J\equiv m-\bar{m}\in\mathbb{Z}$ gives the angular momentum in AdS3, and the imaginary part of the variable $j$ can be associated to the radial momentum.

The worldsheet conformal dimension of the primary operators on AdS${}_{3}\times\mathcal{N}$ read222These formulas are invariant under $j\to 1-j$ and $m,\bar{m},\omega\to-m,-\bar{m},-\omega$. The latter can be regarded as a CPT transformation; states with negative values of $m$, $\bar{m}$, and $\omega$ have to be regarded as outgoing states.

[TABLE]

where $h_{\mathcal{N}}$, $\bar{h}_{\mathcal{N}}$ represent the conformal dimensions of the $\sigma$-model on $\mathcal{N}$, and where $N$, $\bar{N}$ indicate the oscillator numbers. The level matching condition thus implies ${h}_{\mathcal{N}}-\bar{h}_{\mathcal{N}}\in\mathbb{Z}$. By imposing the Virasoro constrains on (5), we obtain the energy spectrum of the theory,

[TABLE]

Spectrally flowed discrete representations $\mathcal{D}^{\pm,\omega}_{j\in\mathbb{R}}$, which describe short strings confined in the bulk of the space, have discrete energy spectrum. In contrast, continuous representations $\mathcal{C}^{\lambda,\omega}_{j\in 1/2+i\mathbb{R}}$, which describe long strings that can reach the boundary asymptotically with winding number $\omega$, have continuous energy spectrum.

It is worth mentioning that the winding number in AdS3 is not a topological degree of freedom: AdS3 space is simply connected. Number $\omega$ is rather associated to the presence of the NS-NS $B$-field in the bulk, to which the strings couple. Not being topological, the winding number can in principle change when interactions take place –although it is preserved in a 2-point function–. Here, we will be concerned with amplitudes of $n$-string scattering processes in which the total winding number is not conserved. This means that we will compute $SL(2,\mathbb{R})$ WZW correlation functions that include the so-called spectral flow operator [7, 6]; namely

[TABLE]

These correlation functions include one extra operator with fixed momenta $j_{n+1}=k/2$, $m_{n+1}=\bar{m}_{n+1}=\pm k/2$, $\omega_{n+1}=\mp 1$. The superscript [math] on the right hand side means that $\sum_{i=1}^{n+1}\omega_{i}={\sum_{i=1}^{n}\omega_{i}\mp 1}$ gives zero. The $n+1^{\text{th}}$ operator in (7) does not represent an external state but is an auxiliary operator. This means that the correct interpretation of a correlator like (7) is that of an $n$-point function in which the total winding number is violated in one unit, i.e.

[TABLE]

This prescription to compute winding non-preserving correlators was proposed originally by Fateev, Zamolodchikov, and Zamolodchikov (FZZ) [28]. The idea is that, once integrated in $z_{1},...,z_{n}$, correlator (7) gives the $n$-point scattering amplitudes $\mathcal{A}^{n}_{{\bf p}_{1},...{\bf p}_{n}}$ of processes that violate the conservation of the total winding number, $\omega$, in one unit. This charge condition is induced by the presence of the $n+1^{\text{th}}$ operator $\Phi_{k/2,\pm k/2,\pm k/2}^{\mp 1}$ inserted at $z_{n+1}$. The FZZ prescription is such that, unlike the other worldsheet insertions, $z_{n+1}$ is left unintegrated. This is consistent with the fact that the extra $n+1^{\text{th}}$ operator has conformal dimension zero.

It is worth emphasizing that operator $\Phi^{\pm 1}_{k/2,\mp k/2,\mp k/2}$ does not represent any normalizable333One of the properties of the state $j=k/2=\mp m=\mp\bar{m}$, created by $\Phi^{\pm 1}_{k/2,\mp k/2,\mp k/2}$, which can be useful to compute correlation functions, is that it contains a null descendant $\lim_{z\to 0}J^{\pm}_{-1}\Phi^{\pm 1}_{k/2,\mp k/2,\mp k/2}(z)|0\rangle=0$. state of the theory. In fact, the value $j_{n+1}=k/2$ violates the unitarity upper bound $j_{\text{max}}=(k-1)/2$ of the physical spectrum (4). Operator $\Phi_{k/2,\pm k/2,\pm k/2}^{\mp 1}$ is rather an auxiliary tool that is introduced just to alter the total winding number in a given correlator. Such operator was originally regarded [28] as a “conjugated representations of the identity” operator $\Phi_{0,0,0}^{0}=1$. The relation with the identity operator can be understood algebraically in terms of the identity between states of the representation $\mathcal{D}^{\mp,0}_{j}$ and states of the representation $\mathcal{D}^{\pm,\mp 1}_{k/2-j}$. This is related to the spectral flow isomorphism of $\hat{sl}(2)_{k}$, which for the spectral flow parameter $\omega=\pm 1$ does not necessarily produce new representations444In particular, operators $\Phi^{0}_{0,0,0}$, $\Phi^{-1}_{k/2,k/2,k/2}$, and $\Phi^{1}_{k/2,-k/2,-k/2}$ share both the Cartan energy $m+k\omega/2=0$ and the quadratic Casimir $(k-2)h=0$. but two different ways of representing the same states. This is the reason why, in [7], operator $\Phi^{\pm 1}_{k/2,\mp k/2,\mp k/2}$ was alternatively called “spectral flow operator”.

3 Spectral flow operator

Let us now discuss the spectral flow operator in a more systematic way: In the WZW theory, we will consider the special dimension-zero local operators

[TABLE]

where the prefactor $Z^{-1}_{\pm}$ stands for a normalization (possibly divergent) yet to be fixed. This prefactor is somehow related to the $V_{conf}$ prefactor appearing in [6].

Being dimension-zero operators with non-vanishing $\omega$, the insertion of (9) in a correlation function suffices to change the total winding number of a given amplitude without spoiling its conformal properties. Conformal invariance demands the dimension-zero operator not to be integrated. Then, an immediate question that arises is what to do with the inserting points at which they are inserted. This is a question about the structure of the moduli space, and it is one of the questions we want to discuss in detail. In this regard, we will prove that:

1. (a)

The final answer for the amplitude does not depend on those insertion points, even when an arbitrary number of spectral flow operators are inserted (this is far from obvious when glancing at (7), for instance). 2. (b)

The final answer for the amplitude only depends on the difference between the number of the operators $\Phi_{k/2,-k/2,-k/2}^{+1}$ and the number of the operators $\Phi_{k/2,+k/2,+k/2}^{-1}$ present in the correlator, regardless the net number of them.

Showing (a) and (b) requires working out the expressions for the $SL(2,\mathbb{R})_{k}$ WZW correlation functions explicitly, and this is what we will do in the next sections.

The 3-point functions are the building block of the higher correlation functions. Therefore, we will focus on the following class of objects

[TABLE]

which include an arbitrary number ($n_{+}+n_{-}$) of spectral flow operators. The tilde on $\tilde{C}^{\ 3,n_{+},n_{-}}_{\text{AdS}_{3}}$ is there to remind us of the presence of such operators. Worldsheet insertion points are fixed at $z_{1}=0,z_{2}=1,z_{3}=\infty$. The superscript [math] on the right hand side of (10) indicates that the total winding number vanishes, i.e. $\sum_{i=1}^{3+n_{+}-n_{-}}\omega_{i}=\sum_{i=1}^{3}\omega_{i}+n_{+}-n_{-}=0$. As we discussed, according to the FZZ prescription, correlator (10) actually represents a winding violating $3$-point amplitude in which

[TABLE]

is generically non-zero. It turns out that these 3-point functions vanish if $|n_{+}-n_{-}|>1$. In fact, one of the remarkable properties of the spectral flow operator is that the violation of the total winding number they induce is bounded: In a tree-level $n$-point scattering amplitude, the total winding number is bounded555In a genus-$g$ amplitude this bound is expected to be $|\sum_{i=1}^{n}\omega_{i}|\leq n-2+2g$. by

[TABLE]

Amplitudes that do not obey this bound vanish identically. This bound, which was originally obtained by direct computation [28], was explained in [6] in terms of the symmetries of the WZW model. This is also consistent with the Ward identities derived in [29], and with the bounds obtained in the T-dual model [30].

When considering (10), two main questions arise:

• •

How to understand the presence of the spectral flow operator in a natural way from the CFT computation point of view666It was pointed out by Xi Yin that the presence of the spectral flow operator should be derivable from the bootstrap approach in the worldsheet CFT2. Here, we will resort to the so-called $H_{3}^{+}$-Liouville correspondence, which follows from the identity between modular differential equations, and therefore this can be seen as an indirect realization of that idea.. The way in which we will address this question involves the correspondence between WZW correlators such as (10) and correlators in LFT. This will lead us to make more precise the analysis of [31], where the spectral flow operators in relation to Liouville theory was first discussed.

• •

How to deal with multiple insertions of the spectral flow operator in a given string amplitude. In particular, how to deal with the accessory worldsheet marks where the spectral flow operators are inserted. Gauge invariance implies that the amplitude should not depend on those specific points $u^{\pm}_{a}$. The independence was proven for one or two spectral flow operators777Here, we will work in the so-called $m$-basis, in contrast to other works in which the spectral flow operator is written in the Mellin-transformed $x$-basis. In the $m$-basis, the independence from the inserting points $u_{a}^{\pm}$ becomes clearer. [6, 32]; here we want to prove this for an arbitrary number of them.

In answering these questions, we will proof the statements (a) and (b) above.

4 $H_{3}^{+}$-Liouville correspondence redux

To start our proof of (a) and (b), we have to work out the expression for $\tilde{C}^{3+n_{+}+n_{-}}_{\text{AdS}_{3}}$. The first step to compute this correlator is to consider the so-called $H_{3}^{+}$-Liouville correspondence, which permits to write $SL(2,\mathbb{R})$ WZW $n$-point correlation functions888The $SL(2,\mathbb{R})$ WZW correlation functions, ${C}_{\text{AdS}_{3}}^{n}$, are usually defined by analytic extension from the correlators of the gauged $H^{+}_{3}=SL(2,\mathbb{C})/SU(2)$ WZW model. The discrete states appear as poles in the amplitudes, while the continuous series follow naturally from the normalizable states of the $H_{3}^{+}$ model. in terms of $(2n-2+\omega)$-point LFT correlation functions, where $\omega$ is the total winding number in the WZW correlator. This correspondence follows from the relation existing between the solutions to the Knizhnik-Zamolodchikov (KZ) equation and the solutions to the Belavin-Polyakov-Zamolodchikov (BPZ) equation [33]. This was revisited and generalized in [34, 29]. In its general form, which includes the winding number, the $H_{3}^{+}$-Liouville correspondence formula reads999It corresponds to formula (3.29) in [29] with $r=\omega$ and making $j_{i}\to-j_{i}$. This is also formula (3.36) of [34] making $m_{i}\to-m_{i}$, $j_{i}\to-j_{i}$, and setting $\omega_{i}=0$. A generalized version of the formula for arbitrary genus-$g$ and $\omega_{i}=0$ was given in [35], where the $n$-point functions in the $SL(2,\mathbb{R})$ WZW model are in correspondence with the $(2n-2+2g)$-point functions of LFT.

[TABLE]

where $\kappa_{i}=m_{i}/\sqrt{k}-\sqrt{k}/2$, $\bar{\kappa}_{i}=\bar{m}_{i}/\sqrt{k}-\sqrt{k}/2$, $\beta_{ii^{\prime}}=(1-\omega_{i}\omega_{i^{\prime}}){k}/{2}-\omega_{i}{m}_{i^{\prime}}-\omega_{i^{\prime}}{m}_{i}-{m}_{i}-{m}_{i^{\prime}}$, $\bar{\beta}_{ii^{\prime}}=(1-\omega_{i}\omega_{i^{\prime}}){k}/{2}-\omega_{i}\bar{m}_{i^{\prime}}-\omega_{i^{\prime}}\bar{m}_{i}-\bar{m}_{i}-\bar{m}_{i^{\prime}}$, and where $\delta^{(2)}(z)=\delta(z)\delta(\bar{z})$. $c_{b}$ is a $b$-dependent factor that is unimportant here. We are assuming $\sum_{i=1}^{n}\omega_{i}\geq 0$, without loss of generality101010To be more precise, the step $\omega=n-2$ of formula (13) was not proven in [29] but it was presented as an educated conjecture, the reason being that in that case there are no degenerate fields in the LFT correlator an so its form can not be constrained by the BPZ equation. The case $\omega=n-2$ was later proven in [36] using free field techniques.; an analogous formula exists for $\sum_{i=1}^{n}\omega_{i}\leq 0$. The integrals are defined on the whole $\mathbb{C}$-plane. The first expectation value on the third line of (13) is a ($2n-2+\omega$)-point correlation function of primary fields in the theory of a free111111It can also be realized as an $n$-point correlation function of a $c<1$ matter CFT coupled to LFT, where the operators $e^{i\sqrt{k/2}\chi}\times V_{-1/(2b)}$ act as screening charges; this also explains the factor $c_{b}^{\omega}/\Gamma(n-1-\omega)$ as coming from combinatorics. boson $\chi(z,\bar{z})=\chi(z)+\bar{\chi}(\bar{z})$. The second expectation value on the third line of (13) is an ($2n-2+\omega$)-point function of exponential primary operators in LFT; namely

[TABLE]

where the Liouville action is

[TABLE]

The relation between the quantum numbers in the WZW theory and in LFT is

[TABLE]

with $i=1,2,...,n$. The constant $\mu$ is the Liouville cosmological constant, which here is fixed in terms of $b$. The constant parameter $b$ enters in the LFT central charge as $c=1+6Q^{2}$. For concreteness, let us consider the case of continuous representations $j_{i}=1/2-ip_{i}$ with $p_{i}\in\mathbb{R}$ for $i=1,2,3$, although exactly the same steps hold for arbitrary $SL(2,\mathbb{R})$ representations. Notice that the relation (16) between the $SL(2,\mathbb{R})$ isospin $j_{i}$ and the LFT momenta $\alpha_{i}$ is such that states of the continuous representation $\mathcal{C}_{j\in 1/2+i\mathbb{R}}^{\lambda,\omega}$ get mapped into the normalizable states of LFT, namely those with $\alpha_{i}\in Q/2+i\mathbb{R}$.

Out of the $2n-2-\omega$ operators in the LFT correlator of (13), $n-2-\omega$ of them have momentum $\alpha=-{1}/{(2b)}$; see Figure 1. This special value of the momentum corresponds to non-normalizable, degenerate states in LFT, meaning that $n-2-\omega$ states in the LFT correlator contain null descendants in the Verma modulo. The number of degenerate fields $V_{-1/(2b)}$ controls the violation of the winding number. This number goes from [math] ($\omega=n-2$) to $n-2$ ($\omega=0$). In this formula, the bound $\omega\leq n-2$ comes from the Ward identities (2.31) of reference [29], whose solution is the product of $\omega+1$ $\delta$-functions in equation (3.26) therein121212Using the notation of [29], if $\omega\geq n-1$, one finds at least $n$ delta functions for $n$ variables $\mu_{i}$, which together impose $\mu_{i}=0$, i.e. the $n$-point function with $\omega\geq n-1$vanishes almost everywhere in $\mu$-space, in agreement with inequality (12) herein. The author thanks Sylvain Ribault for clarifying this point..

We can use the $H_{3}^{+}$-Liouville correspondence formula (13) to write the correlator (10) as

[TABLE]

where $\alpha_{i}=b(-j_{i}+b^{-2}/2+1)=(k/2-1/2+ip_{i})/\sqrt{k-2}$, $i=1,2,3$, with $j_{i}=1/2-ip_{i}$, $p_{i}\in\mathbb{R}$, and $b=1/\sqrt{k-2}$. This implies that for the remaining operators we have $\alpha_{a>3}=0$ with $a=4,5,...,n_{-}+n_{+}$.

We already see some magic working here: All the dependence on the variables $u^{-}_{A}$ have disappeared from the expression above! We will see next that, by rewriting this expression in a smart way, also the remaining variables $u^{+}_{a}$ are seen to be superfluous. This is not evident from (4) but it will become clear after some algebraic manipulation.

In the expression above, the subscript $\epsilon$ in the normalization factors $Z_{\pm,\epsilon}$ appears because we want to use the freedom in the normalization of the spectral flow operators to eventually cancel the divergent factor $(\Gamma(\epsilon\to 0))^{n_{-}}$ together with other divergences that might eventually appear through the calculation.

From (10), we have $\sum_{i=1}^{3}\omega_{i}+n_{+}-n_{-}=0$. We will consider the case $n_{+}-n_{-}=-1$, which corresponds to $\sum_{i=1}^{3}\omega_{i}=1$. It involves the contribution of the $n_{+}+n_{-}=2n_{-}-1$ spectral flow operators, with $n_{-}$ being arbitrary. In other words, it corresponds to $\sum_{i=1}^{3}m_{i}=\sum_{i=1}^{3}\bar{m}_{i}=(n_{+}-n_{-})k/2=-k/2$. We also assume $m_{i}=\bar{m}_{i}$ for simplicity.

Our strategy will be the following: $1)$ We will start with the expression (4) for $\tilde{C}^{3+n_{-}+n_{+}}_{\text{AdS}_{3}}$, in which we used the step $\omega=0$ of the formula (13) to express $\tilde{C}^{3+n_{-}+n_{+}}_{\text{AdS}_{3}}$ in terms of a LFT correlator. $2)$ We will work out the expression as much as we can using a series of integral identities and duality relations. $3)$ We will resort again to formula (13) and use the step $\omega=1$ of the sum to verify that, when $n_{-}=n_{+}+1$, the original quantity $\tilde{C}^{3+n_{-}+n_{+}}_{\text{AdS}_{3}}$ actually coincides with the $SL(2,\mathbb{R})$ WZW 3-point amplitude that violates the winding number in $+1$. In other words, we will see that the step $\omega=0$ of the sum appearing in formula (13), when $n_{-}-n_{+}=1$ spectral flow operators are considered, coincides with the step $\omega=1$ of the same formula (13) when no spectral flow operators are present. That is to say, we will prove the consistency between the FZZ prescription and the $H_{3}^{+}$-Liouville correspondence; see (25) below.

5 Integral representation and duality

In order to get a closed expression for $\tilde{C}^{3,n_{+},n_{-}}_{\text{AdS}_{3}}$, we still need to solve the LFT correlators on the right hand side of (4). To do so, we could try with the standard Coulomb gas realization [37], namely

[TABLE]

with

[TABLE]

where ${\tilde{s}}=1+b^{-2}-b^{-1}\sum_{i=1}^{\tilde{n}}\alpha_{i}$ and where the integrals are on the whole $\mathbb{C}$-plane. –The factor $\mu^{\tilde{s}}\Gamma(-\tilde{s})$ in (18), together with the $\tilde{s}$ insertions at $w_{1},w_{2},...,w_{\tilde{s}}$ come from the integration over the zero mode of the Liouville field $\langle\varphi\rangle=\varphi-\delta\varphi$, and $\mu$ is the Liouville cosmological constant.– However, although realization (18) turns out to be useful in many contexts, it would not be of help here. Instead, it is convenient to resort to its dual realization, which amounts to use the self-duality that LFT exhibits under $b\leftrightarrow b^{-1}$. This permits to alternatively express the LFT correlators as follows

[TABLE]

where $s=b^{2}\tilde{s}$ and $\tilde{\mu}=\mu^{-b^{-2}}\pi^{b^{-2}-1}\Gamma(1-b^{-2})(\Gamma(b^{2}))^{b^{-2}}(\Gamma(1-b^{2}))^{-b^{-2}}(\Gamma(b^{-2}))^{-1}$. Here, because of (16), we have a particular value of $\mu$ and therefore of $\tilde{\mu}$. Nevertheless, we prefer to write the expressions for generic $\tilde{\mu}$ as it permits to keep track of the Knizhnik-Polyakov-Zamolodchikov scaling of the correlators and to have control over the string coupling constant on AdS3 [38].

The ones appearing on the right hand side of (20) are $s$ Selberg-type integrals over $\mathbb{CP}^{1}\backslash\{z_{1},...,z_{n}\}$. The measure is $d^{2}w_{r}=(i/2)dw_{r}d\bar{w}_{r}$ with, say, $w_{r}=x_{r}+iy_{r}$, $\bar{w}_{r}={x}_{r}-i{y}_{r}$. To solve (20) it is convenient to Wick-rotate $x_{r}\to ix_{r}$ and introduce a deformation parameter in $|w_{r}|^{2}=-x_{r}^{2}+y_{r}^{2}+i\varepsilon$ to avoid the poles at $x_{r}=\pm y_{r}$. The way to proceed is first to define coordinates $x^{\pm}_{r}=\pm x_{r}+y_{r}$ and then integrate over $x^{-}_{r}$ while keeping $x^{+}_{r}$ fixed131313The author thanks Matías Leoni for discussions about this point..

Of course, the integral formula (18) only makes sense for kinematical configurations such that $\tilde{s}\in\mathbb{Z}_{\geq 0}$. This is because $s$ in (19) is the number of integrals to be performed! Nevertheless, one can make sense out of (20) in more general cases: To do so, one first assumes $s\in\mathbb{Z}_{\geq 0}$, then solves the integrals in terms of elementary functions, and finally analytically continues the expressions to $s\in\mathbb{C}$. Here, throughout the formulae, we will assume this kind of analytic extension.

Using the integral realization (20), we get the following expression for $\tilde{C}_{\text{AdS}_{3}}^{\ 3,n_{-}-1,n_{-}}$

[TABLE]

with $s(k-2)=-\sum_{i=1}^{3}\alpha_{i}/b+(1+n_{+}+n_{-})/(2b^{2})+1+1/b^{2}=-i\sum_{i=1}^{3}p_{i}-1/2+(k/2-1)(2n_{-}-1)$. Notice the factor $(\Gamma(1-k))^{1-n_{-}}$ in the expression above, which for $k\in\mathbb{Z}_{>2}$ represents a factor zero for $n_{-}>1$. This factor can be eventually absorbed in the normalization $(Z_{+,\epsilon})^{1-n_{-}}$, together with other factors; see below. The factor $\Gamma(-s)$, which is divergent for $s\in\mathbb{Z}_{\geq 0}$, is the well-known factor that accompanies the resonant correlators in the Coulomb gas realization; this leads to the residues of the observables with the appropriate factor once one uses the relation $\Gamma(-s)\sim\Gamma(0)(-1)^{s}/s!$ and isolates the single pole.

Expression (21) is cumbersome and somehow obscure: In particular, it does not make explicit the fact that $\tilde{C}_{\text{AdS}_{3}}^{\ 3,n_{-}-1,n_{-}}$ does not depend on the variables $u^{+}_{a}$. Therefore, it is still necessary to simplify it further. To do so, we can resort to the integral relation141414As a consistency check, we can use integral formula (22) together with the $H_{3}^{+}$-Liouville correspondence formula (13) to write the resonant WZW $n$-point correlators with momenta satisfying $\sum_{i=1}^{n}j_{i}=n-1$ and $\sum_{i=1}^{n}\omega_{i}=0$ and show they take the form $C_{\text{AdS}_{3}}^{n}\propto\prod_{1\leq i<j}^{n}|z_{i}-z_{j}|^{-4t_{ij}}$ with $t_{ij}=(1-j_{i})(1-j_{j})/(k-2)+(m_{i}+k\omega_{i}/2)(m_{i}+k\omega_{i}/2)-m_{i}m_{j}$. This expression can be derived independently, for example using the Wakimoto free field representation. [39, 40]

[TABLE]

We can use this formula to change the number of integrals over the variables $y_{l}$ from $n_{+}+n_{-}+1=2n_{-}$ to $s-n_{-}$. This amounts to consider in (22) the case $n=2n_{-}$, $m=s-n_{-}$. This yields

[TABLE]

This expression, although still complicated, exhibits some promising simplifications with respect to (21). In particular, we notice that the exponent $2$ in the factors $|w_{r}-w_{r^{\prime}}|^{2}$ permits to use formula (22) again to integrate out the variables $w_{r}$. Considering in (22) the case $n=s$, $m=0$, the expression for $\tilde{C}^{\ 3,n_{-}-1,n_{-}}_{\text{AdS}_{3}}$ reduces to

[TABLE]

where we have used that $\Gamma(-s)\Gamma(s+1)=(-1)^{n_{-}}\Gamma(s-n_{-}+1)\Gamma(n_{-}-s)$. $c_{b}$ stands for an irrelevant factor, which depends on $b$ but does not depend neither on the momenta $p_{i}$ nor on $m_{i}$.

Remarkably, as we anticipated, the variables $u^{+}_{a}$ have totally disappeared from the expression! Moreover, using (20) we can recognize the second line of the last expression as the integral representation of a LFT 3-point function. This yields,

[TABLE]

where $\alpha_{i}=b(k/2-1/2-ip_{i})$. We have absorbed in the normalization some factors; more precisely, we fixed $Z_{+,\epsilon}=\Gamma(\epsilon)$ and $Z_{-,\epsilon}=Z_{+,\epsilon}\tilde{\mu}\Gamma(b^{-2})/(b^{4}\pi\Gamma(1-b^{-2}))$ –this can actually be seen as a consistency check, since it was not a priori obvious that both the dependence on the arbitrary number $n_{-}$ and the divergences could have been absorbed in the normalization factors–.

We can express (24) in terms of the $\Upsilon$-functions introduced in [41] by simply evaluating the Dorn-Otto-Zamolodchikov-Zamolodchikov formula for the LFT 3-point function. Besides, resorting to the functional identity151515This function is defined in terms of the Barnes double Gamma function, $\Gamma_{2}(a|b,c)$, as follows: $G(j)=\Gamma_{2}(-j|1,k-2)\Gamma_{2}(k-1+j|1,k-2)(k-2)^{j(k-1-j)/(2k-4)}$. See (2.13)-(2.16) in [6] and references therein. $G(x)=b^{-b^{2}x^{2}-(b^{2}+1)x}\Upsilon_{b}^{-1}(-bx)$, we can easily show that expression (24) reproduces the results of [7, 6, 42, 36] for the winding-violating 3-point amplitude in AdS3.

Alternatively, we can revert the argument and use again formula (13) to verify that the right hand side of (24) is nothing but the winding-violating WZW 3-point function itself. Then, we conclude

[TABLE]

This is precisely the identity we wanted to prove: The $(2+2n_{-})$-point function $\tilde{C}_{\text{AdS}_{3}}^{3,n_{-}-1,n_{-}}$ actually gives the 3-point function $C^{3}_{\text{AdS}_{3}}$ with total winding number $\sum_{i=1}^{3}\omega_{i}=1$.

6 The $n$-point function

Expression (24)-(25) manifestly show the independence from the inserting points of the auxiliary spectral flow operators, i.e. ${\partial}_{u^{\pm}_{a}}\tilde{C}^{3,n_{-}-1,n_{-}}_{\text{AdS}_{3}}=0$. This is far from evident if one starts, for example, with representation (21), which seemed to depend at least on the $u^{+}_{a}$. Furthermore, we argued that, after having chosen the adequate normalization, the result do not depend on $n_{-}$ and $n_{+}$ separately, but it depends on the difference $n_{-}-n_{+}$. In other words, the vertices $\Phi_{k/2,k/2,k/2}^{-1}$ and $\Phi_{k/2,-k/2,-k/2}^{1}$ neutralize each other.

Going back to the independence from $u^{\pm}_{a}$, we notice that a similar phenomenon happens with $n$-point functions: Consider for example the $n$-point function

[TABLE]

Using (13) and (20), this yields

[TABLE]

with $s(k-2)=-i\sum_{i=1}^{n}p_{i}+1-n/2+(k/2-1)n_{-}$ and $\hat{\beta}_{ij}=\beta_{ij}-2\alpha_{i}\alpha_{j}$. This expression is actually independent from $u_{a}^{-}$, although it does depend on $n_{-}$ yielding $\sum_{i=1}^{n}\omega_{i}=n_{-}$. The independence from the variables $u^{-}_{a}$ is here observed at the level of $n$-point correlation functions, and not only at the level of correlation numbers or amplitudes.

Acknowledgments

The author is indebted to Matthew Kleban and Massimo Porrati for many discussions and ideas. He is also grateful to Christopher Hull, Matías Leoni, Yu Nakayama, and Eliezer Rabinovici for enjoyable collaborations in related subjects. He has also been benefited by discussions with Sylvain Ribault and Xi Yin. Finally, he thanks the hospitality of the following institutions, where different parts of this work were done: the Abdus Salam International Centre for Theoretical Physics, the Center for Cosmology and Particle Physics of New York University, the Simons Center for Geometry and Physics at Stony Brook University.