Skip to content

Supersymmetric Localization Tests of the Quantum Entropy Function

Supersymmetric localization can reduce a controlled sector of the AdS₂ quantum entropy function to a finite-dimensional integral. The result is exact with respect to the chosen localizing supercharge and specified functional integral, but its physical interpretation still depends on boundary conditions, contour, measure, orbifold saddles, and the effective action supplied as input.

Required background. Localization Loci, Zero Modes, and One-Loop Determinants supplies the localization argument; Higher-Derivative and Quantum Entropy Corrections fixes the correction comparison.

Helpful background. Gauge Fixing and the Localization Deformation Complex supplies the measure problem; AdS2 Boundary Conditions and Fragmentation supplies the fixed-charge boundary conditions.

The quantum entropy function for electric charges qIq_I and magnetic charges pIp^I is a renormalized AdS₂ path integral with fixed asymptotic electric fields,

W(q,p)=exp ⁣[iqIAdS2AI] ⁣AdS2finite.W(q,p)= \left\langle \exp\!\left[-iq_I\oint_{\partial\mathrm{AdS}_2}A^I\right] \right\rangle_{\!\mathrm{AdS}_2}^{\rm finite}.

The boundary Wilson line implements the fixed-charge ensemble. Non-normalizable modes, the subtraction defining the finite part, and the treatment of boundary gauge transformations are part of the observable Sen 2009.

Choose a fermionic symmetry QQ preserved by the near-horizon background and deform the action by tQVtQV. If the measure and contour are QQ-invariant and boundary terms vanish, dW/dt=0dW/dt=0. The tt\to\infty limit localizes onto QΨ=0Q\Psi=0, with Gaussian fluctuations producing a one-loop determinant.

First application: the localized charge integral

Section titled “First application: the localized charge integral”

For an off-shell four-dimensional N=2\mathcal N=2 supergravity description, the smooth localization locus is parametrized by constant modes ϕI\phi^I. In a common convention the result has the schematic but operational form

W(q,p)=CIdϕIμ(ϕ,p)Z1loop(ϕ,p)Zinst(ϕ,p)2exp ⁣[πqIϕI+4πImF ⁣(ϕI+ipI2)].W(q,p)= \int_{\mathcal C}\prod_I d\phi^I\, \mu(\phi,p)\, Z_{\rm 1-loop}(\phi,p)\, \left|Z_{\rm inst}(\phi,p)\right|^2 \exp\!\left[ -\pi q_I\phi^I +4\pi\,\operatorname{Im} F\!\left(\frac{\phi^I+ip^I}{2}\right) \right].

Here FF is the Wilsonian prepotential in the chosen projective convention. The contour C\mathcal C, measure μ\mu, one-loop determinant, instanton factor, and any orbifold sectors must all be specified. At large charges, saddle evaluation reproduces the entropy-function result; retaining the determinant and exact integral produces Bessel-type terms that can be compared coefficient by coefficient with a microscopic Rademacher expansion. Dabholkar, Gomes, and Murthy carried out this localization program for supersymmetric black holes Dabholkar, Gomes, and Murthy 2011.

Localization proves independence of the deformation parameter within the defined integral. It does not prove that the off-shell field content is ultraviolet complete, that the contour is unique, or that every allowed gravitational saddle has been included. Agreement of several Bessel coefficients is a stringent test of the chosen quantum entropy function; it is not automatically an exact absolute count of all asymptotically flat states.

Adversarial control: alter contour or measure

Section titled “Adversarial control: alter contour or measure”

Deform C\mathcal C across a pole or omit a zero-mode Jacobian. The leading saddle and area entropy may remain unchanged, while the exact Bessel combination or logarithmic coefficient changes. Likewise, excluding orbifold saddles removes exponentially suppressed terms visible in microscopic expansions.

The calculation must therefore report the supercharge, off-shell multiplets, AdS₂ boundary conditions, contour, measure, determinant regularization, and saddle set. Its evidence ceiling is an exact computation within that specification and a test of the microscopic formula in the same charge sector—not an all-saddles nonperturbative definition of string theory.

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.

  • Dabholkar, Atish, João Gomes, and Sameer Murthy. “Quantum Black Holes, Localization and the Topological String.” Journal of High Energy Physics 2011, 9 (2011): 062. DOI. Open PDF.
  • Sen, Ashoke. “Quantum Entropy Function from AdS2/CFT1 Correspondence.” International Journal of Modern Physics A 24, 4225–4244 (2009). DOI. Open PDF.