Quantum Gravity from Timelike Liouville theory

A proper definition of the path integral of quantum gravity has been a long-standing puzzle because the Weyl factor of the Euclidean metric has a wrong-sign kinetic term. We propose a definition of two-dimensional Liouville quantum gravity with cosmological constant using conformal bootstrap for the timelike Liouville theory coupled to supercritical matter. We prove a no-ghost theorem for the states in the BRST cohomology. We show that the four-point function constructed by gluing the timelike Liouville three-point functions is well defined and crossing symmetric (numerically) for external Liouville energies corresponding to \textit{all} physical states in the BRST cohomology with the choice of the Ribault-Santachiara contour for the internal energy.


Introduction
The path integral of Euclidean quantum gravity is ill-defined because the Weyl factor of the Euclidean metric has a wrong-sign kinetic term [1].It has been a long-standing puzzle how to make sense of such a theory.In this work, we address this problem for two-dimensional gravity with a cosmological constant, where the dynamics of the Weyl factor is described by the exactly-solvable Liouville conformal field theory [2].This makes it possible to use the non-Lagrangian conformal bootstrap rather than the path integral to define quantum gravity coupled to conformal matter.
A simpler version of the problem is encountered in defining the Euclidean worldsheet path integral of critical bosonic string theory in 26-dimensional Minkowski spacetime.The path integral for the timelike boson has a wrong-sign kinetic term and is ill-defined.It is nevertheless Gaussian.One can define it first for the spacelike boson with the right-sign kinetic term to compute all correlations and then analytically continue the result to the physical Minkowski energy.The analytic continuation is greatly simplified by the fact that (spacetime) energy is conserved as a consequence of the shift symmetry of the free timelike boson.However, even in this simple case, the analytic continuation of the integrated correlations is subtle and requires a proper 'i prescription' to make sense of the resulting worldsheet integrals [3,4].
The timelike boson of the critical string could be thought of as the Liouville mode of worldsheet gravity [5] coupled to non-critical matter of 25 spacelike bosons with the cosmological constant set to zero.With the addition of the cosmological constant, one obtains a non-trivial interacting quantum field theory with a non-polynomial, exponential interaction.The action is no longer shift-symmetric and energy is no longer conserved.This makes the problem of analytic continuation much more severe already at the level of the unintegrated correlation functions.One can hope that this solvable model is nevertheless tractable and holds some general lessons that can be extended to higher-dimensional gravity.
With this perspective, we consider timelike Liouville theory coupled to supercritical matter.Timelike Liouville theory as a conformal field theory is by now well understood [6][7][8][9][10][11].The spectrum of operators and structure constants that satisfy the bootstrap equations are known.The path integral corresponding to the three-point function computed from the bootstrap has been studied in [12,13].To construct the corresponding quantum theory of gravity we need to impose diffeomorphism invariance after coupling the Liouville theory to matter.Our guiding principles are BRST invariance to implement the gauge symmetry, a no-ghost theorem to ensure positive norm for physical states, and a proper analytic continuation of correlations that ensures crossing symmetry.Consistent with these physical requirements, we propose a definition of Euclidean quantum gravity on a 2-sphere, or equivalently on a plane, with a non-zero positive cosmological constant.
We do not consider higher genus Riemann surfaces and the issue of possible tachyonic divergences at higher loops.Nor do we analyze the question of the i prescription for integrated correlations.These problems are left for the future.We summarize below our two main results.

A no-ghost theorem for the states in the BRST cohomology
We compute the BRST cohomology by generalizing the derivation in [14] to include a timelike Coulomb gas boson.Hermiticity of the matter sector and the presence of the cosmological term truncate the cohomology further to a subset.We prove the no-ghost theorem by showing that all states in this physical Hilbert space have positive norm.

Crossing-symmetric correlations for all physical energies
The physical spectrum of ghost-free BRST-invariant states allows for both real and imaginary Liouville energy.This is larger than the spectrum used in the conformal bootstrap [10] which includes only imaginary energies.It is necessary to find a proper analytic continuation so that four-point functions can be defined for all physical energies.A key new ingredient in our analysis is the observation that for a physically sensible theory it is not necessary to identify the external and internal spectra.We show that the fourpoint function constructed by gluing the timelike three-point functions is well defined and crossing symmetric with the choice of the Ribault-Santachiara contour for the internal energy for all physical states in the BRST cohomology.Crossing symmetry follows from the numerical analysis performed by Ribault and Santachiara.
Our unusual prescription for the analytic continuation is inspired by recent work in string field theory [4,15,16].One of the features of string field theory scattering amplitudes is that the vertices in momentum space are exponentially damped for Euclidean energies, reflecting the soft ultraviolet behavior of strings.This implies though that vertices make an exponentially growing contribution to the contour at infinity for real energy.As a result, the integration contour along the imaginary energy axis cannot be analytically Wick-rotated to a contour along the real energy axis.One can nevertheless perform an analytic continuation by analyticallydeforming the contour appropriately to avoid poles but holding the ends at imaginary infinity fixed without rotating the whole contour.This prescription for the analytic continuation has been shown to yield physically sensible results in string field theory and can also be used consistently for standard QFTs [15][16][17][18][19][20].
In Liouville theory one encounters a similar problem already at tree level for the unintegrated correlation functions because the timelike three-point function [6][7][8][9] and conformal blocks exhibit exponential growth in regions of the complex energy plane corresponding to large negative conformal dimensions.Examination of the poles in the integrand for the fourpoint correlation function reveals a simplification compared to string field theory in that the poles in fact do not depend on the external states and do not move as the external energies are analytically continued.Consequently, it is not even necessary to deform the contour of integration to analytically continue the answer.Using the numerical code released with [10] we have explicitly checked that the resulting four-point functions are indeed well defined and crossing symmetric for all physical energies.This is one of our main conclusions.
Our results obtained for a Euclidean worldsheet with a spherical topology may have implications for the de Sitter spacetime if one can analytically continue the worldsheet time to obtain Lorentzian signature on base space.Two-dimensional de Sitter-like solutions can be used as models for expanding cosmologies [21][22][23].It was shown in [22,23] that inclusion of nonlocal quantum corrections modifies the barotropic index of vacuum energy.This leads to the dilution of vacuum energy that is consistent with momentum conservation and slows down the de Sitter expansion.This interesting mechanism depends on a choice of the initial vacuum and a particular choice of the 'physical' metric.In general, there is no single choice of the metric for renormalizing all operators in the effective action that is mutually local, because of the gravitational dressings.It is a rather subtle question to determine which metric and which vacuum should be regarded as physical.The semiclassical limit of Liouville gravity that we construct in this paper can perhaps shed some light on these issues.
Earlier work on two-dimensional gravity using matrix models concerns spacelike Liouville theory coupled to subcritical matter.Since spacelike Liouville theory has the right-sign kinetic term, it is not quite like the Weyl factor of the metric in higher-dimensional gravity.Another advantage of timelike Liouville theory is that it admits a semiclassical limit with unitary matter, which is amenable to a path integral treatment [12,13].In these respects timelike Liouville theory coupled to unitary matter is a better model for higher-dimensional gravity.
Another motivation for the present work is the AdS/CF T correspondence.If one wishes to extend holography beyond the large N classical gravity limit, it is necessary to be able to define the path integral of supergravity in the bulk-AdS spacetime.It has been possible to apply localization techniques to the formal supergravity path integral in bulk AdS to compute finite N or finite Planck length effects corresponding to genuine quantum gravity corrections.Localization often reduces the path integral to a finite integral.To obtain sensible answers in agreement with the boundary CF T , it is necessary to rotate the contour of integration for the zero mode of the Weyl factor of the metric [24][25][26] in the final stages of the computation. 1It would be more satisfactory to have an a priori definition of the supergravity path integral which can justify such an analytic continuation from first principles.An advantage of the holographic setup is that comparison with the boundary CFT can be used as an independent check for the answer.To discuss an asymptotically AdS worldsheet, it would be necessary to extend our results to worldsheets with a boundary.This is an interesting problem for the future.
One can analyze the timelike Liouville theory using minisuperspace analysis [27][28][29][30][31][32].In particular, one may hope to compute the spectrum and correlation functions of light states from the minisuperspace wave functions.However, this analysis is plagued with difficulties and we were not able to draw any clear conclusions.We review some of the issues in §C and describe our analysis briefly in §B and at more length in [33].Given these difficulties, we renounce the minisuperspace altogether and use BRST invariance and crossing symmetry as our guiding principles.
The outline of the paper is as follows.We review generalities about Liouville field theory in §2 and the conformal field theory of timelike Liouville in §3.In §4 we present a derivation of the BRST cohomology for timelike Liouville theory coupled to D ≥ 25 free bosons and prove the no-ghost theorem.In §5 we present the prescription for defining the correlation functions explaining the analogy with string field theory (which is reviewed briefly in §D).We conclude in §6 with a discussion of possible extensions.Finally, few comments on the minisuperspace analysis are given in §B and a brief history of timelike Liouville is provided in §C.

Quantum gravity in two dimensions
Our starting point is the path integral for the two-dimensional Euclidean metric g µν coupled to D free scalar fields {Y I } with central charge c m = D: where V diff is the volume of the diffeomorphism group.The matter action is given by and the classical gravitational action is given by where µ 0 is the bare cosmological constant.The Einstein-Hilbert term is topological and will play no role since we will restrict ourselves to the spherical topology.Our goal is to make sense of this path integral.

