# Twisted strings in three-dimensional black holes

Sujay K Ashok, Jan Troost

► To cite this version:

Sujay K Ashok, Jan Troost. Twisted strings in three-dimensional black holes. European Physical Journal C: Particles and Fields, 2022, 82, pp.913. 10.1140/epjc/s10052-022-10903-y. hal-04999505

HAL Id: hal-04999505

https://hal.science/hal-04999505v1

Submitted on 20 Mar 2025

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_1.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
# Twisted strings in three-dimensional black holes

Sujay K. Ashok¹,ª, Jan Troost²

¹ The Institute of Mathematical Sciences, Homi Bhabha National Institute (HBNI), IV Cross Road, C.I.T. Campus, Taramani, Chennai 600113, India

² Laboratoire de Physique de l'École Normale Supérieure CNRS, ENS, Université PSL, Sorbonne Université, Université de Paris, 75005 Paris, France

Received: 30 June 2022 / Accepted: 9 October 2022 / Published online: 14 October 2022

© The Author(s) 2022

**Abstract** We revisit the classical dynamics of fundamental strings in BTZ black holes with NSNS flux. We analyze probe strings in the black hole background and determine their classical energy using a Nambu–Goto action. Three-dimensional gravity has a non-local effect on the metric surrounding a massive object which can be measured by winding strings. We also study the behaviour of short and long strings in the Wess–Zumino–Witten orbifold and show that their energy matches the long string probe analysis. In the process, we fix subtleties in the Lorentzian choice of NSNS flux. In Euclidean signature, we analyze the one-loop fundamental string partition function on the BTZ black hole and interpret the off-shell degrees of freedom as those of a coset orbifold. Finally, we speculate on how to identify the quantum Lorentzian string spectrum from the Euclidean orbifold partition function.

## Contents

1 Introduction .................................... 1

2 String theory on black hole backgrounds ........ 2

2.1 The BTZ black hole .......................... 2

2.2 The black hole and the group ................ 2

2.3 An ambiguity .................................. 3

3 Classical strings in the black hole orbifold .... 3

3.1 The geodesics ................................ 4

3.2 The winding strings .......................... 4

3.3 The black hole orbifold ...................... 5

3.4 The string energy and angular momentum .... 5

3.5 The energy of wound geodesics ............... 6

4 The winding string probing a black hole .... 7

4.1 The winding string probe ...................... 7

4.2 The winding string in the Fefferman–Graham expansion ........................................ 9

5 The partition function and the Euclidean twist .................................... 10

5.1 The interpretation of the partition function .................................... 10

5.2 The sigma model on the Euclidean black hole .................................... 10

5.3 Expectations for twisted sectors ........................................ 11

5.4 The partition function ........................................ 12

6 Conclusions ........................................ 15

Appendix A: The Euclidean black hole background .................................... 16

A.1 The metric on the Euclidean black hole .................................... 16

A.2 The determination of the partition function .................................... 16

Appendix B: The energy of a twisted short string .................................... 17

References ........................................ 17

## 1 Introduction

Anti-de Sitter space-times play a central role in our study of holography in quantum gravity. Moreover, string theory provides a theory of quantum gravity in which holography is on a firm footing. Thus, understanding string theory in asymptotically anti-de Sitter space-times even better remains a crucial task. Analyzing the classical dynamics of fundamental strings in three-dimensional anti-de Sitter space-time was instrumental to make headway in the determination of the spectrum in the quantum theory [1,2]. See e.g. [3] and references therein for earlier work. This laid the basis for making progress in an example of holography which is controlled even at string scale curvature. It remains one of the best understood examples of holography in quantum gravity. See e.g. [4–8] for further recent progress.

In this paper, we wish to make a contribution to our understanding of string theory in other asymptotically AdS₃ space-times. Prominent examples of such backgrounds are provided by black hole solutions in three-dimensional anti-de Sitter space-time, the BTZ black holes [9,10]. While many results

<footnote>ª e-mail: sashok@imsc.res.in (corresponding author)</footnote>
on the classical solutions of fundamental strings moving in these black holes have been obtained, as well as some insight in the quantum spectrum [11–18], we believe they are usefully extended by our results. Indeed, any further step towards understanding a quantum theory of gravity on a black hole background is worthwhile.

In Sect. 2, we review the Lorentzian BTZ black hole background, its topology as well as its relation to the SL(2, $\mathbb{R}$) group manifold. We will recognize that string world sheet embeddings in the BTZ space-time give rise to interesting questions as to the definition of the string world sheet two-form potential term. In Sect. 3 we review classical string solutions to the extent that they were known, based on particle geodesics with added winding. We embed the solutions in the Wess–Zumino–Witten orbifold representing the BTZ black hole and analyze their energy in more detail. In Sect. 4, we perform a Nambu–Goto analysis of a long string winding the black hole. We relate the analysis to that of a long string in a generic asymptotically AdS$_3$ space-time with curved boundary. Comparing the analysis to the Wess–Zumino–Witten results allows us to identify a preferred definition of the NSNS potential term in the world sheet model. Section 5 is dedicated to a Euclidean counterpart to the preceding sections. We analyze how to wind Euclidean solutions such that one obtains classical solutions in the twisted sector of the black hole orbifold. The path integral in the Euclidean orbifold coset conformal field theory is computed, and we identify expected contributions to the partition sum. Section 6 contains conclusions while Appendix A briefly reviews relevant geometries. Appendix B ties up a loose end.

## 2 String theory on black hole backgrounds

In this section, we review the topology of the BTZ black hole and the relation of the black hole to the SL(2, $\mathbb{R}$) group manifold [9,10]. We stress that the topology of the black hole leads to subtleties in the definition of the perturbative fundamental string world sheet model.

### 2.1 The BTZ black hole

We study fundamental string theory on the BTZ black hole background [9,10] with metric

$$ds^2 = \frac{l^2 r^2}{(r^2 - r_+^2)(r^2 - r_-^2)} dr^2 - \frac{(r^2 - r_+^2)(r^2 - r_-^2)}{l^2 r^2} dt^2 + r^2 \left(d\phi - \frac{r_+ r_-}{lr^2} dt\right)^2, \quad (2.1)$$

supplemented with an NSNS flux $H_{(3)}$ proportional to the volume of space-time. We imagine a number of extra dimensions necessary to form a consistent bosonic or super string

background [19]. The inner horizon at radius $r_-$ and the outer horizon at radius $r_+$ are set by the black hole mass $M$ and angular momentum $J$ through:<fnref n="1" />,<fnref n="2" />

$$M = \frac{r_+^2 + r_-^2}{l^2}, \quad J = \pm \frac{2r_+ r_-}{l}. \quad (2.2)$$

We will often set the cosmological constant length scale $l$ to be equal to one by a choice of units. The coordinate system (2.1) in which the BTZ black hole is represented makes for an analogy to common coordinate choices for four-dimensional black holes. However, the geometry of BTZ black holes is quite different.

### 2.2 The black hole and the group

As discussed in great detail by BHTZ [10], the BTZ black hole arises from the SL(2, $\mathbb{R}$) group manifold as follows. The SL(2, $\mathbb{R}$) group manifold with left-right invariant metric is the three-dimensional hyperboloid

$$x_{-1}^2 + x_0^2 - x_1^2 - x_2^2 = 1, \quad (2.3)$$

with the metric induced from the flat embedding space. Topologically, there is a circle in the $(x_{-1}, x_0)$ plane that can never shrink to zero size. Indeed, the first homotopy group of the group manifold is non-zero: $\Pi_1(\text{SL}(2, \mathbb{R})) = \mathbb{Z}$. The universal covering group $\widetilde{\text{SL}}(2, \mathbb{R})$ covers the group manifold and has a trivial fundamental group. It has the topology of $\mathbb{R}^3$. The BTZ black hole is obtained by dividing the universal covering group by a $\mathbb{Z}$ orbifold action. A generator of the group acts on a $2 \times 2$ standard matrix representation $g$ of the group elements of SL(2, $\mathbb{R}$) as:

$$g \rightarrow e^{\pi(r_+ - r_-)\sigma_3} g e^{\pi(r_+ + r_-)\sigma_3}, \quad (2.4)$$

where $\sigma_3$ is the diagonal Pauli matrix with entries $\pm 1$. Crucially, when both the horizon radii $r_+$ and $r_-$ are non-zero, the orbifold action has no fixed points. This is equally true on the covering group. Therefore, the orbifolded manifold is regular and has the topology of $\mathbb{R}^2 \times S^1$. The circle generated by the orbifold action is the one parameterized by the coordinate $\phi$ in the patch where the BTZ coordinates (2.1) are valid.

The BHTZ analysis carries further and involves the metric inherited from the group manifold and the causal structure it induces [10]. They exclude from the BTZ geometry the region of the manifold which contains circles that are null or time-like on the physical ground that these lead to paradoxes,

<footnote n="1">¹ Our convention is that the radius $r_-$ is a positive real number. The mass $M$ is dimensionless while the angular momentum $J$ has dimension of length. The Ricci scalar equals $R = -6/l^2$.</footnote>

