Skip to content

Finite Density and Bulk Gauge Fields

Finite density is the first place where holography begins to look less like a formal dictionary and more like a tool for many-body physics. Instead of asking only for vacuum correlators or thermal correlators, we ask for a state with a nonzero density of a conserved charge.

On the field-theory side, the basic object is a conserved current JμJ^\mu and a charge

Q=Σdd1xJt.Q=\int_{\Sigma} d^{d-1}x \, J^t .

A thermal state at chemical potential μ\mu is described by

ρβ,μ=1Z(β,μ)exp[β(HμQ)].\rho_{\beta,\mu} = \frac{1}{Z(\beta,\mu)} \exp[-\beta(H-\mu Q)] .

On the gravity side, the current JμJ^\mu is dual to a bulk gauge field AMA_M. The chemical potential is the boundary value of its time component, and the charge density is the radial electric flux.

This is the basic finite-density dictionary:

At(0)=μ,Jt=ρradial electric flux in AdS.\boxed{ A_t^{(0)} = \mu, \qquad \langle J^t\rangle = \rho \quad \leftrightarrow \quad \text{radial electric flux in AdS}. }

The point of this page is to make this statement precise and to explain what it does, and does not, mean.

A bulk gauge field encodes chemical potential and charge density through its boundary value and radial electric flux.

A conserved boundary current JμJ^\mu is sourced by the boundary value Aμ(0)A_\mu^{(0)} of a bulk gauge field. For a homogeneous finite-density state, At(0)=μA_t^{(0)}=\mu and the radial electric flux is proportional to the charge density ρ=Jt\rho=\langle J^t\rangle.

Finite density introduces three new pieces of physics.

First, it gives us a controlled holographic way to study strongly coupled compressible systems. The boundary theory has a conserved charge and a nonzero density of that charge. In ordinary weakly coupled language one might expect quasiparticles, a Fermi surface, or a condensate. Holography does not require any of those assumptions.

Second, finite density forces us to distinguish carefully between global and gauge symmetries. A bulk gauge symmetry is dual to a global symmetry of the boundary CFT. Unless we explicitly choose boundary conditions that make the boundary gauge field dynamical, Aμ(0)A_\mu^{(0)} is an external source, not a dynamical photon.

Third, finite density produces new black-hole geometries. Turning on charge in the boundary theory usually means turning on electric flux in the bulk. If that flux backreacts, the neutral AdS black brane becomes a charged Reissner–Nordström-AdS black brane. That is the next page.

Let the boundary theory have a conserved current JμJ^\mu satisfying

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

in flat space, or

μJμ=0\nabla_\mu J^\mu = 0

on a curved background, up to anomalies that we ignore for now.

The current is sourced by a background gauge field Aμ(0)A_\mu^{(0)}. A common Lorentzian convention is

SQFTSQFT+ddxAμ(0)Jμ.S_{\mathrm{QFT}} \to S_{\mathrm{QFT}} + \int d^d x \, A_\mu^{(0)} J^\mu .

Then the generating functional obeys

Jμ(x)=1g(0)δW[A(0)]δAμ(0)(x).\langle J^\mu(x)\rangle = \frac{1}{\sqrt{-g_{(0)}}} \frac{\delta W[A^{(0)}]}{\delta A_\mu^{(0)}(x)} .

A chemical potential for the charge QQ is introduced by setting

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

for a homogeneous static state. In Euclidean signature, this statement is often phrased as a background holonomy around the thermal circle.

A more invariant statement is that the chemical potential is the gauge-invariant difference between the boundary value of AtA_t and the value at the horizon:

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

For a smooth Euclidean black-hole saddle, one usually chooses a gauge in which

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

This is not just a cosmetic convention. At the Euclidean horizon the thermal circle shrinks, so the one-form A=AtdτA=A_t d\tau must be regular there. The horizon value of AtA_t is therefore fixed by regularity in the usual grand-canonical black-hole saddle.

The minimal bulk action for a conserved U(1)U(1) current is a Maxwell action in an asymptotically AdS spacetime:

SA=14gd+12dd+1xgFMNFMN+Sbdy,F=dA.S_A = -\frac{1}{4g_{d+1}^2} \int d^{d+1}x\,\sqrt{-g}\,F_{MN}F^{MN} +S_{\mathrm{bdy}}, \qquad F=dA .

