Skip to content

Hawking–Page and Cavity Phase Transitions

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

A canonical gravitational ensemble can contain several smooth Euclidean saddles with the same boundary temperature. The dominant saddle is the one with the smallest renormalized on-shell action, while local stability is controlled by the second variation or response functions. Schwarzschild–AdS exhibits the Hawking–Page transition between thermal AdS and a large black hole. A finite reflecting cavity stabilizes a different canonical problem for asymptotically flat Schwarzschild. Their boundary data must not be mixed.

Required background. Gravitational Actions and Boundary Terms supplies regulated action differences; Variational and Symplectic Geometry supplies the charges conjugate to boundary sources.

Helpful background. Quantum Fields in Curved Spacetime supplies the canonical path integral; Einstein Equations supplies the saddle families; and Black-Hole Geometry and Mechanics supplies horizon temperature and entropy.

Four-dimensional Schwarzschild–AdS saddles

Section titled “Four-dimensional Schwarzschild–AdS saddles”

Let the AdS radius be LL and use the horizon generator ∂t\partial_t normalized by the standard conformal-boundary time. The Lorentzian black-hole family is

f(r)=1+r2L2−2GMr,2GM=r+(1+r+2L2).f(r)=1+\frac{r^2}{L^2}-\frac{2GM}{r}, \qquad 2GM=r_+\left(1+\frac{r_+^2}{L^2}\right).

Euclidean regularity and the quarter-area entropy give

T(r+)=1+3r+2/L24πr+,S(r+)=πr+2G.T(r_+)=\frac{1+3r_+^2/L^2}{4\pi r_+}, \qquad S(r_+)=\frac{\pi r_+^2}{G}.

The temperature has a minimum at r+=L/3r_+=L/\sqrt3,

Tmin⁡=32πL.T_{\min}=\frac{\sqrt3}{2\pi L}.

Below Tmin⁡T_{\min} there is no smooth black-hole saddle with the prescribed boundary circle. Above it there are two: the small branch r+<L/3r_+\lt L/\sqrt3 has negative heat capacity, while the large branch has positive heat capacity. This is a local statement along the black-hole family, not yet a comparison with thermal AdS.

For example, direct differentiation gives

C=dMdT=2πr+2G1+3r+2/L23r+2/L2−1.C=\frac{dM}{dT} =\frac{2\pi r_+^2}{G} \frac{1+3r_+^2/L^2}{3r_+^2/L^2-1}.

The response diverges at the turning point; it does not pass through zero. The energy is monotone in r+r_+, so the sign of dT/dr+dT/dr_+ suffices to identify the two branches.

Choose thermal AdS as the zero of free energy after matching the conformal boundary geometry. For the black hole,

M=r+2G(1+r+2L2),FBH=M−TS=r+4G(1−r+2L2).\begin{aligned} M&=\frac{r_+}{2G}\left(1+\frac{r_+^2}{L^2}\right),\\ F_{\mathrm{BH}} &=M-TS =\frac{r_+}{4G}\left(1-\frac{r_+^2}{L^2}\right). \end{aligned}

The actions cross when FBH=0F_{\mathrm{BH}}=0, hence

r+=L,THP=1πL.r_+=L, \qquad T_{\mathrm{HP}}=\frac{1}{\pi L}.

For Tmin⁡<T<THPT_{\min}\lt T\lt T_{\mathrm{HP}}, the large black hole is locally stable but still has higher free energy than thermal AdS: it is metastable. For T>THPT\gt T_{\mathrm{HP}}, it is both locally stable and globally dominant. In the reduced off-shell description at bath temperature TBT_B, define Foff(r+;TB)=M(r+)−TBS(r+)F_{\mathrm{off}}(r_+;T_B)=M(r_+)-T_BS(r_+). The first law implies ∂r+Foff=(T(r+)−TB)S′(r+)\partial_{r_+}F_{\mathrm{off}}=(T(r_+)-T_B)S'(r_+). At a stationary point its curvature is T′(r+)S′(r+)T'(r_+)S'(r_+), so the small branch is the maximum separating the thermal and large-hole branches in this reduced description. This explains its role as a thermal nucleation barrier without identifying the reduced radius variation with the full metric fluctuation problem. Hawking and Page compute this canonical AdS saddle competition in Hawking and Page 1983, pp. 577–588.

Compare the temperature minimum in the upper panel with the free-energy crossing in the lower panel. They occur at different radii: part of the positive-heat-capacity branch still has higher free energy than thermal AdS.

The positive-heat-capacity branch begins at r plus over L equals one over square root of three, but its free energy falls below thermal AdS only at r plus over L equals one.

Local canonical stability and global preference differ. With x=r+/Lx=r_+/L, the temperature minimum is at x=1/3x=1/\sqrt3 and the Hawking–Page crossing is at x=1x=1. The interval between them has C>0C\gt0 but F>0F\gt0 relative to thermal AdS. These are quantitative leading Einstein-gravity curves for four-dimensional neutral Schwarzschild–AdS at fixed LL and standard boundary time. Each point is compared with thermal AdS at its own T(x)T(x); different radii need not have the same temperature. On the small branch, F>0F\gt0 does not imply thermal AdS is the global winner: another, larger black-hole saddle may dominate at that temperature. The curves do not compute a negative-mode spectrum or establish real-time stability.

