Pith. sign in

REVIEW 3 major objections 5 minor 43 references

Smooth complex non-extremal saddle-points of the Euclidean IIB path integral compute the D1-D5-P black string index, with a beta-independent on-shell action that reproduces the extremal index and, in the decoupling limit, the Cardy formula

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 · deepseek-v4-flash

2026-08-01 21:15 UTC pith:Y3J3ENJR

load-bearing objection A competent and explicit construction of the D1-D5-P index saddle, with real but addressable gaps around KSW allowability and a novelty overlap with a parallel paper. the 3 major comments →

arxiv 2607.16134 v1 pith:Y3J3ENJR submitted 2026-07-17 hep-th

Gravitational index of the D1-D5-P black string

classification hep-th
keywords gravitational indexsupersymmetric indexD1-D5-P black stringEuclidean path integralcomplex saddleselliptic genusCardy formulaIIB supergravity
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.

This paper tries to establish that the supersymmetric index of the D1-D5-P black string is computed by genuine saddle-points of the Euclidean gravitational path integral, not by the zero-temperature extremal solution. The saddles are complex, supersymmetric, non-extremal solutions of ten-dimensional IIB supergravity carrying the same monopole charges and left angular momentum as the extremal string, but with a fixed imaginary angular velocity beta Omega_R = -2 pi i that inserts (-1)^F. Their Gibbons-Hawking on-shell action is independent of temperature, beta F = pi Q1 Q5 Qn / sqrt(Q1 Q5 Qn - J_L^2), matching the supersymmetric index of the extremal string. In a finite-temperature near-horizon decoupling limit the same saddles become an S^3 fibration over BTZ whose on-shell action reproduces the Cardy formula for the holomorphic elliptic genus of the dual two-dimensional SCFT. A sympathetic reader would care because this resolves the puzzle of why a temperature-independent microscopic index can correspond to a gravitational system whose only supersymmetric black hole has zero temperature.

Core claim

On the paper's own terms, the discovery is a one-parameter family of smooth complex supersymmetric saddle-points of the Euclidean IIB supergravity path integral that compute the D1-D5-P black string index. These saddles are obtained from the general six-parameter rotating D1-D5-P black-string solution by a controlled scaling limit: r0 -> 0 and alpha_i -> infinity with r0 e^{alpha_i}/2 fixed, together with a further rescaling e ell_R = r0 ell_R fixed and a Wick rotation. The resulting complex metric is supersymmetric and non-extremal for arbitrary inverse temperature beta, and it carries fixed angular velocity beta Omega_R = -2 pi i, implementing the (-1)^F insertion. The central identity is

What carries the argument

The central object is the index-saddle metric (3.28): a complex, supersymmetric, non-extremal 10D solution obtained as the r0 -> 0 scaling limit of the rotating D1-D5-P black string with beta Omega_R = -2 pi i, supported by the 2-form potential (3.29) and dilaton (3.30). Its role is to replace the singular infinite-throated extremal geometry with a finite-temperature configuration whose on-shell action is exactly beta F = pi Q1 Q5 Qn / sqrt(Q1 Q5 Qn - J_L^2), independent of beta; after the decoupling limit it produces an S^3 fibered over BTZ with action I = 2 pi i N_n / tau, reproducing the Cardy growth of the elliptic genus.

Load-bearing premise

The load-bearing premise is that the complex limiting metric (3.28) is a legitimate saddle of the Euclidean path integral, being smooth, with the correct periodicities, and satisfying the allowability criterion for complex metrics; the paper cites general or related checks rather than verifying this condition for this explicit solution.

What would settle it

Take the explicit complex metric (3.28), construct its Hermitian part (g_{mu nu} + g_{nu mu}^*)/2, and evaluate its eigenvalues over the physical parameter range beta > 0, Q_i > 0, and |J_L| < sqrt(Q1 Q5 Qn); a single negative eigenvalue anywhere in the bulk would violate the allowability criterion and invalidate the saddle-point interpretation of the index computation.

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

