Skip to content

Holographic Superconductors

The minimal holographic superconductor is a charged black brane coupled to a charged scalar field. At high temperature the scalar vanishes and the bulk solution is an ordinary finite-density black brane. Below a critical temperature, the black brane can become unstable to forming charged scalar hair:

Ψ(z)0.\Psi(z)\neq 0.

In the boundary theory this means that a charged operator O\mathcal O has acquired an expectation value with no explicit source:

JO=0,O0.J_{\mathcal O}=0, \qquad \langle \mathcal O\rangle \neq 0.

That is the essential dictionary entry. A normalizable charged scalar profile in the bulk is the gravitational description of spontaneous U(1)U(1) symmetry breaking in the boundary finite-density state.

A finite-density black brane becomes unstable below a critical temperature and develops charged scalar hair, corresponding to a boundary condensate

The minimal holographic superconducting instability. In the normal phase, the charged black brane has At(0)=μA_t(0)=\mu and Ψ=0\Psi=0. Below TcT_c, the effective scalar mass can violate an infrared stability bound, and the bulk develops scalar hair with source coefficient Ψs=0\Psi_s=0 and response coefficient ΨvO\Psi_v\propto \langle \mathcal O\rangle. Strictly, the boundary phase is a superfluid unless the boundary U(1)U(1) is weakly gauged.

This page is about one of the simplest and most useful mechanisms in AdS/CMT:

charged horizon+charged scalarhairy black brane.\text{charged horizon} + \text{charged scalar} \quad\Longrightarrow\quad \text{hairy black brane}.

The resulting boundary phase has many familiar properties of superconductors: a condensate below TcT_c, infinite DC conductivity, a delta function at ω=0\omega=0 in Reσ(ω)\operatorname{Re}\sigma(\omega), a low-frequency suppression of optical conductivity, vortices in magnetic field, and superfluid hydrodynamic modes. But there is an important terminology warning:

In the standard AdS/CFT dictionary, a bulk gauge field is dual to a global boundary current. Therefore the minimal holographic “superconductor” is more precisely a holographic superfluid unless the boundary U(1)U(1) is made dynamical.

The name “holographic superconductor” is entrenched because the model captures superconducting-looking electromagnetic response after one treats the boundary current as weakly coupled to an external photon. But the sharp symmetry statement is spontaneous breaking of a global U(1)U(1) in the boundary theory.

Start with a finite-density CFT with a conserved current JμJ^\mu and charge

Q=dd1xJt.Q=\int d^{d-1}x\,J^t.

The grand-canonical density matrix is

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

Suppose the CFT contains a charged scalar operator O\mathcal O with charge qOq_{\mathcal O}:

[Q,O]=qOO.[Q,\mathcal O]=q_{\mathcal O}\mathcal O.

A superconducting or superfluid instability asks whether the finite-density state prefers a phase with

O=0orO0.\langle \mathcal O\rangle=0 \quad\text{or}\quad \langle \mathcal O\rangle\neq0.

To test spontaneous symmetry breaking, one must distinguish the source from the expectation value. Deforming the CFT by

δSCFT=ddx[JO(x)O(x)+JO(x)O(x)]\delta S_{\mathrm{CFT}} = \int d^d x\, \left[J_{\mathcal O}(x)\mathcal O(x)+\overline J_{\mathcal O}(x)\mathcal O^\dagger(x)\right]

explicitly breaks the U(1)U(1) if JO0J_{\mathcal O}\neq0. A genuine spontaneous condensate requires

JO=0,O0.J_{\mathcal O}=0, \qquad \langle \mathcal O\rangle\neq0.

At finite NN and finite volume, spontaneous breaking of a continuous global symmetry is subtle. In holography we usually work at large NN, where the classical bulk saddle acts like a thermodynamic limit and can select one phase of the order parameter. The phase of O\langle\mathcal O\rangle labels degenerate saddles related by the boundary U(1)U(1).

The boundary questions are then:

