Skip to content

Thermal CFT

A CFT at nonzero temperature is no longer conformally invariant in the same sense as the vacuum. The temperature introduces a scale,

T=β1,T=\beta^{-1},

and the thermal density matrix chooses a rest frame. Nevertheless, thermal CFT is still enormously constrained. There is no intrinsic mass scale, so every extensive thermodynamic quantity is fixed up to a dimensionless constant. Correlators obey KMS periodicity. The stress tensor has a universal ideal-fluid form. Real-time correlators have analyticity and positivity properties that become, in holography, causality and regularity at black-hole horizons.

This page is the bridge between CFT kinematics and black holes. The slogan is:

thermal CFT stateAdS black hole or black brane\boxed{ \text{thermal CFT state} \quad\longleftrightarrow\quad \text{AdS black hole or black brane} }

More precisely, a CFT on Sd1S^{d-1} at finite temperature prepares states dual to global AdS black holes, while a CFT on Rd1\mathbb R^{d-1} at finite temperature prepares the planar black-brane geometry.

Let the CFT be quantized on spatial manifold Σ\Sigma. In this course the two most important cases are

Σ=Rd1,Σ=Sd1.\Sigma=\mathbb R^{d-1}, \qquad \Sigma=S^{d-1}.

A thermal state is defined by the density matrix

ρβ=eβHZ(β),Z(β)=TrHΣeβH,\rho_\beta={e^{-\beta H}\over Z(\beta)}, \qquad Z(\beta)=\operatorname{Tr}_{\mathcal H_\Sigma}e^{-\beta H},

and thermal expectation values are

Aβ=Tr(ρβA).\langle \mathcal A\rangle_\beta =\operatorname{Tr}\left(\rho_\beta \mathcal A\right).

The trace is over the Hilbert space obtained by quantizing the CFT on Σ\Sigma. On Sd1S^{d-1} the spectrum is discrete, and by the state-operator map the Hamiltonian is essentially the dilatation operator:

HSd1=1RD,H_{S^{d-1}}={1\over R}D,

up to vacuum/Casimir terms. On Rd1\mathbb R^{d-1} the spectrum is continuous and the thermodynamic limit is more natural.

The partition function is related to the free energy by

F(T)=TlogZ(β),F(T)=-T\log Z(\beta),

and, for a homogeneous system of spatial volume VV, one defines

f=FV,p=f,s=fT,ϵ=EV=f+Ts.f={F\over V}, \qquad p=-f, \qquad s=-{\partial f\over \partial T}, \qquad \epsilon={E\over V}=f+Ts.

Here pp is pressure, ss is entropy density, and ϵ\epsilon is energy density.

The Euclidean path-integral representation of Z(β)Z(\beta) is obtained by compactifying Euclidean time:

ττ+β.\tau\sim \tau+\beta.

Thus a thermal CFT on Rd1\mathbb R^{d-1} is formulated on

Sβ1×Rd1.S^1_\beta\times \mathbb R^{d-1}.

Bosonic fields are periodic around the thermal circle. Fermionic fields are antiperiodic:

Φ(τ+β,x)=Φ(τ,x),Ψ(τ+β,x)=Ψ(τ,x).\Phi(\tau+\beta,\vec x)=\Phi(\tau,\vec x), \qquad \Psi(\tau+\beta,\vec x)=-\Psi(\tau,\vec x).

This is not merely a convention. The antiperiodic fermion boundary condition follows from the trace defining the thermal ensemble and is responsible for fermionic Matsubara frequencies.

The allowed Euclidean frequencies are

