Kerr–de Sitter Black Holes

Kerr–de Sitter is the rotating black-hole family of four-dimensional vacuum general relativity with positive cosmological constant. On a regular rotating subextremal branch, its observer patch can be bounded by an outer black-hole horizon and a cosmological horizon, with an inner Cauchy horizon also present; the nonrotating endpoint has no inner horizon. Because de Sitter infinity is spacelike, energy, angular velocity, and surface gravity require an explicitly declared Killing frame and normalization.

Kerr–de Sitter geometry

Property	Value
Object class	Exact solution family
Theory	Four-dimensional $R_{\mu\nu}=\Lambda g_{\mu\nu}$ with $\Lambda\gt0$
Parameters	metric mass $m$, rotation length $a$, $\ell=\sqrt{3/\Lambda}$
Asymptotics	de Sitter-type
Black-hole domain	root and Lorentzian-domain conditions on $(m,a,\ell)$
Physical status	Exact rotating $\Lambda$-vacuum solution; boundary-dependent interpretation

Define

$$\rho^2=r^2+a^2\cos^2\theta, \quad \Delta_r=(r^2+a^2)\left(1-\frac{r^2}{\ell^2}\right)-2mr,$$ $$\Delta_\theta=1+\frac{a^2}{\ell^2}\cos^2\theta, \qquad \Xi=1+\frac{a^2}{\ell^2}.$$

One Boyer–Lindquist form is

$$\begin{aligned} ds^2={}&-\frac{\Delta_r}{\rho^2} \left(dt-\frac{a\sin^2\theta}{\Xi}d\phi\right)^2 +\frac{\rho^2}{\Delta_r}dr^2+\frac{\rho^2}{\Delta_\theta}d\theta^2\\ &+\frac{\Delta_\theta\sin^2\theta}{\rho^2} \left(a\,dt-\frac{r^2+a^2}{\Xi}d\phi\right)^2, \end{aligned}$$

with $\phi$ of period $2\pi$. The higher-dimensional construction and its four-dimensional specialization are derived by Gibbons, Lü, Page, and Pope 2005, §§ 3–4, eqs. (3.5)–(4.18).

Horizons, frames, and regularity

Horizons occur at regular real roots of $\Delta_r$. For $m\gt0$ and $a\ne0$, the relevant positive simple roots in a regular subextremal patch may be ordered $r_-\lt r_b\lt r_c$: Cauchy, outer black-hole, and cosmological horizons. The observer region between $r_b$ and $r_c$ is not selected by the polynomial alone; one must also verify Lorentzian signature and the chosen angular identification. At $a=0$, the formal factor at $r=0$ is the central Schwarzschild–de Sitter curvature singularity, not an inner horizon.

With $T=\partial_t$ and $\Phi=\partial_\phi$, the generator at a simple root is

$$\chi_h=T+\Omega_h\Phi, \qquad \Omega_h=\frac{a\Xi}{r_h^2+a^2}.$$

Passing to $\widetilde\phi=\phi-at/\ell^2$ shifts the coefficient to

$$\widetilde\Omega_h =\Omega_h-\frac{a}{\ell^2} =\frac{a(1-r_h^2/\ell^2)}{r_h^2+a^2}.$$

These are two decompositions of the same generator. The difference $\Omega_b-\Omega_c$ is frame invariant under the common shift. Regular ingoing coordinates remove the Boyer–Lindquist pole at a simple root. For $a\ne0$, the true ring singularity remains where $\rho^2=0$ if that set lies in the extension; at $a=0$, the singularity is the central locus $r=0$.

Mechanics and degenerate regimes

For the displayed azimuthal period,

