Skip to content

Chemical Potential and Charged Black Branes

In holography, the boundary chemical potential is the gauge-invariant potential difference between the AdS boundary and a regular horizon, while the charge density is the conserved radial electric flux with a normalization fixed by the bulk Maxwell term. Dirichlet and fixed-flux boundary conditions define grand-canonical and canonical ensembles; using the same metric with different gauge boundary terms changes the thermodynamic question. A broad derivation of these finite-density conventions is given by Hartnoll 2009.

Required background. Chemical Potentials and Finite-Density Ensembles fixes the thermodynamics, and AdS Black Branes and Holographic Thermodynamics supplies the neutral saddle.

Helpful background. Thermodynamic Limits, Phases, and Ensemble Equivalence distinguishes ensemble stability; Currents, Stress Tensor, and Bulk Gauge and Metric Fields fixes the current dictionary.

Take

S=12κ2dd+1xg[R+d(d1)L2L24gF2FMNFMN].S=\frac{1}{2\kappa^2} \int d^{d+1}x\sqrt{\lvert g\rvert} \left[ R+\frac{d(d-1)}{L^2} -\frac{L^2}{4g_F^2}F_{MN}F^{MN} \right].

For a homogeneous electric ansatz, Maxwell’s equation gives the radially conserved quantity

Q=L22κ2gF2gFrt,rQ=0.\mathcal Q =-\frac{L^2}{2\kappa^2g_F^2} \sqrt{\lvert g\rvert}\,F^{rt}, \qquad \partial_r\mathcal Q=0.

With this sign convention, the renormalized boundary charge density is ρ=Q\rho=\mathcal Q. For a planar black brane,

At(r)=μQrd2,At(rh)=0μ=Qrhd2.A_t(r)=\mu-\frac{Q}{r^{d-2}}, \qquad A_t(r_h)=0 \quad\Longrightarrow\quad \mu=\frac{Q}{r_h^{d-2}}.

The last condition is regularity of the Euclidean one-form at the contractible thermal circle, or equivalently regularity in a horizon gauge. A constant shift of AtA_t changes neither FF nor physics, so μ\mu is the potential difference, not the unqualified boundary value.

The Einstein equation yields

f(r)=r2L2mrd2+αdQ2r2d4,f(r)=\frac{r^2}{L^2} -\frac{m}{r^{d-2}} +\alpha_d\frac{Q^2}{r^{2d-4}},

where αd\alpha_d is fixed by κ/gF\kappa/g_F and the definition of QQ. The horizon condition f(rh)=0f(r_h)=0 eliminates mm, and

T=f(rh)4π,s=2πκ2(rhL)d1.T=\frac{f'(r_h)}{4\pi}, \qquad s=\frac{2\pi}{\kappa^2} \left(\frac{r_h}{L}\right)^{d-1}.

Holographic renormalization gives the pressure p=Ω/Vp=-\Omega/V, energy density, and charge. They must satisfy

dp=sdT+ρdμ,ϵ+p=Ts+μρd p=s\,dT+\rho\,d\mu, \qquad \epsilon+p=Ts+\mu\rho

for a conformal homogeneous state. These identities are stronger checks than fitting f(r)f(r) alone.

For an explicit first application, set d=3d=3, L=gF=1L=g_F=1, and use z=1/rz=1/r with boundary at z=0z=0:

ds2=1z2[f(z)dt2dz2f(z)dx2dy2],At=μ(1zzh),ds^2=\frac{1}{z^2}\left[f(z)dt^2-\frac{dz^2}{f(z)}-dx^2-dy^2\right], \qquad A_t=\mu\left(1-\frac{z}{z_h}\right), f(z)=1(1+q2)(zzh)3+q2(zzh)4,q2=μ2zh24.f(z)=1-\left(1+q^2\right)\left(\frac{z}{z_h}\right)^3 +q^2\left(\frac{z}{z_h}\right)^4, \qquad q^2=\frac{\mu^2z_h^2}{4}.

With CJ=1/(2κ2)C_J=1/(2\kappa^2) in these units,

T=3q24πzh,ρ=CJμzh.T=\frac{3-q^2}{4\pi z_h}, \qquad \rho=C_J\frac{\mu}{z_h}.

The fixed-temperature susceptibility must include the implicit motion of the horizon:

χT=(ρμ)T=(ρμ)rh+(ρrh)μ(rhμ)T.\chi_T =\left(\frac{\partial\rho}{\partial\mu}\right)_T =\left(\frac{\partial\rho}{\partial\mu}\right)_{r_h} +\left(\frac{\partial\rho}{\partial r_h}\right)_\mu \left(\frac{\partial r_h}{\partial\mu}\right)_T.

Equivalently differentiating with zhz_h gives

(zhμ)T=μzh3/23+μ2zh2/4,χT=CJzh3+3μ2zh2/43+μ2zh2/4>0.\left(\frac{\partial z_h}{\partial\mu}\right)_T =-\frac{\mu z_h^3/2}{3+\mu^2z_h^2/4}, \qquad \chi_T=\frac{C_J}{z_h} \frac{3+3\mu^2z_h^2/4}{3+\mu^2z_h^2/4}>0.

Thus the horizon gauge At(zh)=0A_t(z_h)=0 and the equation of state together determine a positive grand-canonical susceptibility on this branch. In a different Maxwell normalization, both q(μ)q(\mu) and CJC_J must be changed consistently.

The implicit horizon response is essential. Charged AdS thermodynamics and ensemble-dependent stability were analyzed systematically by Chamblin et al. 1999.

Canonical versus grand-canonical adversary

Section titled “Canonical versus grand-canonical adversary”

Dirichlet boundary data δAt(0)=0\delta A_t^{(0)}=0 define fixed μ\mu. Fixed electric flux requires a Legendre boundary term and defines fixed ρ\rho. The appropriate Hessians are different:

χT=(ρμ)T>0versus(μρ)T>0.\chi_T=\left(\frac{\partial\rho}{\partial\mu}\right)_T>0 \quad\text{versus}\quad \left(\frac{\partial\mu}{\partial\rho}\right)_T>0.

A branch can be stable or dominant in one ensemble and not the other. Reusing the Euclidean on-shell action without the Legendre transform is the adversarial error.

The calculation establishes finite-density thermodynamics for the specified bulk action, gauge normalization, boundary condition, and saddle. It does not identify the boundary charge with electrons, baryon number, or any material current without an independent microscopic dictionary.

Thermal and Nonequilibrium QFT owns finite-density thermodynamics; the thermal black-hole chapter owns phase structure; later pages add charged matter and transport.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

  • Chamblin, Andrew; Emparan, Roberto; Johnson, Clifford V.; and Myers, Robert C. “Charged AdS Black Holes and Catastrophic Holography.” Physical Review D 60, 064018 (1999). doi:10.1103/PhysRevD.60.064018.
  • Hartnoll, Sean A. “Lectures on Holographic Methods for Condensed Matter Physics.” Classical and Quantum Gravity 26, 224002 (2009). doi:10.1088/0264-9381/26/22/224002.