Skip to content

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Generic nonextremal Kerr has no exact SL(2,R)×SL(2,R)\mathrm{SL}(2,\mathbb R)\times\mathrm{SL}(2,\mathbb R) spacetime isometry. Nevertheless, the low-frequency massless scalar equation in a near-region overlap can be written as the quadratic Casimir of two local conformal algebras. This “hidden” symmetry organizes solutions and absorption probabilities, but its generators are not globally single-valued under the Kerr angular identification. The approximation and the distinction from NHEK isometry are essential.

Required background. Gauge Theory and String-Theory Preparation provides wave-equation and representation conventions.

Helpful background. Quantum Gravity supplies the holographic interpretation; Quantum Information supplies thermal-correlator language; Black-Hole Geometry and Mechanics provides Kerr horizons; and Gravitational Radiation and Waveforms supplies Teukolsky separation and scattering conventions.

Work in geometrized units G=c=1G=c=1 with M>0M\gt0 on the rotating nonextremal branch 0<∣a∣<M0\lt\lvert a\rvert\lt M. Here MM and a=J/Ma=J/M are lengths; restoring physical mass replaces MM by GMphysGM_{\rm phys}. Choose the axial orientation so that a>0a\gt0 in the temperature formulas, and set r±=M±M2−a2r_\pm=M\pm\sqrt{M^2-a^2}. This excludes the singular a=0a=0 limit of that conformal-coordinate parametrization.

For Φ=e−iωt+imϕSℓm(θ)R(r)\Phi=e^{-i\omega t+im\phi}S_{\ell m}(\theta)R(r), the massless Klein–Gordon equation separates. With Δ=(r−r+)(r−r−)\Delta=(r-r_+)(r-r_-), the radial equation can be written

∂r ⁣(Δ ∂rR)+[((r2+a2)ω−am)2Δ+2amω−a2ω2−Kℓm]R=0.\partial_r\!\left(\Delta\,\partial_rR\right) +\left[ \frac{\big((r^2+a^2)\omega-am\big)^2}{\Delta} +2am\omega-a^2\omega^2-K_{\ell m} \right]R=0 .

Here KℓmK_{\ell m} is the unshifted spheroidal eigenvalue defined by the regular angular problem

1sin⁡θ∂θ(sin⁡θ ∂θS)+[a2ω2cos⁡2θ−m2sin⁡2θ+Kℓm]S=0.\frac{1}{\sin\theta}\partial_\theta(\sin\theta\,\partial_\theta S) +\left[a^2\omega^2\cos^2\theta-\frac{m^2}{\sin^2\theta}+K_{\ell m}\right]S=0.

Thus Kℓm=ℓ(ℓ+1)+O(a2ω2)K_{\ell m}=\ell(\ell+1)+O(a^2\omega^2) at small aωa\omega. The +2amω+2am\omega term in the radial equation is required with this definition; absorbing it into an eigenvalue would change the angular convention. For real nonzero scattering frequency, the low-frequency regime is ∣ω∣M≪1\lvert\omega\rvert M\ll1, the near region obeys r∣ω∣≪1r\lvert\omega\rvert\ll1, and matching requires M≪r≪∣ω∣−1M\ll r\ll\lvert\omega\rvert^{-1}.

Castro, Maloney, and Strominger 2010, §§ 2–3 reduce the exact equation in this window. In the stated angular convention the near-region operator is

[∂r(Δ∂r)+(2Mr+ω−am)2(r−r+)(r+−r−)−(2Mr−ω−am)2(r−r−)(r+−r−)]R=ℓ(ℓ+1)R.\left[\partial_r(\Delta\partial_r) +\frac{(2Mr_+\omega-am)^2}{(r-r_+)(r_+-r_-)} -\frac{(2Mr_-\omega-am)^2}{(r-r_-)(r_+-r_-)}\right]R =\ell(\ell+1)R.

The discarded regular term is ω2(r2+2Mr+4M2)\omega^2(r^2+2Mr+4M^2); the angular eigenvalue correction is also of order (aω)2(a\omega)^2. The two pole residues are retained intact, including the sign difference, and make the equation hypergeometric. This explicit form shows exactly what the Casimir must reproduce.

Rewriting the equation as a conformal Casimir

Section titled “Rewriting the equation as a conformal Casimir”

Introduce local conformal coordinates built from (t,r,ϕ)(t,r,\phi) and the temperatures

TL=r++r−4πa,TR=r+−r−4πa.T_L=\frac{r_++r_-}{4\pi a}, \qquad T_R=\frac{r_+-r_-}{4\pi a}.

The associated vector fields generate two commuting sl(2,R)\mathfrak{sl}(2,\mathbb R) algebras. Their quadratic Casimir H2\mathcal H^2 acts on the separated scalar so that

H2Φ=H‾ 2Φ=ℓ(ℓ+1)Φ\mathcal H^2\Phi=\overline{\mathcal H}^{\,2}\Phi =\ell(\ell+1)\Phi

