Skip to content

Thermal Field Theory and Euclidean Time

Why finite temperature is the next natural step

Section titled “Why finite temperature is the next natural step”

The zero-temperature dictionary teaches us to compute vacuum correlators of a CFT from a bulk path integral with prescribed boundary sources. Finite temperature asks for the same kind of object, but in a different state. Instead of the vacuum state 0|0\rangle, we use a density matrix

ρβ=eβHZ(β),Z(β)=TreβH,β=1T.\rho_\beta = \frac{e^{-\beta H}}{Z(\beta)}, \qquad Z(\beta)=\operatorname{Tr} e^{-\beta H}, \qquad \beta=\frac{1}{T}.

This one line is the entrance to black-hole physics in AdS/CFT. The trace is the reason Euclidean time becomes a circle. The Boltzmann factor eβHe^{-\beta H} is Euclidean time evolution by length β\beta. The periodic identification of initial and final states is the trace. Therefore thermal QFT on a spatial manifold Σ\Sigma is naturally formulated on

Sβ1×Σ.S^1_\beta \times \Sigma.

On the gravity side, the same boundary manifold becomes the conformal boundary of a Euclidean bulk geometry. At large NN and strong coupling, the CFT partition function is approximated by a sum over smooth classical bulk saddles with that boundary:

ZCFT[Sβ1×Σ]saddles ME:ME=Sβ1×Σexp ⁣[IEren[ME]].Z_{\mathrm{CFT}}[S^1_\beta \times \Sigma] \simeq \sum_{\text{saddles }M_E\,:\,\partial M_E=S^1_\beta\times\Sigma} \exp\!\left[-I_E^{\mathrm{ren}}[M_E]\right].

This is the conceptual bridge from thermal field theory to Euclidean AdS black holes. The same thermal circle that appears from the trace in the CFT becomes the Euclidean time circle that may or may not smoothly cap off in the bulk.

Thermal trace, Euclidean time circle, Matsubara modes, and holographic thermal saddle

A thermal trace turns Euclidean time into a circle Sβ1S^1_\beta. Bosons are periodic, fermions are anti-periodic, and energies become Matsubara frequencies. In holography the same Sβ1×ΣS^1_\beta\times\Sigma is the conformal boundary of Euclidean bulk saddles; a black-hole saddle is smooth only for the correct relation between β\beta and the surface gravity.

The slogan is useful only if we keep it precise:

finite temperature does not automatically mean “put a black hole in the bulk”; it means “put the CFT on a thermal Euclidean circle and sum over the allowed bulk fillings.”

The black hole is one possible filling. It dominates only in the appropriate ensemble and temperature regime.

For a quantum system with Hamiltonian HH, the canonical ensemble is

Z(β)=TreβH,F(T)=TlogZ(β),Z(\beta)=\operatorname{Tr}e^{-\beta H}, \qquad F(T)=-T\log Z(\beta),

and a thermal expectation value is

Oβ=Tr ⁣(ρβO)=1Z(β)Tr ⁣(eβHO).\langle \mathcal O \rangle_\beta = \operatorname{Tr}\!\left(\rho_\beta\mathcal O\right) = \frac{1}{Z(\beta)}\operatorname{Tr}\!\left(e^{-\beta H}\mathcal O\right).

In a QFT on a spatial manifold Σ\Sigma, one should write more carefully

ZΣ(β)=TrH(Σ)eβHΣ,Oβ=1ZΣ(β)TrH(Σ) ⁣(eβHΣO).Z_\Sigma(\beta) = \operatorname{Tr}_{\mathcal H(\Sigma)}e^{-\beta H_\Sigma}, \qquad \langle\mathcal O\rangle_\beta = \frac{1}{Z_\Sigma(\beta)} \operatorname{Tr}_{\mathcal H(\Sigma)}\!\left(e^{-\beta H_\Sigma}\mathcal O\right).

The thermodynamic quantities follow from ZZ:

F=TlogZ,E=βlogZ,S=FT=(1ββ)logZ.F=-T\log Z, \qquad E=-\partial_\beta \log Z, \qquad S=-\frac{\partial F}{\partial T} =\left(1-\beta\partial_\beta\right)\log Z.

Equivalently,

S=β(EF),F=ETS.S=\beta(E-F), \qquad F=E-TS.

If Σ=Rd1\Sigma=\mathbb R^{d-1} has volume VV, define the free-energy density f=F/Vf=F/V and pressure

