Pith. sign in

REVIEW 1 major objections 5 minor 42 references

Quantum gravity produces Airy functions from localization alone

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · glm-5.2

2026-07-09 16:02 UTC pith:SBCXIG7G

load-bearing objection Airy partition functions derived from 11D M-theory localization — real result, one load-bearing conjecture the 1 major comments →

arxiv 2607.07255 v1 pith:SBCXIG7G submitted 2026-07-08 hep-th

Airy functions from quantum M-theory

Pietro Benetti Genolini , Florian Gaar , Jerome P. Gauntlett , Jaeha Park , James Sparks This is my paper
classification hep-th PACS 11.25.Yb11.30.Pb04.65.+e
keywords airym-theorychargefunctionsgivesintegralm2-branequantum
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper claims that the Airy function partition functions observed across a wide class of M2-brane theories can be derived directly from the eleven-dimensional quantum M-theory effective action, without any input from the dual field theory. The mechanism is relative equivariant localization: a mathematical procedure that reduces the full supergravity path integral to an integral over the fixed points of a symmetry. The classical eleven-dimensional Chern–Simons coupling (the term C∧G∧G in the action) localizes to the cubic term in the grand potential, the one-loop quantum correction (the term C∧X₈) localizes to the linear charge-shift term, and a Legendre transform that fixes the M2-brane charge N turns the remaining integral over the chemical potential μ into precisely the Airy integral. The authors apply this to recover the known ABJM partition function, extend it to general toric Calabi–Yau four-fold singularities, and show that for black hole spacetimes the result factorizes into gravitational blocks—each an Airy function—yielding an AdS generalization of the OSV formula relating black hole entropy to topological string data.

Core claim

The central discovery is a direct dictionary between terms in the eleven-dimensional M-theory effective action and the coefficients of the Airy function partition function. The cubic coefficient C in the grand potential J(μ) = Cμ³/3 + Bμ + A comes from the classical C∧G∧G Chern–Simons coupling via equivariant localization at fixed points. The linear coefficient B—the charge shift N → N − B that generates the entire tower of 1/N corrections—comes from the one-loop C∧X₈ correction. Changing ensemble from fixed chemical potential μ to fixed M2-brane charge N adds a Legendre transform term Nμ, and the remaining path integral over μ is exactly the inverse Laplace transform that defines the Airy函数

What carries the argument

The argument runs on three pieces of machinery. First, relative equivariant localization: the Berline–Vergne–Atiyah–Bott fixed point formula reduces the twelve-dimensional integral of the supersymmetric action to a sum over fixed points of the Killing vector K, each weighted by the inverse equivariant Euler class. Second, the equivariantly closed completion of the M-theory four-form G into a polyform Φ_G = G + Ω, where Ω is a bilinear form in the Killing spinor; this satisfies d_K Φ_G = 0 and makes the anomaly form Φ_(anom) = (i/6) Φ_G³ + i(2πℓ_p)⁶ Φ_G ∧ Φ_{X₈} the object that localizes. Third, the Page flux definition of M2-brane charge N via G₇ = π₇ − (1/2)C∧G − (2πℓ_p)⁶ω₇, which requires,

Load-bearing premise

The entire derivation rests on the conjecture that the identity d_K Φ_(GI) = −Φ_(anom) continues to hold at every order in the Planck length ℓ_p, so that the localization formula remains valid with the corrected anomaly form. The authors cannot verify this because the full higher-derivative corrections to the M-theory effective action are not known. If the identity fails at some higher order, the all-orders validity of the Airy result is undermined.

What would settle it

