Eoin Dowd
Department of Physics, New York University, 726 Broadway, New York, NY10003, USA.
Gaston Giribet
Department of Physics, New York University, 726 Broadway, New York, NY10003, USA.
Résumé
Jackiw Teitelboim (JT) gravity has proven to be an excellent tool for investigating aspects of quantum gravity and black hole physics. In recent years, the study of JT gravity and its deformations has helped us learn about the different contributions of geometries in the gravitational path integral, the quantum gravity Hilbert space, the space-time factorization problem, the role of averaging in holography, the black hole information paradox, and the matrix models. All this motivates the exploration of the JT gravity in different setups, with and without matter. Here, we consider JT gravity conformally coupled to Liouville field theory and matter fields. This model admits to be interpreted as a non-critical string theory on a linear dilaton background with a tachyonic Liouville potential along a null direction. The constant curvature constraint of JT gravity results in a neutralization of the Liouville mode, which makes it possible to compute the four-point correlation function of the theory analytically. Here we give the explicit derivation of the four-point function and briefly comment on its properties, such as monodromy invariance, crossing symmetry, factorization, and limits.
I Introduction
Jackiw-Teitelboim (JT) gravity JT1 ; JT2 ; JT3 has garnered renewed attention in recent years due to its connections to various areas of theoretical physics. Originally proposed as a two-dimensional model of gravity coupled to a dilaton field, JT gravity serves as a simplified yet powerful tool for studying fundamental concepts in quantum gravity, black hole physics, condensed matter, quantum information, and holography; see duality0 -duality16 and references therein and thereof; for a recent review, see review .
The model features a gravitational action that, despite its simplicity, encapsulates rich physics. Its mathematical tractability allows for exact analytical treatments, making it an ideal testing ground for exploring semi-classical and quantum gravity, especially through its connection to the Sachdev-Ye-Kitaev model SY ; K ; Kitaev . In recent years, the study of JT gravity has allowed us to expand our knowledge about the path integral formulation of semi-classical gravity, the Hilbert space of quantum gravity, the causal structure of the spacetime within the context of holography, black hole thermodynamics, and matrix models. All this motivates the exploration of JT gravity and its extensions further. In this paper, we will study JT gravity conformally coupled to Liouville field theory and additional matter fields. This model admits to be interpreted as a non-critical string theory on a linear dilaton background with a tachyonic Liouville potential along a null direction Mazzitelli ; Gaston . The constant curvature constraint of JT gravity results in a neutralization of the Liouville mode, which makes it possible to compute the four-point correlation function of the theory analytically. Here we give the explicit derivation of the four-point function and discuss its properties, such as monodromy invariance, crossing symmetry, factorization, and limits.
The paper is organized as follows: In section II, we will introduce the theory we will be concerned with, which mainly consists of JT gravity interacting with Liouville field theory through a Weyl coupling of the metric. In section III, we will review the formulation of the 2D gravity theory as a non-critical string -model in a non-trivial dilaton-tachyon background. The background exhibits a light-like Liouville direction which only interacts with transversal excitations. This simplifies the problem of computing correlation functions enormously, as we comment in section IV. The explicit computation of the correlation functions is given in section V, where analytic formulae for the three- and four-point functions are presented. Section VI contains some final remarks.
II Two-dimensional Gravity
We will consider a theory consisting of JT gravity
coupled to Liouville field theory and additional matter fields. The action of the full theory is
where and . Matter content is given by space-like scalar fields . The coupling constants , , , are real, with . Relations among some of these couplings are required for the theory to exhibit special properties, such as conformal invariance and self-duality Gaston .
We will consider the conformal theory on a closed manifold . The term in the action with coupling gives the Euler characteristic of , denoted . The metrics in (2) and (3) are related by a Weyl transformation
(5)
which involves the Liouville field . The field is the JT scalar, which enters in as a Lagrange multiplier that yields the constant curvature constraint
(6)
together with a second-order non-linear field equation for . Shifting the zero mode of changes the value of ; shifting the zero mode of produces a similar effect but at the price of rescaling .
The ghost contribution to the action is also required and can be
expressed in terms of the - system as
(7)
Hereafter we will omit the ghost contribution for brevity.
On , we use coordinates with and ; as usual, stands for the derivative with respect to . We are going to consider the theory on the Riemann projective sphere, , choosing the metric to be the locally flat metric written in the standard complex variables , , with , and , . We thus have .
III Non-Critical String
The theory defined by (1) can be written as a string theory -model on a non-trivial background. To see this, let us redefine fields as follows
(8)
with . These new variables are well-defined in terms of the original coordinates and provided . In terms of the new target space coordinates, the action above takes the form
(9)
with the Gaussian contribution
and the interaction term
where denotes the mostly-plus, -dimensional Minkowski metric (). Also, we have rescaled the cosmological constant as
(10)
and introduced the following notation
(11)
(12)
As said, conformal invariance demands additional constraints among the couplings. We write
(13)
The field equations associated with the fields and can be combined to reproduce the constant curvature constraint of JT theory. More precisely, one obtains the Liouville equation
(14)
, which written in terms of (8) and using (13) agrees with (6). To show this be have to be reminded of (5) implying
(15)
Here, we will consider the theory with . For the case see reference Gaston . For , the action above can interpreted as a string worldsheet -model in the -dimensional dilaton-tachyon background
(16)
with , with and . This describes a flat, linear dilaton configuration with a Liouville type potential along the light-like direction ; see Figure 1. The tachyon potential in the case has been studied in Gaston , where it was shown how the condition for to be a puncture primary operator that follows from the operator product expansion with the stress tensor actually coincides with the vanishing of the -function at 1-loop. Hereafter, we take .
The central charge of the worldsheet theory, excluding the ghost contribution, is
(17)
which yields the condition
(18)
cf. Mazzitelli . In the case , one recovers the known relation for quantum Liouville field theory.
IV Neutralizing the Liouville mode
The action of the string -model includes a Liouville contribution
(19)
along the light-like direction , with background charge ; we denote and .
The fact that the Liouville wall is normal to a light-like direction produces a neutralization of the Liouville mode. This neutralization effect is due to the constant curvature constraint (6) and was early studied in Chamseddine ; Gaston . In particular, it makes the tachyonic constituents of the Liouville wall not interact with themselves. More concretely, the screening operators coming from the self-interaction term of Liouville action (19) only see the transverse -dependent excitations of the vertex operators involved in the amplitudes, but there are no screening-screening interactions. This is related to the fact that, in this scenario, the condition for the Liouville exponential interaction to be a marginal operator turns out to be linear in , in contrast with the usual quadratic condition Gaston . This results in a remarkable simplification of the correlators which, in particular, will allow us to explicitly compute the four-point function.
Before concluding this section, let us mention that the neutralization of the Liouville mode ceases as soon as we introduce additional terms in the JT action that relax the constant-curvature constraint (6); for instance, if we add
(20)
The introduction of the kinetic term for would make the Liouville potential to acquire a dependence on and consequently self-interact, while the potential would introduce new -dependent interaction operators in the correlators that would also interact with the Liouville mode.
V Correlation functions
Now, let us move to compute the correlation functions. More specifically, we will compute correlation functions of vertex operators of the form
(21)
with and . These are operators that create primary states of conformal weight with momentum . We find it convenient to define momenta , which may take non-real values for normalizable operators in the presence of the background charge.
The -point correlation functions of operators (21) are defined as follows
(22)
where we are omitting ghost dependence, radial ordering symbols and other decorations. Integrating over the zero-mode of the Liouville field GL , these -point correlation functions can be expressed as follows
where and is given by
(23)
The advantage of the expression above is that it reduces the -point function (22) to an -point function of a free theory. Consequently, it can be solved by considering the free field correlator ,
which in particular yields . In the following subsections, we will explicitly compute the three- and four-point functions using this Coulomb gas method.
V.1 The tree-point function
Let us review the computation of the three-point function. We will focus on the so-called “resonant correlators”, which correspond to . Such a three-point function can be computed using the free field propagators given above; it yields Gaston
(24)
with the conformal integral
(25)
where we have set , , using invariance. Restoring the dependence on in the three-point function is trivial, as fully determined by conformal invariance. The subscript R on the left-hand side of (24) stands for “residue”: resonant correlators sit on poles, so we have used that
(26)
The -functions in (24) come from the integration of the zero modes of the fields. The correlator does not vanish provided , and for .
Expression (24)-(25) represents a remarkable simplification with respect to the standard Liouville three-point function, which typically involves a Dotsenko-Fateev multiple integral, cf. eq. (B.9) in ref. DF and eq. (7.4.2) in ref. Dotsenko . However, the neutralization of the Liouville field allows the integrals to factorize and reduce to a product of Shapiro-Virasoro integrals (25), which are well-known by any string theorist. This yields
(27)
with . This expression exhibits poles of order at with , and zeros for . This three-point function has been computed in Gaston . We will see below how the same techniques can be applied to obtain the four-point function.
V.2 The four-point function
The four-point function takes the form
(28)
where now the conformal integral is
(29)
We have for , , and with . Now we have set , , , ; is the cross ratio. Integral depends on and turns out to be not as simple as the Shapiro-Virasoro integral we encountered in the calculation of the three-point function. Despite this, it can still be computed explicitly in terms of hypergeometric functions. This yields
with the coefficients
see eq. (7.4.1) and eqs. (7.4.19)-(7.4.22) of ref. Dotsenko . We used to include in the above expressions.
V.3 Comments
Expression (28)-(29) is the four-point resonant correlation function of the theory. Let us analyze some properties of it:
Monodromy invariance of the four-point function (28)-(29) can easily be proven by noticing that the ratio
(30)
precisely coincides with the relative coefficient of the independent solutions of the hypergeometric equation that makes the solution invariant; see, for instance, eqs. (4.20)-(4.21) in ref. MO3 . That suffices to prove the monodromy invariance of the resonant correlators.
Crossing symmetry and the braiding coefficients can be analyzed using the Kummer relations of the hypergeometric function. Firstly, notice that, under the crossing operation , the coefficients above change as . Secondly, the Euler relation of the hypergeometric function simply realizes the symmetry under leaving invariant. Finally, we observe that similar relations for the hypergeometric function imply that the change in actually implements the transformation , as of course expected.
The three-point function is recovered from the expression of the four-point function by taking . In that limit, the in the denominator of makes the second term of vanish, while the hypergeometric function in the first term of tends to 1. Then, the coefficient exactly reproduces the three-point function (27); namely
(31)
Factorization properties of the four-point resonant correlation function can also be directly studied using the expansion of the hypergeometric function around .
VI Final remarks
Thinking of the JG gravity coupled to Liouville field theory as a non-critical string Mazzitelli , we have been able to compute the four-point resonant correlation function in the theory, giving an analytic expression of it in terms of hypergeometric functions. The constant curvature constraint of the JT results in the neutralization of the Liouville mode Chamseddine , which ultimately makes the conformal integrals factorize. This made it possible to compute the correlators in a simple way Gaston . The four-point function is given in (28)-(29).
We would like to conclude with some open questions: Firstly, it would be interesting to investigate whether a direct connection exists between the model we have considered here and the model studied in Verlinde1 , where the authors propose a gravity dual to the double scaled Sachdev-Ye-Kitaev (SYK) model consisting of two Liouville theories with complex individual central charges, cf. Verlinde2 . The holographic duality between JT and SKY suggests that a connection likely exists, although the connection is not clear to us. Secondly, there is another interesting paper that appeared recently Bruno , in which light-like Liouville-type potentials are considered within the context of string -models. It would also be interesting to investigate the connection to the results therein. Thirdly, the computation of correlation functions in the case is also a problem that remains to be explored. The inclusion of a puncture operator in the action makes the Coulomb gas computation of the correlation functions much more involved; however, perturbative techniques such as the one studied in Zamo may be of help. Finally, JT gravity has been studied in connection to Liouville field theory in Liouville1 -Liouville5 ; studying the relation with those recent works would be interesting.
Acknowledgments
The authors thank Bin Zhu and Tomasz Taylor for correspondence.
Références
(1)
C. Teitelboim,
“Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,”
Phys. Lett. B 126 (1983), 41.
(2)
R. Jackiw,
“Lower Dimensional Gravity,”
Nucl. Phys. B 252 (1985), 343.
(3)
A. Almheiri and J. Polchinski,
“Models of AdS2 backreaction and holography,”
JHEP 11 (2015), 014;
[arXiv:1402.6334 [hep-th]].
(4)
J. Maldacena and D. Stanford,
“Remarks on the Sachdev-Ye-Kitaev model,”
Phys. Rev. D 94 (2016), 106002;
[arXiv:1604.07818 [hep-th]].
(5)
K. Jensen,
“Chaos in AdS2 Holography,”
Phys. Rev. Lett. 117 (2016), 111601;
[arXiv:1605.06098 [hep-th]].
(6)
J. Maldacena, D. Stanford and Z. Yang,
“Conformal symmetry and its breaking in two dimensional Nearly Anti-de-Sitter space,”
PTEP 2016 (2016), 12C104;
[arXiv:1606.01857 [hep-th]].
(7)
J. Engelsöy, T. G. Mertens and H. Verlinde,
“An investigation of AdS2 backreaction and holography,”
JHEP 07 (2016), 139;
[arXiv:1606.03438 [hep-th]].
(8)
D. Harlow and D. Jafferis,
“The Factorization Problem in Jackiw-Teitelboim Gravity,”
JHEP 02 (2020), 177;
[arXiv:1804.01081 [hep-th]].
(9)
J. Maldacena and X. L. Qi,
“Eternal traversable wormhole,”
[arXiv:1804.00491 [hep-th]].
(10)
P. Saad, S. H. Shenker and D. Stanford,
“A semiclassical ramp in SYK and in gravity,”
[arXiv:1806.06840 [hep-th]].
(11)
P. Saad, S. H. Shenker and D. Stanford,
“JT gravity as a matrix integral,”
[arXiv:1903.11115 [hep-th]].
(12)
E. Witten,
“Matrix Models and Deformations of JT Gravity,”
Proc. Roy. Soc. Lond. A 476 (2020), 20200582;
[arXiv:2006.13414 [hep-th]].
(13)
D. Stanford and E. Witten,
“JT gravity and the ensembles of random matrix theory,”
Adv. Theor. Math. Phys. 24 (2020) 1475;
[arXiv:1907.03363 [hep-th]].
(14)
H. Maxfield and G. J. Turiaci,
“The path integral of 3D gravity near extremality; or, JT gravity with defects as a matrix integral,”
JHEP 01 (2021), 118;
[arXiv:2006.11317 [hep-th]].
(15)
T. J. Hollowood and S. P. Kumar,
“Islands and Page Curves for Evaporating Black Holes in JT Gravity,”
JHEP 08 (2020), 094;
[arXiv:2004.14944 [hep-th]].
(16)
P. Saad,
“Late Time Correlation Functions, Baby Universes, and ETH in JT Gravity,”
[arXiv:1910.10311 [hep-th]].
(17)
T. G. Mertens and G. J. Turiaci,
“Liouville quantum gravity – holography, JT and matrices,”
JHEP 01 (2021), 073;
[arXiv:2006.07072 [hep-th]].
(18)
E. Witten,
“Deformations of JT Gravity and Phase Transitions,”
[arXiv:2006.03494 [hep-th]].
(19)
G. J. Turiaci and E. Witten,
“ = 2 JT supergravity and matrix models,”
JHEP 12 (2023), 003;
[arXiv:2305.19438 [hep-th]].
(20)
G. Penington and E. Witten,
“Algebras and States in JT Gravity,”
[arXiv:2301.07257 [hep-th]].
(21)
T. G. Mertens and G. J. Turiaci,
“Solvable models of quantum black holes: a review on Jackiw-Teitelboim gravity,”
Living Rev. Rel. 26 (2023), 4;
[arXiv:2210.10846 [hep-th]].
(22)
S. Sachdev, J. Ye,
“Gapless Spin-Fluid Ground State in a Random Quantum Heisenberg Magnet”
arXiv:cond-mat/9212030
Phys. Rev. Lett. 70 (1993), 3339.
(23)
A. Kitaev,
“A simple model of quantum holography” talks delivered at KITP, April 7 and May 27, 2015.
(24)
A. Kitaev and S. J. Suh,
“The soft mode in the Sachdev-Ye-Kitaev model and its gravity dual,”
JHEP 05 (2018), 183;
[arXiv:1711.08467 [hep-th]].
(25)
F. D. Mazzitelli and N. Mohammedi,
“Classical gravity coupled to Liouville theory,”
Nucl. Phys. B 401 (1993), 239;
[arXiv:hep-th/9109016 [hep-th]].
(26)
G. Giribet,
“Brief comments on Jackiw-Teitelboim gravity coupled to Liouville theory,”
Class. Quant. Grav. 20 (2003), 2119;
[arXiv:gr-qc/0303068 [gr-qc]].
(27)
A. M. Polyakov,
“Quantum Geometry of Bosonic Strings,”
Phys. Lett. B 103 (1981), 207-210
(28)
A. H. Chamseddine,
“A Study of noncritical strings in arbitrary dimensions,”
Nucl. Phys. B 368 (1992), 98.
(29)
M. Goulian and M. Li,
“Correlation functions in Liouville theory,”
Phys. Rev. Lett. 66 (1991), 2051.
(30)
V. S. Dotsenko and V. A. Fateev,
“Four Point Correlation Functions and the Operator Algebra in the Two-Dimensional Conformal Invariant Theories with the Central Charge ,”
Nucl. Phys. B 251 (1985), 691.
(31)
V. Dotsenko,
“Série de Cours sur la Théorie Conforme,” Lectures at DEA, 2006, ffcel-00092929.
(32)
J. M. Maldacena and H. Ooguri,
“Strings in AdS(3) and the SL(2,) WZW model. Part 3. Correlation functions,”
Phys. Rev. D 65 (2002) 106006;
[arXiv:hep-th/0111180 [hep-th]].
(33)
H. Verlinde and M. Zhang,
“SYK Correlators from 2D Liouville-de Sitter Gravity,”
[arXiv:2402.02584 [hep-th]].
(34)
V. Narovlansky and H. Verlinde,
“Double-scaled SYK and de Sitter Holography,”
[arXiv:2310.16994 [hep-th]].
(35)
B. Balthazar, J. Chu and D. Kutasov,
“On time-dependent backgrounds in 1 + 1 dimensional string theory,”
JHEP 03 (2024), 025;
[arXiv:2311.17992 [hep-th]].
(36)
A. B. Zamolodchikov,
“Perturbed conformal field theory on fluctuating sphere,”
[arXiv:hep-th/0508044 [hep-th]].
(37)
T. G. Mertens,
“Degenerate operators in JT and Liouville (super)gravity,”
JHEP 04 (2021), 245;
[arXiv:2007.00998 [hep-th]].
(38)
T. G. Mertens and G. J. Turiaci,
“Liouville quantum gravity – holography, JT and matrices,”
JHEP 01 (2021), 073;
[arXiv:2006.07072 [hep-th]].
(39)
K. Suzuki and T. Takayanagi,
“JT gravity limit of Liouville CFT and matrix model,”
JHEP 11 (2021), 137;
[arXiv:2108.12096 [hep-th]].
(40)
S. Chaudhuri and F. Ferrari,
“Finite cut-off JT and Liouville quantum gravities on the disk at one loop,”
[arXiv:2404.03748 [hep-th]].
(41)
F. Ferrari,
“Jackiw-Teitelboim Gravity, Random Disks of Constant Curvature, Self-Overlap** Curves and Liouville ,”
[arXiv:2402.08052 [hep-th]].