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 →
Gravitational index of the D1-D5-P black string
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
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.
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
- 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.
Referee Report
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)
- [§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.
- [§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.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)
- [§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.
- [§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.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.
- [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.
- [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
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
free parameters (2)
- β (inverse temperature) =
arbitrary real; related to charges by β = π Q_S/2 (1/√(Q1Q5Qn − J_L²) − i/J_R)
- 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
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.
- domain assumption The Euclidean GPI is approximated by saddle points, Z≈e^{-I_E}, with βF = I_E (2.31).
- domain assumption The holonomy βΩ_R = −2πi inserts (−1)^F, i.e. Eq. (1.1), so the saddle computes the supersymmetric index.
- domain assumption Complex saddle metrics must satisfy the Kontsevich–Segal–Witten allowability criterion to contribute to the GPI.
- domain assumption The dual D1-D5 SCFT2 has an elliptic genus whose Cardy growth is I=2πiN_n/τ (Type IIB Cardy limit).
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$.
Reference graph
Works this paper leans on
-
[1]
G. W. Gibbons and S. W. Hawking,Action Integrals and Partition Functions in Quantum Gravity,Phys. Rev. D15(1977) 2752–2756
1977
-
[2]
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]
Pith/arXiv arXiv 2019
-
[3]
L. V. Iliesiu, M. Kologlu and G. J. Turiaci,Supersymmetric indices factorize,JHEP05(2023) 032, [2107.09062]
Pith/arXiv arXiv 2023
-
[4]
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]
Pith/arXiv arXiv 2025
-
[5]
D. Cassani and S. Murthy,Quantum black holes: supersymmetry and exact results. 2, 2025. 2502.15360
Pith/arXiv arXiv 2025
-
[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]
Pith/arXiv arXiv 1995
-
[7]
A. Strominger and C. Vafa,Microscopic origin of the Bekenstein-Hawking entropy,Phys. Lett. B379(1996) 99–104, [hep-th/9601029]
Pith/arXiv arXiv 1996
-
[8]
Sen,Arithmetic of Quantum Entropy Function,JHEP08(2009) 068, [0903.1477]
A. Sen,Arithmetic of Quantum Entropy Function,JHEP08(2009) 068, [0903.1477]
Pith/arXiv arXiv 2009
-
[9]
A. Dabholkar, J. Gomes, S. Murthy and A. Sen,Supersymmetric Index from Black Hole Entropy,JHEP04(2011) 034, [1009.3226]
Pith/arXiv arXiv 2011
-
[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]
Witten,Constraints on Supersymmetry Breaking,Nucl
E. Witten,Constraints on Supersymmetry Breaking,Nucl. Phys. B202(1982) 253
1982
-
[12]
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 –
Pith/arXiv arXiv 2021
-
[13]
Witten,A Note On Complex Spacetime Metrics,2111.06514
E. Witten,A Note On Complex Spacetime Metrics,2111.06514
-
[14]
P. Benetti Genolini and S. Murthy,The gravitational index and allowable complex metrics,J. Phys. A58(2025) 215401, [2503.20866]
arXiv 2025
-
[15]
P. Benetti Genolini, O. Janssen and S. Murthy,Allowable complex metrics and the gravitational index of AdS 5 black holes,2601.23197
-
[16]
V. Krishna and F. Larsen,Allowable complex Black Holes in the Euclidean Gravitational Path Integral,JHEP06(2026) 026, [2602.05979]
arXiv 2026
-
[17]
N. Bobev, A. M. Charles and V. S. Min,Euclidean black saddles and AdS 4 black holes,JHEP 10(2020) 073, [2006.01148]
Pith/arXiv arXiv 2020
-
[18]
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]
Pith/arXiv arXiv 2025
-
[19]
J. Boruch, L. V. Iliesiu, S. Murthy and G. J. Turiaci,Multicentered black hole saddles for supersymmetric indices,2507.07166
- [20]
-
[21]
S. Adhikari, P. Dharanipragada, K. Goswami and A. Virmani,Attractor saddle for 5D black hole index,JHEP03(2025) 180, [2411.12413]
Pith/arXiv arXiv 2025
-
[22]
A. H. Anupam, C. Chowdhury and A. Sen,Revisiting logarithmic correction to five dimensional BPS black hole entropy,JHEP05(2024) 070, [2308.00038]
arXiv 2024
-
[23]
F. Larsen and K. Sharma,Complex BPS Black Holes in AdS 3 ×S 3,2605.28737
-
[24]
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]
Pith/arXiv arXiv 2025
-
[25]
Y. Chen, S. Murthy and G. J. Turiaci,Gravitational index of the heterotic string,JHEP09 (2024) 041, [2402.03297]
Pith/arXiv arXiv 2024
-
[26]
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]
Pith/arXiv arXiv 2024
-
[27]
P. Benetti Genolini and C. Toldo,Magnetic charge and black hole supersymmetric quantum statistical relation,Phys. Rev. D107(2023) L121902, [2304.00605]
Pith/arXiv arXiv 2023
-
[28]
P. Benetti Genolini, A. Cabo-Bizet and S. Murthy,Supersymmetric phases of AdS 4/CFT3, JHEP06(2023) 125, [2301.00763]
Pith/arXiv arXiv 2023
-
[29]
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]
Pith/arXiv arXiv 2021
-
[30]
D. Cassani, A. Ruip´ erez and E. Turetta,Bubbling saddles of the gravitational index,SciPost Phys.19(2025) 134, [2507.12650]
arXiv 2025
-
[31]
S. Bandyopadhyay, G. S. Punia, Y. K. Srivastava and A. Virmani,The gravitational index of a small black ring,JHEP07(2025) 200, [2504.09982]
Pith/arXiv arXiv 2025
-
[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]
P. Dharanipragada, G. S. Punia and A. Virmani,Index saddle for supersymmetric F1-P black ring,JHEP05(2026) 190, [2601.04624]
Pith/arXiv arXiv 2026
-
[34]
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]
Pith/arXiv arXiv 1996
-
[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]
Pith/arXiv arXiv 1997
-
[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]
Pith/arXiv arXiv 1996
-
[37]
M. Cvetic and F. Larsen,Near horizon geometry of rotating black holes in five-dimensions, Nucl. Phys. B531(1998) 239–255, [hep-th/9805097]
Pith/arXiv arXiv 1998
-
[38]
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]
Pith/arXiv arXiv 2005
-
[39]
K. Goldstein and S. Katmadas,Almost BPS black holes,JHEP05(2009) 058, [0812.4183]
Pith/arXiv arXiv 2009
-
[40]
O. J. C. Dias and P. J. Silva,Euclidean analysis of the entropy functional formalism,Phys. Rev. D77(2008) 084011, [0704.1405]
Pith/arXiv arXiv 2008
-
[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]
Pith/arXiv arXiv 1995
-
[42]
A. Castro and S. Murthy,Corrections to the statistical entropy of five dimensional black holes, JHEP06(2009) 024, [0807.0237]
Pith/arXiv arXiv 2009
-
[43]
E. J. Martinec, S. Massai and D. Turton,String dynamics in NS5-F1-P geometries,JHEP09 (2018) 031, [1803.08505]. – 23 –
Pith/arXiv arXiv 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.