## Modular Bootstrap, Elliptic Points, and Quantum Gravity

Ferdinando Gliozzi

Dipartimento di Fisica, Universit` a di Torino and Istituto Nazionale di Fisica Nucleare -Sezione di Torino Via P. Giuria 1 I-10125 Torino, Italy. (Dated: April 28, 2020)

The modular bootstrap program for two-dimensional conformal field theories could be seen as a systematic exploration of the physical consequences of consistency conditions at the elliptic points and at the cusp of their torus partition function. The study at τ = , the elliptic point stabilized by i the modular inversion S , was initiated by Hellerman, who found a general upper bound for the most relevant scaling dimension ∆. Likewise, analyticity at τ = i ∞ , the cusp stabilized by the modular translation T , yields an upper bound on the twist gap. Here we study consistency conditions at τ = exp[2 iπ/ 3], the elliptic point stabilized by S T . We find a much stronger upper bound in the largec limit, namely ∆ &lt; c -1 12 + 0 092, . which is very close to the minimal mass threshold of the BTZ black holes in the gravity dual of AdS /CFT 3 2 correspondence.

## INTRODUCTION

It is still an open question as to whether threedimensional pure gravity exists as a quantum theory. In the case of negative cosmological constant, according to holographic duality[1], solving pure quantum gravity means finding the two-dimensional conformal field theory (CFT) defined on the boundary of the asymptotically anti de Sitter (AdS) spacetime. At the classical level, pure 3 d gravity is 'trivial' in the sense that there are no gravitational waves; its degrees of freedom correspond to multitrace composites of the stress-tensor which map to the Virasoro module of the identity of the CFT.

of matter [6]. Therefore, proving that a primary with ∆ &lt; ∆ BTZ is necessary for a consistent CFT at the boundary would be sufficient to argue that pure quantum gravity does not exist.

As a consequence, if the degrees of freedom were only those of the identity module, pure gravity would not admit a quantum completion. The reason is very simple: the partition function of the CFT on the toroidal boundary is modular invariant, while the character of the identity module, as well as any other single Virasoro character, is not. Thus modular invariance of the boundary theory implies additional degrees of freedom in the bulk.

What is the meaning of modular invariance on the gravity side? In a quantum approach to gravity one expects to sum over different topologies of spacetime with fixed asymptotic boundary conditions. It is widely believed that modular invariance arises from the sum over saddle points of the gravitational path integral [2-4]. One such geometry is thermal AdS with periodic Euclidean time. Others correspond to the Euclidean black holes discovered by Ba˜ados, Teitelboim and Zanelli (BTZ) in n any three-dimensional gravity with negative cosmological constant [5]. Thus BTZ black holes are necessary degrees of freedom for a quantum description of pure gravity in asymptotic AdS 3 spacetimes. Are these enough? BTZ black holes can exist only above some mass threshold that in the largec limit is holographically dual to a CFT primary of scaling dimension ∆ BTZ = c -1 12 , where c is the central charge.

Primary operators with ∆ &lt; ∆ BTZ can not be interpreted as black holes; they correspond to a new kind

Modular invariance of the partition function constrains the possible spectra of 2 d CFTs [7]. In particular, as first pointed out by Hellerman [8], for general unitary 2 d CFTs with c &gt; 1 it is possible to find an upper bound for the allowed scaling dimension, ∆ , of the first non-trivial 0 primary. Hellerman rigorously established the inequality ∆ 0 &lt; c 6 + 0 4737. . This bound has since been improved numerically as well as analytically in various ways [916], in particular using the linear programming method introduced in [17]. So far, in the largec limit the best analytic bound is [14] ∆ 0 ≤ c/ 8 503, while the numerical . upper bound, obtained by extrapolating largec data, is [13] ∆ 0 ≤ c/ 9 08. Other bounds can be found by assum-. ing complete factorization of the partition function into a holomorphic and an antiholomorphic part [18]. In this case, the CFT includes an infinite set of conserved higher spin currents, while it is widely believed that pure gravity is dual to a CFT in which the only conserved currents are those generated by the stress tensor.

PSL (2 , Z ), the modular group of the torus, is the group of linear fractional transformations acting on the modular parameter τ ∈ H + ( H + is the upper half plane) and generated by the inversion S and the translation T , satisfying S 2 = ( ST ) 3 = 1. One of the reasons why the modular invariance of the partition function Z is so constraining is that PSL (2 , Z ) does not act freely on H + : there are points of H + which are left invariant under the action of some non-trivial subgroup of PSL (2 , Z ). The partition function is a smooth function of τ only if it fulfills certain consistency conditions at these special points. PSL (2 , Z ) admits three points of this kind. So far, only two of them have been extensively explored in modular bootstrap studies. The third one, left invariant by ST , has been considered so far only by Qualls [11], who wrote a set of consistency equations, under the assumption that there are partition functions in which only even spin pri-

maries contribute.

In this paper we considerably enlarge the set of equations considered by Qualls. These give rise to a wealth of information about infinitely many primary operators for any 2 d CFT with central charge c &gt; 1. Equations (14) show some examples of them, written as simple sum rules involving both the spins and the scaling dimensions of primary operators.

The largec limit of these sum rules is especially interesting because unitary CFTs with large c are holographically dual to quantum gravity in asymptotically AdS spacetimes. In this limit we derive from them a tighter upper bound on the allowed scaling dimensions of the first non-trivial primary, namely,

$$\Delta _ { 0 } < \frac { c - 1 } { 1 2 } + \frac { 1 } { 2 \sqrt { 3 } \, \pi } \,, \quad \quad \ ( 1 ) \quad \det _ { \Gamma }$$

which is far stronger than those found to date, and is valid under the same assumptions of [8], with the further specification that the scaling dimension of the first oddspin primary must lie below ∆ . 0

It is worth stressing that this bound is remarkably close to the threshold ∆ BTZ = c -1 12 which on the gravitational side constrains the minimal mass of black holes. In addition, our derivation shows that this upper bound is not an extremum, suggesting it should be possible to improve it further. Even a modest improvement could push ∆ 0 down the BTZ threshold, implying that pure Einstein gravity in AdS 3 do not exist as a quantum theory.

## CONSTRAINTS FROM MODULAR INVARIANCE

Modular invariance of the partition function is guaranteed to be a universal property of any physically meaningful theory formulated on a torus, since modular transformations correspond to changes of the basis on Z + τ Z , its period lattice, while the physics can not depend on the choice of this basis. It reads

$$Z ( \tau, \bar { \tau } ) & = Z \left ( \frac { a \tau + b } { c \tau + d }, \frac { a \bar { \tau } + b } { c \bar { \tau } + d } \right ), \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in P S L ( 2, \mathbb { Z } ). \quad \text{ and } e \\ \quad \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --} = \text{-- and --}$$

τ and ¯ may be considered as two independent complex τ variables with τ ∈ H + and ¯ τ ∈ H -, where H + and H -are the upper and the lower half planes. Z τ, τ ( ¯) becomes the partition function on a torus of modular parameter τ when ¯ is chosen to be the complex conjugate of τ τ , but equation (2) is more general. If the theory on the torus is conformally invariant, we can expand Z as a sum over all contributing states

$$Z ( \tau, \bar { \tau } ) = \sum _ { h, \bar { h } } q ^ { h - \frac { c } { 2 4 } } \bar { q } ^ { \bar { h } - \frac { c } { 2 4 } }, \ q = e ^ { 2 i \pi \tau }, \bar { q } = e ^ { - 2 i \pi \bar { \tau } }, \ \ ( 3 ) \quad \begin{pmatrix} ( 4 ) \, \text{to} \\ \text{in} \, \omega \\ \tau \text{ and} \end{pmatrix}$$

where ∆ = h + ¯ are the scaling dimensions of the states h and j = h -¯ their spins. h For the sake of simplicity we have taken the same central charge c for the left and the right Virasoro algebras. There is a unique vacuum with h = ¯ = 0. h If one further assumes the theory unitary with a discrete spectrum, then equation (3) implies that Z is a holomorphic function on H + × H -.

The partition function of any physical theory formulated on a torus is assumed to be a smooth function on the fundamental domain H /PSL + (2 , Z ) (or H /PSL -(2 , Z )). We can then apply a property which is at the core of modular bootstrap [7, 8]: A smooth function on the fundamental domain lifts to a smooth function on its covering space H + (or H -) if and only if it satisfies certain consistency conditions on its derivatives at the elliptic points and at the cusp, i.e. the special points of the fundamental region which are invariant under the action of some non-trivial subgroup of PSL (2 , Z ).

As already mentioned in the Introduction, the torus modular group admits three points of this kind. The cusp at τ = i ∞ is stabilized by the subgroup generated by T : τ → τ +1. The Z 2 elliptic point at τ = i is stabilized by S : τ → -1 /τ . The elliptic point at τ = e 2 iπ/ 3 is stabilized by ST : τ → -1 τ +1 , the generator of a Z 3 subgroup of PSL (2 , Z ).

Invariance of the partition function under T implies integer spins, i.e. j = h -¯ h ∈ Z , and analyticity at the cusp τ = i ∞ yields, for c &gt; 1, the upper bound ∆ -| | ≤ j c -1 12 on the twist gap [12]. Consistency conditions at τ = i demand [8]

$$( \tau \partial _ { \tau } ) ^ { m } \left ( \bar { \tau } \partial _ { \bar { \tau } } \right ) ^ { n } Z ( \tau, \bar { \tau } ) | _ { \tau = - \bar { \tau } = i } = 0 \text{ for } m + n \text{ odd }. \text{ } ( 4 )$$

This infinite set of homogeneous linear equations, dubbed modular bootstrap, yields the Hellerman upper bound on the scaling dimensions of the lightest primary operator and its refinements described in the Introduction.

What are the further constraints dictated by the consistency conditions at the point stabilized by ST ? It suffices to take arbitrary derivatives of the identity

$$Z ( \tau, \bar { \tau } ) = Z \left ( \frac { - 1 } { \tau + 1 }, \frac { - 1 } { \bar { \tau } + 1 } \right ) \,, \quad \quad ( 5 )$$

and evaluate them at τ = e 2 iπ 3 ≡ ρ . We obtain

$$\underset { H _ { - } } { \text{lex} } \quad \partial _ { \tau } ^ { n } Z | _ { \tau = \rho } - \sum _ { m = 1 } ^ { n } \rho ^ { m + n } \frac { n! } { m! } \begin{pmatrix} n - 1 \\ m - 1 \end{pmatrix} \partial _ { \tau } ^ { m } Z | _ { \tau = \rho } = 0 \,, \quad ( 6 ) \\ \underset { \text{mes} } { \text{less} } \quad \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots }$$

and identical equations for ¯. τ Since ρ 3 k = 1, iterating the above equations shows that a derivative of arbitrary order in τ (or in ¯) at τ τ = ρ (or ¯ = ¯) can be expressed τ ρ as a linear combination of derivatives of lower order in multiples of 3. These are the equations to be added to (4) to complete the modular bootstrap program.

In order to keep Z real it is convenient to parametrize τ and ¯ as τ

$$\tau = - \frac { 1 } { 2 } + i \, \frac { \beta } { 2 \pi } \, \, \bar { \tau } = - \frac { 1 } { 2 } - i \, \frac { \bar { \beta } } { 2 \pi } \, \quad \quad ( 7 )$$

where β and ¯ are two independent real variables, so we β can set q = -e -β and ¯ = q -e -¯ β in (3), thus obtaining a real partition function. Terms with even j = h -¯ h are positive while those with odd j are negative. The Z 3 elliptic point corresponds to β = ¯ = β √ 3 π ≡ β c .

The first few equations are, more explicitly,

$$\text{elliptic point corresponds to } \beta = \bar { \beta } = \sqrt { 3 } \, \pi \equiv \beta _ { c }. \quad \text{It i} \\ \text{The first few equations are, more explictly, } \quad \text{It i} \\ \partial _ { \beta } Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, \quad \left ( \partial _ { \beta } ^ { 4 } + \frac { 2 \sqrt { 3 } } { \pi } \partial _ { \beta } ^ { 3 } \right ) Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, \quad \text{$\partial_{\beta} - \tilde{e}$ can:} \\ \partial _ { \beta } ^ { 2 } Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, \quad \left ( \partial _ { \beta } ^ { 5 } - \frac { 1 0 } { \pi ^ { 2 } } \partial _ { \beta } ^ { 3 } \right ) Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, \quad \text{$\intertext{\emph{$first$ t}$} \\ \left ( \partial _ { \beta } ^ { 7 } + \frac { 5 2 5 } { \pi ^ { 4 } } \partial _ { \beta } ^ { 3 } + \frac { 7 \sqrt { 3 } } { \pi } \partial _ { \beta } ^ { 6 } \right ) Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, \quad \sum _ { A } \\ \left ( \partial _ { \beta } ^ { 2 } \partial _ { \tilde { \beta } } + \frac { 1 } { \pi \sqrt { 3 } } \partial _ { \beta } \partial _ { \tilde { \beta } } \right ) Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, \quad \sum _ { A } \\ \left ( \partial _ { \beta } ^ { 3 } \partial _ { \tilde { \beta } } - \frac { 1 } { 2 \pi ^ { 2 } } \partial _ { \beta } \partial _ { \tilde { \beta } } \right ) Z | _ { \beta = \bar { \beta } = \beta _ { c } } = 0 \, ( 8 ) \quad ^ { A } \\ \text{and identical equations for } \bar { \beta }. \, One can check these iden-} \quad \text{(with} \ \.$$

and identical equations for ¯ . β One can check these identities by applying them for instance to the modular invariant

$$\sqrt { \tau - \bar { \tau } } \, \eta ( \tau ) \, \eta ( - \bar { \tau } ) = Z _ { b } ^ { - 1 } \,, \quad \quad ( 9 ) \, \begin{array} { c } \text{od} \\ \text{con} \\ \text{san} \end{array}.$$

where Z b is the partition function of a free boson and η is the Dedekind eta function.

In order to obtain useful information on the Virasoro primary spectrum, we have to separate primaries from descendants in the sum of states (3). Z τ, τ ( ¯) can be expanded in Virasoro characters. If c &gt; 1 and the theory is unitary, the modules of the Virasoro algebra are the identity degenerate module χ 0 ( q ) and a continuous family of non-degenerate modules χ A ( q ) labeled by a positive conformal weight h A

$$\chi _ { 0 } ( q ) = \frac { q ^ { - \frac { c - 1 } { 2 4 } } } { \eta ( \tau ) } ( 1 - q ) \,, \ \chi _ { A } ( q ) = \frac { q ^ { h _ { A } - \frac { c - 1 } { 2 4 } } } { \eta ( \tau ) } \,. \quad ( 1 0 ) \quad \text{where} \quad \text{(10)} \quad \text{(for $\tau$)}$$

Assuming discreteness of the spectrum and no conserved currents beyond those of the Virasoro algebra yields the expansion Z = [0 ] + 0 ∑ A N A [∆ j A ], or more explicitly

$$Z ( \tau, \bar { \tau } ) = \chi _ { 0 } ( q ) \chi _ { 0 } ( \bar { q } ) + \sum _ { A } N _ { A } \, \chi _ { A } ( q ) \, \chi _ { A } ( \bar { q } ) \,, \quad ( 1 1 ) \\ \prod _ { A } \, \dots \, \alpha \dots \, \alpha \dots \, \alpha \dots \, \alpha \dots \, \alpha \dots \, \dots \, \dots$$

where the multiplicity N A is a non-negative integer.

In order to obtain the promised upper bound it suffices to apply to such an expansion the first few identities (8). We get rid of the η function and its derivatives by considering the modular-invariant combination Z τ, τ ( ¯) /Z b = Z vac + A N A Z A , with

When applying (8) it turns out that the scaling dimensions ∆ A = h A + ¯ h A always appear in the combination

$$\text{tives by considering the modular-invariant combination} \quad \text{This} \\ Z ( \tau, \bar { \tau } ) / Z _ { b } = Z _ { v a c } + \sum _ { A } N _ { A } \, Z _ { A }, \text{with} \quad \text{matrix} \\ Z _ { v a c } = \sqrt { \beta + \bar { \beta } } \, e ^ { \beta \frac { c - 1 } { 2 4 } } e ^ { \bar { \beta } \frac { c - 1 } { 2 4 } } ( 1 + e ^ { - \beta } ) ( 1 + e ^ { - \bar { \beta } } ) \,, \quad \text{(14).} \\ Z _ { A } = \sqrt { \beta + \bar { \beta } } \, e ^ { \beta \frac { c - 1 } { 2 4 } } e ^ { \bar { \beta } \frac { c - 1 } { 2 4 } } e ^ { - \beta h _ { A } } e ^ { - \bar { \beta } h _ { A } } \,. \quad \text{(12)} \quad \text{the c} \\ \text{When applying } ( 8 ) \, \text{it turns out that the scaling dimen-ter of} \\ \cdots \, \Lambda \,. \, = \, k \,. \, + \, k \,. \, \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \text{dots} \,. \quad \end{$$

∆ A -∆ + with

$$\Delta _ { + } = \frac { c - 1 } { 1 2 } + \frac { 1 } { 2 \sqrt { 3 } \, \pi } \,. \quad \quad \ \ ( 1 3 )$$

It is convenient to organize equations (8) in terms of polynomials of the two differential operators ∂ β + ∂ ¯ β and ∂ β -∂ ¯ β . Odd powers of the latter give trivial identities as a consequence of the symmetry of the partition function under the transformation j A → -j A . The other identities can be written as surprisingly simple sum rules; the first two are [24]

$$\widetilde { \underset { A } { \sum } } ( - 1 ) ^ { j _ { A } } N _ { A } & e ^ { - \beta _ { c } \Delta _ { A } } ( \Delta _ { A } - \Delta _ { + } ) = v ^ { 2 } \Delta _ { + } - u v \,, \\ \sum _ { A } ( - 1 ) ^ { j _ { A } } N _ { A } & e ^ { - \beta _ { c } \Delta _ { A } } \left ( ( \Delta _ { A } - \Delta _ { + } ) ^ { 2 } - \frac { 1 } { 6 \pi ^ { 2 } } + j _ { A } ^ { 2 } \right ) = \\ - v ^ { 2 } \Delta _ { + } ^ { 2 } + 2 u v ( \Delta _ { + } - 1 ) + \frac { v ^ { 2 } } { 6 \pi ^ { 2 } } \,, \quad ( 1 4 ) \\ \intertext {. \quad \text{ with } n = 2 e ^ { - \beta _ { c } } n = 1 + e ^ { - \beta _ { c } } \, \text{ The I. H.S. of these sum} }$$

with u = 2 e -β c , v = 1 + e -β c . The LHS of these sum rules measures the difference in contributions of even and odd spins. We expect that at large j the two kinds of contributions cancel, as the density of the states is the same in this limit [19-21], however we do not use such a cancellation in deriving our upper bound.

We can check the above equations in some specific model. An instructive example is the partition function Z f of 8 free fermions with diagonal GSO projection, which saturates the unitarity bound at c = 4 [12, 14]. The full partition function reads

$$Z _ { f } ( \tau ) = \sum _ { i = 2 } ^ { 4 } \frac { \theta _ { i } ( \tau ) ^ { 4 } \, \theta _ { i } ( - \bar { \tau } ) ^ { 4 } } { 2 \, \eta ( \tau ) ^ { 4 } \, \eta ( - \bar { \tau } ) ^ { 4 } } \,, \quad \quad ( 1 5 ) \\ \omega \, \dots \, \dots \, \dots \, \dots \, \dots \, \sigma \, \dots \,.$$

where θ i denote the Jacobi theta functions. Z f vanishes for τ → e 2 iπ/ 3 , as it becomes proportional to the Eisenstein series E 4 ( τ ), which is known to have a simple zero at this point, so in this case the cancellation is complete. In our notations the vanishing of Z f reads [25]

$$\sum _ { A } ( - 1 ) ^ { j _ { A } } N _ { A } \, e ^ { - \beta _ { c } \Delta _ { A } } = - v ^ { 2 } \,. \quad \quad ( 1 6 ) \\.. \quad. \, - \, - \,. \, - \,. \,. \,. \quad. \quad. \quad..$$

We can easily expand Z f in Virasoro characters. The first few terms are

$$\underset { \text{leriva} } { \text{iden} } \quad Z _ { f } = [ 0 _ { 0 } ] + 2 8 [ 1 _ { 1 } ] + 1 9 2 [ 1 _ { 0 } ] + 1 0 5 [ 2 _ { 2 } ] + 1 3 4 4 [ 2 _ { 1 } ] + 7 8 4 [ 2 _ { 0 } ] + \dots \\ \text{nation} \quad \sim \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

This expansion includes conserved currents, i.e. primaries of the form [ j j ] that we had excluded in deriving (14). The contribution of a conserved current to the partition function is χ j ( q χ ) 0 (¯)+ q χ 0 ( q χ ) j (¯). q One can repeat the calculation that led to (14) and check that the consequent modification is numerically neglegible. As a matter of fact, the two-level decomposition (17) is enough to give a good numerical check of the first equation in (14),

which involves only first derivatives, while the others require much more terms.

Equations (14) and their analogues with higher derivatives become particularly interesting in the largec limit, where they simply read, for integer n ,

$$\sum _ { A } ( - 1 ) ^ { j _ { A } } N _ { A } \, e ^ { - \beta _ { c } \Delta _ { A } } \left ( \frac { \Delta _ { A } - \Delta _ { + } } { \Delta _ { + } } \right ) ^ { n } = v ^ { 2 } ( - 1 ) ^ { n + 1 } + O ( \frac { 1 } { c } ) \,. \quad \text{In accor} \\ \text{We arranco the terms of those or vice-following the in} \quad \text{$r\cdots$}$$

We arrange the terms of these series following the increasing order of the scaling dimensions of the primaries, i.e. 0 &lt; ∆ 1 ≤ ∆ 2 ≤ . . . and denote by S ( k ) n the partial sum of the first k terms of the n th series. We assume the convergence of these series. This means that for every real number /epsilon1 &gt; 0 there exist an integer m n such that for all k ≥ m n we have | S ( k ) n -S n | &lt; /epsilon1 , where S n ≡ v 2 ( -1) n +1 is the sum of the series. Choosing /epsilon1 small enough implies that all the finite sums S ( k ) n with k ≥ m n have the same sign of S n . Thus from the convergence of the first n 0 series we obtain the following exact n 0 inequalities S ( m ) n =2 /lscript -1 &gt; 0 , S ( m ) n =2 /lscript &lt; 0, with m = max( m n ) , (1 ≤ n ≤ n 0 ). We recast the above inequalities in the form

$$A _ { n } \begin{cases} > \, B _ { n } \text{ if } n \text{ odd} \\ < \, B _ { n } \text{ if } n \text{ even }, \\ \quad \ \end{cases} \quad \ \ ( 1 9 ) \quad \text{ has} \\ \quad \ \. \quad \. \quad \. \quad \.$$

where to simplify the notation we defined A n = ∑ p i =1 w a i n i and B n = ∑ q j =1 z j b n j , with p + q = m ; the variables a 1 &lt; a 2 &lt; . . . &lt; a p and b 1 &lt; b 2 &lt; . . . &lt; b q denote the even-spin and the odd-spin terms, respectively, and w &gt; i 0, z j &gt; 0 their multiplicity.

So far we only assumed the convergence of the series. If we now assume a stronger hypothesis, namely that the first n 0 series, for a suitable n 0 , fulfill the condition

$$m \equiv p + q < n _ { 0 } \,, \quad \quad \ \ ( 2 0 ) \, \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \$$

we can easily demonstrate that the scaling dimension of the lowest odd-spin primary lies below ∆ + , i.e. b 1 &lt; 0.

This theorem can be proved by reductio ad absurdum , i.e. assuming b 1 &gt; 0 we show that the inequalities (19) have no solution.

First, note that some of the a i 's could be negative, so their exclusion reinforces the inequalities, and thus we also assume a i &gt; 0.

It is easy to see that the A 's (and the B 's) fulfill a linear relation of the form ∑ p j =0 λ j A p + k -j = 0 , ( k = 1 2 , , . . . ) which can be rewritten as

$$\sum _ { i = 1 } ^ { p } w _ { i } \left ( \sum _ { j = 0 } ^ { p } \lambda _ { j } \, a _ { i } ^ { p + k - j } \right ) = 0 \,. \quad ( 2 1 ) \quad \text{$\subset$} \, \sin \\ \intertext { v e this identity, it suffices to point out that the $\lambda_{j}^{\prime}s$} \quad \text{$\subset$} \, \text{$\text{$the$}$} \,.$$

To prove this identity, it suffices to point out that the λ j 's are the coefficients of the polynomial x k ∏ p j =1 ( x -a j ) ≡ x k ( ∑ p j =0 λ j x p -j ) , with λ 0 = 1.

Since all the a i 's are positive, the λ j have alternating signs, i.e. λ 1 &lt; 0 , λ 2 &gt; 0, and so on, therefore applying the inequalities (19) to the identity (21) gives

$$\text{imit}, \quad & B _ { p + k } + \lambda _ { 1 } \, B _ { p + k - 1 } + \dots \lambda _ { p } \, B _ { k } \begin{cases} \ < 0 \text{ if } p + k \text{ odd} \\ > 0 \text{ if } p + k \text{ even} \,. \end{cases} ( 2 2 ) \\ \sim / 1 \,, \quad \text{$\bullet$} \, \cdots \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \,.$$

In accordance with the assumption (20) k can take the values k = 1 2 , . . . , q +1.

We rewrite the LHS of these q + 1 inequalities as ∑ q j =1 y j b k j , with y j = z j ∏ p i =1 ( b j -a i ). Clearly the alternating signs of (22) are possible only if there are both positive and negative y j 's. Following the signs of y j 's we split the set of the q variables b j 's into two subsets of p ′ and q ′ elements with q = p ′ + q ′ . In this way, relabelling the indices, we can recast the q +1 inequalities (22) into the same form as (19), but with a reduced number of variables.

The iteration of this process terminates when we are left with a single variable of type b and q ′ +1 = 2 contradictory inequalities, namely b &gt; 0 and b 2 &lt; 0, showing that the set (19) combined with (20) is incompatible with the assumption b 1 &gt; 0, QED.

On the contrary, allowing b 1 to be negative it is easy to find numerical solutions of (19). Some of them also have negative even-spin terms, suggesting a possible improvement of the upper bound.

## DISCUSSION AND OUTLOOK

In this paper we pointed out that the partition function of a general CFT on a torus should obey a larger class of equations than those explored so far. The new equations allow us to derive a much stronger upper bound for the maximal gap of the first non-trivial primary in the largec limit. The latter is very close to the mass threshold of the corresponding BTZ black holes in AdS /CFT 3 2 correspondence.

For the sake of completeness, let us recall how such a threshold emerges in the holographic approach. A BTZ black hole of mass M and spin j in the bulk corresponds to a ( h, h ¯ ) primary on the boundary with

$$\text{so} \quad \ h - \frac { c } { 2 4 } = \frac { 1 } { 2 } \left ( M \ell + j \right ) \,, \, \bar { h } - \frac { c } { 2 4 } = \frac { 1 } { 2 } \left ( M \ell - j \right ) \,, \quad ( 2 3 )$$

where /lscript is the radius of AdS 3 , related to the central charge by [22] c = 3 /lscript 2 G , with G the Newton constant. Black holes have smooth horizons only if they fulfill the cosmic censorship condition M/lscript ≥ | j | , prohibiting naked singularities in spacetime. Therefore, according to (23), a CFT primary corresponds to a black hole in the bulk only if h, h ¯ ≥ c 24 . One-loop corrections replace c with c -1 [16]. Primaries with ∆ &lt; c -1 12 correspond to objects that do not have a smooth event horizon, the defining feature of black holes, thus should correspond to a new kind of matter in the bulk.

The threshold at ∆ = c -1 12 has a special meaning even on the CFT side [16, 23]. In particular, in a unitary CFT with boundary, a lower bound is derived for the boundary entropy when assuming ∆ 0 &gt; c -1 12 [23], however lower values are possible. Actually some indication that a lower upper bound is necessary for saving unitarity has been recently found [15], since in the double limit j →∞ , ¯ h -c -1 24 → 0 the density of states of the vacuum character contribution χ 0 ( q χ ) 0 (¯) becomes negative. q A possibility to avoid this violation of unitarity is assuming a twist gap no larger than c -1 16 .

From this perspective, it would be interesting to try to improve our upper bound (1). Note that to derive it only some simple properties of the new set of equations (6) were used. A further study of them could generate important information on the spectrum of primary states in a general CFT.

The author acknowledges a fruitful correspondence with Slava Rychkov.

- [1] J. M. Maldacena, 'The Large N limit of superconformal field theories and supergravity,' Int. J. Theor. Phys. 38 , 1113 (1999) [Adv. Theor. Math. Phys. 2 , 231 (1998)], hep-th/9711200 .
- [2] R. Dijkgraaf, J. M. Maldacena, G. W. Moore and E. P. Verlinde, 'A Black hole Farey tail,' hep-th/0005003 .
- [3] J. Manschot and G. W. Moore, 'A Modern Farey Tail,' Commun. Num. Theor. Phys. 4 , 103 (2010), arXiv:0712.0573 [hep-th] .
- [4] C. A. Keller and A. Maloney, 'Poincare Series, 3D Gravity and CFT Spectroscopy,' JHEP 1502 , 080 (2015), arXiv:1407.6008 [hep-th] .
- [5] M. Banados, C. Teitelboim and J. Zanelli, 'The Black hole in three-dimensional space-time,' Phys. Rev. Lett. 69 , 1849 (1992), hep-th/9204099 .
- [6] This point will be discussed in more detail later.
- [7] J. L. Cardy, 'Operator Content of Two-Dimensional Conformally Invariant Theories,' Nucl. Phys. B 270 , 186 (1986).
- [8] S. Hellerman, 'A Universal Inequality for CFT and Quantum Gravity,' JHEP 1108 , 130 (2011),
- arXiv:0902.2790 [hep-th] .
- [9] D. Friedan and C. A. Keller, 'Constraints on 2d CFT partition functions,' JHEP 1310 , 180 (2013), arXiv:1307.6562 [hep-th] .
- [10] T. Hartman, C. A. Keller and B. Stoica, 'Universal Spectrum of 2d Conformal Field Theory in the Large c Limit,' JHEP 1409 , 118 (2014) arXiv:1405.5137 [hep-th] .
- [11] J. D. Qualls, 'Universal Bounds in Even-Spin CFTs,' JHEP 1512 , 001 (2015) arXiv:1412.0383 [hep-th] .
- [12] S. Collier, Y. H. Lin and X. Yin, 'Modular Bootstrap Revisited,' JHEP 1809 , 061 (2018), arXiv:1608.06241 [hep-th] .
- [13] N. Afkhami-Jeddi, T. Hartman and A. Tajdini, 'Fast Conformal Bootstrap and Constraints on 3d Gravity,' JHEP 1905 , 087 (2019), arXiv:1903.06272 [hep-th] .
- [14] T. Hartman, D. Maz` ac and L. Rastelli, 'Sphere Packing and Quantum Gravity,' JHEP 1912 , 048 (2019), arXiv:1905.01319 [hep-th] .
- [15] N. Benjamin, H. Ooguri, S. H. Shao and Y. Wang, 'Lightcone Modular Bootstrap and Pure Gravity,' arXiv:1906.04184 [hep-th] .
- [16] H. Maxfield, 'Quantum corrections to the BTZ black hole extremality bound from the conformal bootstrap,' arXiv:1906.04416 [hep-th] .
- [17] R. Rattazzi, V. S. Rychkov, E. Tonni and A. Vichi, 'Bounding scalar operator dimensions in 4D CFT,' JHEP 0812 , 031 (2008), arXiv:0807.0004 [hep-th] .
- [18] E. Witten, 'Three-Dimensional Gravity Revisited,' arXiv:0706.3359 [hep-th] .
- [19] Y. Kusuki, 'Light Cone Bootstrap in General 2D CFTs and Entanglement from Light Cone Singularity,' JHEP 1901 , 025 (2019) arXiv:1810.01335 [hep-th] .
- [20] S. Collier, Y. Gobeil, H. Maxfield and E. Perlmutter, 'Quantum Regge Trajectories and the Virasoro Analytic Bootstrap,' JHEP 1905 , 212 (2019), arXiv:1811.05710 [hep-th] .
- [21] Y. Kusuki and M. Miyaji, 'Entanglement Entropy, OTOC and Bootstrap in 2D CFTs from Regge and Light Cone Limits of Multi-point Conformal Block,' JHEP 1908 , 063 (2019), arXiv:1905.02191 [hep-th] .
- [22] J. D. Brown and M. Henneaux, 'Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity,' Commun. Math. Phys. 104 , 207 (1986).
- [23] D. Friedan, A. Konechny and C. Schmidt-Colinet, 'Lower bound on the entropy of boundaries and junctions in 1+1d quantum critical systems,' Phys. Rev. Lett. 109 , 140401 (2012), arXiv:1206.5395 [hep-th] .
- [24] I would like to thank Brian McPeak for pointing out to me a mistake in a praevious version of this paper.
- [25] The same identity holds for the partition function of 8 compactified bosons on the Γ 8 Narain's lattice mentioned in [12].
Ferdinando Gliozzi
Modular Bootstrap, Elliptic Points, and Quantum Gravity
The modular bootstrap program for 2d CFTs could be seen as a systematic
exploration of the physical consequences of consistency conditions at the
elliptic points and at the cusp of their toruspartition function. The study at
$\tau=i$, the elliptic point stabilized by the modular inversion $S$, was
initiated by Hellerman, who found a general upper bound for the most relevant
scaling dimension $\Delta$. Likewise, analyticity at $\tau=i\infty$, the cusp
stabilized by the modular translation $T$, yields an upper bound on the twist
gap. Here we study consistency conditions at $\tau=\exp[2i\pi/3]$, the elliptic
point stabilized by $S T$. We find a much stronger upper bound in the large-c
limit, namely $\Delta<\frac{c-1}{12}+0.092$, which is very close to the minimal
mass threshold of the BTZ black holes in the gravity dual of $AdS_3/CFT_2$
correspondence.