The compressibility of rotating black holes in D-dimensions

Quick read: this is a tidy piece of black hole chemistry that does what it says. The genuinely new content is the D-dimensional compressibility (Eq. 24), its flat-space limit (Eq. 35), and the speed of sound (Eq. 41) written as quadratic and quartic Casimirs of SO(D−1). The thermodynamic volume itself is not new — it reproduces Cvetic-Gibbons-Kubiznak-Pope [28] — but Dolan gets it the honest way, by explicit Legendre transform in Appendix A, and the agreement is a real cross-check, not a circular step. The flat-space speed of sound checks out on its own terms: c_s² = 1 at zero spin, c_s² → 1/(D−2) as one angular momentum diverges, matching the stated bounds. Appendix B is the part I'd hand a student. The numerator bracket becomes X⁺·X⁻ with kernel K = (D−2)1 − I, K is positive definite, and the bound goes through. κ ≥ 0 is proven, not asserted, and the D = 3 vanishing falls out correctly from Eq. 35. The soft spot is the other half of abstract:s3. §2 shows the denominator never vanishes and then argues that numerator singularities cancel as a_i² → 1/λ, illustrating with the single configuration where m of the a_i² hit 1/λ and the rest are zero (Eq. 26). The generic case is asserted, not demonstrated. There is also an ensemble wrinkle: the boundary is probed at fixed r_h and λ, which drives S → ∞ through Eq. 13, while κ is defined at fixed S and J. That doesn't sink anything, but 'bounded' is carrying less weight than 'non-negative' in the abstract. Separately, Eq. (25) has a sign slip: at a_i² = 1/λ the expression equals (D−3+ǫ)/2, not the printed (D−3−ǫ)/2, so the stated equality condition doesn't match the bound. Cosmetic, but it sits in the sentence that carries the argument. The author already flags that the speed-of-sound definition is nonstandard and that Eq. 35 shows no sharp boundary where the ultra-spinning instability should set in; I won't re-litigate those. This is for people working in extended black hole thermodynamics and higher-dimensional rotating solutions. Worth a serious referee; expect minor revision, mostly tightening §2 and fixing the sign.

The headline claim [abstract:s3] has two halves. The first, κ ≥ 0, is solid: Appendix B reduces the numerator bracket to the bilinear form X⁺·X⁻ with kernel K = (D−2)1 − I, shows K is positive semidefinite (eigenvalues D−2−p and D−2, with D−2−p = 0 only at D=3, matching the stated κ ≡ 0 there), and bounds X⁺·X⁻ ≥ (1−λ²a²_Max)Σ a_i²a_j²K_ij/((1−λ²a_i⁴)(1−λ²a_j⁴)) ≥ 0. I checked this algebra and it holds. The second half, 'bounded above', is weaker. §2 argues only that the denominator never vanishes (Eq. 25) and that 'the singularities cancel and κ remains finite' as a_i² → 1/λ, illustrating this with the single configuration where m of the a_i² reach 1/λ and the rest vanish (Eq. 26, κ → 1/(2P)). The generic case (some a_i² → 1/λ while others sit at intermediate values) is asserted, not demonstrated. There is also an ensemble ambiguity: the boundary a_i² → 1/λ is examined at fixed r_h and λ, which drives S → ∞ via Eq. 13, whereas κ is defined at fixed S and J; at fixed finite S the limit a_i² → 1/λ is not attainable, so the boundary analysis does not directly establish boundedness of κ(S,J,P) in its own ensemble. A supporting sign slip appears in Eq. 25: at a_i² = 1/λ the expression ǫ−1+2Σ1/(1+λa_i²) equals (D−3+ǫ)/2, not the printed (D−3−ǫ)/2, so the stated equality condition does not match the bound. None of this overturns the result, but the 'bounded' half of the headline claim is under-proven relative to the 'non-negative' half.