This example cleanly separates two questions:

TestQuantityConclusion
Local canonical stabilityHeat capacity or action Hessian on one branchWhether nearby fluctuations raise the action
Global dominanceRenormalized action difference between all saddles with identical sourcesWhich phase gives the leading partition function

A positive heat capacity does not guarantee global dominance, and a lower free energy does not by itself prove real-time dynamical stability.

Now set Λ=0\Lambda=0 and place Schwarzschild inside a spherical reflecting wall of areal radius RR. The canonical source is the wall’s proper temperature, not the temperature normalized at infinity. With x=2GM/Rx=2GM/R, Tolman redshift gives

TB(x)=14πR x1−x,0<x<1.T_B(x)=\frac{1}{4\pi R\,x\sqrt{1-x}}, \qquad 0\lt x\lt1.

This function has a minimum at x=2/3x=2/3,

TB,min⁡=338πR.T_{B,\min}=\frac{3\sqrt3}{8\pi R}.

Above that temperature two black-hole branches fit the same wall data. The small-xx branch has negative canonical heat capacity, while the large-xx branch is locally stable because gravitational redshift at the wall reverses the response. York derives the fixed-wall-area variational problem, the two branches, and their action Hessian in York 1986, §§II–V.

Using Brown–York quasilocal energy relative to a flat reference,

EB=RG(1−1−x),S=πR2x2G,E_B=\frac{R}{G}\left(1-\sqrt{1-x}\right), \qquad S=\frac{\pi R^2x^2}{G},

the black-hole free energy relative to hot flat space is FB=EB−TBSF_B=E_B-T_BS. Its nontrivial zero occurs at

x=89,TB,transition=2732πR.x=\frac89, \qquad T_{B,\mathrm{transition}}=\frac{27}{32\pi R}.

To verify the crossing, set y=1−xy=\sqrt{1-x}. Then GFB/R=1−y−(1−y2)/(4y)GF_B/R=1-y-(1-y^2)/(4y). Setting it to zero gives (3y−1)(y−1)=0(3y-1)(y-1)=0: y=1y=1 is the zero-mass endpoint, whereas y=1/3y=1/3 gives the genuine black-hole crossing x=8/9x=8/9. As in AdS, the locally stable branch appears before it is globally preferred.

This cavity transition resembles the AdS competition structurally, but its control parameter and subtraction background are different. The cavity wall is physical boundary data; LL is an asymptotic curvature scale.

In a holographic theory with an AdS gravity regime, thermal AdS and the large black hole have parametrically different large-NN free energies. The Hawking–Page transition can then map to a confinement/deconfinement transition of the boundary gauge theory, as developed in Witten 1998, §§2–3, PDF. That interpretation requires the holographic dictionary and a suitable large-NN boundary theory; it is not a statement about every AdS black hole.

All displayed results are leading classical saddle calculations. One-loop determinants shift free energies by subleading amounts, additional charged or rotating branches can alter the phase diagram, and nucleation rates require a negative mode and a real-time or contour prescription. Fixed-background thermal fields, self-consistent equilibrium saddles, and time-dependent formation are distinct approximations.

Starting from the Schwarzschild–AdS expressions for MM, TT, and SS, verify the free energy above. Determine the temperature and latent heat at the Hawking–Page transition.

Solution

Multiplication gives

TS=r+4G(1+3r+2L2).TS =\frac{r_+}{4G}\left(1+\frac{3r_+^2}{L^2}\right).

Subtracting from MM yields

FBH=r+4G(1−r+2L2).F_{\mathrm{BH}} =\frac{r_+}{4G}\left(1-\frac{r_+^2}{L^2}\right).

Thus the nonzero crossing is r+=Lr_+=L, where THP=1/(πL)T_{\mathrm{HP}}=1/(\pi L). Thermal AdS has vanishing entropy at this classical order, while the black hole has SBH=πL2/GS_{\mathrm{BH}}=\pi L^2/G. The latent heat is

L=THPΔS=1πLπL2G=LG.\mathcal L=T_{\mathrm{HP}}\Delta S =\frac{1}{\pi L}\frac{\pi L^2}{G} =\frac{L}{G}.

The nonzero latent heat confirms a first-order transition at the leading saddle level.

  • Hawking, S. W., and D. N. Page (1983), “Thermodynamics of Black Holes in Anti-de Sitter Space,” Communications in Mathematical Physics 87, 577–588. DOI.
  • Witten, E. (1998), “Anti-de Sitter Space, Thermal Phase Transition, and Confinement in Gauge Theories,” Advances in Theoretical and Mathematical Physics 2, 505–532. Open PDF.
  • York, J. W., Jr. (1986), “Black-Hole Thermodynamics and the Euclidean Einstein Action,” Physical Review D 33, 2092–2099. DOI.