Skip to content

Fermions and Spectral Functions

Bosonic fields already taught us how holography computes sources, expectation values, and retarded correlators. Fermions add a new layer. They let us ask whether a strongly coupled finite-density state has sharp fermionic excitations, Fermi surfaces, gaps, particle-hole asymmetry, or non-Fermi-liquid scaling.

The basic computation is conceptually familiar:

solve a bulk linear wave equation with infalling horizon conditionread off source and response near the boundary.\text{solve a bulk linear wave equation with infalling horizon condition} \quad\Longrightarrow\quad \text{read off source and response near the boundary}.

For fermions, the bulk equation is first order, the source/response split uses radial gamma-matrix projectors, and the answer is a matrix-valued retarded Green function.

A bulk Dirac equation with infalling horizon condition determines a boundary fermion Green function and spectral function.

The holographic fermion workflow. A charged bulk spinor obeys a radial Dirac equation in the finite-density black-brane background. Infalling regularity fixes the solution in the IR, while the near-boundary source-response relation gives GR(ω,k)G_R(\omega,k) and the spectral function A(ω,k)A(\omega,k).

Many finite-density systems are diagnosed by their fermionic spectral function. In weakly interacting condensed matter, poles of the electron Green function identify quasiparticles and Fermi surfaces. Strongly coupled systems can have much stranger behavior: broad continua, critical scaling, incoherent metals, pseudogaps, or sharp momenta without ordinary quasiparticles.

Holography provides a controlled large-NN way to compute fermionic response in such states. One studies a gauge-invariant fermionic operator Oψ\mathcal O_\psi in the boundary theory by introducing a charged spinor Ψ\Psi in the bulk.

The key object is the retarded Green function

GR(ω,k)=idtdd1xeiωtikxθ(t){Oψ(t,x),Oψ(0)}.G_R(\omega,\vec k) = -i\int dt\,d^{d-1}x\, e^{i\omega t-i\vec k\cdot\vec x} \theta(t) \langle\{\mathcal O_\psi(t,\vec x),\overline{\mathcal O}_\psi(0)\}\rangle.

The spectral function is the absorptive part:

A(ω,k)=2ImTrGR(ω,k),A(\omega,\vec k) = -2\,\operatorname{Im}\operatorname{Tr}G_R(\omega,\vec k),

up to convention-dependent factors. Peaks of A(ω,k)A(\omega,k) reveal the energies and lifetimes of fermionic excitations.

A standard probe fermion action is

SΨ=idd+1xgΨ(ΓMDMm)Ψ+Sbdy,S_\Psi = i\int d^{d+1}x\sqrt{-g}\, \overline\Psi \left(\Gamma^M D_M-m\right)\Psi + S_{\rm bdy},

where

DM=M+14ωMABΓABiqAM.D_M = \partial_M+ \frac14\omega_{MAB}\Gamma^{AB} -iqA_M.

Here mm is the bulk spinor mass, qq is its charge under the bulk gauge field, and AMA_M is the same gauge field dual to the boundary current JμJ^\mu.

A useful extension adds a Pauli or dipole coupling,

ΔSΨipdd+1xgΨΓMNFMNΨ,\Delta S_\Psi \sim ip\int d^{d+1}x\sqrt{-g}\, \overline\Psi\Gamma^{MN}F_{MN}\Psi,

which can strongly reshape spectral functions. We will first focus on the minimal Dirac problem.

Near the AdS boundary, decompose the spinor using the radial gamma matrix:

Ψ±=12(1±Γz^)Ψ.\Psi_\pm = \frac12(1\pm\Gamma^{\hat z})\Psi.

For a spinor in AdSd+1_{d+1}, the two independent asymptotic components behave schematically as

Ψ+zd/2mLA(x),Ψzd/2+mLB(x),\Psi_+ \sim z^{d/2-mL}A(x), \qquad \Psi_- \sim z^{d/2+mL}B(x),

for standard quantization and mL0mL\geq0. The dual operator dimension is

Δ=d2+mL.\Delta = \frac d2+mL.

The coefficient AA is the source spinor and BB is the response spinor. The retarded Green function is a matrix relating them:

B(ω,k)=GR(ω,k)A(ω,k).B(\omega,k)=G_R(\omega,k)A(\omega,k).

