Holography in de Sitter Space via Chern-Simons Gauge Theory
Abstract
In this paper we propose a holographic duality for classical gravity on a three-dimensional de Sitter space. We first show that a pair of SU Chern-Simons gauge theories reproduces the classical partition function of Einstein gravity on a Euclidean de Sitter space, namely , when we take the limit where the level approaches . This implies that the CFT dual of gravity on a de Sitter space at the leading semi-classical order is given by an SU Wess-Zumino-Witten (WZW) model in the large central charge limit . We give another evidence for this in the light of known holography for coset CFTs. We also present a higher spin gravity extension of our duality.
I Introduction
Holography has been one of the most promising ideas which provide non-perturbative formulations of quantum gravity Susskind (1995). This approach has been extremely successful for holography in anti-de Sitter space (AdS), namely the AdS/CFT correspondence Maldacena (1998). However, we are still lacking understandings of holography in de Sitter space (dS), so-called dS/CFT correspondence Strominger (2001); Witten (2001); Maldacena (2003) (see also Maldacena and Strominger (1998); Park (1998, 1999)), though there has been a concrete proposal in four-dimensional higher spin gravity Anninos et al. (2017), and interesting recent progresses in the light of the dS/dS correspondence Alishahiha et al. (2004); Dong et al. (2018); Gorbenko et al. (2019); Geng et al. (2021), holographic entanglement entropy Ryu and Takayanagi (2006); Narayan (2015); Sato (2015); Miyaji and Takayanagi (2015), and holography in dS static patch Susskind (2021a, b). Especially, we are missing the dual conformal field theory (CFT) which lives on the past/future boundary of de Sitter space in Einstein gravity. In the present article, we hope to present a solution to this fundamental problem for three-dimensional de Sitter space.
The three-dimensional de Sitter space is special in that it is described by a Chern-Simons gauge theory Witten (1988) and that it is expected to be dual to a two-dimensional CFT assuming the standard idea of dS/CFT. The Chern-Simons description of gravity on , which is an Euclidean counterpart of de Sitter space, is described by a pair of Chern-Simons gauge theories Witten (1988). Moreover, it is well-known that an Chern-Simons theory is equivalent to conformal blocks of the Wess-Zumino-Witten (WZW) model Witten (1989), which has often been regarded as an example of holography. By combining these observations, it is natural to suspect that the gravity on and its Lorentzian continuation, i.e., de Sitter space, is dual to WZW model or its related cousins.
After a little consideration, however, we are immediately led to a puzzle as follows. Since the classical limit of the Einstein gravity on or de Sitter space is given by the large level limit (see Banados et al. (1999); Castro et al. (2011); Castro and Maloney (2012); Cotler et al. (2020); Castro et al. (2020); Anninos et al. (2020); Anninos and Harris for various studies of this limit), the central charge of the dual WZW model at level approaches to the finite value in this limit. On the other hand, the standard idea of dS/CFT Strominger (2001); Maldacena (2003) tells us that the classical gravity is dual to the large central charge limit of a CFT. In what follows, as the main result in this article, we will show that in the large central charge limit of the WZW model, the dual Chern-Simons gravity is able to reproduce the results of classical gravity on . Combined this observation with a de Sitter generalization of the conjectured higher spin AdS/CFT duality Gaberdiel and Gopakumar (2011), we will resolve the above puzzle and obtain a concrete dS/CFT in the three-dimensional case.
II Chern-Simons Gravity on
The Einstein gravity on is equivalent to two copies of classical Chern-Simons gauge theories, whose action is given by
(1) |
where and are the one-form gauge potentials. The level is inversely proportional to the three-dimensional Newton constant . The partition function of a single Chern-Simons theory with a Wilson loop in the spin- representation (denoted by ), is given by Witten (1989), where is the -matrix of modular transformation of WZW model:
(2) |
Therefore, the total partition function of the Chern-Simons theory (1) for the three-dimensional gravity is evaluated as
(3) |
where we assumed that the Wilson loop is symmetric between the two gauge groups.
Moreover, when two Wilson loops, each in the and representation, are linked, the partition function of the Chern-Simons gravity reads
(4) |
On the other hand, when two Wilson loops are not linked with each other, we obtain
(5) |
Note that the above partition functions are for the full quantum Chern-Simons theory, and thus we expect they include quantum gravity effects, which will be suppressed in the large limit.
III Holographic Limit for dS/CFT
Motivated by the standard version of dS/CFT correspondence in Maldacena (2003), where Einstein gravity limit of three-dimensional de Sitter space is given by the large central charge limit , we argue the following relation between the WZW model and the gravity on :
(6) |
where and are, respectively, the central charge and the chiral conformal dimension of a primary field in the WZW model at level , respectively, while the quantities and are their gravity counterparts and are real valued. In the gravity, the radius of , written as , is related to the central charge via the de Sitter counterpart of the well-known relation Brown and Henneaux (1986); Maldacena (2003):
(7) |
The energy in this gravity dual to the Wilson loop is simply related to the conformal dimension via
(8) |
In the semi-classical gravity regime, , we consider limit, which is more precisely described by
(9) |
In addition it is useful to note
(10) |
Therefore, the Chern-Simons partition function on with a single Wilson loop (3) is evaluated as follows (in the semi-classical limit ):
(11) |
Similarly, the partition function (4) on with two linked Wilson loops inserted is estimated by
(12) |
For unlinked two Wilson lines, we obtain from (5):
(13) |
Notice that in the above we have assumed the limit , which looks quite different from the semi-classical limit of the Chern-Simons gauge theory. To see that our new limit gives a correct answer, we will compare the above results with those expected from the direct Einstein gravity calculations in the following.
IV Gravity on de Sitter Space
The Euclidean de Sitter black hole solution is given by
(14) |
where is the energy of an excitation Spradlin et al. (2001). The black hole horizon is at and the requirement of smoothness at the horizon determines the periodicity:
(15) |
On the other hand, the angular coordinate obeys the periodicity and there is a conical singularity at . The black hole entropy reads
(16) |
It is useful to introduce the coordinate by
(17) |
which leads to the metric
(18) |
Then we evaluate the gravity action
(19) |
where . This leads to
(20) |
whose semi-classical gravity partition function agrees with the Chern-Simons result (11).
Let us introduce the Cartesian coordinates:
(21) |
Then the sphere is described by the metric (18). The insertion of the single Wilson line corresponds to a deficit angle at , depicted as the red circle in FIG. 1.
We can realize the second Wilson loop at linking with the first one by identifying the coordinate as
(22) |
This is depicted as the green circle in FIG. 1, where the deficit angle is present. Finally, the gravity action for this geometry is estimated as
(23) |
which again reproduces the leading part of the Chern-Simons result (12) in the semi-classical limit.
V Higher Spin Gravity
The Chern-Simons theory enables us to construct a broader class of three-dimensional gravity theories, namely, higher spin gravity. A pair of Chern-Simons theories at level describes a three-dimensional gravity with spin- fields for each .
The central charge of the WZW model at level reads
(24) |
The chiral conformal dimension of a primary in the representation specified by a weight vector is given by
(25) |
where . The weight lattice is generated by the basis and its inner product is denoted by . Here we follow the convention in Di Francesco et al. (1997). The modular -matrix reads
(26) |
where is the Weyl group and is a constant fixed by the unitary constraint .
Now we analytically continue the level as we did in the case, and , which leads to
(27) |
Let us evaluate , which gives the vacuum partition function . By using the known relation , the partition function of the Chern-Simons gravity with linked Wilson loops in the limit (27) looks like:
(28) |
It is straightforward to confirm that this reproduces the previous result (12) if we set . Moreover, it is useful to note that this group theoretical argument explains the partition function with unlinked Wilson loops and , given by (5). Indeed, by setting and , we can rewrite .
As in the case, we will show below that the partition function (28) of the Chern-Simons gravity computed from the limit of the WZW model equals that of the corresponding higher spin gravity in the classical limit, i.e., the large level limit. The configuration of the gauge fields describing a conical geometry can be constructed in a similar manner to the AdS case presented in Castro et al. (2012). We find it convenient to use the gauge, where the solution of is given by
(29) |
with parameters:
(30) |
Here are matrices with elements .
The on-shell action (1) for the gauge configuration can be evaluated as
(31) |
where we use the relation between the Chern-Simons level and the Newton constant in the higher spin gravity:
(32) |
Let us rewrite the eigenvalues as , and set for 111As in the case of Euclidean AdS3 analyzed in Castro et al. (2012), we could relax the condition for Lorentzian dS3.. If we require and for , which generically corresponds to the diagonalizability of the matrix, then we could set with . In this representation, with the identification (7), we can rewrite (31) as
(33) |
Hence the on-shell partition function for the higher spin gravity agrees with the expression (28) obtained from the modular -matrix as we promised.
VI Entanglement/Black hole Entropy
Let us turn to the calculation of entanglement entropy in the gravity on . We choose a subsystem to be a disk on the surface , which separates into two hemispheres. We write the boundary circle of as . In the replica calculation of entanglement entropy, we introduce a cut along on and take its -fold cover to obtain . The replica calculation in Chern-Simons theory was performed in Dong et al. (2008) to read off the topological entanglement entropy Kitaev and Preskill (2006); Levin and Wen (2006) in terms of modular matrices. In the presence of a Wilson loop , which is linked with , we obtain (refer to McGough and Verlinde (2013) for an AdS counterpart)
(34) |
For the Einstein gravity () with a Wilson loop , it takes the following form:
(35) |
This indeed coincides with the de Sitter black hole entropy (16). It is straightforward to extend the above result to the topological pseudo entropy Nakata et al. (2021); Nishioka et al. (2021).
VII Discussions: dS/CFT Interpretation
We have shown that the limit for two copies of the Chern-Simons gauge theories, where the central charge of its dual WZW model gets infinitely large , reproduces the Einstein gravity on . More generally, the large central charge limit of the WZW model corresponds to the classical limit of the higher spin gravity on . We argue that this is a manifestation of the (Euclidean version of) dS/CFT correspondence.
One may worry that this might contradict with the standard fact that the classical limit of higher spin gravity on is given by not finite , but the large limit of two copies of Chern-Simons theory. To reconcile this tension, let us consider the following coset CFT, called the -minimal model 222The coset realization of -minimal model was proven in Arakawa et al. (2019) and the coset (36) with generic was shown to be equivalent to Toda field theory with -symmetry in Creutzig and Hikida (2021).:
(36) |
which has the central charge
(37) |
In Gaberdiel and Gopakumar (2011), this model is argued to be dual to the higher spin gravity on AdS3 (Vasiliev theory Prokushkin and Vasiliev (1999)) with two complex scalar fields if we take the ’t Hooft limit:
(38) |
This higher spin gravity has the symmetry , which enhances to at the asymptotic boundary Henneaux and Rey (2010); Campoleoni et al. (2010). In our limit , the contribution to the total central charge of the coset is dominated by the part and thus the leading contribution comes from the (non-chiral) WZW model, which is essentially the same model we have studied in the above. Interestingly, the triality Gaberdiel and Gopakumar (2012) relates three different values of the previous parameters via the following two duality relations:
(39) |
If we apply the duality (ii) to the limit (9) at (see also Ouyang ; Perlmutter et al. (2013) for a similar continuation), we find
(40) |
Thus this theory has symmetry, i.e., Virasoro symmetry, which is indeed expected for the Einstein gravity. We can generalize this to the limit of the theory, for which the duality (ii) predicts symmetry with the level infinitely large as expected for the classical higher spin gravity. In this way, our dS/CFT example is consistent with an extension of earlier results, at least in the leading order. It will be interesting future problems to examine correlation functions, quantum gravity corrections, and a Lorentzian continuation explicitly. We plan to come back to these problems soon Hikida et al. .
Acknowledgements We are grateful to Yasunori Nomura for useful discussions. This work was supported by JSPS Grant-in-Aid for Scientific Research (A) No. 21H04469, Grant-in-Aid for Transformative Research Areas (A) No. 21H05182, No. 21H05187 and No. 21H05190. T. T. is supported by the Simons Foundation through the “It from Qubit” collaboration, Inamori Research Institute for Science and World Premier International Research Center Initiative (WPI Initiative) from the Japan Ministry of Education, Culture, Sports, Science and Technology (MEXT). The work of Y. H. was supported in part by the JSPS Grant-in-Aid for Scientific Research (B) No.19H01896. The work of T. N. was supported in part by the JSPS Grant-in-Aid for Scientific Research (C) No.19K03863.
References
- Susskind (1995) L. Susskind, J. Math. Phys. 36, 6377 (1995), arXiv:hep-th/9409089 .
- Maldacena (1998) J. M. Maldacena, Adv. Theor. Math. Phys. 2, 231 (1998), arXiv:hep-th/9711200 .
- Strominger (2001) A. Strominger, JHEP 10, 034 (2001), arXiv:hep-th/0106113 .
- Witten (2001) E. Witten, in Strings 2001: International Conference (2001) arXiv:hep-th/0106109 .
- Maldacena (2003) J. M. Maldacena, JHEP 05, 013 (2003), arXiv:astro-ph/0210603 .
- Maldacena and Strominger (1998) J. M. Maldacena and A. Strominger, JHEP 02, 014 (1998), arXiv:gr-qc/9801096 .
- Park (1998) M. I. Park, Phys. Lett. B 440, 275 (1998), arXiv:hep-th/9806119 .
- Park (1999) M. I. Park, Nucl. Phys. B 544, 377 (1999), arXiv:hep-th/9811033 .
- Anninos et al. (2017) D. Anninos, T. Hartman, and A. Strominger, Class. Quant. Grav. 34, 015009 (2017), arXiv:1108.5735 [hep-th] .
- Alishahiha et al. (2004) M. Alishahiha, A. Karch, E. Silverstein, and D. Tong, AIP Conf. Proc. 743, 393 (2004), arXiv:hep-th/0407125 .
- Dong et al. (2018) X. Dong, E. Silverstein, and G. Torroba, JHEP 07, 050 (2018), arXiv:1804.08623 [hep-th] .
- Gorbenko et al. (2019) V. Gorbenko, E. Silverstein, and G. Torroba, JHEP 03, 085 (2019), arXiv:1811.07965 [hep-th] .
- Geng et al. (2021) H. Geng, Y. Nomura, and H.-Y. Sun, Phys. Rev. D 103, 126004 (2021), arXiv:2103.07477 [hep-th] .
- Ryu and Takayanagi (2006) S. Ryu and T. Takayanagi, Phys. Rev. Lett. 96, 181602 (2006), arXiv:hep-th/0603001 .
- Narayan (2015) K. Narayan, Phys. Rev. D 91, 126011 (2015), arXiv:1501.03019 [hep-th] .
- Sato (2015) Y. Sato, Phys. Rev. D 91, 086009 (2015), arXiv:1501.04903 [hep-th] .
- Miyaji and Takayanagi (2015) M. Miyaji and T. Takayanagi, PTEP 2015, 073B03 (2015), arXiv:1503.03542 [hep-th] .
- Susskind (2021a) L. Susskind, (2021a), arXiv:2109.01322 [hep-th] .
- Susskind (2021b) L. Susskind, (2021b), arXiv:2109.14104 [hep-th] .
- Witten (1988) E. Witten, Nucl. Phys. B 311, 46 (1988).
- Witten (1989) E. Witten, Commun. Math. Phys. 121, 351 (1989).
- Banados et al. (1999) M. Banados, T. Brotz, and M. E. Ortiz, Phys. Rev. D 59, 046002 (1999), arXiv:hep-th/9807216 .
- Castro et al. (2011) A. Castro, N. Lashkari, and A. Maloney, Phys. Rev. D 83, 124027 (2011), arXiv:1103.4620 [hep-th] .
- Castro and Maloney (2012) A. Castro and A. Maloney, JHEP 11, 096 (2012), arXiv:1209.5757 [hep-th] .
- Cotler et al. (2020) J. Cotler, K. Jensen, and A. Maloney, JHEP 06, 048 (2020), arXiv:1905.03780 [hep-th] .
- Castro et al. (2020) A. Castro, P. Sabella-Garnier, and C. Zukowski, JHEP 07, 202 (2020), arXiv:2001.09998 [hep-th] .
- Anninos et al. (2020) D. Anninos, F. Denef, Y. T. A. Law, and Z. Sun, (2020), arXiv:2009.12464 [hep-th] .
- (28) D. Anninos and E. Harris, arXiv:2106.13832 [hep-th] .
- Gaberdiel and Gopakumar (2011) M. R. Gaberdiel and R. Gopakumar, Phys. Rev. D 83, 066007 (2011), arXiv:1011.2986 [hep-th] .
- Brown and Henneaux (1986) J. D. Brown and M. Henneaux, Commun. Math. Phys. 104, 207 (1986).
- Spradlin et al. (2001) M. Spradlin, A. Strominger, and A. Volovich, in Les Houches Summer School: Session 76: Euro Summer School on Unity of Fundamental Physics: Gravity, Gauge Theory and Strings (2001) pp. 423–453, arXiv:hep-th/0110007 .
- Di Francesco et al. (1997) P. Di Francesco, P. Mathieu, and D. Senechal, Conformal Field Theory, Graduate Texts in Contemporary Physics (Springer-Verlag, New York, 1997).
- Castro et al. (2012) A. Castro, R. Gopakumar, M. Gutperle, and J. Raeymaekers, JHEP 02, 096 (2012), arXiv:1111.3381 [hep-th] .
- Note (1) As in the case of Euclidean AdS3 analyzed in Castro et al. (2012), we could relax the condition for Lorentzian dS3.
- Dong et al. (2008) S. Dong, E. Fradkin, R. G. Leigh, and S. Nowling, JHEP 05, 016 (2008), arXiv:0802.3231 [hep-th] .
- Kitaev and Preskill (2006) A. Kitaev and J. Preskill, Phys. Rev. Lett. 96, 110404 (2006), arXiv:hep-th/0510092 .
- Levin and Wen (2006) M. Levin and X.-G. Wen, Phys. Rev. Lett. 96, 110405 (2006), arXiv:cond-mat/0510613 .
- McGough and Verlinde (2013) L. McGough and H. Verlinde, JHEP 11, 208 (2013), arXiv:1308.2342 [hep-th] .
- Nakata et al. (2021) Y. Nakata, T. Takayanagi, Y. Taki, K. Tamaoka, and Z. Wei, Phys. Rev. D 103, 026005 (2021), arXiv:2005.13801 [hep-th] .
- Nishioka et al. (2021) T. Nishioka, T. Takayanagi, and Y. Taki, JHEP 09, 015 (2021), arXiv:2107.01797 [hep-th] .
- Note (2) The coset realization of -minimal model was proven in Arakawa et al. (2019) and the coset (36\@@italiccorr) with generic was shown to be equivalent to Toda field theory with -symmetry in Creutzig and Hikida (2021).
- Prokushkin and Vasiliev (1999) S. F. Prokushkin and M. A. Vasiliev, Nucl. Phys. B 545, 385 (1999), arXiv:hep-th/9806236 .
- Henneaux and Rey (2010) M. Henneaux and S.-J. Rey, JHEP 12, 007 (2010), arXiv:1008.4579 [hep-th] .
- Campoleoni et al. (2010) A. Campoleoni, S. Fredenhagen, S. Pfenninger, and S. Theisen, JHEP 11, 007 (2010), arXiv:1008.4744 [hep-th] .
- Gaberdiel and Gopakumar (2012) M. R. Gaberdiel and R. Gopakumar, JHEP 07, 127 (2012), arXiv:1205.2472 [hep-th] .
- (46) P. Ouyang, arXiv:1111.0276 [hep-th] .
- Perlmutter et al. (2013) E. Perlmutter, T. Prochazka, and J. Raeymaekers, JHEP 05, 007 (2013), arXiv:1210.8452 [hep-th] .
- (48) Y. Hikida, T. Nishioka, T. Takayanagi, and Y. Taki, Work in progress .
- Arakawa et al. (2019) T. Arakawa, T. Creutzig, and A. R. Linshaw, Invent. Math. 218, 145 (2019), arXiv:1801.03822 [math.QA] .
- Creutzig and Hikida (2021) T. Creutzig and Y. Hikida, (2021), arXiv:2109.03403 [hep-th] .