Skip to content

AdS2 Throats and Local Criticality

The charged black brane from the previous page has a special zero-temperature limit. At nonzero temperature its horizon is ordinary: the Euclidean time circle caps off smoothly, perturbations fall through the future horizon, and the state is a finite-density thermal fluid. At zero temperature something sharper happens. The horizon becomes extremal, the blackening factor develops a double zero, and the near-horizon region stretches into a long throat with geometry

AdS2×Rds.AdS_2\times \mathbb R^{d_s}.

This throat is the first genuinely strange finite-density IR geometry in holographic quantum matter. Its scaling symmetry acts on time and the radial coordinate, but not on the boundary spatial coordinates:

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

In boundary language, the IR theory has critical temporal correlations but no ordinary spatial scaling. Equivalently, it has an infinite dynamical exponent,

zdyn=.z_{\rm dyn}=\infty.

This is called local or semi-local quantum criticality. It is local not because the theory has no spatial structure whatsoever, but because the deep IR scaling symmetry does not rescale space. Momentum kk becomes a label on a family of 0+10+1-dimensional critical problems. The result is one of the signature formulas of holographic finite-density physics:

GIRR(ω,k)ω2νk.G^R_{\rm IR}(\omega,k)\sim \omega^{2\nu_k}.

The exponent depends on momentum. That is the odd little jewel of the AdS2AdS_2 throat: criticality in time, momentum-dependent scaling dimensions, and a finite density of low-energy spectral weight without quasiparticles.

Throughout this page, dsd_s denotes the number of boundary spatial dimensions, d=ds+1d=d_s+1 is the boundary spacetime dimension, and the bulk dimension is d+1d+1. The boundary is at z=0z=0, the horizon is at z=zhz=z_h, and we set =kB=c=1\hbar=k_B=c=1.

The planar Reissner—Nordström AdS black brane can be written as

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],

with

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}.

The gauge potential may be chosen regular at the horizon,

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

The temperature is

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

Thus extremality occurs when

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

At this value,

f(zh)=0,f(zh)=0.f(z_h)=0, \qquad f'(z_h)=0.

The horizon is not merely a simple zero of ff. It is a double zero. Expanding near z=zhz=z_h gives

f(z)=d(d1)(1zzh)2+.f(z) = d(d-1)\left(1-\frac{z}{z_h}\right)^2+\cdots.

This one line is the seed of the whole page. A simple zero gives Rindler space and a finite-temperature horizon. A double zero gives an AdS2AdS_2 throat and an emergent low-energy scaling region.

Deriving the AdS2×RdsAdS_2\times\mathbb R^{d_s} throat

Section titled “Deriving the AdS2×RdsAdS_2\times\mathbb R^{d_s}AdS2​×Rds​ throat”

Let

r=zhz.r=z_h-z.

Near the extremal horizon, rzhr\ll z_h, and

f(z)d(d1)r2zh2.f(z)\simeq d(d-1)\frac{r^2}{z_h^2}.

Substituting this into the metric, the time-radial part becomes

dst,r2L2zh2d(d1)r2zh2dt2+L2zh2dr2d(d1)r2/zh2.ds^2_{t,r} \simeq -\frac{L^2}{z_h^2}\,d(d-1)\frac{r^2}{z_h^2}dt^2 + \frac{L^2}{z_h^2}\frac{dr^2}{d(d-1)r^2/z_h^2}.

Define

L2=Ld(d1)L_2=\frac{L}{\sqrt{d(d-1)}}

and

R=d(d1)zh2r.R=\frac{d(d-1)}{z_h^2}r.

Then

dst,R2=L22(R2dt2+dR2R2).ds^2_{t,R} = L_2^2\left(-R^2dt^2+\frac{dR^2}{R^2}\right).

This is AdS2AdS_2 in Poincare coordinates. Equivalently, with

ζ=1R=zh2d(d1)(zhz),\zeta=\frac1R=\frac{z_h^2}{d(d-1)(z_h-z)},

the throat metric is

ds2L22ζ2(dt2+dζ2)+L2zh2dxds2.\boxed{ ds^2 \to \frac{L_2^2}{\zeta^2}\left(-dt^2+d\zeta^2\right) + \frac{L^2}{z_h^2}d\vec x_{d_s}^{\,2}. }

The horizon is at

ζ,\zeta\to\infty,

while the boundary of the AdS2AdS_2 throat, where it glues onto the asymptotic AdSd+1AdS_{d+1} region, is at

ζ0.\zeta\to0.

The spatial directions are spectators. They do not form part of the AdS2AdS_2 scaling geometry; they sit as a flat Rds\mathbb R^{d_s} of fixed proper size

x=Lzh.\ell_x=\frac{L}{z_h}.

