Near-Extremal D3-Branes and Entropy

How many thermal states are associated with a stack of D3-branes? At weak coupling we can count the physical gauge, scalar, and fermion modes. At strong coupling the same question becomes a horizon-area calculation. In the planar limit, at the same temperature and spatial volume, the two calculations give

$$s_{\rm strong}=\frac{\pi^2}{2}N^2T^3, \qquad s_{\rm free}=\frac{2\pi^2}{3}N^2T^3, \qquad \frac{s_{\rm strong}}{s_{\rm free}}=\frac34.$$

This page derives the gravitational answer, explains what is held fixed in the comparison, and computes the leading correction at large ‘t Hooft coupling. The difference between the coefficients is a physical interaction effect: ordinary thermal entropy is not protected by supersymmetry. The calculation uses the shared Einstein-frame normalization, RR fields and source signs, and D3 gauge-coupling dictionary. The extremal geometry and its flux normalization were derived on the supergravity brane page.

The charged black D3-brane geometry

An extremal D3-brane has a mass fixed by its RR charge. Heating it means adding energy at fixed charge. The exact asymptotically flat black-brane family is useful because it distinguishes this operation from changing the number of branes.

Let $r_0>0$ locate the horizon and let $b>0$ be a dimensionless charge parameter. Introduce the derived quantities

$$x=r_0^4, \qquad h=x\sinh^2 b, \qquad q=x\sinh b\cosh b=L^4.$$

Here $L$ is the radius fixed by the extremal D3 charge, so $q=4\pi g_sN\alpha'^2=\lambda\alpha'^2$. At fixed $N$, $g_s$, and $\alpha'$, it is $q$ that stays fixed. The relation between the harmonic coefficient $h$ and this charge is

$$h(h+x)=q^2, \qquad h=\frac{\sqrt{x^2+4q^2}-x}{2}.$$

Thus $h=q$ only at extremality. The metric is

$$\begin{aligned} ds^2={}&H^{-1/2}\bigl(-f\,dt^2+d\mathbf x_3^2\bigr) +H^{1/2}\left(\frac{dr^2}{f}+r^2d\Omega_5^2\right),\\ H(r)&=1+\frac{h}{r^4}, \qquad f(r)=1-\frac{x}{r^4}. \end{aligned}$$

The shifted dilaton is $\phi=0$, so the asymptotically normalized Einstein metric here equals the string metric. The worldvolume time $t$ and spatial coordinates $\mathbf x_3$ are normalized by the flat metric at infinity. Densities below are per coordinate volume $V_3=\int d^3x$.

The flux measures q, not h

With all other form fields vanishing, a local electric potential that vanishes at infinity is

$$C_4^{\rm el}=\frac{\coth b}{g_s}(H^{-1}-1) \,dt\wedge dx^1\wedge dx^2\wedge dx^3, \qquad F_5=(1+*)dC_4^{\rm el}.$$

The magnetic flux requires additional potential patches; the displayed $C_4^{\rm el}$ supplies the electric part. In a Euclidean calculation a gauge regular at the horizon instead sets the electric potential there to zero. This additive change does not change $F_5$.

The Hodge dual contains a factor $H^2r^5$, while the factors of $f$ cancel between the time and radial metric components. Consequently, the coefficient of the outward unit-sphere volume form is

$$-\frac{\coth b}{g_s}\,H^2r^5\partial_rH^{-1} =-\frac{4h\coth b}{g_s}=-\frac{4q}{g_s}.$$

Using the shared orientation and positive D3 source coupling, this gives

$$\int_{S^5}F_5=-\frac{4\pi^3q}{g_s} =-2\kappa_{10,0}^2\mu_3N.$$

The negative sign is the consequence of the specified Lorentzian Hodge star and outward normal orientation, not a negative value of $N$. Both the $1/g_s$ and $\coth b$ in the potential are required. Replacing $h$ by $q$ while keeping arbitrary $r_0$ would change the exact physical charge to $\sqrt{q(q+x)}$.

The IIB five-form is self-dual. One varies its pseudo-action with the half-strength kinetic coefficient and then imposes $F_5=*F_5$; substituting self-duality into the action before variation loses its stress tensor. On this background its Einstein equation is

$$R_{MN}=\frac{g_s^2}{96}F_{MPQRS}F_N{}^{PQRS}.$$

The electric and magnetic parts both contribute even though $F_5^2=0$. This is also why the thermal free energy should be computed using a consistent reduced action, rather than an unconstrained electric five-form action with a guessed extra factor.

Temperature, area, and energy at fixed charge

Smoothness of the Euclidean horizon

Write $r=r_0+\delta r$ and $H_0=H(r_0)=\cosh^2b$. Since $f=4\delta r/r_0+O(\delta r^2)$, the Euclidean time–radial metric becomes

$$ds_{(2)}^2\simeq \frac{4\delta r}{r_0\sqrt{H_0}}dt_E^2 +\frac{r_0\sqrt{H_0}}{4\delta r}d(\delta r)^2.$$

The proper radial coordinate $\rho^2=r_0\sqrt{H_0}\,\delta r$ puts this in polar form,

$$ds_{(2)}^2\simeq d\rho^2 +\rho^2\left(\frac{2\,dt_E}{r_0\sqrt{H_0}}\right)^2.$$

Absence of a conical singularity fixes the angular period to $2\pi$. Therefore

$$\beta=\pi r_0\cosh b, \qquad T=\frac1{\pi r_0\cosh b} =\frac{r_0}{\pi\sqrt{x+h}}.$$