Boundary questionHolographic translation
Is the normal phase stable?Does the charged scalar have a normalizable zero mode?
What is the order parameter?The normalizable coefficient of Ψ\Psi with source set to zero
What is TcT_c?The temperature where a static source-free scalar mode first appears
Is the transition second order?Compare renormalized grand potentials of normal and hairy saddles
What is the conductivity?Solve linearized Maxwell perturbations on the hairy background
Is it really a superconductor?Only if the boundary U(1)U(1) is gauged, at least weakly

The simplest model is Einstein-Maxwell theory coupled to a charged scalar:

S=116πGd+1dd+1xg[R+d(d1)L214FabFabDΨ2m2Ψ2]+S,S = \frac{1}{16\pi G_{d+1}} \int d^{d+1}x\sqrt{-g} \left[ R+\frac{d(d-1)}{L^2} -\frac14 F_{ab}F^{ab} -|D\Psi|^2 -m^2|\Psi|^2 \right] +S_{\partial},

where

DaΨ=(aiqAa)Ψ.D_a\Psi=(\nabla_a-iqA_a)\Psi.

The entries in the dictionary are:

Bulk field or parameterBoundary meaning
AaA_asource for a conserved current JμJ^\mu
At(0)=μA_t^{(0)}=\muchemical potential
radial electric fluxcharge density ρ=Jt\rho=\langle J^t\rangle
complex scalar Ψ\Psicharged scalar operator O\mathcal O
scalar charge qqcharge of O\mathcal O under the boundary U(1)U(1)
scalar mass mmUV dimension Δ\Delta via Δ(Δd)=m2L2\Delta(\Delta-d)=m^2L^2
source coefficient of Ψ\Psiexplicit source JOJ_{\mathcal O}
response coefficient of Ψ\Psicondensate O\langle\mathcal O\rangle
hairy black branesymmetry-broken finite-density state

The near-boundary scalar expansion is

Ψ(z,x)=zdΔΨs(x)++zΔΨv(x)+,\Psi(z,x) = z^{d-\Delta}\Psi_s(x) + \cdots + z^\Delta \Psi_v(x) + \cdots,

where

Δ(Δd)=m2L2.\Delta(\Delta-d)=m^2L^2.

In standard quantization, Ψs\Psi_s is the source and Ψv\Psi_v is proportional to the expectation value:

Ψs=JO,OΨv.\Psi_s=J_{\mathcal O}, \qquad \langle\mathcal O\rangle\propto \Psi_v.

The source-free condensate condition is therefore

Ψs=0,Ψv0.\Psi_s=0, \qquad \Psi_v\neq0.

The proportionality constant depends on the normalization of the bulk scalar action and the holographic counterterms. For most physical questions the invariant statement is not the absolute value of Ψv\Psi_v, but whether a source-free branch exists and has lower grand potential than the normal phase.

The scalar equation is

(DaDam2)Ψ=0.(D_aD^a-m^2)\Psi=0.

In a static charged background with A=At(r)dtA=A_t(r)dt, a static scalar mode sees an effective mass of the schematic form

meff2(r)=m2+q2gtt(r)At(r)2.m_{\mathrm{eff}}^2(r) = m^2+q^2 g^{tt}(r)A_t(r)^2.

Since gtt<0g^{tt}<0 outside a Lorentzian horizon, the electric potential lowers the effective mass squared:

q2gttAt2<0.q^2 g^{tt}A_t^2<0.

This is the basic physical mechanism. A charged black brane carries an electric field. A sufficiently charged scalar can lower its energy by spreading outside the horizon. In the boundary theory, the finite-density state becomes unstable toward condensing a charged operator.

For an extremal Reissner-Nordström-AdS black brane, the near-horizon geometry is often

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

Then a clean infrared instability criterion is available. If the charged scalar violates the AdS2\mathrm{AdS}_2 Breitenlohner-Freedman bound,

meff,IR2L22<14,m_{\mathrm{eff,IR}}^2L_2^2<- \frac14,

then the normal extremal state is unstable. The ultraviolet AdSd+1_{d+1} BF bound can still be satisfied:

m2L2d24.m^2L^2\ge -\frac{d^2}{4}.

So the scalar can be perfectly stable in the UV CFT while becoming unstable in the finite-density IR.

