Skip to content

AdS2 Throats and IR Criticality

At finite charge density, the simplest homogeneous holographic saddle is a charged AdS black brane. At nonzero temperature it has a regular horizon and ordinary thermal entropy. At zero temperature, however, the horizon does not disappear. In the minimal Einstein–Maxwell model, its near-horizon region becomes

AdS2×Rd1.\mathrm{AdS}_2\times\mathbb R^{d-1}.

This geometry is the basic infrared laboratory of finite-density holography. It says that the low-energy boundary dynamics is governed by an emergent scale invariance in time, while the spatial directions remain spectators. The resulting behavior is often called local quantum criticality or semi-local criticality.

The word “local” is easy to misread. The bulk theory is still local in spacetime. The point is that the IR scaling acts as

tλt,xx,t\to \lambda t, \qquad \vec x\to \vec x,

so frequency scales but momentum does not.

The near-horizon region of an extremal charged AdS black brane is an AdS2 throat times flat spatial directions.

An extremal charged black brane interpolates between a UV AdSd+1\mathrm{AdS}_{d+1} region and an IR throat AdS2×Rd1\mathrm{AdS}_2\times\mathbb R^{d-1}. The radial direction is an RG scale, while the near-horizon electric field remembers the finite charge density.

Finite-density quantum field theory is hard because the ground state can reorganize itself. Weakly coupled Fermi liquids have quasiparticles. Strongly coupled finite-density systems may not. Holography gives a different diagnostic:

Look at the deep interior of the charged black brane.

For the minimal charged black brane, the deep interior is an AdS2_2 throat. This has three major consequences.

First, low-frequency response functions inherit power laws from AdS2_2. Second, spatial momentum labels different IR operators rather than scaling in the usual relativistic way. Third, extremal RN-AdS has a finite entropy density at T=0T=0, which is powerful but suspicious: it often indicates that the simplest saddle is not the final microscopic ground state.

So AdS2_2 is both a tool and a warning. It gives universal IR control in a simple finite-density phase, but it also points toward instabilities and more refined phases.

Use the planar metric convention

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

The boundary is at z=0z=0. The horizon is at z=zhz=z_h. For a non-extremal black brane, f(z)f(z) has a simple zero at the horizon:

f(z)zhz.f(z)\sim z_h-z.

At extremality, the temperature vanishes and the zero becomes double:

f(z)=d(d1)z2(zz)2+,f(z) = \frac{d(d-1)}{z_*^2}(z_*-z)^2+\cdots,

where zz_* is the extremal horizon position. This double zero is the geometric origin of the AdS2_2 throat.

Near the extremal horizon define

ρ=zz,ρz.\rho=z_*-z, \qquad \rho\ll z_*.

Then

ds2L2z2[d(d1)ρ2z2dt2+dxd12+z2d(d1)dρ2ρ2].ds^2 \approx \frac{L^2}{z_*^2} \left[ -d(d-1)\frac{\rho^2}{z_*^2}dt^2 +d\vec x_{d-1}^{\,2} + \frac{z_*^2}{d(d-1)}\frac{d\rho^2}{\rho^2} \right].

The (t,ρ)(t,\rho) part is AdS2_2. Introducing a coordinate ζ\zeta proportional to 1/ρ1/\rho, the metric becomes

ds2L22ζ2(dt2+dζ2)+L2z2dxd12,ds^2 \approx \frac{L_2^2}{\zeta^2} \left(-dt^2+d\zeta^2\right) + \frac{L^2}{z_*^2}d\vec x_{d-1}^{\,2},

with

L22=L2d(d1).L_2^2=\frac{L^2}{d(d-1)}.

Therefore

extremal RN-AdSd+1AdS2×Rd1near the horizon.\boxed{ \text{extremal RN-AdS}_{d+1} \quad\longrightarrow\quad \mathrm{AdS}_2\times\mathbb R^{d-1} \quad\text{near the horizon}. }

The spatial Rd1\mathbb R^{d-1} factor is not an accident. It is the horizon plane of the black brane.

The gauge potential can be chosen to vanish at the horizon,

At(z)=0,A_t(z_*)=0,

which is the regular gauge in Euclidean signature. But the electric field does not vanish:

Fζt0F_{\zeta t}\neq 0

in the AdS2_2 region. This matters because charged fields in AdS2_2 feel the background electric field. Their effective IR scaling dimensions are shifted by their charge.

Boundary interpretation:

electric flux through the horizoncharge density carried by strongly coupled IR degrees of freedom.\text{electric flux through the horizon} \quad\longleftrightarrow\quad \text{charge density carried by strongly coupled IR degrees of freedom}.

If charge is instead carried by explicit bulk matter outside the horizon, the IR geometry and transport can change. This is one reason why RN-AdS is not the only possible finite-density ground state.

The AdS2_2 metric