p=f.p=-f.

For a translationally invariant thermal state, the Lorentzian stress tensor takes the perfect-fluid equilibrium form

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

where ϵ=E/V\epsilon=E/V. A flat-space CFT has vanishing stress-tensor trace away from anomalies, so

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

Scale invariance then implies

p=cthTd,f=cthTd,s=pT=dcthTd1,p=c_{\mathrm{th}}T^d, \qquad f=-c_{\mathrm{th}}T^d, \qquad s=\frac{\partial p}{\partial T}=d c_{\mathrm{th}}T^{d-1},

where cthc_{\mathrm{th}} is a theory-dependent number. In a strongly coupled large-NN CFT with an Einstein-gravity dual, cthc_{\mathrm{th}} is proportional to the number of degrees of freedom, typically CTC_T or N2N^2.

On a compact spatial manifold such as Sd1S^{d-1}, there is an additional scale, the radius RR. The partition function is then a function of the dimensionless combination β/R\beta/R, and vacuum Casimir energy can contribute. This distinction matters for the Hawking-Page transition: the CFT on Sd1S^{d-1} has a finite-volume thermal partition function, while the planar black brane describes the thermodynamic limit on Rd1\mathbb R^{d-1}.

From the trace to a Euclidean path integral

Section titled “From the trace to a Euclidean path integral”

The operator eβHe^{-\beta H} is time evolution by imaginary time. In Lorentzian signature,

U(t)=eiHt.U(t)=e^{-iHt}.

Set

t=iτ.t=-i\tau.

Then

U(iβ)=eβH.U(-i\beta)=e^{-\beta H}.

For a bosonic quantum-mechanical coordinate qq, the transition amplitude has a Euclidean path-integral representation

qfeβHqi=q(0)=qiq(β)=qfDq(τ)eSE[q].\langle q_f|e^{-\beta H}|q_i\rangle = \int_{q(0)=q_i}^{q(\beta)=q_f}\mathcal D q(\tau)\,e^{-S_E[q]}.

Taking the trace sets qf=qiq_f=q_i and integrates over the common value:

Z(β)=dqqeβHq=q(β)=q(0)Dq(τ)eSE[q].Z(\beta) =\int dq\,\langle q|e^{-\beta H}|q\rangle =\int_{q(\beta)=q(0)}\mathcal D q(\tau)\,e^{-S_E[q]}.

The same logic applies to quantum fields. A finite-temperature bosonic field theory is a Euclidean field theory on

Sβ1×Σ,S^1_\beta\times \Sigma,

with bosonic fields obeying

ϕ(τ+β,x)=ϕ(τ,x).\phi(\tau+\beta,\mathbf x)=\phi(\tau,\mathbf x).

Fermions obey antiperiodic boundary conditions,

ψ(τ+β,x)=ψ(τ,x).\psi(\tau+\beta,\mathbf x)=-\psi(\tau,\mathbf x).

The minus sign is not optional. It comes from the Grassmann coherent-state trace and is also required by the spin-statistics structure of thermal equilibrium. It is the reason finite temperature explicitly breaks supersymmetry: bosons and fermions cannot both be placed in the same thermal boundary condition around Sβ1S^1_\beta.

Thus the thermal partition function is schematically

Z(β)=ϕ(β)=ϕ(0)ψ(β)=ψ(0)DϕDψeSE[ϕ,ψ].Z(\beta) = \int_{\substack{\phi(\beta)=\phi(0)\\ \psi(\beta)=-\psi(0)}} \mathcal D\phi\,\mathcal D\psi\,e^{-S_E[\phi,\psi]}.

For a CFT, Sβ1×ΣS^1_\beta\times \Sigma should be understood as a Euclidean conformal manifold. In holography the boundary metric is specified only up to Weyl rescaling, so one fixes a representative such as

ds2=dτ2+dsΣ2,ττ+β.ds^2_{\partial} =d\tau^2+ds_\Sigma^2, \qquad \tau\sim \tau+\beta.

KMS condition: the operator origin of the thermal circle

Section titled “KMS condition: the operator origin of the thermal circle”

The Euclidean circle is not merely a path-integral trick. It is the analytic expression of thermal equilibrium.

For two bosonic Heisenberg operators A(t)A(t) and B(0)B(0), define