The extremal charged black brane develops an AdS2 throat

The extremal charged black brane develops an AdS2×RdsAdS_2\times\mathbb R^{d_s} throat. The UV region is asymptotically AdSd+1AdS_{d+1} and encodes the microscopic CFT deformed by a chemical potential. The deep IR is controlled by the near-horizon AdS2AdS_2 region, where tt and the AdS2AdS_2 radial coordinate scale but the boundary spatial coordinates do not. At small nonzero temperature the throat is cut off at an energy scale ETE\sim T.

The radial direction is the holographic version of scale. Moving from the boundary toward the horizon means flowing from the UV to the IR. The charged black brane therefore says:

UV CFT at finite μIR AdS2×Rds throat.\text{UV CFT at finite }\mu \quad\longrightarrow\quad \text{IR }AdS_2\times\mathbb R^{d_s}\text{ throat}.

This is a geometric RG flow. The chemical potential μ\mu introduces a scale. Above that scale the system remembers the original relativistic CFT. Below that scale the extremal horizon controls the IR.

The gauge potential also has a simple near-horizon limit. Since

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

near z=zhz=z_h we find

Atμ(d2)zhzzh.A_t\simeq \mu(d-2)\frac{z_h-z}{z_h}.

Using the AdS2AdS_2 coordinate ζ\zeta, this becomes

Atedζ,ed=μ(d2)zhd(d1).A_t\simeq \frac{e_d}{\zeta}, \qquad e_d=\frac{\mu(d-2)z_h}{d(d-1)}.

The constant ede_d depends on the normalization of the bulk Maxwell field and on the convention used for μ\mu, but the structure

At1ζ\boxed{A_t\propto \frac1\zeta}

is universal for the RN-AdS throat. The corresponding electric field is nonzero in the AdS2AdS_2 region:

Fζt=ζAt1ζ2.F_{\zeta t}=\partial_\zeta A_t\propto -\frac1{\zeta^2}.

This field is compatible with the AdS2AdS_2 scaling symmetry. Under

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

the one-form

A=AtdtdtζA=A_tdt\sim \frac{dt}{\zeta}

is invariant.

The electric field is physically important. It is the near-horizon remnant of the finite charge density. It also lowers the effective mass of charged fields and can drive IR instabilities, including the holographic superconductor instability.

For a nonextremal black brane, the near-horizon geometry is Rindler-like. The proper radial distance from a point outside the horizon to the horizon is finite. For an extremal horizon, the double zero changes the story.

At fixed time, the radial proper distance near the extremal horizon is

dsradialL2drr.ds_{\rm radial} \simeq L_2\frac{dr}{r}.

Therefore the distance from r=rUVr=r_{\rm UV} to r=rIRr=r_{\rm IR} is

ΔsL2logrUVrIR.\Delta s \simeq L_2\log\frac{r_{\rm UV}}{r_{\rm IR}}.

As rIR0r_{\rm IR}\to0, this diverges. The extremal horizon is down an infinitely long throat.

This logarithmic length is why the AdS2AdS_2 region can dominate low-energy physics. A perturbation sent from the boundary must propagate through a long scaling region before reaching the horizon. The throat is not a small correction to the UV geometry; it is the IR fixed point.

At small but nonzero temperature, the throat is cut off. The near-horizon region is better described by an AdS2AdS_2 black hole,

ds22=L22ζ2[(1ζ2ζT2)dt2+dζ21ζ2/ζT2],ds^2_2 = \frac{L_2^2}{\zeta^2} \left[-\left(1-\frac{\zeta^2}{\zeta_T^2}\right)dt^2 +\frac{d\zeta^2}{1-\zeta^2/\zeta_T^2}\right],

with

T=12πζT.T=\frac{1}{2\pi\zeta_T}.

The throat length is then roughly

ΔsL2logμT.\Delta s\sim L_2\log\frac{\mu}{T}.

So the low-temperature limit is a long-throat limit. This is a useful mental picture: finite temperature caps off the AdS2AdS_2 throat, while T0T\to0 makes it infinitely long.

The AdS2AdS_2 metric

ds22=L22ζ2(dt2+dζ2)ds^2_2 = \frac{L_2^2}{\zeta^2}\left(-dt^2+d\zeta^2\right)

is invariant under

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

The full near-horizon geometry is

AdS2×Rds,AdS_2\times\mathbb R^{d_s},

so the spatial coordinates do not participate in the scaling:

xx.\vec x\to\vec x.

This is unlike a relativistic CFT, where

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

It is also unlike a Lifshitz fixed point with finite dynamical exponent zz, where

tλzt,xλx.t\to\lambda^z t, \qquad \vec x\to\lambda\vec x.