If this is right

  • The gravitational index of the D1-D5-P black string is well-defined at any temperature and equals the extremal index, reconciling the temperature-independent microscopic Witten index with the zero-temperature extremal black hole at the level of the path integral.
  • The fixed chemical potential beta Omega_R = -2 pi i inserts (-1)^F, and the resulting saddles carry non-zero right-moving angular momentum J_R even though the extremal supersymmetric string has J_R = 0.
  • In the finite-temperature decoupling limit, the on-shell action reproduces the Cardy formula I = 2 pi i N_n / tau for the holomorphic elliptic genus of the dual D1-D5 SCFT_2, connecting the gravitational index directly to the superconformal index.
  • Because the on-shell action is independent of beta and of moduli (apart from a Legendre-transform factor), the same saddle family provides a semiclassical starting point for subleading corrections to the extremal entropy.
  • Upon compactification on one circle, these six-dimensional saddles descend to the previously studied five-dimensional black-string index saddles, unifying the gravitational-index construction across dimensions.

Where Pith is reading between the lines

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

  • If the explicit metric (3.28) passes a pointwise allowability check, the same scaling construction could be used to compute 1/N corrections to the index by expanding the supergravity action around these saddles, with holomorphy in tau constraining their form.
  • The same mechanism of trading a real regulating parameter for an imaginary angular velocity may extend to S-dual brane systems such as NS5-F1-P or higher-dimensional branes, where the notion of a supersymmetric index is less developed.
  • The near-horizon saddle depends on both tau and its conjugate while the on-shell action is holomorphic; testing whether this non-holomorphic dependence cancels beyond the saddle level would clarify the mechanism behind the index's temperature independence.
  • Since beta -> infinity recovers the extremal supersymmetric string, the family interpolates between the index saddles and the BPS attractor geometry, potentially giving a direct geometric derivation of the extremal entropy as a limit of a genuine saddle rather than a formal extrapolation.

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

3 major / 5 minor

Summary. The paper proposes complex Euclidean saddle-points of ten-dimensional IIB supergravity that compute the supersymmetric index of the D1-D5-P black string. Starting from the non-extremal rotating black string solution (2.2), the authors impose the index condition βΩ_R = −2πi (§3.2), take the scaling limit r0→0, α_i→∞ with charges and J_L held fixed, and obtain a one-parameter family of complex, supersymmetric, non-extremal solutions; the free parameter is traded for β (Eqs. (3.9)–(3.22)). Section 2 evaluates the on-shell action, with the detailed bulk and Gibbons–Hawking–York contributions in Appendix A, and verifies the ensemble identity I = β(F+Φ5Q5) = β r0²/2 cosh 2α5. The resulting temperature-independent free energy βF = π Q1Q5Qn / sqrt(Q1Q5Qn − J_L²) is then specialized to a finite-temperature decoupling limit in §3.4, where the geometry is S³ fibered over BTZ and the action becomes I = 2πi N_n/τ, matching the Cardy formula for the elliptic genus of the dual SCFT₂.

Significance. The paper addresses a well-known puzzle in the gravitational index programme: supersymmetric extremal black holes and black strings have zero temperature, while the microscopic index is temperature-independent. The proposed non-extremal complex saddles with βΩ_R = −2πi provide a concrete mechanism by which the GPI can compute the index at arbitrary temperature. The explicit algebraic computation of the on-shell action (§2.3, Appendix A) is a solid and useful part of the paper: the cancellation of divergences and the identity with the thermodynamic free energy are clear and internally consistent. The final comparison with the Cardy formula is parameter-free and falsifiable. The main weakness is the lack of a direct check that the new metric (3.28) satisfies the requirements of a legitimate complex saddle—smoothness and the Kontsevich–Segal–Witten allowability criterion. Because this is the central claim, the current version is not yet fully convincing.

