Skip to content

Chemical Potential and Charged Black Branes

The previous section studied transport in a neutral quantum critical state. The bulk gauge field was only a probe fluctuation: it computed current correlators, but it did not change the background geometry. Finite density is different. Once the boundary theory has a nonzero charge density,

ρ=Jt0,\rho=\langle J^t\rangle\neq0,

the dual bulk solution must contain a background electric field. That electric field gravitates. The geometry is no longer the neutral AdS-Schwarzschild black brane; the simplest answer is a charged AdS black brane.

The finite-density dictionary is one of the most useful parts of holographic quantum matter:

boundary charge densityradial electric flux in the bulk.\boxed{ \text{boundary charge density} \quad\Longleftrightarrow\quad \text{radial electric flux in the bulk}. }

This page builds that statement carefully. The slogan is easy; the details matter. In holography, the chemical potential is a boundary source, the density is a radial canonical momentum, Gauss’s law tells us where the charge is stored, and the horizon may carry charge that is invisible to ordinary gauge-invariant quasiparticle counting. That last point is the beginning of the holographic theory of compressible matter.

Throughout this page, dsd_s is the number of boundary spatial dimensions,

d=ds+1d=d_s+1

is the boundary spacetime dimension, and the bulk has dimension d+1=ds+2d+1=d_s+2. We use the radial coordinate zz, with the AdS boundary at z=0z=0 and a planar horizon at z=zhz=z_h. We set

=kB=c=1.\hbar=k_B=c=1.

A quantum system with a conserved U(1)U(1) charge

Q=ddsxJtQ=\int d^{d_s}x\,J^t

can be studied in the grand canonical ensemble,

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

The chemical potential μ\mu is the source conjugate to the density JtJ^t. In a generating functional language, a background gauge field aμa_\mu couples as

δSQFT=ddxaμJμ.\delta S_{\rm QFT} = \int d^d x\,a_\mu J^\mu.

For a homogeneous static chemical potential, the source is simply

at=μ,ai=0.a_t=\mu, \qquad a_i=0.

The density is the response:

ρ=Jt=1VdslogZ(βμ)=1VdsΩμ,\rho = \langle J^t\rangle = \frac{1}{V_{d_s}}\frac{\partial \log Z}{\partial(\beta\mu)} = -\frac{1}{V_{d_s}}\frac{\partial \Omega}{\partial\mu},

where Ω=TlogZ\Omega=-T\log Z is the grand potential.

A state is compressible if

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

is nonzero. In ordinary condensed matter, the canonical compressible state is a metal. In holography, the first compressible states one encounters are charged horizons. They are metallic in several senses, but one must be careful: they are large-NN strongly coupled quantum fluids, not literal electron gases.

A conserved boundary current JμJ^\mu is dual to a bulk Maxwell field AMA_M. The finite-density ansatz is

A=At(z)dt.A=A_t(z)dt.

Near the AdS boundary, a massless bulk gauge field behaves as

At(z)=μgF2(d2)Ld3ρzd2+,d>2,A_t(z) = \mu - \frac{g_F^2}{(d-2)L^{d-3}}\rho\,z^{d-2} +\cdots, \qquad d>2,

up to convention-dependent signs and finite counterterms. The two pieces have distinct meanings:

At(0)=μρ=Jt.\boxed{ A_t^{(0)}=\mu } \qquad \boxed{ \rho=\langle J^t\rangle. }

The power zd2z^{d-2} is the vector-field analogue of the source/response split for scalars. The leading term is the source. The subleading normalizable coefficient is proportional to the expectation value.

A cleaner, normalization-independent statement uses the radial canonical momentum. From

SA=14gF2dd+1xgFMNFMN,S_A = - \frac{1}{4g_F^2} \int d^{d+1}x\sqrt{-g}\,F_{MN}F^{MN},

the electric flux through a constant-zz slice is

ΠAt(z)=1gF2gFzt.\Pi_A^t(z) = \frac{1}{g_F^2}\sqrt{-g}\,F^{zt}.

The holographic dictionary says

ρ=limz0ΠAt(z)ren.\boxed{ \rho = \lim_{z\to0}\Pi_A^t(z)_{\rm ren}. }

For the near-boundary expansion above, this gives exactly ρ\rho with our chosen normalization. This is the finite-density version of the source/vev dictionary:

Boundary quantityBulk quantity
chemical potential μ\muboundary value or potential difference of AtA_t
density ρ=Jt\rho=\langle J^t\rangleradial electric flux ΠAt\Pi_A^t
finite densitynonzero background FztF_{zt}
charge susceptibility χ\chiresponse of flux to boundary value
current correlatorsfluctuations of AMA_M around the charged background