The AdS2×RdsAdS_2\times\mathbb R^{d_s} throat is the limiting case

z=.z=\infty.

Energy scales, but momentum does not scale. Frequency is an IR scaling variable; momentum is an external label.

This is the cleanest way to understand local criticality:

ω scales, but k does not.\boxed{ \omega\text{ scales, but }k\text{ does not.} }

That one sentence prevents a lot of confusion.

Probe fields and momentum-dependent IR dimensions

Section titled “Probe fields and momentum-dependent IR dimensions”

Consider a neutral scalar bulk field ϕ\phi of mass mm dual to a boundary operator OO. In the throat, Fourier decompose

ϕ(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).

Because the spatial metric in the throat is fixed,

dsx2=L2zh2dx2,ds_x^2=\frac{L^2}{z_h^2}d\vec x^{\,2},

the momentum term acts like an additional contribution to the mass in AdS2AdS_2:

mk2=m2+zh2L2k2.\boxed{ m_k^2 = m^2+\frac{z_h^2}{L^2}k^2. }

The scalar wave equation near the AdS2AdS_2 boundary has two independent asymptotic behaviors,

ϕω,k(ζ)Aζ12νk+Bζ12+νk,\phi_{\omega,k}(\zeta) \sim A\,\zeta^{\frac12-\nu_k} + B\,\zeta^{\frac12+\nu_k},

where

νk=14+L22mk2\boxed{ \nu_k = \sqrt{\frac14+L_2^2m_k^2} }

for a neutral scalar.

The corresponding IR operator dimension is

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

This is the central AdS2AdS_2 fact: each momentum kk gives a different scaling dimension in the emergent 0+10+1-dimensional theory.

For a charged scalar, the near-horizon electric field shifts the effective exponent. Schematically,

νk2=14+L22(m2+zh2L2k2)q2,\boxed{ \nu_k^2 = \frac14 +L_2^2\left(m^2+\frac{z_h^2}{L^2}k^2\right) -q_*^2, }

where

qqedq_*\sim q e_d

is the dimensionless coupling of the charged field to the AdS2AdS_2 electric field. The precise normalization depends on the Maxwell convention. The sign is robust: the electric field lowers νk2\nu_k^2 for charged fields.

For spinors the formula is modified by spin connection and gamma-matrix factors, but the physical structure is the same:

νk=a momentum-dependent IR exponent.\nu_k=\text{a momentum-dependent IR exponent}.

Later, in the holographic fermion page, this νk\nu_k will control whether a boundary fermionic excitation is Fermi-liquid-like, non-Fermi-liquid-like, marginal, or deeply incoherent.

In a 0+10+1-dimensional scale-invariant theory, an operator of dimension δk\delta_k has a time-domain two-point function

GIR(t,k)1t2δk.G_{\rm IR}(t,k)\sim \frac1{|t|^{2\delta_k}}.

Fourier transforming gives, up to contact terms and phase conventions,

GIRR(ω,k)ω2δk1=ω2νk.G^R_{\rm IR}(\omega,k) \sim \omega^{2\delta_k-1} = \omega^{2\nu_k}.

Thus

GIRR(ω,k)=Ckeiπνkω2νk+\boxed{ G^R_{\rm IR}(\omega,k) = \mathcal C_k\,e^{-i\pi\nu_k}\,\omega^{2\nu_k} + \cdots }

for real positive ω\omega and real νk\nu_k, with Ck\mathcal C_k depending on conventions and on the normalization of the IR field.

At nonzero temperature, scaling gives the finite-temperature form

GIRR(ω,k;T)=T2νkFk(ωT),G^R_{\rm IR}(\omega,k;T) = T^{2\nu_k}\, \mathcal F_k\left(\frac{\omega}{T}\right),

where Fk\mathcal F_k is an AdS2AdS_2 black-hole response function. Its explicit expression is a ratio of Gamma functions, but the scaling form is usually the key point. The only low-energy scale in the IR throat is TT.

The spectral density behaves as

ρO(ω,k)=2ImGR(ω,k)ω2νk\rho_O(\omega,k) = -2\operatorname{Im}G^R(\omega,k) \propto \omega^{2\nu_k}

at zero temperature when the IR throat controls the response. This is low-energy continuum spectral weight, not a quasiparticle pole.

The AdS2AdS_2 Green’s function is not automatically the full boundary Green’s function. The full geometry has two regions:

  1. the UV and matching region, where the spacetime is not AdS2×RdsAdS_2\times\mathbb R^{d_s};
  2. the IR throat, where AdS2AdS_2 scaling controls low-frequency dynamics.

A standard matched-asymptotic calculation gives a structure of the form

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

Here

Gk(ω)GIRR(ω,k)\mathcal G_k(\omega)\equiv G^R_{\rm IR}(\omega,k)

