REVIEW 1 major objections 5 minor 51 references
Localization tames Chern-Simons terms in odd-dimensional supergravity
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 →
T0 review · glm-5.2
2026-07-09 04:45 UTC pith:FBPKZO2F
load-bearing objection Two-derivative localization formula for odd-dimensional supergravity with Chern-Simons terms is proven; higher-derivative extension is an explicitly labeled conjecture with strong independent checks. the 1 major comments →
Odd-Dimensional Localization in Supergravity
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is the identity d_K Phi^(GI) = -Phi^(anom)|_M, which states that supersymmetry furnishes a polyform Phi^(GI) whose equivariant exterior derivative exactly cancels the restriction of the anomaly polyform to the physical manifold. This means the pair (Phi^(GI), Phi^(anom)) forms a relative equivariant cohomology class, and the BVAB localization formula on the bounding manifold W produces the on-shell action as a pure fixed point integral I = (16 pi G)^{-1} integral_F Phi^(anom) / e_K(N_F), with no residual boundary contributions. The formula reduces the full on-shell action, including the gauge-dependent Chern-Simons piece, to topological data at the zeros of the supersym
What carries the argument
The relative equivariant cohomology class (Phi^(GI), Phi^(anom)) on the pair (M, W), where M is the closed physical manifold and W is a bounding manifold on which the Chern-Simons anomaly form is globally defined. The Berline-Vergne-Atiyah-Bott localization formula with boundary produces the fixed point integral. The equivariant Euler class e_K(N_F) of the normal bundle to the fixed point set F of the supersymmetric Killing vector K serves as the denominator. The disc-filling construction, where M is a circle fibration over a base B and W is the associated disc bundle, provides a concrete realization of W and a practical formula for evaluating the integral.
Load-bearing premise
The extension to higher-derivative theories beyond two spacetime derivatives is conjectural: the paper assumes that the key identity d_K Phi^(GI) = -Phi^(anom)|_M continues to hold (possibly up to an equivariantly exact correction) when higher-derivative terms are included, and the M5-brane results at order N depend on this conjecture being valid for the specific C wedge X_8 term in eleven-dimensional supergravity.
What would settle it
Find a higher-derivative completion of D=11 or D=5 supergravity where the identity d_K Phi^(GI) = -Phi^(anom)|_M fails to hold (even up to an equivariantly exact piece), which would invalidate the fixed point formula (4) at that order and break the agreement with the M5-brane Casimir energy or superconformal index.
If this is right
- Any supersymmetric solution of an odd-dimensional supergravity with Chern-Simons terms can in principle have its on-shell action computed from fixed point data alone, bypassing the need for explicit solutions.
- The M5-brane Casimir energy and superconformal index Cardy limit are derived from first-principles gravity, confirming the conjecture that these quantities are equivariant integrals of the anomaly polynomial.
- The vanishing of the gauge-dependent four-form integral Lambda_4 in the D=5 reduction is proven as an exact consequence of the relative cohomology structure, resolving a subtlety in prior work.
- The formalism extends naturally to M2-brane SCFTs, where it can compute Airy functions, suggesting broad applicability across holographic dualities.
Where Pith is reading between the lines
- If the conjecture extends to all higher-derivative orders, the full quantum-corrected on-shell action of odd-dimensional supergravity would be determined entirely by the equivariant anomaly polynomial, making the classical and quantum contributions unified under a single topological formula.
- The dependence of the D=5 black ring/lens action on the choice of extension W is resolved only after including higher-derivative Chern-Simons terms and imposing the spin condition on W, suggesting that the two-derivative theory alone is insufficient for a well-defined path integral and that higher-derivative terms are structurally necessary, not merely corrective.
- The agreement between the gravitational fixed point formula and the field-theory prescription of equivariant integration of the anomaly polynomial suggests a deeper duality: the localization formula itself may be the mechanism by which the holographic dictionary translates bulk geometric data into boundary quantum field theory observables.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a localization principle for odd-dimensional supergravity theories with Chern-Simons couplings. The central construction pairs an equivariant extension of the gauge-invariant Lagrangian with an equivariant completion of the anomaly form into a relative equivariant cohomology class, satisfying the key identity d_K Φ^(GI) = -Φ^(anom)|_M. Application of the Berline-Vergne-Atiyah-Bott (BVAB) formula then yields a universal fixed point formula for the on-shell action. The framework is explicitly verified at the two-derivative level for D=11 supergravity (Eq. 9, with extension in Eq. 15) and D=5 gauged supergravity (Eq. 22, with extension in Eq. 26). Applications include the M5-brane superconformal index Cardy limit and supersymmetric Casimir energy, as well as black ring and black lens solutions. The higher-derivative extension is conjectural but supported by multiple independent checks.
Significance. This paper makes a substantial contribution by providing a unified localization framework for odd-dimensional supergravities with Chern-Simons terms, a setting that was previously an obstacle to the techniques of [1]. The two-derivative results are rigorously proven: identity (3) is explicitly verified for D=11 (Eq. 9) using supersymmetry and the C equation of motion, and for D=5 (Eq. 22) using results of [5]. The extensions to W are explicitly constructed (Eqs. 15, 26), and the BVAB application (Eq. 48) is standard mathematics for relative equivariant cohomology. The D=11 result (Eq. 37) reproduces both the M5-brane superconformal index Cardy limit and the supersymmetric Casimir energy from independent field theory calculations [33,34,40]. The D=5 results agree with [17] and [9]. The higher-derivative conjecture is supported by the D=5 check against [9] and the D=11 agreement with field theory at O(N). The caveat that an equivariant exact piece would not affect the localization formula (4) is a meaningful theoretical observation.
major comments (1)
- The higher-derivative conjecture (stated after Eq. 3 and invoked for the C∧X_8 term in D=11 and the curvature-squared term in D=5) is the primary load-bearing uncertainty. The paper is transparent about this, and the conjecture has substantial support: the D=5 higher-derivative result (44)-(45) agrees with [9], and the D=11 result (37) reproduces both the M5-brane superconformal index Cardy limit and the supersymmetric Casimir energy from independent field theory calculations [33,34,40]. The observation that an equivariant exact piece would not affect the localization formula (4) is also reassuring. However, the conjecture remains unproven, and the M5-brane O(N) correction in Eq. (37) depends on it. The authors should more explicitly acknowledge the logical status of this conjecture in the applications section, clarifying that the agreement with field theory constitutes evidence rather a
minor comments (5)
- In Eq. (37), the notation Φ^{X_8}_{0|fp} is defined in Eq. (38) but the subscript convention (0|fp denoting the zero-form component at fixed points) is not explicitly introduced before use. A brief clarification would help the reader.
- The reality conditions on the spinor bilinears in Euclidean signature are mentioned briefly for D=11 (after Eq. 6) and deferred to [5] for D=5 (footnote [18]). Since the final results are real (or purely imaginary, as appropriate), a short statement on how reality is recovered would help the reader.
- In the discussion of the black ring/lens examples (Eq. 33), the statement that the ℓ-dependent term should be dropped is justified only after introducing the higher-derivative correction (45). The logical flow would be clearer if this forward reference were mentioned when the drop is first stated.
- The constraint (35), b_1 + b_2 + Σ ε_I = 0, is stated as following from the Killing spinor being uncharged under K. It would be helpful to briefly explain the physical origin of this constraint for readers not already familiar with [30].
- Footnote [10] contains the important quantization condition and the spin requirement on W. Since this is first referenced when Eq. (2) is introduced, it might be more effective to surface the spin condition in the main text rather than relegating it to a footnote.
Simulated Author's Rebuttal
We thank the referee for a careful and accurate summary of our work, and for the constructive recommendation. The referee's single major comment concerns the logical status of the higher-derivative conjecture and its role in the applications. We agree that this point deserves clearer articulation in the applications section and will revise accordingly.
read point-by-point responses
-
Referee: The higher-derivative conjecture is the primary load-bearing uncertainty. The authors should more explicitly acknowledge the logical status of this conjecture in the applications section, clarifying that the agreement with field theory constitutes evidence rather than proof.
Authors: We agree with the referee that the logical status of the higher-derivative conjecture should be stated more explicitly and precisely in the applications section. To be clear about the structure of the argument: at the two-derivative level, the key identity (3) is proven — explicitly verified for D=11 (Eq. 9) using supersymmetry and the C equation of motion, and for D=5 (Eq. 22) using the results of [5] — and the extensions to W (Eqs. 15, 26) are explicitly constructed. The localization formula (4) then follows from standard relative equivariant cohomology. No conjecture is involved at this level. The conjecture enters only when we extend to higher-derivative terms, namely the C∧X_8 term in D=11 and the curvature-squared term in D=5. There we assume that (3) continues to hold (possibly up to an equivariantly exact piece, which would not affect the localization formula (4)), but we do not prove this. The applications to the M5-brane superconformal index Cardy limit (Eq. 37) and the supersymmetric Casimir energy (Eq. 41) at O(N) depend on this conjecture, as does the higher-derivative correction to the black ring/lens on-shell action (Eqs. 44–45). The agreement of these results with independent field theory calculations [33, 34, 40] and with [9] constitutes non-trivial evidence for the conjecture, but not a proof. We will revise the applications section to make this logical structure explicit, stating clearly which results are proven and which rely on the conjecture, and framing the field theory agreement as evidence rather than confirmation. We will also add a brief remark in the Discussion reiterating that a proof of the higher-derivative identity (3) remains an open problem. revision: yes
Circularity Check
No significant circularity found; derivation is self-contained with explicit verification and independent checks
full rationale
The paper's central derivation chain is self-contained. The key identity (3) — d_K Φ^(GI) = -Φ^(anom)|_M — is explicitly verified for D=11 in Eq. (9) using supersymmetry and the C equation of motion, and for D=5 in Eq. (22) using the bilinear relations of [5]. The BVAB formula (48) in the supplementary material is standard mathematics from Berline–Vergne [11] and Atiyah–Bott [12], derived step-by-step from Stokes' theorem and the relative equivariant cohomology condition (46). The extensions to W are explicitly constructed in Eqs. (15) and (26). The higher-derivative extension is honestly labeled as conjectural and checked against three independent results: the D=5 correction (44)-(45) agrees with Cassani–Turetta [9] (different authors), the M5-brane result (37) matches field theory calculations by Nahmgoong [33] and Ohmori–Tizzano [34] (different authors), and the supersymmetric Casimir energy (41) matches Bobev–Bullimore–Kim [40] (different authors). The self-citations to [1], [5], [8], [46] provide supersymmetric bilinear identities and prior calculations that serve as inputs, not as assumptions of the localization result itself. In particular, [5] provides the D=5 Killing spinor bilinear algebra; the current paper uses these to verify (22), which is a genuine computation, not a tautology. The D=5 comparison with [5] at Eq. (28) is independent verification by a different method (dimensional reduction plus Λ_4 integral), and the paper proves the Λ_4 integral vanishes — this strengthens, rather than circularizes, the result. The φ^I parameters are fixed by flux quantization and a gauge choice (p̌^I_2 = 0), not by fitting to the output. No step in the derivation chain reduces to its inputs by construction.
Axiom & Free-Parameter Ledger
free parameters (1)
- φ^I =
Determined by flux quantization n^I and matching conditions
axioms (4)
- domain assumption The supersymmetric Killing vector K is nowhere zero on M and extends to W.
- standard math The anomaly form P admits a natural equivariant completion to a polyform Φ^(anom) on W.
- ad hoc to paper For higher-derivative theories, d_K Φ^(GI) = -Φ^(anom)|_M continues to hold (possibly up to an exact piece).
- domain assumption W is a spin manifold.
invented entities (1)
-
Relative equivariant cohomology class (Φ^(GI), Φ^(anom))
independent evidence
read the original abstract
We establish a localization principle for odd-dimensional supergravity theories containing Chern--Simons interactions. Our construction relies on combining an equivariant extension of the gauge-invariant part of the action with an equivariant completion of the Chern--Simons anomaly form ${\Phi}^{(\text{anom})}$ to form a relative equivariant cohomology class. This leads to a universal fixed point formula for the on-shell action of supersymmetric solutions that is expressed in terms of ${\Phi}^{(\text{anom})}$ and an equivariant Euler class. We illustrate the formalism in $D=11$ and $D=5$ supergravity, with applications including the supersymmetric Casimir energy and superconformal index of M5-branes, as well as black ring and black lens solutions.
Reference graph
Works this paper leans on
-
[1]
+ dˇzI 1 ∧α ,(24) where we defined ˇΦI 0 = ΦI 0 +wˇzI
-
[2]
We then haveℓ⌟Φ I = −dξσwithσ= ˇz I
-
[3]
horizon” D1 ∼= L(p,1), a “bubble
By the arguments in the SM, the push-down of the polyform Φ I to the baseBis Φ I B = ΦI −d K(ˇzI 1 α); more explicitly ΦI B = ˇF I + ˇΦI 0 .(25) Then the extension of Φ I toWis given by ΦI W = ΦI B + dK(r2ˇzI 1 α),(26) wherer∈[0,1] is the radial coordinate on the disc fibre and satisfies d KΦI W = 0, ΦI W |M = ΦI and ΦI W |B = ΦI B. TheD= 5 on-shell actio...
-
[4]
That there is an extra independent flux inB, compared to a singlen I inM, is due to a redundancy in the decomposition (23). We fix this ambiguity by setting ˇpI 2 = 0 (see [5]), which implies ˇΦI 0|2 = ˇΦI 0|3 ≡φ I. Given (31), (32), we may solve for the fixed point variables ˇΦI 0 a in terms ofn I andφ I. Substituting into (28), the on-shell action is I=...
-
[5]
Equivariant localization in supergravity
P. Benetti Genolini, J. P. Gauntlett, and J. Sparks, Equivariant Localization in Supergravity, Phys. Rev. Lett.131, 121602 (2023), arXiv:2306.03868 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[6]
Localization of the 5D supergravity action and Euclidean saddles for the black hole index
D. Cassani, A. Ruip´ erez, and E. Turetta, Localization of the 5D supergravity action and Euclidean saddles for the black hole index, JHEP12, 086, arXiv:2409.01332 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[7]
E. Colombo, V. Dimitrov, D. Martelli, and A. Zaffaroni, Equivariant localization in supergravity in odd dimen- sions, arXiv:2502.15624 [hep-th] (2025)
-
[8]
D. Cassani, A. Ruip´ erez, and E. Turetta, Bubbling sad- dles of the gravitational index, SciPost Phys.19, 134 (2025), arXiv:2507.12650 [hep-th]
-
[9]
Equivariant localization for $D=5$ gauged supergravity
P. Benetti Genolini, J. P. Gauntlett, Y. Jiao, J. Park, and J. Sparks, Equivariant localization for D = 5 gauged supergravity, JHEP03, 080, arXiv:2508.08207 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[10]
E. Colombo, V. Dimitrov, D. Martelli, and A. Zaffa- roni, Patch-wise localization with Chern-Simons forms in five dimensional supergravity, arXiv:2511.13824 [hep-th] (2025)
-
[11]
Localizing AlAdS$_5$ black holes and the SUSY index on $S^1 \times M_3$
J. Park, Localizing AlAdS 5 black holes and the SUSY index on S1×M 3, JHEP06, 107, arXiv:2511.15666 [hep- th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[12]
F. Gaar, J. P. Gauntlett, J. Park, and J. Sparks, The superconformal index and localizing higher derivative su- pergravity, arXiv:2604.09490 [hep-th] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[13]
D. Cassani and E. Turetta, The black hole at the end of the cone: localizing the anomaly polynomial on toric geometries, arXiv:2606.16986 [hep-th] (2026)
-
[14]
Key to this is the quantization condition R N P∈2πiZ(in Euclidean signature) for any compact manifoldNwith- out boundary, so that e−S is independent of the choice of Wand the extensionPof the Chern–Simons form onM. This quantization condition is often related to the index of an operator, and anomalies, which in turn can neces- sarily require including hig...
-
[15]
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
-
[16]
M. F. Atiyah and R. Bott, The Moment map and equiv- ariant cohomology, Topology23, 1 (1984)
work page 1984
-
[17]
J. P. Gauntlett and S. Pakis, The Geometry of D = 11 killing spinors, JHEP04, 039, arXiv:hep-th/0212008
work page internal anchor Pith review Pith/arXiv arXiv
-
[18]
Shifts of prepotentials (with an appendix by Michele Vergne)
N. Nekrasov, N. Piazzalunga, and M. Zabzine, Shifts of prepotentials (with an appendix by Michele Vergne), Sci- Post Phys.12, 177 (2022), arXiv:2111.07663 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2022
- [19]
-
[20]
For the Lorentzian analogue of this calculation the bi- linears ˆΦ0 and ˆΦ2 are components of the IIA polyform ˆΦ = e −ϕϵ1 ⊗¯ϵ2, whereϕis the dilaton andϵ 1,2 are the IIA spinors, as discussed in [45]
-
[21]
C. Couzens, A. L¨ uscher, and J. Sparks, Ten-dimensional localization, arXiv:2607.05529 [hep-th] (2026)
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[22]
Reality conditions can be imposed as discussed in [5]
-
[23]
J. P. Gauntlett and J. B. Gutowski, All supersymmet- ric solutions of minimal gauged supergravity in five- dimensions, Phys. Rev. D68, 105009 (2003), [Erratum: Phys.Rev.D 70, 089901 (2004)], arXiv:hep-th/0304064
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[24]
To aid comparison, we are using the same notation that was used to carry out a dimensional reduction fromM toBin [5]
-
[25]
Compare (2.68) and (2.71) of [5], for example, with (28) and set ∆x 5 = 2πand identifyingw= (Φ 0 0)there
-
[26]
Our result says that this pro- cedure would exactly give zero
A correct treatment of the integral of Λ 4 in the approach of [5], would require, in general, breakingM 4 into patches glued together with gauge transformations and summing the various contributions. Our result says that this pro- cedure would exactly give zero
-
[27]
H. Elvang, R. Emparan, D. Mateos, and H. S. Reall, A Supersymmetric black ring, Phys. Rev. Lett.93, 211302 (2004), arXiv:hep-th/0407065
work page internal anchor Pith review Pith/arXiv arXiv 2004
- [28]
-
[29]
H. K. Kunduri and J. Lucietti, Supersymmetric Black Holes with Lens-Space Topology, Phys. Rev. Lett.113, 211101 (2014), arXiv:1408.6083 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[30]
It is possible to generalize this to the case of orbifolds, but we leave that to future work
-
[31]
On the other hand, [41] requireWto be spin for the quantization argument (43)
Forp= 0 withℓ 1 =±1,ℓ 2 =±1 andℓ 3 being an even integer, the quotientBis smooth, butWdoes not admit a spin structure. On the other hand, [41] requireWto be spin for the quantization argument (43). Similarly, for p= 2 withℓ 1 =±1,ℓ 2 =±1 andℓ 3 = 0,Bis smooth, butWdoes not admit a spin structure
-
[32]
A One-Loop Test Of String Duality
C. Vafa and E. Witten, A One loop test of string duality, Nucl. Phys. B447, 261 (1995), arXiv:hep-th/9505053
work page internal anchor Pith review Pith/arXiv arXiv 1995
- [33]
-
[34]
AdS$_7$ Black Holes from Rotating M5-branes
N. Bobev, M. David, J. Hong, and R. Mouland, AdS 7 black holes from rotating M5-branes, JHEP09, 143, [Er- ratum: JHEP 09, 198 (2023)], arXiv:2307.06364 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[35]
Alternatively one can deduce this using theso(5)- equivariant completion of the Bott–Cattaneo form forS4
-
[36]
If we had started with the non-closedD= 11 solution with topologyR 2 ×S 5 ×S 4 then we would have obtained the same result, provided that we regulate by turning all integrals into equivariant integrals. For more general classes of solutions, this approach will be available and can be taken to define a supersymmetric regularization
-
[37]
6d superconformal Cardy formulas
J. Nahmgoong, 6d superconformal Cardy formulas, JHEP02, 092, arXiv:1907.12582 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 1907
-
[38]
Anomaly Matching Across Dimensions and Supersymmetric Cardy Formulae
K. Ohmori and L. Tizzano, Anomaly matching across dimensions and supersymmetric Cardy formulae, JHEP 12, 027, arXiv:2112.13445 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
- [39]
-
[40]
J. A. Harvey, R. Minasian, and G. W. Moore, Non- Abelian tensor multiplet anomalies, JHEP09, 004, arXiv:hep-th/9808060
work page internal anchor Pith review Pith/arXiv arXiv
-
[41]
The Casimir Energy in Curved Space and its Supersymmetric Counterpart
B. Assel, D. Cassani, L. Di Pietro, Z. Komargod- ski, J. Lorenzen, and D. Martelli, The Casimir Energy 8 in Curved Space and its Supersymmetric Counterpart, JHEP07, 043, arXiv:1503.05537 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[42]
EFT and the SUSY Index on the 2nd Sheet
D. Cassani and Z. Komargodski, EFT and the SUSY Index on the 2nd Sheet, SciPost Phys.11, 004 (2021), arXiv:2104.01464 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2021
-
[43]
The 4d superconformal index near roots of unity and 3d Chern-Simons theory
A. Arabi Ardehali and S. Murthy, The 4d superconformal index near roots of unity and 3d Chern-Simons theory, JHEP10, 207, arXiv:2104.02051 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[44]
Supersymmetric Casimir Energy and the Anomaly Polynomial
N. Bobev, M. Bullimore, and H.-C. Kim, Supersymmetric Casimir Energy and the Anomaly Polynomial, JHEP09, 142, arXiv:1507.08553 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
- [45]
-
[46]
Such a computation has been carried out forD= 4 gauged supergravity coupled to vector multiplets in [46]
-
[47]
P. Benetti Genolini, F. Gaar, J. P. Gauntlett, J. Park, and J. Sparks, Airy functions from quantum M-theory, To appear (2026)
work page 2026
-
[48]
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), arXiv:hep- th/9609122
-
[49]
Timelike structures of ten-dimensional supersymmetry
A. Legramandi, L. Martucci, and A. Tomasiello, Timelike structures of ten-dimensional supersymmetry, JHEP04, 109, arXiv:1810.08625 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[50]
Equivariant localization for $D=4$ gauged supergravity
P. Benetti Genolini, J. P. Gauntlett, Y. Jiao, A. L¨ uscher, and J. Sparks, Equivariant localization for D = 4 gauged supergravity, JHEP08, 211, arXiv:2412.07828 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv
-
[51]
Generalizations to locally free actions whereBis an orb- ifold are also possible. Supplementary material: Relative localization Here we present some mathematical background on rel- ative equivariant cohomology for manifolds with bound- ary, and discuss the BVAB formula [11, 12] in this setting. Consider a pair of manifolds (M, W) whereM=∂W is the boundary...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.