The paper's core construction is sound. The thermodynamic volume (Eq. 21/22) is obtained by explicit Legendre transform in Appendix A and independently reproduces the Smarr-relation result of Cvetic-Gibbons-Kubiznak-Pope [28], which is a genuine cross-check rather than circularity. The compressibility (Eq. 24) and its flat-space limit (Eq. 35) are new, and the non-negativity proof in Appendix B is correct as written. The flat-space speed of sound (Eq. 41) is internally consistent: c_s² = 1 at zero spin, c_s² → 1/(D−2) as one angular momentum diverges, and the bounds 1/(D−2) ≤ c_s² ≤ 1 follow from Y = ΣJ_i⁴ ≤ (ΣJ_i²)² and X² ≤ pY ≤ (D−2)Y. The reader's weakest_assumption — the enthalpy interpretation M = H(S,J,P) with P = −Λ/8π — is a framework choice standard in the black-hole-chemistry literature (Kastor-Ray-Traschen, Dolan), not an internal inconsistency, so per the review rules it is not the load-bearing concern. The reader does flag the boundedness argument in the rationale ('argued via boundary limits rather than a global proof, but the argument is essentially a continuity argument and is sound'); I agree it is the soft spot but think it is less clearly sound than the reader concludes, because the boundary limit is taken at fixed r_h and λ (varying S) rather than at fixed S and J, and only the special configuration with the remaining a_i vanishing is computed. This is a rigor/completeness gap in a secondary part of the claim, not a correctness failure: the singularity cancellation I checked by hand does appear to persist for generic configurations, so the result is very likely true. The Eq. (25) sign slip is a typo that does not affect the positivity conclusion. Because the harder half of the claim (κ ≥ 0) is rigorously established and the boundedness gap is a proof-completeness issue rather than a counterexample, my read does not move the verdict; ACCEPT stands, with the boundedness argument noted as the place a referee would most reasonably ask for one more line of justification.

If correct, the result supplies a thermodynamic response function for the full D-dimensional rotating black hole family, with a clean Λ → 0 limit that makes definite predictions for the angular-momentum dependence of κ and c_s. The volume is a genuine Legendre transform rather than an assumption, and the agreement with the independent Smarr-based calculation of [28] is a meaningful cross-check. The non-negativity proof in Appendix B is rigorous: the numerator bracket is reduced to the bilinear form X⁺·X⁻ with the positive-semidefinite kernel K = (D−2)1 − I, and the algebra of identity (53) checks out. The speed-of-sound expression (41) is elegant and falsifiable in the sense that it makes a specific J-dependent prediction, with the bounds 1/(D−2) ≤ c_s² ≤ 1 verified from Eq. (41).

If the cosmological constant is promoted to a thermodynamic variable and read as a pressure $P=-8^{-1}8^{-1}$ — more precisely $P=-8^{-1}8^{-1}$ times the cosmological constant, $P=-8^{-1}8^{-1}$ — then the mass of a black hole plays the role of enthalpy and its conjugate variable is a thermodynamic volume $V$. Dolan's aim is to compute that volume for a rotating Myers-Perry black hole in $D$ space-time dimensions with negative cosmological constant by performing the Legendre transform explicitly, rather than by assuming the Smarr relation, and then to ask how the volume responds when the pressure is varied at fixed entropy and fixed angular momenta. That response, the adiabatic compressibility $8^{-1}8^{-1}$, is the paper's central object: if it is non-negative and bounded, the black hole equation of state behaves like a sensible substance in every dimension, and if it grows without limit as the angular momenta grow, that growth can be read as a soft equation of state pointing toward the known ultra-spinning instability. Sending the cosmological constant to zero then isolates a compressibility, and a speed of sound, that depend on the angular momenta alone, through the quadratic and quartic Casimirs of the rotation group $SO(D-1)$.

What carries the argument. The load-bearing device is the extended first law $dH=TdS+8^{-1}8^{-1}+VdP$ with $M=H(S,J,P)$, which makes the volume a genuine Legendre transform of the enthalpy rather than a guess. The appendices carry the two technical steps: a chain of constrained derivatives that trades $da_i$ and $dr_h$ for $d8^{-1}8^{-1}$ at fixed $S$ and $J_i$, and a positivity argument that rewrites the numerator of the compressibility as a bilinear form $X^+8^{-1}8^{-1}X^-$ built from the positive-definite matrix $K=(D-2)8^{-1}8^{-1}-I$, whose eigenvalues are $D-2$ and $D-3+8^{-1}8^{-1}$. That bilinear-form identity is what upgrades a messy algebraic expression into a sign statement, and hence into the claim that the equation of state is stable against compression.

