Skip to content

4. Finite Density and Charged Black Branes

The first three pages developed the neutral, quantum-critical side of holographic quantum matter. We saw how conformal fixed points are represented by asymptotically AdS geometries, how finite temperature produces horizons, and why horizons encode dissipative real-time response. This page adds the next essential ingredient: finite density.

Finite density is not a small decoration of a thermal state. A many-body system with a conserved charge can be placed at nonzero chemical potential, and the ground state can become compressible. In a Fermi liquid, compressibility is organized around a Fermi surface and long-lived quasiparticles. In holographic quantum matter, the simplest compressible state is instead organized around a charged black brane. The charge density is carried by radial electric flux, and at low temperature the near-horizon region may become AdS2×RdAdS_2\times\mathbb R^d, a geometry that captures a peculiar kind of low-energy criticality.

The goal of this page is to make the finite-density dictionary precise enough that later pages can build on it without re-explaining the basics. We will separate four ideas that are often blurred:

  1. the boundary chemical potential μ\mu is a source;
  2. the boundary charge density ρ\rho is the response conjugate to that source;
  3. the bulk Maxwell field is dual to a global current, not automatically to the laboratory photon;
  4. a charged horizon is a controlled large-NN compressible state, not automatically a realistic metal.

Roadmap for finite density and charged black branes

Finite density in holography is encoded by a boundary source μ=At(0)\mu=A_t^{(0)}, a bulk electric field, and a charged horizon. The radial electric flux measures the charge density ρ\rho. If the flux enters the horizon, the charge is fractionalized; if it is carried by explicit charged bulk matter outside the horizon, the charge is more cohesive.

This sequence uses the common holographic quantum matter convention:

  • the boundary theory has dd spatial dimensions and spacetime dimension d+1d+1;
  • the bulk geometry is asymptotically AdSd+2AdS_{d+2};
  • the radial coordinate is zz, with the boundary at z=0z=0 and the horizon at z=zhz=z_h;
  • Greek boundary indices run over μ,ν=t,1,,d\mu,\nu=t,1,\ldots,d;
  • the AdS radius is LL.

Thus a 2+12+1-dimensional boundary system corresponds to d=2d=2 and a four-dimensional bulk.

This page assumes familiarity with the basic source/operator dictionary, finite-temperature black branes, and the first three pages of the sequence. In particular, we use without rederiving the source/operator rule

bulk gauge field AMboundary conserved current Jμ.\text{bulk gauge field } A_M \quad \longleftrightarrow \quad \text{boundary conserved current } J^\mu .

Let the boundary theory have a conserved global U(1)U(1) current,

μJμ=0,\partial_\mu J^\mu=0,

with charge

Q=ddxJt.Q=\int d^d x\,J^t .

A finite-density state is most cleanly prepared in the grand-canonical ensemble,

Z(T,μ)=Trexp[β(HμQ)],β=1T.Z(T,\mu) = \mathrm{Tr}\,\exp[-\beta(H-\mu Q)], \qquad \beta=\frac{1}{T} .

The chemical potential μ\mu is not the charge density. It is the source conjugate to the charge. The grand potential is

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

and for a homogeneous state with spatial volume VdV_d,

Ω=PVd.\Omega=-P V_d .

The pressure PP, entropy density ss, and charge density ρ\rho obey

s=(PT)μ,ρ=(Pμ)T,dP=sdT+ρdμ.s=\left(\frac{\partial P}{\partial T}\right)_\mu, \qquad \rho=\left(\frac{\partial P}{\partial \mu}\right)_T, \qquad dP=s\,dT+\rho\,d\mu .

Equivalently,

dϵ=Tds+μdρ,ϵ+P=Ts+μρ.d\epsilon=T\,ds+\mu\,d\rho, \qquad \epsilon+P=Ts+\mu\rho .

For a conformal theory in flat space, the equilibrium stress tensor is traceless,

ϵ+dP=0,ϵ=dP.-\epsilon+dP=0, \qquad \epsilon=dP .

Combining this with ϵ+P=Ts+μρ\epsilon+P=Ts+\mu\rho gives

(d+1)P=Ts+μρ.(d+1)P=Ts+\mu\rho .

Dimensional analysis then implies the scaling form

