pith. sign in

arxiv: 2605.19552 · v2 · pith:SQGMTFAJnew · submitted 2026-05-19 · ✦ hep-th · math.AG

Large Order Enumerative Geometry, Black Holes and Black Rings

Sergei Alexandrov , Albrecht Klemm , Boris Pioline This is my paper

Pith reviewed 2026-05-20 04:38 UTC · model grok-4.3

classification ✦ hep-th math.AG
keywords Gopakumar-Vafa invariants5D black holesblack ringsenumerative geometryDonaldson-Thomas invariantsstable pair invariantsCalabi-Yau threefoldsBekenstein-Hawking entropy
0
0 comments X

The pith

The 5D index matches the entropy of rotating BMPV black holes below a critical angular momentum and switches to black-ring domination above it.

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

Using newly computed high-genus Gopakumar-Vafa invariants for one-parameter Calabi-Yau threefolds, the authors numerically extract the large-charge growth of the 5D index Ω_5D(d,m). Below a critical value of the angular momentum m this growth reproduces the Bekenstein-Hawking-Wald entropy of five-dimensional rotating black holes, including the first correction from four-derivative terms. Above the critical m the same index is instead controlled by black rings carrying the smallest dipole charge. The stable-pair and rank-one Donaldson-Thomas invariants, both built from the 5D index, exhibit their own sequence of phase transitions whose growth rates are derived in each regime.

Core claim

Exploiting newly available data on Gopakumar-Vafa invariants at high genus for one-parameter hypergeometric Calabi-Yau threefolds, we study numerically the growth of the 5D indices, stable pair (PT) invariants and rank one Donaldson-Thomas (DT) invariants at large charges. For the 5D index Ω_5D(d,m), below a critical value of the angular momentum m, we find perfect agreement with the Bekenstein-Hawking-Wald entropy of rotating 5D BMPV black holes, including the subleading correction from 4-derivative interactions. When m exceeds the critical value, the 5D index is instead dominated by black rings with the smallest possible dipole charge.

What carries the argument

large-charge asymptotics of the 5D index Ω_5D(d,m) extracted from high-genus GV invariants

If this is right

  • The microscopic 5D index supplies a state-counting interpretation for the entropy of rotating five-dimensional black holes that includes higher-derivative corrections.
  • Black rings with minimal dipole charge become the dominant contributors to the index once angular momentum exceeds the critical threshold.
  • Stable-pair invariants display an additional plateau regime followed by polynomial growth ~m^{2d-1} at positive m.
  • Rank-one Donaldson-Thomas invariants transition at positive m to a regime whose entropy scales as m^{2/3} and is dominated by D0-branes.

Where Pith is reading between the lines

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

  • The same numerical pipeline could be run on other families of Calabi-Yau threefolds to map the entropy of more general black objects in five and four dimensions.
  • The observed phase boundaries may correspond to walls in the moduli space where different saddle-point configurations exchange dominance.
  • The derived approximate formulas for each phase supply concrete predictions that can be checked against independent microscopic counts in the large-charge limit.

Load-bearing premise

The high-genus GV invariant data and the numerical fitting procedure used to extract growth rates are free of truncation or fitting artifacts that would change the reported phase transitions.

What would settle it

An exact computation of Ω_5D(d,m) for a concrete large d and an m value straddling the observed critical point that fails to reproduce the Bekenstein-Hawking-Wald formula including the four-derivative correction.

Figures

Figures reproduced from arXiv: 2605.19552 by Albrecht Klemm, Boris Pioline, Sergei Alexandrov.