Generalities about Liouville gravity
It is convenient to introduce a Weyl compensator Ω(x) and a fiducial metric ḡµν (x) to write g µν (x) = e 2Ω(x) ḡµν (x) . (2.4) This split is arbitrary and the metric is clearly invariant under a 'fiducial Weyl transformation' ḡµν → ḡµν e 2σ(x) and Ω(x) → Ω(x) − σ(x) . (2.5) We have effectively introduced a new scalar degree of freedom but at the same time we have enlarged the gauge symmetry so that the classical dynamics does not change.Fadeev-Popov gauge fixing of the gravitational measure yields where the ghost action reads (2.7) Note that the cosmological constant is dimensionful and the original theory is not invariant under the Weyl transformations of the physical metric.The action for matter and ghosts on the other hand is Weyl invariant, S[g, Y I , b, c] = S[ḡ, Y I , b, c], but their measure is not.The anomalous Weyl variations of the measures can be deduced from the Weyl anomaly [2]: where is the Wess-Zumino action corresponding to the Weyl anomaly.The bar over the measure indicates that it is defined with respect to the fiducial metric, for example, using the norm The The measure DΩ for the Weyl factor is still defined with respect to the physical metric and is invariant under fiducial Weyl transformations.It is well known that one can convert it to the canonical measure DΩ that is invariant under field translations.The only effect of the change of measure is to renormalize the Liouville action in a manner that is invariant under the fiducial Weyl symmetry [34][35][36][37][38].By further rescaling χ = q Ω we obtain the canonically-normalized action S tL [ḡ, χ] = 1 4π d 2 x √ ḡ −(∇χ) 2 − q Rχ + 4πµ e 2βχ . (2.15) Because the kinetic term has a wrong-sign, we refer to this action as timelike Liouville.We have assumed q is real, so the rescaling does not change the sign of the kinetic term.The unknown parameter β will be determined shortly.
A well-known and remarkable fact is that the Liouville field behaves like a free field for the purposes of renormalization [37,38].Thus, the classical central charge (2.14) receives an additional quantum contribution from the Liouville field as if for a free scalar field: (2.16) For q real we have c L ≤ 1.Moreover, free-field normal ordering removes all ultraviolet divergences.In particular, the dimension of the composite exponential operator is, as for a free field with background charge: ∆ e 2βχ = β(q + β) . (2.17) The requirement of invariance under the fiducial Weyl invariance then implies where the second piece can be interpreted as a quantum correction to the classical value q = β −1 .

BRST quantization
The net result of the introduction of the Weyl compensator and the gauge fixing is that both the matter and the gravity sectors are now described by a (fiducial)-Weyl-invariant action with canonical measure.Ghosts and matter are free theories and they can be dealt with as in critical string theory.For timelike Liouville, we need to make sense of the quantum theory that corresponds to the Liouville path integral above with canonical measure and q ∈ R, that is, when c L ≤ 1 or c m ≥ 25 taking into account the quantum correction in (2.16) and (2.19).Diffeomorphism invariance of the theory in the original field variables {g µν } is now equivalent to diffeomorphism plus fiducial Weyl invariance in the new variables {ḡ µν , Ω}.For a diffeomorphism invariant theory, Weyl invariance is equivalent to conformal invariance.Our construction using the bootstrap will be manifestly conformally invariant.To implement diffeomorphism invariance, we use BRST quantization.The BRST quantization of this theory is similar to the BRST quantization of the critical string or of two-dimensional gravity corresponding to spacelike Liouville coupled to subcritical matter.There is extensive literature on the topic which can be easily adapted to the case at hand of two-dimensional gravity corresponding to timelike Liouville coupled to supercritical matter.We review the relevant background in §4.The BRST operator Q B is nilpotent iff the total central charge vanishes as in the case of critical string theory.This implies Given a nilpotent BRST operator, there are two steps to construct a gauge-invariant twodimensional gravity.We first need to determine the gauge-invariant spectrum of physical operators and prove a no-ghost theorem for the operators in the BRST cohomology.This is described in §4.We then need to give a prescription to compute correlation functions for all these operators.In flat fiducial metric, the integrated BRST-invariant operators are of the form where V m and V α are respectively operators in the matter and Liouville sectors with quantum numbers k and α.Correlations in the matter sector are straightforward for free scalars.Computation of the correlation functions in the Liouville sector can be achieved using conformal bootstrap and after an appropriate analytic continuation as discussed in §3.3 and §5.
We comment briefly on the role of the b, c ghosts since the vertex operators above are defined without any c ghosts.The states in the BRST cohomology are naturally expressed as unintegrated operators on the | ↓ ghost vacuum, which is equivalent to the traditional c(z)c(z) insertion.If all vertex operators are given in this representation, the amplitude is obtained by integrating over the marked moduli space of genus-g Riemann surfaces with n punctures [39].The definition of the measure includes some b-ghost insertions required to soak up the zeromodes.In the case of the sphere, combining them with all but three c-ghost insertions leads to the standard formulation of amplitudes in critical string theory.These remaining ghosts arise from the gauge fixing of SL(2, C).Hence, with the no-ghost theorem proven in §4.3, all ghosts which appear are related to the measure of integration over the moduli space and not to negative-norm states.

Timelike versus spacelike Liouville
One can allow the parameter q to be complex to explore the parameter space.From the perspective of the path integral for two-dimensional gravity it is natural to require that in appropriate real field variables the action be real.This singles out two regimes which we refer to as timelike and spacelike Liouville2 using the target space terminology3 of critical strings: 1. Timelike : c L ≤ 1 and q, β ∈ R. 2. Spacelike : c L ≥ 25 and q, β ∈ iR.
We refer to the corresponding regimes of gravity as 'timelike gravity' and 'spacelike gravity'.For q pure imaginary, the action (2.15) can be made pure real by an 'analytic continuation': to obtain the canonical spacelike Liouville action .22)This action describes a Coulomb gas with background charge Q deformed by the exponential interaction corresponding to the cosmological constant, with to ensure that the cosmological constant operator has conformal dimension (1,1).The central charge is The regime c L ∈ (1, 25) and Q ∈ (0, 2) is also possible from the point of the CFT but requires complex b and we do not consider it here.
One can rewrite the timelike action (2.15) by rescaling χ → qχ so that there is an overall factor of q 2 which can then be interpreted as 1/ .Similar rescaling for the spacelike theory tells us that the semiclassical limit in the two regimes corresponds to (2.25) The parameters β and b are sometimes referred to as the Liouville coupling constants.We equivalently define the semiclassical limit as While the naïve analytic continuation (2.21) at the level of the classical action is straightforward, it is far from clear how to analytically continue the integration cycle in the field space for the corresponding path integral.Generically, one would expect that the two semiclassical regimes could be separated by Stokes lines [12].Indeed, this is the crux of the matter and has been the source of much of the difficulties in defining the timelike Liouville theory.One of our main results is to obtain a definition of the timelike quantum gravity using conformal bootstrap and BRST invariance which would agree with the path integral defined using the action (2.15) in the semiclassical regime.We obtain a physically-sensible definition for timelike gravity; however it cannot be obtained by a naïve analytic continuation from spacelike gravity.

Liouville conformal field theory
In the conformally-flat gauge, the line element is The timelike Liouville action (2.15) takes the form4 The equation of motion is The holomorphic momentum tensor is which can be derived from the covariant form of the action (2.15).This corresponds to the momentum tensor of a Coulomb gas and shows that the Liouville theory is indeed a CFT (up to redundant operators which vanish upon using equations of motion).The Liouville action is invariant under diffeomorphisms but shifts under the fiducial Weyl transformations by a field independent term.The equations of motion are therefore invariant under conformal transformations which can be thought of as a diffeomorphism of the flat space combined with a fiducial Weyl transformation.The latter brings the fiducial metric back to the flat metric as in the conformal gauge (3.1).
In what follows, we treat Liouville conformal field theory using the non-Lagrangian conformal bootstrap approach to construct a theory whose semiclassical limit corresponds to the path integral defined using the action above.

Conformal bootstrap for Liouville
Within the framework of the BPZ conformal bootstrap [41] a conformal field theory is completely specified by the spectrum of primary operators and their three-point structure constants satisfying the crossing symmetry constraints.Within this framework, the quantum Liouville theory can be defined axiomatically by the following two requirements: 51.The spectrum of dimensions ∆ ∈ R is continuous.For each dimension, the multiplicity of the Virasoro representation is either one or zero.That is, for a given dimension, either there is exactly one primary field or none.It is convenient to label the primary fields by the 'Liouville charge' which we denote by α for timelike Liouville and a for spacelike Liouville (α, a ∈ C) with α = ia under the naïve analytic continuation (2.21).The spectrum of primary operators is correspondingly denoted by {V α } and {V a } as we describe in more detail in the next subsection.2. The correlation functions are meromorphic functions of the external Liouville charges and the Liouville coupling constant.We denote the three-point structure constants by C(α 1 , α 2 , α 3 ) and C(a 1 , a 2 , a 3 ) respectively for timelike and spacelike Liouville with an implicit dependence on the couplings β and b.
The operator product expansion (OPE) for timelike Liouville takes the form where the sum over N generates the descendants of V α 3 .S int will be called the spectrum of internal states or internal spectrum for reasons that will become clear later, and includes all primary states which can appear in the sum for any α 1 and α 2 . 6Using the OPE, any n-point correlation function can be rewritten in terms of lower-order correlation functions.
Since the OPE coefficients C α 3 α 1 ,α 2 are related to the two-point and three-point functions, the decomposition stops once the n-point function is expressed in terms of the structure constants.
An n-point correlation function of n vertex operators on the sphere for the timelike theory has the form Associativity of the OPE implies crossing symmetry constraints: an n-point function can be decomposed in many different channels, all of which should yield the same result.In particular, the crossing symmetry constraint for the four-point function can be represented schematically as the equality between the 's-channel' and the 't-channel': These are a highly restrictive infinite set of integral constraints on the structure constants and on the allowed internal spectrum.The idea of the conformal bootstrap is to exploit these constraints to 'solve' the theory by determining the structure constants completely with some additional physical restrictions on the spectrum as (1) above, and requirements of analyticity or meromorphicity on the correlation functions as (2).An impressive achievement of the conformal bootstrap has been to find a completely explicit analytic expression for the structure constants for both the spacelike and timelike regimes subject to these axiomatic requirements and show that they are unique.The spacelike structure constants C(a 1 , a 2 , a 3 ) are given by the Dorn-Otto-Zamolodchikov-Zamolodchikov (DOZZ) formula [50,51] (see [42,44,46,52] for more discussions).The timelike structure constants C(α 1 , α 2 , α 3 ) were obtained in [6][7][8][9]30] (important insights were also provided in [12,13]).Since the correlation functions are meromorphic functions of the Liouville coupling, it is natural to analytically continue Liouville theory for any complex central charge c L ∈ C [10].It may appear then that it is possible to simply analytically continue spacelike Liouville into timelike Liouville [27][28][29][30].This however is not true [6,31,32] as we explain below.
A key ingredient in solving Liouville theory in the axiomatic framework are Teschner's difference relations [44,52], also called degenerate relations.These are a special case of the crossing relations where one of the external operators is a degenerate field.The general crossing symmetry constraints (3.8) form an infinite set of integral equations that are quadratic in the structure constants.It is practically impossible to solve them in this form.However, these equations simplify enormously and become tractable if one of the external fields in the fourpoint function is taken to be a degenerate field of the Virasoro algebra.The OPE with a degenerate field involves only a finite number of terms in the RHS of (3.6) and as a result the crossing constraints reduce to effectively linear shift relations.In particular, considering the two simplest degenerate fields leads to (schematically): and a second identical equation but with β replaced by 1/β, which is a consequence of the β → 1/β symmetry of the theory.F (β, {α i }) is a known function involving ratios of the Euler gamma function.These degenerate crossing relations are already highly restrictive even though they are only a subset of the full set of crossing relations.In fact, they determine the structure constants completely for real β by the following argument.A repeated application of Teschner relations results in a shift of α 3 by a number mβ/2 + n/2β with m, n ∈ Z.This is dense in R in that any real number can be approximated well enough by an appropriate choice of m and n because 1/β and β are generically incommensurable.This makes it plausible that the structure constants can be uniquely determined for any value of α 3 ∈ R by using these discrete difference relations.Then one can analytically continue to complex α 3 .A similar argument applies for the spacelike structure constants.If one analytically continues β (or b) to the complex plane away from the real line, then β and 1/β are no longer collinear in the complex plane and the argument above does not work.In this case, the solution to the difference relations is ambiguous up to an elliptic function that is doubly periodic under shifts by β/2 and 1/2β.Consequently, the analytic continuations of C(α 1 , α 2 , α 3 ) and C(a 1 , a 2 , a 3 ) in the complex plane away from the real and imaginary axis can and do differ from each other by a doubly periodic function [6,12].Schematically, one finds where H is a known elliptic meromorphic function which has poles for purely imaginary b and hence one cannot reach it analytically from purely real b.Thus, even though one can analytically continue the Teschner relations, the structure constants C(α 1 , α 2 , α 3 ) and C(a 1 , a 2 , a 3 ) obtained as solutions of these equations are distinct and are not analytic continuations of each other.Even though the degenerate crossing relations determine the structure constants uniquely, to define a consistent theory it is necessary to show that even the full crossing relations are satisfied for all choices of Liouville charges.This cannot be done analytically except for c L ≥ 25 [42,53] and c L = 1 [54], but in the impressive work of [10] Ribault and Santachiara developed a code to check it numerically for generic c L ∈ C.
With these general considerations, in the next two subsections we review the spectrum and the correlation functions of timelike Liouville theory as determined from bootstrap.We closely follow the conventions and presentation of [10,46].However, our perspective differs in two important respects.
• First, as explained above, we regard the timelike and spacelike Liouville theories to be physically distinct, defined respectively by the ranges c L ≤ 1 and c L ≥ 25 with real action.Thus our terminology is slightly different from [10].
• Second, and more importantly, we make a distinction between the spectrum of external and internal states as we explain in the next subsection.This point of view is more natural from the perspective of quantum gravity.
Before moving on, we add a comment on the bootstrap constraints at higher genus.On a higher-genus Riemann surface, inserting the resolution of the identity on a non-trivial cycle is equivalent to splitting the surface into two pieces with one additional state for each piece.Demanding equality between the original expression and the one with the identity inserted leads to what are known as the modular bootstrap constraints.In general, a theory is consistent on any genus-g Riemann surface if the four-point function on the sphere is crossing symmetric and if the one-point function on the torus is modular covariant for all states in the internal spectrum [55].It has been shown that the Liouville theory [10,56] is a consistent theory even after taking into account these modular bootstrap constraints because the one-point function on the torus can be related to the four-point function on the sphere.