<footnote n="2">² Note that if we make the coordinates $r, t$ dimensionless through the replacement $(r, t) \rightarrow (lr, lt)$, then we find a factor of $l^2$ up front in the metric. We will set this length scale equal to $l = \sqrt{k\alpha'}$ later on.</footnote>
and that the coupling to matter would create a singularity at the boundary surface $r = 0$. Wherever the topologically non-trivial circle becomes null, the BHTZ proposal is to introduce a two-dimensional boundary to the BTZ space-time [10].

## 2.3 An ambiguity

We have signaled two aspects of the Lorentzian BTZ black hole backgrounds that make it more subtle to define a unique world sheet theory. The first is the non-trivial topology of the orbifolded universal covering group which is $\mathbb{R}^2 \times S^1$. The second is the introduction of boundaries in space-time. We wish to address subtleties associated to the first aspect and will hardly remark on the second.

The world sheet theory depends on a NSNS two-form flux potential $B_{(2)}$. One way to define the two-form flux term is as the integral of the field strength $H_{(3)} = dB_{(2)}$ over a three-cycle $\Sigma_3$ with a boundary that coincides with the fundamental string world sheet $\Sigma = \partial\Sigma_3$. If the world sheet $\Sigma$ is topologically trivial i.e. contractible (and we have a quantized integral over three-cycles in the target space) then that definition of the flux term in the world sheet action is unique. However, we will study winding strings on BTZ black hole backgrounds. These have world sheets that are rather of the form $\Sigma = \mathbb{R} \times S^1$ where the $S^1$ winds the topologically non-trivial circle in the background $\mathbb{R}^2 \times S^1$ space-time. If the flux term were to fall off at infinity, we could still define the world sheet flux term in terms of the integral of the flux $H$ over a semi-infinite cylinder. However, this fall-off condition is not satisfied in the background under consideration – it is easy to see that the $H_{(3)}$ flux grows with radius since it is proportional to $\sqrt{-G}$ where $G$ is the determinant of the BTZ metric (2.1). Another attempt to define the theory could go through the compactification of a cylindrical world sheet to a sphere, but this would lead to a spherical world sheet in a space-time of the form $\mathbb{R} \times S^2$ and would therefore give rise to the necessity to choose a gauge invariant flux integral $\int_{S^2} B$ in order to define the model. Thus, we are stuck with string world sheets that do not arise as boundaries of compact three-cycles and thus the action is hard to define in terms of the gauge invariant three-form field strength $H_{(3)}$ only.

We can take the point of view that world sheets that have no boundaries have an action equal to the $B_{(2)}$ field integrated over the world sheet $\Sigma$. Because the world sheet has no boundary, the action is gauge invariant. We argue that this point of view gives rise to a related ambiguity. To make this discussion concrete, let us focus on the BTZ black hole background in the coordinates (2.1). The $H_{(3)}$ flux is proportional to

$$H_{(3)} = rdr \wedge dt \wedge d\phi. \qquad (2.5)$$

We can integrate the $H_{(3)}$ flux up to a $B_{(2)}$ potential:

$$B_{(2)} = \frac{1}{2}(r^2 - c)dt \wedge d\phi, \qquad (2.6)$$

where we introduced a radial integration constant $c$. Suppose we have a world sheet of topology $\mathbb{R} \times S^1$ stretching along the directions $(t, \phi)$. Imagine that we wish to define the world sheet action using the integral over a three-cycle which is an annulus times a line inside the space-time topology $\mathbb{R}^2 \times S^1$. The space-time cylinder has one boundary equal to the world sheet that we study, and a second boundary which we will call the cut-off surface $\Sigma_{co}$. When we integrate the $H_{(3)}$ flux over the finite cylinder, we schematically find:

$$ \begin{aligned} \int_{\text{cylinder}} H_{(3)} &= \int_{\Sigma} B_{(2)} - \int_{\Sigma_{co}} B_{(2)} \\ &= \frac{1}{2} \int_{\Sigma} (r^2 - c) dtd\phi - \frac{1}{2} \int_{\Sigma_{co}} (r_{co}^2 - c) dtd\phi \\ &= \frac{1}{2} \int (r^2 - r_{co}^2) dtd\phi. \end{aligned} \qquad (2.7) $$

What this calculation illustrates is that the ambiguity in the choice of cut-off surface $r_{co}$ is directly related to the ambiguity in our choice of integration constant $c$ in the isolated world sheet $B_{(2)}$-field term. Therefore, either we need a cut-off surface when we work in terms of the $H_{(3)}$-flux (and the world sheet action is then independent of the constant term in the $B_{(2)}$-field), or we define the world sheet action in terms of the $B_{(2)}$-field in which case it explicitly depends on the constant $c$ (namely the $B_{(2)}$-field flux along the non-trivial two-cycle). Thus, the definition of the model requires a choice. We will encounter this subtlety in various guises in what follows – here we have concentrated on the bare-bones origin. For related but different discussions of the subtlety, see e.g. section 5 of [14] and section 3 of [15].

Finally, the potential introduction of space-time boundaries (at $r = 0$) [10] is a daunting prospect from the view point of the world sheet theory [13]. We rather imagine that a microscopic definition of fundamental string perturbation theory in F1-NS5 backgrounds, with the addition of appropriate string theory matter and sources will take care of the protection of chronology near the BHTZ $r = 0$ surface. This deserves to be the object of further study.

## 3 Classical strings in the black hole orbifold

After these preliminary observations, we recall the shape of space-like and time-like geodesics in BTZ black hole backgrounds [13,20]. We can dress these geodesic solutions with winding to find winding classical strings in black hole backgrounds [11–13]. We calculate the on-shell energy generically, and at zero mass in particular. We compare our results
to the analysis of classical strings in three-dimensional anti-de Sitter space [1]. These results will provide useful points of reference both to analyze the Nambu–Goto action of a long string probe in Sect. 4 and for the analysis of the conformal field theory partition function on the black hole background in Sect. 5.

## 3.1 The geodesics

To study the motion of classical fundamental strings in the black hole background, it is useful to understand the motion of particles first [13,20]. A relativistic particle with mass $m$ follows geodesics on the black hole. We parameterize the geodesics using world line proper time $\tau$ such that it satisfies the equation:<fnref n="3" />

$$G_{\mu\nu} \frac{dx^\mu}{d\tau} \frac{dx^\nu}{d\tau} = -m^2. \qquad (3.1)$$

The geodesics have been computed in the literature, and we briefly recall the results [13,20]. The energy $E$ and angular momentum $L$ of the particle are two constants of motion associated to the Killing vectors that translate time $t$ and the angular coordinate $\phi$ in the black hole background (2.1). The Killing vectors give rise to the conserved quantities:

$$ 
\begin{aligned}
E &= (-M + r^2)i + \frac{J}{2}\dot{\phi}, \\
L &= r^2\dot{\phi} - \frac{J}{2}i,
\end{aligned} 
\qquad (3.2) $$

where we denoted by a dot the derivative with respect to world line time $\tau$. There is one remaining differential equation in the radial variable $y = r^2$. In terms of the parameters $(\alpha, \beta)$

$$ 
\begin{aligned}
\alpha &= E^2 - L^2 + Mm^2, \\
\beta &= L^2 M - \frac{m^2 J^2}{4} - JEL,
\end{aligned} 
\qquad (3.3) $$

the differential equation reads

$$ \dot{y}^2 = -4m^2y^2 + 4\alpha y + 4\beta. \qquad (3.4) $$

Time-like, light-like and space-like geodesics can be integrated from this equation in terms of their energy $E$ and angular momentum $L$. We concentrate on two classes of geodesics that are of particular interest to us. These two classes are time-like geodesics and space-like geodesics with large enough energy such that $\alpha^2 + 4m^2\beta > 0$. Time-like geodesics are the starting point for finding short winding strings [1]. Time-like geodesics have $m^2 > 0$ and the solution to the radial

equation reads:

$$ r^2 = \frac{\alpha}{2m^2} + \frac{\sqrt{\alpha^2 + 4m^2\beta}}{2m^2} \sin 2m\tau. \qquad (3.5) $$

The geodesic stretches over an interval in the radial direction. The minimal and maximal radius depend on the parameters $(M, J; E, L)$. An example geodesic in a $J = 0$ zero angular momentum black hole at zero particle angular momentum $L = 0$ will have a radial evolution between $r = 0$ and $r_{max}^2 = E^2/m^2 + r_+^2$, namely from the center to outside the outer horizon.

Space-like geodesics with large enough energy such that $\alpha^2 + 4m^2\beta > 0$ are useful to find long winding strings. They have the radial trajectory:

$$ r^2 = \frac{\alpha}{2m^2} + \sqrt{\frac{\alpha^2 + 4m^2\beta}{4m^4}} \cosh \sqrt{-4m^2\tau}. \qquad (3.6) $$

At zero angular momenta $J = 0 = L$ and large energy, the radial geodesic for a tachyon stretches from zero radius all the way to infinity. For a more complete discussion of classes of geodesic solutions, we refer to [13,20].

In string theory (or e.g. a Kaluza–Klein theory), the particle on the black hole background has a mass squared determined by the on-shell condition which schematically reads:

$$ -\frac{km^2}{4} + h = 0, \qquad (3.7) $$

where $h$ is a quantity that measures a property of the internal degree of freedom<fnref n="4" /> and we have restored the cosmological length scale $l = \sqrt{k\alpha'}$, related to the level $k$ of the Wess–Zumino–Witten model to be discussed in Sect. 3.3.

## 3.2 The winding strings

It is well-known how to add winding to the string consistently with the string equations of motion in conformal gauge [1, 11, 13, 14]. The winding solutions read:

$$ 
\begin{aligned}
t(\tau, \sigma) &= t_{\text{geodesic}}(\tau) + w\tau \\
\phi(\tau, \sigma) &= \phi_{\text{geodesic}}(\tau) + w\sigma \\
r(\tau) &= r_{\text{geodesic}}(\tau),
\end{aligned} 
\qquad (3.8) $$

where the lower index indicates any solution for the time evolution of a geodesic as discussed in Sect. 3.1. The winding solution is a puffed up geodesic, which winds the angular direction $\phi$ and is appropriately stretched in time.

<footnote n="4">⁴ For example, the quantity $h$ could be set by an internal conformal dimension in a compact conformal field theory defining a compact factor of a string background or a mass due to a Kaluza–Klein momentum.</footnote>

<footnote n="3">³ We set $l = 1$ in the following equations.</footnote>
We presented the classical solutions in conformal gauge. To find the physical spectrum of winding strings, we still need to solve the on-shell conditions. In the next subsection, we will solve these conditions, carefully embed the solutions into an orbifold Wess–Zumino–Witten model and analyze their physical properties in more depth.

### 3.3 The black hole orbifold

In the following subsections, we discuss properties of the orbifold Wess–Zumino–Witten model that represents the conformal field theory with the BTZ black hole target. We refer to [11–16] for related analyses. Compared to these useful resources, in this section we present in more detail properties of the classical solutions and solve more explicitly for the on-shell energy.

In our study we concentrate on the region outside the outer horizon. That region can be covered in terms of a group element parameterization:<fnref n="5" />

$$g = e^{\frac{r_+ - r_-}{2}(t + \phi)\sigma_3} e^{\rho\sigma_1} e^{-\frac{r_+ + r_-}{2}(t - \phi)\sigma_3}, \quad (3.9)$$

which consists of three factors equal to exponentials of hyperbolic generators of sl(2, R). The radial coordinate $\rho$ is related to the BTZ radial coordinate $r$ through

$$\cosh^2 \rho = \frac{r^2 - r_-^2}{r_+^2 - r_-^2}. \quad (3.10)$$

We list the (most relevant) current components $J$, $\bar{J}$ in the $\sigma_3$ direction as well as the energy–momentum tensor in black hole coordinates – with $x^{\pm} = \tau \pm \sigma -$:

$$\begin{aligned} J &= -\frac{k}{r_+ - r_-} \left( (r^2 - r_+ r_-) \partial_+ \phi + (-r^2 + r_+^2 + r_-^2 - r_+ r_-) \partial_+ t \right) \\ \bar{J} &= \frac{k}{r_+ + r_-} \left( (r^2 + r_+ r_-) \partial_- \phi + (r^2 - r_+^2 - r_-^2 - r_+ r_-) \partial_- t \right) \end{aligned} \quad (3.11)$$

$$T = k \left( r^2 (\partial_+ \phi)^2 + (r_+^2 + r_-^2 - r^2) (\partial_+ t)^2 - 2 r_+ r_- \partial_+ t \partial_+ \phi + \frac{r^2}{(r^2 - r_+^2)(r^2 - r_-^2)} (\partial_+ r)^2 \right). \quad (3.12)$$

A similar expression holds for the left moving stress tensor component with $\partial_+$ replaced by $\partial_-$. As discussed in Sect. 2,

the black hole orbifold corresponds to a $\mathbb{Z}$ action on the universal cover $\tilde{G}$ of the group $G = SL(2, \mathbb{R})$. The generator of the group is embedded in the left-right isometry group $\tilde{G}_L \times \tilde{G}_R$ that acts on the universal cover. The group action is generated by the zero modes of the left and right currents. We recall that one chooses an embedding of the group $\mathbb{Z}$ such that the action of a generator of the group is [10]:

$$g \to e^{\pi(r_+ - r_-)\sigma_3} g e^{\pi(r_+ + r_-)\sigma_3}, \quad (3.13)$$

which boils down to the identification $\phi \equiv \phi + 2\pi$. Thus, the action of the group $\tilde{G}_L \times \tilde{G}_R$ that commutes with the orbifold action consists of the (left and right) one parameter hyperbolic group actions which are obtained by exponentiating the generator $\sigma_3$. These unbroken symmetries give rise to the energy and angular momentum generators.

We can relate these formulas to those obtained in Sect. 3.1. For instance, we can evaluate the currents and stress tensor on the geodesic solutions. If we declare that all space-time coordinates are $\sigma$ independent, we can substitute the expressions for the time derivatives $i$ and $\dot{\phi}$ (see Eq. (3.2)), and $\dot{r}$ (see Eq. (3.4)), which are all given in terms of the conserved particle energy $E$ and angular momentum $L$ in the formulas (3.11) for the currents and stress tensor. We find the relations valid for particle geodesics:

$$\begin{aligned} J_{\text{particle}} &= \frac{k}{r_+ - r_-} \frac{E - L}{2}, & \bar{J}_{\text{particle}} &= \frac{k}{r_+ + r_-} \frac{E + L}{2}, \\ T_{\text{particle}} &= \bar{T}_{\text{particle}} = -\frac{km^2}{4}. \end{aligned} \quad (3.14)$$

### 3.4 The string energy and angular momentum

After embedding the geodesic solutions, we can apply the twist procedure:

$$\phi \to \phi + w\sigma, \quad t \to t + w\tau, \quad (3.15)$$

to obtain the wound solutions. At the level of the group element, this amounts to the transformation [12]:

$$g \to e^{(r_+ - r_-)wx^+ \sigma^3 / 2} g e^{-(r_+ + r_-)wx^- \sigma^3 / 2}. \quad (3.16)$$

This in turn leads to the shifted currents

$$\begin{aligned} J &= J_{\text{particle}} - (r_+ - r_-) \frac{kw}{2}, \\ \bar{J} &= \bar{J}_{\text{particle}} - (r_+ + r_-) \frac{kw}{2}, \end{aligned} \quad (3.17)$$

<footnote n="5">⁵ Implicitly, we always take the universal cover $\tilde{SL}(2, \mathbb{R})$.</footnote>
and the shifted stress tensor for the solution in the twisted sector:

$$T = T_{\text{particle}} - w(r_{+} - r_{-})J_{\text{particle}} + \frac{k}{4}(r_{+} - r_{-})^{2}w^{2} \quad (3.18)$$

$$\bar{T} = \bar{T}_{\text{particle}} - w(r_{+} + r_{-})\bar{J}_{\text{particle}} + \frac{k}{4}(r_{+} + r_{-})^{2}w^{2}.$$

These shifts implement the twisting operation in the sigma model [1, 12, 13]. Given these currents, it was observed in [11, 12] that the angular momentum generator $L_{\text{string}}$ encoded in the level matching condition is:

$$L_{\text{string}} = -(r_{+} - r_{-})J + (r_{+} + r_{-})\bar{J} + \frac{k}{2}wJ_{BH}. \quad (3.19)$$

From now on, we add an explicit index to the black hole angular momentum $J_{BH}$ to distinguish it from the current component $J$. The string energy $E_{\text{string}}$ equals:

$$E_{\text{string}} = (r_{+} - r_{-})J + (r_{+} + r_{-})\bar{J}. \quad (3.20)$$

In our subsequent discussions we reserve the symbol $E$ to indicate the particle energy and $E_{\text{string}}$ to denote the energy of a winding string solution.

### 3.5 The energy of wound geodesics

Presently, we analyze the winding strings in more detail, following a similar analysis performed in the three-dimensional anti-de Sitter space-time [1]. We discuss two cases: a time like geodesic and a space like geodesic with large enough energy such that $E^2 - L^2 + m^2 M > 0$. We parameterize the solutions slightly differently from earlier work on the subject and we explicitly solve the on-shell conditions. Later on, we will link up these results with an asymptotic probe string analysis performed in Sect. 4 and compute the Wess-Zumino-Witten orbifold choice for the integration constant $c$ in the two-form flux potential discussed in Sect. 2.

#### 3.5.1 Winding time-like geodesics

We first focus on the time-like case and assume that the initial particle energy $E$ as well as the mass parameter $m$ are positive. The on-shell conditions in conformal gauge on the string world sheet are

$$T + h = 0, \quad \bar{T} + \bar{h} = 0, \quad (3.21)$$

where $(h, \bar{h})$ are the conformal dimensions of operators in the internal sector of a consistent string background. The energy-momentum components $T$ and $\bar{T}$ are given in (3.18), with the particle energy-momentum $T_{\text{particle}}$ computed in Eq. (3.14).

Solving the on-shell conditions for the currents and substituting them back into the expression for the string energy we find

$$E_{\text{string}} = \frac{1}{w} \left( h + \bar{h} - \frac{km^2}{2} \right) - \frac{kw}{2} (r_+^2 + r_-^2). \quad (3.22)$$

For time-like geodesics, since $m^2 > 0$ we find the inequality

$$E_{\text{string}} < \frac{1}{w}(h + \bar{h}) - \frac{kw}{2}(r_+^2 + r_-^2). \quad (3.23)$$

It is useful to parameterize the particle energy $E$ as follows:

$$E = m\tilde{E}. \quad (3.24)$$

We substitute this parameterization into the on-shell conditions and solve for the particle mass $m$ and angular momentum $L$ to find

$$m = -\tilde{E}w \pm \sqrt{\frac{2h + 2\bar{h}}{k} + w^2(\tilde{E}^2 + r_+^2 + r_-^2)}, \\ L = \frac{\bar{h} - h}{kw} + r_+ r_- w. \quad (3.25)$$

We observe that if we choose the positive root for the mass $m$, then in the limit of large $\tilde{E}$ the mass $m$ goes to zero. We can take this limit such that the particle energy $E$ remains finite. The string energy then takes the form

$$E_{\text{string}} = \frac{h + \bar{h}}{w} - \frac{kw}{2}(r_{+}^{2} + r_{-}^{2}) + O\left(\left(\frac{m}{E}\right)^{2}\right). \quad (3.26)$$

At larger energy $E$, or, at fixed energy $E$ and smaller mass $m$, the time-like particle geodesic reaches further out in the black hole space-time. The same statement holds for the wound string. Thus, the limit we are considering is one in which the string gets closer to the boundary of space-time. We have computed the energy of the string in that limit.

Finally, in order to facilitate comparison with a later calculation, we consider a short twisted string at its turning point. For simplicity we set the angular momenta to zero: $J_{BH} = L = 0$. From the geodesic solution (3.5), we conclude that at the turning point we have a maximal radius

$$r_{\text{max}}^2 = \frac{E^2 + Mm^2}{m^2} = \tilde{E}^2 + r_+^2. \quad (3.27)$$

This relates the particle energy and maximal radius of the short string. Our final goal is rather to express the string energy $E_{\text{string}}$ in terms of the maximum radial extent $r_{\text{max}}$. For this purpose, we concentrate on the setting with no internal excitation, $\bar{h} = h = 0$. We then have

$$E_{\text{string}} = -\frac{km^2}{2w} - \frac{kr_+^2}{2}. \quad (3.28)$$

Substituting the value (3.25) for $m$, we find the energy of the string in terms of the ratio $\tilde{E}$. Finally, rewriting the energy $\tilde{E}$
in terms of $r_{max}$ using Eq. (3.27), we find

$$E_{\text{string}} = -k w r_{\text{max}} \left( r_{\text{max}} - \sqrt{r_{\text{max}}^2 - r_{+}^2} \right). \quad (3.29)$$

This is the relation between the energy $E_{\text{string}}$ of the short string and the maximal radius $r_{max}$ it attains at zero angular momentum. The energy of a twisted short string in the background of a black hole with angular momentum is computed in Appendix B.

### 3.5.2 Winding space-like geodesics

We turn to the winding space-like geodesics for which $m^2$ is negative. It is convenient to define the parameter $\kappa$ through

$$m = i \kappa, \quad (3.30)$$

and choose $\kappa$ to be a positive real number. We solve the on-shell conditions and obtain the expression for the string energy in the twisted sector:

$$E_{\text{string}} = \frac{1}{w} \left( h + \bar{h} + \frac{k \kappa^2}{2} \right) - \frac{kw}{2} (r_+^2 + r_-^2). \quad (3.31)$$

Since $\kappa^2 > 0$ we obtain the inequality

$$E_{\text{string}} > \frac{1}{w}(h + \bar{h}) - \frac{kw}{2}(r_+^2 + r_-^2). \quad (3.32)$$

This inequality is complementary to the inequality (3.23) for time-like excitations. For the space-like case we parameterize the energy as

$$E = \kappa \tilde{E}, \quad (3.33)$$

and substitute into the on-shell conditions to solve for the imaginary mass $\kappa$ and the angular momentum $L$:

$$\begin{aligned} \kappa &= \tilde{E}w \pm \sqrt{w^2(\tilde{E}^2 - r_+^2 - r_-^2) - \frac{2h + 2\bar{h}}{k}}, \\ L &= \frac{\bar{h} - h}{kw} + r_+ r_- w. \end{aligned} \quad (3.34)$$

We choose the negative root for the parameter $\kappa$ and observe as before that one can take the limits $\tilde{E} \to \infty$ and $\kappa \to 0$ such that the energy $E$ remains finite. Substituting this into the expression for the string energy we obtain

$$E_{\text{string}} = \frac{h + \bar{h}}{w} - \frac{kw}{2}(r_{+}^{2} + r_{-}^{2}) + O\left(\left(\frac{\kappa}{E}\right)^{2}\right). \quad (3.35)$$

This is identical to the result obtained for the time-like geodesic. This suggests that there is a transition between the two solutions at $m^2 = 0 = \kappa^2$, while keeping the energy finite. From the point of view of the time-like geodesic it is clear that the transition takes place at large radius. In this respect, the analysis is similar to the one in AdS$_3$ [1].

There is nevertheless an important difference between the analysis of winding strings in the BTZ black hole background as compared to the winding strings in AdS$_3$. In the latter case, it was observed that as the internal conformal dimension reached a critical value, given by $h = \bar{h} = kw^2/4$, the mass $m$ (or the parameter $\kappa$) tended to zero and there was a transition between the short string and long string solution for finite values of the rescaled energy $\tilde{E}$ [1]. The critical value of the internal conformal dimension $h$ at which one obtains an exactly vanishing mass $m$ independently of the rescaled energy $\tilde{E}$ would occur in the BTZ background at a negative, unphysical internal conformal dimension given by $h = \bar{h} = -kw(r_+^2 + r_-^2)/4$. Thus, in the BTZ background, we see the short to long string transition only in the scaling limit.

## 4 The winding string probing a black hole

In this section, we analyze the Nambu–Goto action for a winding string near the boundary of the three-dimensional black hole supplemented with NSNS flux. This is a variation on the long string analysis in [21] in anti-de Sitter space-time. It will allow us to calculate the energy of the winding string more directly, and to understand which choice of NSNS two-form potential is made in the Wess–Zumino–Witten model. Moreover, we will show how the choice of definition of the model shows up in Fefferman–Graham coordinates.

### 4.1 The winding string probe

We study a winding string near infinity. The black hole metric asymptotes to the AdS$_3$ metric to leading order. However, it is known that the leading tension and volume contributions of a fundamental string in an asymptotically AdS$_3$ background with NSNS flux cancel. The naively subdominant terms become the leading non-zero terms and they depend on the BTZ black hole background under consideration. This is related to the fact that a fundamental string probe is a 1/2 BPS object in string theory and has a charge equal to its mass.

We consider a string that winds $w$ times at large radius $r$. We plug this ansatz into a Nambu–Goto action supplemented with a $B_{(2)}$ flux term. We take a $B_{(2)}$ field potential equal to – see Sect. 2 –:

$$B_{(2)} = \frac{1}{2}(r^2 - c) dt \wedge d\phi. \quad (4.1)$$

For starters, we concentrate on the leading and subleading terms in a $1/r^2$ expansion. The BTZ metric in the $r^{-2}$ expansion
sion reads:

$$
\begin{equation}
\begin{aligned}
ds^2 = & \frac{dr^2}{r^2} + r^2(-dt^2 + d\phi^2) \\
& + \frac{dr^2}{r^4}(r_+^2 + r_-^2) + (r_+^2 + r_-^2)dt^2 - 2r_+r_-dtd\phi \\
& + O(r^{-6})dr^2.
\end{aligned}
\tag{4.2}
\end{equation}
$$

All further corrections are proportional to $dr^2$. The action $S$ is

$$S = S_{NG} + S_B, \tag{4.3}$$

where the flux term in the action is $S_B$ and $S_{NG}$ is the Nambu–Goto action. We choose the static gauge appropriate to describe a long string that winds $w$ times around the circle:

$$\tau = t, \quad \phi = w\sigma, \tag{4.4}$$

and consider the radius $r(\tau, \sigma)$ to be an arbitrary function of the world sheet coordinates. We find the flux term:

$$
\begin{align}
S_B &= \frac{l^2}{4\pi\alpha'} \int_0^{2\pi} d\sigma \int d\tau \epsilon^{\alpha\beta} \partial_\alpha X^\mu \partial_\beta X^\nu B_{\mu\nu} \nonumber \\
    &= \frac{kw}{2\pi} \int d\tau d\sigma (r(\tau, \sigma)^2 - c). \tag{4.5}
\end{align}
$$

The Nambu–Goto action $S_{NG}$ is equal to:

$$S_{NG} = -\frac{l^2}{2\pi\alpha'} \int d\tau \int_0^{2\pi} d\sigma \sqrt{-\det \partial_\alpha X^\mu \partial_\beta X^\nu G_{\mu\nu}}. \tag{4.6}$$

The argument of the square root is the determinant of the induced metric $h_{\alpha\beta}$ on the worldvolume of the long string. The components of the induced metric have the following leading terms in the large $r$ expansion:

$$
\begin{align}
h_{\tau\tau} &= -r^2 + r_+^2 + r_-^2 + \left(\frac{\dot{r}}{r}\right)^2, \notag \\
h_{\tau\sigma} &= -r_+ r_- w + \frac{\dot{r} r'}{r^2}, \quad h_{\sigma\sigma} = w^2 r^2 + \left(\frac{r'}{r}\right)^2. \tag{4.7}
\end{align}
$$

In the total action including the flux term, the leading volume and area contributions cancel and using $l^2 = k\alpha'$, we obtain

$$
\begin{equation}
\begin{split}
S = \frac{kw}{4\pi} \int d\tau d\sigma & \\
& \times \left( r_+^2 + r_-^2 - 2c + \frac{1}{r^2} \left( \dot{r}^2 - \frac{1}{w^2} (r')^2 + \frac{1}{4} (r_+^2 - r_-^2)^2 \right) \right. \\
& \left. + \dots \right).
\end{split}
\tag{4.8}
\end{equation}
$$

We recognize a non-trivial kinetic term and a leading potential term that gives the string an effective negative potential

energy:

$$V = -\frac{kw}{2}(r_+^2 + r_-^2 - 2c). \tag{4.9}$$

The final result depends on the choice of constant $c$. If we identify the potential energy with the energy (3.26) computed in the Wess–Zumino–Witten model for an on-shell large radius string, we find that we must set the constant $c$ to zero. If we do set the constant $c$ to zero, then the AdS$_3$ result $V = kw/2$ [1,21] is recovered by analytic continuation in the outer horizon radius: $r_+^2 = M \to -1$ (which indeed continues the BTZ metric (2.1) into the global AdS$_3$ metric).<fnref n="6" /> Therefore our result is consistent with the result of [1,21]. Our calculation extends the result to the BTZ black hole backgrounds and provides information on the implicit choice of flux term in the orbifold Wess–Zumino–Witten model.

### 4.1.1 The energy of the probe string

Finally, we perform a check of the fact that the integration constant is zero in the Wess–Zumino–Witten model to all orders in the radius expansion, by calculating the exact Nambu–Goto string energy and comparing with the result obtained using the world sheet Wess–Zumino–Witten model. For this purpose let us compute the energy near the turning point in the simple case of $r_- = 0$. We set the derivatives to zero, $\dot{r} = 0 = r'$ and introduce $r = r_{max}$, the maximum radius attained by the string. The string energy is then given by the (negative) integral over the Lagrangian:

$$E_{\text{string}} = - \int d\sigma L = -kw \left( (r_{\text{max}}^2 - c) - r_{\text{max}} \sqrt{r_{\text{max}}^2 - r_+^2} \right). \tag{4.10}$$

Only for zero integration constant $c$ the string energy matches the Wess–Zumino–Witten result (3.29). The equality of the Nambu–Goto and Wess–Zumino–Witten energies in the presence of a non-zero black hole angular momentum $J_{BH}$ is proven in Appendix B.

### 4.1.2 The winding string as a probe in three-dimensional gravity

One may wonder how the effective tension of the string changes due to the presence of the black hole. As a first step in an understanding, we note that in three-dimensional gravity, a point particle creates a deficit angle. A second static point particle far removed sees a trivial metric and does not feel a force due to the presence of the first particle. However, a non-local excitation like a winding string will notice that the asymptotic circle has shrunk. We can either consider that the string winds a smaller circle, or that its effective tension has

<footnote n="6">⁶ In the anti-de Sitter space-time, it can be straightforwardly argued that $c = 0$ is a necessary condition for regularity in the interior.</footnote>
shrunk. Our black hole set-up is different, but the physical energy of the winding asymptotic string still depends on the mass M of the black hole in the interior. That is a long range three-dimensional gravity effect of the black hole mass on the non-local winding probe.

Finally, note that the effective tension of the winding string is zero for a massless BTZ black hole. One way to understand this is via the interpolation between the AdS₃ space and the massless black hole. The conical deficit angle gradually eats up the whole space. Another way to understand the vanishing effective tension is to recall that the massless BTZ black hole is like three-dimensional anti-de Sitter space in the Poincaré patch, with a cylinder boundary. The zero result we find for this case is consistent with the result obtained in [21].<fnref n="7" />

## 4.2 The winding string in the Fefferman–Graham expansion

Our analysis raises the question of how the asymptotic analysis of [21] in Fefferman–Graham coordinates accommodates these potential terms. In this section, we make the link between the determination of the long string action in Fefferman–Graham coordinates, and our analysis in BTZ coordinates. The link relates to the remarks made in Sect. 2.

The starting point for the analysis [21] is the asymptotically AdS₃ metric in Fefferman–Graham coordinates:<fnref n="8" />

$$ds^2 = l^2 \left( d\xi^2 + \frac{e^{2\xi}}{4} g_{ij} dx^i dx^j - P_{ij} dx^i dx^j + \dots \right), \qquad (4.11)$$

where the tensor P has a trace determined by the curvature R of the leading boundary metric g

$$g^{ij} P_{ij} = \frac{R}{2} \qquad (4.12)$$

and is otherwise undetermined by the bulk equations of motion. The tensor P is closely related to the boundary energy–momentum tensor. The Fefferman–Graham expansion is exact in two dimensions, and only needs one further subleading correction.

When one works in the Euclidean and assumes that one can cap off the asymptotically AdS space in the interior, then the result of [21] on the action of a long string is universal in the sense that it is independent of the space-time boundary energy–momentum tensor. The result for the long string

action is then [21]:

$$S = w l^2 \int d^2 x \sqrt{-g} \left( \frac{R}{4} - \xi \frac{R}{2} - \frac{1}{2} g^{\alpha\beta} \partial_{\alpha} \xi \partial_{\beta} \xi + O(e^{-2\xi}) \right). \qquad (4.13)$$

Compared to [21], we have added an overall factor of w for a string that winds the angular direction w times. Here, we also consider Lorentzian space-times in which there is not necessarily a unique way to cap off the interior (as in the Lorentzian BTZ black hole). In Sect. 2, we have discussed the resulting ambiguity in the long string action. It comes down to adding a constant contribution to the flux term in the action. The resulting final action is:

$$S = w l^2 \int d^2 x \sqrt{-g} \left( \frac{R}{4} - \xi \frac{R}{2} - \frac{1}{2} g^{\alpha\beta} \partial_{\alpha} \xi \partial_{\beta} \xi + \tilde{c} + O(e^{-2\xi}) \right). \qquad (4.14)$$

The action for the scalar ξ on the long string world sheet contains a linear dilaton deftly exploited in [21]. The linear dilaton slope is set by the cosmological constant.

## Discussion

To compare the approaches of Sects. 4.1 and 4.2, it is useful to relate the BTZ and Fefferman–Graham coordinate systems. The BTZ metric in Fefferman–Graham coordinates is found through the coordinate transformation $e^ξ/2 = ρ(r)$ that satisfies:

$$\frac{r^2 dr^2}{(r^2 - r_+^2)(r^2 - r_-^2)} = \frac{d\rho^2}{\rho^2}. \qquad (4.15)$$

Solving for the radial coordinate $ρ(r)$ we find the solution in the regime $r > r_+$ beyond the outer horizon:

$$\rho(r) = \sqrt{r^2 - r_+^2} + \sqrt{r^2 - r_-^2}. \qquad (4.16)$$

We also define the null coordinates $w^±$:

$$w^{\pm} = \frac{1}{2}(\phi \pm t). \qquad (4.17)$$

The metric in these coordinates is

$$ds^2 = \frac{d\rho^2}{\rho^2} + \rho^2 \left( dw_+ + \frac{(r_+ + r_-)^2}{\rho^2} dw_- \right) \times \left( dw_- + \frac{(r_+ - r_-)^2}{\rho^2} dw_+ \right). \qquad (4.18)$$

We compare the flux terms in the respective coordinate systems. They both start out with a quadratic divergence at large radius. At large radius the coordinate systems are related by a shift in the radius squared. This shifts shows up as a constant term in the flux contribution to the action. More in detail, the

<footnote n="7">⁷ The Liouville gap in conformal dimension that is invoked on the sphere in [21] is semi-classically absent on the cylinder.</footnote>

<footnote n="8">⁸ Note that the black hole metric (2.1) in BTZ coordinates is of a different form.</footnote>
transformation of the flux term is:

$$ \int (r^2 - c) d\phi dt = \int \left( \frac{\rho^2}{4} + \frac{r_+^2 + r_-^2}{2} - c + \dots \right) d\phi dt. \quad (4.19) $$

Thus, the constant flux term c in the BTZ coordinates and the constant $\tilde{c}$ in the Fefferman–Graham coordinates are related as:

$$ c = \tilde{c} - \frac{r_+^2 + r_-^2}{2}. \quad (4.20) $$

For instance, if $c = 0$, then $\tilde{c} = (r_+^2 + r_-^2)/2$ and the potential term in the action (4.14) agrees with the potential energy found in Sect. 3. The choice of constant is reflected here in a choice of parameterization of the radial coordinate at infinity or more precisely in a choice of radial cut-off as discussed in Sect. 2. This clarifies the interplay between the asymptotic long string analysis in Fefferman–Graham coordinates [21], in BTZ coordinates, as well as the flux term in the action.

# 5 The partition function and the Euclidean twist

In this section, we analyze properties of string theory in Euclidean BTZ black holes in three-dimensional anti-de Sitter space-time. We highlight the differences between the one loop vacuum amplitude in the black hole background and the thermal AdS$_3$ vacuum free energy. We compute the world sheet conformal field theory partition function on the BTZ background. It can be interpreted as the partition function corresponding to the $\mathbb{Z}$ orbifold that gives rise to the black hole. We describe the twisted sectors of the conformal field theory and how they fit into the classical theory. We comment on how to fix the flux term in the Euclidean theory. We refer to [17,18] for interesting and closely related results. We believe our analysis further clarifies the relation between the spectrum and the partition function. We stress the important differences that appear in the analytic continuation of the Euclidean results to their Lorentzian signature counterparts between the case of the anti-de Sitter and the black hole space-times.

## 5.1 The interpretation of the partition function

To interpret the black hole partition function, it is useful to contrast it with the one loop, finite temperature free energy of string theory in three-dimensional anti-de Sitter space. The latter is obtained by compactifying the AdS$_3$ space-time on a thermal circle [2,22]. The resulting partition function depends on two parameters (apart from the cosmological constant), which are the inverse temperature $\beta$, and the chemical potential for angular momentum $\mu\beta$. We thus have a multi-

string free energy, related to the one-loop vacuum energy $Z_{EAdS_3}(\beta, \mu\beta)$ [2,22]. It is obtained by thermal compactification, which is implemented through the trace:

$$ Z_{EAdS_3}(\beta, \mu\beta) = \mathrm{Tr}_{\mathcal{H}} e^{-\beta H + i\mu\beta L}. \quad (5.1) $$

The Hamiltonian $H$ implements time translation, the operator $L$ corresponds to the rotation generator and we trace over the Hilbert space $\mathcal{H}$ to make this a one-loop vacuum amplitude. To lay bare the relation between the thermal amplitude and the Lorentzian spectral interpretation requires further extensive analysis [2,22,23].

The nature of the BTZ one-loop vacuum amplitude is different. It is a function of two parameters, both specified by the Euclidean black hole background itself. They are the mass and angular momentum of the black hole or the inner and outer horizon radii. The partition function takes the form of an orbifold partition function with twisted sectors labelled by the winding number $w$ and a projection operator that guarantees invariance under the orbifold group:

$$ Z_{\mathrm{BTZ}(M,J)} = \sum_{w} \mathrm{Tr}_{\mathcal{H}_w} e^{2\pi i w L}. \quad (5.2) $$

The Hilbert space splits up into twisted sectors labelled by a winding number $w$. The orbifold projection operator that identifies the geometry is related to the angular translation generator $L$ in the Euclidean coset conformal field theory on $H_3^+ = SL(2, \mathbb{C})/SU(2)$.

We conclude that we are performing a trace in which we glue by a complexified angular momentum (instead of gluing by a complexified energy). While for anti-de Sitter space we have a partition function with two parameters, for each BTZ background we have a single partition function. In the first case, we can couple two parameters to two charges. In the second case, we can analyze the trace as a function of the (two parameter) background. The BTZ Hilbert space depends on the radii $r_\pm$ and it is this dependence that is measured by the trace.

We refer to Appendix A for a more elaborate discussion of the geometry, the angular Killing vector and the identification in the Euclidean model.

## 5.2 The sigma model on the Euclidean black hole

It is useful to specify a few expectations we have for the orbifold spectrum, directly in the Euclidean context. The Euclidean coset model is often presented in Poincaré coordinates $(\xi, \gamma, \bar{\gamma})$:

$$ ds^2 = d\xi^2 + e^{2\xi} d\gamma d\bar{\gamma} \quad (5.3) $$

with the two-form potential $B_{(2)}$

$$ B_{(2)} = \frac{1}{2} e^{2\xi} d\gamma \wedge d\bar{\gamma}. \quad (5.4) $$
The B-field is imaginary and the worldsheet theory is not reflection positive. We will be concerned with Euclidean worldsheets for which the B-field contribution to the world-sheet action is real [24]:

$$S = \frac{k_b}{\pi} \int d^2z (\partial\xi\bar{\partial}\xi + e^{2\xi}\bar{\partial}\gamma\partial\bar{\gamma}). \qquad (5.5)$$

We have defined the complex world sheet coordinates $z = i\tau_E + \sigma$, and $\bar{z} = -i\tau_E + \sigma$. In the Appendix we show how to relate the $(\xi, \gamma, \bar{\gamma})$ coordinates to the Wick rotated BTZ coordinates $(r, t_E, \phi)$. Using the explicit change of variables in (A.3), one can check that the $B_{(2)}$-field is strictly gauge equivalent to:

$$B_{(2)} = \frac{i}{2} (r^2 - r_+^2) dt_E \wedge d\phi. \qquad (5.6)$$

The integration constant $c$, which was discussed in detail in our discussion of the Lorentzian theory, now takes the non-zero value $c = r_+^2$. In the Euclidean, the time circle pinches off at the outer horizon and the demand to avoid a source term at the tip fixes the value of the integration constant.<fnref n="9" />

## 5.3 Expectations for twisted sectors

The classical coset sigma-model has solutions to the equations of motion that follow from the factorized solutions for the model on $SL(2, \mathbb{C})$ (see e.g. [26]):

$$\begin{align}
\xi(z, \bar{z}) &= \log(1 + b(z)\bar{b}(\bar{z})) + \rho(z) + \bar{\rho}(\bar{z}) \nonumber \\
\gamma(z, \bar{z}) &= a(z) + \frac{e^{-2\rho(z)}\bar{b}(\bar{z})}{1 + b(z)\bar{b}(\bar{z})} \nonumber \\
\bar{\gamma}(z, \bar{z}) &= \bar{a}(\bar{z}) + \frac{e^{-2\bar{\rho}(\bar{z})}b(z)}{1 + b(z)\bar{b}(\bar{z})}, \tag{5.7}
\end{align}$$

where the functions on the right hand side are holomorphic or anti-holomorphic.

### 5.3.1 The twisted Euclidean classical solutions

As we saw in Sect. 3.2, given a Lorentzian classical string solution to the equations of motion, it is possible to find a winding string solution by performing a twist. In the Euclidean, there is an analogous operation that maps one solution into another:

$$t_E \rightarrow t_E + w\tau_E, \quad \phi \rightarrow \phi + w\sigma. \qquad (5.8)$$

In the Appendix 1, we relate the BTZ coordinates to coordinates $(\varphi, v, \bar{v})$ suitable for world sheet path integration [27].

See Eq. (A.2). Those coordinates we can in turn relate to the Euclidean Poincaré coordinates:

$$\gamma = e^{\phi} v, \quad \bar{\gamma} = e^{\phi} \bar{v}, \quad \xi = -\varphi. \qquad (5.9)$$

The Euclidean twist action (5.8) then can be translated to the $(\varphi, v, \bar{v})$ variables, and subsequently to the $(\xi, \gamma, \bar{\gamma})$ coordinates:

$$\begin{align}
\gamma &\rightarrow e^{w(r_+ + i r_-)z} \gamma, \quad \bar{\gamma} \rightarrow e^{w(r_+ - i r_-)\bar{z}} \bar{\gamma}, \nonumber \\
\xi &\rightarrow \xi - \frac{w}{2}((r_+ + i r_-)z + (r_+ - i r_-)\bar{z}). \tag{5.10}
\end{align}$$

Comparing with the general classical solutions (5.7), we find that the twisted solutions are obtained from the untwisted ones by the action:

$$\begin{align}
a(z) &\rightarrow e^{iw(r_{-} - i r_{+})z} a(z), \quad b(z) \rightarrow b(z), \nonumber \\
\rho(z) &\rightarrow \rho(z) - i \frac{w}{2}(r_{-} - i r_{+})z, \tag{5.11}
\end{align}$$

and analogously for the complex conjugate functions $\bar{a}, \bar{b}$ and $\bar{\rho}$.

### 5.3.2 The Euclidean coset currents and their twists

As in the Lorentzian model, we wish to understand the action of twisting on the classical currents and energy momentum tensors. The $sl(2, \mathbb{C})$ current generators in the $(\xi, \gamma, \bar{\gamma})$ coordinates are (see e.g. [28]):

$$\begin{align}
J^{-} &= i k e^{2\xi} \partial \bar{\gamma} \nonumber \\
J^{3} &= -i k (\partial \xi - \gamma e^{2\xi} \partial \bar{\gamma}) \nonumber \\
J^{+} &= -i k (\partial \gamma + 2\gamma \partial \xi - \gamma^{2} e^{2\xi} \partial \bar{\gamma}). \tag{5.12}
\end{align}$$

Thus, the action of twisting on the Euclidean current generators is:

$$\begin{align}
J^{-} &\rightarrow e^{-w(r_{+} + i r_{-})z} J^{-} \nonumber \\
J^{3} &\rightarrow J^{3} + i \frac{kw}{2}(r_{+} + i r_{-}) \nonumber \\
J^{+} &\rightarrow e^{w(r_{+} - i r_{-})z} J^{+}. \tag{5.13}
\end{align}$$

For the barred $sl(2, \mathbb{C})$ currents, similar twisting rules hold. The energy–momentum tensor component in terms of these currents is

$$\begin{align}
T &= -\frac{1}{2k}(J^{-}J^{+} + J^{+}J^{-}) + \frac{1}{k}(J^{3})^{2} \nonumber \\
  &= -k((\partial\xi)^{2} + e^{2\xi}\partial\gamma\partial\bar{\gamma}). \tag{5.14}
\end{align}$$

The anti-holomorphic stress tensor can be similarly written with the substitution $\partial \rightarrow \bar{\partial}$. The twisting action on the

<footnote n="9">⁹ The demand that the three-form flux be regular at the tip is not necessarily compatible with other reasonable demands. See e.g. [25] for a discussion in the context of matching probe and gravity free energies.</footnote>
Euclidean energy momentum tensor is:

$$T \rightarrow T + w(r_+ + ir_-)(iJ^3) + \frac{kw^2}{4}(r_+ + ir_-)^2, \quad (5.15)$$

$$\bar{T} \rightarrow \bar{T} + w(r_+ - ir_-)(-i\bar{J}^3) + \frac{kw^2}{4}(r_+ - ir_-)^2. \quad (5.16)$$

We observe that the Lorentzian twists (3.18) are obtained by analytic continuation of the inner horizon radius $r_-$ by the same analytic continuation procedure, or by analysing level matching directly in the Euclidean, one can write down the Euclidean angular momentum generator:

$$L_{\text{string}}^{E} = -(iJ^3)(r_+ + ir_-) + (-i\bar{J}^3)(r_+ - ir_-) + kw(-ir_-r_+). \quad (5.17)$$

We have analyzed classical properties of the Euclidean twisted sectors. These classical properties will be reflected in the world sheet conformal field theory partition function.

## 5.4 The partition function

In this section we calculate the one loop string amplitude in the Euclidean black hole background and in particular the BTZ world sheet partition function factor. Furthermore we speculate on its Lorentzian interpretation.

The partition function is a weighted sum over the quantum spectrum. It can be computed by adapting the calculation of the thermal AdS$_3$ partition function [2]. For the purpose of computing the partition function, it is most convenient to write the worldsheet action for strings propagating in the coset orbifold model in the $(\varphi, v, \bar{v})$ coordinates – we refer to Appendix A and [2,23] for the details –:

$$S = \frac{k_b}{\pi} \int d^2 z (\partial \varphi \bar{\partial} \varphi + (\partial \bar{v} + \bar{v} \partial \varphi)(\bar{\partial} v + v \bar{\partial} \varphi)), \quad (5.18)$$

where we have denoted the quantum level of the bosonic $sl(2, \mathbb{R})$ current algebra by $k_b$. As shown in the Appendix, the coordinates undergo a non-trivial identification in the black hole orbifold – see Eq. (A.8):

$$(\varphi, v, \bar{v}) \sim (\varphi + 2\pi r_+, e^{2\pi i r_-} v, e^{-2\pi i r_-} \bar{v}), \quad (5.19)$$

where $r_\pm$ are the inner and outer horizon radii. The one loop string amplitude on the background is

$$Z = \int_{\mathcal{F}_0} \frac{d^2 \tau}{4 \tau_2^2} Z_{\text{BTZ}}(r_\pm) Z_{\text{gh}} Z_{\text{int}}, \quad (5.20)$$

where the ghost and internal sector partition functions are given by

$$Z_{\text{gh}} = \tau_2 |\eta(\tau)|^4, \quad (5.21)$$

$$Z_{\text{int}} = (q\bar{q})^{-\frac{c_{\text{int}}}{24}} \sum_{\bar{h}} d(h, \bar{h}) q^{\bar{h}} \bar{q}^{\bar{h}}, \quad (5.22)$$

$q = e^{2\pi i \tau}$ is the elliptic nome and $d(h, \bar{h})$ denotes a degeneracy of the states of the internal conformal field theory. Given the coordinate identifications (5.19) and comparing with the thermal AdS$_3$ calculation, one can write down the Euclidean conformal field theory partition function by a suitable replacement of the fugacities $(\beta, \mu\beta)$ with the background horizon radii $(r_+, r_-)$ – see Appendix 1 –:

$$Z_{\text{BTZ}} = \frac{r_+\sqrt{k_b-2}}{\sqrt{\tau_2}} \sum_{w,m} \frac{e^{-\pi \frac{k_b}{\tau_2} r_+^2 |m-w\tau|^2 + \frac{2\pi}{\tau_2} \operatorname{Im}(\bar{U}_{m,w})^2}}{|\theta_1(\bar{U}_{m,w}, \tau)|^2}. \quad (5.23)$$

We have defined the holonomy:

$$\bar{U}_{m,w} = (r_- - ir_+)(m - w\tau). \quad (5.24)$$

Note that the holonomy $\bar{U}$ transforms as $\bar{U} \rightarrow \bar{U}/(c\tau + d)$ under world sheet modular transformations $\tau \rightarrow (a\tau + d)/(c\tau + d)$ which renders the partition function modular invariant.<fnref n="10" />

### 5.4.1 An analysis of the spectrum

In the remainder of this section we will develop arguments on how to interpret the Euclidean and Lorentzian spectral content of the partition function. Our arguments and analysis are speculative – we hope they will be good guides for a more rigorous analysis. See also [17,18] for a related but different discussion.

We expand the $\theta_1$-function in the denominator of the partition function (5.23) in a series expansion using $z = e^{2\pi i v}$:

$$\frac{1}{\theta_1(v, \tau)} = i \frac{1}{\eta^3} \sum_{r \in \mathbb{Z}} z^{r+\frac{1}{2}} S_r(q), \quad \text{with} \\ S_r(q) = \sum_{n \ge 0} (-1)^n q^{\frac{n}{2}(n+2r+1)}. \quad (5.25)$$

This expansion is valid only when $|q| < z < 1$. We ignore this substantial difficulty here and develop a further formal argument (similar in spirit to Appendix B of [1]). The $v$ variable is given by the holonomy $\bar{U}_{m,w}$. As a result of our formal

<footnote n="10">¹⁰ Either from this transformation property or from the definition of Ray-Singer torsion [29] – see also [27] – it is clear that we must have the $\tau$ dependent holonomy $\bar{U} = v$ for the partition function factor $\theta_1(v, \tau)$. This corrects an inaccuracy in [2,23] which is of no further consequence there.</footnote>
expansion, we miss out on certain contributions to the partition function. We will suggest an interpretation of some of these contributions in terms of continuous representations later on. At the moment we concentrate on contributions of the twisted discrete states to the partition function. Keeping this caveat in mind, we continue with the series expansion. We obtain

$$Z_{BTZ} = \frac{r_+\sqrt{k_b-2}}{\sqrt{\tau_2}} \frac{1}{|\eta|^6} \\ \times \sum_{w,m,r,\bar{r}} S_r S_{\bar{r}} e^{2\pi i m r_-(r-\bar{r})} e^{2\pi i m r_+(1+r+\bar{r})} \\ \times q^{-(r+\frac{1}{2})w(r-ir_+)} \bar{q}^{-(\bar{r}+\frac{1}{2})w(r+ir_+)} \\ \times e^{-\pi \frac{k_b}{\tau_2} r_+^2 |m-w\tau|^2 + \frac{2\pi}{\tau_2} \mathrm{Im}(\bar{U}_{m,w})^2}. \quad (5.26)$$

We use an integral representation that introduces a formal radial momentum s:

$$\int_{-\infty}^{+\infty} ds \, e^{-4\pi \tau_2 \frac{s^2}{k_b^2}} e^{-4\pi i s \mathrm{Im}(\bar{U}_{m,w})} \\ = \frac{1}{2} \frac{\sqrt{k_b-2}}{\sqrt{\tau_2}} e^{-\frac{(k_b-2)\pi \mathrm{Im}(\bar{U}_{m,w})^2}{\tau_2}}. \quad (5.27)$$

We then obtain

$$Z_{BTZ} = \frac{2r_+}{|\eta|^6} \sum_{w,m,r,\bar{r}} S_r S_{\bar{r}} e^{2\pi i m r_-(r-\bar{r})} \\ \times e^{2\pi m r_+(1+r+\bar{r})} q^{-(r+\frac{1}{2})w(r-ir_+)} \bar{q}^{-(\bar{r}+\frac{1}{2})w(r+ir_+)} \\ \times e^{-\pi \frac{k_b}{\tau_2} r_+^2 |m-w\tau|^2} e^{\frac{k_b \pi \mathrm{Im}(\bar{U}_{m,w})^2}{\tau_2}} \\ \times \int_{-\infty}^{+\infty} ds \, e^{-4\pi \tau_2 \frac{s^2}{k_b^2}} e^{-4\pi i s \mathrm{Im}(\bar{U}_{m,w})}. \quad (5.28)$$

After simplification, we find

$$Z_{BTZ} = \frac{2r_+}{|\eta|^6} \sum_{w,m,r,\bar{r}} S_r S_{\bar{r}} e^{2\pi i m r_-(r-\bar{r})} \\ \times e^{2\pi m r_+(1+r+\bar{r})} q^{-(r+\frac{1}{2})w(r-ir_+)} \bar{q}^{-(\bar{r}+\frac{1}{2})w(r+ir_+)} \\ \times e^{2\pi k_b m w r_+ r_-} e^{-\pi k_b w^2 (r_+^2 - r_-^2) \tau_2 + 2r_+ r_- \tau_1} \\ \times \int_{-\infty}^{+\infty} ds \, e^{-4\pi \tau_2 \frac{s^2}{k_b^2}} e^{-4\pi i s (r_+(w\tau_1 - m) - r_- w \tau_2)}. \quad (5.29)$$

We observe that in the exponent, only the linear term in the wrapping number m remains. Formally, the coefficient of the linear term in m in the exponent needs to be an integer times $2\pi i$ in order to pass Dirac's comb and we find the constraint: We have analyzed classica

$$r(r_{-} - ir_{+}) - \bar{r}(r_{-} + ir_{+}) - ik_{b}wr_{-}r_{+} - 2ir_{+} \left(\frac{1}{2} + is\right) \in \mathbb{Z}. \quad (5.30)$$

Defining a Casimir variable $j = \frac{1}{2} + is$, we can rewrite the constraint as

$$(j+r)(r_{-} - ir_{+}) - (j+\bar{r})(r_{-} + ir_{+}) - ik_{b}wr_{-}r_{+} \in \mathbb{Z}. \quad (5.31)$$

We think of this quantization equation as indicating poles in the complex j plane where discrete contributions to orbifold invariant correlation functions reside. We observe that this is precisely the condition obtained by analytic continuation of the Lorentzian quantization condition (3.19), provided we identify

$$J^3 = j + r, \quad \bar{J}^3 = j + \bar{r}. \quad (5.32)$$

The partition function becomes

$$Z_{BTZ} = -\frac{2ir_+}{|\eta|^6} \sum_{w,r,\bar{r}} S_r S_{\bar{r}} \int_{-i\infty}^{+i\infty} dj \\ \times q^{-\frac{(j-\frac{1}{2})^2}{k_b^2} - (j+r)(r_- - ir_+)w - \frac{k_b w^2}{4}(r_- - ir_+)^2} \\ \times \bar{q}^{-\frac{(j-\frac{1}{2})^2}{k_b^2} - (j+\bar{r})(r_- + ir_+)w - \frac{k_b w^2}{4}(r_- + ir_+)^2}. \quad (5.33)$$

Finally, we combine this result with the internal and ghost contributions to write down the one loop string amplitude. Firstly we rewrite the contribution of the internal conformal field theory and the descendants:

$$\frac{Z_{\text{int}}}{|\eta(\tau)|^2} S_r S_{\bar{r}} = (e^{4\pi \tau_2})^{(1-\frac{1}{4(k_b-2)})} \sum_{N,h,\bar{N},\bar{h}} d_{r,h,N} q^{h+N} q^{\bar{h}+\bar{N}}. \quad (5.34)$$

Lastly, we rotate the j integration contour to coincide with the real line (up to an implicit Feynman type regularization). This allows us to write down the one loop string amplitude in the form

$$Z_{BTZ} = 2\pi r_+ \int_{\mathcal{F}_0} \frac{d^2\tau}{\tau_2} \sum_{w,r,h,N} d_{r,h,N} \int_{-\infty}^{+\infty} \frac{dj}{\pi} q^{L_0-1} \bar{q}^{\bar{L}_0-1}, \quad (5.35)$$

where the worldsheet Virasoro generators $L_0$ and $\bar{L}_0$ are given by

$$L_0 = -\frac{j(j-1)}{k_b-2} + i(j+r)(r_++ir_-)w \\ + \frac{k_b w^2}{4}(r_++ir_-)^2 + h + N, \quad (5.36)$$

$$\bar{L}_0 = -\frac{j(j-1)}{k_b-2} - i(j+\bar{r})(r_+-ir_-)w \\ + \frac{k_b w^2}{4}(r_+-ir_-)^2 + \bar{h} + \bar{N}. \quad (5.37)$$
We note that this precisely matches with the Virasoro generators (5.15) for twisted short strings, provided we make the identification of charges (5.32). After continuation to the Lorentzian, the speculation is that these discrete representation excitations are the quantum counterpart to the classical short winding strings based on time-like geodesics.

### 5.4.2 Continuous contributions

The $\theta_1$ function in the denominator in the partition function has a pole at holonomy $U_{m,w} = 0$ among others. Expanding the $\theta_1$ function in disregard of the range of validity of the expansion is formally similar to neglecting such pole contributions [1]. In this subsection, we wish to show that the pole at $U_{m,w} = 0$ allows for an interpretation in terms of characters of continuous representations. Inspiration for this identification is drawn from [1].

We start once again from the initial partition function and make a sketch of the pole contribution:

$$Z_{\text{BTZ}}^{\text{div}} = \frac{r_+\sqrt{k_b-2}}{\sqrt{\tau_2}} \sum_{w,m} \frac{1}{|\eta(\tau)|^6} \delta(\bar{U}_{m,w})\delta(U_{m,w}). \quad (5.38)$$

What we shall do now is to rewrite this modular invariant, divergent contribution in terms of the continuous characters. For this purpose we insert particular prefactors that vanish at the locations of the poles:

$$Z_{\text{BTZ}}^{\text{div}} = \frac{r_+\sqrt{k_b-2}}{\sqrt{\tau_2}} \sum_{w,m} e^{-\frac{\pi k_b r_+^2}{\tau_2} |m-w\tau|^2} e^{\frac{\pi k_b}{\tau_2} (\text{Im}U_{m,w})^2} \\ \times \frac{1}{|\eta(\tau)|^6} \delta(\bar{U}_{m,w})\delta(U_{m,w}). \quad (5.39)$$

We wish to write this delta-function contribution as an integral over twisted continuous characters. To that end we insert the integral representation:

$$Z_{\text{BTZ}}^{\text{div}} = 2r_+ \int_{-\infty}^{+\infty} ds \, e^{-4\pi \tau_2 \frac{s^2}{k_b-2}} \\ \times \sum_{w,m} e^{-\frac{\pi k_b r_+^2}{\tau_2} |m-w\tau|^2} e^{\frac{\pi k_b}{\tau_2} (\text{Im}U_{m,w})^2} \\ \times \frac{1}{|\eta(\tau)|^6} \delta(\bar{U}_{m,w})\delta(U_{m,w}). \quad (5.40)$$

The discrete summation variable $m$ is Poisson dual to the quantized angular momentum. To obtain a quantized angular momentum in the continuous representations, the corresponding left and right generator eigenvalues need to be locked yet allow for an intercept that is tuned between the left and the right sector. To introduce the intercept and decouple the left and right quantum numbers, we introduce the

integral:

$$\int_0^1 d\alpha e^{2\pi i \alpha(m-\bar{m})} = \delta_{m,\bar{m}}. \quad (5.41)$$

We then use the variable $\bar{m}$ for the right-movers and rewrite the divergent part, by expanding the exponents and collecting terms in the powers of the nome $q$:

$$Z_{\text{BTZ}}^{\text{div}}(r_{\pm}) = \frac{2r_{+}}{|\eta(\tau)|^6} \int_{-\infty}^{+\infty} ds \times q^{\frac{s^2}{k_b-2} - \frac{k_b w^2}{4}(r_{-} - ir_{+})^2} \bar{q}^{\frac{s^2}{k_b-2} - \frac{k_b w^2}{4}(r_{-} + ir_{+})^2} \\ \times \sum_{w,m,\bar{m}} \int_0^1 d\alpha \, e^{2\pi i m(\alpha - \frac{ik_b w}{2}r_{-}r_{+})} \times e^{-2\pi i \bar{m}(\alpha + \frac{ik_b w}{2}r_{-}r_{+})} \delta(\bar{U}_{m,w})\delta(U_{m,w}). \quad (5.42)$$

We dualize the $(m, \bar{m})$ variables by using the formula:

$$\frac{2\pi}{r_{-} - ir_{+}} \sum_{m} \delta(m - w\tau) e^{2\pi i \tilde{\alpha}m} \\ = \frac{1}{r_{-} - ir_{+}} \sum_{n} e^{-2\pi i w \tau(n - \tilde{\alpha})}.$$

For the case at hand we have $\tilde{\alpha} = \alpha - \frac{ik_b w}{2}r_{-}r_{+}$. We have a similar calculation for the right-movers giving rise to an independent dual variable $\tilde{n}$. The variable $\alpha$ remains shared between left- and right-movers. We find:

$$Z_{\text{BTZ}}^{\text{div}} = \frac{r_+}{2\pi^2(r_+^2 + r_-^2)} \int_{-\infty}^{+\infty} ds \times \sum_{w,n,\tilde{n}} q^{\frac{s^2}{k_b-2} - \frac{k_b w^2}{4}(r_{-} - ir_{+})^2} \bar{q}^{\frac{s^2}{k_b-2} - \frac{k_b w^2}{4}(r_{-} + ir_{+})^2} \\ \times \frac{1}{|\eta(\tau)|^6} \int_0^1 d\alpha e^{-2\pi i w \tau(n - \alpha + i \frac{kw}{2}r_{-}r_{+})} \\ \times e^{2\pi i w \bar{\tau}(\tilde{n} - \alpha - i \frac{kw}{2}r_{-}r_{+})}. \quad (5.43)$$

Once more collecting the powers of the nome $q$, we obtain

$$Z_{\text{BTZ}}^{\text{div}} = \frac{r_+}{2\pi^2(r_+^2 + r_-^2)} \frac{1}{|\eta(\tau)|^6} \int_{-\infty}^{+\infty} ds \int_0^1 d\alpha \\ \times \sum_{w,n,\tilde{n}} q^{\frac{s^2}{k_b-2} - w(n-\alpha+\frac{ik_b w}{2}r_{-}r_{+}) - \frac{k_b w^2}{4}(r_{-} - ir_{+})^2} \\ \times \bar{q}^{\frac{s^2}{k_b-2} - w(\tilde{n}-\alpha-\frac{ik_b w}{2}r_{-}r_{+}) - \frac{k_b w^2}{4}(r_{-} + ir_{+})^2}. \quad (5.44)$$

We recognize the expected shifts in the generalized $J^3$ eigenvalues of the continuum sector characters, respecting the quantization condition of the angular momentum (5.17). In summary, we have succeeded in identifying a modular invariant pole contribution with an integral over twisted sector continuous characters. In the process, we have glued the continuous
ous characters consistently with angular momentum quanti-
zation. It provides an indication of how one can consistently
identify Lorentzian long winding strings that respect angular
momentum quantization in the Euclidean black hole back-
ground. These would provide a quantum counterpart to the
long winding strings solutions based on space-like geodesics,
discussed in Sect. 3.

Discussion

Our analysis of the Euclidean partition function and its
Lorentzian representation theory content is illuminating but
it remains partial. A more careful treatment of the expansion
is necessary as well as a more rigorous treatment of all poles.
The techniques that were used for thermal AdS₃ were based
on the elliptic spectral flow property of affine sl(2) repre-
sentations. The hyperbolic nature of the energy and angular
momentum generators in the Lorentzian BTZ black hole ren-
der a direct extension of these techniques challenging.

We found the angular momentum quantization equation
(5.31). This quantization condition is more readily inter-
preted in the Lorentzian where it corresponds to the quan-
tization of a combination of hyperbolic eigenvalues. In the
Euclidean, we can propose that if one defines Lorentzian BTZ
amplitudes by analytic continuation from the Euclidean $H_3^+$
model, that the poles that capture the physics of the discrete
modes reside at the complex value of the parameter *j* given
by the Euclidean quantization rule (5.31).

In our interpretation of the partition function, we tend
towards an interpretation that matches the Lorentzian. In
anti-de Sitter space, as in ordinary quantum field theory, this
entails insisting on a spectrum of continuous energy eigen-
values, despite the fact that they are quantized in Euclidean
thermal *AdS*<sub>3</sub>. In the case of the black hole space-time, we
similarly allowed for continuous energy eigenvalues in the
Lorentzian black hole interpretation of the Euclidean parti-
tion function.

We hope our analysis will be a useful stepping stone to
reach a more rigorous treatment of the partition function and
its Lorentzian reading.

**6 Conclusions**

Building on earlier work [11–18], we have further analyzed
the dynamics of fundamental strings in three-dimensional
anti-de Sitter black holes with Neveu–Schwarz–Neveu–
Schwarz flux. We have stressed a physical ambiguity in the
definition of the model and have shown how it is resolved in
the Lorentzian Wess–Zumino–Witten model. We have com-
puted explicit expressions for the classical energy of winding
strings based on time-like or space-like geodesics. We sup-
plemented the analysis with a direct analysis in terms of the

Nambu–Goto plus flux action of a long string probe. Our
results for the classical dynamics of twisted strings are more
explicit then those hitherto obtained.

We have also analyzed the Euclidean coset partition func-
tion and have shown that it should be interpreted directly as
an orbifold conformal field theory partition function. While
the Euclidean anti-de Sitter partition function contains two
fugacities corresponding to the temperature and the chemical
potential for angular momentum, the Euclidean black hole
partition function has two parameters that are fixed by the
mass and angular momentum of the black hole. Moreover,
we partially identified the quantum spectral content of the
partition function in this spirit. While our analysis is prelim-
inary, we could identify the analytically continued discrete
part of the Lorentzian spectrum as well as a modular invariant
contribution from the continuous representations.

It is clear that much further work is needed before declar-
ing that fundamental string perturbation theory is well-
defined and understood on the three-dimensional black hole
backgrounds under consideration. Concrete, important and
intriguing questions remain largely open. For example, the
hyperbolic orbifold may induce divergences in perturbation
theory, or may be well-defined through a specific analytic
continuation procedure starting from the Euclidean coset
model. A more careful decomposition of the partition func-
tion may teach us valuable lessons about the perturbative
spectrum. The definition of the background in terms of micro-
scopic objects in string theory may inform us how to treat the
proposed cut-off surface at $r = 0$. A long list of open and
solvable questions invites further work.

**Acknowledgements** We would like to thank Nemani V. Suryanarayana for helpful discussions and our colleagues in general for creating a stimulating research environment.

**Data Availability Statement** This manuscript has no associated data or the data will not be deposited. [Authors' comment: This manuscript has no associated data.]

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Funded by SCOAP³. SCOAP³ supports the goals of the International Year of Basic Sciences for Sustainable Development.
# Appendix A: The Euclidean black hole background

In this section, we briefly review the Euclidean BTZ black hole geometries in various coordinate systems. The review serves as a reference for statements made in the bulk of the paper. First of all, we recall that the Euclidean black hole, like the thermal AdS geometry, has the topology of a solid torus [30,31]. These geometries have a constant negative curvature metric and are locally Euclidean AdS. There is a choice of which cycle of the boundary torus is filled in and there are a number of inequivalent choices. The Euclidean AdS and the black hole choices are related by an S-duality transformation on the boundary torus [30,31].

## A.1 The metric on the Euclidean black hole

More concretely, starting from the Lorentzian black hole metric (2.1), we analytically continue the inner horizon $r_-$ and time coordinate $t$ as $r_− \to ir_−$ and $t = -it_E$ to obtain the Euclidean black hole metric:

$$ds^2 = \frac{r^2}{(r^2 - r_+^2)(r^2 + r_-^2)} dr^2 + \frac{(r^2 - r_+^2)(r^2 + r_-^2)}{r^2} dt_E^2 + r^2 \left(d\phi - \frac{r_+ r_-}{r^2} dt_E\right)^2. \quad (A.1)$$

We demand regularity of the Euclidean black hole metric at the outer horizon where the Euclidean time circle pinches off. Along with the usual periodicity condition on the $\phi$ coordinate we therefore have the identifications:

$$(t_E, \phi) \sim \left( t_E + \frac{2\pi r_+}{r_+^2 + r_-^2}, \phi + \frac{2\pi r_-}{r_+^2 + r_-^2} \right), \quad \text{and} \\ (t_E, \phi) \sim (t_E, \phi + 2\pi). \quad (A.2)$$

In the main text we used Poincaré coordinates to describe the Euclidean black hole, in terms of which the solutions to the classical equations of motion were easily written down. These are related to the $(r, t_E, \phi)$ coordinates by the change of variables:

$$\gamma = \sqrt{\frac{r^2 - r_+^2}{r^2 + r_-^2}} e^{(r_- - ir_+)(i\phi - t_E)}, \\ \bar{\gamma} = \sqrt{\frac{r^2 - r_+^2}{r^2 + r_-^2}} e^{(r_- + ir_+)(-i\phi - t_E)} \\ \xi = -\frac{1}{2} \log \left( \frac{r_+^2 + r_-^2}{r^2 + r_-^2} \right) - r_+\phi + r_-t_E. \quad (A.3)$$

The metric in Poincaré coordinates takes the form:

$$ds^2 = d\xi^2 + e^{2\xi} d\gamma d\bar{\gamma}. \quad (A.4)$$

The coordinate identifications (A.2) become:

$$(\xi, \gamma, \bar{\gamma}) \sim (\xi, e^{2\pi i}\gamma, e^{-2\pi i}\bar{\gamma}), \quad \text{and} \\ (\xi, \gamma, \bar{\gamma}) \sim (\xi - 2\pi r_+, e^{2\pi i}(r_- - ir_+), e^{-2\pi i}(r_- + ir_+)} \bar{\gamma}).$$

One of the identifications is trivialized in these coordinates.

## A.2 The determination of the partition function

In the evaluation of the one loop amplitude for string theory on the black hole background, it turns out to be useful to work in a different set of coordinates that allows one to render the path integration free [27]. These new coordinates are obtained from the $(\xi, \gamma, \bar{\gamma})$ Poincaré coordinates by a rescaling:

$$v = e^{\xi} \gamma, \quad \bar{v} = e^{\xi} \bar{\gamma}, \quad \varphi = -\xi. \quad (A.5)$$

By composing the maps one finds a direct relation between these and the $(r, t_E, \phi)$ coordinates:

$$v = \sqrt{\frac{r^2 - r_+^2}{r_+^2 + r_-^2}} e^{ir_+t_E + ir_-\phi}, \quad \bar{v} = \sqrt{\frac{r^2 - r_+^2}{r_+^2 + r_-^2}} e^{-ir_+t_E - ir_-\phi} \\ \varphi = \frac{1}{2} \log \left( \frac{r_+^2 + r_-^2}{r^2 + r_-^2} \right) + r_+\phi - r_-t_E. \quad (A.6)$$

In terms of these coordinates the metric takes the form:

$$ds^2 = d\varphi^2 + (dv + v d\varphi)(d\bar{v} + \bar{v} d\varphi), \quad (A.7)$$

and the identifications (A.2) become:

$$(\varphi, v, \bar{v}) \sim (\varphi, e^{2\pi i}v, e^{-2\pi i}\bar{v}) \quad \text{and} \\ (\varphi, v, \bar{v}) \sim (\varphi + 2\pi r_+, e^{2\pi i}r_-, e^{-2\pi i}\bar{r}_-) \quad (A.8)$$

The identification due to regularity at the outer horizon becomes trivial in these coordinates. At the same time, the periodicity of the original angular coordinate in the black hole turns into a non-trivial identification. The vector field that generates the translation in the identified direction can be expressed as:

$$\frac{\partial}{\partial \phi} = r_+ \frac{\partial}{\partial \varphi} + i r_- \left( v \frac{\partial}{\partial v} - \bar{v} \frac{\partial}{\partial \bar{v}} \right). \quad (A.9)$$

Rewriting the BTZ black hole metric in terms of the $(\varphi, v, \bar{v})$ coordinates makes it possible to fluently write down the Euclidean partition function. The metric has the same form as in thermal AdS$_3$. The identifications of the coordinates are also as in the Euclidean thermal AdS$_3$ space, provided one makes an analogy between the parameters of the thermal AdS$_3$ space and the background mass and angular
momentum of the black hole:

$$ \beta \leftrightarrow 2\pi r_+, \quad \beta\mu \leftrightarrow 2\pi r_- \qquad (A.10) $$

Given the calculation of [2,27] for the partition function of thermal AdS$_3$, the partition function of the conformal field theory on the Euclidean black hole background is then obtained from that of thermal AdS$_3$ by using the substitutions (A.10). One finds the result

$$ Z_{BTZ} = \frac{r_+\sqrt{k_b-2}}{\sqrt{\tau_2}} \sum_{w,m} \frac{e^{-\pi \frac{k_b}{\tau_2} r_+^2 |m-w\tau|^2 + \frac{2\pi}{\tau_2} Im(\bar{U}_{m,w})^2}}{|\theta_1(\bar{U}_{m,w}, \tau)|^2}, \qquad (A.11) $$

where the holonomy $\bar{U}$ is given by

$$ \bar{U}_{m,w} = (r_- - ir_+)(m - w\tau). \qquad (A.12) $$

The spectral content of the partition function in the Euclidean and its analytic continuation to the Lorentzian is analyzed in the bulk of the paper.

## Appendix B: The energy of a twisted short string

In this section we show that the energy of a twisted short string in the background of a rotating black hole computed in conformal gauge matches the energy of a string calculated using the static gauge in a Nambu–Goto action. We first of all write down the Nambu–Goto plus flux action in static gauge:

$$ t = \tau, \quad \phi = w\sigma. \qquad (B.1) $$

The action for the twisted or winding string then takes the form

$$ S = k \int dt d\phi \left( w r^2 - \sqrt{w^2(r^2 - r_+^2)(r^2 - r_-^2) + r'^2 - \frac{(w r^2 \dot{r}^2 + r_+ r_- \dot{r}')^2}{(r^2 - r_+^2)(r^2 - r_-^2)}} \right). \qquad (B.2) $$

To compute the energy of the string, we work near the turning point, at which $\dot{r} = 0$, we have $r' = 0$ and $r = r_{max}$, the maximum radial extent of the string. Then, the energy of the string is entirely given by the potential energy:

$$ E_{\text{string}} = kw \left( \sqrt{r_{\text{max}}^2 - r_+^2} (r_{\text{max}}^2 - r_-^2) - r_{\text{max}}^2 \right). \qquad (B.3) $$

We now compare this with the energy calculated from the orbifold Wess–Zumino–Witten model (3.22),

$$ E_{\text{string}} = \frac{h + \bar{h}}{w} - \frac{k}{2w}m^2 - \frac{kw}{2}(r_+^2 + r_-^2), \qquad (B.4) $$

where the on-shell conditions fix $m$ and the particle angular momentum $L$ to be (see Eq. (3.25))

$$ \begin{aligned} m &= -\tilde{E}w + \sqrt{\frac{2h + 2\bar{h}}{k}} + w^2(\tilde{E}^2 + r_+^2 + r_-^2), \\ L &= \frac{\bar{h} - h}{kw} + r_+r_-w. \end{aligned} \qquad (B.5) $$

Recall here that $\tilde{E} = \frac{E}{m}$, the rescaled energy of the particle. To compare with the Nambu–Goto calculation which did not assume any internal directions in the target space, we set $h = \bar{h} = 0$, which leads to

$$ m = w \left( -\tilde{E} + \sqrt{\tilde{E}^2 + r_+^2 + r_-^2} \right), \quad L = r_+r_-w. \qquad (B.6) $$

Substituting these equalities into the expression for the energy we obtain

$$ E_{\text{string}} = -kw(r_+^2 + r_-^2 + \tilde{E}^2) + kw\tilde{E}\sqrt{(r_+^2 + r_-^2 + \tilde{E}^2)}. \qquad (B.7) $$

To compare the two expressions for the energy of the string, one needs to relate the dimensionless energy $\tilde{E}$ with the maximal radial extent $r_{max}$ of the geodesic. The relation can be read off from the geodesic to be

$$ r_{\text{max}}^2 = \frac{\alpha + \sqrt{\alpha^2 + 4m^2\beta}}{2m^2}, \qquad (B.8) $$

with $\alpha$ and $\beta$ given in Eq. (3.3). In those expressions we set $E = m\tilde{E}$ and $L = r_+r_-w$, substitute for the particle mass $m$ using Eq. (B.6) and find that $\beta = 0$. Therefore, we have

$$ r_{\text{max}}^2 = \frac{\alpha}{m^2} = \tilde{E}^2 + r_+^2 + r_-^2 - \frac{r_+^2 r_-^2}{(r_+^2 + r_-^2)^2} \left( \tilde{E} + \sqrt{\tilde{E}^2 + r_+^2 + r_-^2} \right)^2. \qquad (B.9) $$

Inverting the expression, we obtain

$$ \tilde{E} = \frac{1}{r_+^2 - r_-^2} \left( r_+^2 \sqrt{r_{\text{max}}^2 - r_+^2} + r_-^2 \sqrt{r_{\text{max}}^2 - r_-^2} \right). \qquad (B.10) $$

Using the relations (B.9) and (B.10) between the maximal radius $r_{max}$ and the rescaled particle energy $\tilde{E}$, one can prove that the energies (B.3) and (B.7) obtained from the Nambu–Goto and the conformal gauge approach agree.

## References

1. J.M. Maldacena, H. Ooguri, Strings in AdS(3) and SL(2, R) WZW model 1.: the spectrum. J. Math. Phys. **42**, 2929–2960 (2001). https://doi.org/10.1063/1.1377273. arXiv:hep-th/0001053

2. J.M. Maldacena, H. Ooguri, J. Son, Strings in AdS(3) and the SL(2, R) WZW model. Part 2. Euclidean black hole. J. Math. Phys. **42**, 2961–2977 (2001). https://doi.org/10.1063/1.1377039. arXiv:hep-th/0005183
3. P.M.S. Petropoulos, Comments on SU(1,1) string theory. Phys. Lett. B 236, 151-158 (1990). https://doi.org/10.1016/0370-2693(90)90819-R

4. L. Eberhardt, M.R. Gaberdiel, R. Gopakumar, Deriving the AdS<sub>3</sub>/CFT<sub>2</sub> correspondence. JHEP 02, 136 (2020). https://doi.org/10.1007/JHEP02(2020)136. arXiv:1911.00378 [hep-th]

5. A. Dei, L. Eberhardt, String correlators on AdS<sub>3</sub>: four-point functions. JHEP 09, 209 (2021). https://doi.org/10.1007/JHEP09(2021)209. arXiv:2107.01481 [hep-th]

6. S.K. Ashok, S. Li, J. Troost, The AdS<sub>3</sub> × S<sup>1</sup> chiral ring. JHEP 11, 176 (2021). https://doi.org/10.1007/JHEP11(2021)176. arXiv:2107.04285 [hep-th]

7. L. Eberhardt, A perturbative CFT dual for pure NS-NS AdS<sub>3</sub> strings. J. Phys. A 55(6), 064001 (2022). https://doi.org/10.1088/1751-8121/ac47b2. arXiv:2110.07535 [hep-th]

8. E.J. Martinec, AdS<sub>3</sub>'s with and without BTZ's. arXiv:2109.11716 [hep-th]

9. M. Banados, C. Teitelboim, J. Zanelli, The black hole in three-dimensional space-time. Phys. Rev. Lett. 69, 1849-1851 (1992). https://doi.org/10.1103/PhysRevLett.69.1849. arXiv:hep-th/9204099

10. M. Banados, M. Henneaux, C. Teitelboim, J. Zanelli, Geometry of the (2+1) black hole. Phys. Rev. D 48, 1506-1525 (1993). https://doi.org/10.1103/PhysRevD.48.1506. arXiv:gr-qc/9302012. [Erratum: Phys. Rev. D 88, 069902 (2013)]

11. M. Natsuume, Y. Satoh, String theory on three-dimensional black holes. Int. J. Mod. Phys. A 13, 1229-1262 (1998). https://doi.org/10.1142/S0217751X98000585. arXiv:hep-th/9611041

12. S. Hemming, E. Keski-Vakkuri, The spectrum of strings on BTZ black holes and spectral flow in the SL(2, R) WZW model. Nucl. Phys. B 626, 363-376 (2002). https://doi.org/10.1016/S0550-3213(02)00021-4. arXiv:hep-th/0110252

13. J. Troost, Winding strings and AdS(3) black holes. JHEP 09, 041 (2002). https://doi.org/10.1088/1126-6708/2002/09/041. arXiv:hep-th/0206118

14. S. Hemming, E. Keski-Vakkuri, P. Kraus, Strings in the extended BTZ space-time. JHEP 10, 006 (2002). https://doi.org/10.1088/1126-6708/2002/10/006. arXiv:hep-th/0208003

15. M. Rangamani, S.F. Ross, Winding tachyons in BTZ. Phys. Rev. D 77, 026010 (2008). https://doi.org/10.1103/PhysRevD.77.026010. arXiv:0706.0663 [hep-th]

16. M. Berkooz, Z. Komargodski, D. Reichmann, Thermal AdS(3), BTZ and competing winding modes condensation. JHEP 12, 020 (2007). https://doi.org/10.1088/1126-6708/2007/12/020. arXiv:0706.0610 [hep-th]

17. T.G. Mertens, H. Verschelde, V.I. Zakharov, The thermal scalar and random walks in AdS<sub>3</sub> and BTZ. JHEP 06, 156 (2014). https://doi.org/10.1007/JHEP06(2014)156. arXiv:1402.2808 [hep-th]

18. T.G. Mertens, Hagedorn string thermodynamics in curved spacetimes and near black hole horizons. arXiv:1506.07798 [hep-th]

19. J. Polchinski, String theory. in *An introduction to the bosonic string*, vol. 1 (Cambridge University Press, 2007). ISBN 978-0-511-25227-3, 978-0-521-67227-6, 978-0-521-63303-1. https://doi.org/10.1017/CBO9780511816079

20. N. Cruz, C. Martinez, L. Pena, Geodesic structure of the (2+1) black hole. Class. Quantum Gravity 11, 2731-2740 (1994). https://doi.org/10.1088/0264-9381/11/11/014. arXiv:gr-qc/9401025

21. N. Seiberg, E. Witten, The D1/D5 system and singular CFT. JHEP 04, 017 (1999). https://doi.org/10.1088/1126-6708/1999/04/017. arXiv:hep-th/9903224

22. J. Polchinski, Evaluation of the one loop string path integral. Commun. Math. Phys. 104, 37 (1986). https://doi.org/10.1007/BF01210791

23. S.K. Ashok, J. Troost, Superstrings in thermal anti-de Sitter space. JHEP 04, 007 (2021). https://doi.org/10.1007/JHEP04(2021)007. arXiv:2012.08404 [hep-th]

24. A. Giveon, D. Kutasov, N. Seiberg, Comments on string theory on AdS(3). Adv. Theor. Math. Phys. 2, 733-782 (1998). https://doi.org/10.4310/ATMP.1998.v2.n4.a3. arXiv:hep-th/9806194

25. F. Ferrari, A. Rovai, Gravity and on-shell probe actions. JHEP 08, 047 (2016). https://doi.org/10.1007/JHEP08(2016)047. arXiv:1602.07177 [hep-th]

26. J. de Boer, H. Ooguri, H. Robins, J. Tannenhauser, String theory on AdS(3). JHEP 12, 026 (1998). https://doi.org/10.1088/1126-6708/1998/12/026. arXiv:hep-th/9812046

27. K. Gawedzki, Geometry of Wess-Zumino-Witten models of conformal field theory. Nucl. Phys. B Proc. Suppl. 18, 78-91 (1991). https://doi.org/10.1016/0920-5632(91)90125-X

28. D. Kutasov, N. Seiberg, More comments on string theory on AdS(3). JHEP 04, 008 (1999). https://doi.org/10.1088/1126-6708/1999/04/008. arXiv:hep-th/9903219

29. D.B. Ray, I.M. Singer, Analytic torsion for complex manifolds. Ann. Math. 98, 154-177 (1973). https://doi.org/10.2307/1970909

30. S. Carlip, C. Teitelboim, Aspects of black hole quantum mechanics and thermodynamics in (2+1)-dimensions. Phys. Rev. D 51, 622-631 (1995). https://doi.org/10.1103/PhysRevD.51.622. arXiv:gr-qc/9405070

31. J.M. Maldacena, A. Strominger, AdS(3) black holes and a stringy exclusion principle. JHEP 12, 005 (1998). https://doi.org/10.1088/1126-6708/1998/12/005. arXiv:hep-th/9804085