$$A_h=\frac{4\pi(r_h^2+a^2)}{\Xi}, \qquad \kappa_h=\frac{\Delta_r'(r_h)}{2(r_h^2+a^2)}.$$

With one orientation in the static observer region, $\kappa_b\gt0$ and $\kappa_c\lt0$. A common rescaling of time rescales both. Their areas and angular-velocity difference are independent of that orientation choice, but a Hamiltonian energy or first law still requires a boundary prescription. The importance of pairing charges with the correct generator is a general consequence of black-hole mechanics Bardeen, Carter, and Hawking 1973, complete article, printed pp. 161–170.

A double root satisfies $\Delta_r=\Delta_r'=0$ and has $\kappa_h=0$ for the unrescaled generator. Coalescence of $r_-$ with $r_b$ is an extremal rotating black-hole limit. Coalescence of $r_b$ with $r_c$ is a rotating Nariai-type limit. They obey similar algebra but have different causal roles and scaled geometries. Beyond the relevant discriminant surface, the intended horizon pair disappears; the continuation remains an exact metric but is not the same regular black-hole patch.

Shared roots and boundary-value diagnostics

Every horizon root must reproduce the same metric mass:

$$m=\frac{(r_h^2+a^2)(1-r_h^2/\ell^2)}{2r_h}.$$

This is a stringent consistency test on any proposed $(r_b,r_c)$. It also shows why their areas cannot be varied independently at fixed $(m,a,\ell)$. One rigid azimuthal shift cannot generally make both horizon angular velocities vanish; the difference $\Omega_b-\Omega_c$ retains the physical relative rotation, although a local measurement still requires an observer tetrad.

Perturbation problems need conditions at both future horizons, conventionally ingoing at the black-hole boundary and outgoing at the cosmological boundary relative to a declared time orientation. There is no spatial infinity on which to impose asymptotically flat scattering data. Separability therefore does not by itself establish mode stability across all root domains.

The two principal double-root regimes also retain different information. Merging $r_-$ with $r_b$ is black-hole extremality; merging $r_b$ with $r_c$ is a rotating Nariai limit. Both have zero unrescaled surface gravity, but their scaled geometries and causal roles are not interchangeable.

Controlled limits

Nonrotating limit. Taking $a\to0$ gives $\Xi,\Delta_\theta\to1$ and $\Delta_r=r^2(1-2m/r-r^2/\ell^2)$. Areas, angular velocities, and signed surface gravities reduce to Schwarzschild–de Sitter. The formal root at $r=0$ is the central curvature singularity, not a Cauchy horizon.

Zero-cosmological-constant limit. Taking $\ell\to\infty$ at fixed $(m,a)$ gives $\Delta_r=r^2-2mr+a^2$, $\Xi\to1$, and the Kerr horizon data. The global conformal boundary changes even when the metric converges on bounded regions.

Degenerate-horizon limits. Either root merger requires a coordinate scaling to retain the finite throat or Nariai region. Direct substitution into a chart whose root interval collapses is incomplete.

The parameter $m$ should not be called a unique de Sitter energy without specifying the observer patch or conformal-boundary charge definition. Likewise, a stability statement must declare the field, patch, and horizon boundary conditions.

Connections to the detailed theory

Kerr–de Sitter is an exact rotating $\Lambda$-vacuum, not a model of a black hole in a general expanding matter distribution. Its type-D context is reviewed by Griffiths and Podolský 2009, § 11.3, printed pp. 209–212 and organized in Plebański–Demiański and the Type-D Electrovacuum Family. The exact generator, frame shift, areas, roots, and surface gravities are treated in Kerr–de Sitter Horizon Mechanics.

References

• Bardeen, James M., Brandon Carter, and Stephen W. Hawking. “The Four Laws of Black Hole Mechanics.” Communications in Mathematical Physics 31 (1973): 161–170. DOI.
• Gibbons, Gary W., Hong Lü, Don N. Page, and Christopher N. Pope. “The General Kerr–de Sitter Metrics in All Dimensions.” Journal of Geometry and Physics 53 (2005): 49–73. DOI.
• Griffiths, Jerry B., and Jiří Podolský. Exact Space-Times in Einstein’s General Relativity. Cambridge: Cambridge University Press, 2009. Publisher.