G>(t)=A(t)B(0)β,G<(t)=B(0)A(t)β.G^>(t)=\langle A(t)B(0)\rangle_\beta, \qquad G^<(t)=\langle B(0)A(t)\rangle_\beta.

Using A(tiβ)=eβHA(t)eβHA(t-i\beta)=e^{\beta H}A(t)e^{-\beta H} and cyclicity of the trace gives the Kubo-Martin-Schwinger condition

G>(tiβ)=G<(t).G^>(t-i\beta)=G^<(t).

For fermionic operators, the corresponding relation includes the sign appropriate to exchanging Grassmann-odd operators. In Euclidean time this becomes antiperiodicity.

The Euclidean time-ordered correlator is

GE(τ)=TτA(iτ)B(0)β.G_E(\tau) =\langle T_\tau A(-i\tau)B(0)\rangle_\beta.

For bosonic operators it is periodic,

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

while for fermionic operators it is antiperiodic. More generally, thermal correlators are analytic in strips of complex time, with KMS relations specifying how boundary values on opposite sides of the strip are glued. This analytic structure is what allows equilibrium Euclidean correlators to be related to Lorentzian response functions, although the continuation is much subtler than replacing τ\tau by itit in every formula.

Because Euclidean time is compact, Fourier modes along Sβ1S^1_\beta are discrete. A periodic bosonic field has the expansion

ϕ(τ,x)=TnZeiωnτϕn(x),ωn=2πnT.\phi(\tau,\mathbf x) = T\sum_{n\in\mathbb Z}e^{-i\omega_n\tau}\phi_n(\mathbf x), \qquad \omega_n=2\pi nT.

An antiperiodic fermion has

ψ(τ,x)=TnZeiωnτψn(x),ωn=(2n+1)πT.\psi(\tau,\mathbf x) =T\sum_{n\in\mathbb Z}e^{-i\omega_n\tau}\psi_n(\mathbf x), \qquad \omega_n=(2n+1)\pi T.

These are the bosonic and fermionic Matsubara frequencies. They are the momentum eigenvalues around the thermal circle.

A thermal Euclidean two-point function can be represented as

GE(τ,x)=TnZdd1k(2π)d1eiωnτ+ikxGE(ωn,k)G_E(\tau,\mathbf x) = T\sum_{n\in\mathbb Z} \int\frac{d^{d-1}k}{(2\pi)^{d-1}} e^{-i\omega_n\tau+i\mathbf k\cdot\mathbf x} G_E(\omega_n,\mathbf k)

for bosonic operators, with the appropriate fermionic frequencies for fermionic operators.

The bosonic zero mode ω0=0\omega_0=0 is special. At high temperature, modes with ωn2πT|\omega_n|\ge 2\pi T can become heavy compared with long spatial scales, leaving an effective theory in one fewer dimension. This is the field-theory origin of thermal dimensional reduction. In holography the analogous separation of scales appears in near-horizon and hydrodynamic expansions.

Euclidean correlators versus retarded correlators

Section titled “Euclidean correlators versus retarded correlators”

Euclidean thermal correlators are natural for equilibrium thermodynamics. Retarded correlators are natural for response. The retarded function is

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

for a bosonic operator. It determines linear response and transport coefficients.

The Euclidean frequency-space correlator samples the analytic continuation of the retarded correlator at imaginary frequencies. With common conventions,

GE(ωn,k)=GR(iωn,k),ωn>0,G_E(\omega_n,\mathbf k) =G_R(i\omega_n,\mathbf k), \qquad \omega_n>0,

up to convention-dependent signs and contact terms. The important point is conceptual: Euclidean data live at discrete imaginary frequencies, while real-time response requires analytic continuation to real frequency.

This is usually ill-conditioned if one starts from approximate Euclidean data, as in lattice field theory. In holography the Lorentzian prescription is sharper: solve the bulk wave equation in a black-hole background with infalling boundary conditions at the horizon. The Euclidean computation and the Lorentzian computation are different continuations of the same thermal state, but they answer different questions.

A useful division of labor is:

QuantityEuclidean thermal path integral?Lorentzian real-time prescription?
free energy FFyesusually unnecessary
entropy from ZZyessometimes
static susceptibilitiesyesyes
spectral densityindirectlyyes
diffusion constantsindirectlyyes
quasinormal polesno, not directlyyes
chaos and OTOCsnot by ordinary Euclidean correlatorsyes, with Schwinger-Keldysh structure