Here gd+1g_{d+1} is the bulk gauge coupling. Its precise normalization depends on the top-down model or bottom-up convention. In a top-down compactification, gd+1g_{d+1} is determined by the internal space and flux data. In a bottom-up model, it is a phenomenological parameter fixed by the normalization of the current two-point function.

The Maxwell equation is

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

or equivalently

M(gFMN)=0\partial_M\left(\sqrt{-g}F^{MN}\right)=0

when no charged bulk matter is present.

Near the AdS boundary, the gauge field has an expansion of the form

Ai(z,x)=Ai(0)(x)++zd2Ai(d2)(x)+,d>2.A_i(z,x) = A_i^{(0)}(x) + \cdots + z^{d-2}A_i^{(d-2)}(x) + \cdots, \qquad d>2 .

The leading term is the source. The subleading coefficient is related to the expectation value of the current. In particular, for a homogeneous electric potential in pure asymptotic AdS,

At(z)=μgd+12ρ(d2)Ld3zd2+,d>2,A_t(z) = \mu - \frac{g_{d+1}^2\rho}{(d-2)L^{d-3}} z^{d-2} + \cdots, \qquad d>2,

with the sign chosen so that ρ=Jt\rho=\langle J^t\rangle in the convention used here.

The more invariant definition is through the renormalized canonical momentum:

Ji=limϵ01g(0)δSrenδAi(0)=limϵ0Πreni.\langle J^i\rangle = \lim_{\epsilon\to0} \frac{1}{\sqrt{-g_{(0)}}} \frac{\delta S_{\mathrm{ren}}}{\delta A_i^{(0)}} = \lim_{\epsilon\to0} \Pi^i_{\mathrm{ren}} .

For the Maxwell field, before adding possible finite counterterms,

Πi=1gd+12γnMFMi,\Pi^i = -\frac{1}{g_{d+1}^2} \sqrt{-\gamma}\,n_M F^{Mi},

where nMn_M is the outward unit normal to the cutoff surface and γij\gamma_{ij} is the induced metric. Different sign conventions for the outward normal shift an overall sign, so the safest rule is always to define the current by varying SrenS_{\mathrm{ren}}.

In the grand-canonical ensemble, we fix μ\mu. In holography this means Dirichlet boundary conditions for AtA_t:

At(z0)=μ.A_t(z\to0)=\mu .

The boundary generating functional is then

ZCFT[A(0)]=exp(ddxAμ(0)Jμ).Z_{\mathrm{CFT}}[A^{(0)}] = \left\langle \exp\left( \int d^d x\, A_\mu^{(0)}J^\mu \right) \right\rangle .

The Euclidean thermal partition function at chemical potential is

Z(β,μ)=Treβ(HμQ).Z(\beta,\mu) = \mathrm{Tr}\, e^{-\beta(H-\mu Q)} .

The grand potential is

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

and the charge density is

ρ=1V(Ωμ)T.\rho = -\frac{1}{V} \left(\frac{\partial \Omega}{\partial \mu}\right)_T .

In the classical gravity limit,

Ω(T,μ)=TIE,ren[At(0)=μ]\Omega(T,\mu) = T I_{E,\mathrm{ren}}[A_t^{(0)}=\mu]

for the dominant Euclidean saddle.

Now assume a static homogeneous ansatz

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

The N=tN=t Maxwell equation gives

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

Thus the radial electric flux is independent of zz:

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

This is the bulk form of charge conservation. The same constant can be evaluated near the boundary, where it is proportional to ρ\rho, or deeper in the bulk, where it may be carried by a charged horizon, charged matter fields, or charged branes.

This simple observation is surprisingly powerful. It tells us that a finite-density holographic state is not just a black hole with a parameter named μ\mu. It is a bulk configuration carrying electric flux.

There are two natural finite-density ensembles.

In the grand-canonical ensemble, the chemical potential is fixed:

δAt(0)=0.\delta A_t^{(0)}=0 .

The on-shell action computes Ω(T,μ)\Omega(T,\mu).

In the canonical ensemble, the charge density is fixed. This corresponds to fixing the radial electric flux rather than the boundary value of AtA_t. At the level of the variational principle, one performs a Legendre transform of the action. Schematically,

