Skip to content

Holographic Conductivity

Conductivity is the cleanest holographic transport calculation. It is simple enough to do explicitly, but it already contains the whole real-time AdS/CFT logic:

  1. identify the boundary source Ax(0)A_x^{(0)} for a conserved current JxJ^x;
  2. solve a bulk Maxwell equation for Ax(r,t)=ax(r)eiωtA_x(r,t)=a_x(r)e^{-i\omega t};
  3. impose an infalling condition at the future horizon;
  4. read the boundary current from the radial canonical momentum;
  5. divide the current by the boundary electric field.

The striking result is that, in a neutral translationally invariant black brane, the DC conductivity can be evaluated entirely at the horizon. The radial electric flux is conserved at ω=0\omega=0, and the infalling condition converts that flux into Ohm’s law. This is the current-sector version of the membrane paradigm.

Radial flow of holographic conductivity

A boundary electric field sources a bulk Maxwell fluctuation ax(r)eiωta_x(r)e^{-i\omega t}. The radial canonical momentum Πx\Pi_x is the holographic current. At small ω\omega and zero spatial momentum, Πx\Pi_x is radially conserved to leading order, so the DC conductivity can be evaluated at the horizon from the infalling condition.

This page first treats the universal probe-Maxwell calculation at zero charge density. We then explain what changes at finite density, where electric perturbations generally mix with metric perturbations and the clean DC conductivity is infinite unless momentum can relax.

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

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

Couple the theory to a nondynamical background gauge field,

δSCFT=ddxAμ(0)Jμ.\delta S_{\mathrm{CFT}} = \int d^d x\,A_\mu^{(0)}J^\mu.

At zero spatial momentum, choose the boundary gauge

At(0)=0,Ax(0)(t)=Ax(0)(ω)eiωt.A_t^{(0)}=0, \qquad A_x^{(0)}(t)=A_x^{(0)}(\omega)e^{-i\omega t}.

The boundary electric field is then

Ex(ω)=tAx(0)=iωAx(0)(ω),E_x(\omega) =-\partial_t A_x^{(0)} =i\omega A_x^{(0)}(\omega),

using the Fourier convention eiωte^{-i\omega t}. The optical conductivity is defined by

Jx(ω)=σ(ω)Ex(ω).\langle J_x(\omega)\rangle = \sigma(\omega)E_x(\omega).

With the retarded correlator convention used in the previous page,

Jx(ω)=GJxJxR(ω,0)Ax(0)(ω),\langle J_x(\omega)\rangle =-G^R_{J_xJ_x}(\omega,\mathbf 0)A_x^{(0)}(\omega),

where the minus sign reflects the usual relation between an action source and a Hamiltonian perturbation. Then

σ(ω)=1iωGJxJxR(ω,0),\sigma(\omega) = -\frac{1}{i\omega}G^R_{J_xJ_x}(\omega,\mathbf 0),

up to contact-term conventions. If one defines GRG^R with the opposite source sign, GRG^R flips sign but the physical conductivity does not. The dissipative DC conductivity is extracted by the Kubo formula

σDC=limω01ωImGJxJxR(ω,0).\sigma_{\mathrm{DC}} = - \lim_{\omega\to0} \frac{1}{\omega}\operatorname{Im}G^R_{J_xJ_x}(\omega,\mathbf 0).

A quick dimensional check is useful. In dd boundary spacetime dimensions,

[Ji]=d1,[Ei]=2,[J^i]=d-1, \qquad [E_i]=2,

so

[σ]=d3.[\sigma]=d-3.

Thus conductivity is dimensionless in a 2+12+1-dimensional CFT, proportional to TT in a 3+13+1-dimensional CFT, and proportional to Td3T^{d-3} in a thermal scale-invariant state.

The bulk dual of a conserved current is a gauge field. The simplest effective action is

SA=14dd+1xgZ(r)FabFab+Sct,S_A = -\frac14\int d^{d+1}x\sqrt{-g}\,\mathcal Z(r)F_{ab}F^{ab}+S_{\mathrm{ct}},

where

Fab=aAbbAa.F_{ab}=\partial_aA_b-\partial_bA_a.