This is why finite-temperature holography has two complementary calculational pillars: Euclidean saddles for thermodynamics and Lorentzian black holes for real-time dynamics.

Thermal generating functionals are ordinary source generating functionals evaluated in a thermal state. For a scalar operator O\mathcal O,

Zβ[J]=Tr[eβHTτexp ⁣(0βdτΣdd1xJ(τ,x)O(τ,x))].Z_\beta[J] = \operatorname{Tr}\left[ e^{-\beta H} \,T_\tau\exp\!\left( \int_0^\beta d\tau\int_\Sigma d^{d-1}x\,J(\tau,\mathbf x)\mathcal O(\tau,\mathbf x) \right) \right].

The connected generating functional is

Wβ[J]=logZβ[J].W_\beta[J]=\log Z_\beta[J].

Thermal correlators are obtained by functional differentiation:

O(τ1,x1)O(τn,xn)β,conn=δnWβ[J]δJ(τ1,x1)δJ(τn,xn)J=0.\langle\mathcal O(\tau_1,\mathbf x_1)\cdots\mathcal O(\tau_n,\mathbf x_n)\rangle_{\beta,\mathrm{conn}} = \frac{\delta^n W_\beta[J]}{\delta J(\tau_1,\mathbf x_1)\cdots \delta J(\tau_n,\mathbf x_n)}\bigg|_{J=0}.

The thermal state breaks Lorentz invariance. Even in a flat-space CFT, the heat bath picks a rest-frame vector

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

Therefore finite-temperature one-point functions can be nonzero even when vacuum one-point functions vanish. For example, the stress tensor has ϵ\epsilon and pp, and scalar one-point functions may be allowed if the theory has scalar primaries whose thermal expectation values are not forbidden by symmetries:

Oβ=bOTΔ\langle \mathcal O\rangle_\beta = b_{\mathcal O} T^\Delta

in flat space, for a scalar primary of dimension Δ\Delta and coefficient bOb_{\mathcal O} determined by CFT data and dynamics.

For holography, the source story is unchanged but the background is thermal. A boundary scalar source J(τ,x)J(\tau,\mathbf x) fixes the leading asymptotic behavior of a bulk field on a Euclidean geometry whose boundary is Sβ1×ΣS^1_\beta\times\Sigma. The renormalized canonical momentum gives Oβ\langle\mathcal O\rangle_\beta. At large NN, the dominant thermal saddle determines which bulk geometry the field propagates on.

The grand canonical ensemble is

Z(β,μ)=Treβ(HμQ).Z(\beta,\mu) = \operatorname{Tr}\,e^{-\beta(H-\mu Q)}.

Here QQ is a conserved charge and μ\mu is its chemical potential. The thermodynamic potential is

Ω(T,μ)=TlogZ(β,μ),\Omega(T,\mu)=-T\log Z(\beta,\mu),

and

Q=1βlogZμ.\langle Q\rangle = \frac{1}{\beta}\frac{\partial\log Z}{\partial\mu}.

In a Euclidean path integral, a chemical potential can be represented by a constant background gauge field around the thermal circle. With the convention that a Lorentzian source is At(0)=μA_t^{(0)}=\mu, Wick rotation gives an imaginary Euclidean component, schematically

Aτ(0)=iμ.A_\tau^{(0)}=i\mu.

Equivalently, one can absorb the chemical potential into twisted boundary conditions for a field of charge qq:

Φq(τ+β,x)=±eβqμΦq(τ,x),\Phi_q(\tau+\beta,\mathbf x) = \pm e^{\beta q\mu}\Phi_q(\tau, \mathbf x),

with ++ for bosons and - for fermions. For an imaginary chemical potential the twist is a phase.

The gauge-invariant object is the holonomy around the thermal circle,

exp ⁣(iqSβ1Aτdτ),\exp\!\left(iq\oint_{S^1_\beta} A_\tau d\tau\right),

not the local value of AτA_\tau by itself. This point is crucial in holography. For a Euclidean charged black hole, the thermal circle is contractible in the interior. A smooth one-form must have trivial holonomy around a contractible cycle after accounting for allowed gauge transformations. In practical Lorentzian black-hole calculations one often chooses a gauge in which

At(rh)=0,μ=At()At(rh),A_t(r_h)=0, \qquad \mu=A_t(\infty)-A_t(r_h),

so the chemical potential is a boundary-to-horizon potential difference, not simply an arbitrary constant added to AtA_t.