This is the first big conceptual jump. In the neutral transport page, the Maxwell field was a wave in a fixed geometry. Here the Maxwell field is part of the background itself.

Chemical potential as a potential difference

Section titled “Chemical potential as a potential difference”

It is tempting to say simply that

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

That is often true in a convenient gauge, but the gauge-invariant statement is slightly sharper. At finite temperature the Euclidean time circle shrinks smoothly at the horizon. A one-form

A=Aτ(z)dτA=A_\tau(z)d\tau

is regular at the tip of the Euclidean cigar only if the component along the shrinking circle vanishes there, in a regular gauge:

Aτ(zh)=0.A_\tau(z_h)=0.

After analytic continuation back to Lorentzian signature, one usually chooses

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

Then the chemical potential is the potential difference between the boundary and the horizon:

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

In the gauge At(zh)=0A_t(z_h)=0, this reduces to μ=At(0)\mu=A_t(0).

This point is not just pedantic. Gauge transformations that approach a nonzero constant at the AdS boundary act as global U(1)U(1) transformations of the boundary theory. Boundary values of AtA_t are physical sources. Gauge transformations that are regular in the interior and vanish at the boundary are redundancies.

The Maxwell equation with charged bulk matter is schematically

M(1gF2FMN)=JbulkN.\nabla_M\left(\frac{1}{g_F^2}F^{MN}\right) = J^N_{\rm bulk}.

For a homogeneous static electric field, this becomes a radial Gauss law:

zΠAt(z)=gJbulkt(z),\partial_z\Pi_A^t(z) = \sqrt{-g}\,J^t_{\rm bulk}(z),

with signs depending only on radial orientation conventions. Integrating from the boundary to the horizon gives the important decomposition

ρ=ρcoh+ρhor.\boxed{ \rho = \rho_{\rm coh}+\rho_{\rm hor}. }

Here

ρhor=ΠAt(zh)\rho_{\rm hor} = \Pi_A^t(z_h)

is the electric flux entering the horizon, while

ρcoh=0zhdzgJbulkt(z)\rho_{\rm coh} = \int_0^{z_h}dz\,\sqrt{-g}\,J^t_{\rm bulk}(z)

is the cohesive charge carried by explicit charged fields outside the horizon.

The interpretation is standard in holographic quantum matter:

  • Fractionalized charge is carried by the horizon. The electric flux continues through the horizon. Boundary gauge-invariant probes do not see all the charge as ordinary visible charged particles.
  • Cohesive charge is carried by charged bulk matter outside the horizon: a charged scalar condensate, charged fermion fluid, branes, or other explicit matter fields.

Radial electric flux and charge storage in finite-density holography

Radial Gauss law in finite-density holography. When no charged bulk matter is present, the electric flux dual to ρ\rho is constant in zz and enters a charged horizon; the charge is fractionalized. When charged bulk matter is present, some or all of the boundary charge can be sourced outside the horizon; the charge is cohesive. Mixed phases contain both horizon flux and charge carried by bulk matter.

This is one of the reasons charged black branes are not just a gravitational curiosity. They give a controlled, computable large-NN model of compressible quantum matter in which some charge can be hidden behind a dissipative horizon.

The minimal bottom-up model for a charged black brane is Einstein-Maxwell theory with a negative cosmological constant:

S=dd+1xg[12κ2(R+d(d1)L2)14gF2FMNFMN]+Sbdy.S = \int d^{d+1}x\sqrt{-g} \left[ \frac{1}{2\kappa^2} \left(R+\frac{d(d-1)}{L^2}\right) - \frac{1}{4g_F^2}F_{MN}F^{MN} \right] + S_{\rm bdy}.

Here

κ2=8πGd+1.\kappa^2=8\pi G_{d+1}.

The equations of motion are

MFMN=0,\nabla_MF^{MN}=0,

and

RMN12RgMNd(d1)2L2gMN=κ2gF2(FMPFNP14gMNF2).R_{MN}-\frac12 Rg_{MN}-\frac{d(d-1)}{2L^2}g_{MN} = \frac{\kappa^2}{g_F^2} \left(F_{MP}F_N{}^P-\frac14 g_{MN}F^2\right).