Scanonical=SgrandMddxAt(0)ρ.S_{\mathrm{canonical}} = S_{\mathrm{grand}} - \int_{\partial M} d^d x\, A_t^{(0)}\rho .

Then the free energy is

F(T,ρ)=Ω(T,μ)+μQ.F(T,\rho) = \Omega(T,\mu)+\mu Q .

This distinction matters for charged black holes, where stability and phase structure can differ between ensembles.

Gauge invariance and the meaning of μ\mu

Section titled “Gauge invariance and the meaning of μ\muμ”

A constant shift of AtA_t looks like a gauge transformation, so why is At(0)=μA_t^{(0)}=\mu physical?

The answer is that chemical potential is not the absolute value of AtA_t at one point. It is a boundary condition relative to the regularity condition in the interior. For a black-hole saddle,

μ=At(0)At(zh)=zh0dzzAt.\mu = A_t(0)-A_t(z_h) = \int_{z_h}^{0} dz\,\partial_z A_t .

Equivalently, in Euclidean signature it is tied to the holonomy of the gauge field around the thermal circle, with regularity imposed where the circle contracts.

This is why the common gauge choice

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

is physically meaningful even though AtA_t itself is gauge-dependent.

Boundary global symmetry, not boundary electromagnetism

Section titled “Boundary global symmetry, not boundary electromagnetism”

A frequent confusion is to say that the bulk gauge field is dual to electromagnetism in the boundary theory. That is usually not correct.

In the standard Dirichlet quantization, Aμ(0)A_\mu^{(0)} is a nondynamical source for a global current JμJ^\mu. The boundary theory has a global U(1)U(1) symmetry. The bulk field is gauge redundant because the dual current is conserved.

The source Aμ(0)A_\mu^{(0)} can be interpreted as an externally imposed electromagnetic field, but it is not a fluctuating boundary photon unless we change the boundary conditions and add boundary gauge dynamics.

So the usual dictionary is

bulk gauge symmetryboundary global symmetry.\boxed{ \text{bulk gauge symmetry} \quad\leftrightarrow\quad \text{boundary global symmetry}. }

This point is essential in AdS/CMT. Holography often studies strongly coupled charged matter in a background electromagnetic field, not a full theory of dynamical electromagnetism.

Probe gauge field versus backreacted finite density

Section titled “Probe gauge field versus backreacted finite density”

There are two levels of finite-density holography.

One may study a Maxwell field on a fixed neutral geometry. This is useful for current correlators and conductivities at small density or in approximations where the stress tensor contribution of the gauge field is neglected.

The Maxwell field then solves

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

on a fixed background such as pure AdS or AdS-Schwarzschild.

At finite charge density of order the large-NN degrees of freedom, the electric field carries stress-energy. Then the metric and gauge field must solve Einstein–Maxwell equations. The simplest homogeneous solution is the Reissner–Nordström-AdS black brane.

This is the natural gravitational dual of a thermal CFT state at nonzero chemical potential and charge density.

A CFT at nonzero TT and μ\mu has scales. Conformal invariance is not absent, but it is realized through scaling relations.

For a homogeneous CFT in dd spacetime dimensions,

p(T,μ)=Tdf ⁣(μT),p(T,\mu)=T^d f\!\left(\frac{\mu}{T}\right),

or equivalently

p(T,μ)=μdf~ ⁣(Tμ)p(T,\mu)=\mu^d \tilde f\!\left(\frac{T}{\mu}\right)

when μ0\mu\neq0. The stress tensor remains traceless in flat space, so

ϵ=(d1)p\epsilon=(d-1)p

for an isotropic homogeneous state, up to anomalies or explicit deformations.

The thermodynamic identities are

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

and

ϵ+p=Ts+μρ.\epsilon+p=Ts+\mu\rho .

These relations are useful checks on any charged black-brane computation.

The radial flux equation tells us that charge exists in the bulk, but not what carries it.

There are several possibilities:

  1. The flux can end on a charged horizon. This is the simplest Reissner–Nordström-AdS picture.
  2. The flux can be carried by charged bulk matter outside the horizon.
  3. The flux can be carried by charged branes or stringy degrees of freedom.
  4. The flux can be partly behind the horizon and partly in visible bulk matter.