major comments (3)
  1. [§3.3, Eq. (3.28); footnote 1] The central claim that (3.28) is a legitimate saddle-point of the Euclidean IIB path integral requires an explicit check of the Kontsevich–Segal–Witten allowability criterion. The metric contains imaginary cross terms such as 2iQn dt_E dy and 2i(JL−JR)cos²θ dψ dt_E, and the functions f, f1, f5 are complex; the criterion is therefore not automatically satisfied. Footnote 1 cites [14–16] for the general criterion, but those references do not analyze this specific solution. Please provide a direct verification (or a precise argument reducing it to one of the cited cases). This is load-bearing: without allowability, the saddle-point interpretation of the index computation collapses, even though the algebraic identities (3.22) and (3.49) stand.
  2. [§3.4, Eqs. (3.37)–(3.45)] Smoothness of the full 10D solution is not established. The regularity analysis in §3.4 is performed only for the decoupled three-dimensional BTZ metric, where the contractible cycle (3.44) is identified and the full shift (3.45) is merely stated. The corresponding analysis for the full metric (3.28) around ρ = ρ+—including the S³ fiber directions and the 2-form potential—is missing. In particular, it is not demonstrated that the complexified parameters J_R and φ_i do not produce conical or orbifold singularities. Since the new saddles are the main object of the paper, this gap is substantial.
  3. [§3.4, Eqs. (3.48)–(3.49)] The on-shell action of the new saddle is not computed directly. The chain from (2.39) to (3.22) is described only as 'after performing a Legendre transform ... and taking the supersymmetric limit', and the final I = 2πiN_n/τ is obtained by substituting charges into the thermodynamic free energy, not by evaluating the limiting action on the metric (3.34)/(3.37). Given that the GPI saddle-point approximation uses the action of the specific saddle, please spell out the limiting computation or evaluate the action (including boundary terms) on the decoupled geometry.
minor comments (5)
  1. [§3.3, around Eq. (3.20)] The phrase 'Requiring the entropy to be real forces J_R ... to be purely imaginary' should specify the branch choices for the complex square roots and state explicitly that Q_i and J_L are kept real.
  2. [§3.4, Eq. (3.33)] The notation Q_n → Q_n/Λ², followed by the same symbol Q_n in (3.35), is confusing; introduce a rescaled charge, e.g., \hat Q_n, to distinguish the original from the decoupled value.
  3. [§3.4, line below Eq. (3.36)] The inequality 2β > |φ_n| > 0 appears to conflict with the statement in footnote 15 that φ_n < 0; clarify the sign convention.
  4. [Eq. (3.40)] The definition of \tilde ρ involves a complex arccos; explain the branch choice and why \tilde ρ is real (or why a complex radial coordinate is acceptable) in the region used for the BTZ analysis.
  5. [End of §3.3] The sentence 'J_R ... can be thought of as a regulator of the extremal solution' is vague; specify that J_R is not an independent conserved charge in the strict extremal limit and clarify its status in the grand-canonical ensemble.

Circularity Check

0 steps flagged

No circular reduction: the on-shell action is computed from the explicit solution and matched to an external Cardy benchmark; the only self-citation (KSW allowability) is a support gap, not a circular step.

full rationale

The central derivation is not circular. Section 3.3 starts from the known Cvetic-Youm/D1-D5-P solution and imposes the index condition βΩ_R = -2πi, which fixes r0 = 0 algebraically; the scaling limits (3.9)-(3.15) are taken to keep charges finite and β arbitrary, producing the explicit complex metric (3.28). The on-shell action is computed by direct evaluation of the IIB bulk and GHY terms (2.36)-(2.39), and the supersymmetric limit gives βF = πQ1Q5Qn/sqrt(Q1Q5Qn-JL^2) (3.22). The final identity I = 2πi N_n/τ (3.49) follows by substituting the decoupled charges (3.35) and the modular parameter (3.47) into (3.48); the modular parameter is derived from the periodicity of the three-dimensional metric (3.44)-(3.46), not imported as an ansatz. The Cardy formula is used only as an external benchmark, and no parameter is fitted to it, so there is no fitted-input-called-prediction or self-definitional step. The only overlapping-author citation of note is footnote 1, which cites [14-16] for KSW allowability of complex saddles; the explicit metric (3.28) is not verified against that criterion and smoothness is only demonstrated in the near-horizon 3D limit. This is an omitted verification/correctness risk, not a circular reduction, because the paper's equations are not defined in terms of the results they are claimed to predict.

Axiom & Free-Parameter Ledger

2 free parameters · 5 axioms · 0 invented entities