On the Spectrum
In this subsection, we start by reviewing the usual parametrizations for the Liouville charges and the preliminary constraints on these obtained by simple considerations of reality and unitarity.We then present a crucial distinction between the internal and external spectra that is an important and novel outcome of our analysis.Even though we are primarily interested in the timelike Liouville theory, we first discuss the spacelike Liouville theory because it is better known and also better understood from the perspectives of both the conformal bootstrap and minisuperspace quantization.
The charges and the dimensions of the primary fields {V a } of spacelike Liouville can be parametrized as where a is the Liouville charge under the U(1) current J = i∂φ.Since the current is anomalous, the charge a on the plane is related to the momentum p in the cylinder as above.We refer to p as the Liouville momentum.When Q is zero, it corresponds to the spacelike momentum in target space; in the minisuperspace quantization on the cylinder it corresponds to the asymptotic momentum away from the Liouville wall.
To make contact with the Lagrangian approach, we note that the primary fields are in one-to-one correspondence with the exponential vertex operators with anomalous dimension given by the free Coulomb gas: Since c L ≥ 25 for the spacelike regime, unitarity is a sensible assumption and consistency is confirmed by the bootstrap.Unitarity implies that the conformal dimensions must be positive, which leads to two possible ranges for the spacelike momentum shown in Figure 1: shown in orange.The expression for the conformal dimensions (3.11) is invariant under a → Q − a, or equivalently under p → −p.Since the first axiom of Liouville theory about the spectrum requires that the spectrum be nondegenerate, the operators V a and V Q−a must be related.It is well known that the two can be identified inside correlation functions up to a 'reflection coefficient' R(a) by This implies that the range of a has to be halved, restricting the orange branch to a ∈ [0, Q/2] or p ≥ 0 for the blue branch.In the minisuperspace quantization, the halving of the spectrum can be understood as a consequence of the exponential potential wall.This potential wall reflects an 'incoming' momentum p into an 'outgoing' momentum −p, so that a momentum state is only labelled by the norm of the momentum.With this identification, the two-point function can be completely diagonalized.For timelike Liouville, the charges and the dimensions of the primary fields {V α } can be parametrized as Throughout this paper, we use the terminology Liouville energy E and Liouville momentum p for timelike and spacelike Liouville respectively.Now, the primary fields are in one-to-one correspondence with the exponential vertex operators with free Coulomb gas anomalous dimensions given by where α is the Liouville charge on the plane under the U(1) current J = −i∂χ, whose anomaly relates it to the Liouville energy E on the cylinder as above.
For timelike Liouville, unitarity is no longer a sensible criterion and the conformal dimensions need no longer be positive.We only require that the conformal dimensions be real.This implies that either E ∈ R or E ∈ iR, with the conformal dimensions bounded respectively from above or below by −q 2 /4.This leads to two possible ranges for the charge shown in Figure 2: 1.Real energy E ∈ R, shown in red.2. Imaginary energy E ∈ iR, shown in green.
R e p l z v P J k 0 P l 9 5 x r N M S O u u r v M 6 3 u 3 l m 9 t b v 7 V X E 0 5 Z l e o J g v l q D 9 N 2 J k W B i 1 g 4 8 K e t o I U s 4 a M L 8 I U q Q M / e e y b 7 6 V Z R 3 2 g M Y 6 y r d R h r F w Z u y p K Z 9 P V m N 6 o z c Z / L I m F w u S z I n 5 s j z N 3 R 1 B 2 k 7 m r q L l L 3 N H U P q f u a u o / U F 5 r 6 A q k D T R 0 g 9 U B T D 5 D 6 U l N f I v V I U 4 + Q e q y p x 0 g 9 0 d Q T p J 5 q 6 i l S h 5 o 6 R O q Z p p 4 h 9 V J T L 5 H 6 V l P f I v V C U y + Q + l p T X y N 1 r K l j p F 5 p 6 l V R 6 P 2 y Z 5 1 I Q S 1 / N I / r 9 j b r w 4

n d p c h e T e z S 5 h 8 l 9 m t z H 5 A u a f I H J
R N e k j l v K j a g m A W M q R q g U B Y i l P q p Y H i K V c q V o s I J b y p W r p g F j K m Y D F 1 p S 5 l D c B i 8 0 p c y l 3 q h Y K i K X 8 q V r M I J Z y q G q J g V j K o 4 D F J p W 5 l E s B i 2 0 q c y m f q p Z I i K W c q l q K I Z b y q m p h h l j K r a r F V M O u a s u a p G z + P 3 s W J u j G U 8 y H j l m 3 + W r b l 2 I S q / v 5 n a e C F 4 6 7 i R J R C x P c 9 l h n b J w Z P / M I h a q S 3 V f F V h 2 6 8 G y x Y U c e w 6 Y Z V 6 P l Z Z S o 3 s u e z v P m M y i 6 C 4 7 V R 3 q O o 7 j 5 l y 6 a D w V s 8 K F g S P H a V n 0 5 L 3 Z Y s q y / C Z I q x u n R K 6 1 Z c e s i y m J e i 3 H a F 2 r Z e D / W q e V M 0 h X e e w z f P i v w P x d t H j 9 d W 1 / T h 4 J N e d f J 4 / a t / / P X z v / / z 5 / 2 3 n / 7 6 X + 4 w 9 q c h j 6 Q f s C y 7 6 q 0 l 8 j p n q R R + w x / s 9 7 5 Z n 3 j d G N 5 s 9 s q j s 9 b v 2 7 9 p r X a 6 r T    The expression for the conformal dimensions (3.14) is now invariant under α → −q − α, or equivalently under E → −E.By the same reasoning as in the spacelike case, V α and V −q−α can be identified inside correlation functions up to a 'reflection coefficient' R(α) by This means that the range of E is again halved, restricting to E ≥ 0 for the red branch, or E ∈ iR + for the green one.
To define timelike gravity, we first need to determine the BRST cohomology. 8The resulting physical spectrum need not include all the states on the red and green branches as allowed by the above considerations.Second, we need to define the correlation functions for these physical states.These two questions naturally lead to an important distinction between external and internal states as we explain in the next subsections.We summarize here the main conclusions: • External states S ext : These are the gauge-invariant states in the ghost-free BRST cohomology of the theory.We will find that their Liouville energies are a subset of R ∪ iR.
• Internal states S int : These are the states that appear in the internal energy integrals of correlators.They can be identified with the spectrum appearing in the OPE expansion, and are determined by requiring a convergent and crossing-symmetric four-point function.
We will find that their Liouville energies belong to a subset of iR.
It may be surprising at first that S int does not include all the states that belong to S ext .One would surely like to define correlation functions for all external states in the gauge-invariant spectrum of the theory.However, as we explain in §3.3, the four-point function diverges when E ∈ R for the internal states, as a consequence of the behavior of the integrand for large negative conformal dimension (E → ±∞).One could try to consider only a finite interval, but there is no first principle to determine the bound.The only natural solution would have been the presence of a conservation law as for free scalars, but the U(1) invariance is broken by the background charge.An unavoidable consequence of these facts is that S int cannot include states with real Liouville energies if we wish to obtain well-defined correlations.We adopt the point of view that the role of the bootstrap is to determine the minimal spectrum of internal states necessary to be able construct all physical correlation functions.It is possible, and is indeed true in the present case, that the correlation functions defined with a set of internal states make sense for a larger set of states. 9In fact, the definition of the internal spectrum is somewhat fuzzy while considering a continuous spectrum since the integral over the states can be deformed as long as no singularity is encountered.These two facts are of prime importance to define Liouville theory [10,46] even at the level of the conformal field theory, as we clarify in the following two points.
• First, to obtain the difference relations of the structure constants it is necessary to use degenerate external states, even though degenerate states do not belong to the original set of internal or external states.We stress that a state V α with ∆ α equal to the dimension of a degenerate state is generically not identified with the corresponding degenerate state.The Verma module generated by V α is in general a different representation than the one generated by the degenerate state.Thus, using degenerate fields for deriving Teschner's relations amounts to extending both the internal and external spectra to consider more general OPE.If the formulas derived with this extended spectrum make sense for the original set of states, for example, for the structure constants, then one can consider the theory only for the restricted set of states.This is the sense in which axiom 3.1 in [46] should be interpreted.
• Second, even if one wants to identify the external spectrum with the internal one as in [10], the internal spectrum (3.22) needs to be slightly deformed in the complex plane anyway in order to get a convergent four-point function when c L ≤ 1.Any other analytic continuation of the contour yields the same results as long as no poles is encountered.
Even in quantum field theory or string field theory, the physical objects are S-matrix elements as functions of external momenta.The description in terms of Feynman diagrams and internal states is convenient but not essential.The internal states as such are not observable.Asking if they are identical to the external states is not really a well-posed question.From this perspective, there is no conceptual mystery if S int and S ext are distinct as long as one can obtain sensible expressions for all physical quantities.Indeed, this is how things work in string field theory as we elaborate on in §D.The heuristic idea there is that as long as external energies are finite, it is not necessary to analytically Wick rotate at infinity.It is sufficient to analytically deform the contour to avoid potential poles as external energies are analytically continued.One can thus prove Cutkosky rules without explicitly talking about the internal states [15,19].We do not have the constraints from Cutkosky rules in the present context but crossing symmetry is an analog which is similarly restrictive.