More carefully, there are gamma-matrix and boundary-term conventions. But the principle is exactly the same as for scalars: solve in the interior, expand near the boundary, and read off response over source.

For spinors with

0mL<12,0\leq mL<\frac12,

an alternate quantization is possible in which the source and response roles are exchanged. This mirrors the scalar story, but the allowed mass window differs because the spinor equation is first order.

Dirac equation in a finite-density background

Section titled “Dirac equation in a finite-density background”

Consider a translationally invariant charged black brane:

ds2=gtt(z)dt2+gzz(z)dz2+gxx(z)dx2,A=At(z)dt.ds^2 = -g_{tt}(z)dt^2+g_{zz}(z)dz^2+g_{xx}(z)d\vec x^{\,2}, \qquad A=A_t(z)dt.

Use a Fourier ansatz

Ψ(t,x,z)=eiωt+ikxψω,k(z),\Psi(t,\vec x,z) = e^{-i\omega t+i kx} \psi_{\omega,k}(z),

with momentum chosen along one spatial direction. The Dirac equation becomes a radial first-order system. Its local frequency is shifted by the electrostatic potential:

ωω+qAt(z),\omega \quad\longrightarrow\quad \omega+qA_t(z),

up to sign conventions. This shift is the bulk origin of finite-density fermionic response.

Near a non-extremal horizon, infalling behavior is

ψω,k(z)(zhz)iω/(4πT)ψreg\psi_{\omega,k}(z) \sim (z_h-z)^{-i\omega/(4\pi T)} \psi_{\rm reg}

in Schwarzschild-like coordinates. Imposing this condition selects the retarded Green function.

Because the Dirac equation is first order, it is often convenient to evolve ratios of spinor components rather than the components themselves. In an appropriate gamma-matrix basis, the equation can be reduced to a flow equation for a matrix ξ(z)\xi(z), where

ξ(z)=response-like componentsource-like component.\xi(z) = \frac{\text{response-like component}}{\text{source-like component}}.

The boundary Green function is then obtained as

GR(ω,k)=limz0z2mLξ(z),G_R(\omega,k) = \lim_{z\to0}\,z^{-2mL}\xi(z),

up to a basis-dependent matrix factor and possible contact terms.

The spectral function is

A(ω,k)=2ImTrGR(ω,k).A(\omega,k) = -2\operatorname{Im}\operatorname{Tr}G_R(\omega,k).

A sharp quasiparticle pole in a weakly coupled Fermi liquid has the schematic form

GR(ω,k)ZωvF(kkF)+iΓ(ω,k),G_R(\omega,k) \sim \frac{Z}{\omega-v_F(k-k_F)+i\Gamma(\omega,k)},

with Γω\Gamma\ll\omega near the Fermi surface.

Holographic finite-density states can instead produce sharp Fermi momenta with non-Fermi-liquid scaling. A Fermi momentum is identified by a pole or strong peak at

ω=0,k=kF.\omega=0, \qquad k=k_F.

Equivalently, at ω=0\omega=0 and k=kFk=k_F there is a nontrivial infalling bulk solution with vanishing boundary source. This is the fermionic analogue of a quasinormal-mode condition.

Emergent AdS2_2 and the IR Green function

Section titled “Emergent AdS2_22​ and the IR Green function”

In extremal RN-AdS backgrounds, the near-horizon region is

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

From the AdS2_2 point of view, the boundary spatial momentum kk is a parameter. It contributes to the effective mass of the AdS2_2 spinor. The IR scaling exponent is schematically

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

The corresponding IR Green function scales as

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

with a retarded phase fixed by the AdS2_2 infalling condition. Matching the AdS2_2 solution to the UV region gives a low-energy Green function near a Fermi momentum:

GR(ω,k)h1kkFvF1ωh2GkF(ω).G_R(\omega,k) \approx \frac{h_1} {k-k_F-v_F^{-1}\omega-h_2\mathcal G_{k_F}(\omega)}.

The constants h1h_1, h2h_2, vFv_F, and kFk_F depend on the UV region and must be computed from the full radial problem. The nonanalytic power of ω\omega is controlled by the IR AdS2_2 throat.

Fermi-liquid-like and non-Fermi-liquid regimes

Section titled “Fermi-liquid-like and non-Fermi-liquid regimes”