is the AdS2AdS_2 response, while a±a_\pm and b±b_\pm are determined by solving the zero-frequency wave equation through the UV geometry. They are analytic in ω\omega at small frequency.

Generically, if a+(0,k)0a_+(0,k)\neq0, expanding at small ω\omega gives

GR(ω,k)=GR(0,k)+c(k)ω2νk+.G^R(\omega,k) = G^R(0,k)+c(k)\omega^{2\nu_k}+\cdots.

So the AdS2AdS_2 throat contributes the leading nonanalytic frequency dependence.

A special case occurs when

a+(0,kF)=0.a_+(0,k_F)=0.

Then the denominator of GRG^R is small at k=kFk=k_F, and the same AdS2AdS_2 response becomes a self-energy for a sharp or semi-sharp excitation. This is the origin of the famous holographic fermion formula

GR(ω,k)1kkFω/vFcω2νkF.G^R(\omega,k) \sim \frac{1}{k-k_F-\omega/v_F-c\,\omega^{2\nu_{k_F}}}.

We will not develop that story here, but this page contains its IR engine.

The AdS2AdS_2 throat gives a controlled large-NN model of a finite-density state with no ordinary quasiparticle description. The most important physical features are these.

First, the IR theory has a continuum of low-energy excitations. The horizon absorbs perturbations, and the AdS2AdS_2 region produces branch cuts rather than isolated stable quasiparticle poles.

Second, time and space behave asymmetrically. Time correlations are power-law critical. Spatial correlations are not governed by a scale transformation. Instead, spatial dependence enters through momentum-dependent exponents νk\nu_k.

Third, the charge is fractionalized in the pure RN-AdS solution. The electric flux continues into the horizon, so the boundary charge is carried by the deconfined large-NN sector rather than by visible gauge-invariant charged particles outside the horizon.

Fourth, the extremal entropy density is nonzero:

s0=14Gd+1(Lzh)ds.s_0 = \frac{1}{4G_{d+1}}\left(\frac{L}{z_h}\right)^{d_s}.

This makes the RN-AdS throat powerful but also suspicious. A finite ground-state entropy density is not expected in a generic stable ordinary material. In many holographic models the RN-AdS throat is not the final ground state; it is an intermediate scaling regime or the parent state that becomes unstable to another phase.

Anti-de Sitter space can tolerate a negative mass squared, but only down to the Breitenlohner—Freedman bound. In AdSp+2AdS_{p+2}, a neutral scalar is stable if

m2Lp+22(p+1)24.m^2L_{p+2}^2\ge -\frac{(p+1)^2}{4}.

For AdS2AdS_2, this becomes

meff2L2214.m_{\rm eff}^2L_2^2\ge -\frac14.

In the notation above, this is simply

νk20.\nu_k^2\ge0.

If

νk2<0,\nu_k^2<0,

then

νk=iλk,λk>0,\nu_k=i\lambda_k, \qquad \lambda_k>0,

and the IR scaling dimension is complex:

δk=12+iλk.\delta_k=\frac12+i\lambda_k.

The response behaves schematically as

ω2iλk=exp(2iλklogω),\omega^{2i\lambda_k} = \exp\left(2i\lambda_k\log\omega\right),

which is log-periodic in frequency. For bosonic modes, a complex IR scaling dimension is usually an instability of the AdS2AdS_2 throat. The system wants to condense the unstable mode and replace the RN-AdS interior with a new geometry.

This is the mechanism behind several important ordered phases.

A charged scalar has

νk2=14+L22(m2+zh2L2k2)q2.\nu_k^2 = \frac14 +L_2^2\left(m^2+\frac{z_h^2}{L^2}k^2\right) -q_*^2.

The electric field can make νk2\nu_k^2 negative even if the scalar is perfectly stable in the UV AdSd+1AdS_{d+1} region. This means:

UV theory is stablebutfinite-density IR throat is unstable.\text{UV theory is stable} \quad\text{but}\quad \text{finite-density IR throat is unstable}.

That is exactly what a phase transition should look like holographically. The UV theory is well-defined. The finite-density state is not the true IR endpoint.

For a homogeneous superfluid or superconductor instability, the first unstable mode is often at

k=0.k=0.

For spatially modulated phases, an instability may first appear at

k=k0.k=k_\star\neq0.

Then the ordered phase breaks translations.

Even a neutral scalar can violate the AdS2AdS_2 BF bound if its UV mass lies in the window where it is stable in AdSd+1AdS_{d+1} but unstable in the smaller AdS2AdS_2 throat. This is possible because the stability bounds are different in the two geometries.

For example, in AdS4AdS_4 the UV BF bound is

