Towards a Complete Kerr Soft-Hair Theory: Integrability, Counterterm Equivalence,and Quantum State Counting

Sandi Setiawan

REVIEW

Towards a Complete Kerr Soft-Hair Theory: Integrability, Counterterm Equivalence,and Quantum State Counting

Sandi Setiawan

General Physics · Submitted 20 Oct 2026 · 13 references

Pith's verdict: A rigorous, self-aware paper that proves the HHPS central charges do not determine Kerr microstates, gives explicit counterexamples, and provides a clear roadmap for what a full theory must establish.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 22, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 7 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.28700 (version 1)

Pith IDZYWNAPDF, Pith's permanent record of this paper and its review

CitationSandi Setiawan. "Towards a Complete Kerr Soft-Hair Theory: Integrability, Counterterm Equivalence,and Quantum State Counting." arXiv:2610.28700 (2026). https://pith.science/paper/ZYWNAPDF

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Dear colleague,

This paper is a thorough, self-aware dissection of the HHPS soft hair argument. It doesn't try to kill the program—it shows exactly what is missing and what a completion would require. The central punchline is Proposition 5: central charges cL=cR=12J plus unitarity, locality, integer spin, and modular invariance do not uniquely determine the spectrum. The compact boson examples make this concrete, and the authors are upfront that those examples have extra currents a full theory might exclude. That honesty is typical of the whole paper.

What's new: a nonzero horizon-charge curl on the exact Kerr family, an integrable smooth isolated-horizon sector with zero central extension (proving the HHPS central extension is not automatic from horizon symmetries), a curvature improvement invisible to the constant mode, and explicit compact boson entropy tables at the Kerr conformal temperatures. These are well-checked calculations. The paper also gives a conditional sufficiency theorem and a concrete list of five deliverables. It never claims to have solved the problem.

Soft spots: The gravitational phase space for the HHPS modes remains undefined, as the authors stress repeatedly. The compact boson counterexamples have current algebra, so a future theory might exclude them—but that's an extra condition, not a flaw in the paper's logic. The mixed-temperature regime near extremality isn't covered in depth, but the paper flags that. These are acknowledged limitations, not hidden ones.

Who it's for: anyone working on black hole microstates, especially those following the soft hair program. It will be cited as a reference for what the symmetry data alone cannot do. The paper is internally consistent, clearly written, and avoids circular reasoning.

My recommendation: send it to peer review. It's a solid, honest contribution that sharpens the debate. I'd cite it and discuss it in my group.

Referee report

Minor objections (7)