A finite-temperature superconducting transition is slightly more global. One solves a radial eigenvalue problem: a nontrivial static scalar profile must be regular at the horizon and source-free at the boundary. Such a mode exists only for special values of T/μT/\mu or T/ρd1T/\sqrt[d-1]{\rho}. The largest such temperature is the critical temperature TcT_c.

The original minimal construction is often presented in the probe limit in AdS4_4, dual to a 2+12+1 dimensional finite-density theory. The background is the planar AdS-Schwarzschild black brane

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

with temperature

T=34πzh.T=\frac{3}{4\pi z_h}.

The probe limit means that the Maxwell field and scalar are solved on this fixed geometry. One common way to obtain it is to take a large scalar charge after rescaling the matter fields so that their stress tensor is suppressed. Physically, this keeps the charged matter dynamics but ignores its backreaction on the metric.

Use the homogeneous ansatz

A=Φ(z)dt,Ψ=ψ(z),A=\Phi(z)dt, \qquad \Psi=\psi(z),

where a bulk gauge choice has made ψ\psi real. With L=1L=1 and conventional normalizations, the equations take the form

ψ+(ff2z)ψ+(q2Φ2f2m2z2f)ψ=0,\psi''+ \left(\frac{f'}{f}-\frac{2}{z}\right)\psi' + \left( \frac{q^2\Phi^2}{f^2} - \frac{m^2}{z^2f} \right)\psi =0, Φ2q2ψ2z2fΦ=0.\Phi''- \frac{2q^2\psi^2}{z^2f}\Phi=0.

The precise factors change with conventions, but the structure does not: Φ\Phi lowers the scalar effective mass, while a nonzero ψ\psi gives the gauge-field fluctuation an effective radial mass.

The boundary conditions are:

Φ(zh)=0\Phi(z_h)=0

for regularity of the gauge field at the Euclidean horizon, and

Φ(z)=μρz+(z0)\Phi(z)=\mu-\rho z+\cdots \quad (z\to0)

for a 2+12+1 dimensional boundary theory. The scalar behaves as

ψ(z)=ψzΔ+ψ+zΔ++,\psi(z) = \psi_-z^{\Delta_-} + \psi_+z^{\Delta_+} + \cdots,

where

Δ±=32±129+4m2L2.\Delta_\pm = \frac32\pm\frac12\sqrt{9+4m^2L^2}.

A favorite example is

m2L2=2,Δ=1,Δ+=2.m^2L^2=-2, \qquad \Delta_-=1, \qquad \Delta_+=2.

Both quantizations are allowed in this mass window. In the Δ=2\Delta=2 quantization, one sets

ψ=0,O2ψ+.\psi_-=0, \qquad \langle\mathcal O_2\rangle\propto \psi_+.

In the Δ=1\Delta=1 quantization, one instead sets

ψ+=0,O1ψ.\psi_+=0, \qquad \langle\mathcal O_1\rangle\propto \psi_-.

This is a good place to be painfully explicit: setting the wrong coefficient to zero changes the boundary theory. It is not a harmless convention.

The critical temperature as an eigenvalue problem

Section titled “The critical temperature as an eigenvalue problem”

At the onset of the transition the scalar is infinitesimal, so one can first solve the normal phase:

ψ=0,Φ(z)=μ(1zzh)\psi=0, \qquad \Phi(z)=\mu\left(1-\frac{z}{z_h}\right)

in the probe AdS4_4 example. Then the scalar equation becomes linear:

ψ+(ff2z)ψ+[q2μ2(1z/zh)2f2m2z2f]ψ=0.\psi''+ \left(\frac{f'}{f}-\frac{2}{z}\right)\psi' + \left[ \frac{q^2\mu^2(1-z/z_h)^2}{f^2} - \frac{m^2}{z^2f} \right]\psi =0.

Introduce the dimensionless coordinate

u=zzh.u= \frac{z}{z_h}.

The scalar equation now depends on the dimensionless combination

qμzh=3qμ4πT.q\mu z_h = \frac{3q\mu}{4\pi T}.

Regularity at ν=1\nu=1 and the source-free boundary condition at ν=0\nu=0 define a Sturm-Liouville-type eigenvalue problem. The lowest eigenvalue determines the highest temperature at which a nontrivial source-free scalar profile exists:

Tcqμ.T_c \propto q\mu.

In the canonical ensemble, the same transition is usually written as

TcρT_c\propto \sqrt{\rho}

for the 2+12+1 dimensional probe model. The numerical coefficient is not universal. It depends on the dimension, charge normalization, scalar mass, boundary quantization, interactions, and whether backreaction is included.

The eigenvalue formulation is more important than any quoted number. It tells you exactly what TcT_c means holographically: it is the temperature at which the normal black-brane saddle develops a static, normalizable, charged zero mode.

Free energy and the order of the transition

Section titled “Free energy and the order of the transition”

A static solution is not automatically the preferred state. One must compare the renormalized Euclidean on-shell actions at fixed ensemble. In the grand-canonical ensemble,

Ω(T,μ)=TIEren.\Omega(T,\mu) = T I_E^{\mathrm{ren}}.

The thermodynamically preferred phase has the lower grand potential:

Ωhairy<Ωnormal.\Omega_{\mathrm{hairy}}<\Omega_{\mathrm{normal}}.

In the simplest minimal model the transition is second order. Near TcT_c, the condensate behaves with the classical mean-field exponent

O(1TTc)1/2.\langle\mathcal O\rangle \propto \left(1-\frac{T}{T_c}\right)^{1/2}.

This exponent is not magic. It reflects the large-NN classical saddle approximation. Bulk loops, boundary fluctuations, low dimensionality, disorder, and other effects can change the physics. Minimal holographic superconductors are strongly coupled but still mean-field in their order-parameter critical exponents at leading large NN.

A useful Landau-Ginzburg way to summarize the near-TcT_c branch is

Ω=Ωnormal+a(TTc)O2+bO4+.\Omega = \Omega_{\mathrm{normal}} +a(T-T_c)|\mathcal O|^2 +b|\mathcal O|^4 + \cdots.

If b>0b>0, the transition is second order. If interactions, backreaction, superflow, magnetic field, or additional order parameters effectively make the quartic term negative before higher terms stabilize the free energy, the transition can become first order. Holography gives a controlled gravitational way to study these possibilities, but the minimal model is not a theorem about all strongly coupled superconductors.

To compute the optical conductivity, perturb the gauge field by

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

In the probe AdS4_4 model at zero spatial momentum, the fluctuation equation has the schematic form

ax+ffax+(ω2f22q2ψ2z2f)ax=0.a_x''+\frac{f'}{f}a_x' +\left( \frac{\omega^2}{f^2} - \frac{2q^2\psi^2}{z^2f} \right)a_x=0.

The scalar condensate produces an effective radial mass term for the gauge-field fluctuation. As always for retarded correlators, one imposes infalling boundary conditions at the horizon:

ax(1z/zh)iω/(4πT).a_x\sim (1-z/z_h)^{-i\omega/(4\pi T)}.

Near the boundary,

ax(z)=ax(0)+zax(1)+a_x(z)=a_x^{(0)}+z a_x^{(1)}+\cdots

in the 2+12+1 dimensional example. The electric field is

Ex=iωax(0),E_x=i\omega a_x^{(0)},

and the induced current is proportional to ax(1)a_x^{(1)}. In a common normalization,

σ(ω)=JxEx=ax(1)iωax(0).\sigma(\omega) = \frac{J_x}{E_x} = \frac{a_x^{(1)}}{i\omega a_x^{(0)}}.

The detailed normalization depends on the Maxwell coupling and counterterms. The pole structure does not.

In the broken phase one finds

Imσ(ω)nsω(ω0),\operatorname{Im}\sigma(\omega) \sim \frac{n_s}{\omega} \qquad (\omega\to0),

where nsn_s is the superfluid stiffness or superfluid density in appropriate units. By the Kramers-Kronig relation, this implies

Reσ(ω)πnsδ(ω).\operatorname{Re}\sigma(\omega) \supset \pi n_s\delta(\omega).

This delta function is the linear-response signature of infinite DC conductivity.

There is a crucial finite-density caveat. In a translationally invariant charged fluid, momentum conservation can already produce a delta function in Reσ(ω)\operatorname{Re}\sigma(\omega), even without superconductivity. To isolate the superconducting contribution one must either examine the pole associated with the broken U(1)U(1) sector, include momentum relaxation, work in a probe/neutral limit where appropriate, or carefully separate normal and superfluid components.

The optical conductivity in the minimal model also shows a low-frequency suppression below the condensate scale. This is often called a gap, but it is not automatically the same as a weak-coupling BCS quasiparticle gap. The boundary theory is strongly coupled, the condensing operator is typically a composite operator, and the minimal bottom-up model does not contain weakly coupled electrons unless such degrees of freedom are explicitly added.

The superfluid versus superconductor distinction

Section titled “The superfluid versus superconductor distinction”

This point deserves its own section because it is the source of endless confusion.

In AdS/CFT,

bulk gauge fieldboundary global current.\text{bulk gauge field} \quad\longleftrightarrow\quad \text{boundary global current}.

Thus a bulk U(1)U(1) gauge field AaA_a is dual to a conserved global symmetry current JμJ^\mu of the boundary CFT. The boundary source Aμ(0)A_\mu^{(0)} is normally nondynamical. It is an external background field used to generate current correlators.

Therefore, when the charged scalar condenses, the standard boundary interpretation is

spontaneous breaking of a global U(1),\text{spontaneous breaking of a global }U(1),

which is the defining symmetry structure of a relativistic superfluid.

A true electromagnetic superconductor has a dynamical photon. To obtain that literally, one must gauge the boundary U(1)U(1), for example by coupling the CFT current to a weakly dynamical boundary Maxwell field. In holographic language this can be represented by changing boundary conditions for the bulk gauge field or adding a boundary kinetic term for Aμ(0)A_\mu^{(0)} in suitable dimensions.

The practical hierarchy is:

ModelBoundary U(1)U(1)Name
Standard Dirichlet boundary condition for AμA_\muglobalsuperfluid
Boundary U(1)U(1) weakly gaugeddynamical electromagnetic fieldsuperconductor
External Aμ(0)A_\mu^{(0)} onlynondynamical probe fieldoptical response of a charged fluid

The phrase “holographic superconductor” is still useful if understood as shorthand. But when writing a careful paper, say what boundary condition and what boundary photon you mean. Tiny language precision, large conceptual payoff.

Is a gauge symmetry being broken in the bulk?

Section titled “Is a gauge symmetry being broken in the bulk?”

No local gauge symmetry is physically broken. Gauge symmetry is redundancy. The gauge-invariant bulk statement is that there is a new classical solution with nonzero charged scalar magnitude

Ψ(z)0,|\Psi(z)|\neq0,

and source-free boundary behavior. In a convenient gauge one can set the phase of Ψ\Psi to zero:

Ψ(z)=ψ(z)R.\Psi(z)=\psi(z)\in \mathbb R.

This is unitary gauge. The phase degree of freedom is then hidden in the longitudinal gauge field. Boundary-wise, the global U(1)U(1) is spontaneously broken, and the Goldstone mode appears in the low-energy current/order-parameter correlators. If the boundary U(1)U(1) is gauged, the Goldstone mode is eaten by the boundary photon, giving the usual superconducting Meissner physics.

Bulk Higgsing is a useful calculational phrase, but the precise holographic statement is:

normalizable charged hairspontaneous boundary global-symmetry breaking.\text{normalizable charged hair} \quad\Longleftrightarrow\quad \text{spontaneous boundary global-symmetry breaking}.

Magnetic fields, vortices, and the Meissner question

Section titled “Magnetic fields, vortices, and the Meissner question”

One can turn on a boundary magnetic field by imposing

Fxy(0)=B.F_{xy}^{(0)}=B.

In the broken phase, sufficiently large magnetic field destroys the condensate. Near an upper critical field, the scalar equation reduces to a Landau-level problem in the boundary spatial directions. Spatially inhomogeneous solutions describe vortex lattices, much like Abrikosov vortices.

Again, the strict interpretation depends on whether the boundary U(1)U(1) is gauged. With only a global U(1)U(1), BB is an external source for the current, not the magnetic field of a fully dynamical boundary electromagnetism. A true Meissner effect requires dynamical electromagnetic fields. Many holographic computations nevertheless capture the same mathematical structure because the condensate modifies the current response kernel.

The probe limit is pedagogically clean, but it is not the whole theory. With backreaction included, the normal phase at finite density is a Reissner-Nordström-AdS black brane, and the broken phase is a fully backreacted hairy black brane.

The zero-temperature limit is especially important. The normal extremal RN-AdS black brane has a finite horizon area density, hence a finite entropy density at T=0T=0 in the classical approximation. Condensation can remove or reduce this degeneracy by driving the solution to a different infrared geometry. Depending on the model, the IR may be:

  • another AdS region,
  • a Lifshitz-like or hyperscaling-violating geometry,
  • a domain wall to a neutral fixed point,
  • a singular but acceptable geometry,
  • or a more complicated phase with additional fields.

There is no universal zero-temperature endpoint of “the holographic superconductor.” The endpoint is model-dependent and is often the most interesting part of the construction.

The AdS2\mathrm{AdS}_2 BF-bound mechanism can produce more exotic critical behavior than ordinary mean-field condensation. If a parameter tunes the IR scaling dimension through the BF bound, the condensate scale can become exponentially small:

ΛIRμexp(πκκc).\Lambda_{\mathrm{IR}} \sim \mu\exp\left(-\frac{\pi}{\sqrt{\kappa-\kappa_c}}\right).

This is often called a holographic Berezinskii-Kosterlitz-Thouless transition. The important point is that the instability is driven by the emergent IR CFT1_1, not by the UV dimension of the operator alone. This theme will reappear in discussions of strange metals and semi-local quantum criticality.

The minimal holographic superconductor is powerful because it isolates a robust gravitational mechanism. But the model is not QED plus electrons plus phonons. Its universal and nonuniversal statements should be separated.

Robust structural lessons:

Structural featureWhy it is robust
finite-density instabilitycharged fields can violate an IR stability bound
source-free condensatenormalizable scalar hair maps to O\langle\mathcal O\rangle
large-NN mean-field exponentsclassical bulk saddle suppresses fluctuations
delta function in conductivitybroken U(1)U(1) gives a superfluid stiffness
horizon boundary conditionretarded response requires infalling behavior

Model-dependent details:

QuantityWhy it is model-dependent
Tc/μT_c/\mudepends on mm, qq, dimension, interactions, and backreaction
optical gap scaledepends on the bulk potential and charged spectrum
order of transitioncan change with interactions, backreaction, superflow, or magnetic field
zero-temperature IR geometrydepends on the full scalar potential and other fields
relation to electronsrequires specifying fermionic operators or explicit electron sectors

A good research habit is to ask: is this statement controlled by symmetry and horizon regularity, or by a particular bottom-up Lagrangian? The former travels far. The latter may still be useful, but it needs a model label.

Boundary conceptBulk realization
chemical potential μ\muboundary value At(0)A_t(0)
charge density ρ\rhoradial electric flux ΠAt\Pi_A^t
order parameter O\langle\mathcal O\ranglenormalizable coefficient of Ψ\Psi
explicit symmetry breakingnonzero scalar source Ψs\Psi_s
spontaneous symmetry breakingΨs=0\Psi_s=0, Ψv0\Psi_v\neq0
critical temperature TcT_czero mode of scalar on normal black brane
normal phaseΨ=0\Psi=0 charged black brane
broken phasehairy charged black brane
superfluid stiffness nsn_s1/ω1/\omega pole in Imσ\operatorname{Im}\sigma
optical conductivityMaxwell perturbation ax(z)eiωta_x(z)e^{-i\omega t}
retarded correlatorinfalling horizon condition
vortexspatially winding scalar profile in magnetic field
true superconductorboundary U(1)U(1) made dynamical

Mistake 1: Saying that a bulk gauge symmetry is spontaneously broken.

Gauge symmetry is redundancy. A charged scalar profile Higgses the bulk description in a chosen gauge, but the invariant boundary statement is spontaneous breaking of a global U(1)U(1).

Mistake 2: Forgetting to set the scalar source to zero.

A nonzero scalar profile is not automatically a condensate. It may simply be the response to an explicit source. Check the near-boundary expansion.

Mistake 3: Calling every holographic superfluid a superconductor.

The standard Dirichlet problem for AμA_\mu gives a global boundary current. Literal superconductivity requires a dynamical boundary photon.

Mistake 4: Treating the optical gap as a BCS gap.

The minimal model has no weakly coupled Cooper-pair quasiparticles unless additional structure is introduced. The gap-like feature in σ(ω)\sigma(\omega) is a strong-coupling response scale.

Mistake 5: Ignoring momentum conservation in conductivity.

At finite density, translational invariance can produce an infinite DC conductivity even in a normal charged fluid. Separate this from superconducting stiffness.

Mistake 6: Quoting TcT_c as universal.

TcT_c is an eigenvalue of a model-dependent radial problem. Its scaling with μ\mu or ρ\rho is often fixed by dimensional analysis, but its coefficient is not universal.

Mistake 7: Confusing horizon regularity with boundary normalizability.

Both are required. Horizon regularity selects a smooth equilibrium saddle; source-free boundary behavior selects spontaneous rather than explicit breaking.

Exercise 1: The sign of the effective mass shift

Section titled “Exercise 1: The sign of the effective mass shift”

Consider a static charged scalar in a background with A=At(r)dtA=A_t(r)dt. Show why the gauge potential lowers the effective mass squared outside a Lorentzian horizon.

Solution

The scalar equation is

(DaDam2)Ψ=0,Da=aiqAa.(D_aD^a-m^2)\Psi=0, \qquad D_a=\nabla_a-iqA_a.

For a static mode with no spatial dependence, the time component contributes schematically

gttDtDtΨ=gtt(iqAt)2Ψ=q2gttAt2Ψ.g^{tt}D_tD_t\Psi = g^{tt}(-iqA_t)^2\Psi = -q^2g^{tt}A_t^2\Psi.

Moving this contribution into the mass term gives

meff2=m2+q2gttAt2.m_{\mathrm{eff}}^2=m^2+q^2g^{tt}A_t^2.

Outside a Lorentzian black-brane horizon, gtt<0g^{tt}<0, so

q2gttAt2<0.q^2g^{tt}A_t^2<0.

The electric potential lowers the effective mass squared. If the lowering is strong enough, the scalar can become unstable even when the UV AdSd+1_{d+1} BF bound is satisfied.

Exercise 2: Source and condensate for m2L2=2m^2L^2=-2 in AdS4_4

Section titled “Exercise 2: Source and condensate for m2L2=−2m^2L^2=-2m2L2=−2 in AdS4_44​”

For a scalar in AdS4_4, compute Δ±\Delta_\pm when m2L2=2m^2L^2=-2. Explain the two common source-free boundary conditions.

Solution

For AdSd+1_{d+1} with d=3d=3,

Δ(Δ3)=m2L2.\Delta(\Delta-3)=m^2L^2.

With m2L2=2m^2L^2=-2,

Δ(Δ3)=2,\Delta(\Delta-3)=-2,

so

Δ23Δ+2=0,(Δ1)(Δ2)=0.\Delta^2-3\Delta+2=0, \qquad (\Delta-1)(\Delta-2)=0.

Thus

Δ=1,Δ+=2.\Delta_-=1, \qquad \Delta_+=2.

The near-boundary expansion is

ψ(z)=ψz+ψ+z2+.\psi(z)=\psi_-z+\psi_+z^2+\cdots.

In the standard Δ=2\Delta=2 quantization one sets

ψ=0,O2ψ+.\psi_-=0, \qquad \langle\mathcal O_2\rangle\propto\psi_+.

In the alternate Δ=1\Delta=1 quantization one sets

ψ+=0,O1ψ.\psi_+=0, \qquad \langle\mathcal O_1\rangle\propto\psi_-.

Both are allowed because m2L2=2m^2L^2=-2 lies in the alternate-quantization window for AdS4_4.

Exercise 3: Why TcT_c is an eigenvalue

Section titled “Exercise 3: Why TcT_cTc​ is an eigenvalue”

In the probe AdS4_4 model, set ψ=0\psi=0 and Φ(z)=μ(1z/zh)\Phi(z)=\mu(1-z/z_h) in the scalar equation. Explain why the onset of superconductivity determines a discrete value of μzh\mu z_h.

Solution

At the transition, ψ\psi is infinitesimal, so the scalar equation is linear:

ψ+(ff2z)ψ+[q2μ2(1z/zh)2f2m2z2f]ψ=0.\psi''+ \left(\frac{f'}{f}-\frac{2}{z}\right)\psi' + \left[ \frac{q^2\mu^2(1-z/z_h)^2}{f^2} - \frac{m^2}{z^2f} \right]\psi =0.

Writing ν=z/zh\nu=z/z_h makes the interval fixed, 0ν10\le \nu\le1, and the only dimensionless parameter in the equation is

qμzh.q\mu z_h.

The boundary conditions are regularity at the horizon and vanishing source at the boundary. A second-order linear equation with two endpoint conditions has nontrivial solutions only for special values of the parameter qμzhq\mu z_h. Thus the onset is an eigenvalue problem.

Using

T=34πzh,T=\frac{3}{4\pi z_h},

the lowest eigenvalue determines

Tcqμ.T_c\propto q\mu.

The proportionality constant depends on the model and conventions.

Exercise 4: The delta function from the 1/ω1/\omega pole

Section titled “Exercise 4: The delta function from the 1/ω1/\omega1/ω pole”

Suppose the broken phase conductivity satisfies

Imσ(ω)nsω\operatorname{Im}\sigma(\omega)\sim \frac{n_s}{\omega}

as ω0\omega\to0. Use causality to infer the corresponding contribution to Reσ(ω)\operatorname{Re}\sigma(\omega).

Solution

Causality implies Kramers-Kronig relations between the real and imaginary parts of the retarded response. The distribution identity behind the result is

1ω+i0+=P1ωiπδ(ω).\frac{1}{\omega+i0^+} = \mathcal P\frac{1}{\omega}-i\pi\delta(\omega).

A pole in the imaginary part of the conductivity of the form

Imσ(ω)nsω\operatorname{Im}\sigma(\omega)\sim\frac{n_s}{\omega}

therefore corresponds to a delta function in the real part:

Reσ(ω)πnsδ(ω),\operatorname{Re}\sigma(\omega) \supset \pi n_s\delta(\omega),

up to Fourier-transform conventions. This is the linear-response signature of infinite DC conductivity associated with superfluid stiffness.

A bulk solution has At(0)=μA_t(0)=\mu, Ψs=0\Psi_s=0, and Ψv0\Psi_v\neq0. The boundary gauge field is treated as a nondynamical source. What phase does this describe?

Solution

It describes a finite-density phase with spontaneous breaking of a boundary global U(1)U(1) symmetry. Since the boundary gauge field is nondynamical, the precise field-theory name is a superfluid.

It is often called a holographic superconductor because the current response resembles superconductivity, and because one can weakly gauge the boundary U(1)U(1) to obtain a true electromagnetic superconductor. But with standard Dirichlet boundary conditions for AμA_\mu, the boundary U(1)U(1) is global, not dynamical.

Exercise 6: Separating two delta functions

Section titled “Exercise 6: Separating two delta functions”

Why can a translationally invariant normal charged fluid have infinite DC conductivity even without superconductivity? How would this complicate the interpretation of σ(ω)\sigma(\omega) in a holographic superconductor?

Solution

At finite charge density, an electric field accelerates the total momentum of a translationally invariant fluid. If momentum cannot relax, the current has overlap with a conserved quantity. This produces a zero-frequency delta function in Reσ(ω)\operatorname{Re}\sigma(\omega) even in the normal phase.

A superconducting or superfluid phase also produces a delta function, associated with the broken U(1)U(1) and the superfluid stiffness. Therefore, in a translationally invariant finite-density holographic model, the zero-frequency weight can receive contributions from both momentum conservation and superfluid response. To isolate the superconducting contribution, one can introduce momentum relaxation, study the pole structure of the broken sector, use a probe setup where the normal momentum drag is absent, or separate the normal and superfluid components hydrodynamically.