This distinction matters physically. Charge hidden behind the horizon is sometimes called fractionalized charge in the holographic condensed-matter literature. Charge carried by bulk matter outside the horizon is more directly associated with gauge-invariant charged operators or condensates in the boundary theory.

This course does not need that terminology yet, but it is useful to know that the simple dictionary At(0)=μA_t^{(0)}=\mu is only the start. The distribution of electric flux in the radial direction contains physical information about the state.

Current-current correlators at finite density are computed by perturbing the bulk gauge field:

Ai(z,x)=Aibackground(z)+ai(z,x).A_i(z,x)=A_i^{\mathrm{background}}(z)+a_i(z,x) .

The retarded correlator is obtained from the response/source ratio:

GJiJjR(ω,k)=δJiδAj(0).G^R_{J^iJ^j}(\omega,\mathbf k) = \frac{\delta\langle J^i\rangle}{\delta A_j^{(0)}} .

At finite density, current perturbations often mix with metric perturbations because the background electric field couples gauge and gravitational fluctuations. This is not a technical annoyance; it is the bulk reflection of the fact that charge transport, momentum transport, and energy transport are coupled in a charged fluid.

For example, in a translationally invariant finite-density theory, the electrical conductivity contains a delta function at zero frequency because momentum cannot relax. Holographically, that delta function is tied to coupled gauge-metric perturbations.

The finite-density dictionary is:

Boundary quantityBulk quantity
conserved current JμJ^\mubulk gauge field AMA_M
source for JμJ^\muboundary value Aμ(0)A_\mu^{(0)}
chemical potential μ\muAt(0)At(zh)A_t(0)-A_t(z_h)
charge density ρ=Jt\rho=\langle J^t\rangleradial electric flux
grand-canonical ensembleDirichlet boundary condition for AtA_t
canonical ensemblefixed electric flux / Legendre-transformed action
current correlatorsgauge-field fluctuations
finite-density backreactioncharged black brane or charged bulk matter

The shortest useful slogan is:

μ is boundary electric potential; ρ is radial electric flux.\boxed{ \mu \text{ is boundary electric potential; } \rho \text{ is radial electric flux.} }

“The bulk gauge field is the boundary photon.”

Section titled ““The bulk gauge field is the boundary photon.””

Usually no. In standard AdS/CFT boundary conditions, the bulk gauge field is dual to a global current in the boundary theory. Its boundary value is an external source. A dynamical boundary photon requires changing the boundary conditions and adding boundary gauge dynamics.

“A constant AtA_t is pure gauge, so chemical potential is meaningless.”

Section titled ““A constant AtA_tAt​ is pure gauge, so chemical potential is meaningless.””

The physical chemical potential is the difference between the boundary value and the regular interior value. For a black hole, smoothness fixes At(zh)=0A_t(z_h)=0 in the Euclidean gauge, so At(0)=μA_t(0)=\mu is meaningful.

“Finite charge density always means a charged black hole.”

Section titled ““Finite charge density always means a charged black hole.””

Not always. A charged black hole is the simplest homogeneous backreacted saddle. But charge can also be carried by charged scalar fields, fermion fluids, branes, or other bulk degrees of freedom.

“The coefficient of zd2z^{d-2} is always exactly the charge density.”

Section titled ““The coefficient of zd−2z^{d-2}zd−2 is always exactly the charge density.””

It is proportional to the charge density, but the proportionality depends on the Maxwell normalization, counterterms, and conventions. The invariant prescription is variation of SrenS_{\mathrm{ren}} with respect to At(0)A_t^{(0)}.

“Finite density breaks conformal invariance explicitly.”

Section titled ““Finite density breaks conformal invariance explicitly.””

A chemical potential introduces a scale in the state or ensemble, but the underlying theory can still be conformal. Thermodynamic functions then obey scaling relations such as p(T,μ)=Tdf(μ/T)p(T,\mu)=T^d f(\mu/T).

Exercise 1: Solve the near-boundary Maxwell equation

Section titled “Exercise 1: Solve the near-boundary Maxwell equation”

In pure Poincare AdSd+1_{d+1},

ds2=L2z2(dz2dt2+dx2),ds^2=\frac{L^2}{z^2} \left(dz^2-dt^2+d\mathbf x^2\right),