precisely when the near-region low-frequency terms are retained and the discarded terms are negligible. Castro, Maloney, and Strominger 2010, §4, pp. 6–8 match the radial coefficients term by term.

This is an independent algebraic check: expanding the Casimir must reproduce both horizon pole residues and the regular ℓ(ℓ+1)\ell(\ell+1) term. A sign error in e−iωte^{-i\omega t} or an angular normalization error changes those residues and spoils the match.

Local symmetry, global breaking, and absorption

Section titled “Local symmetry, global breaking, and absorption”

The conformal vector fields contain exponentials of 2πTL,Rϕ2\pi T_{L,R}\phi. Because physical Kerr identifies ϕ∼ϕ+2π\phi\sim\phi+2\pi, the generators are not globally single-valued. The angular quotient breaks the local symmetry to the subgroup generated by the thermal identification. Therefore hidden conformal symmetry is a solution-space structure of an approximate wave equation, unlike the exact NHEK SL(2,R)×U(1)\mathrm{SL}(2,\mathbb R)\times\mathrm{U}(1) isometry.

Solving with ingoing horizon boundary conditions gives gamma-function factors of a thermal two-dimensional conformal correlator. In the weight convention C=h(h−1)\mathcal C=h(h-1), the positive root is hL=hR=ℓ+1h_L=h_R=\ell+1; this agrees with the explicit Γ(1+ℓ+⋯ )\Gamma(1+\ell+\cdots) factors in Castro, Maloney, and Strominger 2010, § 6.1, Eqs. (6.4)–(6.5). This convention should be fixed from the Casimir and radial falloffs rℓ,r−ℓ−1r^\ell,r^{-\ell-1}, rather than importing a weight label alone.

The net absorption coefficient is a signed horizon-to-incoming flux ratio. It is negative in the superradiant range,

0<ω<mΩH,0\lt\omega\lt m\Omega_H,

so it is not an ordinary nonnegative probability there. Matching the conformal factors leaves the asymptotic normalization and ultraviolet completion to the full scattering problem.

The matching calculation uses three regions. The near solution is reliable for rω≪1r\omega\ll1, the far solution is expanded for M/r≪1M/r\ll1, and both are compared in M≪r≪ω−1M\ll r\ll\omega^{-1}. Gamma-function coefficients then relate the horizon flux to the incoming flux at infinity. This overlap is an independent validity check: if ωM\omega M is not small, there is no parametrically broad interval in which both expansions are accurate, so a formal hypergeometric solution cannot justify the asymptotically flat absorption formula.

Finite ωM\omega M restores terms that cannot be absorbed into the Casimir. Leaving the overlap region also invalidates rω≪1r\omega\ll1, while massive or spinning fields change the angular and radial potentials. The symmetry can be generalized in some cases, but each extension needs its own coefficient match.

The construction does not supply boundary conditions, a Hilbert space, central charges, or modular invariance for a microscopic CFT. Assigning cL=cR=12Jc_L=c_R=12J for nonextremal Kerr is an additional conjectural step, not a consequence of the scalar equation. Nor does an absorption match prove that all asymptotically flat observables are CFT correlators.

Superradiance supplies a sign check. For modes with ω−mΩH<0\omega-m\Omega_H\lt0, the horizon flux is negative relative to asymptotic time and the reflected flux can exceed the incident flux. The near-region gamma functions must reproduce that sign change. A calculation that matches pole locations but misses superradiant flux has not translated its time, angular, or horizon conventions consistently.

Finally, exact NHEK and hidden conformal symmetry concern different limits. NHEK takes extremality together with a corotating coordinate scaling and produces a geometric isometry. Hidden symmetry keeps generic r+≠r−r_+\ne r_- but expands a probe equation at low frequency. Conflating them obscures which temperature, boundary, and state space is being discussed.

Explain which two approximations turn the scalar equation into a conformal Casimir and show why the resulting generators fail to be global Kerr symmetries.

Solution

The low-frequency condition ωM≪1\omega M\ll1 makes the angular eigenvalue ℓ(ℓ+1)\ell(\ell+1) and removes subleading frequency terms. The near-region condition rω≪1r\omega\ll1 removes regular radial terms while retaining the horizon poles; an overlap with M≪rM\ll r is needed for scattering matching. The Casimir vector fields depend exponentially on TLϕT_L\phi and TRϕT_R\phi. Under ϕ→ϕ+2π\phi\to\phi+2\pi they are multiplied rather than returned to themselves, so they are local generators of the approximate solution space, not globally defined Killing fields of Kerr. This global failure is physical rather than a coordinate mistake: the angular quotient is part of the black-hole geometry. Therefore the calculation establishes a conformal organization of a restricted wave equation, while an exact global symmetry would require generators that remain single-valued everywhere and preserve the full boundary-value problem.

  • Castro, Alejandra, Alexander Maloney, and Andrew Strominger. “Hidden Conformal Symmetry of the Kerr Black Hole.” Physical Review D 82 (2010) 024008. arXiv:1004.0996.