Compute a higher-derivative correction to the M-theory effective action beyond one loop and check whether the equivariant identity d_K Φ_(GI) = −Φ_(anom) still holds with the correspondingly corrected anomaly form. If it fails at any finite order, the claim that the Airy structure is exact to all orders in ℓ_p would be false.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The Airy function structure for M2-brane theories, previously established only through field-theoretic matrix model techniques, is shown to be a consequence of quantum M-theory geometry, providing a direct gravity-side derivation of the holographic dictionary at the level of the full 1/N expansion.
  • The gravitational block factorization for black hole partition functions (Eq. 37) gives an all-orders-in-1/N AdS version of the OSV conjecture, with each topological sector of the horizon contributing an independent Airy function.
  • The log N correction −(χ(M₄)/4) log N to the partition function, which encodes the Euler characteristic of the four-dimensional spacetime, is derived directly from the product of Airy functions and confirms conjectures that four-dimensional effective supergravity approaches could not capture.
  • The framework extends to arbitrary four-dimensional spacetime topologies and any toric Sasaki–Einstein seven-manifold internal space, without requiring a consistent Kaluza–Klein truncation to four dimensions.
  • The method provides a computational route into perturbative quantum M-theory via equivariant localization, since the full higher-derivative corrections to the M-theory action enter through the anomaly polyform and can in principle be computed order by order.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. This Letter derives the Airy function partition function structure for M2-brane theories—including the ABJM result, its toric Calabi–Yau four-fold generalizations, and gravitational block factorization for black holes—directly from the eleven-dimensional quantum M-theory effective action via relative equivariant localization. The key mechanism is that the classical C∧G∧G Chern–Simons coupling localizes to the cubic term Cμ³/3 in the grand potential, the one-loop C∧X₈ correction localizes to the linear charge-shift term Bμ, and fixing the M2-brane charge N via a Legendre transform converts the remaining M-theory path integral over μ into the Airy integral (Eq. 2). The derivation is performed directly in eleven dimensions (with localization on an associated twelve-manifold), bypassing the need for a consistent Kaluza–Klein truncation, and reproduces known field theory results including the log N coefficient (Eq. 38) and the black hole factorization Z_BH ~ |Z_{S³_b}|².

Significance. The paper addresses a question of considerable importance in the AdS₄/CFT₃ correspondence: deriving the universal Airy function structure of M2-brane partition functions, including the quantum-gravitational charge shift N → N − B, from first principles in M-theory. The approach is novel in working directly in eleven dimensions rather than through a four-dimensional effective supergravity, thereby automatically incorporating the full Kaluza–Klein tower. The derivation is parameter-free: no fitted quantities appear, and the results are benchmarked against multiple independent field theory computations (ABJM Airy function [4,5], toric CY conjecture [23], black hole blocks [32], log N coefficient [29,30]). The falsifiable prediction is that the all-orders localization identity d_K Φ(GI) = −Φ(anom) holds; this can in principle be tested at one-loop by computing the gravitino determinant contribution. The breadth of results—ABJM, toric CY generalizations, gravitational blocks, OSV-type formula, log N coefficient—within a single unified framework is a significant strength.

major comments (1)
  1. The central derivation rests on the conjecture, stated after Eq. (11), that the identity d_K Φ(GI) = −Φ(anom) holds to all orders in ℓ_p (possibly up to a d_K-exact term), so that the localization formula (10) remains valid with the quantum-corrected anomaly form. The authors note that the full higher-derivative corrections to the M-theory effective action are unknown, making verification difficult. However, the identity can be tested at one-loop: the gravitino contribution to Φ(GI) is mentioned as being included for well-definedness of e^{−I}, but the paper does not explicitly verify that d_K Φ(GI) = −Φ(anom) holds with the X₈ correction in Φ(anom) and the corresponding gravitino one-loop correction to Φ(GI). If this identity fails at one-loop, the localization formula acquires an additional term that would modify the linear coefficient B and potentially spoil the match with fieldtheory
minor comments (5)
  1. The assumption that boundary terms (variational principle, holographic counterterms, boundary BVAB term) cancel for supersymmetric configurations on M = Y₇ → M₄ is stated without detailed verification (paragraph after Eq. (11)). While the authors cite supporting evidence from [17,40], a brief indication of why this cancellation is expected, or at minimum an acknowledgment that this is an additional assumption, would strengthen the presentation.
  2. In the toric Calabi–Yau section, the choice μ_a = μ for all fixed points a = 1,...,χ(Z₈) is made 'for simplicity' but the physical justification is deferred. The authors note that more generally these parameters include baryonic chemical potentials and quantized G-fluxes, but the conditions under which setting them equal is valid for the comparison with [23] should be stated more clearly.
  3. The notation e_r(u) for elementary symmetric polynomials is introduced in Eq. (16) but the notation e^a_r for fixed-point-dependent versions appears only later in Eq. (26). A brief forward reference or unified definition would improve readability.
  4. Eq. (25): the statement that the additional term (k²−1)/(24k) accounts for the orbifold singularity contribution to the curvature, 'effectively modifying the quantization argument above (11),' is somewhat terse. A one-sentence clarification of the mechanism would help the reader.
  5. The note added at the end references [39], which appeared after completion. A brief indication of the relationship to that paper's results on the μ-ensemble would contextualize the present work relative to the ongoing discussion in the 'Change of Ensemble' section.

Circularity Check

0 steps flagged