The exponent νkF\nu_{k_F} controls the low-frequency self-energy.

If

νkF>12,\nu_{k_F}>\frac12,

then the linear ω\omega term dominates over ω2νkF\omega^{2\nu_{k_F}} at low frequency. The excitation can look relatively Fermi-liquid-like, although the full large-NN finite-density state is not necessarily an ordinary Landau Fermi liquid.

If

νkF<12,\nu_{k_F}<\frac12,

then the nonanalytic IR self-energy dominates. The excitation is a non-Fermi liquid: the width is not parametrically smaller than the energy in the ordinary quasiparticle sense.

If

νkF=12,\nu_{k_F}=\frac12,

one obtains marginal-Fermi-liquid-like behavior, with logarithmic structure in the low-energy Green function.

If νk\nu_k becomes imaginary, the AdS2_2 region exhibits log-periodic behavior. This is often called an oscillatory region and usually indicates that the naive normal phase is trying to reorganize.

The operator Oψ\mathcal O_\psi is a gauge-invariant fermionic operator of the boundary CFT. It need not be an elementary electron. In top-down examples, it may be a complicated single-trace fermionic operator. In bottom-up models, it is often treated as a phenomenological probe of fermionic spectral weight.

This is why holographic fermion spectral functions are powerful but must be interpreted carefully. A peak in A(ω,k)A(\omega,k) shows that the strongly coupled theory has a fermionic excitation with momentum kk. It does not automatically mean one has derived a microscopic electron Green function of a real material.

Probe approximation and charge fractionalization

Section titled “Probe approximation and charge fractionalization”

Most introductory calculations treat the Dirac field as a probe. This means the fermion diagnoses the state but does not source the background geometry.

At finite density, the background charge may be carried by the horizon, by charged bosonic hair, by explicit charged matter, or by a fermion fluid. Probe fermions can reveal sharp Fermi momenta even when the charge sourcing the geometry is not carried by those probe fermions. This is one reason holographic finite-density phases are often described as fractionalized: part of the charge is hidden behind the horizon from the point of view of gauge-invariant low-energy quasiparticles.

Backreacted fermion systems, such as electron stars or Dirac-hair black holes, are richer and more difficult. The probe calculation is the right first step because it isolates the Green-function dictionary.

The minimal Dirac action is not the most general effective action. A commonly studied correction is a dipole or Pauli coupling:

SPauliipdd+1xgΨˉΓMNFMNΨ.S_{\rm Pauli} \sim ip\int d^{d+1}x\sqrt{-g}\, \bar\Psi\Gamma^{MN}F_{MN}\Psi.

Such terms can shift spectral weight, move Fermi momenta, and produce zeros of the Green function. Poles and zeros are both meaningful: poles indicate strong response to a source, while zeros indicate suppressed response.

The lesson is that holographic spectral functions are sensitive to bulk effective couplings. A bottom-up fermion model is not uniquely defined until the effective action, boundary conditions, and quantization are specified.

One can also study probe fermions in the condensed background of the previous page. If the bulk action contains a gauge-invariant Yukawa or Majorana-like coupling between the scalar and the fermion, the condensate can open a gap in the fermionic spectral function.

A schematic interaction is

SYukawadd+1xgηΨTCΓΨΦ+h.c.,S_{\rm Yukawa} \sim \int d^{d+1}x\sqrt{-g}\, \eta\,\Psi^T C\Gamma\Psi\,\Phi+\mathrm{h.c.},

where Φ\Phi is the charged scalar. Gauge invariance requires the charges to match. This setup gives a holographic analogue of pairing: the condensate mixes particle and hole sectors and can gap the Fermi surface.

The analogy is structural. It does not mean the minimal model has derived a BCS pairing mechanism.

A practical spectral-function computation usually follows this route:

  1. choose a charged black-brane background;

  2. choose bulk spinor parameters mm, qq, and possible Pauli couplings;

  3. fix gamma matrices and projectors;

  4. solve the radial Dirac equation with infalling horizon behavior;

  5. extract the response/source matrix at the boundary;

  6. compute

    A(ω,k)=2ImTrGR(ω,k);A(\omega,k)=-2\operatorname{Im}\operatorname{Tr}G_R(\omega,k);
  7. scan over (ω,k)(\omega,k) to find peaks, poles, gaps, or zeros.

