Pith. sign in

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 →

arxiv 2607.07621 v1 pith:FBPKZO2F submitted 2026-07-08 hep-th

Odd-Dimensional Localization in Supergravity

classification hep-th
keywords supergravitylocalizationequivariant cohomologyChern-Simons termsanomaly polynomialM5-branesfixed point formulaon-shell action
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.

Supergravity theories in odd spacetime dimensions generically contain Chern-Simons terms, which are gauge-dependent and obstruct the localization techniques that compute supersymmetric observables from global data alone. This paper shows that the gauge-invariant part of the on-shell Lagrangian and the anomaly form associated with the Chern-Simons term can be combined into a single relative equivariant cohomology class on a manifold-with-boundary. The key identity is that the equivariant derivative of the gauge-invariant polyform equals minus the restriction of the anomaly polyform to the boundary. This identity causes the boundary term in the Berline-Vergne-Atiyah-Bott localization formula to vanish, yielding a universal fixed point formula: the on-shell supergravity action reduces to an integral of the equivariant anomaly form over the fixed point set of the supersymmetric Killing vector, divided by the equivariant Euler class. The paper verifies this identity explicitly for D=11 and D=5 supergravity at the two-derivative level, computes the on-shell action for black ring and black lens solutions in five dimensions, and extends the formalism conjecturally to higher-derivative terms to derive the supersymmetric Casimir energy and the Cardy-like limit of the superconformal index for M5-branes, matching independent field theory results.

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.

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

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

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

Referee Report

1 major / 5 minor

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)
  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)
  1. 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.
  2. 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.
  3. 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.
  4. 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].
  5. 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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

1 free parameters · 4 axioms · 1 invented entities

The framework relies on standard mathematical tools (BVAB, equivariant cohomology) applied to supergravity. The main ad-hoc assumption is the conjectural extension to higher derivatives. The φ^I parameters are determined by physical boundary conditions, not fitted to the result.

free parameters (1)
  • φ^I = Determined by flux quantization n^I and matching conditions
    The parameters φ^I in the D=5 black ring/lens examples are fixed by the 5d flux quantization n^I and the choice ˇp^I_2 = 0, then matched to [4,6] after a redefinition. Not fitted to the target action.
axioms (4)
  • domain assumption The supersymmetric Killing vector K is nowhere zero on M and extends to W.
    Stated in the Introduction. Necessary for the BVAB formula on W.
  • standard math The anomaly form P admits a natural equivariant completion to a polyform Φ^(anom) on W.
    Standard result from equivariant cohomology, applied to the anomaly form.
  • ad hoc to paper For higher-derivative theories, d_K Φ^(GI) = -Φ^(anom)|_M continues to hold (possibly up to an exact piece).
    Conjectured in the Higher Derivatives section. Load-bearing for the O(N) M5-brane result.
  • domain assumption W is a spin manifold.
    Required for the quantization condition (footnote [10]) and the integrality property (43).
invented entities (1)
  • Relative equivariant cohomology class (Φ^(GI), Φ^(anom)) independent evidence
    purpose: To combine the gauge-invariant Lagrangian with the Chern-Simons anomaly form for localization.
    The existence of this class is proven by explicit computation of d_K Φ^(GI) = -Φ^(anom)|_M at the two-derivative level. It is a mathematical construct, not a new physical particle.

pith-pipeline@v1.1.0-glm · 18059 in / 2350 out tokens · 376854 ms · 2026-07-09T04:45:28.848060+00:00 · methodology

0 comments
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.

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

51 extracted references · 51 canonical work pages · 22 internal anchors

  1. [1]

    + dˇzI 1 ∧α ,(24) where we defined ˇΦI 0 = ΦI 0 +wˇzI

  2. [2]

    We then haveℓ⌟Φ I = −dξσwithσ= ˇz I

  3. [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. [4]

    second-sheet

    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. [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]

  6. [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]

  7. [7]

    Colombo, V

    E. Colombo, V. Dimitrov, D. Martelli, and A. Zaffaroni, Equivariant localization in supergravity in odd dimen- sions, arXiv:2502.15624 [hep-th] (2025)

  8. [8]

    Cassani, A

    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. [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]

  10. [10]

    Colombo, V

    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. [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]

  12. [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)

  13. [13]

    Cassani and E

    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. [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. [15]

    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)

  16. [16]

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

  17. [17]

    J. P. Gauntlett and S. Pakis, The Geometry of D = 11 killing spinors, JHEP04, 039, arXiv:hep-th/0212008

  18. [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]

  19. [19]

    Becker, M

    K. Becker, M. Becker, and J. H. Schwarz,String theory and M-theory: A modern introduction(Cambridge uni- versity press, 2006)

  20. [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. [21]

    Ten-dimensional localization

    C. Couzens, A. L¨ uscher, and J. Sparks, Ten-dimensional localization, arXiv:2607.05529 [hep-th] (2026)

  22. [22]

    Reality conditions can be imposed as discussed in [5]

  23. [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

  24. [24]

    To aid comparison, we are using the same notation that was used to carry out a dimensional reduction fromM toBin [5]

  25. [25]

    Compare (2.68) and (2.71) of [5], for example, with (28) and set ∆x 5 = 2πand identifyingw= (Φ 0 0)there

  26. [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. [27]

    A supersymmetric black ring

    H. Elvang, R. Emparan, D. Mateos, and H. S. Reall, A Supersymmetric black ring, Phys. Rev. Lett.93, 211302 (2004), arXiv:hep-th/0407065

  28. [28]

    J. P. Gauntlett and J. B. Gutowski, General concentric black rings, Phys. Rev. D71, 045002 (2005), arXiv:hep- th/0408122

  29. [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]

  30. [30]

    It is possible to generalize this to the case of orbifolds, but we leave that to future work

  31. [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. [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

  33. [33]

    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), arXiv:hep- th/9506126

  34. [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]

  35. [35]

    Alternatively one can deduce this using theso(5)- equivariant completion of the Bott–Cattaneo form forS4

  36. [36]

    For more general classes of solutions, this approach will be available and can be taken to define a supersymmetric regularization

    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. [37]

    6d superconformal Cardy formulas

    J. Nahmgoong, 6d superconformal Cardy formulas, JHEP02, 092, arXiv:1907.12582 [hep-th]

  38. [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]

  39. [39]

    H.-Y. Chen, N. Dorey, S. Moriyama, R. Mouland, and C. Sanli, An M2/M5 duality from the giant graviton ex- pansion, JHEP07, 025, arXiv:2601.17114 [hep-th]

  40. [40]

    J. A. Harvey, R. Minasian, and G. W. Moore, Non- Abelian tensor multiplet anomalies, JHEP09, 004, arXiv:hep-th/9808060

  41. [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]

  42. [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]

  43. [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]

  44. [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]

  45. [45]

    Cheng, M

    P. Cheng, M. N. Milam, and R. Minasian, Integral cubic form of 5D minimal supergravities and non-perturbative anomalies in 6D (1,0) theories, arXiv:2509.18042 [hep-th] (2025)

  46. [46]

    Such a computation has been carried out forD= 4 gauged supergravity coupled to vector multiplets in [46]

  47. [47]

    Benetti Genolini, F

    P. Benetti Genolini, F. Gaar, J. P. Gauntlett, J. Park, and J. Sparks, Airy functions from quantum M-theory, To appear (2026)

  48. [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. [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]

  50. [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]

  51. [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...