Core claim. The paper derives the thermodynamic volume of a rotating asymptotically anti-de Sitter Myers-Perry black hole in $D$ dimensions as $V = r_h A_h/(D-1) + 8^{-1}8^{-1}8^{-1}8^{-1}$, obtained as $V=(8^{-1}8^{-1})^{-1}8^{-1}8^{-1}$ at fixed $S$ and $J_i$, and shows it agrees with the volume previously obtained by assuming the Smarr relation $(D-3)M=(D-2)TS+(D-2)8^{-1}8^{-1}-2PV$. Differentiating once more gives the adiabatic compressibility $8^{-1}8^{-1}$ in closed form for arbitrary $D$, arbitrary rotation parameters $a_i$ and arbitrary negative cosmological constant, and the paper argues that this quantity is non-negative and bounded above; in the limit where the $a_i$ approach their extremal values $8^{-1}8^{-1}$ the compressibility tends to $1/(2P)$. Taking $8^{-1}8^{-1}$ then yields a flat-space compressibility $8^{-1}8^{-1}$ expressed purely through $8^{-1}8^{-1}$ and $8^{-1}8^{-1}$, and a thermodynamic speed of sound $8^{-1}8^{-1}$ that is bounded between $1/(D-2)$ and $1$.

The premise it rests on. The whole construction assumes that the mass of the black hole is an enthalpy depending on entropy, angular momenta and pressure, with the cosmological constant identified as a pressure, and that the black hole rotates so that entropy and volume are genuinely independent variables and the Legendre transform can be inverted.

Every rotating Myers-Perry black hole with $8^{-1}8^{-1}$ acquires a compressibility that can be written down explicitly, so the thermodynamic response of the whole family, not just the four-dimensional Kerr-AdS case, is fixed by the rotation parameters and the horizon radius.

The volume computed by Legendre transform matches the volume previously inferred from the Smarr relation, which closes a consistency check on the extended first law in $D$ dimensions.

In the flat-space limit the compressibility and speed of sound reduce to expressions in the quadratic and quartic Casimirs of $SO(D-1)$, so the thermodynamics of a rotating black hole is organised by the same invariants that classify its rotation.

The compressibility diverges when one angular momentum is taken to infinity while the others stay finite (and more generally for $1 \le m \le (D-3)/2$ large angular momenta), giving a thermodynamic signature that lines up qualitatively with where ultra-spinning black holes are expected to become unstable.

The speed of sound falls to $1/(D-2)$ in the ultra-spinning limit and equals $1$ for a non-rotating black hole, so a softer equation of state corresponds to a lower sound speed, as one would expect for a nearly unstable system.

Because the compressibility is a response function at fixed entropy and angular momentum, it offers a cheap thermodynamic probe that could be compared against the onset of dynamical instability seen in numerical evolutions of singly and doubly spinning black holes in $D>4$; a match, or a systematic mismatch, would say whether the two notions of instability track each other.

The same Legendre-transform bookkeeping should extend to charged rotating black holes in $D$ dimensions, where an extra $\Phi dQ$ term enters the first law; the interesting question is whether the compressibility stays bounded once charge is allowed to vary independently of rotation.

The paper notes that $\kappa$ vanishes identically in $D=3$, which is consistent with the absence of local gravitational dynamics in three dimensions; this suggests the compressibility is measuring genuine bulk degrees of freedom rather than horizon kinematics.

The divergence of $\kappa$ along the ultra-spinning directions, with no corresponding feature in the closed-form expression at any finite angular momentum, hints that thermodynamic softness anticipates rather than coincides with the dynamical instability threshold, which is a statement that could be tested by locating where $\kappa$ becomes large compared with the horizon scale.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review