This theory is useful because it has exactly the ingredients required by the finite-density dictionary:

  1. a metric, dual to the stress tensor;
  2. a Maxwell field, dual to the conserved current;
  3. a negative cosmological constant, producing an AdS boundary and a UV CFT;
  4. a charged black-brane solution, dual to a thermal state at finite density.

It is also limited. Unless embedded in a top-down construction or consistent truncation, it is a bottom-up effective model. Even when embedded, the charged black brane may be unstable at low temperature to scalar hair, fermion matter, spatial modulation, or other phases. Those instabilities are not defects of the dictionary; they are the holographic version of the fact that finite-density matter often wants to order.

The planar Reissner–Nordström AdS black brane

Section titled “The planar Reissner–Nordström AdS black brane”

A homogeneous, isotropic finite-density state is described by the ansatz

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

The planar Reissner–Nordström AdS solution can be written as

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

with

At(z)=μ[1(zzh)d2],d>2.A_t(z) = \mu\left[1-\left(\frac{z}{z_h}\right)^{d-2}\right], \qquad d>2.

The horizon is at z=zhz=z_h, where

f(zh)=0,At(zh)=0.f(z_h)=0, \qquad A_t(z_h)=0.

The dimensionless charge parameter QQ is related to μ\mu by

Q2=zh2μ2γ2,Q^2=\frac{z_h^2\mu^2}{\gamma^2},

where

γ2=(d1)L2gF2(d2)κ2\gamma^2 = \frac{(d-1)L^2g_F^2}{(d-2)\kappa^2}

for the normalization of the action above. Different authors absorb these constants into QQ, μ\mu, or AtA_t; the physical content is the same.

The temperature follows from Euclidean smoothness:

