Recognition: 2 theorem links
· Lean TheoremIndices of M5 and M2 branes at finite N from equivariant volumes, and a new duality
Pith reviewed 2026-05-10 18:45 UTC · model grok-4.3
The pith
Matching equivariant classes from M5 anomaly polynomials and M2 topological strings generalizes an M2/M5 duality by swapping worldvolume and transverse geometries.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The finite-N Cardy-limit index for M5-branes and the proposed finite-N indices for M2-branes are both expressed through identical combinations of equivariant characteristic classes; this identity allows the M2/M5 duality to be promoted from a single instance to an infinite class of dual pairs by exchanging the worldvolume and transverse toric geometries.
What carries the argument
the shared combination of equivariant classes that appears identically in the integrated M5 anomaly polynomial and in the M2 topological-string/supergravity partition functions
If this is right
- The generalized duality supplies finite-N index formulas for every M2-brane theory whose transverse space is a toric Calabi-Yau four-fold whose world-volume geometry can be reinterpreted as a Sasaki-Einstein five-manifold.
- Indices of M5-branes on any toric Sasaki-Einstein five-manifold are now obtainable from the corresponding M2-brane computation and vice versa.
- The Cardy-limit expressions obtained from equivariant volumes become exact statements for the full indices under the duality map.
Where Pith is reading between the lines
- Choosing whichever geometry is simpler to integrate over would give a practical algorithm for evaluating the index of either brane system.
- The same exchange of geometries might produce dualities between other classes of supersymmetric partition functions that depend on similar equivariant data.
- Explicit checks for low-N cases or for manifolds with known closed-form indices would provide immediate tests of the proposed generalization.
Load-bearing premise
Agreement on the combination of equivariant classes is enough to identify the full indices rather than only their Cardy limits or special sectors.
What would settle it
Compute the full superconformal index for one concrete toric Sasaki-Einstein five-manifold and its dual Calabi-Yau four-fold pair and check whether the two expressions agree beyond the Cardy limit.
read the original abstract
We study supersymmetric indices of the 6d $(2,0)$ theory of $N$ M5-branes on toric Sasaki-Einstein five-manifolds. Embedding the background into a local toric Calabi-Yau four-fold and equivariantly integrating the anomaly polynomial yields a finite-$N$ Cardy-limit formula in terms of equivariant characteristic classes. Separately, using equivariant constant maps in topological string theory and higher-derivative supergravity, we derive a finite-$N$ proposal for the superconformal, twisted and spindle indices of $N$ M2-branes probing arbitrary toric Calabi-Yau four-folds. The M2-brane partition functions depend on the same combination of equivariant classes as the M5 result. Motivated by this match, we generalize the M2/M5 duality recently proposed in arxiv:2601.17114 to an infinite class of M2-brane theories by exchanging the worldvolume and transverse geometries of the two brane systems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript derives a finite-N Cardy-limit formula for the supersymmetric index of N M5-branes on toric Sasaki-Einstein five-manifolds by embedding the background into a local toric Calabi-Yau four-fold and equivariantly integrating the anomaly polynomial. Separately, it proposes finite-N expressions for the superconformal, twisted, and spindle indices of N M2-branes on arbitrary toric Calabi-Yau four-folds using equivariant constant maps in topological string theory and higher-derivative supergravity. Both expressions depend on the same combination of equivariant classes; motivated by this match, the authors generalize the M2/M5 duality of arXiv:2601.17114 to an infinite class of M2-brane theories via exchange of worldvolume and transverse geometries.
Significance. If the generalized duality holds beyond the regimes where the match is explicitly verified, the work would be significant for supplying explicit finite-N index formulas in M-theory setups and for relating M2- and M5-brane indices through geometry exchange, extending the earlier duality. The independent derivations via equivariant methods constitute a technical strength that could enable future cross-checks.
major comments (1)
- [Abstract] Abstract: the M5 result is explicitly restricted to a 'finite-N Cardy-limit formula' obtained from anomaly-polynomial integration, while the M2 result is presented as a 'finite-N proposal for the superconformal, twisted and spindle indices'. The shared equivariant-class combination is used to motivate the geometry-exchange duality for the full indices, but this match does not directly demonstrate equality outside the Cardy regime. The manuscript should clarify the precise scope of the proposed duality and supply an argument or additional check that the equality persists for the complete indices.
minor comments (1)
- The notation for the equivariant classes appearing in both derivations could be standardized with an explicit comparison table to improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for highlighting both its technical strengths and the need for greater precision regarding the scope of the proposed duality. We address the major comment below.
read point-by-point responses
-
Referee: Abstract: the M5 result is explicitly restricted to a 'finite-N Cardy-limit formula' obtained from anomaly-polynomial integration, while the M2 result is presented as a 'finite-N proposal for the superconformal, twisted and spindle indices'. The shared equivariant-class combination is used to motivate the geometry-exchange duality for the full indices, but this match does not directly demonstrate equality outside the Cardy regime. The manuscript should clarify the precise scope of the proposed duality and supply an argument or additional check that the equality persists for the complete indices.
Authors: We agree that the explicit match between the M5 and M2 expressions is verified only in the Cardy limit on the M5 side, while the M2 expressions are proposed as the full finite-N indices. The geometry-exchange duality is motivated by the fact that both sets of partition functions are expressed in terms of the identical combination of equivariant characteristic classes (arising from the same toric data under worldvolume/transverse exchange), extending the structural match already used in arXiv:2601.17114. We will revise the abstract to state explicitly that the M5 result is the Cardy-limit formula, the M2 result is a proposal for the full indices, and the generalized duality is conjectural, applying to the indices as given by these equivariant expressions. We will also add a short clarifying paragraph in the introduction that spells out this scope and explains why the geometric correspondence supplies a consistent argument for extending the duality to the full indices, even though a direct comparison outside the Cardy regime is not yet possible. This addresses the referee's request for clarification of scope and supplies the requested argument based on the shared equivariant structure. revision: partial
- An independent derivation or numerical check of the complete (non-Cardy) M5-brane index that would directly verify the duality beyond the regime already matched.
Circularity Check
Independent derivations via anomaly polynomials and topological strings observe matching equivariant classes without reducing to self-definition or fitted inputs
full rationale
The paper derives the finite-N Cardy-limit M5 index by equivariant integration of the anomaly polynomial on toric Sasaki-Einstein five-manifolds and separately derives the M2 indices via equivariant constant maps in topological string theory plus higher-derivative supergravity on toric CY4s. Both results are shown to depend on the same combination of equivariant classes, but this is an observed match used only to motivate the geometry-exchange duality generalization; it is not an input assumption or self-definitional step in either derivation. The cited prior M2/M5 duality (arXiv:2601.17114) is not load-bearing for the new finite-N expressions or the match itself. No equation reduces to a fitted parameter renamed as prediction, no ansatz is smuggled via self-citation, and the central claims remain self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Equivariant integration of the anomaly polynomial yields the correct finite-N index in the Cardy limit
- domain assumption Equivariant constant maps in topological string theory plus higher-derivative supergravity give the M2-brane indices
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Equivariantly integrating the anomaly polynomial yields a finite-N Cardy-limit formula in terms of equivariant characteristic classes... The M2-brane partition functions depend on the same combination of equivariant classes as the M5 result.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
generalize the M2/M5 duality... by exchanging the worldvolume and transverse geometries
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
– is the interchange of parallel and transverse spaces. Further details (e.g., “thermal” equivariant parameters fixed to a constant) are given below; we present concrete evidence for the case: X=C×Y , Z=C 2 ,(6) whereYis an arbitrary local toric Calabi–Yau three- fold. [35] This yields an infinite family of examples, gen- eralising the special caseY=C 3 d...
-
[2]
Supersymme- try imposes that each holomorphicF (m,n)(X I) is homo- geneous of degree 2(1−m−n)
and T-log [68] invariants, respectively. Supersymme- try imposes that each holomorphicF (m,n)(X I) is homo- geneous of degree 2(1−m−n). Given a theory defined by the above prepotential, the HD sugra action for the squashed sphere boundary is given by, [29, 30] IS3ν(φI , ν) = 2π ν F φI; (2πi−ν) 2,(2πi +ν) 2 ,(25) under the constraintP i φi = 2πi+ν. Compari...
-
[3]
(up to a factor of 2) and now holds for an arbitrary toric three-foldY. Note that this analysis cannot distin- guish on the left hand side between the superconformal index and twice theS 3 partition function; finer checks are needed to see if the match persists at the full quan- tum level. Finally, the proposed duality naturally gets extended via the equi...
-
[4]
I am also very grateful to Luca Cassia and Ali Mert Yetkin 6 for collaborations on related topics
for discussions and for motivating the present work. I am also very grateful to Luca Cassia and Ali Mert Yetkin 6 for collaborations on related topics. I am supported in part by the Bulgarian NSF grant KP-06-N88/1
- [5]
-
[6]
M5-branes from gauge theories on the 5-sphere,
H.-C. Kim and S. Kim, JHEP05, 144, arXiv:1206.6339 [hep-th]
- [7]
- [8]
-
[9]
F. Br¨ unner, D. Regalado, and V. P. Spiridonov, JHEP 07, 041, arXiv:1611.03831 [hep-th]
-
[10]
Nahmgoong, JHEP02, 092, arXiv:1907.12582 [hep- th]
J. Nahmgoong, JHEP02, 092, arXiv:1907.12582 [hep- th]
- [11]
- [12]
- [13]
-
[14]
Equivariant localization and holography
D. Martelli and A. Zaffaroni, Lett. Math. Phys.114, 15 (2024), arXiv:2306.03891 [hep-th]
-
[15]
D. Cassani, A. Ruip´ erez, and E. Turetta, JHEP05, 276, arXiv:2403.02410 [hep-th]
-
[16]
Hristov,work in progress
K. Hristov,work in progress
-
[17]
Equivariant volume extremization and holography
E. Colombo, F. Faedo, D. Martelli, and A. Zaffaroni, JHEP01, 095, arXiv:2309.04425 [hep-th]
-
[18]
Constant maps in equivariant topological strings and geometric modeling of fluxes
L. Cassia and K. Hristov, J. Phys. A58, 495201 (2025), arXiv:2502.20444 [hep-th]
-
[19]
M2-brane partition functions and HD supergravity from equivariant volumes
L. Cassia and K. Hristov, JHEP03, 100, arXiv:2508.21619 [hep-th]
-
[20]
Exact Results for Wilson Loops in Superconformal Chern-Simons Theories with Matter
A. Kapustin, B. Willett, and I. Yaakov, JHEP03, 089, arXiv:0909.4559 [hep-th]
-
[21]
From weak to strong coupling in ABJM theory
N. Drukker, M. Marino, and P. Putrov, Commun. Math. Phys.306, 511 (2011), arXiv:1007.3837 [hep-th]
work page Pith review arXiv 2011
-
[22]
N. Hama, K. Hosomichi, and S. Lee, JHEP05, 014, arXiv:1102.4716 [hep-th]
-
[23]
M. Marino and P. Putrov, J. Stat. Mech.1203, P03001 (2012), arXiv:1110.4066 [hep-th]
work page Pith review arXiv 2012
-
[24]
Y. Hatsuda, M. Marino, S. Moriyama, and K. Okuyama, JHEP09, 168, arXiv:1306.1734 [hep-th]
-
[25]
Instanton effects in ABJM theory with general R-charge assignments
T. Nosaka, JHEP03, 059, arXiv:1512.02862 [hep-th]
-
[26]
ABJM on ellipsoid and topological strings
Y. Hatsuda, JHEP07, 026, arXiv:1601.02728 [hep-th]
- [27]
-
[28]
Subleading analysis for S3 partition functions ofN= 2 holographic SCFTs
S. Geukens and J. Hong, JHEP06, 190, arXiv:2405.00845 [hep-th]
- [29]
-
[30]
N. Bobev, P.-J. De Smet, J. Hong, V. Reys, and X. Zhang, JHEP07, 123, arXiv:2502.04606 [hep-th]
-
[31]
K. Hristov, N. Kubo, and Y. Pang, (2026), arXiv:2603.19159 [hep-th]
work page internal anchor Pith review arXiv 2026
-
[32]
On evolving attention towards domain adaptation, 2021
N. Bobev, A. M. Charles, K. Hristov, and V. Reys, JHEP 08, 173, arXiv:2106.04581 [hep-th]
-
[33]
K. Hristov, JHEP02, 079, arXiv:2111.06903 [hep-th]
-
[34]
Hristov, JHEP02, 110, arXiv:2212.10590 [hep-th]
K. Hristov, JHEP02, 110, arXiv:2212.10590 [hep-th]
-
[35]
K. Hristov (2024) arXiv:2406.18648 [hep-th]
-
[36]
Here and in the Appendix, we denote the equivariant upgrade of a given quantity with a superscriptT
- [37]
-
[38]
We drop dimension indices: in what followsXis a complex toric four-fold (8 real dimensions),Ya toric three-fold (6 real dimensions),Za toric two-fold (4 real dimensions), andLan arbitrary toric Sasakian space (5 real dimensions)
-
[39]
Note that our heuristic identification ofZis not relied upon in explicit calculations, but we keep it to illustrate the general idea
- [40]
- [41]
-
[42]
Schmude, JHEP01, 119, arXiv:1401.3266 [hep-th]
J. Schmude, JHEP01, 119, arXiv:1401.3266 [hep-th]
- [43]
- [44]
- [45]
-
[46]
J. A. Harvey, R. Minasian, and G. W. Moore, JHEP09, 004, arXiv:hep-th/9808060
- [47]
- [48]
- [49]
-
[50]
M. Honda, Phys. Rev. D100, 026008 (2019), arXiv:1901.08091 [hep-th]
-
[51]
Arabi Ardehali, JHEP06, 134, arXiv:1902.06619 [hep- th]
A. Arabi Ardehali, JHEP06, 134, arXiv:1902.06619 [hep- th]
- [52]
-
[53]
A. Gonz´ alez Lezcano, J. Hong, J. T. Liu, and L. A. Pando Zayas, JHEP01, 001, arXiv:2007.12604 [hep-th]
-
[54]
K. Goldstein, V. Jejjala, Y. Lei, S. van Leuven, and W. Li, JHEP04, 216, arXiv:2011.06605 [hep-th]
-
[55]
A. Amariti, M. Fazzi, and A. Segati, JHEP07, 141, arXiv:2103.15853 [hep-th]
-
[56]
D. Cassani and Z. Komargodski, SciPost Phys.11, 004 (2021), arXiv:2104.01464 [hep-th]
-
[57]
A. Arabi Ardehali and S. Murthy, JHEP10, 207, arXiv:2104.02051 [hep-th]
-
[58]
high temperature
By Cardy limit we mean the “high temperature” limit used in [51?–53], sometimes referred to as the Cardy limit on the second sheet, as opposed to the one on the first sheet considered in e.g. [?]. The present version of the Cardy limit may also be related to the Casimir energy, see [8]
-
[59]
Here we follow the convention of [11], which also fixes the overall prefactor in (7)
-
[60]
For related proposals that replace Pontryagin classes by an additional “thermal” term, see [1, 6, 8]; our deriva- tion shows these replacements arise effectively from the inclusion ofϵ 0
- [61]
- [62]
- [63]
- [64]
- [65]
-
[66]
N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals
O. Aharony, O. Bergman, D. L. Jafferis, and J. Malda- cena, JHEP10, 091, arXiv:0806.1218 [hep-th]
-
[67]
Chiral flavors and M2-branes at toric CY4 singularities
F. Benini, C. Closset, and S. Cremonesi, JHEP02, 036, arXiv:0911.4127 [hep-th]
-
[68]
Note also that we switch off baryonic symmetries from the outset, see [?]
For a more immediate comparison with the M5 results, we use rescaled parameters with respect to [15]: ˜ϵ here = iπ(1 +b 2 there)ϵ there, νhere = 2πib 2 there. Note also that we switch off baryonic symmetries from the outset, see [?]
- [69]
-
[70]
D. Cassani, P. Koerber, and O. Varela, JHEP11, 173, arXiv:1208.1262 [hep-th]
-
[71]
Bergshoeff, M
E. Bergshoeff, M. de Roo, and B. de Wit, Nucl. Phys. B 182, 173 (1981)
1981
- [72]
-
[73]
Mapping to supergravity requires identifying equivariant parameters with supergravity scalars; different conven- tions also shift index numbering and positioning
-
[74]
P. Benetti Genolini, J. P. Gauntlett, and J. Sparks, Phys. Rev. Lett.131, 121602 (2023), arXiv:2306.03868 [hep- th]
-
[75]
P. Benetti Genolini, J. P. Gauntlett, and J. Sparks, JHEP 02, 015, arXiv:2308.11701 [hep-th]
- [76]
-
[77]
A topologically twisted index for three-dimensional supersymmetric theories
F. Benini and A. Zaffaroni, JHEP07, 127, arXiv:1504.03698 [hep-th]
-
[78]
Black hole microstates in AdS$_4$ from supersymmetric localization
F. Benini, K. Hristov, and A. Zaffaroni, JHEP05, 054, arXiv:1511.04085 [hep-th]
-
[79]
The complete superconformal index for N=6 Chern-Simons theory
S. Kim, Nucl. Phys. B821, 241 (2009), [Erratum: Nucl.Phys.B 864, 884 (2012)], arXiv:0903.4172 [hep-th]
work page Pith review arXiv 2009
-
[80]
Index for three dimensional superconformal field theories with general R-charge assignments
Y. Imamura and S. Yokoyama, JHEP04, 007, arXiv:1101.0557 [hep-th]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.