Correlation functions
We first review the two-point and the three-point functions.We then discuss the four-point functions with the view to determine the spectrum S int of internal states.

Two-point function
The vertex operators {V α } can be normalized so that the two-point function takes the form [12,46] The dependence in z 1 and z 2 is completely fixed by global conformal invariance.The presence of the reflection coefficient R(α) in (3.17) is due to the reflection-invariance of the two-point function.The reflection coefficient can be computed by considering the four-point function of two degenerate fields [12,46] and reads with γ(x) = Γ(x)/Γ(1 − x).The two-point function has a well-defined analytic continuation in β and in α.In particular, the normalization chosen here is an analytic continuation of the normalization for spacelike Liouville.
As already mentioned, the structure constant C α 1 ,α 2 ,α 3 is the unique solution to the degenerate crossing relations when c L ≤ 1, and even if the degenerate relations admit a continuation to all c L ∈ C, C can only be analytically continued to c L / ∈ (25, ∞).Given the zeros of the Upsilon function (see §A), the explicit form of C α 1 ,α 2 ,α 3 shows why analytic continuation to the spacelike regime c L ≥ 25 does not work, in line with the general remarks in §3.1.

Four-point function
Higher-point correlation functions can be constructed from the structure constants by using the OPE.Concretely, the s-channel decomposition of the four-point function reads where F (s) αs are the s-channel conformal blocks (see [46] for a complete characterization).The integral runs over the internal states, i.e. the internal spectrum (taken to be continuous by assumption).The t-and u-channels are obtained similarly by considering different OPEs.
Requiring convergence of the decomposition (3.21) imposes a restriction on the contour of integration, i.e. on the internal spectrum.Indeed, the integrand behaves as |q| 2∆s with |q| < 1 for large |∆ s | (see §5 for more details), hence the integral diverges when the (real part of the) conformal dimensions of the operators appearing in S int is unbounded from below.For both the spacelike and timelike regimes, the respective conformal dimensions ∆ p = Q 2 /4 + p 2 or ∆ E = −q 2 /4 − E 2 are bounded from below when E = ip ∈ iR.Therefore, this continuous family of states can be identified to be the internal spectrum in both regimes (i.e. the family with p ∈ R in the spacelike case and the family with E ∈ iR in the timelike case).By continuity, this internal spectrum is also used for any c L ∈ C. We stress that the internal spectrum is not analytically continued as one continues the field and the central charge.It yields sensible physical results even though it is naïvely at odds with the conventional wisdom behind Wick rotation of the timelike mode in string theory.
However, there is a small caveat in the timelike regime: in this case, the so-identified internal spectrum includes states with dimensions equal to those of the degenerate states, which happen to correspond to the poles of the conformal blocks.This is another indication that the case c L ≤ 1 is subtler than the c L ≥ 25, and cannot be obtained by an analytic continuation from the latter.The remedy to avoid the poles is to slightly shift the contour of integration by a small real number as [10,46] The poles and integration contour are described in Figure 3.This prescription is equivalent to shifting the momentum on the cylinder E by i , which can be interpreted as the standard i prescription of QFT.It is also consistent with the fact that a continuous internal spectrum can be deformed in the complex plane when no singularity is encountered.
The limit → 0 is taken in any expression which converges.Moreover, since one can deform the contour of integration in the complex plane, the value of (3.21) should be independent from as long as the expression converges and as long as the contour does not cross any poles.Moreover, it is expected that the result does not depend on the sign of since the integrand is invariant under reflection E s → −E s .It has been checked numerically that this is indeed the case, and that the spectrum

BRST cohomology and no-ghost theorem
In this section, we consider the timelike Liouville theory coupled to D ≥ 25 free scalar fields.We closely follow [14,39,59] and begin by replacing the Liouville theory by a Coulomb gas with charge q.In §4.1 we collect the relevant formulas for the Coulomb gas and ghost CFTs and then in §4.2 compute the BRST cohomology. 11We focus on the holomorphic sector, and keep normal ordering implicit.We comment on the effect of the cosmological constant in §4.3 and prove the no-ghost theorem by imposing hermiticity of the matter sector.We follow the formalism of [14] rather than the more recent and general method in [60] which requires only a single flat timelike direction.Our reasons are two fold.First, the latter method does not explicitly construct the physical states [60].Second, it relies on the "vanishing theorem", which itself relies on the isomorphism between the Fock space and the Verma module of a scalar field; this isomorphism breaks down for c < 1 due to the existence of degenerate states.

Coulomb gas
The Coulomb gas action 12 for a scalar field χ with background charge q is given by The charge q can be parametrized in terms of the parameter β as (2.18).The energy-momentum tensor on a flat background and the central charge are The action (4.1) changes by a constant term under a constant shift of χ.The corresponding conserved current J(z) = −i∂χ is anomalous at the quantum level if q = 0.The Fourier expansion of the Coulomb gas field is The mode operators of the field χ are denoted by α χ n , and its zero mode α χ is related to its energy on the cylinder E by (4.4).For the spacelike scalar X, the mode expansion is analogous to that of the Coulomb gas (4.3), but consistently with our spacelike notation we denote the modes by a X n , and the zero-mode by a X = iK, where K is its momentum on the cylinder.For the fields Y , their momenta on the cylinder are denoted by k, and we don't need to introduce their Fourier modes.
A general state of the longitudinal sector is The total Virasoro zero-mode is where L 0 , L ⊥ 0 ∈ N are the total level operators with N i counting the Y i modes.The vanishing of the total central charge allows to express q in terms of D q 2 = D − 25 6 .
The mode expansion of the BRST charge Q B is where L m n are the total matter 13 Virasoro modes.The BRST charge is nilpotent Q 2 B = 0 and has ghost number N gh (Q B ) = 1.Importantly, the total Virasoro operators are exact and commute with the BRST charge Physical states are defined to be those in the (absolute) BRST cohomology H(Q B ) of Q B , i.e. closed but non-exact states.A necessary condition for a state |ψ to be in the BRST cohomology is to be on-shell, i.e. its conformal dimension ∆ has to vanish: Indeed, suppose that |ψ is closed but not on-shell, then one can use (4.25) to write such that K ± 0 = K ± .In this light-cone parametrization, we decompose Q as where The interest of this decomposition is that nilpotency of Q implies that Q 0 and Q 2 are also nilpotent, so they both define a cohomology.One can show that the cohomologies H( Q) and H(Q 0 )14 are isomorphic under general conditions, which hold, in particular, when there are no ghosts [14].
To determine the cohomology, we need to invert the generalized momentum K + n .For this reason, we will deal separately with the two cases where K + n = 0 for all n (K − n can vanish for some value) and where K + r = K − s = 0 for some r, s = 0.The case where K − n never vanishes is similar to the first one by reversing the definition of the degree.In the case where K + r = K − s = 0 there is a subtlety because the vanishing of the momenta implies that some oscillators are absent from the BRST operators Q 0 and Q 2 .