T=f(zh)4π=14πzh[d(d2)Q2].T = \frac{|f'(z_h)|}{4\pi} = \frac{1}{4\pi z_h} \left[d-(d-2)Q^2\right].

The entropy density is the horizon area density:

s=14Gd+1(Lzh)ds=2πκ2(Lzh)d1.s = \frac{1}{4G_{d+1}} \left(\frac{L}{z_h}\right)^{d_s} = \frac{2\pi}{\kappa^2} \left(\frac{L}{z_h}\right)^{d-1}.

The charge density is the radial electric flux:

ρ=1gF2gFzt=(d2)Ld3gF2μzhd2,\rho = \frac{1}{g_F^2}\sqrt{-g}\,F^{zt} = \frac{(d-2)L^{d-3}}{g_F^2}\frac{\mu}{z_h^{d-2}},

with the sign fixed by the convention for FztF_{zt} and charge orientation.

These formulas show explicitly what changed relative to the neutral black brane. The neutral brane had At=0A_t=0 and Q=0Q=0. The charged brane has a radial electric field and a charge contribution to f(z)f(z).

For a homogeneous equilibrium state, the grand potential density is

ω(T,μ)=ΩVds.\omega(T,\mu)=\frac{\Omega}{V_{d_s}}.

In a translationally invariant system,

ω=P,\omega=-P,

where PP is the pressure. The first law in the grand canonical ensemble is

dP=sdT+ρdμ.dP=s\,dT+\rho\,d\mu.

Equivalently,

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

For a conformal theory at finite density, dimensional analysis gives

P(T,μ)=TdΦ(μT),P(T,\mu) = T^d\,\Phi\left(\frac{\mu}{T}\right),

or, at zero temperature if the limit is smooth,

P(0,μ)μd.P(0,\mu)\propto \mu^d.

The conformal Ward identity implies

ϵ=dsP=(d1)P.\epsilon=d_s P=(d-1)P.

The enthalpy density is

ϵ+P=sT+μρ.\epsilon+P=sT+\mu\rho.

This combination will appear constantly in finite-density transport. It is the momentum susceptibility of a relativistic fluid:

χPP=ϵ+P.\chi_{PP}=\epsilon+P.

That fact is why finite density changes DC conductivity so dramatically. At ρ0\rho\neq0, electric current overlaps with conserved momentum.

Extremality and the residual entropy puzzle

Section titled “Extremality and the residual entropy puzzle”

The temperature vanishes when

Q2=dd2.Q^2=\frac{d}{d-2}.

At this extremal point, f(z)f(z) has a double zero at the horizon. The entropy density remains

s0=2πκ2(Lzh)d1,s_0 = \frac{2\pi}{\kappa^2} \left(\frac{L}{z_h}\right)^{d-1},

which is nonzero at T=0T=0 for fixed μ\mu.

This feature is both useful and suspicious. It is useful because the extremal horizon creates a universal low-energy region, AdS2×RdsAdS_2\times\mathbb R^{d_s}, which controls many finite-density correlators. It is suspicious because a macroscopic zero-temperature entropy density is not expected for a generic stable ground state of ordinary quantum matter.

The right attitude is not to throw away the solution, and not to worship it. The RN-AdS black brane is a clean saddle of a simple large-NN theory. It often describes an intermediate-energy quantum critical regime or the parent state from which more stable low-temperature phases descend. In many models the extremal brane is unstable to charged scalar condensation, fermion fluid formation, spatial modulation, or dilaton-driven scaling geometries.

The next page studies the most important piece of the extremal geometry: the AdS2AdS_2 throat.

In the pure Einstein-Maxwell RN-AdS solution, there is no charged bulk matter outside the horizon:

Jbulkt=0.J^t_{\rm bulk}=0.

Gauss’s law then gives

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

so

ρ=ρhor.\rho=\rho_{\rm hor}.

All of the boundary charge is represented by electric flux entering the horizon. This is the simplest example of a fully fractionalized holographic charge density.

Why use the word fractionalized? The terminology comes from the boundary interpretation. The horizon is a deconfined large-NN sector. Charge hidden behind the horizon is not accounted for by a sum over gauge-invariant Fermi surfaces or ordinary visible charged particles. It is charge carried by the strongly coupled bath itself.

Once charged matter appears outside the horizon, Gauss’s law becomes

ρ=ρcoh+ρhor.\rho=\rho_{\rm coh}+\rho_{\rm hor}.

Examples include:

Bulk charge carrierBoundary interpretation
charged scalar hairsuperfluid or superconducting condensate
charged fermion fluidelectron star or cohesive fermionic matter
probe brane electric displacementflavor charge density
charged horizon fluxfractionalized charge in the deconfined sector

This decomposition is not just vocabulary. It affects Luttinger counts, spectral functions, low-energy transport, and the possible instabilities of the charged state.

At zero density, the Maxwell field computes linear response:

δAxδJx.\delta A_x \quad\Longrightarrow\quad \delta\langle J_x\rangle.

At finite density, the background already contains

Fzt0.F_{zt}\neq0.

So perturbations of the gauge field mix with perturbations of the metric. Physically this is because charge, energy, and momentum are coupled in a charged fluid. Mathematically, the background stress tensor of the electric field backreacts on the geometry, and linearized Maxwell perturbations can source metric perturbations.

This is why finite-density transport is harder than neutral quantum-critical transport. It is also why it is richer.

The clean finite-density conductivity has a schematic hydrodynamic form

σ(ω)=σQ+ρ2ϵ+Piω\sigma(\omega) = \sigma_Q + \frac{\rho^2}{\epsilon+P}\frac{i}{\omega}

in a translation-invariant relativistic fluid. The pole means that the real part contains a delta function at ω=0\omega=0. Momentum cannot decay, and the electric field keeps accelerating the charged fluid. Later pages will explain how momentum relaxation turns this pole into a Drude-like peak.

Pitfall 1: confusing chemical potential with density. The source μ\mu is the leading boundary value of AtA_t in a regular gauge. The density is the subleading coefficient or, more invariantly, the radial electric flux.

Pitfall 2: forgetting the horizon regularity condition. At finite temperature, At(zh)=0A_t(z_h)=0 is the natural regular gauge. The chemical potential is a potential difference, not a gauge-invariant absolute value of AtA_t at one point.

Pitfall 3: treating RN-AdS as a literal electron metal. It is a large-NN charged quantum fluid. It can mimic metallic features, but it does not begin from electron quasiparticles.

Pitfall 4: ignoring the ensemble. Dirichlet boundary conditions for AtA_t fix μ\mu. Neumann-like conditions fix ρ\rho. The on-shell action computes different thermodynamic potentials in the two cases.

Pitfall 5: thinking all charge must be outside the horizon. Holography allows charge to be carried by horizon flux. Whether charge is fractionalized, cohesive, or mixed is a dynamical question.

Pitfall 6: overinterpreting the extremal entropy. The residual entropy of the simplest RN-AdS brane is a warning sign and a useful computational handle. In many models it is removed or modified by an instability or by a different IR geometry.

Exercise 1: Charge density from radial flux

Section titled “Exercise 1: Charge density from radial flux”

Consider pure AdS near the boundary,

ds2=L2z2(dz2dt2+dxds2),ds^2=\frac{L^2}{z^2}\left(dz^2-dt^2+d\vec x_{d_s}^{\,2}\right),

and a static gauge potential

At(z)=μCzd2,d>2.A_t(z)=\mu-Cz^{d-2}, \qquad d>2.

Using

ΠAt=1gF2gFzt,\Pi_A^t=\frac{1}{g_F^2}\sqrt{-g}\,F^{zt},

show that ΠAt\Pi_A^t is independent of zz and find CC in terms of ρ\rho.

Solution

For the AdS metric,

g=Ld+1zd+1,gzz=z2L2,gtt=z2L2.\sqrt{-g}=\frac{L^{d+1}}{z^{d+1}}, \qquad g^{zz}=\frac{z^2}{L^2}, \qquad g^{tt}=-\frac{z^2}{L^2}.

The field strength is

Fzt=zAt=(d2)Czd3.F_{zt}=\partial_zA_t=-(d-2)Cz^{d-3}.

Therefore

Fzt=gzzgttFzt=z4L4Fzt=(d2)Czd+1L4.F^{zt}=g^{zz}g^{tt}F_{zt} = -\frac{z^4}{L^4}F_{zt} = \frac{(d-2)Cz^{d+1}}{L^4}.

Thus

ΠAt=1gF2Ld+1zd+1(d2)Czd+1L4=(d2)Ld3gF2C.\Pi_A^t = \frac{1}{g_F^2}\frac{L^{d+1}}{z^{d+1}} \frac{(d-2)Cz^{d+1}}{L^4} = \frac{(d-2)L^{d-3}}{g_F^2}C.

This is independent of zz, as expected from Gauss’s law with no bulk charge. Setting ΠAt=ρ\Pi_A^t=\rho gives

C=gF2(d2)Ld3ρ.C=\frac{g_F^2}{(d-2)L^{d-3}}\rho.

So

At(z)=μgF2(d2)Ld3ρzd2+.A_t(z)=\mu-\frac{g_F^2}{(d-2)L^{d-3}}\rho\,z^{d-2}+\cdots.

Exercise 2: Horizon regularity and the chemical potential

Section titled “Exercise 2: Horizon regularity and the chemical potential”

The Euclidean near-horizon geometry of a nonextremal black brane is locally a smooth disk in polar coordinates,

dsE2dR2+R2dθ2+dx2.ds_E^2\simeq dR^2+R^2d\theta^2+d\vec x^{\,2}.

Explain why a regular one-form A=AθdθA=A_\theta d\theta must have Aθ=0A_\theta=0 at R=0R=0. Translate this into the Lorentzian statement At(zh)=0A_t(z_h)=0 in a regular gauge.

Solution

At the origin of polar coordinates, the angular coordinate θ\theta is not well-defined. The one-form dθd\theta is singular there: in Cartesian coordinates,

dθ=ydx+xdyx2+y2.d\theta=\frac{-y\,dx+x\,dy}{x^2+y^2}.

For A=AθdθA=A_\theta d\theta to be regular at R=0R=0, its coefficient along the shrinking circle must vanish sufficiently fast. In particular, a constant nonzero AθA_\theta at the origin is not regular.

The Euclidean time circle is the thermal circle. At a nonextremal horizon it shrinks just like the angular circle of a disk. Therefore the Euclidean gauge potential must vanish along that shrinking direction in a regular gauge:

Aτ(zh)=0.A_\tau(z_h)=0.

After analytic continuation, this is the standard Lorentzian gauge choice

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

The chemical potential is then the regular potential difference

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

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+Q2(zzh)2d2,f(z)=1-(1+Q^2)\left(\frac{z}{z_h}\right)^d +Q^2\left(\frac{z}{z_h}\right)^{2d-2},

show that

T=14πzh[d(d2)Q2].T=\frac{1}{4\pi z_h}\left[d-(d-2)Q^2\right].

Find the extremal value of Q2Q^2.

Solution

Differentiate f(z)f(z):

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

At the horizon z=zhz=z_h,

f(zh)=1zh[d(1+Q2)+(2d2)Q2]=1zh[d+(d2)Q2].f'(z_h) = \frac{1}{z_h}\left[-d(1+Q^2)+(2d-2)Q^2\right] = \frac{1}{z_h}\left[-d+(d-2)Q^2\right].

For a nonextremal horizon,

T=f(zh)4π.T=\frac{|f'(z_h)|}{4\pi}.

In the physical range d(d2)Q20d-(d-2)Q^2\ge0, this gives

T=14πzh[d(d2)Q2].T=\frac{1}{4\pi z_h}\left[d-(d-2)Q^2\right].

Extremality means T=0T=0, so

Q2=dd2.Q^2=\frac{d}{d-2}.

At this value the blackening factor develops a double zero at the horizon.

Exercise 4: Gauss law and fractionalized charge

Section titled “Exercise 4: Gauss law and fractionalized charge”

Suppose there is no charged bulk matter outside the horizon. Use the radial Maxwell equation to show that all boundary charge is horizon charge.

Solution

With no charged bulk matter,

Jbulkt=0.J^t_{\rm bulk}=0.

The radial Maxwell equation is

zΠAt(z)=gJbulkt(z).\partial_z\Pi_A^t(z)=\sqrt{-g}\,J^t_{\rm bulk}(z).

Therefore

zΠAt(z)=0.\partial_z\Pi_A^t(z)=0.

The flux is independent of zz, so its value at the boundary equals its value at the horizon:

ρ=ΠAt(0)=ΠAt(zh)=ρhor.\rho=\Pi_A^t(0)=\Pi_A^t(z_h)=\rho_{\rm hor}.

Thus all of the boundary charge is represented by electric flux entering the horizon. This is the fully fractionalized case.

Exercise 5: Cohesive charge from a charged scalar

Section titled “Exercise 5: Cohesive charge from a charged scalar”

A charged scalar field has covariant derivative

DMΨ=(MiqAM)Ψ.D_M\Psi=(\nabla_M-iqA_M)\Psi.

The associated bulk current contains the term

JbulkN=iq[Ψ(DNΨ)Ψ(DNΨ)].J^N_{\rm bulk} =iq\left[\Psi^*(D^N\Psi)-\Psi(D^N\Psi)^*\right].

For a static configuration with Ψ=Ψ(z)\Psi=\Psi(z) real in a convenient gauge and A=At(z)dtA=A_t(z)dt, show that JbulktJ^t_{\rm bulk} is proportional to q2AtΨ2q^2A^t\Psi^2. Explain the boundary meaning.

Solution

If Ψ\Psi is real and depends only on zz, then

DtΨ=iqAtΨ.D^t\Psi=-iqA^t\Psi.

Also

(DtΨ)=+iqAtΨ.(D^t\Psi)^*=+iqA^t\Psi.

Substituting into the current,

Jbulkt=iq[Ψ(iqAtΨ)Ψ(+iqAtΨ)]=2q2AtΨ2,J^t_{\rm bulk} =iq\left[\Psi(-iqA^t\Psi)-\Psi(+iqA^t\Psi)\right] =2q^2A^t\Psi^2,

up to the sign convention for the metric component in At=gttAtA^t=g^{tt}A_t.

The important point is that a charged scalar condensate outside the horizon sources radial electric flux. Therefore some of the boundary charge is carried by explicit bulk matter rather than by horizon flux. In boundary language, this is cohesive charge, and in the symmetry-broken phase it is associated with a charged condensate.

Exercise 6: Why finite density produces a clean DC delta function

Section titled “Exercise 6: Why finite density produces a clean DC delta function”

Use the relativistic hydrodynamic constitutive relation

Ji=ρui+J^i=\rho u^i+\cdots

and momentum conservation to explain why a translation-invariant finite-density state has an infinite DC conductivity.

Solution

A uniform electric field exerts a force on the charge density:

tPi=ρEi.\partial_t P^i=\rho E^i.

If translations are unbroken, total momentum cannot relax. Therefore a constant electric field continually increases the momentum density.

The current contains a convective contribution,

Ji=ρui+,J^i=\rho u^i+\cdots,

and the momentum density is proportional to the velocity,

Pi=(ϵ+P)ui.P^i=(\epsilon+P)u^i.

Thus a growing momentum density produces a growing current. In frequency space this appears as

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

which implies a delta function in the real part:

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

This is not superconductivity. It is perfect conduction caused by exact momentum conservation.

For the finite-density dictionary, charged horizons, fractionalized versus cohesive charge, and the role of radial electric flux, see Hartnoll, Lucas, and Sachdev, Holographic Quantum Matter, especially the sections on compressible quantum matter and charged horizons. For a textbook derivation of the planar AdS Reissner–Nordström black brane and its thermodynamics, see Ammon and Erdmenger, Gauge/Gravity Duality, section 15.2. For the condensed-matter-oriented narrative around the RN strange metal, Einstein-Maxwell-dilaton generalizations, and scaling phases, see Zaanen, Liu, Sun, and Schalm, Holographic Duality in Condensed Matter Physics, chapter 8.