Angular velocities are similar. A rotating thermal ensemble has

Z(β,Ω)=Treβ(HΩJ).Z(\beta,\Omega)=\operatorname{Tr}\,e^{-\beta(H-\Omega J)}.

In Euclidean language this is a twisted identification involving both Euclidean time and angular coordinates. In the bulk it corresponds to rotating black-hole saddles with fixed angular potential at the boundary.

Thermal gauge theory contains one more subtlety: the gauge field component along the thermal circle has a gauge-invariant holonomy. The thermal Wilson line, or Polyakov loop, is

P(x)=1NTrPexp ⁣(i0βdτAτ(τ,x)).P(\mathbf x) = \frac{1}{N}\operatorname{Tr}\,\mathcal P \exp\!\left(i\int_0^\beta d\tau\,A_\tau(\tau,\mathbf x)\right).

In an SU(N)SU(N) gauge theory without dynamical fundamental matter, the Polyakov loop is charged under center symmetry. Its expectation value is an order parameter for confinement in suitable settings:

P=0in a center-symmetric confined phase,P0in a deconfined phase.\langle P\rangle=0 \quad\text{in a center-symmetric confined phase}, \qquad \langle P\rangle\ne0 \quad\text{in a deconfined phase}.

This statement needs care in finite volume and in theories with fundamental matter, where center symmetry may be absent or explicitly broken. But it remains one of the most useful bridges between finite-temperature gauge theory and holography. In the bulk, a Polyakov loop is represented by a fundamental string worldsheet ending on the thermal circle at the boundary. If the thermal circle is contractible in the bulk, the string worldsheet can cap off; if not, the corresponding saddle may be absent or suppressed. This is the line-operator version of the Hawking-Page confinement/deconfinement story.

Thermal boundary conditions also break supersymmetry. Even N=4\mathcal N=4 SYM is not supersymmetric at finite temperature, because fermions are antiperiodic around Sβ1S^1_\beta. This is perfectly consistent with using the theory as a controlled strongly coupled plasma: the Lagrangian is supersymmetric, but the thermal state is not.

The finite-temperature dictionary begins with the following entries.

Boundary thermal objectBulk interpretation
Sβ1×ΣS^1_\beta\times\SigmaEuclidean conformal boundary of the bulk saddle
β=1/T\beta=1/Tasymptotic thermal-circle period
logZ\log Znegative renormalized Euclidean on-shell action
F=TlogZF=-T\log ZTIErenT I_E^{\mathrm{ren}} for the dominant saddle
thermal entropy SShorizon area term for black-hole saddles, plus corrections
energy and pressureholographic stress tensor on the thermal boundary
chemical potential μ\muboundary value or holonomy of a bulk gauge field
charge density ρ\rhoradial electric flux / current one-point function
Polyakov loopstring worldsheet ending on the thermal circle
KMS conditionEuclidean periodicity and thermal analyticity
real-time responseLorentzian bulk fields with horizon boundary conditions

The next page turns the entry “Euclidean bulk saddle” into an explicit geometry. In particular, smoothness near a Euclidean black-hole horizon fixes the period β\beta, producing Hawking temperature.

Mistake 1: treating finite temperature as just a mass scale. Temperature is a scale, but it also chooses a state and a thermal circle. The state breaks Lorentz invariance, imposes KMS analyticity, and changes the allowed saddles.

Mistake 2: forgetting the fermion minus sign. Fermions are antiperiodic around the thermal circle. Periodic fermions compute a different object, often a supersymmetric index or a twisted partition function, not an ordinary thermal partition function.

Mistake 3: confusing Euclidean and retarded correlators. Euclidean correlators at Matsubara frequencies do not directly give spectral functions without analytic continuation. Holographic retarded correlators require Lorentzian horizon conditions.

Mistake 4: saying the bulk temperature is arbitrary. For a smooth Euclidean black-hole saddle, the period of Euclidean time is fixed by regularity at the cap. Choosing a different period creates a conical singularity unless an appropriate source or defect is inserted.

Mistake 5: treating At()A_t(\infty) alone as the chemical potential. In a black-hole background the physical chemical potential is the gauge-invariant potential difference between boundary and horizon, or equivalently the appropriate thermal holonomy with regularity imposed.

Mistake 6: assuming every finite-temperature saddle is a black hole. Thermal AdS and other horizonless saddles can contribute to the same boundary thermal partition function. Which saddle dominates depends on temperature, spatial topology, charges, and the ensemble.