Figure 1
Figure 1. Figure 1: Asymptotics of genus zero GV invariants for the quintic X5. On the left, we plot the N-th iteration of the depth 1 logarithmic Richardson transform r (N) 1 := (L1) N [r (0) d ], for N = 0, 1, 2, 3. This is identical to the plot in [2], but extended up to degree d = 1780. On the right, we plot the N-th iteration of the depth 2 logarithmic Richardson transform r (N) 2 := (L2) N [r (0) d ], for N = 0, 1, 2. T… view at source ↗
Figure 2
Figure 2. Figure 2: Ratio of the exact GW invariant and asymptotic estimate for X5 (left) and X4,2 (right), for genus 0 up to 10, as a function of the order N of the logarithmic Richardson transform, using degree d ≤ 1600. 2.4 Phenomenology of GV invariants at fixed degree                                                                              … view at source ↗
Figure 3
Figure 3. Figure 3: log | GV(g) d | as a function of g for X5 (left) and X4,2 (right). Different degrees correspond to different colors. In both cases the maximal shown degree is 44. Positive GV invariants are shown by dots, while negative ones by crosses. Gaps correspond to unknown invariants. Let us now fix the degree d and consider the dependence of GV invariants GV(g) d on the genus g, bounded by gmax(d). In [PITH_FULL_I… view at source ↗
Figure 4
Figure 4. Figure 4: The values of gkink(d) for X5 (left) and X4,2 (right). At the bottom, gkink(d) is normalized by 2(wd) 3/2 . • Finally, unfortunately, we do not have enough data to guess the form of GV invariants after the kink, i.e. for gkink(d) < g ≤ gmax(d). It is tempting to claim that they are again captured by a Gaussian, but we do not have a sufficient set of constraints to determine its parameters. These observatio… view at source ↗
Figure 5
Figure 5. Figure 5: log |Ω5D(d, m)| as a function of m for X5 (left) and X4,2 (right). Different degrees cor￾respond to different colors. The maximal shown degrees are 26 and 31, respectively. Positive BPS indices are shown by dots, while negative ones by crosses. Thus, one expects that at large enough d, keeping the ratio m/d3/2 fixed, the logarithm of the 5D index (3.3) should reproduce the black hole entropy (3.7) for |m| … view at source ↗
Figure 6
Figure 6. Figure 6 [PITH_FULL_IMAGE:figures/full_fig_p023_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The EN transforms of the series (3.19) for X4,2 with N = 0, . . . , 4. The sets of functions used in the transform are {d −1 , d−3/2 log(d), d−3/2 , d−2} (left) and {d −1/2 , d−1 , d−3/2 , d−2} (right). 22It is worth noting that the log-term is not necessary to include to achieve this remarkable convergence. – 24 – [PITH_FULL_IMAGE:figures/full_fig_p025_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The Richardson and EN transforms of slog(d) for X4,2 with N = 0, . . . , 7. The set of functions used in the E-algorithm is {d 1−k/ log(d)}k≥1. Given the uncertainty on the value of α, it seems pointless to try and investigate further subleading terms. However, one can also try to check the prediction (3.15) for the difference of the logarithmic corrections in two ensembles. In the static case, the angular… view at source ↗
Figure 9
Figure 9. Figure 9: The Richardson and EN transforms of sd log(d) for X4,2 with N = 0, . . . , 7. The set of functions used in the E-algorithm is {d 1−k/ log(d)}k≥1. 3.3.2 Slow-spinning black holes Let us now consider 5D index Ω5D(d, m) at large d keeping m non-vanishing but fixed. Fol￾lowing [29], we define ρ(d, m) = d 3/2 m2 log [PITH_FULL_IMAGE:figures/full_fig_p027_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The Richardson transforms of ˜s0(d) for X5 and X4,2 with N = 0, . . . , 4. The results of several Richardson transforms of ˜s0(d) are shown in [PITH_FULL_IMAGE:figures/full_fig_p028_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The Richardson transforms of ˜s1(d) for X5 and X4,2 with N = 0, . . . , 4 (top) and the values of (RN [˜s1])d for maximally available d for N up to 10 and the same manifolds (bottom). 3.3.3 Fast-spinning black holes Now we turn to spinning black holes in the regime where the ratio ω = J/Q3/2 is kept finite while Q is scaled to infinity, but ω remains smaller than the critical value given by the position –… view at source ↗
Figure 12
Figure 12. Figure 12: Tests of the quantum correction to the entropy of rotating black holes. Different columns correspond to three different ways to check whether the tested function represents the correction. Different rows correspond to four tested functions: g(ω) = 1 + 1 3 ω 2 , 1 1−ω2 , 1 and 1− 4 3 ω 2 1−ω2 . All functions are plotted for X4,2 and d ranging from 11 (orange) to 31 (blue). Due to symmetry, we restrict to p… view at source ↗
Figure 13
Figure 13. Figure 13: 5D index (blue) vs. Bekenstein-Hawking-Wald entropy of spinning BMPV black holes, for X5 (left) and X4,2 (right). The red curve shows the classical Bekenstein-Hawking entropy (3.5), the brown curve includes the 4-derivative correction at linear order ((3.7) with g(ω) given in (3.8d)), and the green curve includes it at non-linear order as in (3.27). Given the last observation, it is natural to reconsider … view at source ↗
Figure 14
Figure 14. Figure 14: Left: log |Ω5D| (blue) and the black ring entropy S br for r = 1, . . . , 6 with n = m. Right: log |Ω5D| (blue), PT1(d, n) (red) and S br for r = 1 (green) with n = m + 2. The purple dashed curve is the quantum corrected black hole entropy (3.27). All graphs are made for X4,2 and the maximal available degree d = 31. In fact, the match can be further improved if one takes into account that the D0-brane cha… view at source ↗
Figure 15
Figure 15. Figure 15: Positions of the kink ωkink(d) for the 5D index for X4,2, its analytic expression (3.32) (red) and the approximation (3.33) (purple dashed). In [PITH_FULL_IMAGE:figures/full_fig_p032_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: At the top: log | GV(g) d | (blue) and its approximation (3.46) (red) for X5 (left) and X4,2 (right) for degrees from 34 to 44. The approximation is computed using (3.44) with α = β = 0. At the bottom: the same but now for degrees from 16 to 26 for X5 (left) and from 21 to 31 for X4,2 (right), and the approximation is computed using (3.43) with the actual values of the 5D index. – 34 – [PITH_FULL_IMAGE:f… view at source ↗
Figure 17
Figure 17. Figure 17: log |PT(d, m)| as a function of m for 10 maximal available degrees for X5 (left) and X4,2 (right). Different degrees correspond to different colors. Positive invariants are shown by dots, while negative ones by crosses. Using the GV/PT relation, one can compute PT invariants up to the same degree for which GV invariants are known at all genera (see the column dmod in [PITH_FULL_IMAGE:figures/full_fig_p03… view at source ↗
Figure 18
Figure 18. Figure 18: Left: the ratio log | PT(d,m)| log |P T(d,0)| as a function of J/Q3/2 , for 10 maximal available degrees for X4,2. The colors change from orange (d = 22) to blue (d = 31). Right: log |PT(d, m)| for X4,2 and d = 31 calculated in three ways: using (4.5) (blue), restricting to g = 0 in this formula and to k = 1 in (4.6) (red), and restricting to g ≥ 1 and k = 1, respectively (green). Below we analyze each of… view at source ↗
Figure 19
Figure 19. Figure 19: Left: log |PT(d, m)| for X4,2 and d = 31 (blue), its approximation obtained by restricting to k = 1 in (4.6) and to g ≥ 1 in (4.5) (green), and one more approximation obtained by additional restriction to d = 31 in (4.5) (red crosses). Right: log |S1(d, m + 2)| (blue) and log |S−1(d, m)| (red) for X4,2 and d = 31. Furthermore, the function S1 in the r.h.s. of (4.10) is closely related to the 5D index (3.3… view at source ↗
Figure 20
Figure 20. Figure 20: The ratio between the approximation PT1(d, m) (4.16) and the exact PT invariant PT(d, m) for X5, d = 26 (left) and X4,2, d = 31 (right). 4.3 Plateau The plateau phase of PT invariants is the only regime where it is important to take into account the plethystic exponential in the MNOP formula. Indeed, acting on the genus zero contribution in (4.5), it produces factors 1/(1 − (−q)k ) 2 . Let us take k = 2. … view at source ↗
Figure 21
Figure 21. Figure 21: The plots of log |PT(d, m)| for X4,2, d = 31 (blue) and its approximations (red). On the left, the approximation is obtained from MNOP formula where one takes into account only the contribution of GV(g) 29 invariants with g ≥ 2 with the plethystic exponential replaced by the usual one and GV(0) 1 with the plethystic exponential replaced by its k = 2 contribution. On the right, it is the logarithm of (4.19… view at source ↗
Figure 22
Figure 22. Figure 22: The plots of log |PT(d, m)| for X4,2, d = 31 and its approximations: the actual PT invariants (blue), the contribution of genus 0 GV invariants with the plethystic exponential replaced by the usual one (red), additional restriction to degrees d ≤ 20 (brown), d ≤ 10 (green) and d = 1 (magenta). Besides, the purple dashed curve is the approximation (4.23). 5. Growth of DT invariants The Donaldson-Thomas inv… view at source ↗
Figure 23
Figure 23. Figure 23: Left: log | DT(d, m)| as a function of m for 10 maximal available degrees for X4,2. Different degrees correspond to different colors. Positive invariants are shown by dots, while negative ones by crosses. Right: log | DT(d, m)| (blue), log |PT(d, m)| (green) and log |Ω5D| (red) for the maximal available degree d = 31. In fact, the behavior of DT invariants at large m is dominated by the MacMahon factor M(… view at source ↗
Figure 24
Figure 24. Figure 24: The plots of log | DT(d, m)| for X4,2, d = 31 (blue) and its approximations given by (5.2) with either exact Fourier coefficients ωχ (red) or replaced by their asymptotics (D.9) (green). Besides, the purple dashed curve is the approximation (5.4) multiplied by DT(d, 0). While the discussion above assumes that the degree d is fixed, a natural question is to study the behavior of DT(d, m) as m2/d3 is held f… view at source ↗
Figure 25
Figure 25. Figure 25: All graphs are made for X4,2 and λ = 5 + 25i (left), 5 + 5i (middle) and 5 + 2i (right). Top: log |Fd| (blue) and two contributions, (C.4) (red) and (C.9) (green). Down: gmax(d) (red) and g∗(d) (green). Although on the left the green curve is dominating for d > 20, it does not contribute since d∗ > gmax for d > 18. In contrast, on the right it provides the correct approximation as d∗ remains always less t… view at source ↗
Figure 26
Figure 26. Figure 26: Logarithm of the Fourier coefficients of the χ-th power of the MacMahon function (in red), compared to the asymptotic formula (in blue) (D.8) for χ = 1 (left) or (D.9) for χ = −1 (right). 38This result differs from the one quoted in [30, (6.2)], and was obtained by Charles Cosnier-Horeau and the last-named author in May 2015. – 55 – [PITH_FULL_IMAGE:figures/full_fig_p056_26.png] view at source ↗
read the original abstract

Exploiting newly available data on Gopakumar-Vafa invariants at high genus for one-parameter hypergeometric Calabi-Yau threefolds, we study numerically the growth of the 5D indices, stable pair (PT) invariants and rank one Donaldson-Thomas (DT) invariants at large charges. For the 5D index $\Omega_{5D}(d,m)$, below a critical value of the angular momentum $m$, we find perfect agreement with the Bekenstein-Hawking-Wald entropy of rotating 5D BMPV black holes, including the subleading correction from four-derivative interactions. When $m$ exceeds the critical value, the 5D index is instead dominated by black rings with the smallest possible dipole charge. The stable pair invariant $PT(d,m)$, which is determined by 5D indices, has a similar black ring/hole transition at negative $m$ (now interpreted as the D0-brane charge) but surprisingly exhibits two other phase transitions at positive $m$: first, to a plateau and then to a polynomial growth $\sim m^{2d-1}$. In each phase, we derive an approximate expression for the invariant. Finally, the rank one DT invariant $DT(d,m)$ is similar to $PT(d,m)$ at negative $m$, and then transitions to a phase dominated by D0-branes, with entropy of order $m^{2/3}$. Along the way, we determine the fixed genus, large degree behavior of GV invariants (including the overall $g$-dependent constant), extend it to an approximate formula valid also for large $g$, point out the unreasonable effectiveness of a simple PT/MSW relation, and study the growth of topological free energies at fixed degree, confirming a conjecture of Mari\~no.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript numerically studies the large-charge asymptotics of the 5D index Ω_5D(d,m), stable pair (PT) invariants, and rank-one Donaldson-Thomas (DT) invariants for one-parameter hypergeometric Calabi-Yau threefolds, using newly available high-genus Gopakumar-Vafa (GV) data. It reports that below a critical value of angular momentum m, Ω_5D(d,m) exhibits perfect agreement with the Bekenstein-Hawking-Wald entropy of rotating 5D BMPV black holes, including the subleading correction from 4-derivative interactions; above this value the index is dominated by black rings with minimal dipole charge. Analogous phase transitions are identified and approximately characterized for PT(d,m) (including a plateau and polynomial growth regime) and DT(d,m) (transition to D0-brane dominance). The work also determines the fixed-genus large-degree behavior of GV invariants, extends it to large g, notes the effectiveness of a PT/MSW relation, and confirms a conjecture of Mariño on the growth of topological free energies.

Significance. If the reported numerical agreements prove robust, the results would provide compelling microscopic evidence linking enumerative invariants to 5D black-hole and black-ring entropy, including subleading 4-derivative terms, and would illuminate the phase structure of BPS indices under black-hole/black-ring transitions. The approximate expressions in each phase, the extension of GV asymptotics, and the confirmation of Mariño’s conjecture constitute concrete advances in both black-hole microstate counting and large-order enumerative geometry.

major comments (2)
  1. The central claim of 'perfect agreement' with the Bekenstein-Hawking-Wald entropy, including the specific subleading 4-derivative coefficient, for Ω_5D(d,m) below the critical m rests on numerical extraction of the large-d growth rate from finite-genus GV data. No convergence tests (varying the genus cutoff at fixed large d), error propagation on the extracted subleading coefficient, or explicit robustness checks against truncation are described, leaving open the possibility that fitting or cutoff artifacts could shift or fabricate the reported match to the 4-derivative term.
  2. The location and nature of the critical angular momentum m separating the black-hole and black-ring regimes is presented as a load-bearing feature of the phase diagram, yet the manuscript provides no quantitative criterion or stability analysis for how this value is determined from the numerical data; small shifts in the extracted critical m would alter the claimed regime of agreement with the BMPV entropy formula.
minor comments (2)
  1. A concise summary table relating the 5D index, PT invariants, and DT invariants (including their precise definitions in terms of GV numbers) would improve readability.
  2. The approximate expressions derived for PT(d,m) and DT(d,m) in each phase would benefit from a short discussion of their range of validity and any systematic deviations observed in the numerical data.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The points raised concerning numerical robustness are well taken, and we will strengthen the presentation accordingly in the revised version while preserving the core claims supported by the available high-genus GV data.

read point-by-point responses

  1. Referee: The central claim of 'perfect agreement' with the Bekenstein-Hawking-Wald entropy, including the specific subleading 4-derivative coefficient, for Ω_5D(d,m) below the critical m rests on numerical extraction of the large-d growth rate from finite-genus GV data. No convergence tests (varying the genus cutoff at fixed large d), error propagation on the extracted subleading coefficient, or explicit robustness checks against truncation are described, leaving open the possibility that fitting or cutoff artifacts could shift or fabricate the reported match to the 4-derivative term.

    Authors: We agree that explicit documentation of convergence and error analysis would strengthen the numerical evidence. Although the extracted coefficients remain stable under the genus cutoffs employed in our internal checks, these tests were not reported. In the revision we will add a new subsection with convergence plots for several fixed large values of d, showing the variation of both the leading and subleading coefficients as the genus cutoff is increased. We will also include a simple error estimate derived from the spread across cutoffs, confirming that the match to the 4-derivative term lies within the estimated uncertainty. revision: yes

  2. Referee: The location and nature of the critical angular momentum m separating the black-hole and black-ring regimes is presented as a load-bearing feature of the phase diagram, yet the manuscript provides no quantitative criterion or stability analysis for how this value is determined from the numerical data; small shifts in the extracted critical m would alter the claimed regime of agreement with the BMPV entropy formula.

    Authors: The critical m was identified by direct comparison of the numerically extracted growth rate of Ω_5D(d,m) against the BMPV and black-ring entropy expressions, noting the value at which the data depart from the former and align with the latter. We acknowledge that a precise, reproducible criterion was not stated. In the revision we will introduce an explicit definition (the smallest m for which the black-ring contribution exceeds half the total index within the fitting window) together with a brief stability analysis showing how the extracted transition point varies under modest changes in the fitting range and genus cutoff. revision: yes

Circularity Check

0 steps flagged

No significant circularity; central match is to external supergravity entropy

full rationale

The paper numerically extracts large-charge asymptotics of the 5D index Ω_5D(d,m) from high-genus GV invariants and reports agreement with the independently derived Bekenstein-Hawking-Wald entropy of BMPV black holes (including 4-derivative corrections). PT and DT invariants are constructed from the 5D index via standard relations, but the load-bearing claim is a comparison to an external supergravity formula rather than a self-defined quantity. No quoted step reduces by construction to the paper's own inputs or fitted parameters; the numerical truncation and growth extraction is presented as computation from data, not as a forced prediction. The derivation remains self-contained against the external benchmark.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claims rest on the accuracy and completeness of the input high-genus GV data together with the assumption that numerical extraction of leading exponential growth is reliable. No new physical entities are introduced; the analysis interprets existing invariants in terms of known supergravity solutions.

free parameters (1)
  • critical angular momentum value separating black-hole and black-ring regimes
    The transition point is located numerically from the GV data and is not derived from first principles.
axioms (1)
  • domain assumption The supplied high-genus GV invariants for the chosen one-parameter hypergeometric Calabi-Yau threefolds are accurate and complete enough for large-charge asymptotics.
    All reported growth rates and phase transitions are extracted from this external data set.

pith-pipeline@v0.9.0 · 5862 in / 1564 out tokens · 73765 ms · 2026-05-20T04:38:33.995187+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Extended Supergravity Needs String Scale Cut-off

    hep-th 2026-06 conditional novelty 5.0

    String-scale UV cut-off in the gravitational path integral removes string-coupling dependence from the BPS black hole index in extended supergravity, matching supersymmetry expectations for zero-Euler-number cases.