Holographic Fermions and Spectral Functions
A holographic fermion spectrum is obtained from a radial boundary-value problem, not from a normal-mode plot alone. One must specify the spinor action and charge normalization, identify source and response components at the AdS boundary, impose a future-horizon condition for the retarded function, and state the contact-term and quantization conventions. The resulting poles and spectral weight characterize the chosen large- state.
Required background. Euclidean and Real-Time Access at Finite Density supplies the finite-density analytic continuation. Lorentzian Holographic Correlators and Infalling Conditions supplies the causal horizon prescription.
Helpful background. Thermal Propagators and Spectral Representations fixes spectral-function conventions. Bulk Fields and Boundary Operators supplies the near-boundary source–response map.
The radial Dirac problem
Section titled “The radial Dirac problem”For a probe spinor of mass and charge ,
The normalization , the normalization of , and the boundary term are part of the observable definition. Fourier transform as and rescale away the spin connection. Because the radial orthonormal direction is spacelike in the inherited convention,
These are genuine complementary projectors; would not be idempotent. For non-half-integer , the asymptotic components take the schematic form
In standard quantization is the source and is the response. Solving a basis of ingoing solutions gives matrices and ; after the conventional gamma-matrix factor and local counterterms,
This matrix construction avoids assigning a Green function to a component before the boundary variational problem has been diagonalized. The detailed prescription and its Euclidean continuation are derived in Iqbal and Liu 2009, §§ 3–4.
Causality at the horizon
Section titled “Causality at the horizon”Near a nonextremal future horizon,
in an outgoing-singular Schwarzschild coordinate. This is the solution regular in ingoing Eddington–Finkelstein coordinates. The opposite exponent computes an advanced response. At , the prescription is defined by analytic continuation from , which removes an otherwise ambiguous choice of real static solutions.
The spectral density convention used here is
For a Hermitian operator it is nonnegative at positive frequency after the appropriate spinor projection. Violating that property is a useful diagnostic for a sign, horizon, or gamma-matrix error; a local real contact term cannot repair a negative absorptive part.
Tracking a Fermi pole
Section titled “Tracking a Fermi pole”As a first application, place the probe spinor in a charged black-brane background and scan the zero-frequency source matrix. A Fermi momentum is a real satisfying
with a normalizable ingoing solution. Near an isolated pole one may fit
The fit must be made in a frequency window where a single pole dominates and checked against direct complex-frequency pole finding. In charged AdS black holes this procedure produces sharp Fermi surfaces and non-Landau self-energies for ranges of Liu, McGreevy, and Vegh 2011. The pole is evidence for a fermionic excitation in that holographic state, not evidence that the boundary state contains weakly coupled electrons.
Quantization and horizon adversaries
Section titled “Quantization and horizon adversaries”Three controlled changes test the interpretation.
- Boundary quantization. When alternate quantization is allowed, exchange source and response. Poles and zeros are interchanged up to local terms, so an asserted Fermi surface must name the quantization.
- Counterterms. Add admissible finite local terms. They can shift the analytic background but cannot create an absorptive pole. A feature that disappears under a local redefinition was not a robust excitation.
- Horizon condition. Replace infalling by outgoing data. The imaginary part and pole half-plane reverse; if a code returns the same answer, it has not implemented causal response.
Backreaction is also a physical boundary: a probe spectrum is reliable only when the fermion sector’s stress tensor and charge density are parametrically negligible relative to the background.
Exercises
Section titled “Exercises”Show that a pole of becomes a zero under the formal exchange .
Solution
Under the exchange, the nonlocal part becomes up to normalization and local terms. Hence a zero eigenvalue of , which yields a pole of , yields a zero eigenvalue of the exchanged response.
The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.
For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.