Exercise 1: The trace produces periodic bosonic fields

Section titled “Exercise 1: The trace produces periodic bosonic fields”

For a quantum-mechanical coordinate qq, use

Z(β)=dqqeβHqZ(\beta)=\int dq\,\langle q|e^{-\beta H}|q\rangle

to explain why the Euclidean paths contributing to the partition function obey q(β)=q(0)q(\beta)=q(0).

Solution

The transition amplitude has the Euclidean path-integral representation

qfeβHqi=q(0)=qiq(β)=qfDqeSE[q].\langle q_f|e^{-\beta H}|q_i\rangle = \int_{q(0)=q_i}^{q(\beta)=q_f}\mathcal Dq\,e^{-S_E[q]}.

Taking the trace means setting the final state equal to the initial state and integrating over it:

Z(β)=dqqeβHq.Z(\beta)=\int dq\,\langle q|e^{-\beta H}|q\rangle.

Thus each path begins at q(0)=qq(0)=q and ends at q(β)=qq(\beta)=q. Therefore

q(β)=q(0).q(\beta)=q(0).

For fields, the same trace condition gives periodic bosonic field configurations on Sβ1×ΣS^1_\beta\times\Sigma.

Show that periodicity and antiperiodicity around the Euclidean thermal circle imply

ωnB=2πnT,ωnF=(2n+1)πT.\omega_n^{\mathrm B}=2\pi nT, \qquad \omega_n^{\mathrm F}=(2n+1)\pi T.
Solution

A Fourier mode around the Euclidean circle is

eiωτ.e^{-i\omega \tau}.

For a periodic bosonic field,

eiω(τ+β)=eiωτ,e^{-i\omega(\tau+\beta)}=e^{-i\omega\tau},

so

eiωβ=1.e^{-i\omega\beta}=1.

Hence

ωβ=2πn,ωnB=2πnβ=2πnT.\omega\beta=2\pi n, \qquad \omega_n^{\mathrm B}=\frac{2\pi n}{\beta}=2\pi nT.

For an antiperiodic fermion,

eiω(τ+β)=eiωτ,e^{-i\omega(\tau+\beta)}=-e^{-i\omega\tau},

so

eiωβ=1=ei(2n+1)π.e^{-i\omega\beta}=-1=e^{-i(2n+1)\pi}.

Therefore

ωnF=(2n+1)πβ=(2n+1)πT.\omega_n^{\mathrm F}=\frac{(2n+1)\pi}{\beta}=(2n+1)\pi T.

Let

G>(t)=1ZTr(eβHA(t)B(0)),G<(t)=1ZTr(eβHB(0)A(t)).G^>(t)=\frac{1}{Z}\operatorname{Tr}\left(e^{-\beta H}A(t)B(0)\right), \qquad G^<(t)=\frac{1}{Z}\operatorname{Tr}\left(e^{-\beta H}B(0)A(t)\right).

Assume AA and BB are bosonic. Show that

G>(tiβ)=G<(t).G^>(t-i\beta)=G^<(t).
Solution

Use

A(tiβ)=eβHA(t)eβH.A(t-i\beta)=e^{\beta H}A(t)e^{-\beta H}.

Then

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

By cyclicity of the trace,

Tr(A(t)eβHB(0))=Tr(eβHB(0)A(t)).\operatorname{Tr}\left(A(t)e^{-\beta H}B(0)\right) = \operatorname{Tr}\left(e^{-\beta H}B(0)A(t)\right).

Therefore

G>(tiβ)=G<(t).G^>(t-i\beta)=G^<(t).

For fermionic operators, moving a Grassmann-odd operator around the trace gives the corresponding minus sign.

Exercise 4: Equation of state of a flat-space CFT

Section titled “Exercise 4: Equation of state of a flat-space CFT”

Assume a translationally invariant thermal state of a dd-dimensional CFT on flat space. Use scale invariance to write p=cthTdp=c_{\mathrm{th}}T^d. Then show that

ϵ=(d1)p,s=dcthTd1.\epsilon=(d-1)p, \qquad s=d c_{\mathrm{th}}T^{d-1}.
Solution

In a flat-space CFT, the thermal pressure is the only dimension-dd scalar made from the temperature, so

p=cthTd.p=c_{\mathrm{th}}T^d.

The free-energy density is