P(T,μ)=Td+1p ⁣(μT)=μd+1p~ ⁣(Tμ),P(T,\mu)=T^{d+1}p\!\left(\frac{\mu}{T}\right) =\mu^{d+1}\widetilde p\!\left(\frac{T}{\mu}\right),

up to possible anomaly-related subtleties in special backgrounds.

A system is compressible if the charge density changes continuously with μ\mu. A useful diagnostic is the susceptibility

χ=(ρμ)T.\chi=\left(\frac{\partial \rho}{\partial \mu}\right)_T .

In a conventional metal, χ\chi is tied to the density of quasiparticle states near a Fermi surface. In the simplest charged black brane, χ\chi is encoded instead in the response of radial electric flux to the boundary value of AtA_t.

In holography, a global U(1)U(1) symmetry of the boundary theory corresponds to a bulk gauge redundancy. The associated bulk gauge field AMA_M has near-boundary expansion

Aμ(z,x)=Aμ(0)(x)++Aμ(d1)(x)zd1+,A_\mu(z,x)=A_\mu^{(0)}(x)+\cdots+A_\mu^{(d-1)}(x)z^{d-1}+\cdots,

for the generic case d>1d>1. Logarithms and special powers can appear in low dimensions or special normalizations, but the source/response logic is the same.

For a homogeneous finite-density state, only At(z)A_t(z) is nonzero. The leading coefficient is the chemical potential,

At(0)=μ,A_t^{(0)}=\mu,

while the normalizable coefficient determines the charge density.

A minimal bulk action is

Sbulk=12κd+22dd+2xg[R+d(d+1)L2Z0L24FMNFMN]+Sbdy.S_{\rm bulk} = \frac{1}{2\kappa_{d+2}^2} \int d^{d+2}x\sqrt{-g} \left[ R+\frac{d(d+1)}{L^2} -\frac{Z_0L^2}{4}F_{MN}F^{MN} \right] +S_{\rm bdy} .

Here Z0Z_0 fixes the current normalization, and SbdyS_{\rm bdy} includes boundary terms and counterterms. The radial canonical momentum of the gauge field is

ΠAμ=12κd+22gZ0L2Fzμ.\Pi_A^\mu = \frac{1}{2\kappa_{d+2}^2}\sqrt{-g}\,Z_0L^2F^{z\mu} .

The boundary current is obtained from the renormalized limit of this canonical momentum:

Jμ=limz0ΠAμ+local counterterm contributions.\langle J^\mu\rangle = \lim_{z\to0}\Pi_A^\mu+\text{local counterterm contributions} .

For the homogeneous electric ansatz, the Maxwell equation gives

zΠAt=0\partial_z\Pi_A^t=0

whenever there is no charged bulk matter outside the horizon. Thus the charge density is a conserved radial flux. This is the simplest form of Gauss’s law in the emergent dimension.

Chemical potential as a potential difference

Section titled “Chemical potential as a potential difference”

There is an important gauge-invariance subtlety. A constant shift of AtA_t can be a gauge transformation, so AtA_t at a single radial point is not by itself physical. The physical chemical potential is the potential difference between the boundary and the horizon.

For a regular Euclidean black hole, the thermal time circle shrinks smoothly at the horizon. The one-form A=At(z)dτA=A_t(z)d\tau is regular at the tip only in a gauge where

At(zh)=0.A_t(z_h)=0 .

Then

μ=At(0)At(zh)=At(0).\mu=A_t(0)-A_t(z_h)=A_t(0) .

Equivalently,

μ=zh0dzzAt.\mu=\int_{z_h}^{0} dz\,\partial_z A_t .

This is the gauge-invariant statement. The common gauge choice At(zh)=0A_t(z_h)=0 is not merely cosmetic; it is the clean way to relate the Lorentzian gauge field to the smooth Euclidean saddle and the grand-canonical ensemble.

The simplest bulk state at finite TT and μ\mu is the planar Reissner—Nordstrom-AdS black brane. It is not the most general holographic finite-density phase, but it is the cleanest starting point.

A useful metric convention is