Non-vanishing K ±
n : standard states If K + n = 0 for all n, one can introduce the operator A state |ψ can be in the BRST cohomology only if Indeed, following the same reasoning as in (4.27), one finds that Since L 0 is a sum of positive integers (4.22), each term must be independently zero.This implies that the states |ψ ∈ H(Q 0 ) cannot contain any longitudinal excitation and correspond to the ground state of the Fock space |E, K, ↓ .Furthermore, states created with transverse excitations alone cannot be exact.Therefore, the above condition L 0 = 0 is sufficient for these states to be nonexact.The next step is to prove that L 0 = 0 states are Q 0 -closed, such that this condition is sufficient also for the cohomology.These states have N gh = 1 since they contain only the ghost vacuum | ↓ .Since L 0 and Q 0 commute, one has Since Q 0 increases the ghost number of |ψ by 1, one can invert L 0 in the last term since L 0 = 0 in this subspace.This gives Q 0 |ψ = 0, as wanted.
It remains to solve the on-shell condition (4.21), which for these states reads This equation admits the solutions E ∈ R, but also some E ∈ iR thanks to the factor −q 2 , namely and the bounds are saturated when the matter is in its ground state N i = 0.In particular, in the semiclassical limit q → ∞, this includes all E ∈ iR.We refer to the corresponding states as standard states.They do not have ghosts and have positive norm, since they only have perpendicular excitations.
Vanishing K ± n : discrete states If there exist two non-zero integers r and s such that the operators K one must introduce the modified operators • States with r = s: The discrete states with r = s are removed by using the unitarity of the matter sector.The matter scalar fields X and Y are hermitian, and their momenta are real, K, k ∈ R.
According to (4.52), for the discrete states with r = s, the momentum of X would have to be imaginary, K ∈ iR because q ∈ R. Hence, these states are not allowed by hermiticity.The matter fields X and Y are unitary with positive inner-product.Hence, there is no negative-norm states once the timelike and ghost oscillators are removed.
• States with r = −s: The discrete states with r = s (and in fact all states r = −s) of the Coulomb gas theory are actually not present in the Liouville theory once the effect of the cosmological constant is taken into account.The cosmological constant wall breaks the shift symmetry.As explained in section §3, this is taken into account by the reflection property which halves the energy spectrum.Practically this means that rather than the set of Fock vacuum states |E of the Coulomb gas, one should consider the linear combinations where R(E) is the reflection coefficient.The states |E are no longer eigenstates of the 'momentum operator in field space' or the shift operator −i d/dχ 0 except if E = 0.But this implies r = −s according to (4.52), and thus excludes the states r = s.
Note that the states |E continue to be the eigenstates of the 'Hamiltonian operator in the field space' which in the minisuperspace approximation involves a second derivative −d 2 /dχ 2 0 with respect to the zero mode χ 0 of the Liouville field.The Virasoro generator L 0 contains only the 'Hamiltonian of the zero mode' and hence is quadratic in the energy: and allows for both E ∈ R ∪ iR when q ∈ R. The derivation of the standard states which relied only on the L 0 eigenstates, is thus unaffected by the halving of the Fock space.
In conclusion, with the inclusion of the cosmological term and by demanding unitarity of the matter sector, only the standard states are allowed and the spectrum is ghost free.The on-shell equation (4.43) allows for E ∈ R and a subset of E ∈ iR as solutions, which we identify as the spectrum of external states: .57) In the semiclassical limit q → ∞, S ext = α = − q 2 + iE, E ∈ R ∪ iR .Another consequence is that physical states do not include descendants of the Liouville primary operators V α since the longitudinal sector cannot be excited. 15This proves the no-ghost theorem for all physical states in the BRST cohomology.
1. Start with (3.21) with all external states with E i ∈ iR, i.e. in S int .With the choice of the contour along the imaginary E s axis, it is a well-defined crossing-symmetric integral.2. As the external energies are analytically continued to E i ∈ R, examine if any poles of the integrand cross the contour along the imaginary axis.3. Deform the contour, if necessary, to avoid any of the above poles while holding the ends fixed at ±i∞.
Our prescription is inspired by string field theory (see §D).The main idea is that for an analytic continuation it is not necessary to analytically rotate the entire contour as one usually does with the Wick rotation; it is sufficient if one can analytically deform the contour while avoiding all poles to reach the physical regime of interest.
To implement step (2) we need to investigate the poles of the integrand (Figure 3).The poles of the conformal block are located at the values of α s such that the conformal dimension ∆ s equals the one of a degenerate state, but they are otherwise independent of the external momenta [46].Thus these poles do not move as one analytically continues the external energies.Next, one needs to investigate the poles of the three-point functions.From the expression (3.20) and the formulas in §A, one finds that the poles are located at which are again independent of external energies and hence do not move.
In conclusion, the prescription for timelike gravity is in fact even simpler than the analogous prescription in string field theory.The relevant poles of the integrand do not move at all as the external energies are analytically continued and it is not even necessary to change the integration contour (which stays the same as in Figure 3).The same formula (3.21) should be used with external states belonging to the S ext .This implies that the code written for [10] is directly usable for the timelike Liouville theory without the need to deform the contour in any way.We have explicitly checked numerically that the four-point functions are indeed convergent for all our physical states.
It was observed already in [10] that the four-point function (3.21) is analytic in the external momenta and crossing-symmetric for any α i ∈ C, 16 and proved that the 1-point function on the torus is modular covariant.However, it was assumed in [10] that the spectrum of internal and external states must be identical. 17From the perspective of quantum gravity, as we have seen, this assumption is unnecessary.The physical spectrum of external states S ext is what it is, and is determined by physical requirements of a ghost-free BRST cohomology.There is no particular physical reason to restrict this spectrum to S int and indeed is not necessary to obtain a meaningful definition of timelike gravity.
Higher-order correlation functions can be similarly defined by factorization, following for example [62], and analytic continuation from E ∈ iR to E ∈ R.

Discussion
In this paper, we have provided a definition of the timelike Liouville theory with c L ≤ 1 by computing its BRST cohomology and proving a no-ghost theorem.We are able to define convergent and crossing-symmetric four-point functions by an appropriate analytic continuation for all external states in the physical spectrum.
Our analytic continuation is motivated by string field theory.In that context, there are additional consistency checks on the prescription from the target space.For example, satisfying the Cutkosky rules, proving the unitarity of the theory -decoupling of unphysical states -or checking the amplitude crossing symmetry [15,17,20].It would be interesting to see if there are similar consistency checks of our proposal.Regarded as a supercritical string theory, the theory no longer has translation invariance in the time direction because of the cosmological constant.It is thus a time-dependent background with no natural S-matrix interpretation.Therefore, it is not clear what would play the role of S-matrix analyticity [20] in this context.
Much like the critical bosonic string theory, our model regarded as a supercritical bosonic string theory has a tachyon in the target space.This means that at higher genus, integrations over the moduli space will have an infrared divergence from their boundaries.Perhaps this target space infrared divergence should be interpreted as an ultraviolet divergence in the twodimensional gravity coming from the rapid growth of the density of states at high energies [63].Moreover, from the perspective of two-dimensional gravity, higher-genus Riemann surfaces correspond to topology changes.We do not have much to say about the problem of the tachyons 18or about topology changes.
Even though our focus was on timelike gravity, our considerations are essentially independent of the matter sector.It can therefore be used also to provide a standalone definition of the timelike Liouville theory as a conformal field theory independent of quantum gravity.Our results suggest that it may be possible to allow the spectrum of external states be larger than the spectrum of internal states even in the CFT context, instead of insisting that the two be the same as was done in [10].After all, the correlation functions for all these states are well-defined.It would be interesting if there are statistical models which realize this extended CFT.Some natural extensions for future work include explorations of the supersymmetric versions of this model and models with boundaries relevant for discussing D-branes and two-dimensional Anti de Sitter space.Going back to our original motivation, it would also be interesting to see what general lessons one can draw about the path integral [12] of gravity.Finally, an extension of the results for the BRST cohomology for more general matter will be provided in [33]. in this approximation.We comment briefly on a few points encountered in this analysis which will be discussed further in [33].
The wave functions for E ∈ R cannot be completely fixed by requiring them to decay at infinity, and normalizability does not seem to be sufficient either.Moreover, contrary to expectations, the states E ∈ iR are also normalizable and are completely fixed.Hence, the minisuperspace is not sufficient to completely fix the spectrum as was the case in the spacelike case.The only possible way to fix the spectrum (up to a parameter taking values in the unit interval) is to perform a self-adjoint extension of the Hamiltonian [31,32,65,66].In the latter case, the spectrum consists of states with E ∈ R together with a set of discrete points in E ∈ iR, whose interpretation is not clear.Earlier works [27][28][29][30] missed these possibilities by working directly with wave functions analytically continued from the spacelike theory.
Finally, the three-point function computed in the minisuperspace approximation should correspond to the semiclassical limit β → 0 of the timelike three-point function (3.20) with light states.However, there is no subset of states in E ∈ R ∪ iR and no constraint on the wave functions such that this is possible.See appendix §C for more discussion.
The identification of the structure constant for the timelike regime has been the subject of several confusions.In this appendix, we review this history from the modern perspective.
The first difficulty arose from the observation that the structure constant in the minisuperspace approximation takes the form C RW,0 (α 1 , α 2 , α 3 ) = H 0 (α 1 , α 2 , α 3 ) −1 Ĉ0 (α 1 , α 2 , α 3 ) where Ĉ0 is the expected β → 0 limit of the timelike structure constant (3.20) for light states and H 0 is non-analytic in the α i .(RW stands for Runkel-Watts-type theories.)It was found [29,30,32] that this structure is reproduced by performing an analytic continuation from β ∈ iR to β ∈ R of the DOZZ formula for C, schematically: (see also §3 for more discussions).However, this is possible only for the discrete values where β 2 = p/q for p and q coprimes (for which c L takes the same values as for the minimal models).
C RW looks suspicious to be taken as a definition of the Liouville theory structure constant, since one would have expected it to be defined at all c ≤ 1 and not for discrete values only (which would also restrict severely the matter which can be coupled in the 2d gravity context).This restriction on Ĉ comes from insisting on the correctness of the minisuperspace analysis, which for timelike Liouville is not the best guiding principle (as described also in §B).On the other hand, it has been shown that Ĉ as given by (3.20) can be reproduced from the path integral by selecting carefully the integration cycle [12] or by Coulomb gas integrals [13].Hence, the CFTs defined by the above structure constant C RW should be interpreted as another family of theories, called the Runkel-Watts models (or non-analytic Liouville in [10]) since the c = 1 theory was originally found by Runkel and Watts as a peculiar limit of minimal models [73,74].It has been checked in [10] that these models are crossing symmetric.
There was a second motivation for considering the structure constant C RW instead of Ĉ.General expectations from unitary CFTs suggest that the limit ∆ → 0, or α → 0 of a primary operator should yield the identity.In particular, taking this limit for one external state of the three-point function should give the two-point function.However, one finds that Ĉ(α 1 , 0, α 2 ) does not vanish when α 1 = α 2 , which precludes from identifying it with the two-point function.This was remarked in [29,30,32] and given as a motivation to look for another three-point function which did have the two-point function as the α → 0 limit.This is indeed the case for C RW , although only for the restricted subset β 2 ∈ 1/N ≥2 and after defining the identity field as a particular limit of the vertex operator [30,32,73].
The correct interpretation to this issue [10][11][12]46] is that there exists a state with dimension ∆ = 0 which is not the identity -we could call it a "fake identity".This can happen in nonunitary CFTs and does not signal any pathology of the theory.In this case, this state is the highest-weight state of a Verma module instead of the identity degenerate field 1 (which generates a coset after truncating the null vector and its descendants), and the correlation functions do not satisfy the BPZ equations for this field.The realization of the c L ≤ 1 theory in terms of a microscopic loop model [11] gave a concrete geometric identification of this operator.Concretely, the single moduli y 4 of the 4-punctured sphere is traded by the variable q = e −s+iθ corresponding to the plumbing fixture parameter.Using this parametrization and performing the integral with s > 0 and θ ∈ [0, 2π) leads to the standard expression d 2 q |q| 2 q L 0 q L0 = ∞ 0 ds 2π 0 dθ e −s(L 0 + L0 ) e iθ(L 0 − L0 ) = δ L 0 , L0 1 L 0 + L0 .(D.3) Since the basis states φ c r (k) are eigenstates of the L 0 and L0 operators, the matrix elements of the propagator match the Feynman propagator with some finite-dimensional matrix M rs , parametrizing the overlap of states with identical masses.The parameter s can be interpreted as the length of the intermediate tube in Figure 5 (Schwinger parameter), while θ is the twist of the tube.It should be noted that the parameter q here is not the same as the one in (5.3): indeed, the plumbing parameter q does not cover the full moduli space, which indicates that one must sum over the s-, t-and u-channels together with a fundamental quartic interaction to reproduce the complete four-point string amplitude.
On the other hand, the elliptic nome maps uniquely the 4-punctured moduli space. 20owever, one needs to study loop amplitudes to push the analogy completely: the momentum integral in (D.2b) cannot diverge because the three-point function contains delta functions which remove the integration where the s are the loop momenta, the k i = k i (p α , s ) are the momenta of the internal particles (they are given by a linear combination of the external and loop momenta), t denotes collectively the moduli parameters, and P is a polynomial in the external and loop momenta.The exponential of the external and loop momenta arises from the OPE between the exponentials in vertex operators.The Feynman diagram (D.6), and as a consequence the amplitude G g,n , has poles when the internal particles become on-shell, i.e. for k 2 i + m 2 i = 0. Since the matrix G rs is positive-definite (irrespective of t), the integrals over the loop momenta converge for the spatial components s , but they diverge for the energy components 0 s (in Minkowski signature) [4,16].From the relation (D.3) it should now be clear that this divergence is similar to the one encountered in the timelike Liouville theory, equation (5.3).
In [15], the SFT amplitudes are defined with the following prescription: 1. Multiply the external energies with a parameter u ∈ C, such that the external states have momenta (u p 0 α , p α ) (Figure 6). 2. Define the amplitudes for Euclidean momenta: u = i and 0 r ∈ iR.The poles of the propagators in (D.6) lie at complex values and the integral converges.3. Perform an analytic continuation of u → 1 and of the loop momenta 0 r , but keeping the end points of the contour at ±i∞ and deforming the contour such that each pole remains on the same side (Figure 7).
In this prescription, the internal and external states are different as CFT states (since their momenta lie in different regions).It has been shown [4,[15][16][17]20] that this prescription correctly leads to the Cutkosky rules, unitarity, crossing symmetry of the amplitudes, and general analyticity properties also found in QFT, and that it is equivalent to the moduli space i prescription from [3].Since these properties are shared by any good QFT, this provides a strong support for the correctness of the prescription.