The horizon alone does not set a temperature until the normalization of the time coordinate has also been specified.

The full horizon determinant

At fixed time, the horizon is $\mathbb R^3\times S^5$. Its worldvolume volume element contributes $H_0^{-3/4}$, and its sphere contributes $H_0^{5/4}r_0^5\Omega_5$, where $\Omega_5=\pi^3$. The powers combine to give

$$\frac{A_H}{V_3}=\Omega_5r_0^5\sqrt{H_0} =\Omega_5r_0^3\sqrt{x+h}, \qquad s=\frac{\Omega_5}{4G_{10}}r_0^3\sqrt{x+h}.$$

Keeping only a sphere area would miss the redshift of the three worldvolume directions. The area and $G_{10}$ must refer to the same Einstein metric.

ADM energy and the extremal subtraction

The energy above extremality must be determined in the same fixed-charge family. To see its normalization directly, use transverse Cartesian coordinates $y^i$, with $r^2=y^iy^i$ and $n_i=y_i/r$. The asymptotic spatial perturbations are

$$\delta g_{ab}=-\frac{h}{2r^4}\delta_{ab}, \qquad \delta g_{ij}=\frac{h}{2r^4}\delta_{ij} +\frac{x}{r^4}n_in_j.$$

Here $a,b$ run over the three brane directions and $i,j$ over the six normal directions. If $J$ is summed over all nine spatial directions, the ADM surface integrand is

$$\partial_J\delta g_{iJ}-\partial_i\delta g_{JJ} =\frac{4h+5x}{r^5}n_i.$$

The sphere integral then gives, with the local abbreviation $\mathcal C=\Omega_5/(16\pi G_{10})$,

$$\frac{M_{\rm ADM}}{V_3}=\mathcal C(5x+4h), \qquad \frac{M_{\rm BPS}}{V_3}=4\mathcal Cq=NT_3.$$

Subtracting at the same $q$ yields

$$\varepsilon=\frac{M_{\rm ADM}-M_{\rm BPS}}{V_3} =\mathcal C\left[3x+2\sqrt{x^2+4q^2}-4q\right].$$

These expressions reproduce the fixed-charge thermodynamics of Gubser, Klebanov, and Peet, after translating their radial coordinate. They satisfy $d\varepsilon=T\,ds$ at fixed $q$; Exercise 1 verifies this and examines the heat capacity.

Temperature in the full asymptotically flat family at fixed $q=L^4$. Both axes are dimensionless and linear: $v=r_0/L$ and $\pi LT=v/\sqrt{v^4+h/L^4}$. The dashed line is the near-extremal approximation $\pi LT=v$, valid for $v\ll1$. The exact maximum at $v=(2/\sqrt3)^{1/4}$ belongs to the asymptotically flat family outside this approximation; it is not a Hawking–Page transition of the planar CFT.

Isolating the thermal D3 throat

There are two related but distinct limits. At finite $\alpha'$, a near-extremal horizon lies deep in the throat:

$$\delta\equiv\frac{x}{q}=\left(\frac{r_0}{L}\right)^4\ll1.$$

For example,

$$\begin{aligned} \frac hq&=1-\frac\delta2+\frac{\delta^2}{8}+O(\delta^4),\\ T&=\frac{r_0}{\pi L^2}\left(1-\frac\delta4+O(\delta^2)\right),\\ s&=\frac{\pi^3L^2r_0^3}{4G_{10}} \left(1+\frac\delta4+O(\delta^2)\right),\\ \varepsilon&=\mathcal C\left(3x+\frac{x^2}{2q}+O(x^4/q^3)\right). \end{aligned}$$

The additional near-horizon approximation $r\ll L$ drops the constant in $H$. Together these give the planar AdS black brane times a sphere,

$$ds^2=\frac{r^2}{L^2}\left(-fdt^2+d\mathbf x_3^2\right) +\frac{L^2}{r^2}\frac{dr^2}{f}+L^2d\Omega_5^2, \qquad f=1-\frac{r_0^4}{r^4}.$$

At finite $\alpha'$ this metric approximates the interior of the full geometry. A decoupling limit instead makes the throat a separate spacetime. Send $\alpha'\to0$ with

$$U=\frac r{\alpha'},\qquad U_0=\frac{r_0}{\alpha'}, \qquad \lambda\quad\text{fixed}.$$

In particular, $U_0$ must be held fixed to retain a finite temperature. Then $r_0/L\to0$, while