No significant circularity: the derivation proceeds from the 11D M-theory action through equivariant localization to the Airy grand potential, with field theory results serving as external benchmarks rather than inputs.

full rationale

The paper's central derivation chain is self-contained against external benchmarks. The starting point is the standard 11D supergravity action (Eq. 4) plus the known one-loop C∧X₈ correction (Eq. 11). The localization formula (Eq. 10) is derived from the identity d_K Φ(GI) = −Φ(anom) (Eq. 8), which is verified at classical level using supersymmetry and the equation of motion for C. The quantum correction replaces Φ(anom) with the expression in Eq. (11), and the authors explicitly conjecture (rather than assume) that the localization identity continues to hold to all orders in ℓ_p. This conjecture is openly flagged as the main open problem, not hidden or smuggled in. The field theory results being reproduced—ABJM Airy function [4], toric CY conjecture from [23] (Cassia-Hristov, external authors), and black hole factorization from [32] (Bobev et al., external authors)—are external benchmarks, not inputs to the derivation. The companion paper [6] provides the localization framework, but it establishes the mathematical machinery (relative equivariant cohomology localization in supergravity) independently of the specific Airy function results derived here. The computation of B(b,∆) from Φ_X8 (Eq. 19) is a direct evaluation of the equivariant characteristic class at a fixed point (Eq. 13), not a fit to field theory data. The change of ensemble (Eq. 22-23) is a standard Legendre transform. The gravitational block factorization (Eq. 37) follows from the localization formula applied to general M4 topology, with each block arising from a fixed point of the Killing vector. No step reduces to its own inputs by construction. The only self-citation ([6], same author list) provides the localization theorem, which is a mathematical result about equivariant cohomology, not an ansatz that presupposes the Airy structure. The conjecture after Eq. (11) is a genuine open assumption, not circularity—it is clearly stated as unverified and does not assume the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper introduces no new physical entities or free parameters. The derivation uses established objects (Killing spinor bilinears, equivariant cohomology, X₈ correction, Page charges). The axioms are all domain assumptions or one ad-hoc conjecture about all-orders validity. No parameters are fitted to data.

axioms (4)
  • ad hoc to paper The identity d_K Φ(GI) = −Φ(anom) holds to all orders in ℓ_p, so that the localization formula (10) remains valid with the quantum-corrected anomaly form (11).
    Stated as a conjecture after Eq. (11): 'We conjecture that this is true to all orders in ℓ_p.' The full higher-derivative M-theory action is unknown, so this cannot be verified. The entire all-orders validity of the Airy result depends on this.
  • domain assumption The required boundary terms for a good variational principle, supersymmetric holographic counterterms, and boundary BVAB term all cancel for supersymmetric configurations in the holographic setup where M is a Y₇ fibration over M₄ with boundary.
    Stated in the paragraph after Eq. (11): 'We assume that the required boundary terms... all cancel for supersymmetric configurations.' Evidence is cited [17] but not proven for this 11D setting.
  • domain assumption The M2-brane charge N defined as Page flux (21) is conserved and the Legendre transform term (22) correctly implements the change of ensemble from fixed μ to fixed N.
    The conservation follows from equations of motion, but the Legendre transform for Page charges in M-theory with Chern-Simons terms is noted as 'generically non-trivial' in footnote [21], requiring choices of boundary data and maximal commuting subsets.
  • domain assumption The unknown measure and one-loop corrections in the M-theory path integral contribute only to the overall constant prefactor and exponentially small non-perturbative corrections.
    Stated after Eq. (24): 'We interpret the former as due to the unknown measure, including one-loop corrections, in the path integral.' This is a standard assumption in localization but unproven here.

pith-pipeline@v1.1.0-glm · 13928 in / 2885 out tokens · 572244 ms · 2026-07-09T16:02:38.891485+00:00 · methodology

0 comments
read the original abstract