m2L294.m^2L^2\ge -\frac94.

For an extremal RN-AdS4_4 throat,

L22=L26,L_2^2=\frac{L^2}{6},

so the AdS2AdS_2 BF bound is

m2L2214m2L232.m^2L_2^2\ge -\frac14 \quad\Longleftrightarrow\quad m^2L^2\ge -\frac32.

Thus a scalar with

94<m2L2<32-\frac94<m^2L^2<-\frac32

is allowed in the UV AdS4AdS_4 theory but unstable in the AdS2AdS_2 throat.

This is a beautiful and useful distinction. A negative mass squared is not automatically bad; what matters is the geometry that controls the IR.

Local criticality versus ordinary quantum criticality

Section titled “Local criticality versus ordinary quantum criticality”

It is worth comparing the AdS2AdS_2 throat with an ordinary relativistic quantum critical point.

FeatureRelativistic CFTAdS2×RdsAdS_2\times\mathbb R^{d_s} throat
scalingtλtt\to\lambda t, xλx\vec x\to\lambda\vec xtλtt\to\lambda t, xx\vec x\to\vec x
dynamical exponentz=1z=1z=z=\infty
operator dimensionfixed by operatordepends on kk in the IR
low-energy correlatorG(ω,k)G(\omega,k) scales in ω/k\omega/kG(ω,k)ω2νkG(\omega,k)\sim\omega^{2\nu_k}
spatial correlationsscale invariantfinite spatial scale set by μ\mu in simple RN-AdS
entropy at T=0T=0usually zero density of entropyfinite s0s_0 in classical RN-AdS

The AdS2AdS_2 throat is therefore not just another CFT. It is a semi-local critical sector attached to every point in momentum space.

This makes it both powerful and peculiar. It gives simple analytic control over frequency dependence, but it does not by itself produce all the spatial structure of a real metal. Spatial coherence, Fermi surfaces, lattices, density waves, and disorder require additional ingredients or deformations.

The extremal RN-AdS black brane has

s(T0)=s00.s(T\to0)=s_0\neq0.

At the level of classical gravity this is not a contradiction. The entropy is an area density in Planck units, and the large-NN limit makes it order N2N^2. But as a model of quantum matter it raises a sharp question: what microscopic degrees of freedom account for a macroscopic ground-state entropy?

There are several common responses.

One response is that the RN-AdS throat is an intermediate scaling regime. Before reaching the true T=0T=0 limit, another instability may intervene: superconductivity, electron-star formation, scalar condensation, a spatially modulated phase, or a dilaton-driven scaling geometry.

Another response is that the large-NN limit can hide low-temperature splittings. Effects that are subleading in 1/N1/N may lift the degeneracy at parametrically low scales.

A third response is to replace the RN-AdS throat by a more general IR geometry, such as an Einstein—Maxwell—dilaton solution with Lifshitz or hyperscaling-violating scaling. That is the next page.

The practical lesson is simple:

AdS2 is an excellent IR saddle, but not always the final ground state.\boxed{ AdS_2\text{ is an excellent IR saddle, but not always the final ground state.} }

Pitfall 1: thinking AdS2AdS_2 means a literal spatially zero-dimensional boundary theory. The full boundary theory still lives in dsd_s spatial dimensions. The AdS2AdS_2 throat means the deep IR scaling problem is 0+10+1-dimensional for each momentum kk.

Pitfall 2: confusing local criticality with momentum independence. The exponent νk\nu_k depends on momentum. The critical scaling is local in the sense that kk does not scale.

Pitfall 3: treating the residual entropy as harmless. It is harmless as a controlled classical saddle. It is not harmless as a claim about generic stable matter. Always ask what resolves or replaces the extremal entropy.

Pitfall 4: using the UV BF bound to decide IR stability. A field can be stable near the AdSd+1AdS_{d+1} boundary and unstable in the AdS2AdS_2 throat. The IR geometry has its own stability bound.

Pitfall 5: forgetting the electric field. The RN-AdS throat is not just neutral AdS2×RdsAdS_2\times\mathbb R^{d_s}. It is supported by a near-horizon electric field, and charged probes feel that field.

Pitfall 6: expecting quasiparticles. The generic AdS2AdS_2 response is a branch cut, not a pole. Quasiparticle-like poles can appear after matching to the UV, but they are special and can decay into the IR bath.

Exercise 1: The double zero produces AdS2AdS_2

Section titled “Exercise 1: The double zero produces AdS2AdS_2AdS2​”

At extremality,

f(z)d(d1)(1zzh)2.f(z)\simeq d(d-1)\left(1-\frac{z}{z_h}\right)^2.

Starting from

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],

show that the near-horizon metric is