$$\begin{aligned} \frac{ds^2}{\alpha'}={}&\frac{U^2}{\sqrt\lambda} \left(-fdt^2+d\mathbf x_3^2\right) +\frac{\sqrt\lambda}{U^2}\frac{dU^2}{f} +\sqrt\lambda\,d\Omega_5^2,\\ f&=1-\frac{U_0^4}{U^4}, \qquad T=\frac{U_0}{\pi\sqrt\lambda}. \end{aligned}$$

The limiting geometry has its own AdS boundary at $U\to\infty$. This does not assert that $r\ll L$ holds out to infinity in the original asymptotically flat geometry: the limit was taken first. Removing the common conformal factor at the boundary gives $-dt^2+d\mathbf x_3^2$, identifying the temperature and volume used by the gauge theory. The full decoupling argument and the source dictionary are developed on page 31.

Entropy and the three-quarters comparison

In the throat, the internal sphere has radius $L$. Dimensional reduction of the Einstein term gives

$$\frac1{G_5}=\frac{\pi^3L^5}{G_{10}}, \qquad s=\frac1{4G_5}\left(\frac{r_0}{L}\right)^3.$$

This is the same area calculation in five dimensions: the internal sphere has been absorbed into Newton’s constant. Inserting $r_0=\pi L^2T$ and the shared charge/gravitational normalizations gives

$$s=\frac{\pi^6L^8}{4G_{10}}T^3 =\frac{\pi^2}{2}N^2T^3.$$

The temperature power follows from conformal invariance in three spatial dimensions. The $N^2$ factor follows here from $L^8/G_{10}\propto N^2$; weakly coupled adjoint counting gives the same leading power. Neither argument makes the thermal coefficient a supersymmetric nonrenormalization theorem.

Physical degrees of freedom in the free gas

For each adjoint color, the massless multiplet has two transverse gluon polarizations, six real scalar modes, and eight fermionic helicity states. Thus $n_b=8$ and $n_f=8$. The momentum integral for one bosonic or fermionic degree of freedom is

$$\varepsilon_{b,f}=\frac{T^4}{2\pi^2} \int_0^\infty\frac{u^3\,du}{e^u\mp1}, \qquad p_{b,f}=\frac{\varepsilon_{b,f}}3.$$

The upper minus sign is bosonic. Expanding the occupation factor into exponentials gives $\int u^3/(e^u-1)\,du=\pi^4/15$ and a fermionic integral $7/8$ as large. Since $s=(\varepsilon+p)/T$, the result for color multiplicity $d_A$ is

$$s_{\rm free}=d_A\frac{2\pi^2}{45} \left(8+\frac78\,8\right)T^3 =\frac{2\pi^2}{3}d_AT^3.$$

For $SU(N)$, $d_A=N^2-1$; $U(N)$ adds one free, decoupled Abelian multiplet. Classical gravity determines the leading large-$N$ term. It does not establish an exact finite-$N$ ratio by combining its leading answer with the exact free color count.

Entropy per $N^2T^3$ at leading large $N$, plotted on a common linear scale at the same temperature. The free bar separates eight bosonic polarizations from eight fermionic helicity states with their $7/8$ thermal weight. The black-brane value is three quarters of their sum. This is a canonical comparison; at the same energy above extremality the entropy ratio is $(3/4)^{1/4}$ instead.

Energy, free energy, and the ensemble

Subtract the zero-temperature energy at the same charge. With this reference, integrating $s=-\partial(F/V_3)/\partial T$ gives

$$\frac{F_0}{V_3}=-\frac{\pi^2}{8}N^2T^4, \qquad p_0=\frac{\pi^2}{8}N^2T^4, \qquad \varepsilon_0=\frac{3\pi^2}{8}N^2T^4.$$

The last expression also follows from the leading term $3\mathcal C r_0^4$ in the exact ADM energy. The subscript $0$ denotes the classical gravity approximation, not zero temperature. Exercise 4 obtains the same free energy from the regulated Euclidean gravitational action, with the boundary time circles matched before subtraction.

More generally, if $F=-aV_3T^4$, then $S=4aV_3T^3$ and $E=3aV_3T^4$. At equal $T$ and $V_3$, an entropy ratio is a ratio of $a$‘s. At equal $E$ and $V_3$, eliminating temperature instead gives

$$S(E,V_3)=\frac4{3^{3/4}}a^{1/4}V_3^{1/4}E^{3/4}, \qquad \left.\frac{S_{\rm strong}}{S_{\rm free}}\right|_{E,V_3} =\left(\frac34\right)^{1/4}.$$

These comparisons concern the ordinary thermal trace $\operatorname{Tr}e^{-\beta H}$, whose Euclidean fermions are antiperiodic. They are not supersymmetric indices with an insertion of $(-1)^F$.

For an uncompactified planar boundary, $F_0$ is negative for every $T>0$ relative to thermal Poincaré AdS with the same flat boundary data. There is no finite-temperature Hawking–Page crossing between these two saddles. A spherical boundary introduces its curvature radius as another scale and requires a different comparison. A turning point of the full asymptotically flat D3 temperature is a third, distinct question.

The leading strong-coupling correction

Write the planar free energy as

$$\frac FV_3=-\frac{\pi^2}{6}N^2T^4\,\mathfrak f(\lambda).$$

The free and classical-gravity limits are $\mathfrak f(0)=1$ and $\mathfrak f(\infty)=3/4$. The leading large-$\lambda$ correction was calculated by Gubser, Klebanov, and Tseytlin, using the tree-level $\alpha'^3$ term of the IIB effective action. A useful way to understand the coefficient is to separate its string-theory input from its gravitational evaluation.

In the field-redefinition scheme used for that calculation, the relevant first-order Euclidean action contribution on this background is

$$\delta I_E=-\frac{\gamma}{16\pi G_5} \int d^5x\sqrt{g_5}\,W, \qquad \gamma=\frac{\zeta(3)}8\alpha'^3.$$

Here $W$ is the specified quartic Weyl contraction, not an arbitrary scalar called “$R^4$.” On the unperturbed black brane its value and measure are

$$W=\frac{180r_0^{16}}{L^8r^{16}}, \qquad \sqrt{g_5}=\frac{r^3}{L^3}.$$

These are the action and invariant inputs; Exercise 5 displays the contraction and checks how it enters the thermodynamics. The radial integral is finite and elementary:

$$\int_{r_0}^{\infty}dr\,\sqrt{g_5}W =\frac{180r_0^{16}}{L^{11}} \int_{r_0}^{\infty}\frac{dr}{r^{13}} =\frac{15r_0^4}{L^{11}}.$$

Why is it legitimate to use the unperturbed geometry? At fixed boundary temperature and charge, the zeroth-order action, including its boundary terms, is stationary. In an expansion $I_0[g_0+\gamma g_1]+\gamma I_1[g_0+\gamma g_1]$, the first-order variation of $I_0$ vanishes for variations satisfying that boundary problem. Thus the first correction comes from $I_1[g_0]$. One must hold the physical temperature fixed, rather than keep a corrected solution’s horizon parameter fixed and identify that with an unchanged temperature.

Dividing $\delta I_E$ by $\beta$ and comparing with $F_0/V_3=-r_0^4/(16\pi G_5L^5)$ gives

$$\frac{\delta F}{F_0}=\frac{15\gamma}{L^6} =\frac{15}{8}\zeta(3)\lambda^{-3/2}, \qquad \mathfrak f(\lambda)=\frac34+ \frac{45}{32}\zeta(3)\lambda^{-3/2}+\cdots.$$

The positive correction makes $F$ more negative and increases the entropy at the same $T$. The cited paper uses $g_{\rm YM}^2=2\pi g_s$; its combination $2g_{\rm YM}^2N$ is the $\lambda$ used here. This translation is essential to the numerical coefficient.

This calculation uses a known term of the string effective action and its applicable reduction. It is not a derivation of the complete higher-derivative IIB action or of every corrected field. At higher derivative order the entropy is determined by the action’s entropy prescription, such as the Wald construction when applicable, rather than the corrected area alone. In particular, the sphere-radius mode of a corrected ten-dimensional ansatz should not be discarded merely because the leading product geometry has a constant sphere.

The leading strong-coupling asymptotic expression $\mathfrak f_{\rm asym}=3/4+(45\zeta(3)/32)\lambda^{-3/2}$, for $20\leq\lambda\leq200$. The horizontal axis is logarithmic and the vertical axis is linear with a displayed restricted range. Every plotted value lies above $3/4$. The range illustrates the leading correction; it is not an error bound on omitted terms, and the curve does not determine an interpolation to weak coupling.

When the calculation is controlled

Small curvature requires $L^2/\alpha'=\sqrt\lambda\gg1$. The simplest string perturbation regime also has $g_s=\lambda/(4\pi N)\ll1$. A sufficient parametric window is therefore $1\ll\lambda\ll N$, with large total entropy $N^2V_3T^3$. One can equivalently take the planar limit first at fixed $\lambda$, then study large $\lambda$. The infinite-volume result assumes uncompactified spatial directions, or a large-volume regime in which finite-size effects are negligible. Neither the two endpoint values of $\mathfrak f$ nor the one-term correction fixes its behavior at all couplings.

What changes for M2- and M5-branes

The same area reasoning applies to the M-brane throats. Let a planar $\mathrm{AdS}_{d+1}$ black brane have radius $\ell$, radial coordinate $u$, and blackening factor $1-(u_0/u)^d$. Euclidean regularity and the area law give

$$T=\frac{du_0}{4\pi\ell^2}, \qquad s=\frac1{4G_{d+1}}\left(\frac{u_0}{\ell}\right)^{d-1} =\frac1{4G_{d+1}}\left(\frac{4\pi\ell T}{d}\right)^{d-1}.$$

Reducing over the internal sphere means $G_{d+1}=G_{11}/\operatorname{Vol}(S)$. It is crucial that the AdS and sphere radii are different: $\ell=R_2/2$ for M2-branes and $\ell=2R_5$ for M5-branes. With the flux-quantized radii already derived on page 27, the result is

$$s_{\rm M2}=\frac{2^{7/2}\pi^2}{27}N^{3/2}T^2, \qquad s_{\rm M5}=\frac{2^7\pi^3}{729}N^3T^5.$$

Exercise 6 works out the sphere volumes and numerical factors. The different powers of $N$ are gravitational predictions for strongly coupled worldvolume theories, not counts of independent free matrix species. These near-extremal entropy scalings were established by Klebanov and Tseytlin. A separate dynamical test of the D3 description is the absorption calculation on page 30.

A comparison: the D1–D5 throat

Intersecting branes give another AdS throat. Take $N_1$ D1-branes along $(t,y)$ and $N_5$ D5-branes along $(t,y,T^4)$, with positive charges and no momentum excitation along $y$. The D1–D5 intersection has four mixed boundary-condition directions. Here use the extremal, translationally invariant solution on the torus: retaining its zero modes smears the D1 charge over $T^4$.

Let the asymptotic string-frame torus metric $ds_{T^4,\infty}^2$ have volume

$$V_4=(2\pi)^4\alpha'^2v.$$

The charge radii and harmonic functions are

$$\begin{aligned} r_1^2&=\frac{g_s\alpha'N_1}{v}, & H_1&=1+\frac{r_1^2}{r^2},\\ r_5^2&=g_s\alpha'N_5, & H_5&=1+\frac{r_5^2}{r^2}. \end{aligned}$$

The ten-dimensional string-frame geometry and total dilaton are

$$\begin{aligned} ds_{10,\mathrm S}^2={}&(H_1H_5)^{-1/2}(-dt^2+dy^2)\\ &+(H_1H_5)^{1/2}(dr^2+r^2d\Omega_3^2)\\ &+\left(\frac{H_1}{H_5}\right)^{1/2}ds_{T^4,\infty}^2, \qquad e^{2\Phi}=g_s^2\frac{H_1}{H_5}. \end{aligned}$$

This is the zero-momentum extremal limit of the solution of Horowitz, Maldacena, and Strominger, converted using the shared Einstein/string-frame relation.

In the region $r\ll r_1,r_5$, drop the constant terms in both harmonic functions. Define $L^2=r_1r_5$. Then $(H_1H_5)^{1/2}\to L^2/r^2$ and $(H_1/H_5)^{1/2}\to r_1/r_5$. Substituting these factors and setting $z=L^2/r$ gives

$$\begin{aligned} ds_{10,\mathrm S}^2&\longrightarrow \frac{L^2}{z^2}(-dt^2+dy^2+dz^2) +L^2d\Omega_3^2 +\frac{r_1}{r_5}ds_{T^4,\infty}^2,\\ L^2&=g_s\alpha'\sqrt{\frac{N_1N_5}{v}}, \qquad e^{\Phi}\longrightarrow g_s\frac{r_1}{r_5}. \end{aligned}$$

Thus the local product is $AdS_3\times S^3\times T^4$: the AdS and sphere radii are equal in this frame, while the torus metric and dilaton become constant. The torus volume approaches $V_4(r_1/r_5)^2=(2\pi)^4\alpha'^2N_1/N_5$. This is the near-throat geometry in Maldacena’s D1–D5 example, section 4. If $y$ is periodic, its identification remains; the three-dimensional space is locally AdS, with a quotient rather than unquotiented global AdS geometry.

Small string-scale curvature requires $L^2/\alpha'\gg1$, and a weak local string coupling requires $g_s r_1/r_5\ll1$. A ten-dimensional supergravity treatment must also account for the individual torus cycle sizes and any light winding modes. The geometry comparison does not identify this two-charge extremal configuration with the thermal D3 state considered above.

Common pitfalls

Keeping the harmonic coefficient fixed. In the exact charged black-brane family, $h(h+r_0^4)=q^2$. Holding $h$ fixed as the horizon grows changes the physical charge; it does not describe heating the same stack.

Mixing frames or ensembles. A radius, horizon area, and Newton constant must use compatible metric normalization. Likewise, the three-quarters entropy ratio compares equal temperatures; equal energies give a different ratio.

Treating a thermal coefficient as protected. The large-$N$ scaling and conformal temperature dependence do not fix the coefficient. Ordinary thermal boundary conditions do not compute a supersymmetric index.

Extrapolating an asymptotic curve. The positive leading correction establishes the local approach to $3/4$ at large coupling. It neither proves monotonicity at every coupling nor demonstrates a finite-temperature planar phase transition.

Exercises

1. Exact charge, heat capacity, and a wrong fixed parameter

At fixed $q>0$, derive the ADM integrand from the asymptotic perturbations above, verify the first law, and find where the fixed-charge heat capacity changes sign. Compare with the family obtained by holding $h=q$ while varying $x$. Does that family have the same charge?

Solution

The full spatial trace is $\delta g_{JJ}=(3h/2+x)/r^4$. In six normal dimensions,

$$\partial_j(r^{-4}\delta_{ij})=-4n_i/r^5, \qquad \partial_j(r^{-4}n_in_j)=n_i/r^5.$$

Thus $\partial_J\delta g_{iJ}=(-2h+x)n_i/r^5$, while the derivative of the trace is $(-6h-4x)n_i/r^5$. Their difference is $(4h+5x)n_i/r^5$. The ADM coefficient is $1/(16\pi G_{10})$, and the $r^5$ in the integration measure cancels, giving $M/V_3=\mathcal C(4h+5x)$.

Write $D=\sqrt{x^2+4q^2}$ and $A=x+h=(x+D)/2$. Then

$$\frac{A'}A=\frac1D, \quad s=4\pi\mathcal Cx^{3/4}\sqrt A, \quad T=\frac{x^{1/4}}{\pi\sqrt A}, \quad Ts=4\mathcal Cx.$$

It follows that

$$T\frac{ds}{dx}=\mathcal C\left(3+\frac{2x}{D}\right) =\frac{d\varepsilon}{dx}.$$

In contrast,

$$\frac1T\frac{dT}{dx}=\frac1{4x}-\frac1{2D} =\frac{D-2x}{4xD}.$$

Since $d\varepsilon/dx>0$, the sign of $c_q=d\varepsilon/dT$ is the sign of $D-2x$. It is positive for $x<2q/\sqrt3$ and negative for larger $x$, diverging at the maximum of $T$. Explicitly,

$$c_q=\frac{4\mathcal Cx(3D+2x)}{T(D-2x)}.$$

The near-extremal branch has $x/q\ll1$, so it lies safely on the positive branch. The turnover at $r_0/L=(2/\sqrt3)^{1/4}\simeq1.037$ is outside the near-extremal CFT approximation.

Now falsely impose $h=q$ as an exact relation. Its electric coefficient must satisfy $h\coth b=\sqrt{h(h+x)}$, so its physical charge length is $q_{\rm phys}=\sqrt{q(q+x)}$, not $q$. If one nevertheless subtracts $4\mathcal Cq$ as a fixed BPS energy, one obtains $\varepsilon_{\rm wrong}=5\mathcal Cx$, whereas its temperature and area give

$$\frac{d\varepsilon_{\rm wrong}}{dx} -T\frac{ds_{\rm wrong}}{dx} =\frac{2\mathcal Cq}{q+x}\ne0.$$

This residual is the missed charge-work contribution. The metric with fixed $h$ is a member of a legitimate varying-charge family when accompanied by the corresponding flux. The error is interpreting it as fixed charge. Omitting $\coth b$ would instead make the flux proportional to $h$, which is not the field supporting this nonextremal metric.

2. Decoupling, boundary units, and frame consistency

Carry out the thermal decoupling limit keeping both $U$ and $U_0$ fixed. Explain why keeping $r_0$ fixed would fail. Verify the entropy reduction to five dimensions and its behavior under an AdS dilation. Finally, show how using the unshifted Einstein-frame area with the original $G_{10}$ gives a spurious power of $g_s$.

Solution

With $r=\alpha'U$, $r_0=\alpha'U_0$, and $q=\lambda\alpha'^2$, one has

$$\frac xq=\frac{\alpha'^2U_0^4}{\lambda}\to0, \qquad H\sim\frac{\lambda}{\alpha'^2U^4}.$$

Substitution in each block of the metric produces the finite $ds^2/\alpha'$ displayed above. The Euclidean near-tip calculation then gives $\beta=\pi\sqrt\lambda/U_0$. Keeping $r_0$ fixed instead would send $r_0/L\to\infty$ and remove the horizon from the finite-$U$ throat. That is not the thermal decoupling limit of a near-extremal stack.

The boundary representative is obtained by multiplying the limiting five-dimensional metric by $\sqrt\lambda/U^2$. It is $dt_E^2+d\mathbf x_3^2$, so its time period is precisely the thermal $\beta$, not the proper period at a finite radial cutoff.

For the product with $S^5_L$, integrating the ten-dimensional Einstein term gives $G_5=G_{10}/(\pi^3L^5)$. Multiplying the five-dimensional horizon area density $(r_0/L)^3$ by the same internal volume reproduces the ten-dimensional area. Thus the reduction does not introduce an independent entropy normalization.

The AdS dilation $r'=a r$, $t'=t/a$, $\mathbf x'=\mathbf x/a$ preserves the throat metric’s form and sends $r'_0=a r_0$. Consequently $T'=aT$, $V'_3=V_3/a^3$, and $s'=a^3s$. Both $S=sV_3$ and $s/T^3$ are invariant. This checks that the temperature coefficient is expressed in boundary units consistently.

For a constant metric rescaling $\widehat g=c^2g$, an eight-dimensional horizon area scales as $\widehat A=c^8A$. Expressing the Einstein action in the rescaled metric also changes the Newton coefficient to $\widehat G_{10}=c^8G_{10}$. Hence $\widehat A/(4\widehat G_{10})=A/(4G_{10})$. For the unshifted Einstein metric, $c=g_s^{-1/4}$, so using $\widehat A$ with the old $G_{10}$ would multiply the entropy by the incorrect factor $g_s^{-2}$.

3. Occupation integrals and microcanonical entropy

Evaluate the Bose and Fermi energy integrals by expanding the occupation factors, and obtain the free pressure and entropy for the physical $\mathcal N=4$ multiplet. At fixed energy and volume, derive both the ratio of temperatures and the ratio of entropies between the free and strongly coupled theories. State how the $SU(N)$ and $U(N)$ counts differ.

Solution

Use $\int_0^\infty u^3e^{-mu}\,du=6/m^4$. The positive Bose series permits termwise integration; the integrated absolute values of the Fermi series also sum to a finite value. Therefore

$$\begin{aligned} I_b&=6\sum_{m=1}^\infty\frac1{m^4} =6\zeta(4)=\frac{\pi^4}{15},\\ I_f&=6\sum_{m=1}^\infty\frac{(-1)^{m-1}}{m^4} =6(1-2^{1-4})\zeta(4)=\frac78I_b. \end{aligned}$$

The factor $7/8$ is a thermal occupation effect, not a reduced number of fermionic states. Eight bosonic and eight fermionic states per adjoint color give

$$\varepsilon_{\rm free}=\frac{\pi^2}{2}d_AT^4, \quad p_{\rm free}=\frac{\pi^2}{6}d_AT^4, \quad s_{\rm free}=\frac{2\pi^2}{3}d_AT^3.$$

For example, four Weyl fields contribute two physical particle/antiparticle helicity states each. The gluon contributes two polarizations rather than four gauge-potential components. Here $d_A=N^2-1$ for $SU(N)$, and $d_A=N^2$ for $U(N)$, including the decoupled $U(1)$ multiplet.

At leading large $N$, write $a_s/a_f=3/4$. From $E=3aV_3T^4$ at the same $E$ and $V_3$,

$$\frac{T_s}{T_f}=\left(\frac{a_f}{a_s}\right)^{1/4} =\left(\frac43\right)^{1/4}, \qquad \frac{S_s}{S_f}=\frac{a_sT_s^3}{a_fT_f^3} =\left(\frac34\right)^{1/4}\simeq0.9306.$$

The strongly coupled system is hotter at the same energy, which partly compensates its smaller fixed-temperature entropy coefficient. The equal-temperature ratio remains $3/4$. Neither comparison is protected by supersymmetry: the ordinary trace has antiperiodic thermal fermions, whereas an index uses different boundary conditions and weights.

4. Free energy from a matched gravitational subtraction

Use the five-dimensional Euclidean Einstein action and Gibbons–Hawking term,

$$I_E=-\frac1{16\pi G_5}\int_M\sqrt g\left(R+\frac{12}{L^2}\right) -\frac1{8\pi G_5}\int_{\partial M}\sqrt{\gamma_\partial}\,K.$$

Cut off the black brane and thermal Poincaré AdS at $r=R_c$. Match their induced metrics, compute bulk and boundary contributions separately, and take $R_c\to\infty$. What goes wrong if their coordinate time periods are set equal before matching?

Solution

The black-brane metric has $g_{tt}=r^2f/L^2$, $g_{rr}=L^2/(r^2f)$, and $\sqrt g=r^3/L^3$. Both solutions have $R=-20/L^2$. Their radial ranges are $r_0\leq r\leq R_c$ and $0\leq r\leq R_c$, respectively. The horizon is a smooth interior point, not an extra boundary.

At $R_c$, the proper time circles agree only if

$$\beta_0=\beta\sqrt{f_c}, \qquad f_c=1-\frac{r_0^4}{R_c^4}.$$

The spatial induced metrics already agree. The subtracted bulk action is

$$\frac{\Delta I_{\rm bulk}}{\beta V_3} =\frac{R_c^4-r_0^4-\sqrt{f_c}R_c^4} {8\pi G_5L^5}.$$

For the outward unit normal $n^r=r\sqrt f/L$, the extrinsic curvature follows from $K=n^r\partial_r\log\sqrt{\gamma_\partial}$:

$$\sqrt{\gamma_\partial}=\frac{r^4\sqrt f}{L^4}, \qquad \sqrt{\gamma_\partial}K =\frac1{L^5}\left(4r^4f+\frac{r^5f'}2\right) =\frac{4r^4-2r_0^4}{L^5}.$$

Thus

$$\frac{\Delta I_{\rm GH}}{\beta V_3} =-\frac{4R_c^4-2r_0^4-4\sqrt{f_c}R_c^4} {8\pi G_5L^5}.$$

Adding gives

$$\frac{\Delta I_E}{\beta V_3} =\frac{r_0^4-3R_c^4+3\sqrt{f_c}R_c^4}{8\pi G_5L^5} \longrightarrow-\frac{r_0^4}{16\pi G_5L^5}.$$

In the last step, $R_c^4\sqrt{f_c}=R_c^4-r_0^4/2+O(R_c^{-4})$. Inserting $r_0=\pi L^2T$ and the D3 dictionary gives $F_0/V_3=-\pi^2N^2T^4/8$.

If instead $\beta_0=\beta$, the unmatched bulk difference is $-r_0^4/(8\pi G_5L^5)$ and the unmatched boundary difference is $+2r_0^4/(8\pi G_5L^5)$. Their sum is positive and equals $+r_0^4/(8\pi G_5L^5)$: it is comparing different boundary temperatures. The boundary mismatch tends to zero at large cutoff, but its product with the divergent volume leaves a finite error.

With matched periods, the subtracted Gibbons–Hawking contribution tends to zero in this particular comparison. It is still required for the finite-cutoff variational problem; omitting it cannot be diagnosed solely by this limiting number. The negative matched free energy for all $T>0$ rules out a crossing between these planar saddles. It makes no claim about a global $S^3$ boundary or spatial compactifications. This calculation uses the fixed-flux reduced theory, which has already incorporated the five-form consistently.

5. The curvature correction and its range of validity

Given the action input above, use the Euclidean Weyl contraction

$$\begin{aligned} W={}&C^{hmnk}C_{pmnq}C_h{}^{rsp}C^q{}_{rsk}\\ &+\frac12C^{hkmn}C_{pqmn}C_h{}^{rsp}C^q{}_{rsk} \end{aligned}$$

and its value $W=180X^4$, $X=r_0^4/(L^2r^4)$, to determine the leading entropy and energy corrections at fixed $\lambda$. Estimate the plotted correction at $\lambda=20$, and calculate the errors from a reversed correction sign or an untranslated factor of two in the gauge coupling. Explain the limitation of using an area formula alone.

Solution

The Weyl tensor is traceless; in an orthonormal Euclidean frame split into $a,b\in\{t_E,r\}$ and $i,j\in\{1,2,3\}$, its independent sectional components are

$$C_{t_Ert_Er}=3X, \qquad C_{aiai}=-X, \qquad C_{ijij}=X\quad(i\ne j).$$

The remaining entries follow from the curvature symmetries. The first contraction is $348X^4$, and the second contraction before its factor of $1/2$ is $-336X^4$. Their sum is $(348-168)X^4=180X^4$. The choice of contraction and its string coefficient are physical input; replacing it by a different quartic invariant would not preserve the result.

The radial measure makes the integral proportional to $\int_{r_0}^\infty r^{-13}dr=r_0^{-12}/12$. Hence the first-order free energy is

$$\frac F{V_3}=-a_0T^4(1+k+\cdots), \quad a_0=\frac{\pi^2N^2}{8}, \quad k=\frac{15}{8}\zeta(3)\lambda^{-3/2}.$$

At fixed coupling $k$ is independent of $T$, so ordinary thermodynamic differentiation gives

$$s=4a_0T^3(1+k+\cdots), \qquad \varepsilon=3a_0T^4(1+k+\cdots), \qquad p=\frac{\varepsilon}{3}.$$

Thus conformal scaling remains intact. At $\lambda=20$ the shift of the normalized coefficient is

$$\Delta\mathfrak f=\frac{45\zeta(3)}{32\,20^{3/2}} \simeq0.0188992, \qquad \mathfrak f_{\rm asym}\simeq0.7688992.$$

A reversed sign would predict $0.7311008$, below the infinite-coupling limit, and contradict the action input. If the original paper’s coupling $\lambda_{\rm old}=\lambda/2$ were substituted for $\lambda$ without the corresponding factor of two, the correction would be too large by $2^{3/2}$; at this point the wrong shift would be about $0.0534549$.

The expansion parameter is $\alpha'/L^2=\lambda^{-1/2}$, and this correction first occurs at its third power. String loops require separate control, for example $g_s\ll1$ with large $N$. No error estimate for all omitted terms follows from a single retained term, even when it is small.

Finally, a higher-derivative action modifies both the geometry and the relation between its horizon data and thermodynamic entropy. The corrected horizon area alone is therefore insufficient. The fixed-temperature action calculation above determines the first correction without needing the complete corrected ten-dimensional metric; it does not justify neglecting other fields in a proposed full corrected solution.

6. M-brane entropy coefficients from their two radii

Derive the general planar AdS entropy formula used above, then evaluate the M2 and M5 coefficients using the flux-quantized sphere radii from page 27. Track the factor of two between each sphere radius and its AdS radius. What error results from setting those radii equal?

Solution

For

$$ds_{d+1}^2=\frac{u^2}{\ell^2} \left(-fdt^2+d\mathbf x_{d-1}^2\right) +\frac{\ell^2du^2}{u^2f}, \qquad f=1-\left(\frac{u_0}{u}\right)^d,$$

one has $f'(u_0)=d/u_0$. The Euclidean near-tip metric gives $T=du_0/(4\pi\ell^2)$, and the horizon determinant per boundary volume is $(u_0/\ell)^{d-1}$. Their combination yields

$$s=\frac{\operatorname{Vol}(S)}{4G_{11}} \left(\frac{4\pi\ell T}{d}\right)^{d-1}.$$

The unit-sphere formula $\Omega_n=2\pi^{(n+1)/2}/\Gamma((n+1)/2)$ gives $\Omega_7=\pi^4/3$ and $\Omega_4=8\pi^2/3$. The shared eleven-dimensional coupling implies $G_{11}=16\pi^7\ell_p^9$.

For M2-branes, $d=3$, $\ell=R_2/2$, and $R_2^6=32\pi^2N\ell_p^6$. Therefore

$$\begin{aligned} s_{\rm M2} &=\frac{\pi^4R_2^7}{12G_{11}} \left(\frac{2\pi R_2T}{3}\right)^2 =\frac{\pi^6R_2^9}{27G_{11}}T^2\\ &=\frac{2^{7/2}\pi^2}{27}N^{3/2}T^2. \end{aligned}$$

The standard AdS radial coordinate is $u=r^2/(2R_2)$ in the throat metric inherited from the M2 solution; it gives exactly $\ell=R_2/2$ without changing the worldvolume time normalization.

For M5-branes, $d=6$, $\ell=2R_5$, and $R_5^3=\pi N\ell_p^3$. Hence

$$\begin{aligned} s_{\rm M5} &=\frac{2\pi^2R_5^4}{3G_{11}} \left(\frac{4\pi R_5T}{3}\right)^5\\ &=\frac{2^{11}\pi^7R_5^9}{729G_{11}}T^5 =\frac{2^7\pi^3}{729}N^3T^5. \end{aligned}$$

Here the standard AdS coordinate is $u=2\sqrt{R_5r}$, which fixes the radial and worldvolume blocks with $\ell=2R_5$.

At fixed sphere radius and Newton constant, the entropy scales as $\ell^{d-1}$. Replacing $R_2/2$ by $R_2$ would give four times the correct M2 entropy; replacing $2R_5$ by $R_5$ would give $1/32$ of the M5 result. These are substantial normalization errors even though the powers of $N$ and $T$ remain unchanged.

Large $N$ makes the curvature radii large compared with $\ell_p$. The displayed densities describe uncompactified branes, or sufficiently large worldvolume directions in the homogeneous black-brane regime. They do not by themselves settle finite-size phases or supply a free-particle interpretation of the fractional $N^{3/2}$ power.

References

• Gubser, Steven S., Igor R. Klebanov, and Amanda W. Peet. “Entropy and Temperature of Black 3-Branes.” Physical Review D 54 (1996), 3915–3919. doi:10.1103/PhysRevD.54.3915; arXiv:hep-th/9602135.
• Gubser, Steven S., Igor R. Klebanov, and Arkady A. Tseytlin. “Coupling Constant Dependence in the Thermodynamics of N=4 Supersymmetric Yang-Mills Theory.” Nuclear Physics B 534 (1998), 202–222. doi:10.1016/S0550-3213(98)00514-8; arXiv:hep-th/9805156. Sections 2–3 and the Note Added discuss the leading action correction and the scope of the corrected geometry.
• Horowitz, Gary T., Juan M. Maldacena, and Andrew Strominger. “Nonextremal Black Hole Microstates and U-duality.” Physics Letters B 383 (1996), 151–159. doi:10.1016/0370-2693(96)00738-1; arXiv:hep-th/9603109. Section 2.1 gives the ten-dimensional metric and charge normalization.
• Klebanov, Igor R., and Arkady A. Tseytlin. “Entropy of Near-Extremal Black p-Branes.” Nuclear Physics B 475 (1996), 164–178. doi:10.1016/0550-3213(96)00295-7; arXiv:hep-th/9604089.
• Maldacena, Juan M. “The Large N Limit of Superconformal Field Theories and Supergravity.” Advances in Theoretical and Mathematical Physics 2 (1998), 231–252. arXiv:hep-th/9711200. Section 4, equations (4.1)–(4.3), derives the D1–D5 throat limit.