Here Z(r)\mathcal Z(r) is an effective gauge coupling. In a minimal Maxwell theory one may write

Z(r)=1gd+12,\mathcal Z(r)=\frac{1}{g_{d+1}^2},

while in Einstein-Maxwell-dilaton models one often has

Z(r)=Z(Φ(r))gd+12.\mathcal Z(r)=\frac{Z(\Phi(r))}{g_{d+1}^2}.

The normalization of Z\mathcal Z is physical: it fixes the normalization of the CFT current two-point function. A numerical value of σ\sigma is meaningless until the current normalization is specified.

Take a static isotropic black-brane metric

ds2=gtt(r)dt2+grr(r)dr2+gxx(r)dx2,gtt<0,ds^2 = g_{tt}(r)dt^2+g_{rr}(r)dr^2+g_{xx}(r)d\mathbf x^2, \qquad g_{tt}<0,

with horizon at r=rhr=r_h and AdS boundary at rr\to\infty. Near a nonextremal horizon,

gtt(r)ct(rrh),grr(r)crrrh,g_{tt}(r)\simeq -c_t(r-r_h), \qquad g_{rr}(r)\simeq \frac{c_r}{r-r_h},

so

T=14πctcr.T=\frac{1}{4\pi}\sqrt{\frac{c_t}{c_r}}.

The calculation below does not depend on a special radial coordinate. If one uses the Poincaré coordinate zz, the boundary is at z=0z=0 and the horizon is at z=zhz=z_h; the same formulas are obtained after the obvious relabeling.

Work in radial gauge,

Ar=0,A_r=0,

and excite a transverse fluctuation at zero spatial momentum,

Ax(r,t)=ax(r)eiωt.A_x(r,t)=a_x(r)e^{-i\omega t}.

At zero background charge density, this mode decouples from metric fluctuations. The Maxwell equation is

a(ZFab)=0.\nabla_a\left(\mathcal Z F^{ab}\right)=0.

For the b=xb=x component, one obtains