No new particles, forces, dimensions, or conserved quantities are introduced. The free parameters are the physical family parameters β and the imaginary regulator J_R; the axioms are the standard supergravity, GPI, boundary-condition, allowability, and holographic benchmarks imported from prior literature.

free parameters (2)
  • β (inverse temperature) = arbitrary real; related to charges by β = π Q_S/2 (1/√(Q1Q5Qn − J_L²) − i/J_R)
    Labels the one-parameter family of index saddles; appears in (3.19) and is not fixed by the monopole charges.
  • J_R (complex right-moving angular momentum) = purely imaginary; J_R = eℓ_R Q_S/(4√(Q1Q5Qn)) with eℓ_R = r0ℓ_R finite in the scaling limit
    Introduced via the ℓ_R rescaling (3.15); its imaginary value is chosen so the entropy (3.20) is real. It is a regulator, not one of the extremal saddle's monopole charges.
axioms (5)
  • domain assumption Type IIB supergravity in 10D Einstein frame is the correct low-energy theory, with action (2.32), equations (2.33), and the C(2) gauge field/dilaton supporting the solution.
    Used throughout §2 to compute the on-shell action and to identify the saddle as a solution. This is standard string-theory input, not derived in the paper.
  • domain assumption The Euclidean GPI is approximated by saddle points, Z≈e^{-I_E}, with βF = I_E (2.31).
    Gibbons–Hawking prescription; central to interpreting computed actions as free energies.
  • domain assumption The holonomy βΩ_R = −2πi inserts (−1)^F, i.e. Eq. (1.1), so the saddle computes the supersymmetric index.
    This is the core index boundary condition, imported from [2–4]; the paper applies it to J_R without re-deriving it.
  • domain assumption Complex saddle metrics must satisfy the Kontsevich–Segal–Witten allowability criterion to contribute to the GPI.
    Invoked in footnote 1 and relied on for the complex saddles; not checked for the explicit D1-D5-P metric.
  • domain assumption The dual D1-D5 SCFT2 has an elliptic genus whose Cardy growth is I=2πiN_n/τ (Type IIB Cardy limit).
    Used as the external benchmark in §3.4; the paper does not compute the microscopic index independently.

pith-pipeline@v1.3.0-alltime-deepseek · 18124 in / 23151 out tokens · 171759 ms · 2026-08-01T21:15:31.874121+00:00 · methodology

0 comments
read the original abstract

We present saddle-points of the Euclidean Gravitational Path Integral (GPI) corresponding to the supersymmetric index of the D1-D5-P black string. These saddles are complex, supersymmetric, non-extremal solutions of 10-dimensional IIB supergravity theory with arbitrary inverse temperature $\beta$. The solutions carry fixed monopole charges $Q_1$, $Q_5$, $Q_n$, and angular momentum $J_L$ equal to the extremal supersymmetric black string. Crucially, the solutions have fixed angular velocity $\Omega_{R} = - 2 \pi i /\beta$, which is the chemical potential dual to $J_R$. This implements the insertion of $(-1)^{F}$ in the GPI. The Gibbons-Hawking on-shell action is temperature-independent and agrees with the supersymmetric index of the extremal black string carrying the same monopole charges. Upon taking a finite-temperature near-horizon decoupling limit, we obtain solutions of the form $S^3$ fibered over BTZ. Although these near-horizon solutions have finite holomorphic and anti-holomorphic modular parameters, their on-shell action reproduces the Cardy formula of the holomorphic elliptic genus of the dual D1-D5 SCFT$_2$.

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