ds2=L22ζ2(dt2+dζ2)+L2zh2dx2,L2=Ld(d1).ds^2 = \frac{L_2^2}{\zeta^2}(-dt^2+d\zeta^2) + \frac{L^2}{z_h^2}d\vec x^{\,2}, \qquad L_2=\frac{L}{\sqrt{d(d-1)}}.
Solution

Let

r=zhz.r=z_h-z.

Near the horizon,

1zzh=rzh,f(z)d(d1)r2zh2.1-\frac{z}{z_h}=\frac{r}{z_h}, \qquad f(z)\simeq d(d-1)\frac{r^2}{z_h^2}.

Also zzhz\simeq z_h in the overall prefactor. The time-radial metric becomes

dst,r2L2zh2d(d1)r2zh2dt2+L2zh2dr2d(d1)r2/zh2.ds^2_{t,r} \simeq -\frac{L^2}{z_h^2}d(d-1)\frac{r^2}{z_h^2}dt^2 + \frac{L^2}{z_h^2}\frac{dr^2}{d(d-1)r^2/z_h^2}.

Define

R=d(d1)zh2r,L22=L2d(d1).R=\frac{d(d-1)}{z_h^2}r, \qquad L_2^2=\frac{L^2}{d(d-1)}.

Then

dst,R2=L22(R2dt2+dR2R2).ds^2_{t,R} = L_2^2\left(-R^2dt^2+\frac{dR^2}{R^2}\right).

Finally set

ζ=1R.\zeta=\frac1R.

Since

dR2R2=dζ2ζ2,R2=1ζ2,\frac{dR^2}{R^2}=\frac{d\zeta^2}{\zeta^2}, \qquad R^2=\frac1{\zeta^2},

we obtain

dst,ζ2=L22ζ2(dt2+dζ2).ds^2_{t,\zeta} = \frac{L_2^2}{\zeta^2}(-dt^2+d\zeta^2).

The spatial part is constant at the horizon:

L2z2dx2L2zh2dx2.\frac{L^2}{z^2}d\vec x^{\,2}\to \frac{L^2}{z_h^2}d\vec x^{\,2}.

Thus the near-horizon geometry is AdS2×RdsAdS_2\times\mathbb R^{d_s}.

Exercise 2: The near-horizon gauge potential

Section titled “Exercise 2: The near-horizon gauge potential”

Use

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

and

ζ=zh2d(d1)(zhz)\zeta=\frac{z_h^2}{d(d-1)(z_h-z)}

to show that

AtedζA_t\simeq \frac{e_d}{\zeta}

near the extremal horizon. Find ede_d.

Solution

Let

r=zhz,zzh=1rzh.r=z_h-z, \qquad \frac{z}{z_h}=1-\frac{r}{z_h}.

For small r/zhr/z_h,

(1rzh)d2=1(d2)rzh+.\left(1-\frac{r}{z_h}\right)^{d-2} = 1-(d-2)\frac{r}{z_h}+\cdots.

Therefore

At(z)μ(d2)rzh.A_t(z) \simeq \mu(d-2)\frac{r}{z_h}.

From the definition of ζ\zeta,

r=zh2d(d1)1ζ.r=\frac{z_h^2}{d(d-1)}\frac1\zeta.

Thus

Atμ(d2)1zhzh2d(d1)1ζ=μ(d2)zhd(d1)1ζ.A_t\simeq \mu(d-2)\frac1{z_h} \frac{z_h^2}{d(d-1)}\frac1\zeta = \frac{\mu(d-2)z_h}{d(d-1)}\frac1\zeta.

Hence

ed=μ(d2)zhd(d1).e_d=\frac{\mu(d-2)z_h}{d(d-1)}.

The normalization of ede_d can change if the Maxwell field is rescaled, but the 1/ζ1/\zeta form is the invariant near-horizon statement.

Exercise 3: Momentum as an effective mass in AdS2AdS_2

Section titled “Exercise 3: Momentum as an effective mass in AdS2AdS_2AdS2​”

Consider a neutral scalar of mass mm in the throat metric

ds2=L22ζ2(dt2+dζ2)+x2dx2,x=Lzh.ds^2 = \frac{L_2^2}{\zeta^2}(-dt^2+d\zeta^2) +\ell_x^2d\vec x^{\,2}, \qquad \ell_x=\frac{L}{z_h}.

For a mode eiωt+ikxϕ(ζ)e^{-i\omega t+i\vec k\cdot\vec x}\phi(\zeta), show that the spatial momentum contributes an effective AdS2AdS_2 mass

mk2=m2+k2x2=m2+zh2L2k2.m_k^2=m^2+\frac{k^2}{\ell_x^2} = m^2+\frac{z_h^2}{L^2}k^2.
Solution

The scalar equation is