f=p=cthTd.f=-p=-c_{\mathrm{th}}T^d.

The entropy density is

s=fT=dcthTd1.s=-\frac{\partial f}{\partial T} =d c_{\mathrm{th}}T^{d-1}.

The energy density is

ϵ=f+Ts=cthTd+dcthTd=(d1)cthTd.\epsilon=f+Ts =-c_{\mathrm{th}}T^d+d c_{\mathrm{th}}T^d =(d-1)c_{\mathrm{th}}T^d.

Since p=cthTdp=c_{\mathrm{th}}T^d, this gives

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

Equivalently, this follows from tracelessness of the stress tensor:

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

Consider a field Φq\Phi_q of charge qq in the grand canonical ensemble

Z(β,μ)=Treβ(HμQ).Z(\beta,\mu)=\operatorname{Tr}e^{-\beta(H-\mu Q)}.

Explain why the chemical potential may be represented as a twist

Φq(τ+β)=±eβqμΦq(τ),\Phi_q(\tau+\beta)=\pm e^{\beta q\mu}\Phi_q(\tau),

where ++ is for bosons and - is for fermions.

Solution

The operator inserted in the trace is

eβ(HμQ)=eβHeβμQe^{-\beta(H-\mu Q)}=e^{-\beta H}e^{\beta\mu Q}

when [H,Q]=0[H,Q]=0. The factor eβHe^{-\beta H} evolves the system around the Euclidean thermal circle. The extra factor eβμQe^{\beta\mu Q} acts as a charge rotation when the end of the Euclidean path is glued to the beginning.

For a field of charge qq,

eaQΦqeaQ=eaqΦqe^{aQ}\Phi_q e^{-aQ}=e^{a q}\Phi_q

up to the sign convention used for the charge generator. Therefore gluing the final field to the initial field includes a factor eβqμe^{\beta q\mu}. The ordinary thermal trace also gives the usual statistics sign, so

Φq(τ+β)=±eβqμΦq(τ),\Phi_q(\tau+\beta)=\pm e^{\beta q\mu}\Phi_q(\tau),

with ++ for bosons and - for fermions. Equivalently, the twist can be described by a constant background gauge field along the Euclidean thermal circle.

Exercise 6: Euclidean black-hole regularity preview

Section titled “Exercise 6: Euclidean black-hole regularity preview”

Suppose the near-horizon Euclidean metric of a black-hole saddle takes the form

dsE2=dρ2+κ2ρ2dτ2+spectator directions,ds_E^2=d\rho^2+\kappa^2\rho^2d\tau^2+\text{spectator directions},

where ρ=0\rho=0 is the cap of the Euclidean thermal circle. What period must τ\tau have for the geometry to be smooth?

Solution

The two-dimensional part of the metric is

dsE2=dρ2+κ2ρ2dτ2.ds_E^2=d\rho^2+\kappa^2\rho^2d\tau^2.

This is flat polar space if the angular coordinate is

θ=κτ.\theta=\kappa\tau.

Smoothness at ρ=0\rho=0 requires

θθ+2π.\theta\sim\theta+2\pi.

Therefore

κτκτ+2π,\kappa\tau\sim \kappa\tau+2\pi,

so the Euclidean time period must be

β=2πκ.\beta=\frac{2\pi}{\kappa}.

The corresponding temperature is

T=1β=κ2π.T=\frac{1}{\beta}=\frac{\kappa}{2\pi}.

This is the Euclidean origin of the Hawking temperature formula.

For classic finite-temperature field theory, see Joseph I. Kapusta and Charles Gale, Finite-Temperature Field Theory: Principles and Applications, and Michel Le Bellac, Thermal Field Theory. For a concise hands-on treatment, see Mikko Laine and Aleksi Vuorinen, Basics of Thermal Field Theory. For the original AdS black-hole thermodynamics background, see Hawking and Page, “Thermodynamics of Black Holes in anti-De Sitter Space”. For the use of thermal AdS/CFT in confinement and phase transitions, see Witten, “Anti-de Sitter Space, Thermal Phase Transition, and Confinement in Gauge Theories”. For a broad AdS/CFT review including finite-temperature physics, see Aharony, Gubser, Maldacena, Ooguri, and Oz, Large N Field Theories, String Theory and Gravity. For real-time thermal holography, see Son and Starinets, “Minkowski-Space Correlators in AdS/CFT Correspondence”.