ωn={2πnβ,bosons,(2n+1)πβ,fermions,nZ.\omega_n= \begin{cases} {2\pi n\over \beta}, & \text{bosons},\\[4pt] {(2n+1)\pi\over \beta}, & \text{fermions}, \end{cases} \qquad n\in\mathbb Z.

Thermal CFT from the Euclidean circle to the black brane

A thermal CFT is naturally defined on Sβ1×Rd1S^1_\beta\times\mathbb R^{d-1}. Analytic continuation gives Lorentzian real-time correlators constrained by the KMS condition. In holographic CFTs, the planar thermal state is dual to an AdS black brane with horizon z=zhz=z_h and temperature T=d/(4πzh)T=d/(4\pi z_h).

The Euclidean path integral on the thermal circle computes thermal correlators ordered along Euclidean time:

GE(τ1,x1;;τn,xn)=TτO1(τ1,x1)On(τn,xn)β.G_E(\tau_1,\vec x_1;\ldots;\tau_n,\vec x_n) = \langle \mathcal T_\tau\, \mathcal O_1(\tau_1,\vec x_1)\cdots \mathcal O_n(\tau_n,\vec x_n)\rangle_\beta.

Because the thermal circle has finite circumference, Euclidean time translation remains a symmetry, but scale invariance is broken by the circumference β\beta.

The important conceptual point is subtle but simple: the theory is still a CFT, but the state is not the vacuum. Thermal expectation values are constrained by the CFT operator algebra and by the remaining symmetries of the thermal state.

The Kubo-Martin-Schwinger condition is the defining analytic property of thermal equilibrium.

For two bosonic operators AA and BB, define Lorentzian Wightman functions

GAB>(t)=A(t)B(0)β,GAB<(t)=B(0)A(t)β.G^>_{AB}(t)=\langle A(t)B(0)\rangle_\beta, \qquad G^<_{AB}(t)=\langle B(0)A(t)\rangle_\beta.

Using A(t)=eiHtA(0)eiHtA(t)=e^{iHt}A(0)e^{-iHt} and the cyclicity of the trace, one obtains

GAB>(tiβ)=GAB<(t)\boxed{ G^>_{AB}(t-i\beta)=G^<_{AB}(t) }

for bosonic operators. For fermionic operators there is an extra minus sign when one moves a fermion around the thermal trace.

The KMS condition has several equivalent forms. In Euclidean time, bosonic correlators are periodic:

GE(τ+β)=GE(τ),G_E(\tau+\beta)=G_E(\tau),

while fermionic correlators are antiperiodic:

GE(τ+β)=GE(τ).G_E(\tau+\beta)=-G_E(\tau).

In frequency space, KMS relates the two Wightman functions to the spectral density. For a bosonic operator, define

ρAB(ω,k)=GAB>(ω,k)GAB<(ω,k).\rho_{AB}(\omega,\vec k) =G^>_{AB}(\omega,\vec k)-G^<_{AB}(\omega,\vec k).

Then

GAB>(ω,k)=ρAB(ω,k)1eβω,GAB<(ω,k)=eβωρAB(ω,k)1eβω.G^>_{AB}(\omega,\vec k) ={\rho_{AB}(\omega,\vec k)\over 1-e^{-\beta\omega}}, \qquad G^<_{AB}(\omega,\vec k) ={e^{-\beta\omega}\rho_{AB}(\omega,\vec k)\over 1-e^{-\beta\omega}}.

Equivalently,

GAB>(ω,k)=eβωGAB<(ω,k).G^>_{AB}(\omega,\vec k)=e^{\beta\omega}G^<_{AB}(\omega,\vec k).

This is the finite-temperature generalization of the spectral representation of vacuum correlators.

For AdS/CFT, the Euclidean thermal path integral is not enough. Black holes are Lorentzian objects, and the most physical observables are real-time response functions.

The retarded Green function of a bosonic operator O\mathcal O is

GR(t,x)=iθ(t)[O(t,x),O(0,0)]β.G_R(t,\vec x) =-i\theta(t)\langle [\mathcal O(t,\vec x),\mathcal O(0,\vec 0)]\rangle_\beta.

Its Fourier transform is analytic in the upper half complex ω\omega-plane. The spectral density is

ρ(ω,k)=2ImGR(ω,k),\rho(\omega,\vec k) =-2\operatorname{Im}G_R(\omega,\vec k),

up to the sign convention used in defining GRG_R. The convention above is common in high-energy theory; some condensed-matter references use the opposite sign.

Euclidean correlators are evaluated at Matsubara frequencies. For bosons,

GE(ωn,k),ωn=2πnT.G_E(\omega_n,\vec k), \qquad \omega_n=2\pi nT.

The retarded correlator is obtained by analytic continuation

GR(ω,k)=GE(ωn,k)iωnω+i0+\boxed{ G_R(\omega,\vec k)=G_E(\omega_n,\vec k)\big|_{i\omega_n\to \omega+i0^+} }

provided the analytic continuation is made to the function with the correct analyticity domain.

This last caveat is not pedantic. At finite temperature, there are several inequivalent Lorentzian correlators: time-ordered, retarded, advanced, Wightman, and Schwinger-Keldysh correlators. The Euclidean correlator knows them only through analytic continuation and KMS.

What symmetries remain at finite temperature?

Section titled “What symmetries remain at finite temperature?”

The thermal state on flat space preserves spatial translations, spatial rotations, and time translations. It does not preserve Lorentz boosts. In Lorentzian signature the thermal state has a preferred velocity vector uμu^\mu, normalized by

uμuμ=1.u^\mu u_\mu=-1.

In the rest frame,

uμ=(1,0).u^\mu=(1,\vec 0).

It is often useful to write finite-temperature expectation values in a covariant-looking form using uμu^\mu and the metric ημν\eta_{\mu\nu}.

For example, a scalar primary has thermal one-point function

Oβ=aOTΔ,\langle \mathcal O\rangle_\beta=a_{\mathcal O}T^\Delta,

provided it is allowed by internal symmetries. If O\mathcal O is charged under an unbroken global symmetry, then Oβ=0\langle \mathcal O\rangle_\beta=0.

For a symmetric traceless spin-\ell primary, the thermal one-point function takes the schematic form

Oμ1μβ=bOTΔ[uμ1uμtraces],\langle \mathcal O_{\mu_1\cdots\mu_\ell}\rangle_\beta =b_{\mathcal O}T^\Delta \left[u_{\mu_1}\cdots u_{\mu_\ell}-\text{traces}\right],

again assuming no symmetry forbids it. The coefficients aOa_{\mathcal O} and bOb_{\mathcal O} are dynamical CFT data in the thermal state. They are not determined by conformal symmetry alone.

The most important thermal one-point function is that of the stress tensor. In a homogeneous and isotropic thermal state,

Tμνβ=(ϵ+p)uμuν+pημν.\langle T^{\mu\nu}\rangle_\beta =(\epsilon+p)u^\mu u^\nu+p\eta^{\mu\nu}.

In the rest frame this is

Tμνβ=diag(ϵ,p,p,,p).\langle T^{\mu}{}_{\nu}\rangle_\beta =\operatorname{diag}(-\epsilon,p,p,\ldots,p).

For a CFT on flat spacetime without a trace anomaly, the stress tensor is traceless:

Tμμβ=0.\langle T^\mu{}_{\mu}\rangle_\beta=0.

Therefore

ϵ+(d1)p=0,-\epsilon+(d-1)p=0,

or

ϵ=(d1)p.\boxed{ \epsilon=(d-1)p. }

This is the conformal equation of state. Since there is no other scale on Rd1\mathbb R^{d-1}, dimensional analysis gives

p(T)=aTTd,p(T)=a_T T^d,

where aTa_T is a dimensionless constant characterizing the CFT. Hence

ϵ(T)=(d1)aTTd,\epsilon(T)=(d-1)a_T T^d,

and

s(T)=pT=daTTd1.s(T)={\partial p\over \partial T}=d a_T T^{d-1}.

The speed of sound is universal:

cs2=pϵ=1d1.c_s^2={\partial p\over \partial \epsilon}={1\over d-1}.

This result is one of the first hydrodynamic fingerprints of conformality.

On curved spaces, such as Sd1×Sβ1S^{d-1}\times S^1_\beta, there can be additional dependence on RTRT, where RR is the sphere radius. In that case the free energy has the form

F(T,R)=R1F(RT),F(T,R)=R^{-1}\,\mathcal F(RT),

up to powers of RR appropriate to the total free energy. At high temperature, RT1RT\gg 1, the leading extensive part approaches the flat-space answer.

In two dimensions, finite-temperature correlators of primary fields can often be obtained by a conformal map. Consider a primary field with weights (h,hˉ)(h,\bar h) on the plane. Let

w=x+iτ,ττ+β,w=x+i\tau, \qquad \tau\sim \tau+\beta,

and map the thermal cylinder to the plane by

z=e2πw/β.z=e^{2\pi w/\beta}.

Using the primary transformation law, the two-point function on the cylinder is

O(w,wˉ)O(0,0)β=(π/βsinh(πw/β))2h(π/βsinh(πwˉ/β))2hˉ\boxed{ \langle \mathcal O(w,\bar w)\mathcal O(0,0)\rangle_\beta = \left({\pi/\beta\over \sinh(\pi w/\beta)}\right)^{2h} \left({\pi/\beta\over \sinh(\pi \bar w/\beta)}\right)^{2\bar h} }

for a noncompact spatial direction. This formula shows how exponential thermal decay emerges from a vacuum power law. At large spatial separation xβx\gg \beta,

O(x)O(0)βe2πΔx/β,Δ=h+hˉ.\langle \mathcal O(x)\mathcal O(0)\rangle_\beta \sim e^{-2\pi\Delta x/\beta}, \qquad \Delta=h+\bar h.

So the thermal state has a finite correlation length

ξβ=β2πΔ\xi_\beta={\beta\over 2\pi\Delta}

for this operator. This does not mean the CFT itself has become massive. Rather, the thermal state introduces a scale and causes spatial correlations to decay exponentially.

For a CFT on a spatial circle, the story is richer because the Euclidean spacetime is a torus. Then modular invariance becomes a powerful constraint, and the high-temperature density of states is controlled by the Cardy formula. This is the CFT2_2 precursor of BTZ black-hole entropy.

The local OPE is a statement about short distances and remains valid inside a thermal state:

Oi(x)Oj(0)kCijkDijk(x,)Ok(0).\mathcal O_i(x)\mathcal O_j(0) \sim \sum_k C_{ijk}\,\mathcal D_{ij}^{k}(x,\partial)\mathcal O_k(0).

Taking a thermal expectation value gives

Oi(x)Oj(0)βkCijkDijk(x,)Okβ.\langle \mathcal O_i(x)\mathcal O_j(0)\rangle_\beta \sim \sum_k C_{ijk}\,\mathcal D_{ij}^{k}(x,\partial)\langle \mathcal O_k\rangle_\beta.

This is called the thermal OPE expansion. It is useful when

xβ.|x|\ll \beta.

The data entering this expansion are of two types:

  1. ordinary vacuum CFT data, such as Δk\Delta_k, spins, and CijkC_{ijk};
  2. thermal one-point coefficients, such as aOka_{\mathcal O_k}.

This separation is conceptually important. The operator algebra is the same CFT operator algebra as at zero temperature. The state-dependent information appears through one-point functions.

For AdS/CFT, this is the boundary counterpart of the statement that short-distance physics near the AdS boundary is governed by the same local bulk fields and interactions, while the thermal state changes the bulk background from pure AdS to a black-hole geometry.

At long wavelengths and late times, any interacting thermal QFT is described by hydrodynamics if it has conserved densities. A CFT has at least the conserved stress tensor, and possibly conserved global currents.

Hydrodynamics is an expansion in

ωT,kT.\omega\ll T, \qquad |\vec k|\ll T.

For a CFT with no conserved charge, the stress tensor retarded correlator contains shear and sound modes. The shear mode has dispersion

ω=iDηk2+,\omega=-iD_\eta k^2+\cdots,

where

Dη=ηϵ+pD_\eta={\eta\over \epsilon+p}

is the momentum diffusion constant and η\eta is the shear viscosity.

The sound modes have dispersion

ω=±cskiΓsk2+,\omega=\pm c_s k-i\Gamma_s k^2+\cdots,

with

cs2=1d1.c_s^2={1\over d-1}.

For a conformal fluid, the bulk viscosity vanishes:

ζ=0.\zeta=0.

The shear viscosity η\eta is dynamical. In holographic CFTs with a classical Einstein gravity dual, one famously finds

ηs=14π,{\eta\over s}={1\over 4\pi},

but this is not a universal property of all CFTs. It is a property of a special large-NN, strongly coupled regime with a two-derivative Einstein gravity description.

Thermal CFT correlators probe how disturbances relax. A local operator insertion creates an excitation above the thermal state. The late-time behavior of the retarded correlator is controlled by singularities of GR(ω,k)G_R(\omega,\vec k) in the lower half complex ω\omega-plane.

In a generic interacting thermal system, one expects poles and branch cuts associated with relaxation. In holographic large-NN CFTs, many real-time correlators have poles corresponding to black-brane quasinormal modes:

ω=ωn(k),Imωn<0.\omega=\omega_n(\vec k), \qquad \operatorname{Im}\omega_n<0.

These poles encode decay of perturbations into the black-hole horizon. The CFT statement is that the thermal state absorbs and scrambles perturbations.

The hierarchy is:

hydrodynamic polesthermal poles of GRblack-brane quasinormal modes.\boxed{ \text{hydrodynamic poles} \subset \text{thermal poles of }G_R \leftrightarrow \text{black-brane quasinormal modes}. }

Hydrodynamic poles are universal consequences of conservation laws. Nonhydrodynamic poles are more microscopic and depend on the CFT.

For a holographic CFT on Rd1\mathbb R^{d-1}, the high-temperature homogeneous state is dual to the planar AdSd+1_{d+1} black brane:

ds2=L2z2[f(z)dt2+dx2+dz2f(z)],f(z)=1(zzh)d.ds^2={L^2\over z^2} \left[-f(z)dt^2+d\vec x^{\,2}+{dz^2\over f(z)}\right], \qquad f(z)=1-\left({z\over z_h}\right)^d.

The AdS boundary is at z=0z=0, and the horizon is at z=zhz=z_h. Regularity of the Euclidean geometry fixes the temperature:

T=d4πzh.T={d\over 4\pi z_h}.

The Bekenstein-Hawking entropy density is

s=14Gd+1(Lzh)d1.s={1\over 4G_{d+1}}\left({L\over z_h}\right)^{d-1}.

Using zh=d/(4πT)z_h=d/(4\pi T), this gives

sTd1,s\propto T^{d-1},

exactly as required by CFT thermodynamics.

Likewise, the black-brane energy density and pressure obey

ϵ=(d1)p,\epsilon=(d-1)p,

matching the tracelessness of the boundary stress tensor.

This is one of the cleanest early checks of AdS/CFT: the geometry knows the CFT equation of state because the horizon area scales with the only available thermal scale.

Global AdS, Hawking-Page physics, and finite volume

Section titled “Global AdS, Hawking-Page physics, and finite volume”

On Sd1S^{d-1}, the thermal CFT partition function is not purely extensive because the sphere radius RR is another scale. The dimensionless control parameter is

RT.RT.

In large-NN holographic CFTs, the thermal ensemble on Sd1S^{d-1} has two important bulk saddles:

thermal AdS,AdS-Schwarzschild black hole.\text{thermal AdS}, \qquad \text{AdS-Schwarzschild black hole}.

At low temperature, thermal AdS dominates. At high temperature, a large AdS black hole dominates. The transition between these saddles is the Hawking-Page transition. In the boundary gauge theory, it is interpreted as a confinement/deconfinement-like transition in the large-NN limit.

This is not a universal feature of every CFT. It is a feature of large-NN holographic CFTs on compact space. On flat space Rd1\mathbb R^{d-1}, the planar black brane is the natural homogeneous thermal saddle.

Thermal CFT is where several pieces of the holographic dictionary first become concrete:

CFT thermal circle Sβ1Euclidean black-hole regularity,temperature Tsurface gravity / horizon radius,Tμνβasymptotic metric coefficient,entropy density shorizon area density/4GN,GR(ω,k)infalling bulk wave problem,hydrodynamic poleslong-wavelength black-brane perturbations.\begin{array}{ccl} \text{CFT thermal circle } S^1_\beta &\longleftrightarrow& \text{Euclidean black-hole regularity},\\[4pt] \text{temperature } T &\longleftrightarrow& \text{surface gravity / horizon radius},\\[4pt] \langle T_{\mu\nu}\rangle_\beta &\longleftrightarrow& \text{asymptotic metric coefficient},\\[4pt] \text{entropy density }s &\longleftrightarrow& \text{horizon area density}/4G_N,\\[4pt] G_R(\omega,k) &\longleftrightarrow& \text{infalling bulk wave problem},\\[4pt] \text{hydrodynamic poles} &\longleftrightarrow& \text{long-wavelength black-brane perturbations}. \end{array}

The practical lesson is that one should understand thermal CFT before studying AdS black holes. The black hole is not an extra object added to the CFT; it is the gravitational representation of the CFT thermal state.

A thermal CFT is not scale invariant as a state. The underlying theory has no scale, but the state has the scale TT. Therefore correlators can and usually do depend on dimensionless combinations such as TxTx, ω/T\omega/T, and k/Tk/T.

The Euclidean thermal correlator is not automatically the retarded correlator. One must analytically continue with the correct i0+i0^+ prescription. This distinction is the boundary version of imposing infalling rather than outgoing boundary conditions at a black-hole horizon.

Thermal exponential decay does not imply a mass gap in the theory. It reflects finite temperature and the compact Euclidean time circle. The zero-temperature CFT can remain exactly gapless.

The relation η/s=1/(4π)\eta/s=1/(4\pi) is not a theorem of conformal symmetry. It is a result for a special class of holographic CFTs with classical two-derivative Einstein gravity duals.

Exercise 1 — Conformal equation of state

Section titled “Exercise 1 — Conformal equation of state”

Consider a homogeneous thermal CFT on Rd1\mathbb R^{d-1}. Assume the stress tensor has ideal-fluid form

Tμν=(ϵ+p)uμuν+pημν.\langle T^{\mu\nu}\rangle=(\epsilon+p)u^\mu u^\nu+p\eta^{\mu\nu}.

Use tracelessness to derive ϵ=(d1)p\epsilon=(d-1)p. Then use dimensional analysis to determine the temperature dependence of pp, ϵ\epsilon, and ss.

Solution

In the rest frame,

Tμν=diag(ϵ,p,,p).\langle T^\mu{}_{\nu}\rangle=\operatorname{diag}(-\epsilon,p,\ldots,p).

Tracelessness gives

0=Tμμ=ϵ+(d1)p.0=\langle T^\mu{}_{\mu}\rangle=-\epsilon+(d-1)p.

Therefore

ϵ=(d1)p.\epsilon=(d-1)p.

On flat space, the only scale is TT, and pressure has mass dimension dd. Hence

p=aTTd.p=a_TT^d.

Then

ϵ=(d1)aTTd,\epsilon=(d-1)a_TT^d,

and

s=pT=daTTd1.s={\partial p\over\partial T}=d a_TT^{d-1}.

Let

GAB>(t)=Z1Tr(eβHA(t)B(0)),G^>_{AB}(t)=Z^{-1}\operatorname{Tr}\left(e^{-\beta H}A(t)B(0)\right),

where A(t)=eiHtA(0)eiHtA(t)=e^{iHt}A(0)e^{-iHt}. Show that

GAB>(tiβ)=GAB<(t),G^>_{AB}(t-i\beta)=G^<_{AB}(t),

where

GAB<(t)=B(0)A(t)β.G^<_{AB}(t)=\langle B(0)A(t)\rangle_\beta.

Assume AA and BB are bosonic.

Solution

First continue tt to tiβt-i\beta:

A(tiβ)=eiH(tiβ)A(0)eiH(tiβ)=eiHteβHA(0)eβHeiHt.A(t-i\beta)=e^{iH(t-i\beta)}A(0)e^{-iH(t-i\beta)} =e^{iHt}e^{\beta H}A(0)e^{-\beta H}e^{-iHt}.

Then

GAB>(tiβ)=Z1Tr(eβHA(tiβ)B(0))=Z1Tr(A(t)eβHB(0)).\begin{aligned} G^>_{AB}(t-i\beta) &=Z^{-1}\operatorname{Tr}\left(e^{-\beta H}A(t-i\beta)B(0)\right)\\ &=Z^{-1}\operatorname{Tr}\left(A(t)e^{-\beta H}B(0)\right). \end{aligned}

Using cyclicity of the trace,

GAB>(tiβ)=Z1Tr(eβHB(0)A(t))=GAB<(t).G^>_{AB}(t-i\beta) =Z^{-1}\operatorname{Tr}\left(e^{-\beta H}B(0)A(t)\right) =G^<_{AB}(t).

For fermionic operators, cyclically moving a fermionic operator around the thermal trace gives an additional sign.

Exercise 3 — Thermal two-point function in 2D

Section titled “Exercise 3 — Thermal two-point function in 2D”

A primary field O\mathcal O with weights (h,hˉ)(h,\bar h) has plane two-point function

O(z,zˉ)O(0,0)=1z2hzˉ2hˉ.\langle \mathcal O(z,\bar z)\mathcal O(0,0)\rangle ={1\over z^{2h}\bar z^{2\bar h}}.

Use the map

z=e2πw/βz=e^{2\pi w/\beta}

from the cylinder coordinate w=x+iτw=x+i\tau to the plane to derive

O(w,wˉ)O(0,0)β=(π/βsinh(πw/β))2h(π/βsinh(πwˉ/β))2hˉ.\langle \mathcal O(w,\bar w)\mathcal O(0,0)\rangle_\beta = \left({\pi/\beta\over \sinh(\pi w/\beta)}\right)^{2h} \left({\pi/\beta\over \sinh(\pi \bar w/\beta)}\right)^{2\bar h}.
Solution

Under z=e2πw/βz=e^{2\pi w/\beta},

dzdw=2πβz.{dz\over dw}={2\pi\over\beta}z.

A primary transforms as

O(w,wˉ)=(dzdw)h(dzˉdwˉ)hˉO(z,zˉ).\mathcal O(w,\bar w) =\left({dz\over dw}\right)^h \left({d\bar z\over d\bar w}\right)^{\bar h} \mathcal O(z,\bar z).

Place one operator at ww and the other at 00. Then z1=e2πw/βz_1=e^{2\pi w/\beta} and z2=1z_2=1. The holomorphic part is

(2πβ)2hz1hz2h(z1z2)2h.\left({2\pi\over\beta}\right)^{2h} {z_1^h z_2^h\over (z_1-z_2)^{2h}}.

Since

z1z2=eπw/β(eπw/βeπw/β)=2eπw/βsinh(πw/β),z_1-z_2=e^{\pi w/\beta}\left(e^{\pi w/\beta}-e^{-\pi w/\beta}\right) =2e^{\pi w/\beta}\sinh(\pi w/\beta),

and z1h=e2πhw/βz_1^h=e^{2\pi h w/\beta}, the exponential factors cancel, leaving

(π/βsinh(πw/β))2h.\left({\pi/\beta\over \sinh(\pi w/\beta)}\right)^{2h}.

The antiholomorphic part is identical with wwˉw\to\bar w and hhˉh\to\bar h.

Exercise 4 — Black-brane entropy scaling

Section titled “Exercise 4 — Black-brane entropy scaling”

For the planar AdSd+1_{d+1} black brane,

ds2=L2z2[f(z)dt2+dx2+dz2f(z)],f(z)=1(zzh)d,ds^2={L^2\over z^2}\left[-f(z)dt^2+d\vec x^{\,2}+{dz^2\over f(z)}\right], \qquad f(z)=1-\left({z\over z_h}\right)^d,

show that the Bekenstein-Hawking entropy density scales as Td1T^{d-1}.

Solution

At the horizon z=zhz=z_h, the induced metric along the spatial boundary directions is

dshorizon2=L2zh2dx2.ds^2_{\text{horizon}}={L^2\over z_h^2}d\vec x^{\,2}.

Therefore the horizon area per unit boundary volume is

AV=(Lzh)d1.{A\over V}=\left({L\over z_h}\right)^{d-1}.

The entropy density is

s=14Gd+1(Lzh)d1.s={1\over 4G_{d+1}}\left({L\over z_h}\right)^{d-1}.

The Euclidean regularity condition gives

T=d4πzh,T={d\over 4\pi z_h},

so zhT1z_h\propto T^{-1}. Hence

szh(d1)Td1.s\propto z_h^{-(d-1)}\propto T^{d-1}.

This matches the thermal scaling required by conformal invariance.

For thermal QFT and finite-temperature correlators, useful references are Kapusta and Gale, Finite-Temperature Field Theory, Laine and Vuorinen, Basics of Thermal Field Theory, and Le Bellac, Thermal Field Theory. For the CFT side of modular thermal physics in two dimensions, see Di Francesco, Mathieu, and Sénéchal, especially the chapters on modular invariance and finite-size scaling. For the holographic black-brane dictionary, the natural continuation is the finite-temperature chapters of standard AdS/CFT lecture notes and reviews.