consider a static homogeneous potential A=At(z)dtA=A_t(z)dt. Show that the Maxwell equation gives

At(z)=μCzd2A_t(z)=\mu-C z^{d-2}

for d>2d>2.

Solution

The Maxwell equation is

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

For the AdS metric,

g=Ld+1zd+1,Fzt=gzzgttFzt=z4L4zAt.\sqrt{-g}=\frac{L^{d+1}}{z^{d+1}}, \qquad F^{zt}=g^{zz}g^{tt}F_{zt} =-\frac{z^4}{L^4}\partial_z A_t .

Thus

gFzt=Ld3z3dzAt=constant.\sqrt{-g}F^{zt} =-L^{d-3}z^{3-d}\partial_z A_t = \text{constant} .

Therefore

zAtzd3.\partial_z A_t \propto z^{d-3} .

Integrating gives

At(z)=μCzd2A_t(z)=\mu-Cz^{d-2}

for d>2d>2. The constant μ\mu is the source, and CC is proportional to the charge density.

Exercise 2: Why must AtA_t vanish at a smooth Euclidean horizon?

Section titled “Exercise 2: Why must AtA_tAt​ vanish at a smooth Euclidean horizon?”

Near a nonextremal Euclidean horizon, the metric takes the schematic form

ds2dR2+R2dθ2+.ds^2 \simeq dR^2 + R^2 d\theta^2 + \cdots .

Explain why the one-form A=AθdθA=A_\theta d\theta is regular at R=0R=0 only if AθA_\theta vanishes there in a smooth gauge.

Solution

At R=0R=0, the angular coordinate θ\theta degenerates. The one-form dθd\theta is not regular at the origin of polar coordinates. In Cartesian coordinates,

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

which is singular at x=y=0x=y=0. Therefore a one-form proportional to dθd\theta is regular at the origin only if its coefficient vanishes sufficiently fast. For a smooth static black-hole gauge field, this means choosing

Aθ(R=0)=0,A_\theta(R=0)=0,

or in Lorentzian notation after Wick rotation,

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

The chemical potential is then the boundary value relative to this regular horizon value.

Starting from the grand potential Ω(T,μ)\Omega(T,\mu), show that

ρ=1V(Ωμ)T.\rho=-\frac{1}{V} \left(\frac{\partial\Omega}{\partial\mu}\right)_T .
Solution

The grand partition function is

Z=Treβ(HμQ),Ω=TlogZ.Z=\mathrm{Tr}\,e^{-\beta(H-\mu Q)}, \qquad \Omega=-T\log Z .

Then

logZμ=βQ.\frac{\partial\log Z}{\partial\mu} = \beta\langle Q\rangle .

Thus

Ωμ=TlogZμ=Q.\frac{\partial\Omega}{\partial\mu} = -T\frac{\partial\log Z}{\partial\mu} =-\langle Q\rangle .

Dividing by the spatial volume VV gives

ρ=QV=1V(Ωμ)T.\rho=\frac{\langle Q\rangle}{V} =-\frac{1}{V} \left(\frac{\partial\Omega}{\partial\mu}\right)_T .

Why is it natural that a bulk gauge field is dual to a conserved boundary current rather than to an arbitrary vector operator?

Solution

A bulk gauge transformation is a redundancy:

AMAM+MΛ.A_M\to A_M+\partial_M\Lambda .

In the boundary generating functional, the corresponding source changes as

Ai(0)Ai(0)+iΛ(0).A_i^{(0)}\to A_i^{(0)}+\partial_i\Lambda^{(0)} .

Gauge invariance of the generating functional implies

0=δW=ddxg(0)JiiΛ(0)=ddxg(0)Λ(0)iJi.0=\delta W =\int d^d x\,\sqrt{-g_{(0)}}\, \langle J^i\rangle\partial_i\Lambda^{(0)} =-\int d^d x\,\sqrt{-g_{(0)}}\, \Lambda^{(0)}\nabla_i\langle J^i\rangle .

Since Λ(0)\Lambda^{(0)} is arbitrary, this gives

iJi=0.\nabla_i\langle J^i\rangle=0 .

Thus bulk gauge redundancy is precisely what enforces conservation of the dual current.