Q 2 < l a t e x i t s h a 1 _ b a s e 6 4 =
" a p O 9 2 T p N e p b y l v b r B G o 4 4 B e q p b g 7 3 / v 0 + + 0 f / P B H P / 7 J k 8 9 + + j q N p o n L z 9 3 I j 5 J L h 6 X c 9 0 J + L j z h 8 8 s 4 4 S x w f H 7 h 3 G 6 D f j H j S e p F 4 U A 8x P w m Y O P Q G 3 k u E z L 0 7 s k / l 2 3 m x x P 2 f N U e J c z N 7 v J s I 7 d + 5 1 n d 9 r I e a i 9 n t i o t O + X D P O v a X m j Z A R M T x 8 l O 8 1 z T d 6 O E p 2 I v 4 T w s O U 8 H b R 4 O M + Z 7 4 / D z f F H E 24 0 8 + 4 O 8 t n e 4 L 9 i 7 7 v O 6 s N p 9 u 7 E o o Z e w c M z z L J a Z 1 + p Q p H k F 9 X 3 3 5 O n 6 2 r o 6 L H z S K U + e b n 7 x n 3 / 8 / N / / / U X / 3 W e / / p 8 9 j N x p w

4 <
7 H Y N T + G w y c X a 6 v d P 6 5 2 3 n U W 1 z d b x f F V 6 9 e t 3 7 S W W 9 3 W t 6 3 1 1 l 7 r p H X e c h d e L n y 7 s L 6 w s d x Z v l i + X b 4 r 0 C 8 W y n t + 1 a o d y + P / A k 9 k u T Q = < / l a t e x i t > Q 2 l a t e x i t s h a 1 _ b a s e 6 4 = " 2 z K K E f l t s N C 8 c 5 R e F 1 K u X K W h H 3 s = " > A A A p O 3 i c t Z p L c 9 x K F c f H l 9 d l e N w b W F A U G x U p g 7 k 3 c X n M 4 9 5 N q h z b 4 0 f 8 m I k 9 j h 1 b T q q l 6 Z l R r J e l n o l t l b 4 K 3 4 Q d W y i 2 s G H B h g K 2 7 O n T 0 m h a f Y 4 u Y Y E q s a X z / / V D r e 5 / t 9 V y Y t 9 L x d r a n 5 c + + t r X v / H N b 3 3 8 7 f Z 3 v v u 9 7 3 / y 6 a M f v E q j a e L y M z f y o + T C Y S n 3 v Z C f C U / 4 / C J O O A s c n 5 8 7 N 1 u g n 8 9 4 k n p R O B D 3 M b 8 O 2 D j 0 R p 7 L h A y 9 f b T 0 x b L N / H j C n j 2 1 R w l z s 9 s 8 W 8 + t z z 2 r 2 1 7 W Q + 3 l z F b F Z S d 8 m G d d 2 w s t O 2 B i 4 j j Z S Z 5 r + k 6 U 8 F T s J p y H J e f p o M 3 D Y c Z 8 b x x + l i + K e L O e Z 7 + S 1 / Y 2 9 w V 7 2 3 1 W F 5 5 2 3 6 w v S u g l L B z z P I t l 5 v U 6 F I l e F h V m z 7 R L e U f x I o e t e y Y r x y x 8 F 2 U F 4 n n a o v z P Y 1 l + L f L 2 0 8 d r q 2 v q s P B J p z x 5 v P H l X / / 0 o 7 / 8 / c f 9 t 4 9 + 9 k 9 7 G L n T g I f C 9 V m a X n X W Y n G d s U R 4 r s + h 6 G n K Y + b e s D G / k q c h C 3 h 6 n a k K 5 9 a y j A y t U Z T I / 6 G w V L S t p c h Y k K b 3 g S N J u J / U 1 C D 4 R P 6 G 1 O k T u B J R 5 K c U f j U V o y + v M y + M p 4 K H b l H 2 a O p b I r K g D 1 l D L + G u 8 O / l C X M T T 9 b f c i d M N o 6 Q P a 1 N 3 c Y T a z j z 4 r R 2 S 7 U a B i y Z R b L + s h m K w + q G M y + J Q m i u 1 L L K 6 H L b D v l 7 N w o C J n u R 7 X i 5 / M H H X p h 5 g g f e A 5 e P s E Z w I K D H N e h h J P s B / J w G D k 8 M 0 e G s y p / f h i x J 2 D 0 q Q D F Q Q h P h c C 2 T q R p 3 O J M q D x p w Y C w Z N f k M 5 x I a V U G I w 4 M q n 1 g + + M S 7 w 7 k E Z S 4 N g O N X W a h h j D L w y / S k K h N W y c e y 5 8 l G R x U Y l x n Q u g P + U + Y w h M 6 L M x i W G d D y b X 7 V u c 5 W 7 I S P s s e d / B c 1 3 R 5 E c W Y n U 5 9 n c n h K 5 1 j 9 D T e a w N 6 M h I i C g r p 6 2 l l d 5 3 f X B Q 0 / 8 r Z V d G J r M O H S C w N L 7 7 t 8 0 a 0 z U e j V 3 d x O I 8 F z y x 5 F k Q j l a S o 7 r J V n l u y f S c B 8 d a n u q w D z d j V Y N r m Q Y 8 + C C S O t x k p D q c E 9 l 7 2 d J 0 x m k b X n n a o K t S 3 L s l M u Z 5 J w L C a Z D Q N H j t M 8 6 8 h 7 M 8 W Y J e m N F x c 3 T o m 8 1 O Y d s y o m J + o 1 H 6 N V r e a B / 2 u d F s 4 g W e n C A b r w y p W c s U K 6 e l / O Y x J 5 b l y g 3 Q q / Z i B U Z S L w u c 5 m n 4 2 a X I T k 1 s 0 u Y X J b Z r c x m S X J r u Y 3 K H J H U z u 0 u Q u J v d o c g + T + z S 5 j 8 k X N P k C k w c 0 e Y D J Q 5 o 8 x O Q R T R 5 h 8 p g m j z H Z o 8 k e J v s 0 2 c f k S 5 p 8 i c k T m j z B 5 C l N n m J y Q J M D T J 7 R 5 B k m X 9 H k K 0 y e 0 + Q 5 J i 9 o 8 g K T r 2 n y N S Y v a f J S / b l o m I + 0 r Q 9 w n 3 o B q U t 5 T z m x 5 i Z L u U 8 5 z S K W 8 p 9 y 0 k U s 5 U D l F I x Y y o P S H z X h I x I f N + F j E p 8 0 4 R M S 9 5 p w j 8 T f N e H v S P y m C b 8 h c b 8 J 9 0 k 8 a M I D E g + b 8 J D E o y Y 8 I v G 4 C Y 9 J / L Y J v y X x p A l P S D x t w l M S F 0 2 4 I P F p E z 4 l 8 V k T P i P x 9 0 3 4 e x K / a 8 L v S P y + C b 8 n 8 Y c m / I F u 9 8 Y e n K o u X N 8 S W L a 2 I y H 4 s G F X b a g 2h P N M n k X C K r a H z U K H D h c L R F 2 Y x J j J s w o p r k w m m F a A P D X V c K G G W E 0 m U S X D u a m n 3 l g r v 7 g y G Z 8 F z n A B l Z c m J d i i I n B u 6 l U G j G j q f u I F i 6 a u p 2 Q x W I l q 4 J / j l H v s K x 5 S 8 Y A m r C i 0 L j l z y U G S O 5 d c J B 3 M J f Q G e 7 I 7 l 9 B r 8 4 k 0 5 n d v b N d L X E O Z T S D R j L s W 2 o G b B X M p Q F I 4 l 9 D O 4 c y f S z 6 q R c g c v 2 o Q u 7 h C D b p s D T x / 2 P Q s h A d j S A B h 5 C 5 6 P c h a S Z b d C / g Y N b l g T E P I E S N 2 F w R q R r G r p 8 f y w U J F T 0 d 0 F y L a E h G n W r 6 n 1 B i A X c C K K M Z x f c M I l p r v v S E v m 6 Y u i g t d V R s J R p t v s i T R e r G 5 g z + G 0 h 2 W W G O z Y g / O X H p A d Z b R u U i N y E T X C 2 8w u 8 I p r + 0 i 1 J L v z 3 c w i t e m h r i 1 E N H u 1 f 7 l Q r x E 4 t 5 C R D t M + 7 2 F i L Z y 9 v s L s W + K l 1 4 o v q L U 4 5 q M 9 p D 2 B w t x g J 8 e f M Z z o 7 d T f a + S z e 0 r N x V Y K K t p w R R g j T u E b 2 y M i q j F b J x 6 f h S a E 5 x U 4 o m X W / W j D s F q t Z h j D G u A b I l q w P r T i w g B V p q y G i g O S 8 o b F s c s N 2 p R x 8 B E y m m k X h F w e j n H 1 Y P q 4x M U h F Y t P M z M H d a G h Q G Z 9 w / L w B j X G t Z v M A C s D z m M d 0 k y a T F r f l D S e r n Q 5 W B g o j g 8 D z G h n g i s 7 q Z k B 4 C l 1 p 1 n 2 o M M P n D U j e B F 0 D b R v e A V T n 9 i Z g J v a n a J X g M v T f p E J 4 D X H Y f z p 1 u X e t W j M R U Y v H 2 z Z B h 2 g w m u P / y l f k a 2 A j j t h Z n N K f T 7 w t e N 2 R J G z Y w l M b r n C f N B U x + z d e D T O E O P o f v F 8 F k a 8 8 1 K Q 3 c K n Og u G 6 D P c k S l y T P 4 P K 5 j f g y H T 1 6 t r 3 Z + u b r 2 c u 3 x x m a r O D 5 u / a T 1 0 9 Z K q 9 P 6 o r X R 2 m v 1 W 2 c t d + m 3 S 7 9 f + s P S H 1 d + t / K 3 l X + s / K t A P 1 o q 0 / y w V T t W / v 0 f o h 3 y p Q = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " y o K 1