(m2)ϕ=0.(\Box-m^2)\phi=0.

The Laplacian contains a spatial term

gijijϕ.g^{ij}\partial_i\partial_j\phi.

In the throat,

gij=x2δij,gij=1x2δij.g_{ij}=\ell_x^2\delta_{ij}, \qquad g^{ij}=\frac{1}{\ell_x^2}\delta^{ij}.

For a Fourier mode,

iiϕ=k2ϕ.\partial_i\partial_i\phi=-k^2\phi.

Thus the spatial derivative term contributes

gijijϕ=k2x2ϕ.g^{ij}\partial_i\partial_j\phi = -\frac{k^2}{\ell_x^2}\phi.

In the AdS2AdS_2 radial equation this appears in the same place as m2ϕ-m^2\phi, so the effective AdS2AdS_2 mass is

mk2=m2+k2x2.m_k^2=m^2+\frac{k^2}{\ell_x^2}.

Since x=L/zh\ell_x=L/z_h,

mk2=m2+zh2L2k2.m_k^2=m^2+\frac{z_h^2}{L^2}k^2.

Exercise 4: The AdS2AdS_2 scaling exponent

Section titled “Exercise 4: The AdS2AdS_2AdS2​ scaling exponent”

For a neutral scalar in AdS2AdS_2 with effective mass mkm_k, show that the near-boundary behavior is

ϕAζ1/2νk+Bζ1/2+νk,\phi\sim A\zeta^{1/2-\nu_k}+B\zeta^{1/2+\nu_k},

with

νk=14+L22mk2.\nu_k=\sqrt{\frac14+L_2^2m_k^2}.
Solution

Near the AdS2AdS_2 boundary, the frequency term is subleading for determining the indicial exponents. The scalar equation reduces to the standard AdS2AdS_2 mass equation. Try a power-law solution

ϕζα.\phi\sim \zeta^\alpha.

For AdSn+1AdS_{n+1}, the relation between mass and scaling exponent is

Δ(Δn)=m2Ln+12.\Delta(\Delta-n)=m^2L_{n+1}^2.

Here n=1n=1, so

Δ(Δ1)=mk2L22.\Delta(\Delta-1)=m_k^2L_2^2.

Solving gives

Δ=12±14+mk2L22.\Delta=\frac12\pm\sqrt{\frac14+m_k^2L_2^2}.

Thus

νk=14+mk2L22,\nu_k=\sqrt{\frac14+m_k^2L_2^2},

and the two independent behaviors are

ϕAζ1/2νk+Bζ1/2+νk.\phi\sim A\zeta^{1/2-\nu_k}+B\zeta^{1/2+\nu_k}.

The IR operator dimension in standard quantization is

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

Exercise 5: From 0+10+1-dimensional scaling to G(ω)ω2νG(\omega)\sim\omega^{2\nu}

Section titled “Exercise 5: From 0+10+10+1-dimensional scaling to G(ω)∼ω2νG(\omega)\sim\omega^{2\nu}G(ω)∼ω2ν”

In a scale-invariant 0+10+1-dimensional theory, an operator of dimension δ\delta has

G(t)1t2δ.G(t)\sim \frac1{|t|^{2\delta}}.

Use dimensional analysis to show that the frequency-space retarded function scales as

GR(ω)ω2δ1.G^R(\omega)\sim \omega^{2\delta-1}.

Then set δk=1/2+νk\delta_k=1/2+\nu_k.

Solution

Under a time rescaling

tλt,t\to\lambda t,

the correlator transforms as

G(t)λ2δG(t).G(t)\to \lambda^{-2\delta}G(t).

The Fourier transform is schematically

G(ω)=dteiωtG(t).G(\omega)=\int dt\,e^{i\omega t}G(t).

The measure contributes one power of time, so the frequency-space object has scaling dimension

[G(ω)][ω]2δ1.[G(\omega)]\sim [\omega]^{2\delta-1}.

Therefore

GR(ω)ω2δ1.G^R(\omega)\sim \omega^{2\delta-1}.

For the AdS2AdS_2 throat,

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

so

GIRR(ω,k)ω2νk.G^R_{\rm IR}(\omega,k)\sim\omega^{2\nu_k}.

Exercise 6: The AdS2AdS_2 BF instability window in RN-AdS4_4

Section titled “Exercise 6: The AdS2AdS_2AdS2​ BF instability window in RN-AdS4_44​”

In RN-AdS4_4, the UV geometry is AdS4AdS_4 with radius LL, while the extremal throat has

L22=L26.L_2^2=\frac{L^2}{6}.

For a neutral scalar at k=0k=0, find the mass window in which the scalar is stable in the UV AdS4AdS_4 region but unstable in the AdS2AdS_2 throat.