ds22=L22ζ2(dt2+dζ2)ds_2^2=\frac{L_2^2}{\zeta^2}(-dt^2+d\zeta^2)

is invariant under

tλt,ζλζ.t\to\lambda t, \qquad \zeta\to\lambda\zeta.

In the full throat geometry,

ds2=dsAdS22+x2dx2,x=Lz,ds^2=ds_{\mathrm{AdS}_2}^2+\ell_x^2d\vec x^{\,2}, \qquad \ell_x=\frac{L}{z_*},

the spatial coordinates do not scale. Momentum is therefore not assigned an ordinary scaling dimension. Instead, each value of k\vec k labels a different operator in the emergent IR CFT1_1.

This is the semi-local scaling structure:

ωλ1ω,kk.\omega\to\lambda^{-1}\omega, \qquad \vec k\to\vec k.

Consider a neutral scalar field of mass mm and Fourier mode

ϕ(t,ζ,x)=eiωt+ikxϕω,k(ζ).\phi(t,\zeta,\vec x) = e^{-i\omega t+i\vec k\cdot\vec x}\phi_{\omega,k}(\zeta).

In the AdS2_2 region, spatial momentum contributes to an effective AdS2_2 mass:

meff2(k)=m2+k2x2+.m_{\mathrm{eff}}^2(k) = m^2+ \frac{k^2}{\ell_x^2}+\cdots.

The dots can include spin-dependent terms, curvature couplings, or mixing with other fields. The AdS2_2 scaling exponent is

νk=14+meff2(k)L22.\nu_k = \sqrt{\frac14+m_{\mathrm{eff}}^2(k)L_2^2}.

The two possible IR dimensions are

δk±=12±νk.\delta_k^{\pm}=\frac12\pm\nu_k.

For a charged field, the background electric field shifts this expression schematically to

νk=14+meff2(k)L22qeff2.\nu_k = \sqrt{\frac14+m_{\mathrm{eff}}^2(k)L_2^2-q_{\mathrm{eff}}^2}.

This formula is the small hinge on which much of holographic finite-density physics turns. The exponent depends on kk, even though kk itself does not scale.

A CFT1_1 operator of dimension

δk=12+νk\delta_k=\frac12+\nu_k

has a zero-temperature retarded Green function with power-law behavior

GkR(ω)ω2νk,\mathcal G_k^R(\omega) \propto \omega^{2\nu_k},

up to a complex coefficient fixed by the infalling AdS2_2 boundary condition.

At low but nonzero temperature, the throat becomes an AdS2_2 black hole. The scaling form is

GkR(ω,T)=T2νkFk ⁣(ωT),\mathcal G_k^R(\omega,T) = T^{2\nu_k} F_k\!\left(\frac{\omega}{T}\right),

where the function FkF_k is determined by the AdS2_2 wave equation.

The full boundary Green function is obtained by matching this IR solution to the outer AdSd+1_{d+1} region. A common schematic form is

GR(ω,k)=b+(k)+b(k)GkR(ω)a+(k)+a(k)GkR(ω).G_R(\omega,k) = \frac{b_+(k)+b_-(k)\mathcal G_k^R(\omega)} {a_+(k)+a_-(k)\mathcal G_k^R(\omega)}.

The functions a±(k)a_\pm(k) and b±(k)b_\pm(k) are UV matching data. The nonanalytic frequency dependence comes from the AdS2_2 throat.

At an ordinary relativistic fixed point,

tλt,xλx,t\to\lambda t, \qquad \vec x\to\lambda\vec x,

and correlators scale in terms of combinations involving both ω\omega and kk.

In an AdS2×Rd1_2\times\mathbb R^{d-1} throat,

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

Therefore the IR exponent can depend continuously on momentum:

GkR(ω)ω2νk.\mathcal G_k^R(\omega)\sim\omega^{2\nu_k}.

This is not a standard CFTd_d scaling form. It is an emergent CFT1_1 scaling form for a continuum of momentum-labeled sectors.

A famous application involves a charged bulk spinor. After matching the AdS2_2 throat to the UV region, the boundary fermion Green function can take the schematic form

GR(ω,k)h1kkFvF1ωh2ω2νkF.G_R(\omega,k) \simeq \frac{h_1} {k-k_F-v_F^{-1}\omega-h_2\omega^{2\nu_{k_F}}}.

The Fermi momentum kFk_F is determined by the UV problem. The exponent νkF\nu_{k_F} is determined by the IR AdS2_2 throat. Depending on its value, the excitation can resemble a Fermi liquid quasiparticle, a non-Fermi liquid, or a marginal Fermi liquid.

The lesson for this course is the mechanism:

UV Fermi momentum+IR AdS2 scalingnontrivial spectral functions.\text{UV Fermi momentum} + \text{IR AdS}_2\text{ scaling} \quad\Rightarrow\quad \text{nontrivial spectral functions}.

Extremal RN-AdS has finite horizon area at zero temperature. Hence