7 7 3 /
R / 8 8 E e f / 7 j 7 x U 9 + + r O f P / n y F + / y Z J r 5 / M x P w i S 7 8 F j O w y D m Z y I Q I b 9 I M 8 4 i L + T n 3 u 0 m 6 O c z n u V B E g / E Q 8 p v I j a O g 1 H g M y F D 7 5 / 8 f c V l Y T p h 3 z 5 3 R x n z i 7 u y e F E 6 v w u c 7 e 6 K G e q u F K 7 K r T j h w 7 L Y d o P Y c S M m J p 5 X n J S l o e 8 k G c / F b s Z 5 r L n A B F 0 e D w s W B u P 4 q Z l o 8 s D C j X D K y 4 L J W 1 b X n 7 3 9 S r I 3 X X e L h 4 K 9 f 7 K 8 v r a u D g e f 9 P T J 8 l / + 0 f 0 2 / d s / u / 3 3 X / 7 m 3 + 4 w 8 a c R j 4 U f s j y / 7 q 2 r X y 9 9 8 p 3 v f u / 7 P / j 0 h + 0 f / f g n P / 3 Z s 8 8 + f 5 t G 0 8 T l F 2 7 k R 8 m V w 1 L u e y G / E J 7 w + V W c c B Y 4 P r 9 0 J l u g X 8 5 4 k n p R 2 B e P M b 8 N 2 C j 0 h p 7 L h A z d P f v P i s 3 8 e M y + e m k P E + Z m 9 3 n 2 K r e e e 9 Z O e 0 U P t h e T e z S 5 h 8 l 9 m t z H 5 A F N H m D y D U 2 + w e Q h T R 5 i 8 o g m j z B 5 T J P H m D y h y R N M d m m y i 8 k e T f Y w e U q T p 5 g 8 o 8 k z T J 7 T 5 D k m

Figure 1 :
Figure 1: Two branches for the spacelike Liouville charge a, and the corresponding conformal dimensions ∆ a .Because of the reflection the ranges are halved to a ∈ [0, Q/2] and p ≥ 0.

q 2 <
l a t e x i t s h a 1 _ b a s e 6 4 = " s Y m t g S U Y + P 4 E L 9 g m Z w h D 4 t j w m 2 W e I S + R P g 0 Q b P Q 5 m D i L o G w a O P / X F z S 6 / 2 6 j 4 S S B n 4 n t 7 X 9 9 8 u l n 3 / n u 9 7 7 / + R f d H / z w R z / + y a M v v 3 q T x Y v U 5 e d u H M T p p c M y H v g R P x e + C P h l k n I W O g G / c O a 7 o F 8 s e Z r 5 c T Q W 9 w m / C d k 0 8 i e + y 4 Q M v X v 0 s 5 7 N g m T G u p v 2 J G V u f l v k T 4 t 3 j x 5 v b 2 2 r w 8 I n / e r k c a c 6 R u + + / M W / b S 9 2 F y G P h B u w L L v u b y f i J m e p 8 N 2 A F 9 2 e v c h 4 w t w 5 m / 9 2 / y b + y U T / L H / e K X D d 0 e x 0 l u p 4 u A 5 3 J 4 y p G + 9 T t u N I G 9 E w s R h y V 1 v d n f e s r v b k o a f o q u V X Z i a z z j c c p D S + + 7 f N 2 t c 1 H q 9 d 3 c L m L B C 8 u e x L G I 5 G k m O 6 x V 5 J b s n 2 n I A n W p 7 q s E i 2 4 9 W H a 4 k G P P A j P M 6 r H S U m p 4 z 2 V v 5 y m T W e T d V a e q Q 1 3 L s u y M S 5 e M p m K W 2 z B w 5 D g t 8 r 6 8 N 1 N M W J r N / a S 8 c U r k l b b T e P y w D E 1 x r W L / B A L A + 5 j D e J c m k 5 a z 5 U U m b 5 U K X g 4 G J 4 v A 8 x I x 6 I r C 6 W 5 A d A J Z a d 7 5 p D z L 4 w F E 3 g h d B e 0 T 3 g l c 4 o 5 m Z C b y p G R C 9 B l 6 a j I h O A K 8 7 j l d P t y k N 6 0 d j K j B 4 R 2 b J M O z G M 1 x / + J / 6 O d k K 4 L S X Z j Z n 0 O 9 L X z d m S x g 1 S 5 Y m 6 J 5 n L A B N f c r W h 0 / Z D D 2 B 7 p f A Z 2 k s M C s N 3 S l 0 4 r t 8 j D 7 L E b U m z + D z u L 7 5 M R w + e f N 0 q / / r r e 1 X v 3 n 8 b K f 6 U O 7 z z t e d n 3 e + 6 f Q 7 v + 8 8 6 x x 0 R p 3 z j t t 5 6 P y 5 8 5 f O X z f + t P G 3 j b 9 v / K N E P / 2 k S v P T T u P Y + O d / A H 7 1 g l w = < / l a t e x i t > E 2 R < l a t e x i t s h a 1 _ b a s e 6 4 = " N 9 D p r n 4 k S f + c r d b z s / 0 q b a 5 2 N z 8 + y e f f u e 7 3 / v + D z 7 7 Y f d H P / 7 J T 3 / 2 6 P O f v 8 m T e e b z M z 8 J k + z C Y z k P g 5 i f i U C E / C L N O I u 8 k J 9 7 N 9 u g n y 9 4 l g d J P B L 3 K b + O 2 D Q O J o H P h A y 9 e / T V m s v C d M a 6 a 0 / d S c b 8 4 r Y s n p X d w l V Z F y d 8 X B a 7 b h A 7 b s T E z P O K k 7 I s 3 z 1 6 v L m x q Q 4 H n / T 0 y e O O P o b v P v / 1 v 9 1 x 4 s 8 j H g s / Z H l + 1 d t M x X X B M h H 4 I S + 7 a + 4 8 5 y n z b 9 R 5 g 8 p s l j T A 5 o c o D J I U 0 O M f m a J l 9 j 8 o Q m T z B 5 S p O n m B z R 5 A i T Z z R 5 h s k 3 N P k G k + c 0 e Y 7 J C 5 q 8 w O R b m n y L y U u a v A T S N h 9 p W x / h P s 0 C c p / y H j 2 x l j Z L u Y + e Z h F L + Y + e d B F L O Z C e g h F L e Z C e k B F L u Z C e n h F L + Z C e r B F L O Z G e u h F L e R G w 2 I x y n 3 I j P e k j l v T f P y w D U 1 x r W L / B A H A + 5 r D e J c m k 1 a z 5 U U m b 5 U K X g 4 G J 4 v A 8 x I x 6 I r C 6 m 5 M d A J Z a d 4 F t D z L 4 w F E 3 g h d B O 0 T 3 g l c 4 w 5 m d C b y p 6 R O 9 B l 6 a D I l O A K 8 7 D p d P t y k N 6 k d j K z B 4 h 3 b J M O x G M 1 x / + J / 6 G d k K 4 L Q X d j a n 0 O 8 r X 7 d m S x g 1 C 5 a l 6 J 5 n L A R N f e n W g y / d L D 2 F 7 p f C Z 2 k s t C s N 3 S n y k r t i h D 7 L E b U m z + D z u J 7 9 M R w + e f N s o / f l x u b r r x 4 / 3 9 I f y n 3 W + W X n V 5 0 v O r 3 O H z r P O 3 u d Y e e s 4 3 f + 1 P l L 5 6 + d v 6 3 / e f 0 f 6 / 9 c / 1 e 2 D y g C Y P M H l I k 4 e Y P K L J I 0 y + p M m X m D y m y W N M 9 m m y j 8 l X N P k K k y c 0 e Y L J U 5 o 8 x e S A J g e Y P K P J M 0 y 6 s b m D P 4 L c H Z Z Y I 7 N g z 8 5 M e k Z l l t G Z S I 3 I R N c L b z C 7 w h m v 7 S L U b t + f 7 W A U r 0 0 N c W s u o t 2 r / e u 5 e I 3 E v b m I d p j 2 j + c i 2 s r Z P 5 m L J 6 Z 4 7 Y X i O 3 J 9 W 5 P R H t J + f y 7 2 c e v B p z P 3 e j 3 V 9 y r Z z L 5 y U 4 y / e 7 H Y N T + G w y c X a 6 v d P 6 5 2 3 n U W 1 z d b x f F V 6 9 e t 3 7 S W W 9 3 W t 6 3 1 1 l 7 r p H X e c h d e L n y 7 s L 6 w s d x Z v l i + X b 4 r 0 C 8 W y n t + 1 a o d y + P / A k 9 k u T Q = < / l a t e x i t > E < l a t e x i t s h a 1 _ b a s e 6 4 = " a 8 Y j 2 w N M c D 5 s f 5 r G 6 b P P 9 H A M T y A y b o x L 6 X i o 2 N f y 5 9 9 r 3 v / + C H P / r 8 x + 2 f / P S L n / 3 8 1 Z e / e J 9 G 0 8 T l F 2 7 k R 8 m V w 1 L u e y G / E J 7 w + V W c c B Y 4 P r 9 0 H r Z A v 5 z x J P W i c C C e Y 3 4 X s H H o j T y X C R m 6 f / W 3 F Z v 5 8 Y R 9 + 9 o e J c z N H v P s T W 7 9 3 r N 6 7 R U 9 1 F 7 J b J V b d s a H e d a z v d C y A y Y m j p O d 5 b m m 7 0 Q J T 8 V u w n l Y c p 4 O 2 j w c Z s z 3 x u H X e q L R M / O 7 / p T n G Z O 3 r G 6 s n X 4 l 2 b u 2 v c 1 9 w e 5 7 9 6 + W N 9 Y 3 1 G H h k 0 5 5 s r z 5 q 9 N / e X / v / q N / / + V v / 2 0 P I 3 c a 8 F C 4 P k v T 2 8 5 G L O 4 y l g j P 9 b n M 2 5 6 m P G b