We show that Airy function partition functions for M2-brane theories may be derived from relative equivariant localization of quantum M-theory. The eleven-dimensional Chern--Simons coupling gives the cubic term in the grand potential, while the $X_8$ correction gives the charge shift. Fixing the M2-brane charge turns the localized M-theory path integral into an Airy integral. In this way we derive the ABJM result, its toric Calabi--Yau generalizations, and gravitational blocks for black holes and other spacetimes, up to the prefactor and non-perturbative corrections.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 4 internal anchors

  1. [1]

    µ-ensemble

    appeared, which discusses the “µ-ensemble” for asymptoticallyAdS 4 ×S 7/Zk solutions. 6 ACKNOWLEDGMENTS We thank Jesse van Muiden for discussions. FG and JFS thank the Centro de ciencias de Benasque Pedro Pascual for hospitality. This work was supported in part by STFC grants ST/X000575/1 and ST/X000761/1, and SNSF Ambizione grant PZ00P2 208666. JP is sup...

    work page

  2. [2]

    Pestunet al., Localization techniques in quantum field theories, J

    V. Pestunet al., Localization techniques in quantum field theories, J. Phys. A50, 440301 (2017)

    work page 2017

  3. [3]

    Aharony, O

    O. Aharony, O. Bergman, D. L. Jafferis, and J. Mal- dacena, N=6 superconformal Chern-Simons-matter the- ories, M2-branes and their gravity duals, JHEP10, 091

    work page

  4. [4]

    Marino and P

    M. Marino and P. Putrov, ABJM theory as a Fermi gas, J. Stat. Mech.1203, P03001 (2012)

    work page 2012

  5. [5]

    H. Fuji, S. Hirano, and S. Moriyama, Summing Up All Genus Free Energy of ABJM Matrix Model, JHEP08, 001

    work page

  6. [6]

    Bobev, P.-J

    N. Bobev, P.-J. De Smet, J. Hong, V. Reys, and X. Zhang, An Airy tale at large N, JHEP07, 123

    work page

  7. [7]

    Benetti Genolini, F

    P. Benetti Genolini, F. Gaar, J. P. Gauntlett, J. Park, and J. Sparks, Odd-dimensional localization in super- gravity, To appear (2026)

    work page 2026

  8. [8]

    F. F. Gautason and J. van Muiden, Ensembles in M- theory and holography, JHEP11, 078

    work page

  9. [9]

    Ooguri, A

    H. Ooguri, A. Strominger, and C. Vafa, Black hole attrac- tors and the topological string, Phys. Rev. D70, 106007 (2004)

    work page 2004

  10. [10]

    J. P. Gauntlett and S. Pakis, The Geometry of D = 11 killing spinors, JHEP04, 039

    work page

  11. [11]

    Benetti Genolini, J

    P. Benetti Genolini, J. P. Gauntlett, and J. Sparks, Equivariant Localization in Supergravity, Phys. Rev. Lett.131, 121602 (2023)

    work page 2023

  12. [12]

    Nekrasov, N

    N. Nekrasov, N. Piazzalunga, and M. Zabzine, Shifts of prepotentials (with an appendix by Michele Vergne), Sci- Post Phys.12, 177 (2022)

    work page 2022

  13. [13]

    Witten, On flux quantization inM-theory and the effective action, J

    E. Witten, On flux quantization inM-theory and the effective action, J. Geom. Phys.22, 1 (1997)

    work page 1997

  14. [14]

    Berline and M

    N. Berline and M. Vergne, Classes caract´ eristiques ´ equivariantes. Formules de localisation en cohomologie ´ equivariante, C.R. Acad. Sc. Paris295, 539 (1982)

    work page 1982

  15. [15]

    M. F. Atiyah and R. Bott, The Moment map and equiv- ariant cohomology, Topology23, 1 (1984)

    work page 1984

  16. [16]

    Vafa and E

    C. Vafa and E. Witten, A One loop test of string duality, Nucl. Phys. B447, 261 (1995)

    work page 1995

  17. [17]

    M. J. Duff, J. T. Liu, and R. Minasian, Eleven- dimensional origin of string/string duality: a one-loop test, Nucl. Phys. B452, 261 (1995)

    work page 1995

  18. [18]

    An alternative perspective is that equivariant localization defines a supersymmetric regularization scheme

    This has been proven rigorously inD= 4,N= 2 gauged supergravity coupled to general vector multiplets in [40]. An alternative perspective is that equivariant localization defines a supersymmetric regularization scheme

    work page

  19. [19]

    Martelli, A

    D. Martelli, A. Passias, and J. Sparks, The gravity dual of supersymmetric gauge theories on a squashed three- sphere, Nucl. Phys. B864, 840 (2012)

    work page 2012

  20. [20]

    See the formulas in section 2.1 of [5]

    work page

  21. [21]

    S. W. Hawking and S. F. Ross, Duality between electric and magnetic black holes, Phys. Rev. D52, 5865 (1995)

    work page 1995

  22. [22]

    It requires choosing boundary data on the cohomology of theC-field, and a maximal commut- ing subset of Page charges [41]

    Finding a polarization of the M-theory phase space with fixed Page charges is generically non-trivial, as the Chern–Simons term implies thatG 7 is not the momen- tum conjugate toCand that the Page charges don’t mu- tually commute. It requires choosing boundary data on the cohomology of theC-field, and a maximal commut- ing subset of Page charges [41]. At ...

    work page

  23. [23]

    Bergman and S

    O. Bergman and S. Hirano, Anomalous radius shift in AdS(4)/CFT(3), JHEP07, 016

    work page

  24. [24]

    Cassia and K

    L. Cassia and K. Hristov, M2-brane partition functions and HD supergravity from equivariant volumes, JHEP 03, 100

    work page

  25. [25]

    Equivariant localization for higher derivative supergravity

    P. Benetti Genolini, F. Gaar, J. P. Gauntlett, and J. Sparks, Equivariant localization for higher derivative supergravity, arXiv:2604.08656 [hep-th] (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  26. [26]

    Hristov, ABJM at finite N via 4d supergravity, JHEP 10, 190

    K. Hristov, ABJM at finite N via 4d supergravity, JHEP 10, 190

    work page

  27. [27]

    On the other hand, the internal space is Calabi–Yau, with fixed-chirality spinors in each two-planeR 2 ∼= C

    work page

  28. [28]

    S. M. Hosseini, K. Hristov, and A. Zaffaroni, Gluing grav- itational blocks for AdS black holes, JHEP12, 168

    work page

  29. [29]

    Benetti Genolini, J

    P. Benetti Genolini, J. P. Gauntlett, Y. Jiao, A. L¨ uscher, and J. Sparks, Toric gravitational instantons in gauged supergravity, Phys. Rev. D111, 046024 (2025)

    work page 2025

  30. [30]

    Bobev, M

    N. Bobev, M. David, J. Hong, V. Reys, and X. Zhang, A compendium of logarithmic corrections in AdS/CFT, JHEP04, 020

    work page

  31. [31]

    Hristov and V

    K. Hristov and V. Reys, Factorization of log-corrections in AdS4/CFT3 from supergravity localization, JHEP12, 031

    work page

  32. [32]

    Bhattacharyya, A

    S. Bhattacharyya, A. Grassi, M. Marino, and A. Sen, A One-Loop Test of Quantum Supergravity, Class. Quant. Grav.31, 015012 (2014)

    work page 2014

  33. [33]

    Towards OSV in AdS

    N. Bobev, S. Choi, J. Hong, and V. Reys, Towards OSV in AdS, arXiv:2606.23893 [hep-th] (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  34. [34]

    Dabholkar, N

    A. Dabholkar, N. Drukker, and J. Gomes, Localization in supergravity and quantumAdS 4/CF T3 holography, JHEP10, 090

    work page

  35. [35]

    Dabholkar, J

    A. Dabholkar, J. Gomes, and S. Murthy, Quantum black holes, localization and the topological string, JHEP06, 019

    work page

  36. [36]

    Bobev, A

    N. Bobev, A. M. Charles, K. Hristov, and V. Reys, The Unreasonable Effectiveness of Higher-Derivative Su- pergravity in AdS 4 Holography, Phys. Rev. Lett.125, 131601 (2020)

    work page 2020

  37. [37]

    Hristov, 4dN= 2 supergravity observables from Nekrasov-like partition functions, JHEP02, 079

    K. Hristov, 4dN= 2 supergravity observables from Nekrasov-like partition functions, JHEP02, 079

    work page

  38. [38]

    Bobev, J

    N. Bobev, J. Hong, and V. Reys, Large N partition func- tions of the ABJM theory, JHEP02, 020

    work page

  39. [39]

    Equivariant localization and gluing rules in 4d $\mathcal{N}=2$ higher derivative supergravity

    K. Hristov, Equivariant localization and gluing rules in 4dN= 2 higher derivative supergravity (2024) arXiv:2406.18648 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  40. [40]

    Holographic Tests of the $\mu$ Ensemble

    N. Bobev, F. F. Gautason, and J. van Muiden, Holo- graphic Tests of the mu Ensemble, arXiv:2607.06493 [hep-th] (2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  41. [41]

    Benetti Genolini, J

    P. Benetti Genolini, J. P. Gauntlett, Y. Jiao, A. L¨ uscher, and J. Sparks, Equivariant localization for D = 4 gauged supergravity, JHEP08, 211

    work page

  42. [42]

    G. W. Moore, Anomalies, Gauss laws, and Page charges in M-theory, Comptes Rendus Physique6, 251 (2005)

    work page 2005