ds2=L2z2[f(z)dt2+dx2+dz2f(z)],A=At(z)dt.ds^2 = \frac{L^2}{z^2} \left[ -f(z)dt^2+d\vec{x}^{\,2}+\frac{dz^2}{f(z)} \right], \qquad A=A_t(z)dt .

The boundary is at z=0z=0, and the horizon is at z=zhz=z_h. A dimensionless parametrization of the charged solution is

f(z)=1(1+Q2)(zzh)d+1+Q2(zzh)2d,f(z) = 1-(1+Q^2)\left(\frac{z}{z_h}\right)^{d+1} +Q^2\left(\frac{z}{z_h}\right)^{2d},

and

At(z)=μ[1(zzh)d1].A_t(z) =\mu\left[1-\left(\frac{z}{z_h}\right)^{d-1}\right] .

The relation between QQ and μzh\mu z_h depends on the normalization of the Maxwell term. The qualitative physics is independent of that convention: QQ measures the charge of the brane, zhz_h sets the horizon scale, and μ\mu is fixed by the regular potential difference between boundary and horizon.

The temperature follows from smoothness of the Euclidean horizon:

T=f(zh)4π=(d+1)(d1)Q24πzh.T=\frac{|f'(z_h)|}{4\pi} =\frac{(d+1)-(d-1)Q^2}{4\pi z_h} .

The entropy density is the horizon area density divided by 4Gd+24G_{d+2}:

s=14Gd+2(Lzh)d=2πκd+22(Lzh)d.s = \frac{1}{4G_{d+2}} \left(\frac{L}{z_h}\right)^d = \frac{2\pi}{\kappa_{d+2}^2} \left(\frac{L}{z_h}\right)^d .

The charge density is proportional to the radial electric displacement,

ρ=Z0L22κd+22gFzt,\rho = \frac{Z_0L^2}{2\kappa_{d+2}^2} \sqrt{-g}\,F^{zt},

with the sign fixed by the convention that positive μ\mu gives positive ρ\rho.

This is the first major lesson: in a large-NN holographic theory, finite-density thermal matter is described by a charged horizon, and the entropy density is geometrized as area density.

A concrete example: the AdS4AdS_4 charged black brane

Section titled “A concrete example: the AdS4AdS_4AdS4​ charged black brane”

Many holographic quantum matter applications use a 2+12+1-dimensional boundary theory. This corresponds to d=2d=2 and a four-dimensional bulk. In a common normalization,

ds2=L2z2[f(z)dt2+dx2+dy2+dz2f(z)],ds^2 = \frac{L^2}{z^2} \left[-f(z)dt^2+dx^2+dy^2+\frac{dz^2}{f(z)}\right],

with

f(z)=1(1+Q2)(zzh)3+Q2(zzh)4,f(z)=1-(1+Q^2)\left(\frac{z}{z_h}\right)^3 +Q^2\left(\frac{z}{z_h}\right)^4,

and

At(z)=μ(1zzh),μQzh.A_t(z)=\mu\left(1-\frac{z}{z_h}\right), \qquad \mu\propto\frac{Q}{z_h} .

The temperature is

T=3Q24πzh.T=\frac{3-Q^2}{4\pi z_h} .

Extremality occurs at

Q2=3,T=0.Q^2=3, \qquad T=0 .

The entropy density is

s=L24G4zh2.s=\frac{L^2}{4G_4z_h^2} .

At fixed zhz_h, this remains finite as T0T\to0. This finite zero-temperature entropy is one of the most important warnings in holographic finite-density physics. It is not the entropy of an ordinary clean Fermi liquid. It is a large-NN horizon entropy. It often signals that the minimal Reissner—Nordstrom-AdS solution is not the final ground state once additional bulk fields, charged matter, lattice effects, or 1/N1/N corrections are included.

Nevertheless, the extremal solution is extremely useful because it supplies a solvable infrared region.

The AdS2×RdAdS_2\times\mathbb R^d throat

Section titled “The AdS2×RdAdS_2\times\mathbb R^dAdS2​×Rd throat”

At extremality,

Q2=Qext2=d+1d1.Q^2=Q_{\rm ext}^2=\frac{d+1}{d-1} .

The blackening factor has a double zero at the horizon. Define

y=1zzh.y=1-\frac{z}{z_h} .

Near y=0y=0,

f(z)=d(d+1)y2+O(y3).f(z)=d(d+1)y^2+O(y^3) .

Substituting into the metric gives

ds2L2zh2[d(d+1)y2dt2+dx2]+L2d(d+1)dy2y2.ds^2 \approx \frac{L^2}{z_h^2} \left[-d(d+1)y^2dt^2+d\vec{x}^{\,2}\right] + \frac{L^2}{d(d+1)}\frac{dy^2}{y^2} .

After a simple radial redefinition, the first and last terms form AdS2AdS_2. The near-horizon geometry is

AdS2×Rd,L2=Ld(d+1).AdS_2\times\mathbb R^d, \qquad L_2=\frac{L}{\sqrt{d(d+1)}} .

The AdS2AdS_2 factor means that time scales but space does not:

tλt,xx.t\to\lambda t, \qquad \vec{x}\to\vec{x} .

This is often called semi-local criticality or local quantum criticality. Correlators can have nontrivial frequency scaling while momentum behaves as a label of different infrared operators.

The correct attitude is:

AdS2×Rdis powerful infrared grammar, not automatically the final ground state.AdS_2\times\mathbb R^d \quad\text{is powerful infrared grammar, not automatically the final ground state.}

Charged scalars can condense, fermion matter can backreact, a dilaton can run, and spatially modulated instabilities can appear. Later pages explain these possibilities.

Fractionalized charge and radial electric flux

Section titled “Fractionalized charge and radial electric flux”

The conserved radial flux tells us where the charge lives in the bulk. In the minimal charged black brane, no charged matter field outside the horizon carries the charge. The electric flux enters the horizon. In boundary language, the charge is carried by deconfined large-NN degrees of freedom rather than by visible quasiparticles.

This motivates the terminology:

Bulk charge supportCommon nameBoundary interpretation
electric flux enters the horizonfractionalized chargecharge hidden in the deconfined large-NN sector
charged matter outside the horizoncohesive chargecharge carried by explicit matter-like degrees of freedom
both are presentpartially fractionalized chargemixed charge sector

A charged scalar condensate, electron star, Dirac-hair solution, or probe-brane density can carry some or all of the electric flux outside the horizon. The minimal charged horizon is therefore the parent state from which more structured finite-density phases can branch.

Why finite-density transport is immediately subtle

Section titled “Why finite-density transport is immediately subtle”

At zero density, current transport can be finite even with exact translation symmetry. At finite density, the electric current overlaps with momentum. If momentum is exactly conserved, a uniform electric field accelerates the state rather than producing a steady finite DC current.

Hydrodynamics makes this precise. In a relativistic charged fluid, the electric current contains a convective part,

Ji=ρvi+.J^i=\rho v^i+\cdots .

The momentum density is

Tti=(ϵ+P)vi+.T^{ti}=(\epsilon+P)v^i+\cdots .

Therefore the current has a component proportional to momentum:

Ji=ρϵ+PTti+Jinci,J^i = \frac{\rho}{\epsilon+P}T^{ti}+J^i_{\rm inc},

where JinciJ^i_{\rm inc} is an incoherent current that does not drag momentum.

As a result, the optical conductivity contains a pole:

σ(ω)=iωρ2ϵ+P+σQ+less singular terms.\sigma(\omega) = \frac{i}{\omega}\frac{\rho^2}{\epsilon+P} +\sigma_Q+\text{less singular terms} .

Using

Reiω+i0+=πδ(ω),\operatorname{Re}\frac{i}{\omega+i0^+}=\pi\delta(\omega),

we find

Reσ(ω)πρ2ϵ+Pδ(ω).\operatorname{Re}\sigma(\omega) \supset \pi\frac{\rho^2}{\epsilon+P}\delta(\omega) .

This delta function is not superconductivity. It is the consequence of exact momentum conservation at finite charge density. A true superfluid or superconductor has an additional stiffness associated with spontaneous U(1)U(1) breaking. Keeping these mechanisms separate is essential.

Finite DC conductivity requires one of the following mechanisms:

MechanismWhat it does
explicit translation breakingrelaxes momentum
disorder or latticetransfers momentum to the background
probe limitneglects momentum carried by the large bath
particle-hole symmetryremoves the current-momentum overlap
incoherent currenttransports charge without net momentum

The charged black brane is therefore not, by itself, a finite-resistivity metal if translations are exact.

At zero density, a transverse Maxwell fluctuation δAx\delta A_x can often be studied without mixing with metric perturbations. At finite density this is no longer generally true. Because the background has At(z)0A_t'(z)\neq0, an electric perturbation sources momentum and energy flow.

A typical fluctuation problem contains coupled fields such as

δAx(z)eiωt,δgtx(z)eiωt,δgzx(z)eiωt.\delta A_x(z)e^{-i\omega t}, \qquad \delta g_{tx}(z)e^{-i\omega t}, \qquad \delta g_{zx}(z)e^{-i\omega t} .

This is the bulk reflection of the boundary fact that charge, energy, and momentum are coupled in finite-density hydrodynamics.

The retarded prescription is the same as before:

  1. impose the desired source at the boundary;
  2. impose infalling boundary conditions at the future horizon;
  3. solve the coupled linearized equations;
  4. evaluate the renormalized on-shell quadratic action;
  5. differentiate with respect to sources.

The new issue is not the prescription but the mixing. In finite-density problems, good variables are often gauge-invariant master fields, heat-current combinations, or incoherent-current combinations.

The AdS2×RdAdS_2\times\mathbb R^d throat reorganizes low-energy physics. A fluctuation with spatial momentum kk behaves in the AdS2AdS_2 region like a field whose effective mass depends on kk. For a neutral scalar, schematically,

meff2(k)L22=m2L22+ckk2L22+.m_{\rm eff}^2(k)L_2^2 = m^2L_2^2+c_k k^2L_2^2+\cdots .

The corresponding infrared scaling dimension is

δk=12+νk,νk=14+meff2(k)L22.\delta_k=\frac{1}{2}+\nu_k, \qquad \nu_k=\sqrt{\frac{1}{4}+m_{\rm eff}^2(k)L_2^2} .

For charged fields, the near-horizon electric field reduces the effective mass. A schematic form is

νk2=14+meff2(k)L22q2ed2,\nu_k^2 = \frac{1}{4}+m_{\rm eff}^2(k)L_2^2-q^2e_d^2,

where qq is the bulk charge and ede_d measures the dimensionless electric field in the throat. If νk\nu_k becomes imaginary, the AdS2AdS_2 BF bound is violated and the charged black brane is unstable.

This is the seed of several later topics: holographic superconductors, fermionic response, spatially modulated phases, and more general infrared scaling geometries.

Ensembles: fixed μ\mu and fixed ρ\rho

Section titled “Ensembles: fixed μ\muμ and fixed ρ\rhoρ”

The standard charged-brane calculation fixes the boundary value of AtA_t. This is the grand-canonical ensemble: TT and μ\mu are fixed, while ρ\rho is determined dynamically.

To work at fixed charge density, one fixes the radial electric flux instead. In the gravitational action this requires a Legendre transform, schematically

Scanonical=SgrandMdd+1xAμJμ.S_{\rm canonical} = S_{\rm grand} -\int_{\partial M} d^{d+1}x\, A_\mu J^\mu .

The details depend on conventions and counterterms, but the conceptual point is simple: Dirichlet boundary conditions for AtA_t fix μ\mu, while Neumann-type boundary conditions fix ρ\rho.

Any trustworthy finite-density phase diagram should state the ensemble.

The finite-density dictionary is compact, but each entry has a possible trap.

Boundary objectBulk objectComment
global U(1)U(1) symmetrybulk gauge redundancyThe boundary symmetry is global unless weakly gauged by hand.
conserved current JμJ^\mugauge field AMA_MCurrent correlators come from gauge-field fluctuations.
chemical potential μ\muboundary-horizon potential differenceAtA_t at one point is gauge-dependent.
charge density ρ\rhoradial electric fluxIn pure Maxwell theory the flux is radially conserved.
grand-canonical ensembleDirichlet data for AtA_tFix μ\mu, let ρ\rho respond.
canonical ensemblefixed radial electric fluxFix ρ\rho, determine μ\mu.
horizon electric fluxfractionalized chargeCharge is hidden in deconfined large-NN degrees of freedom.
charged bulk mattercohesive chargeCharge is carried outside the horizon by explicit matter fields.

This table is deliberately conservative. It avoids saying that a bulk electric field is literally the electromagnetic field in a metal. In most holographic quantum matter models, AMA_M is dual to a conserved global current. To describe a material with a dynamical photon, one would still need to weakly gauge the boundary global symmetry.

The same-looking Einstein—Maxwell equations can have different meanings. In a top-down construction, the gauge field may come from a precise Kaluza—Klein mode or brane sector of string theory. In a bottom-up model, the gauge field is introduced because the boundary theory is assumed to have a conserved U(1)U(1) current. In both cases the classical charged black brane is useful, but the level of microscopic control differs.

The safest language is:

StatementStatus
A conserved boundary current is represented by a bulk gauge field.Core holographic dictionary.
A charged AdS black brane describes a homogeneous large-NN finite-density state.Standard semiclassical holography.
The minimal extremal RN-AdS throat has AdS2×RdAdS_2\times\mathbb R^d and finite entropy density.True in the minimal two-derivative saddle.
This is the universal ground state of all strongly coupled metals.False.
Holographic charged branes can model mechanisms relevant to strange metals.Useful but model-dependent.

This distinction is not philosophical decoration. It controls how one should read every formula in finite-density holography. A formula for ss, σQ\sigma_Q, or νk\nu_k may be exact within a chosen bulk model while still being only a model-dependent statement about possible real materials.

What this solution teaches, and what it does not

Section titled “What this solution teaches, and what it does not”

The charged black brane teaches several robust lessons:

  • chemical potential is a boundary source;
  • charge density is radial electric flux;
  • compressible large-NN matter can be represented by a charged horizon;
  • extremal charged horizons often generate AdS2×RdAdS_2\times\mathbb R^d infrared regions;
  • finite density changes transport qualitatively because current overlaps with momentum;
  • charge behind the horizon gives a clean gravitational meaning to fractionalized charge.

But the solution also has limitations:

  • it is not an ordinary Landau Fermi liquid;
  • it does not by itself produce finite DC resistivity in a translation-invariant system;
  • it does not automatically describe a real metal;
  • its finite extremal entropy is not necessarily stable;
  • its infrared throat may be replaced by a scalar, fermionic, lattice, or dilatonic phase.

The minimal charged black brane is foundational because it gives a controlled large-NN parent state for compressible holographic matter.

PitfallCorrection
Treating μ\mu as the densityμ\mu is the source; ρ=Jt\rho=\langle J^t\rangle is the response.
Forgetting horizon regularityIn the regular gauge, At(zh)=0A_t(z_h)=0, so μ\mu is a potential difference.
Calling the clean DC conductivity finiteWith exact translations and ρ0\rho\neq0, σDC\sigma_{\rm DC} is singular.
Interpreting the momentum delta function as superconductivityMomentum conservation and superfluid stiffness are different mechanisms.
Treating AdS2×RdAdS_2\times\mathbb R^d as automatically stableThe throat is often unstable or modified by other fields.
Confusing bottom-up Einstein—Maxwell theory with a full string compactificationThe same equations can have different levels of microscopic control.
Ignoring ensemble choiceFixing μ\mu and fixing ρ\rho require different boundary terms.

Exercise 1. Chemical potential as a potential difference

Section titled “Exercise 1. Chemical potential as a potential difference”

Assume a static bulk gauge field A=At(z)dtA=A_t(z)dt with boundary at z=0z=0 and horizon at z=zhz=z_h. Explain why the chemical potential is

μ=At(0)At(zh),\mu=A_t(0)-A_t(z_h),

and why the regular Euclidean gauge usually sets At(zh)=0A_t(z_h)=0.

Solution

The boundary chemical potential is the source for the conserved charge density, so it is the boundary value of the time component of the gauge field measured relative to the infrared end of the geometry. A constant shift of AtA_t is a gauge transformation in Lorentzian signature, so only the potential difference is gauge-invariant.

At a nonextremal Euclidean horizon, the Euclidean time circle shrinks smoothly. The one-form A=At(z)dτA=A_t(z)d\tau is regular at the tip of this cigar only if its component along the shrinking circle vanishes there. Thus the regular gauge sets

At(zh)=0.A_t(z_h)=0 .

In that gauge,

μ=At(0).\mu=A_t(0) .

The physical statement is not that At(zh)=0A_t(z_h)=0 is gauge-invariant by itself. The physical statement is that the gauge-invariant source is the potential difference between boundary and horizon.

Exercise 2. Maxwell equation and radial electric flux

Section titled “Exercise 2. Maxwell equation and radial electric flux”

For the metric

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

and gauge field A=At(z)dtA=A_t(z)dt, show that Maxwell’s equation implies

z(gFzt)=0.\partial_z\left(\sqrt{-g}F^{zt}\right)=0 .

Then show that At(z)=μczd1A_t(z)=\mu-cz^{d-1} for d>1d>1.

Solution

The Maxwell equation is

MFMN=0.\nabla_M F^{MN}=0 .

For the electric ansatz, the only nontrivial component is N=tN=t:

1gz(gFzt)=0.\frac{1}{\sqrt{-g}}\partial_z\left(\sqrt{-g}F^{zt}\right)=0 .

Therefore

gFzt=constant.\sqrt{-g}F^{zt}=\text{constant} .

For the metric above,

g=(Lz)d+2,Fzt=gzzgttFzt=z4L4At(z).\sqrt{-g}=\left(\frac{L}{z}\right)^{d+2}, \qquad F^{zt}=g^{zz}g^{tt}F_{zt}=-\frac{z^4}{L^4}A_t'(z) .

Thus

gFzt=Ld2z2dAt(z).\sqrt{-g}F^{zt} =-L^{d-2}z^{2-d}A_t'(z) .

Constancy implies

At(z)zd2.A_t'(z)\propto z^{d-2} .

For d>1d>1,

At(z)=μczd1.A_t(z)=\mu-cz^{d-1} .

Exercise 3. Temperature of the charged black brane

Section titled “Exercise 3. Temperature of the charged black brane”

For

f(z)=1(1+Q2)(zzh)d+1+Q2(zzh)2d,f(z)=1-(1+Q^2)\left(\frac{z}{z_h}\right)^{d+1} +Q^2\left(\frac{z}{z_h}\right)^{2d},

show that

T=(d+1)(d1)Q24πzh.T=\frac{(d+1)-(d-1)Q^2}{4\pi z_h} .
Solution

Near the horizon, the temperature is determined by

T=f(zh)4π,T=-\frac{f'(z_h)}{4\pi},

where the minus sign appears because f(zh)<0f'(z_h)<0 for the outer horizon in this coordinate convention.

The derivative is

f(z)=d+1zh(1+Q2)(zzh)d+2dzhQ2(zzh)2d1.f'(z) =-\frac{d+1}{z_h}(1+Q^2)\left(\frac{z}{z_h}\right)^d + \frac{2d}{z_h}Q^2\left(\frac{z}{z_h}\right)^{2d-1} .

At z=zhz=z_h,

f(zh)=d+1zh(1+Q2)+2dzhQ2=(d+1)+(d1)Q2zh.f'(z_h) = -\frac{d+1}{z_h}(1+Q^2)+\frac{2d}{z_h}Q^2 = \frac{-(d+1)+(d-1)Q^2}{z_h} .

Therefore

T=(d+1)(d1)Q24πzh.T=\frac{(d+1)-(d-1)Q^2}{4\pi z_h} .

Exercise 4. Extremal double zero and the AdS2AdS_2 throat

Section titled “Exercise 4. Extremal double zero and the AdS2AdS_2AdS2​ throat”

Show that at extremality,

Q2=d+1d1,Q^2=\frac{d+1}{d-1},

the blackening function has a double zero at the horizon and

f(z)=d(d+1)(1zzh)2+O ⁣((1zzh)3).f(z)=d(d+1)\left(1-\frac{z}{z_h}\right)^2+O\!\left(\left(1-\frac{z}{z_h}\right)^3\right).
Solution

Let x=z/zhx=z/z_h. Then

f(x)=1(1+Q2)xd+1+Q2x2d.f(x)=1-(1+Q^2)x^{d+1}+Q^2x^{2d} .

The horizon condition gives f(1)=0f(1)=0. A double zero requires f(1)=0f'(1)=0:

f(1)=(d+1)(1+Q2)+2dQ2=(d+1)+(d1)Q2.f'(1)=-(d+1)(1+Q^2)+2dQ^2=-(d+1)+(d-1)Q^2 .

Thus extremality occurs at

Q2=d+1d1.Q^2=\frac{d+1}{d-1} .

The second derivative is

f(x)=d(d+1)(1+Q2)xd1+2d(2d1)Q2x2d2.f''(x) =-d(d+1)(1+Q^2)x^{d-1} +2d(2d-1)Q^2x^{2d-2} .

At extremality and at x=1x=1,

f(1)=2d(d+1).f''(1)=2d(d+1) .

Therefore

f(x)=12f(1)(x1)2+O((x1)3)=d(d+1)(1x)2+O((1x)3).f(x)=\frac{1}{2}f''(1)(x-1)^2+O((x-1)^3) =d(d+1)(1-x)^2+O((1-x)^3).

This double zero is the metric origin of the near-horizon AdS2AdS_2 region.

Exercise 5. Why finite density gives a delta function in conductivity

Section titled “Exercise 5. Why finite density gives a delta function in conductivity”

Use the hydrodynamic decomposition

Ji=ρϵ+PTti+JinciJ^i=\frac{\rho}{\epsilon+P}T^{ti}+J^i_{\rm inc}

to explain why exact momentum conservation implies a zero-frequency delta function in Reσ(ω)\operatorname{Re}\sigma(\omega) at ρ0\rho\neq0.

Solution

If translations are exact, the total momentum is conserved. A uniform electric field couples to the electric current. At finite density, the current has a component proportional to momentum:

Jdragi=ρϵ+PTti.J^i_{\rm drag}=\frac{\rho}{\epsilon+P}T^{ti} .

Since this component cannot decay when momentum is conserved, it produces a nondissipating contribution to the current. In frequency space, this appears as a pole in the imaginary conductivity:

σ(ω)iωρ2ϵ+P.\sigma(\omega) \supset \frac{i}{\omega}\frac{\rho^2}{\epsilon+P} .

The corresponding real part contains

Reσ(ω)πρ2ϵ+Pδ(ω).\operatorname{Re}\sigma(\omega) \supset \pi\frac{\rho^2}{\epsilon+P}\delta(\omega) .

This is the clean-limit momentum delta function. It should not be confused with a superfluid delta function, which is tied to spontaneous U(1)U(1) symmetry breaking.

Exercise 6. The AdS2AdS_2 BF-bound instability

Section titled “Exercise 6. The AdS2AdS_2AdS2​ BF-bound instability”

In the extremal throat, a fluctuation has infrared exponent

νk=14+meff2(k)L22.\nu_k=\sqrt{\frac{1}{4}+m_{\rm eff}^2(k)L_2^2} .

Explain why meff2(k)L22<1/4m_{\rm eff}^2(k)L_2^2<-1/4 signals an instability of the charged black brane.

Solution

The stability bound for a scalar in AdS2AdS_2 is the Breitenlohner-Freedman bound

m2L2214.m^2L_2^2\geq -\frac{1}{4} .

If the effective mass violates this bound in the near-horizon region, the scalar fluctuation grows in the infrared throat. In the full geometry this appears as an instability of the extremal or near-extremal charged black brane. If the scalar is charged under the bulk Maxwell field, the usual endpoint is a new branch with scalar hair, interpreted as a phase with spontaneous breaking of the boundary global U(1)U(1) symmetry.

The page is designed as a graduate-level reference point after the standard AdS/CFT dictionary. For broader context, useful references include treatments of finite-temperature and finite-density holography, charged AdS black holes, quantum critical transport, and holographic quantum matter. Standard sources include lectures and reviews by Hartnoll, Lucas, Sachdev, Son, Starinets, Iqbal, Liu, and textbook discussions of finite temperature, density, and condensed-matter applications in gauge/gravity duality.

This page introduced the minimal finite-density parent state. The next page studies what happens when the infrared geometry is allowed to run. Einstein—Maxwell—Dilaton models replace the fixed AdS2AdS_2 throat by Lifshitz, hyperscaling-violating, and more general scaling regimes.