r(Zggrrgxxax)ω2Zggttgxxax=0.\partial_r \left( \mathcal Z\sqrt{-g}\,g^{rr}g^{xx}a_x' \right) - \omega^2\mathcal Z\sqrt{-g}\,g^{tt}g^{xx}a_x =0.

Because gtt<0g^{tt}<0, this is a radial wave equation in a black-brane potential. The two integration constants are fixed by two physical requirements:

Radial locationConditionBoundary meaning
AdS boundaryaxax(0)a_x\to a_x^{(0)}source for JxJ_x
future horizoninfalling waveretarded response

The quantity conjugate to axa_x in the radial Hamiltonian sense is

Πx(r,ω)=Zggrrgxxax(r,ω).\Pi_x(r,\omega) = -\mathcal Z\sqrt{-g}\,g^{rr}g^{xx}a_x'(r,\omega).

The minus sign is conventional and depends on whether the outward normal is taken toward increasing or decreasing radial coordinate. The final conductivity is unchanged if all source and response conventions are adjusted consistently.

With this definition, the equation of motion becomes

rΠx(r,ω)=ω2Zggttgxxax(r,ω).\partial_r\Pi_x(r,\omega) = -\omega^2\mathcal Z\sqrt{-g}\,g^{tt}g^{xx}a_x(r,\omega).

At ω=0\omega=0, the radial momentum is conserved:

rΠx=0.\partial_r\Pi_x=0.

This is the first hint that the DC response can be read off from any radial slice, including the horizon.

Near the AdS boundary, a massless bulk gauge field has the schematic expansion

ax(r)=ax(0)++ax(d2)r2d+,a_x(r)=a_x^{(0)}+\cdots+a_x^{(d-2)}r^{2-d}+\cdots,

when the boundary is at rr\to\infty. In zz coordinates this becomes

ax(z)=ax(0)++ax(d2)zd2+.a_x(z)=a_x^{(0)}+\cdots+a_x^{(d-2)}z^{d-2}+\cdots.

The leading term is the source. The subleading term is proportional to the expectation value of the current, after holographic renormalization. More invariantly,

Jx(ω)=limrΠxren(r,ω).\langle J_x(\omega)\rangle = \lim_{r\to\infty}\Pi_x^{\mathrm{ren}}(r,\omega).

The renormalized on-shell Maxwell action is quadratic in the boundary source,

Sren(2)=12dω2πAx(0)(ω)GJxJxR(ω,0)Ax(0)(ω),S_{\mathrm{ren}}^{(2)} =\frac12\int\frac{d\omega}{2\pi}\, A_x^{(0)}(-\omega) G^R_{J_xJ_x}(\omega,\mathbf 0) A_x^{(0)}(\omega),

with the retarded prescription supplied by the horizon condition. Equivalently,

GJxJxR(ω,0)=limrΠxren(r,ω)ax(r,ω).G^R_{J_xJ_x}(\omega,\mathbf 0) = -\lim_{r\to\infty} \frac{\Pi_x^{\mathrm{ren}}(r,\omega)}{a_x(r,\omega)}.

In even boundary dimensions, logarithmic near-boundary terms and counterterms can shift the real analytic part of GRG^R. This affects the imaginary part of σ(ω)\sigma(\omega) by local terms, but it does not change the dissipative DC limit

limω01ωImGJxJxR.- \lim_{\omega\to0} \frac{1}{\omega}\operatorname{Im}G^R_{J_xJ_x}.

Near the horizon define the tortoise coordinate

drdr=grrgtt.\frac{dr_*}{dr} = \sqrt{\frac{g_{rr}}{-g_{tt}}}.

The two local wave behaviors are

ax(r)eiωtCineiω(t+r)+Couteiω(tr).a_x(r)e^{-i\omega t} \sim C_{\mathrm{in}}e^{-i\omega(t+r_*)} + C_{\mathrm{out}}e^{-i\omega(t-r_*)}.

The retarded Green function is obtained by setting

Cout=0.C_{\mathrm{out}}=0.

Equivalently, the fluctuation is regular in the ingoing Eddington-Finkelstein coordinate

v=t+r.v=t+r_*.

For small frequency the infalling condition implies

ax(r)(rrh)iω/(4πT),a_x(r) \sim (r-r_h)^{-i\omega/(4\pi T)},

and hence

ax(r)iωgrrgttax(r)a_x'(r) \simeq -i\omega \sqrt{\frac{g_{rr}}{-g_{tt}}} a_x(r)

near the horizon.

Substituting into the canonical momentum gives

Πx(rh)=iωZggrrgxxgrrgttrhax(rh)+O(ω2).\Pi_x(r_h) = i\omega\left. \mathcal Z\sqrt{-g}\,g^{rr}g^{xx} \sqrt{\frac{g_{rr}}{-g_{tt}}} \right|_{r_h}a_x(r_h)+O(\omega^2).

Using grr=1/grrg^{rr}=1/g_{rr},

grrgrrgtt=1gttgrr,g^{rr}\sqrt{\frac{g_{rr}}{-g_{tt}}} = \frac{1}{\sqrt{-g_{tt}g_{rr}}},

so

Πxiωaxrh=Zggxxgttgrrrh.\frac{\Pi_x}{i\omega a_x}\bigg|_{r_h} = \left. \frac{\mathcal Z\sqrt{-g}\,g^{xx}}{\sqrt{-g_{tt}g_{rr}}} \right|_{r_h}.

At leading order in ω\omega, axa_x is radially constant and Πx\Pi_x is radially conserved. Therefore the boundary DC conductivity is

σDC=Zggxxgttgrrr=rh\boxed{ \sigma_{\mathrm{DC}} = \left. \frac{\mathcal Z\sqrt{-g}\,g^{xx}}{\sqrt{-g_{tt}g_{rr}}} \right|_{r=r_h} }

for a neutral isotropic black brane with a decoupled Maxwell fluctuation.

If

ds2=gtt(+)dt2+grr(+)dr2+gxxdxd12,gtt(+),grr(+)>0,ds^2=-g_{tt}^{(+)}dt^2+g_{rr}^{(+)}dr^2+g_{xx}d\mathbf x_{d-1}^2, \qquad g_{tt}^{(+)},g_{rr}^{(+)}>0,

then the same formula reads

σDC=Zggxxgtt(+)grr(+)rh=Zgxx(d3)/2rh.\sigma_{\mathrm{DC}} = \left. \frac{\mathcal Z\sqrt{-g}}{g_{xx}\sqrt{g_{tt}^{(+)}g_{rr}^{(+)}}} \right|_{r_h} = \left.\mathcal Z\,g_{xx}^{(d-3)/2}\right|_{r_h}.

This last expression makes the dimensional scaling obvious.

The DC formula is a low-frequency simplification of a more general radial-flow viewpoint. Define the radially dependent conductivity

σ(r,ω)=Πx(r,ω)iωax(r,ω).\sigma(r,\omega) = \frac{\Pi_x(r,\omega)}{i\omega a_x(r,\omega)}.

At the boundary,

σ(ω)=limrσ(r,ω),\sigma(\omega)=\lim_{r\to\infty}\sigma(r,\omega),

again up to contact-term conventions. Define also the local membrane conductivity

Σ(r)=Zggxxgttgrr.\Sigma(r) = \frac{\mathcal Z\sqrt{-g}\,g^{xx}}{\sqrt{-g_{tt}g_{rr}}}.

At zero spatial momentum the Maxwell equation implies the first-order flow equation

rσ(r,ω)=iωgrrgtt(σ(r,ω)2Σ(r)Σ(r)),\partial_r\sigma(r,\omega) = i\omega \sqrt{\frac{g_{rr}}{-g_{tt}}} \left( \frac{\sigma(r,\omega)^2}{\Sigma(r)} - \Sigma(r) \right),

with horizon condition

σ(rh,ω)=Σ(rh)\sigma(r_h,\omega)=\Sigma(r_h)

for the retarded solution. The precise sign can move if one changes the sign convention for Πx\Pi_x or the radial orientation, but the structure is robust: the horizon supplies the initial condition and the boundary value is the optical conductivity.

This equation clarifies the slogan:

DC transport is horizon data; optical transport is bulk data.

At ω=0\omega=0, the right-hand side vanishes and the conductivity does not flow. At finite ω\omega, the geometry between the horizon and the boundary matters. The full optical conductivity is therefore generally not equal to the horizon conductivity.

For the planar AdSd+1_{d+1} black brane,

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

with

T=d4πzh,T=\frac{d}{4\pi z_h},

and constant

Z=1gd+12,\mathcal Z=\frac{1}{g_{d+1}^2},

the membrane formula gives

σDC=1gd+12(Lzh)d3=1gd+12(4πLTd)d3\boxed{ \sigma_{\mathrm{DC}} = \frac{1}{g_{d+1}^2} \left(\frac{L}{z_h}\right)^{d-3} = \frac{1}{g_{d+1}^2} \left(\frac{4\pi L T}{d}\right)^{d-3} }

for the neutral current sector.

Two special cases are worth remembering.

For a 2+12+1-dimensional CFT, d=3d=3, conductivity is dimensionless:

σDC=1g42.\sigma_{\mathrm{DC}} =\frac{1}{g_4^2}.

For the pure Maxwell field in an AdS4_4 black brane at zero density, electromagnetic self-duality makes the full optical conductivity frequency independent:

σ(ω)=1g42.\sigma(\omega)=\frac{1}{g_4^2}.

This is a special property of the simplest four-dimensional bulk Maxwell theory. Higher-derivative terms, charged matter, nontrivial Z(Φ)Z(\Phi), or finite density generally destroy it.

For a 3+13+1-dimensional CFT, d=4d=4,

σDC=Lg52zh=πLTg52.\sigma_{\mathrm{DC}} =\frac{L}{g_5^2z_h} =\frac{\pi L T}{g_5^2}.

For the canonical N=4\mathcal N=4 SYM R-current with the standard normalization

Lg52=N216π2,\frac{L}{g_5^2}=\frac{N^2}{16\pi^2},

so

σDC=N2T16π.\sigma_{\mathrm{DC}} =\frac{N^2T}{16\pi}.

The coefficient is normalization dependent, but the scaling σN2T\sigma\sim N^2T is the natural large-NN and conformal scaling in four boundary dimensions.

Conductivity, diffusion, and susceptibility

Section titled “Conductivity, diffusion, and susceptibility”

Conductivity is related to charge diffusion. At zero charge density, hydrodynamics predicts the density-density correlator to contain a diffusive pole,

GJtJtR(ω,k)χDk2iω+Dk2,G^R_{J^tJ^t}(\omega,k) \sim \frac{\chi D k^2}{-i\omega+Dk^2},

where

D=σDCχD=\frac{\sigma_{\mathrm{DC}}}{\chi}

and

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

is the static susceptibility.

For the AdS5_5 black brane, one can compute χ\chi from a static At(z)A_t(z) perturbation. Regularity in Euclidean signature requires

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

while the boundary value is the chemical potential,

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

The Maxwell equation gives

At(z)=μ(1z2zh2),A_t(z)=\mu\left(1-\frac{z^2}{z_h^2}\right),

and the radial electric flux gives

χ=2Lg52zh2.\chi=\frac{2L}{g_5^2z_h^2}.

Since

σDC=Lg52zh,\sigma_{\mathrm{DC}}=\frac{L}{g_5^2z_h},

we get

D=σχ=zh2=12πT.D=\frac{\sigma}{\chi}=\frac{z_h}{2}=\frac{1}{2\pi T}.

This is the classic R-charge diffusion result in strongly coupled thermal N=4\mathcal N=4 SYM, up to the normalization chosen for the particular U(1)U(1) subgroup of the SO(6)SO(6) R-symmetry. The diffusion pole and the conductivity Kubo formula are different limits of the same current correlators.

The DC formula is elegant, but many physical questions require the full optical conductivity. The practical algorithm is direct.

First impose the infalling expansion near the horizon,

ax(z)=(1z/zh)iω/(4πT)(ah+a1(1z/zh)+).a_x(z) =(1-z/z_h)^{-i\omega/(4\pi T)} \left(a_h+a_1(1-z/z_h)+\cdots\right).

Then integrate the radial equation to the AdS boundary. Near the boundary extract

ax(z)=ax(0)+ax(d2)zd2+.a_x(z)=a_x^{(0)}+a_x^{(d-2)}z^{d-2}+\cdots.

The current is obtained from the renormalized canonical momentum,

Jx=Πxren(z0),\langle J_x\rangle =\Pi_x^{\mathrm{ren}}(z\to0),

and the optical conductivity is

σ(ω)=1iωJxax(0).\sigma(\omega) = \frac{1}{i\omega} \frac{\langle J_x\rangle}{a_x^{(0)}}.

In numerical work it is often better to use ingoing Eddington-Finkelstein coordinates. In those coordinates the infalling solution is smooth at the horizon rather than a fractional power, which improves stability and avoids choosing the wrong branch of a logarithm.

Poles of σ(ω)\sigma(\omega) are quasinormal modes in the current channel. The real part of σ\sigma measures absorption. The imaginary part contains reactive response and possible pole terms fixed by Kramers-Kronig relations.

Finite density: why the simple story changes

Section titled “Finite density: why the simple story changes”

At nonzero chemical potential the background gauge field is nonzero,

At=At(r),ρ0.A_t=A_t(r), \qquad \rho\ne0.

Then axa_x usually mixes with metric perturbations such as htxh_{tx}. The physical reason is simple: an electric field accelerates charge, and a charged fluid carries momentum. If translations are exact, momentum cannot decay.

Hydrodynamics then implies

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

and

Imσ(ω)ρ2ϵ+p1ω.\operatorname{Im}\sigma(\omega) \supset \frac{\rho^2}{\epsilon+p}\frac{1}{\omega}.

Equivalently, the clean finite-density conductivity has the schematic form

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

where σQ\sigma_Q is the incoherent part of the conductivity. The divergent term is not a pathology. It is the expected consequence of momentum conservation.

To obtain a finite ordinary DC resistivity at finite density, one must do at least one of the following:

MechanismBulk implementationPhysical meaning
Momentum relaxationaxions, lattices, Q-lattices, disorder, massive-gravity-like modelsmomentum decays
Probe flavor sectorDBI fields on flavor branescharge carriers exchange momentum with an adjoint bath
Incoherent currentgauge-invariant combination orthogonal to momentumfinite transport despite conserved momentum

The next finite-density module returns to these mechanisms. For now the warning is enough: do not apply the neutral Maxwell horizon formula to a charged translationally invariant plasma and call it the full DC conductivity.

Probe branes provide another important class of conductivity calculations. Suppose a small number of flavor branes is added to a large-NcN_c adjoint plasma,

NfNc.N_f\ll N_c.

The flavor current is dual to a worldvolume gauge field on the brane. Its action is not merely Maxwell but Dirac-Born-Infeld,

SDBI=TpNfdp+1ξdet(P[g]ab+2παFab)+SWZ.S_{\mathrm{DBI}} = -T_pN_f\int d^{p+1}\xi\, \sqrt{-\det\left(P[g]_{ab}+2\pi\alpha' F_{ab}\right)} +S_{\mathrm{WZ}}.

At small field strength this reduces to Maxwell theory on the brane. At finite electric field or finite density, the nonlinear DBI square root matters. Regularity of the brane worldvolume solution can determine the induced current, and an effective worldvolume horizon often controls dissipation.

Probe-brane conductivities are finite in situations where a fully backreacted charge sector would show an infinite clean DC conductivity. The reason is large-NN bookkeeping: the flavor sector carries O(NfNc)O(N_fN_c) degrees of freedom, while the adjoint bath has O(Nc2)O(N_c^2) degrees of freedom. At leading order in Nf/NcN_f/N_c, the flavor sector can lose momentum into the bath without changing the bath state.

Gauge invariance and the electric field variable

Section titled “Gauge invariance and the electric field variable”

At nonzero spatial momentum, AxA_x itself is not always the cleanest variable. For longitudinal perturbations propagating along xx, the gauge-invariant electric field is

Ex(r)=ωAx(r)+kAt(r),E_x(r)=\omega A_x(r)+kA_t(r),

up to factors of ii determined by Fourier convention. The diffusion pole appears in the coupled AtA_t-AxA_x system. Using a gauge-dependent field can lead to apparent singularities or spurious modes.

At zero spatial momentum and in the gauge At=0A_t=0, this reduces to the simple relation

Ex=iωAx.E_x=i\omega A_x.

This is why the transverse zero-momentum conductivity calculation is so clean.

What is universal and what is model-dependent?

Section titled “What is universal and what is model-dependent?”

The following distinctions are worth keeping sharp.

StatementStatus
A conserved current is dual to a bulk gauge field.Universal dictionary entry.
Retarded correlators require infalling horizon conditions.Universal in classical black-brane backgrounds.
The boundary current is a renormalized radial canonical momentum.Universal in the GKPW variational problem.
The neutral DC conductivity equals a horizon expression.General for a decoupled Maxwell perturbation under the stated assumptions.
σ(ω)=1/g42\sigma(\omega)=1/g_4^2 in AdS4_4 Maxwell theory.Special consequence of electromagnetic self-duality.
Finite-density clean DC conductivity is infinite.General consequence of momentum conservation when current overlaps with momentum.
A finite strange-metal-like resistivity follows automatically from a charged black hole.False; one needs momentum relaxation or an incoherent observable.

The point of the calculation is not that all conductivities are universal. The point is that holography turns the computation of real-time transport into a well-posed problem in black-hole perturbation theory.

For a holographic conductivity calculation:

  1. Identify the current JμJ^\mu and its bulk gauge field AaA_a.
  2. Fix the normalization of the Maxwell term.
  3. Choose the thermal background.
  4. Turn on the appropriate perturbation, usually Ax=ax(r)eiωtA_x=a_x(r)e^{-i\omega t} at k=0k=0.
  5. Include all fields that mix with axa_x.
  6. Impose infalling regularity at the future horizon.
  7. Extract the source ax(0)a_x^{(0)} and the renormalized canonical momentum Πxren\Pi_x^{\mathrm{ren}} at the boundary.
  8. Compute
GJxJxR=Πxrenax(0),σ(ω)=GJxJxRiω=Πxreniωax(0).G^R_{J_xJ_x}=-\frac{\Pi_x^{\mathrm{ren}}}{a_x^{(0)}}, \qquad \sigma(\omega)=-\frac{G^R_{J_xJ_x}}{i\omega} =\frac{\Pi_x^{\mathrm{ren}}}{i\omega a_x^{(0)}}.
  1. Take the appropriate limit for DC transport.

The fourth and fifth steps are where many wrong answers are born. At zero density axa_x may decouple. At finite density, anisotropy, magnetic field, parity violation, or translation breaking, it usually does not.

Mistake 1: dividing by AxA_x instead of ExE_x. Conductivity is current divided by electric field. At k=0k=0 and At=0A_t=0,

Ex=iωAx(0).E_x=i\omega A_x^{(0)}.

Forgetting this factor changes the low-frequency scaling.

Mistake 2: imposing the wrong horizon condition. Euclidean regularity is not the same thing as a Lorentzian retarded prescription. In Schwarzschild coordinates, infalling modes look singular as fractional powers. The regular object is the field in ingoing Eddington-Finkelstein coordinates.

Mistake 3: ignoring counterterms. The dissipative DC conductivity is robust in the simple examples above, but the full complex optical conductivity may contain scheme-dependent contact terms.

Mistake 4: applying the neutral formula at finite density. A charged translationally invariant plasma has a momentum delta function in Reσ\operatorname{Re}\sigma. The neutral horizon formula does not by itself give the full clean finite-density conductivity.

Mistake 5: hiding normalization in gd+12g_{d+1}^2. The Maxwell coupling encodes the current normalization. This is not a minor convention if one wants numerical coefficients.

Exercise 1: Derive the Maxwell fluctuation equation

Section titled “Exercise 1: Derive the Maxwell fluctuation equation”

Starting from

SA=14dd+1xgZ(r)FabFab,S_A=-\frac14\int d^{d+1}x\sqrt{-g}\,\mathcal Z(r)F_{ab}F^{ab},

consider

Ax(r,t)=ax(r)eiωt,Ar=0,k=0.A_x(r,t)=a_x(r)e^{-i\omega t}, \qquad A_r=0, \qquad \mathbf k=0.

Show that

r(Zggrrgxxax)ω2Zggttgxxax=0.\partial_r \left( \mathcal Z\sqrt{-g}\,g^{rr}g^{xx}a_x' \right) - \omega^2\mathcal Z\sqrt{-g}\,g^{tt}g^{xx}a_x =0.
Solution

The Maxwell equation is

a(gZFab)=0.\partial_a\left(\sqrt{-g}\,\mathcal Z F^{ab}\right)=0.

For b=xb=x, only the rr and tt derivatives contribute:

r(gZFrx)+t(gZFtx)=0.\partial_r\left(\sqrt{-g}\,\mathcal ZF^{rx}\right) + \partial_t\left(\sqrt{-g}\,\mathcal ZF^{tx}\right)=0.

The nonzero field strengths are

Frx=axeiωt,Ftx=iωaxeiωt.F_{rx}=a_x'e^{-i\omega t}, \qquad F_{tx}=-i\omega a_xe^{-i\omega t}.

Therefore

Frx=grrgxxaxeiωt,F^{rx}=g^{rr}g^{xx}a_x'e^{-i\omega t},

and

Ftx=gttgxx(iωax)eiωt.F^{tx}=g^{tt}g^{xx}(-i\omega a_x)e^{-i\omega t}.

Taking the time derivative gives another factor of iω-i\omega, hence

tFtx=ω2gttgxxaxeiωt.\partial_tF^{tx}=-\omega^2g^{tt}g^{xx}a_xe^{-i\omega t}.

Removing the common time dependence gives the desired radial equation.

Exercise 2: Horizon formula for the DC conductivity

Section titled “Exercise 2: Horizon formula for the DC conductivity”

Use the near-horizon behavior

ax(r)iωgrrgttax(r)a_x'(r) \simeq -i\omega\sqrt{\frac{g_{rr}}{-g_{tt}}}a_x(r)

and

Πx=Zggrrgxxax\Pi_x=-\mathcal Z\sqrt{-g}\,g^{rr}g^{xx}a_x'

to show that

σDC=Zggxxgttgrrrh.\sigma_{\mathrm{DC}} = \left. \frac{\mathcal Z\sqrt{-g}\,g^{xx}}{\sqrt{-g_{tt}g_{rr}}} \right|_{r_h}.
Solution

Substituting the infalling relation into the canonical momentum gives

Πx(rh)=iωZggrrgxxgrrgttax(rh).\Pi_x(r_h) = i\omega\mathcal Z\sqrt{-g}\,g^{rr}g^{xx} \sqrt{\frac{g_{rr}}{-g_{tt}}}a_x(r_h).

Since

grrgrrgtt=1gttgrr,g^{rr}\sqrt{\frac{g_{rr}}{-g_{tt}}} = \frac{1}{\sqrt{-g_{tt}g_{rr}}},

we obtain

Πxiωaxrh=Zggxxgttgrrrh.\frac{\Pi_x}{i\omega a_x}\bigg|_{r_h} = \left. \frac{\mathcal Z\sqrt{-g}\,g^{xx}}{\sqrt{-g_{tt}g_{rr}}} \right|_{r_h}.

At ω0\omega\to0, Πx\Pi_x is radially conserved and axa_x is constant to leading order. The horizon ratio therefore equals the boundary DC conductivity.

Exercise 3: Dimensional scaling in a neutral CFT

Section titled “Exercise 3: Dimensional scaling in a neutral CFT”

For the AdSd+1_{d+1} black brane

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

show that

σDC=1gd+12(Lzh)d3.\sigma_{\mathrm{DC}} =\frac{1}{g_{d+1}^2}\left(\frac{L}{z_h}\right)^{d-3}.
Solution

For this metric,

g=(Lz)d+1,gxx=z2L2,\sqrt{-g}=\left(\frac{L}{z}\right)^{d+1}, \qquad g^{xx}=\frac{z^2}{L^2},

and

gttgzz=L2z2.\sqrt{-g_{tt}g_{zz}}=\frac{L^2}{z^2}.

With Z=1/gd+12\mathcal Z=1/g_{d+1}^2,

Zggxxgttgzz=1gd+12(Lz)d+1z2L2z2L2=1gd+12(Lz)d3.\frac{\mathcal Z\sqrt{-g}\,g^{xx}}{\sqrt{-g_{tt}g_{zz}}} = \frac{1}{g_{d+1}^2} \left(\frac{L}{z}\right)^{d+1} \frac{z^2}{L^2} \frac{z^2}{L^2} = \frac{1}{g_{d+1}^2} \left(\frac{L}{z}\right)^{d-3}.

Evaluating at z=zhz=z_h gives the result. Since zh=d/(4πT)z_h=d/(4\pi T), this scales as Td3T^{d-3}, precisely as required by CFT dimensional analysis.

Exercise 4: Why finite density gives an infinite clean DC conductivity

Section titled “Exercise 4: Why finite density gives an infinite clean DC conductivity”

Use hydrodynamics to explain why a translationally invariant finite-density system has an infinite contribution to the electric conductivity. Assume

Ji=ρϵ+pTti+Jinci,J^i=\frac{\rho}{\epsilon+p}T^{ti}+J^i_{\mathrm{inc}},

and that an electric field changes the momentum density according to

tTti=ρEi.\partial_tT^{ti}=\rho E^i.
Solution

In frequency space,

iωTti=ρEi,-i\omega T^{ti}=\rho E^i,

so

Tti=iρωEi.T^{ti}=\frac{i\rho}{\omega}E^i.

The part of the current overlapping with momentum is therefore

Ji=ρϵ+pTti=iρ2(ϵ+p)ωEi.J^i = \frac{\rho}{\epsilon+p}T^{ti} = \frac{i\rho^2}{(\epsilon+p)\omega}E^i.

Thus

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

By the Kramers-Kronig relation, this imaginary pole implies

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

A finite ordinary DC resistivity therefore requires momentum relaxation or an incoherent current that does not overlap with total momentum.