This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Holography in de Sitter Space via Chern-Simons Gauge Theory

Yasuaki Hikida,a Tatsuma Nishioka,a Tadashi Takayanagia,b,c and Yusuke Takia aCenter for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University,
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, Japan
bInamori Research Institute for Science, 620 Suiginya-cho, Shimogyo-ku, Kyoto 600-8411, Japan cKavli Institute for the Physics and Mathematics of the Universe,
University of Tokyo, Kashiwa, Chiba 277-8582, Japan
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(2)(2) Chern-Simons gauge theories reproduces the classical partition function of Einstein gravity on a Euclidean de Sitter space, namely 𝕊3\mathbb{S}^{3}, when we take the limit where the level kk approaches 2-2. This implies that the CFT dual of gravity on a de Sitter space at the leading semi-classical order is given by an SU(2)(2) Wess-Zumino-Witten (WZW) model in the large central charge limit k2k\to-2. 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.

preprint: YITP-21-105; IPMU21-0059

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 𝕊3\mathbb{S}^{3}, which is an Euclidean counterpart of de Sitter space, is described by a pair of SU(2)\mathrm{SU}(2) Chern-Simons gauge theories Witten (1988). Moreover, it is well-known that an SU(2)\mathrm{SU}(2) Chern-Simons theory is equivalent to conformal blocks of the SU(2)\mathrm{SU}(2) 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 𝕊3\mathbb{S}^{3} and its Lorentzian continuation, i.e., de Sitter space, is dual to SU(2)\mathrm{SU}(2) 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 𝕊3\mathbb{S}^{3} or de Sitter space is given by the large level limit kk\to\infty (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 cc of the dual SU(2)\mathrm{SU}(2) WZW model at level kk approaches to the finite value c=3k/(k+2)3c=3k/(k+2)\to 3 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 k2k\to-2 of the SU(2)\mathrm{SU}(2) WZW model, the dual Chern-Simons gravity is able to reproduce the results of classical gravity on 𝕊3\mathbb{S}^{3}. 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 𝕊3\mathbb{S}^{3}

The Einstein gravity on 𝕊3\mathbb{S}^{3} is equivalent to two copies of classical SU(2)\mathrm{SU}(2) Chern-Simons gauge theories, whose action is given by

ICSG=ICS[A]ICS[A¯],ICS[A]=k4πTr[AdA+23AAA],\displaystyle\begin{aligned} I_{\text{CSG}}&=I_{\text{CS}}[A]-I_{\text{CS}}[\bar{A}]\ ,\\ I_{\text{CS}}[A]&=-{k\over 4\pi}\int_{\mathcal{M}}\text{Tr}\left[A\wedge dA+{2\over 3}A\wedge A\wedge A\right]\ ,\end{aligned} (1)

where AA and A¯\bar{A} are the one-form SU(2)\mathrm{SU}(2) gauge potentials. The level kk is inversely proportional to the three-dimensional Newton constant GNG_{N}. The partition function of a single SU(2)\mathrm{SU}(2) Chern-Simons theory with a Wilson loop in the spin-jj representation (denoted by RjR_{j}), is given by 𝒮j0{\cal S}^{0}_{j} Witten (1989), where 𝒮{\cal S} is the 𝒮{\cal S}-matrix of modular transformation of SU(2)\mathrm{SU}(2) WZW model:

𝒮jl=2k+2sin[πk+2(2j+1)(2l+1)].\displaystyle{\cal S}_{j}^{l}=\sqrt{{2\over k+2}}\,\sin\left[{\pi\over k+2}\,(2j+1)(2l+1)\right]\ . (2)

Therefore, the total partition function of the Chern-Simons theory (1) for the three-dimensional gravity is evaluated as

ZCSG[𝕊3,Rj]=|𝒮0j|2,\displaystyle Z_{\text{CSG}}\left[\mathbb{S}^{3},R_{j}\right]=\big{|}{\cal S}_{0}^{j}\big{|}^{2}\ , (3)

where we assumed that the Wilson loop is symmetric between the two SU(2)\mathrm{SU}(2) gauge groups.

Moreover, when two Wilson loops, each in the RjR_{j} and RlR_{l} representation, are linked, the partition function of the Chern-Simons gravity reads

ZCSG[𝕊3,L(Rj,Rl)]=|𝒮jl|2.\displaystyle Z_{\text{CSG}}\left[\mathbb{S}^{3},L(R_{j},R_{l})\right]=\big{|}{\cal S}_{j}^{l}\big{|}^{2}\ . (4)

On the other hand, when two Wilson loops are not linked with each other, we obtain

ZCSG[𝕊3,Rj,Rl]=|𝒮0j𝒮0l𝒮00|2.\displaystyle Z_{\text{CSG}}\left[\mathbb{S}^{3},R_{j},R_{l}\right]=\left|{{\cal S}_{0}^{j}\,{\cal S}_{0}^{l}\over{\cal S}_{0}^{0}}\right|^{2}\ . (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 kk 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 cic\to{\rm i}\,\infty, we argue the following relation between the SU(2)\mathrm{SU}(2) WZW model and the gravity on 𝕊3\mathbb{S}^{3}:

c=3kk+2=ic(g),hj=j(j+1)k+2=ihj(g),\displaystyle\begin{aligned} c&={3k\over k+2}={\rm i}\,c^{(g)}\ ,\\ h_{j}&={j(j+1)\over k+2}={\rm i}\,h^{(g)}_{j}\ ,\end{aligned} (6)

where cc and hjh_{j} are, respectively, the central charge and the chiral conformal dimension of a primary field in the SU(2)\mathrm{SU}(2) WZW model at level kk, respectively, while the quantities c(g)c^{(g)} and hj(g)h_{j}^{(g)} are their gravity counterparts and are real valued. In the gravity, the radius of 𝕊3\mathbb{S}^{3}, written as LL, is related to the central charge via the de Sitter counterpart of the well-known relation Brown and Henneaux (1986); Maldacena (2003):

c(g)=3L2GN.\displaystyle c^{(g)}={3L\over 2G_{N}}\ . (7)

The energy EjE_{j} in this gravity dual to the Wilson loop RjR_{j} is simply related to the conformal dimension via

Ej=2hj(g)L.\displaystyle E_{j}={2\,h^{(g)}_{j}\over L}\ . (8)

In the semi-classical gravity regime, L/GN1L/G_{N}\gg 1, we consider k2k\to-2 limit, which is more precisely described by

k=2+6ic(g)+O(1c(g)2).\displaystyle k=-2+{6\,{\rm i}\over c^{(g)}}+O\left({1\over c^{(g)2}}\right)\ . (9)

In addition it is useful to note

18GNEj=124hj(g)c(g)(2j+1)2.\displaystyle 1-8\,G_{N}E_{j}=1-{24\,h^{(g)}_{j}\over c^{(g)}}\simeq(2j+1)^{2}\ . (10)

Therefore, the Chern-Simons partition function on 𝕊3\mathbb{S}^{3} with a single Wilson loop (3) is evaluated as follows (in the semi-classical limit c(g)1c^{(g)}\gg 1):

ZCSG[𝕊3,Rj]c(g)12exp[πc(g)318GNEj].\displaystyle\begin{aligned} Z_{\text{CSG}}\left[\mathbb{S}^{3},R_{j}\right]&\simeq{c^{(g)}\over 12}\exp\left[{\pi\,c^{(g)}\over 3}\sqrt{1-8G_{N}E_{j}}\right]\ .\end{aligned} (11)

Similarly, the partition function (4) on 𝕊3\mathbb{S}^{3} with two linked Wilson loops inserted is estimated by

ZCSG[𝕊3,L(Rj,Rl)]c(g)12exp[πc(g)318GNEj18GNEl].\displaystyle\begin{aligned} &Z_{\text{CSG}}\left[\mathbb{S}^{3},L(R_{j},R_{l})\right]\\ &\quad\simeq{c^{(g)}\over 12}\exp\left[{\pi\,c^{(g)}\over 3}\sqrt{1-8G_{N}E_{j}}\sqrt{1-8G_{N}E_{l}}\right]\ .\end{aligned} (12)

For unlinked two Wilson lines, we obtain from (5):

ZCSG[𝕊3,Rj,Rl]c(g)12exp[πc(g)3(18GNEj+18GNEl1)].\displaystyle\begin{aligned} &Z_{\text{CSG}}\left[\mathbb{S}^{3},R_{j},R_{l}\right]\\ &\quad\simeq{c^{(g)}\over 12}\exp\left[{\pi\,c^{(g)}\over 3}\left(\sqrt{1-8G_{N}E_{j}}+\sqrt{1-8G_{N}E_{l}}-1\right)\right]\ .\end{aligned} (13)

Notice that in the above we have assumed the limit k2k\to-2, 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

ds2=L2[(18GNEjr2)dτ2+dr218GNEjr2+r2dϕ2],\displaystyle{\rm d}s^{2}=L^{2}\left[(1\!-\!8G_{N}E_{j}\!-\!r^{2})\,{\rm d}\tau^{2}\!+\!{{\rm d}r^{2}\over 1\!-\!8G_{N}E_{j}\!-\!r^{2}}\!+\!r^{2}{\rm d}\phi^{2}\right]\ , (14)

where EjE_{j} is the energy of an excitation Spradlin et al. (2001). The black hole horizon is at r=18GNEjr=\sqrt{1-8G_{N}E_{j}} and the requirement of smoothness at the horizon determines the periodicity:

ττ+2π18GNEj.\displaystyle\tau\sim\tau+{2\pi\over\sqrt{1-8G_{N}E_{j}}}\ . (15)

On the other hand, the angular coordinate ϕ\phi obeys the periodicity ϕϕ+2π\phi\sim\phi+2\pi and there is a conical singularity at r=0r=0. The black hole entropy reads

SBH=πc(g)318GNEj.\displaystyle S_{\text{BH}}={\pi\,c^{(g)}\over 3}\sqrt{1-8G_{N}E_{j}}\ . (16)

It is useful to introduce the coordinate θ\theta by

r=18GNEjsinθ(0θπ2),\displaystyle r=\sqrt{1-8G_{N}E_{j}}\,\sin\theta\qquad\left(0\leq\theta\leq{\pi\over 2}\right)\ , (17)

which leads to the metric

ds2=L2[dθ2+(18GNEj)(cos2θdτ2+sin2θdϕ2)].\displaystyle{\rm d}s^{2}=L^{2}\left[{\rm d}\theta^{2}\!+\!(1\!-\!8G_{N}\!E_{j})(\cos^{2}\theta\,{\rm d}\tau^{2}\!+\!\sin^{2}\theta\,{\rm d}\phi^{2})\right]\ . (18)

Then we evaluate the gravity action

IG=116πGNg(R2Λ),\displaystyle I_{\text{G}}=-{1\over 16\pi G_{N}}\int\sqrt{g}\,(R-2\Lambda)\ , (19)

where Λ=1/L2\Lambda=1/L^{2}. This leads to

IG=πc(g)318GNEj,\displaystyle I_{\text{G}}=-{\pi\,c^{(g)}\over 3}\sqrt{1-8G_{N}E_{j}}\ , (20)

whose semi-classical gravity partition function ZG=exp[IG]Z_{\text{G}}=\exp\left[-I_{\text{G}}\right] agrees with the Chern-Simons result (11).

Let us introduce the Cartesian coordinates:

X1=cosθcos(18GNEjτ),X2=cosθsin(18GNEjτ),X3=sinθcos(18GNEjϕ),X4=sinθsin(18GNEjϕ).\displaystyle\begin{aligned} X_{1}&=\cos\theta\,\cos\left(\sqrt{1-8G_{N}E_{j}}\,\tau\right)\ ,\\ X_{2}&=\cos\theta\,\sin\left(\sqrt{1-8G_{N}E_{j}}\,\tau\right)\ ,\\ X_{3}&=\sin\theta\,\cos\left(\sqrt{1-8G_{N}E_{j}}\,\phi\right)\ ,\\ X_{4}&=\sin\theta\,\sin\left(\sqrt{1-8G_{N}E_{j}}\,\phi\right)\ .\end{aligned} (21)

Then the sphere i=14(Xi)2=L2\sum_{i=1}^{4}(X_{i})^{2}=L^{2} is described by the metric (18). The insertion of the single Wilson line RjR_{j} corresponds to a deficit angle δj=2π2π18GNEj\delta_{j}=2\pi-2\pi\sqrt{1-8G_{N}E_{j}} at θ=0\theta=0, depicted as the red circle in FIG. 1.

θ=0\theta=0θ=π/2\theta=\pi/2X1X_{1}X2X_{2}X3X_{3}0ϕ<π0\leq\phi<\piθ=0\theta=0θ=π/2\theta=\pi/2πϕ<2π\pi\leq\phi<2\pipaste
Figure 1: The North [Left] and South [Right] hemisphere with two linked Wilson lines (red and green).

We can realize the second Wilson loop at θ=π/2\theta=\pi/2 linking with the first one by identifying the coordinate τ\tau as

ττ+2π18GNEl18GNEj.\displaystyle\tau\sim\tau+{2\pi\sqrt{1-8G_{N}E_{l}}\over\sqrt{1-8G_{N}E_{j}}}\ . (22)

This is depicted as the green circle in FIG. 1, where the deficit angle δl=2π2π18GNEl\delta_{l}=2\pi-2\pi\sqrt{1-8G_{N}E_{l}} is present. Finally, the gravity action for this geometry is estimated as

IG=πc(g)318GNEj18GNEl,\displaystyle I_{\text{G}}=-{\pi\,c^{(g)}\over 3}\sqrt{1-8G_{N}E_{j}}\sqrt{1-8G_{N}E_{l}}\ , (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 SU(N)\mathrm{SU}(N) Chern-Simons theories at level kk describes a three-dimensional gravity with spin-ss fields for each s=2,3,,Ns=2,3,\ldots,N.

The central charge of the SU(N)\mathrm{SU}(N) WZW model at level kk reads

c=k(N21)k+N.\displaystyle c={k(N^{2}-1)\over k+N}\ . (24)

The chiral conformal dimension of a primary in the representation specified by a weight vector λ=i=1N1λiωi\lambda=\sum_{i=1}^{N-1}\lambda_{i}\,\omega_{i} is given by

hλ=(λ,λ+2ρ)2(k+N),\displaystyle h_{\lambda}={(\lambda,\lambda+2\rho)\over 2(k+N)}\ , (25)

where ρ=i=1N1ωi\rho=\sum_{i=1}^{N-1}\omega_{i}. The weight lattice is generated by the basis {ω1,,ωN1}\{\omega_{1},\cdot\cdot\cdot,\omega_{N-1}\} and its inner product is denoted by (,)(*,*). Here we follow the convention in Di Francesco et al. (1997). The modular 𝒮{\cal S}-matrix reads

𝒮λμ=KwWϵ(w)exp[2πik+N(w(λ+ρ),μ+ρ)],\displaystyle{\cal S}_{\lambda}^{\mu}=K\sum_{w\in W}\epsilon(w)\,\exp\left[-{2\pi\,{\rm i}\over k+N}\left(w(\lambda+\rho),\mu+\rho\right)\right]\ , (26)

where WW is the Weyl group and KK is a constant fixed by the unitary constraint 𝒮𝒮=1{\cal S}\,{\cal S}^{\dagger}=1.

Now we analytically continue the level as we did in the SU(2)\mathrm{SU}(2) case, c=ic(g)c={\rm i}\,c^{(g)} and hλ=ihλ(g)h_{\lambda}={\rm i}\,h^{(g)}_{\lambda}, which leads to

k=N+N(N21)ic(g)+O(1c(g)2).\displaystyle k=-N+N(N^{2}-1)\,{{\rm i}\over c^{(g)}}+O\left({1\over c^{(g)2}}\right)\ . (27)

Let us evaluate 𝒮00{\cal S}^{0}_{0}, which gives the vacuum partition function ZCSG[𝕊3]Z_{\text{CSG}}\left[\mathbb{S}^{3}\right]. By using the known relation (ρ,ρ)=N(N21)/12(\rho,\rho)=N(N^{2}-1)/12, the partition function of the SU(N)\mathrm{SU}(N) Chern-Simons gravity with linked Wilson loops in the limit (27) looks like:

ZCSG[𝕊3,L(Rλ,Rμ)]=|𝒮λμ|2exp[πc(g)3(λ+ρ,μ+ρ)(ρ,ρ)].\displaystyle\begin{aligned} Z_{\text{CSG}}&\left[\mathbb{S}^{3},L(R_{\lambda},R_{\mu})\right]=\big{|}{\cal S}_{\lambda}^{\mu}\big{|}^{2}\\ &\quad\sim\exp\left[{\pi\,c^{(g)}\over 3}{(\lambda+\rho,\mu+\rho)\over(\rho,\rho)}\right]\ .\end{aligned} (28)

It is straightforward to confirm that this reproduces the previous result (12) if we set N=2N=2. Moreover, it is useful to note that this group theoretical argument explains the partition function with unlinked Wilson loops RjR_{j} and RlR_{l}, given by (5). Indeed, by setting λ=λj+λl\lambda=\lambda_{j}+\lambda_{l} and μ=0\mu=0, we can rewrite (λ+ρ,μ+ρ)=(λj+ρ,ρ)+(λl+ρ,ρ)(ρ,ρ)(\lambda+\rho,\mu+\rho)=(\lambda_{j}+\rho,\rho)+(\lambda_{l}+\rho,\rho)-(\rho,\rho).

As in the N=2N=2 case, we will show below that the partition function (28) of the SU(N)\mathrm{SU}(N) Chern-Simons gravity computed from the kNk\to-N limit of the SU(N)\mathrm{SU}(N) WZW model equals that of the corresponding higher spin gravity in the classical limit, i.e., the large level limit. The configuration of the SU(N)\mathrm{SU}(N) 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 A¯=0\bar{A}=0 gauge, where the solution of AA is given by

A=(hb2h¯)1d(hb2h¯),\displaystyle A=(h\,b^{2}\,\bar{h})^{-1}\,{\rm d}(h\,b^{2}\,\bar{h})\ , (29)

with parameters:

b=i=1Nexp[ρiei,i](ρiN+12i),h=i=1N2exp[(e2i1,2ie2i1,2i)(niϕ+n~iτ)],h¯=i=1N2exp[(e2i1,2ie2i1,2i)(niϕn~iτ)].\displaystyle\begin{aligned} b&=\prod_{i=1}^{N}\,\exp\left[\rho_{i}\,e_{i,i}\right]\qquad\left(\rho_{i}\equiv{N+1\over 2}-i\right)\ ,\\ h&=\prod_{i=1}^{\lfloor{N\over 2}\rfloor}\exp\left[-(e_{2i-1,2i}-e_{2i-1,2i})\,(n_{i}\,\phi+\tilde{n}_{i}\,\tau)\right]\ ,\\ \bar{h}&=\prod_{i=1}^{\lfloor{N\over 2}\rfloor}\exp\left[(e_{2i-1,2i}-e_{2i-1,2i})\,(n_{i}\,\phi-\tilde{n}_{i}\,\tau)\right]\ .\end{aligned} (30)

Here ei,je_{i,j} are N×NN\times N matrices with elements (ei,j)kl=δikδjl(e_{i,j})_{k}^{~{}l}=\delta_{ik}\,\delta_{j}^{~{}l}.

The on-shell action (1) for the gauge configuration can be evaluated as

ICSG=πGNi=1N2nin~i(ρ,ρ),\displaystyle I_{\text{CSG}}=-{\pi\over G_{N}}\,{\sum_{i=1}^{\lfloor{N\over 2}\rfloor}n_{i}\tilde{n}_{i}\over(\rho,\rho)}\ , (31)

where we use the relation between the Chern-Simons level and the Newton constant in the higher spin gravity:

k=L8GN(ρ,ρ).\displaystyle k={L\over 8\,G_{N}\,(\rho,\rho)}\ . (32)

Let us rewrite the eigenvalues as n1n2n_{1}\geq n_{2}\ldots, n~1n~2\tilde{n}_{1}\geq\tilde{n}_{2}\ldots and set ni=nN+1i,n~i=n~N+1in_{i}=-n_{N+1-i}\,,\quad\tilde{n}_{i}=-\tilde{n}_{N+1-i}\ for i>N2i>\lfloor{N\over 2}\rfloor 111As in the case of Euclidean AdS3 analyzed in Castro et al. (2012), we could relax the condition for Lorentzian dS3.. If we require ninjn_{i}\neq n_{j} and n~in~j\tilde{n}_{i}\neq\tilde{n}_{j} for iji\neq j, which generically corresponds to the diagonalizability of the matrix, then we could set ni=λi+ρi,n~i=μi+ρin_{i}=\lambda_{i}+\rho_{i}\ ,\ \tilde{n}_{i}=\mu_{i}+\rho_{i} with λi,μi=0,1,2,\lambda_{i},\mu_{i}=0,1,2,\ldots. In this representation, with the identification (7), we can rewrite (31) as

ICSG=πc(g)3(λ+ρ,μ+ρ)(ρ,ρ).\displaystyle I_{\text{CSG}}=-{\pi\,c^{(g)}\over 3}{(\lambda+\rho,\mu+\rho)\over(\rho,\rho)}\ . (33)

Hence the on-shell partition function ZCSG=eICSGZ_{\text{CSG}}=e^{-I_{\text{CSG}}} for the higher spin gravity agrees with the expression (28) obtained from the modular 𝒮{\cal S}-matrix as we promised.

VI Entanglement/Black hole Entropy

Let us turn to the calculation of entanglement entropy in the gravity on 𝕊3\mathbb{S}^{3}. We choose a subsystem AA to be a disk on the surface 𝕊2\mathbb{S}^{2}, which separates 𝕊3\mathbb{S}^{3} into two hemispheres. We write the boundary circle of AA as ΓA\Gamma_{A}. In the replica calculation of entanglement entropy, we introduce a cut along ΓA\Gamma_{A} on 𝕊3\mathbb{S}^{3} and take its nn-fold cover to obtain Tr[(ρA)n]\mbox{Tr}[(\rho_{A})^{n}]. 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 RμR_{\mu}, which is linked with ΓA\Gamma_{A}, we obtain (refer to McGough and Verlinde (2013) for an AdS counterpart)

SA=log|𝒮0μ|2=πc(g)3(ρ,μ+ρ)(ρ,ρ).\displaystyle S_{A}=\log\big{|}{\cal S}_{0}^{\mu}\big{|}^{2}={\pi\,c^{(g)}\over 3}{(\rho,\mu+\rho)\over(\rho,\rho)}\ . (34)

For the Einstein gravity (N=2N=2) with a Wilson loop RjR_{j}, it takes the following form:

SA=log|𝒮0j|2=πc(g)318GNEj.\displaystyle S_{A}=\log\big{|}{\cal S}_{0}^{j}\big{|}^{2}={\pi\,c^{(g)}\over 3}\sqrt{1-8G_{N}E_{j}}\ . (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 k2k\to-2 for two copies of the SU(2)\mathrm{SU}(2) Chern-Simons gauge theories, where the central charge of its dual SU(2)\mathrm{SU}(2) WZW model gets infinitely large c(g)ic^{(g)}\to{\rm i}\,\infty, reproduces the Einstein gravity on 𝕊3\mathbb{S}^{3}. More generally, the large central charge limit kNk\to-N of the SU(N)\mathrm{SU}(N) WZW model corresponds to the classical limit of the SU(N)\mathrm{SU}(N) higher spin gravity on 𝕊3\mathbb{S}^{3}. 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 𝕊3\mathbb{S}^{3} is given by not finite kk, but the large kk limit of two copies of SU(N)\mathrm{SU}(N) Chern-Simons theory. To reconcile this tension, let us consider the following coset CFT, called the WNW_{N}-minimal model 222The coset realization of WNW_{N}-minimal model was proven in Arakawa et al. (2019) and the coset (36) with generic kk was shown to be equivalent to Toda field theory with WNW_{N}-symmetry in Creutzig and Hikida (2021).:

SU(N)k×SU(N)1SU(N)k+1,\displaystyle{\mathrm{SU}(N)_{k}\times\mathrm{SU}(N)_{1}\over\mathrm{SU}(N)_{k+1}}\ , (36)

which has the central charge

c=(N1)(1N(N+1)(N+k)(N+k+1)).\displaystyle c=(N-1)\left(1-{N(N+1)\over(N+k)(N+k+1)}\right)\ . (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:

N,k,λ^=NN+k=fixed.\displaystyle N\to\infty\ ,\quad k\to\infty\ ,\quad\hat{\lambda}={N\over N+k}=\mbox{fixed}\ . (38)

This higher spin gravity has the symmetry hs[λ^]\text{hs}[\hat{\lambda}], which enhances to W[λ^]W_{\infty}[\hat{\lambda}] at the asymptotic boundary Henneaux and Rey (2010); Campoleoni et al. (2010). In our limit kNk\to-N, the contribution to the total central charge of the coset is dominated by the SU(N)k\mathrm{SU}(N)_{k} part and thus the leading contribution comes from the (non-chiral) SU(N)\mathrm{SU}(N) 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 (k,N,λ^)(k,N,\hat{\lambda}) via the following two duality relations:

(i)(k,N,λ^)=(2Nk1,N,NN+k+1),(ii)(k,N,λ^)=(1NN+k,NN+k,N).\displaystyle\begin{aligned} &\text{(i)}&(k^{\prime},N^{\prime},\hat{\lambda}^{\prime})&=\left(-2N-k-1,\,N,\,-{N\over N+k+1}\right)\ ,\\ &\text{(ii)}&(k^{\prime},N^{\prime},\hat{\lambda}^{\prime})&=\left({1-N\over N+k},\,{N\over N+k},\,N\right)\ .\end{aligned} (39)

If we apply the duality (ii) to the k2k\to-2 limit (9) at N=2N=2 (see also Ouyang ; Perlmutter et al. (2013) for a similar continuation), we find

(k,N,λ^)(ic(g)6,ic(g)3, 2).\displaystyle(k^{\prime},N^{\prime},\hat{\lambda}^{\prime})\simeq\left({\rm i}\,{c^{(g)}\over 6},\,-{\rm i}\,{c^{(g)}\over 3},\,2\right)\ . (40)

Thus this theory has W[2]W_{\infty}[2] symmetry, i.e., Virasoro symmetry, which is indeed expected for the Einstein gravity. We can generalize this to the kNk\to-N limit of the SU(N)\mathrm{SU}(N) theory, for which the duality (ii) predicts W[N]WNW_{\infty}[N]\simeq W_{N} symmetry with the level infinitely large as expected for the classical SU(N)\mathrm{SU}(N) 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