Because the Dirac equation is first order, this is often numerically simpler than solving coupled gravitational perturbation equations. The interpretation, however, is subtle.

Boundary objectBulk object
fermionic operator Oψ\mathcal O_\psibulk Dirac field Ψ\Psi
source spinorleading radial spinor component
response spinorsubleading radial spinor component
retarded fermion Green functionresponse/source matrix with infalling horizon condition
spectral function A(ω,k)A(\omega,k)imaginary part of boundary Green function
Fermi momentum kFk_Fsource-free infalling solution at ω=0\omega=0
non-Fermi self-energyAdS2_2 IR Green function Gk(ω)\mathcal G_k(\omega)
gap from condensatefermion mixing in a hairy background

Not generally. It is dual to a gauge-invariant fermionic operator. In a phenomenological model, one may interpret this operator as electron-like, but that is an additional modeling assumption.

“Every sharp peak is a stable quasiparticle.”

Section titled ““Every sharp peak is a stable quasiparticle.””

No. A peak can indicate strong spectral weight, but the width and scaling determine whether the excitation is long-lived. Holographic non-Fermi liquids often have sharp Fermi momenta without ordinary Landau quasiparticles.

“The horizon itself is the Fermi surface.”

Section titled ““The horizon itself is the Fermi surface.””

No. A charged horizon represents deconfined or fractionalized charge in the large-NN state. Probe-fermion Fermi surfaces are diagnosed by poles of fermionic Green functions.

“The exponent νk\nu_k is a UV scaling dimension.”

Section titled ““The exponent νk\nu_kνk​ is a UV scaling dimension.””

No. It is an infrared scaling exponent associated with the emergent AdS2_2 region. The UV operator dimension is controlled by the asymptotic AdSd+1_{d+1} mass mLmL.

“The spectral function alone identifies the full phase.”

Section titled ““The spectral function alone identifies the full phase.””

No. Spectral functions are diagnostic probes. To identify a phase, one also needs thermodynamics, symmetry realization, charge distribution, transport, and stability.

For a Dirac field in AdSd+1_{d+1} with mL=1/4mL=1/4, what is the standard-quantization dimension of the dual fermionic operator?

Solution

In standard quantization,

Δ=d2+mL.\Delta=\frac d2+mL.

Therefore

Δ=d2+14.\Delta=\frac d2+\frac14.

For example, in a d=3d=3 boundary theory,

Δ=32+14=74.\Delta=\frac32+\frac14=\frac74.

Exercise 2: Why infalling boundary conditions?

Section titled “Exercise 2: Why infalling boundary conditions?”

Why do infalling horizon boundary conditions compute the retarded Green function?

Solution

A retarded response describes a disturbance sourced at the boundary whose effect propagates into the system with causal boundary conditions. In the bulk, the black-hole horizon absorbs perturbations. The infalling condition says that near the future horizon the wave travels into the horizon rather than emerging from it. The outgoing condition would correspond to advanced or non-causal response. Thus the infalling solution is the Lorentzian bulk implementation of retarded boundary conditions.

Exercise 3: Fermi momentum as a normal mode

Section titled “Exercise 3: Fermi momentum as a normal mode”

Explain why a Fermi momentum can be identified by a source-free infalling solution at ω=0\omega=0.

Solution

The retarded Green function is a response/source ratio. A pole occurs when the response remains nonzero while the source coefficient vanishes. This is the same logic as a normal mode or quasinormal mode: one has a nontrivial solution satisfying the interior condition and no external source at the boundary. If such a pole occurs at ω=0\omega=0 and k=kFk=k_F, the spectral function has low-energy fermionic weight at a definite momentum. This is interpreted as a holographic Fermi surface.

Suppose

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

and

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

Why does νkF<1/2\nu_{k_F}<1/2 lead to non-Fermi-liquid behavior?

Solution

If νkF<1/2\nu_{k_F}<1/2, then 2νkF<12\nu_{k_F}<1. As ω0\omega\to0, the term ω2νkF\omega^{2\nu_{k_F}} decays more slowly than the linear term ω\omega. Thus the nonanalytic IR self-energy dominates the denominator. The excitation width is not parametrically smaller than its energy in the ordinary Landau-quasiparticle way, giving non-Fermi-liquid behavior.