a 5 2
N z 8 + y e f f u e 7 3 / v + D z 7 7 Y f d H P / 7 J T 3 / 2 6 P O f v 8 m T e e b z M z 8 J k + z C Y z k P g 5 i f i U C E / C L N O I u 8 k J 9 7 N 9 u g n y 9 4 l g d J P B L 3 K b + O 2 D Q O J o H P h A y 9 e / T V m s v C d M a 6 a 0 / d S c b 8 4 r Y s n p X d w l V Z F y d 8 X B a 7 b h A 7 b s T E z P O K k 7 I s 3 z 1 6 v L m x q Q 4 H n / T 0 y e O O P o bv P v / 1 v 9 1 x 4 s 8 j H g s / Z H l + 1 d t M x X X B M h H 4 I S + 7 a + 4 8 5 y n z b 9 i U X 8 n T m E U 8 v y 5 U J U p n T U b G z i T J 5 N 9 Y O C r a N V I U L M r z + 8 i T J N Q y t z U I P p H / Q u r 8 C V y J J A l z C r + a i 8 k f r 4 s g T u e C x 3 5 V 9 m Q e O i J x o P 2 c c Z B x X 4 T 3 8 o T 5 W S D r 7 / g z J l t O y F b u U r f x x B k v g j R v 3 F K j h h H L F o m s v 2 y G 6 n B 2 4 0 W Q J T E 0 V + 4 4 O r r W d W P + w U + i i M X j w v W C U v 7 w a R A X g e B R 8 M D L s k l w I L g 8 a 9 H j J C 7 V 7 z z y e G a J H m d 1 / v w 2 Z l n G 7 l E B i o E S 2 g i P G 5 n M V Z / D m d R 5 0 I D H Y 1 S T 3 + J c Y q s q C P F 4 V O e T y g e f B X c 4 l 0 j n 0 g J 4 Y Z 0 F C 4 M p v p l Q p y d V m b B O P p U 9 T z Y 6 q s B U Z 0 D r H o x H n c M Y O i / O Y K w z o O X b 8 q p 3 X X z h Z n x S P O 6 V v 2 n o 7 i h J C z e b h 7 y Q w 1 M a w c b v u d U E 7 l Y i R B J V 1 N X T 3 s Y z f n d d 0 f B T d p 2 q E z u j G U 8 y H j l m 3 + W r b l 2 I S q / v 5 n a e C F 4 6 7 i R J R C x P c 9 l h n b J w Z P / M I h a q S 3 V f F V h 2 6 8 G y x Y U c e w 6 Y Z V 6 P l Z Z S o 3 s u e z v P m M y i 6 C 4 7 V R 3 q O o 7 j 5 l y 6 a D w V s 8 K F g S P H a V n 0 5 L 3 Z Y s q y / C Z I q x u n R K 6 1 Z c e s i y m J e i 3 H a F 2 r Z e D / W q e V M 0 h W u n D E b j i T C a B F 5 W X G z c 6 T S + M L l G c 8 z 4 W 0 b n 1 d 1 P H u W v F 0 c + N 3 7 n J C q q q i n y C Y r / E w X W 9 S l r i I u Q d / 2 g q a y x I + u o B A q A L M 7 M f P Z T / d K O s b T W C M d Y 0 O 4 2 z D w M 1 Y O p O + 3 u x G d S b + C 1 k k D C 6 f h c U L e 4 T 5 W 4 a 6 h d R t Q 9 1 G 6 o 6 h 7 i B 1 1 1 B 3 k f r S U F 8 i t W + o f a T u G e o e U l 8 Z 6 i u k H h j q A V I P D f U Q q U e G e o T U Y 0 M 9 R u r A U A d I P T X U U 6 R e G O o F U t 8 a 6 l u k n h v q O V J P D P U E q S N D H S H 1 0 l A v y 9 L s l 2 v O k R T U 8 s f w O L l o q w + n W p 9 V K 6 S n 3 3 J Y k 8 o L 5 Q b 5 X P o x A 6 P Q S z 3 Z t + 3 p Z 4 s m t z C 5 T Z P b m N y h y R 1 M 7 t L k L i Z f 0 u R L T P Z p s o / J P Z r c w + Q + T e 5 j 8 h V N v s L k A U 0 e Y P K Q J g 8 x e U S T R 5 g 8 p s l j T A 5 o c o D J I U 0 O M f m a J l 9 j 8 o Q m T z B 5 S p O n m B z R 5 A i T Z z R 5 h s k 3 N P k G k + c 0 e Y 7 J C 5 q 8 w O R b m n y L y U u a v A T S N h 9 p W x / h P s 0 C c p / y H j 2 x l j Z L u Y + e Z h F L + Y + e d B F L O Z C e g h F L e Z C e k B F L u Z C e n h F L + Z C e r B F L O Z G e u h F L e R G w 2 I x y n 3 I j P e k j l v I j v Q R A L O V I e k G A W M q T 9 P I A s Z Q r 6 c U C Y i l f 0 k s H x F L O B C y 2 p t y n v A l Y b E 6 5 T 7 m T X i g g l v I n v Z h B L O V Q e o m B W M q j g M U m l f u U S w G L b S r 3 K Z / S S y T E U k 6 l l 2 K I p b x K L 8 w Q S 7 m V X k w 1 7 K q 2 r E n G b v 5 n z 4 J E l G t B n L A t C F P G p X D s X B C m v E v h 2 L w g T N m X w r F / Q Z h y M I V j C 4 M w Z W I K x y 4 G Y c r H F I 6 N D M K U l S k c e x m E K T d T O L Y z C F O G p n D s a B C m P E 3 h 2 N Q g T N m a w r G v Q Z h y N o V j a 4 M w Z W 4 K x + 4 G Y c r f F I 4 N D s K U x S k c e x y E K Z d T O L Y 5 C F N G p 3 D s d B C m v E 7 h 2 O w g T N m d w r H f Q Z h y P I V j y 4 M w Z X o K x 6 4 H Y c r 3 F I 6 N D 8 K U 9 S k c e x + E K f d T O L Y / C F M G q P B L E m d t O C N xr w 3 3 S N x v w 3 0 S H 7 f h Y x L n b T g n 8 U k b P i H x a R s + J f F Z G z 4 j 8 a A N D 0 j 8 f R v + n s R v 2 v A b E g / b 8 J D E o z Y 8 I v G 4 D Y 9 J P G n D E x J P 2 / C U x G / b 8 F s S z 9 r w j M T z N j w n c d G G C x K f t + F z E l + 0 4 Q s S / 9 C G f y D x u z b 8 j s T v 2 / B 7 E n 9 o w x / o d m / t w b n q w y 8 s G 4 Q t 7 p C D b r m j I J w 3 P Y s R A B j S A B h 5 S 4 G A 8 h a S Y 4 7 i P g U N b l g z E D I E S P 6 K w I 1 o + i b 6 b F 8 s F L R 0 x G 7 K x F t i Y h T I 9 9 T a g z A L m B N V O O 4 u W E E S 8 0 P w Z j r p m m K 4 s J U 1 U a C 1 e Z b L M u M X m z v 4 E + h d I 9 l z t S u 2 I O 3 l B 5 Q n W V 0 K V I j M j P 1 y h v s r n D K G 7 s I j e T 7 y x 2 M 6 r W X y M D t 3 W B t W B m T f P y w D U 1 x r W L / B A H A + 5 r D e J c m k 1 a z 5 U U m b 5 U K X g 4 G J 4 v A 8 x I x 6 I r C 6 m 5 M d A J Z a d 4 F t D z L 4 w F E 3 g h d B O 0 T 3 g l c 4 w 5 m d C b y p 6 R O 9 B l 6 a D I l O A K 8 7 D p d P t y k N 6 k d j K z B 4 h 3 b J M O x G M 1 x / + J / 6 G d k K 4 L Q X d j a n 0 O 8 r X 7 d m S x g 1 C 5 a l 6 J 5 n L A R N f e n W g y / d L D 2 F 7 p f C Z 2 k s t C s N 3 S n y k r t i h D 7 L E b U m z + D z u J 7 9 M R w + e f N s o / f l x u b r r x 4 / 3 9 I f y n 3 W + W X n V 5 0 v O r 3 O H z r P O 3 u d Y e e s 4 3 f + 1 P l L 5 6 + d v 6 3 / e f 0 f 6 / 9 c / 1 e F f v q J T v O L T u N Y / 8 9 / A d H h j / U = < / l a t e x i t > E 2 iR (b) Conformal dimension plane

Figure 2 :
Figure 2: Two branches of the timelike Liouville charge α and the corresponding conformal dimensions ∆ E .Because of the reflection, the ranges are halved to E ≥ 0 and E ∈ i[0, ∞).
(3.22) together with the structure constant C and C respectively for c L / ∈ (−∞, 1] and c L ≤ 1, lead to a crossing-symmetric four-point function for all c L ∈ C [10].

Figure 3 :
Figure 3: Poles of the four-point function integrand and integration contour for the c L ≤ 1 Liouville theory.The poles in the E s -plane are located on the imaginary axis (shaded area, only few poles are displayed) and depend only on β, not on the external momenta α 1 , α 2 , α 3 and α 4 .The i prescription shifts the contour away from the poles.

. 46 )
By the same argument as in the previous case, a state |ψ is in the cohomology only if L 0,r |ψ = 0.(4.47)

Figure 5 :
Figure 5: s-channel decomposition of the four-point function.

Figure 7 :
Figure 7: Integration contour after analytic continuation to external Lorentzian momenta.Depending on the values of the external momenta, different cases can happen.