Solution

The AdS4AdS_4 BF bound is

m2L294.m^2L^2\ge -\frac94.

The AdS2AdS_2 BF bound is

m2L2214.m^2L_2^2\ge -\frac14.

Using

L22=L26,L_2^2=\frac{L^2}{6},

the AdS2AdS_2 bound becomes

m2L2614,m^2\frac{L^2}{6}\ge -\frac14,

or

m2L232.m^2L^2\ge -\frac32.

Stable in the UV but unstable in the IR means

m2L294m^2L^2\ge -\frac94

and

m2L2<32.m^2L^2< -\frac32.

Therefore the window is

94m2L2<32.\boxed{ -\frac94\le m^2L^2< -\frac32. }

A scalar in this window is allowed in the UV theory but condenses in the extremal near-horizon region.

Exercise 7: Momentum can stabilize an IR instability

Section titled “Exercise 7: Momentum can stabilize an IR instability”

For a charged scalar, suppose

νk2=ν02+L22zh2L2k2,\nu_k^2=\nu_0^2+L_2^2\frac{z_h^2}{L^2}k^2,

with ν02<0\nu_0^2<0. Find the maximum momentum kck_c for which the AdS2AdS_2 mode is unstable.

Solution

The mode is unstable when

νk2<0.\nu_k^2<0.

Using the given expression,

ν02+L22zh2L2k2<0.\nu_0^2+L_2^2\frac{z_h^2}{L^2}k^2<0.

Thus

k2<L2L22zh2(ν02).k^2<\frac{L^2}{L_2^2z_h^2}(-\nu_0^2).

The critical momentum is

kc=LL2zhν02.\boxed{ k_c=\frac{L}{L_2z_h}\sqrt{-\nu_0^2}. }

Modes with k<kck<k_c are unstable, while sufficiently large momentum increases the effective AdS2AdS_2 mass and stabilizes the mode.

Exercise 8: Matching and the leading nonanalytic term

Section titled “Exercise 8: Matching and the leading nonanalytic term”

Suppose the full boundary Green’s function has the low-frequency matching form

GR(ω,k)=b0(k)+b1(k)Gk(ω)a0(k)+a1(k)Gk(ω),G^R(\omega,k) = \frac{b_0(k)+b_1(k)\mathcal G_k(\omega)} {a_0(k)+a_1(k)\mathcal G_k(\omega)},

where a0(k)0a_0(k)\neq0 and

Gk(ω)=Ckω2νk+.\mathcal G_k(\omega)=C_k\omega^{2\nu_k}+\cdots.

Show that the leading nonanalytic term in GRG^R is proportional to ω2νk\omega^{2\nu_k}.

Solution

Factor out a0a_0 from the denominator:

GR=b0+b1Ga0(1+a1a0G).G^R = \frac{b_0+b_1\mathcal G}{a_0\left(1+\frac{a_1}{a_0}\mathcal G\right)}.

For small G\mathcal G,

11+a1a0G=1a1a0G+.\frac{1}{1+\frac{a_1}{a_0}\mathcal G} = 1-\frac{a_1}{a_0}\mathcal G+\cdots.

Therefore

GR=b0a0+(b1a0b0a1a02)Gk(ω)+.G^R = \frac{b_0}{a_0} + \left(\frac{b_1}{a_0}-\frac{b_0a_1}{a_0^2}\right)\mathcal G_k(\omega) + \cdots.

Since

Gk(ω)=Ckω2νk+,\mathcal G_k(\omega)=C_k\omega^{2\nu_k}+\cdots,

the leading nonanalytic term is

GR(ω,k)=GR(0,k)+C~kω2νk+,G^R(\omega,k) = G^R(0,k)+\tilde C_k\omega^{2\nu_k}+\cdots,

where

C~k=(b1a0b0a1a02)Ck.\tilde C_k= \left(\frac{b_1}{a_0}-\frac{b_0a_1}{a_0^2}\right)C_k.

For the AdS2×RdAdS_2\times\mathbb R^d throat of extremal Einstein—Maxwell theory, charged horizons, and semi-local critical response, see Hartnoll, Lucas, and Sachdev, Holographic Quantum Matter, especially the sections on compressible quantum matter. For a condensed-matter-facing treatment of the RN strange metal, local quantum criticality, and momentum-dependent AdS2AdS_2 exponents, see Zaanen, Liu, Sun, and Schalm, Holographic Duality in Condensed Matter Physics, chapters 8 and 9. For textbook derivations of the extremal near-horizon geometry and the BF-bound instability mechanism, see Ammon and Erdmenger, Gauge/Gravity Duality, section 15.2, and Natsuume, AdS/CFT Duality User Guide, section 14.3.