[Section 2, equ. (4)–(5)] The text says 'the ratios in this equation denote the coefficients of the indicated mode structure, including when the Kronecker delta vanishes.' The phrasing is slightly confuseing. Perhaps say 'the coefficients shown multiply the factor m^3 δ_{m+n,0}' to avoid ambiguity.
[Section 2.1, par. after equ. (7)] Proposition 1 proof: the expression for x = sqrt(M^2-a^2)/(M + sqrt(M^2-a^2)) holds for the nonextremal Kerr family. It would be helpful to note that a = J/M and that M varies while J is fixed, so x indeed varies.
[Section 7, equ. (30)] The formula S = (π^2/3)(c_L T_L + c_R T_R) is quoted from Cardy's result for a CFT on a circle. The paper should explicitly remind the reader that this is the high-temperature asymptotic form valid only when both temperatures are large compared to the inverse circle length (here the subtlety about the right-moving temparature is addressed later in Section 14.2, but a cross-reference here would help).
[Section 4.2, lines after equ. (16)] The classification of possible admissible X^a structures is incomplete (the paper acknowledges this). It would be useful to add a brief remark that a full classification would require solving the functional equation (11) in a specified derivative class, not just enumerating possible tensor structures.
[Section 5, lines after equ. (18)] The Kirillov–Kostant–Souriau form is defined as Ω_{b}(V_u, V_v) = ⟨b,[u,v]⟩. The paper correctly notes this is closed by the Jacobi identity. However, to be completely self-contained, the definition of the coadjoint action V_u = ad^*_u b and the pairing ⟨·,·⟩ should be made explicit earlier, perhaps with a brief remark that the dual space and pairing are those of the centrally extended Virasoro algebra.
[Section 22, Theorem 1] The conditional sufficiency theorem is well laid out, but it would be strengthened by noting that the independence of each condition is not proven (and perhaps not required for the theorem's purpose). A short clarifying sentence would prevent readers from thinking the theorem asserts that all five conditions are mutually independent.
[Appendix A] The Python scripts are welcome and reproducible. However, the code does not include the necessary imports for math and cmath (they are included in the main text, but the appendix listing should be self-contained). Also, a comment explaining the floating-point assertion tolerance (here 1e-7) would be helpfull.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Kerr black hole symmetry data alone do not determine the microstate spectrum.

The reading

This paper argues that the central charges cL = cR = 12J obtained from the HHPS soft-hair calculation, together with standard quantum consistency conditions (unitarity, locality, integer spin, modular invariance), are insufficient to uniquely determine the physical state spectrum of a Kerr black hole. Using explicit compact boson examples, the author shows that many distinct conformal field theories share the same central charges but produce different finite-temperature entropies, including the Bekenstein-Hawking value. The paper systematically identifies four separate gaps—nonlinear charge integrability, counterterm classification, quantum realization, and derived spectrum—that must be filled by independent gravitational input, and provides concrete criteria and obstruction tests for each. A sympathetic reader would care because the HHPS result is often cited as a microstate derivation; this work proves that it is at best a necessary condition, not a sufficient one, and supplies a clear roadmap for what a true completion would require.

What carries the argument

The central mechanism is the use of compact-boson conformal field theories as controlled counterexamples (Proposition 5). For any integer d, a tensor product of d free bosons at radius R has central charge c=d, satisfies all listed quantum consistency properties, and yet its primary spectrum and finite-temperature entropy vary continuously with R. This directly disproves the claim that cL=cR=12J plus modularity selects a unique state density. The paper also deploys several independent tools for testing integrability and uniqueness: the field-space curl criterion I_ζ(δ1,δ2) (Section 3), a one-parameter ansatz restricted to the scalar multiple of X^(0) (Section 2), the Kirillov–Kostant–Souriau coadjoint-orbit model (Section 5), and a regulated area–boost corner polarization quantized on N cells (Section 13). Each construction isolates a specific missing ingredient that a gravitational completion must supply.

Extended reading notes

Core claim

The paper's central claim is that the Virasoro central charges and modular invariance cannot select a unique microscopic theory for Kerr black holes. Proposition 5 states this explicitly: central charges cL = cR = 12J, unitarity, locality, integer spin, and torus modular invariance do not in general determine a unique physical state spectrum. The proof uses d=24 compact bosons at different radii: all satisfy c=24 and all modular consistency, but their lowest primary gaps and their thermal entropies at the Kerr conformal temperatures differ—for radius R=5 the entropy is 66.03, while the Cardy value (and A/4) is 46.90. Additional discoveries include: a nonzero curl for the horizon zero-mode charge on the exact Kerr family (Section 9); an integrable smooth isolated-horizon sector whose charge algebra has zero central extension instead of the HHPS Virasoro result (Section 10); a regularity obstruction showing the HHPS mode vectors are not smooth at the bifurcation surface (Section 11); and a curvature improvement (Section 12) and an area–boost corner polarization (Section 13) that each expose further degeneracies or continuous spectra. Together these demonstrate that the symmetry calculation alone leaves the microscopic theory profoundly underdetermined.

Load-bearing premise

The paper assumes that a well-defined nonlinear gravitational reduced phase space for Kerr exists on which the HHPS mode frame and regulator can be extended with controlled limits, but it notes in Sections 3 and 11 that the HHPS mode vectors are not smooth at the bifurcation surface and that no complete functional-analytic setup has been provided.

Editorial extensions

If this is right

Any claimed microstate derivation for Kerr that relies only on symmetry and modular invariance is incomplete; it must independently derive the primary spectrum and multiplicity measure from gravity.
The integrability test (I_ζ) provides a concrete method to evaluate whether a candidate horizon-symmetry algebra is actually Hamiltonian on a given phase space, and should be applied to other soft-hair proposals.
The counterterm classification problem is formally reduced to solving the kernel of the charge map C(X)_ζ; this defines a well-posed mathematical target for future work.
The conditional sufficiency theorem (Theorem 1) gives a clear checklist of five premises whose verification would turn the entropy match into a first-principles derivation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the HHPS mode frame cannot be extended to a smooth nonlinear phase space, the entire soft-hair program for Kerr may require a fundamentally different geometric setup (e.g., an excised or regulated boundary with controlled embedding).
The compact-boson counterexamples suggest that any successful completion must impose stronger constraints than central charge and modularity, such as a specific gravitational coupling to matter or a concrete holographic duality that picks out a unique CFT.
The fact that the smooth isolated-horizon sector yields zero central extension, while the HHPS singular modes give c=12J, hints that the central extension is a consequence of the pole singularities; a rigorous phase-space construction must decide whether those singularities are physically admissible.
The area–boost corner polarization's continuous spectrum and divergent Gibbs trace imply that the black hole Hilbert space cannot be finite-dimensional if only that corner component is retained; additional constraints (or a different polarization) are needed to explain the Bekenstein–Hawking entropy.

Original abstract

The horizon symmetry construction of Haco, Hawking, Perry, and Strominger yield two Virasoro central charges 12J after a specified Wald-Zoupas correction. Turning that calculation into a black hole microstate theory requires separate control of nonlinear charge integrability, the allowed counter-term class, and quantum state multiplicities. We formulate exact local and global integrability tests, prove uniqueness of the counter-term coefficients within a one-parameter ansatz, and identify the quotient in which a physically meaningful uniqueness theorem must be stated. A coadjoint-orbit model supplies globally defined classical moment maps, while unitary highest-weight modules supply an explicit algebraic quantum realization for macroscopic positive angular momentum, neither construction is proved equivalent to the gravitational phase space. A character calculation shows why a single Virasoro representation, despite having the desired central charge, does not provide the required large-central-charge entropy. We derive a curvature improvement invisible to the constant mode, quantize a regulated area-boost corner polarization, and find a continuous kinematic spectrum with divergent Gibbs trace. Explicit local modular CFT spectra with identical central charges yield different finite-temperature entropies, demonstrating that the available symmetry and quantum consistency data do not select the microscopic theory. We give a conditional sufficiency theorem and a concrete sequence of calculations needed to establish a gravitational completion.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-22: 1 request, 6,395 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.96 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.75 · compares with prior results 0.75 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

The horizon symmetry construction of Haco, Hawking, Perry, and Strominger yield two Virasoro central charges 12J after a specified Wald-Zoupas correction. Turning that calculation into a black hole microstate theory requires separate control of nonlinear charge integrability, the allowed counter-term class, and quantum state multiplicities. We formulate exact local and global integrability tests, prove uniqueness of the counter-term coefficients within a one-parameter ansatz, and identify the quotient in which a physically meaningful uniqueness theorem must be stated. A coadjoint-orbit model supplies globally defined classical moment maps, while unitary highest-weight modules supply an explicit algebraic quantum realization for macroscopic positive angular momentum, neither construction is proved equivalent to the gravitational phase space. A character calculation shows why a single Virasoro representation, despite having the desired central charge, does not provide the required large-central-charge entropy. We derive a curvature improvement invisible to the constant mode, quantize a regulated area-boost corner polarization, and find a continuous kinematic spectrum with divergent Gibbs trace. Explicit local modular CFT spectra with identical central charges yield different finite-temperature entropies, demonstrating that the available symmetry and quantum consistency data do not select the microscopic theory. We give a conditional sufficiency theorem and a concrete sequence of calculations needed to establish a gravitational completion.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	The horizon symmetry construction of Haco, Hawking, Perry, and Strominger yield two Virasoro central charges 12J after a specified Wald-Zoupas correction.	background 0.99	0.08	0.05	asserted 1.00
s1	Turning that calculation into a black hole microstate theory requires separate control of nonlinear charge integrability, the allowed counter-term class, and quantum state multiplicities.	gap 0.95	0.10	0.09	asserted 0.99
s2	We formulate exact local and global integrability tests, prove uniqueness of the counter-term coefficients within a one-parameter ansatz, and identify the quotient in which a physically meaningful uniqueness theorem must be stated.	contribution 0.97	0.95	0.16	asserted 1.00
s3	A coadjoint-orbit model supplies globally defined classical moment maps, while unitary highest-weight modules supply an explicit algebraic quantum realization for macroscopic positive angular momentum, neither construction is proved equivalent to the gravitational phase space.	limitation 0.71	0.69	0.12	asserted 0.94
s4	A character calculation shows why a single Virasoro representation, despite having the desired central charge, does not provide the required large-central-charge entropy.	result 0.92	0.87	0.11	asserted 1.00
s5	We derive a curvature improvement invisible to the constant mode, quantize a regulated area-boost corner polarization, and find a continuous kinematic spectrum with divergent Gibbs trace.	result 0.57	0.94	0.06	asserted 1.00
s6	Explicit local modular CFT spectra with identical central charges yield different finite-temperature entropies, demonstrating that the available symmetry and quantum consistency data do not select the microscopic theory.	result 0.62	0.74	0.43	asserted 1.00
s7	We give a conditional sufficiency theorem and a concrete sequence of calculations needed to establish a gravitational completion.	future work 0.72	0.87	0.37	asserted 0.89

What kind of paper the classifier reports this is: theoretical result 0.96 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (13)

[1]

S. Haco, S. W. Hawking, M. J. Perry and A. Strominger, “Black hole entropy and soft hair,” JHEP12(2018) 098, arXiv:1810.01847, version 4. 26

View on Pith Pith review arXiv 2018
[2]

V. Iyer and R. M. Wald, “Some properties of Noether charge and a proposal for dynamical black hole entropy,” Phys. Rev. D50(1994) 846–864, arXiv:gr-qc/9403028

View on Pith Pith review arXiv 1994
[3]

R. M. Wald and A. Zoupas, “A general definition of conserved quantities in general relativity and other theories of gravity,” Phys. Rev. D61(2000) 084027, arXiv:gr-qc/9911095

View on Pith Pith review arXiv 2000
[4]

E. Witten, “Coadjoint orbits of the Virasoro group,” Commun. Math. Phys.114(1988) 1–53, doi:10.1007/BF01218287

View on Pith doi:10.1007/bf01218287 1988
[5]

D. Friedan, Z. Qiu and S. Shenker, “Conformal invariance, unitarity, and critical exponents in two dimensions,” Phys. Rev. Lett.52(1984) 1575–1578, doi:10.1103/PhysRevLett.52.1575

View on Pith doi:10.1103/physrevlett.52.1575 1984
[6]

J. L. Cardy, “Operator content of two-dimensional conformally invariant theories,” Nucl. Phys. B270(1986) 186–204, doi:10.1016/0550-3213(86)90552-3

View on Pith doi:10.1016/0550-3213(86)90552-3 1986
[7]

T. Hartman, C. A. Keller and B. Stoica, “Universal spectrum of 2d conformal field theory in the largeclimit,” JHEP09(2014) 118, arXiv:1405.5137

View on Pith Pith review arXiv 2014
[8]

W. Donnelly and L. Freidel, “Local subsystems in gauge theory and gravity,” JHEP09(2016) 102, arXiv:1601.04744

View on Pith Pith review arXiv 2016
[9]

L. Donnay, G. Giribet, H. A. Gonz´ alez and M. Pino, “Extended symmetries at the black hole horizon,” JHEP09(2016) 100, arXiv:1607.05703

View on Pith Pith review arXiv 2016
[10]

L. Freidel, M. Geiller and D. Pranzetti, “Edge modes of gravity. Part I. Corner potentials and charges,” JHEP11(2020) 026, arXiv:2006.12527

View on Pith Pith review arXiv 2020
[11]

G. Hayward, “Gravitational action for spacetimes with nonsmooth boundaries,” Phys. Rev. D 47(1993) 3275–3280, doi:10.1103/PhysRevD.47.3275

View on Pith doi:10.1103/physrevd.47.3275 1993
[12]

K. S. Narain, “New heterotic string theories in uncompactified dimensions less than ten,” Phys. Lett. B169(1986) 41–46, doi:10.1016/0370-2693(86)90682-9

View on Pith doi:10.1016/0370-2693(86)90682-9 1986
[13]

A. Maloney and E. Witten, “Averaging over Narain moduli space,” JHEP10(2020) 187, arXiv:2006.04855. 27

View on Pith Pith review arXiv 2020

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [1]

S. Haco, S. W. Hawking, M. J. Perry and A. Strominger, “Black hole entropy and soft hair,” JHEP12(2018) 098, arXiv:1810.01847, version 4. 26

View on Pith Pith review arXiv 2018

[2] [2]

V. Iyer and R. M. Wald, “Some properties of Noether charge and a proposal for dynamical black hole entropy,” Phys. Rev. D50(1994) 846–864, arXiv:gr-qc/9403028

View on Pith Pith review arXiv 1994

[3] [3]

R. M. Wald and A. Zoupas, “A general definition of conserved quantities in general relativity and other theories of gravity,” Phys. Rev. D61(2000) 084027, arXiv:gr-qc/9911095

View on Pith Pith review arXiv 2000

[4] [4]

E. Witten, “Coadjoint orbits of the Virasoro group,” Commun. Math. Phys.114(1988) 1–53, doi:10.1007/BF01218287

View on Pith doi:10.1007/bf01218287 1988

[5] [5]

D. Friedan, Z. Qiu and S. Shenker, “Conformal invariance, unitarity, and critical exponents in two dimensions,” Phys. Rev. Lett.52(1984) 1575–1578, doi:10.1103/PhysRevLett.52.1575

View on Pith doi:10.1103/physrevlett.52.1575 1984

[6] [6]

J. L. Cardy, “Operator content of two-dimensional conformally invariant theories,” Nucl. Phys. B270(1986) 186–204, doi:10.1016/0550-3213(86)90552-3

View on Pith doi:10.1016/0550-3213(86)90552-3 1986

[7] [7]

T. Hartman, C. A. Keller and B. Stoica, “Universal spectrum of 2d conformal field theory in the largeclimit,” JHEP09(2014) 118, arXiv:1405.5137

View on Pith Pith review arXiv 2014

[8] [8]

W. Donnelly and L. Freidel, “Local subsystems in gauge theory and gravity,” JHEP09(2016) 102, arXiv:1601.04744

View on Pith Pith review arXiv 2016

[9] [9]

L. Donnay, G. Giribet, H. A. Gonz´ alez and M. Pino, “Extended symmetries at the black hole horizon,” JHEP09(2016) 100, arXiv:1607.05703

View on Pith Pith review arXiv 2016

[10] [10]

L. Freidel, M. Geiller and D. Pranzetti, “Edge modes of gravity. Part I. Corner potentials and charges,” JHEP11(2020) 026, arXiv:2006.12527

View on Pith Pith review arXiv 2020

[11] [11]

G. Hayward, “Gravitational action for spacetimes with nonsmooth boundaries,” Phys. Rev. D 47(1993) 3275–3280, doi:10.1103/PhysRevD.47.3275

View on Pith doi:10.1103/physrevd.47.3275 1993

[12] [12]

K. S. Narain, “New heterotic string theories in uncompactified dimensions less than ten,” Phys. Lett. B169(1986) 41–46, doi:10.1016/0370-2693(86)90682-9

View on Pith doi:10.1016/0370-2693(86)90682-9 1986

[13] [13]

A. Maloney and E. Witten, “Averaging over Narain moduli space,” JHEP10(2020) 187, arXiv:2006.04855. 27

View on Pith Pith review arXiv 2020