43 extracted references · 35 linked inside Pith

  1. [1]

    G. W. Gibbons and S. W. Hawking,Action Integrals and Partition Functions in Quantum Gravity,Phys. Rev. D15(1977) 2752–2756

  2. [2]

    Cabo-Bizet, D

    A. Cabo-Bizet, D. Cassani, D. Martelli and S. Murthy,Microscopic origin of the Bekenstein-Hawking entropy of supersymmetric AdS 5 black holes,JHEP10(2019) 062, [1810.11442]

  3. [3]

    L. V. Iliesiu, M. Kologlu and G. J. Turiaci,Supersymmetric indices factorize,JHEP05(2023) 032, [2107.09062]

  4. [4]

    Boruch, L

    J. Boruch, L. V. Iliesiu, S. Murthy and G. J. Turiaci,New forms of attraction: attractor saddles for the black hole index,JHEP04(2025) 087, [2310.07763]

  5. [5]

    Cassani and S

    D. Cassani and S. Murthy,Quantum black holes: supersymmetry and exact results. 2, 2025. 2502.15360

  6. [6]

    Sen,Extremal black holes and elementary string states,Mod

    A. Sen,Extremal black holes and elementary string states,Mod. Phys. Lett. A10(1995) 2081–2094, [hep-th/9504147]

  7. [7]

    Strominger and C

    A. Strominger and C. Vafa,Microscopic origin of the Bekenstein-Hawking entropy,Phys. Lett. B379(1996) 99–104, [hep-th/9601029]

  8. [8]

    Sen,Arithmetic of Quantum Entropy Function,JHEP08(2009) 068, [0903.1477]

    A. Sen,Arithmetic of Quantum Entropy Function,JHEP08(2009) 068, [0903.1477]

  9. [9]

    Dabholkar, J

    A. Dabholkar, J. Gomes, S. Murthy and A. Sen,Supersymmetric Index from Black Hole Entropy,JHEP04(2011) 034, [1009.3226]

  10. [10]

    Murthy,Black holes and modular forms in string theory,2305.11732

    S. Murthy,Black holes and modular forms in string theory,2305.11732

  11. [11]

    Witten,Constraints on Supersymmetry Breaking,Nucl

    E. Witten,Constraints on Supersymmetry Breaking,Nucl. Phys. B202(1982) 253

  12. [12]

    Kontsevich and G

    M. Kontsevich and G. Segal,Wick Rotation and the Positivity of Energy in Quantum Field Theory,Quart. J. Math. Oxford Ser.72(2021) 673–699, [2105.10161]. – 21 –

  13. [13]

    Witten,A Note On Complex Spacetime Metrics,2111.06514

    E. Witten,A Note On Complex Spacetime Metrics,2111.06514

  14. [14]

    Benetti Genolini and S

    P. Benetti Genolini and S. Murthy,The gravitational index and allowable complex metrics,J. Phys. A58(2025) 215401, [2503.20866]

  15. [15]

    Benetti Genolini, O

    P. Benetti Genolini, O. Janssen and S. Murthy,Allowable complex metrics and the gravitational index of AdS 5 black holes,2601.23197

  16. [16]

    Krishna and F

    V. Krishna and F. Larsen,Allowable complex Black Holes in the Euclidean Gravitational Path Integral,JHEP06(2026) 026, [2602.05979]

  17. [17]

    Bobev, A

    N. Bobev, A. M. Charles and V. S. Min,Euclidean black saddles and AdS 4 black holes,JHEP 10(2020) 073, [2006.01148]

  18. [18]

    Boruch, R

    J. Boruch, R. Emparan, L. V. Iliesiu and S. Murthy,The gravitational index of 5d black holes and black strings,JHEP06(2025) 145, [2501.17909]

  19. [19]

    Boruch, L

    J. Boruch, L. V. Iliesiu, S. Murthy and G. J. Turiaci,Multicentered black hole saddles for supersymmetric indices,2507.07166

  20. [20]

    Boruch, R

    J. Boruch, R. Emparan, L. V. Iliesiu and S. Murthy,Novel black saddles for 5d gravitational indices and the index enigma,2510.23699

  21. [21]

    Adhikari, P

    S. Adhikari, P. Dharanipragada, K. Goswami and A. Virmani,Attractor saddle for 5D black hole index,JHEP03(2025) 180, [2411.12413]

  22. [22]

    A. H. Anupam, C. Chowdhury and A. Sen,Revisiting logarithmic correction to five dimensional BPS black hole entropy,JHEP05(2024) 070, [2308.00038]

  23. [23]

    Larsen and K

    F. Larsen and K. Sharma,Complex BPS Black Holes in AdS 3 ×S 3,2605.28737

  24. [24]

    Hegde, A

    S. Hegde, A. Sen, P. Shanmugapriya and A. Virmani,Supersymmetric index for half BPS black holes in N=2 supergravity with higher curvature corrections,JHEP02(2025) 131, [2411.08260]

  25. [25]

    Y. Chen, S. Murthy and G. J. Turiaci,Gravitational index of the heterotic string,JHEP09 (2024) 041, [2402.03297]

  26. [26]

    Cassani, A

    D. Cassani, A. Ruip´ erez and E. Turetta,Localization of the 5D supergravity action and Euclidean saddles for the black hole index,JHEP12(2024) 086, [2409.01332]

  27. [27]

    Benetti Genolini and C

    P. Benetti Genolini and C. Toldo,Magnetic charge and black hole supersymmetric quantum statistical relation,Phys. Rev. D107(2023) L121902, [2304.00605]

  28. [28]

    Benetti Genolini, A

    P. Benetti Genolini, A. Cabo-Bizet and S. Murthy,Supersymmetric phases of AdS 4/CFT3, JHEP06(2023) 125, [2301.00763]

  29. [29]

    Cassani, J

    D. Cassani, J. P. Gauntlett, D. Martelli and J. Sparks,Thermodynamics of accelerating and supersymmetric AdS4 black holes,Phys. Rev. D104(2021) 086005, [2106.05571]

  30. [30]

    Cassani, A

    D. Cassani, A. Ruip´ erez and E. Turetta,Bubbling saddles of the gravitational index,SciPost Phys.19(2025) 134, [2507.12650]

  31. [31]

    Bandyopadhyay, G

    S. Bandyopadhyay, G. S. Punia, Y. K. Srivastava and A. Virmani,The gravitational index of a small black ring,JHEP07(2025) 200, [2504.09982]

  32. [32]

    K. K. Nanda, P. Shanmugapriya and A. Virmani,Index saddle for the D1-D5-P black string and its decoupling limit,2606.27093. – 22 –

  33. [33]

    Dharanipragada, G

    P. Dharanipragada, G. S. Punia and A. Virmani,Index saddle for supersymmetric F1-P black ring,JHEP05(2026) 190, [2601.04624]

  34. [34]

    Cvetic and D

    M. Cvetic and D. Youm,General rotating five-dimensional black holes of toroidally compactified heterotic string,Nucl. Phys. B476(1996) 118–132, [hep-th/9603100]

  35. [35]

    J. C. Breckenridge, R. C. Myers, A. W. Peet and C. Vafa,D-branes and spinning black holes, Phys. Lett. B391(1997) 93–98, [hep-th/9602065]

  36. [36]

    J. C. Breckenridge, D. A. Lowe, R. C. Myers, A. W. Peet, A. Strominger and C. Vafa, Macroscopic and microscopic entropy of near extremal spinning black holes,Phys. Lett. B381 (1996) 423–426, [hep-th/9603078]

  37. [37]

    Cvetic and F

    M. Cvetic and F. Larsen,Near horizon geometry of rotating black holes in five-dimensions, Nucl. Phys. B531(1998) 239–255, [hep-th/9805097]

  38. [38]

    Jejjala, O

    V. Jejjala, O. Madden, S. F. Ross and G. Titchener,Non-supersymmetric smooth geometries and D1-D5-P bound states,Phys. Rev. D71(2005) 124030, [hep-th/0504181]

  39. [39]

    Goldstein and S

    K. Goldstein and S. Katmadas,Almost BPS black holes,JHEP05(2009) 058, [0812.4183]

  40. [40]

    O. J. C. Dias and P. J. Silva,Euclidean analysis of the entropy functional formalism,Phys. Rev. D77(2008) 084011, [0704.1405]

  41. [41]

    S. W. Hawking and S. F. Ross,Duality between electric and magnetic black holes,Phys. Rev. D 52(1995) 5865–5876, [hep-th/9504019]

  42. [42]

    Castro and S

    A. Castro and S. Murthy,Corrections to the statistical entropy of five dimensional black holes, JHEP06(2009) 024, [0807.0237]

  43. [43]

    E. J. Martinec, S. Massai and D. Turton,String dynamics in NS5-F1-P geometries,JHEP09 (2018) 031, [1803.08505]. – 23 –