s0=14Gd+1Ld1zd1s_0 = \frac{1}{4G_{d+1}} \frac{L^{d-1}}{z_*^{d-1}}

is nonzero. For an ordinary isolated quantum system, a finite ground-state entropy density is unusual. In holography it is often treated as a clue that the minimal Einstein–Maxwell saddle is incomplete in the deep IR.

Possible resolutions include:

  • charged scalar condensation, leading to holographic superconductors;
  • charged fermion fluids, leading to electron-star-like geometries;
  • lattice or translation-breaking effects;
  • hyperscaling-violating or Lifshitz IR geometries;
  • stringy or finite-NN corrections that lift the degeneracy.

RN-AdS is therefore best read as a controlled, universal starting point, not as a universal endpoint.

Bulk statementBoundary statement
extremal charged horizonzero-temperature finite-density state
AdS2×Rd1\mathrm{AdS}_2\times\mathbb R^{d-1} throatemergent IR CFT1_1 sectors
radial coordinate in AdS2_2low-energy scale
near-horizon electric fieldfinite charge density
exponent νk\nu_kmomentum-dependent IR critical exponent
infalling AdS2_2 conditionretarded IR response
finite extremal areafinite T=0T=0 entropy density, often signaling degeneracy or instability

“AdS2_2 means the boundary theory literally becomes one-dimensional.”

Section titled ““AdS2_22​ means the boundary theory literally becomes one-dimensional.””

No. The UV theory still lives in dd spacetime dimensions. The statement is that the low-frequency dynamics is controlled by an emergent CFT1_1-like sector, with momentum acting as a label.

No. Momentum enters the effective AdS2_2 mass and therefore the exponent νk\nu_k. What disappears is ordinary spatial scaling.

“Extremal RN-AdS is automatically the true ground state.”

Section titled ““Extremal RN-AdS is automatically the true ground state.””

No. It is the simplest homogeneous saddle of Einstein–Maxwell theory. Many models become unstable at low temperature or flow to a different IR geometry.

It may be a useful large-NN saddle artifact, but it is also a warning. In many microscopic theories one expects additional effects to resolve or replace the extremal horizon degeneracy.

Exercise 1: The double zero and AdS2_2

Section titled “Exercise 1: The double zero and AdS2_22​”

Suppose near an extremal horizon z=zz=z_*,

f(z)=c(zz)2+,c>0.f(z)=c(z_*-z)^2+\cdots, \qquad c>0.

Show that the (t,z)(t,z) part of

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

is locally AdS2_2 near the horizon.

Solution

Set ρ=zz\rho=z_*-z. To leading order,

ds22L2z2[cρ2dt2+dρ2cρ2].ds_2^2 \approx \frac{L^2}{z_*^2} \left[-c\rho^2dt^2+\frac{d\rho^2}{c\rho^2}\right].

Define t~=ct\tilde t=ct and ζ=1/(cρ)\zeta=1/(c\rho). Then

ds22=L2cz2dt~2+dζ2ζ2,ds_2^2 = \frac{L^2}{c z_*^2}\frac{-d\tilde t^2+d\zeta^2}{\zeta^2},

which is AdS2_2. For extremal planar RN-AdS, c=d(d1)/z2c=d(d-1)/z_*^2, so L2=L/d(d1)L_2=L/\sqrt{d(d-1)}.

For

ds2=dsAdS22+x2dx2,ds^2=ds_{\mathrm{AdS}_2}^2+\ell_x^2d\vec x^{\,2},

show that a scalar Fourier mode with spatial momentum kk behaves in AdS2_2 like a scalar of mass

meff2(k)=m2+k2x2.m_{\mathrm{eff}}^2(k)=m^2+\frac{k^2}{\ell_x^2}.
Solution

The scalar wave equation contains the term gijkikjϕg^{ij}k_i k_j\phi. Since gij=x2δijg^{ij}=\ell_x^{-2}\delta^{ij}, this contribution is k2/x2k^2/\ell_x^2. Therefore the AdS2_2 radial equation contains the effective mass

meff2(k)=m2+k2x2.m_{\mathrm{eff}}^2(k)=m^2+\frac{k^2}{\ell_x^2}.

The IR scaling exponent is then

νk=14+meff2(k)L22.\nu_k=\sqrt{\frac14+m_{\mathrm{eff}}^2(k)L_2^2}.

Why is

GkR(ω)ω2νk\mathcal G_k^R(\omega)\propto\omega^{2\nu_k}

not the usual scaling form of a relativistic CFTd_d?

Solution

In a relativistic CFTd_d, time and space scale together, so correlators scale in combinations involving both ω\omega and kk. In the AdS2×Rd1_2\times\mathbb R^{d-1} throat only time and the AdS2_2 radial coordinate scale. Momentum remains a label, and the exponent itself may depend on kk. This is the semi-local feature.