Kottler Black Holes: Structure & Uniqueness

• Kottler black holes are static vacuum solutions with a cosmological constant that model black-hole horizons and cosmic expansion using a spherically symmetric metric.
• They exhibit dual horizon structures for Λ>0, with distinct black-hole and cosmological horizons defined by the roots of the metric function f(r).
• Advanced analyses reveal unique geodesic dynamics, shadow observables, and rigidity properties that deepen our understanding of these complex spacetimes.

Searching arXiv for recent and foundational papers on Kottler black holes, uniqueness, geodesics, horizons, and related topics. Kottler black holes are static vacuum solutions of Einstein’s equations with cosmological constant, usually written in the spherically symmetric form

$$ds^2=-\,f(r)\,dt^2+\frac{dr^2}{f(r)}+r^2\,d\Omega^2, \qquad f(r)=1-\frac{2M}{r}-\frac{\Lambda}{3}\,r^2 .$$

For $\Lambda>0$, they are also called Schwarzschild–de Sitter spacetimes and model isolated black holes in a universe undergoing accelerated expansion; in that regime the static region lies between a black-hole horizon and a cosmological horizon (LeFloch et al., 2010). In related $\Lambda<0$ settings, Kottler metrics also occur as asymptotically locally hyperbolic static vacuum black holes, with spherical, toroidal, or higher-genus horizon topology in the standard warped-product family (Harvie et al., 22 Sep 2025).

1. Static vacuum formulation and canonical metric

A static vacuum spacetime with cosmological constant $\Lambda$ can be written as

$$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$

with $M$ a three-dimensional manifold with possibly boundary, $t$ the static Killing time, and $f>0$ on the interior vanishing precisely at $\partial M$. The Einstein equations are

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$

and in the Kottler family the lapse is $\Lambda>0$0 with

$\Lambda>0$1

For $\Lambda>0$2, Kottler black holes form the unique one-parameter family of static vacuum solutions of Einstein’s equations with positive cosmological constant (LeFloch et al., 2010).

Several equivalent coordinate representations are used. In static Schwarzschild-like coordinates one has the line element above; in a Painlevé–Gullstrand–type form, obtained by introducing a cosmological time $\Lambda>0$3, the metric becomes

$\Lambda>0$4

which makes manifest an embedding in an asymptotically de Sitter cosmology (Popławski, 2024). In asymptotically locally hyperbolic static slices with $\Lambda>0$5, the broader Kottler family is written as

$\Lambda>0$6

where $\Lambda>0$7 fixes the constant-curvature horizon topology (Harvie et al., 22 Sep 2025).

The canonical metric function $\Lambda>0$8 encapsulates both the local Schwarzschild term and the cosmological term. This suggests that Kottler geometries serve as a minimal exact model in which black-hole and cosmological scales coexist without introducing matter accretion or time-dependent mass parameters.

2. Horizon structure, parameter ranges, and causal domains

Horizons occur at the real positive roots of

$\Lambda>0$9

equivalently

$\Lambda<0$0

For $\Lambda<0$1, the physically relevant parameter range is

$\Lambda<0$2

or equivalently $\Lambda<0$3; in this case there are two distinct positive roots,

$\Lambda<0$4

interpreted as the black-hole horizon and the cosmological horizon (LeFloch et al., 2010). On the interior static region

$\Lambda<0$5

the lapse is strictly positive, vanishes at the two boundary spheres, and reaches a unique maximum at some $\Lambda<0$6 (LeFloch et al., 2010).

The limiting cases are also explicit. As $\Lambda<0$7, the inner horizon shrinks to $\Lambda<0$8 while $\Lambda<0$9; as $\Lambda$0, one recovers the Schwarzschild horizon at $\Lambda$1 and no cosmological horizon (LeFloch et al., 2010). In the extremal limit,

$\Lambda$2

the two positive roots coincide (Kolanowski, 2019). For $\Lambda$3, there is exactly one positive root, and for $\Lambda$4 there is no real positive root (Vandeev et al., 2022).

The causal decomposition is standard. For $\Lambda$5, the Killing vector $\Lambda$6 becomes spacelike and there is a spacelike curvature singularity at $\Lambda$7; for $\Lambda$8, $\Lambda$9 is timelike and the geometry is static; for $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$0, $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$1 becomes spacelike again and the geometry asymptotes to de Sitter exponential expansion (Gaur et al., 2023). The topology of the static domain is $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$2 in the $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$3 spherical case (LeFloch et al., 2010).

A common simplification is to treat the horizon equation as merely algebraic. In practice, the multiplicity and ordering of its roots govern not only the horizon count but also the global causal structure, the existence of a static patch, and the distinction between non-extremal, extremal, and naked-singularity regimes.

3. Uniqueness, rigidity, and the Besse connection

LeFloch and Rozoy proved a black-hole uniqueness theorem for Schwarzschild–de Sitter spacetime in the class of static vacuum spacetimes with compact spacelike slices and regular maximal level set of the lapse (LeFloch et al., 2010). The precise statement is that any four-dimensional static vacuum spacetime with compact maximal slices of Sobolev class $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$4, positive cosmological constant $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$5, and whose lapse function $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$6 has a regular maximal level set, must be, up to a global isometry, either the interior domain of a Kottler spacetime with $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$7 satisfying $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$8, or a domain of communication of pure de Sitter space in the $$(N,g)=\bigl(\mathbb{R}\times M,\,-f^2\,dt^2 + g_{ij}\,dx^i dx^j\bigr),$$9 limit (LeFloch et al., 2010).

The $M$0 splitting yields on $M$1 the static system

$M$2

and, by tracing,

$M$3

The proof studies the geometry of the level sets $M$4, including a possibly singular foliation, and uses normalization invariants such as $M$5 that remain smooth even at critical points. A pointwise Hawking-mass-density is introduced on each $M$6 in terms of the mean curvature $M$7 and Gauss curvature $M$8,

$M$9

A localized Penrose-inequality argument then shows that each component of the horizon $t$0 must be a two-sphere; an “optimal” Kottler solution is constructed with mass $t$1 chosen so that its lapse matches $t$2 on a chosen noncritical level set, and analytic continuation plus a maximum-principle comparison extend the Kottler metric to all of $t$3 (LeFloch et al., 2010).

The same PDE and differential-geometric technique applies in the Riemannian setting. For a compact Riemannian 3-manifold $t$4 admitting a nontrivial solution $t$5 to the dual linearized curvature equation

$t$6

with regular maximal level set, the analogous foliation and maximum-principle argument yields precisely the metrics appearing in Besse’s classification in dimension $t$7: the round sphere $t$8, the product $t$9, or certain twisted $f>0$0 metrics (LeFloch et al., 2010). This confirms the Besse conjecture in dimension $f>0$1.

The significance of the uniqueness theorem is therefore twofold: it is simultaneously a rigidity statement for static black holes with $f>0$2 and a structural result about elliptic systems tied to scalar-curvature linearization.

4. Geodesics, photon sphere, shadow, and tidal dynamics

For null geodesics in the equatorial plane, the effective one-dimensional radial problem is

$f>0$3

with conserved energy and angular momentum arising from the cyclic coordinates $f>0$4 and $f>0$5 (Cruz et al., 2017). The photon sphere satisfies

$f>0$6

independent of $f>0$7 (Das et al., 2022). The radial acceleration is

$f>0$8

which is likewise independent of $f>0$9; it vanishes at $\partial M$0 and attains its maximum at $\partial M$1 (Cruz et al., 2017).

A specific result for non-radial null geodesics is the appearance of the golden ratio. Introducing the anomalous impact parameter $\partial M$2 via

$\partial M$3

the turning points satisfy

$\partial M$4

As the impact parameter is tuned so that the photon’s radial acceleration is maximal, one finds

$\partial M$5

hence

$\partial M$6

independent of $\partial M$7 (Cruz et al., 2017).

The shadow of a Kottler black hole can be expressed explicitly for a static observer at radius $\partial M$8: $\partial M$9 For a co-moving observer moving radially outward with velocity $$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$0, the aberration relation gives

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$1

with

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$2

and plasma effects can be included through a refractive index $$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$3 (Das et al., 2022).

Tidal dynamics in freely falling orthonormal frames are governed by

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$4

and the associated geodesic-deviation equations for radial infall admit solutions by quadratures involving elliptic integrals (Vandeev et al., 2022). In the Schwarzschild case all tidal components are sign-constant, whereas for $$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$5 the radial tidal force changes sign outside the single horizon, and for $$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$6 the angular tidal force changes sign between the two horizons (Vandeev et al., 2022).

Taken together, these results show that the cosmological constant does not move the photon sphere away from $$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$7, but it does modify horizon structure, shadow observables for cosmological or plasma-adapted observers, and the sign structure of tidal eigenvalues.

5. Regular coordinates, flat foliations, and cosmological embedding

The static coordinates are singular at the roots of $$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$8, but the singularities are coordinate singularities. A regular time coordinate is obtained by

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=0, \qquad\text{equivalently}\qquad R_{\mu\nu}=\Lambda g_{\mu\nu},$$9

which transforms the metric to

$\Lambda>0$00

This form is regular at $\Lambda>0$01 and is the starting point for a foliation of Kottler–Schwarzschild–de Sitter spacetime by flat spacelike hypersurfaces (Siddiqui, 2010).

Writing the leaves as

$\Lambda>0$02

and requiring the induced metric to be Euclidean,

$\Lambda>0$03

one obtains

$\Lambda>0$04

with the smooth branch

$\Lambda>0$05

Hence

$\Lambda>0$06

and these leaves provide a single, smooth, global foliation in the non-extremal, extremal, and naked-singularity cases (Siddiqui, 2010). The slices are intrinsically flat but not maximal, and the normal vector is tangent to the congruence of freely falling observers with conserved energy per unit mass $\Lambda>0$07 (Siddiqui, 2010).

A distinct but related construction appears in studies of black holes in expanding universes. Extending the McVittie ansatz to an inhomogeneous scale factor $\Lambda>0$08, with

$\Lambda>0$09

regularity at the horizon implies

$\Lambda>0$10

and a coordinate transformation brings the near-horizon metric into the static Kottler form (Popławski, 2024). In that analysis, the Kottler metric is recovered near the horizon, the horizon radius is time-independent, and black holes do not grow with the cosmic expansion in the absence of accretion (Popławski, 2024). This is consistent with the broader observation that in the exact Kottler solution the parameters $\Lambda>0$11 and $\Lambda>0$12 are independent constants, with no time dependence and no exchange of mass-energy between the central black hole and the cosmological background (Gaur et al., 2023).

The combination of regular horizon-penetrating coordinates, flat foliations, and cosmological coordinate systems shows that the same spacetime admits both static and expansion-adapted descriptions without altering its exact horizon radii or mass parameter.

6. Extremal limit, Nariai geometry, and negative-$\Lambda>0$13 generalizations

The extremal regime $\Lambda>0$14 is often discussed through the Nariai limit, but the distinction between the Nariai spacetime and the true extremal Kottler black hole is essential. Under a near-horizon scaling,

$\Lambda>0$15

followed by suitable rescalings of $\Lambda>0$16 and $\Lambda>0$17, the metric tends to

$\Lambda>0$18

namely $\Lambda>0$19, the Nariai solution (Kolanowski, 2019). In the direct extremal limit, by contrast, keeping the original coordinates and setting $\Lambda>0$20 yields a spacetime with a genuine spacelike singularity at $\Lambda>0$21 and de Sitter-like scri at large $\Lambda>0$22 (Kolanowski, 2019). Kolanowski therefore argues that Nariai is the exact near-horizon geometry of the extremal Schwarzschild–de Sitter black hole, but not the true black-hole spacetime itself, and concludes that earlier anti-evaporation analyses based on perturbations of Nariai do not directly apply to genuine Schwarzschild–de Sitter black holes (Kolanowski, 2019).

For $\Lambda>0$23, Kottler metrics enter a different rigidity framework. In the asymptotically locally hyperbolic static setting, equality in a Minkowski-type inequality is achieved only by Kottler black holes, and this rigidity yields several uniqueness theorems: the ADS-Schwarzschild black hole with critical surface gravity $\Lambda>0$24 is unique; the toroidal Kottler black holes are unique in the absence of spherical horizons; and the hyperbolic Kottler black holes with mass $\Lambda>0$25 are unique if the generalized Penrose inequality holds for the corresponding class of static spaces (Harvie et al., 22 Sep 2025). In these three-dimensional ALH slices, the standard Kottler family takes the form

$\Lambda>0$26

with

$\Lambda>0$27

and horizon surface gravity

$\Lambda>0$28

The proof strategy combines a sub-static Heintze–Karcher inequality, a monotone quantity under inverse mean curvature flow, and an eventual regularity theorem for weak IMCF in ALH $\Lambda>0$29-manifolds (Harvie et al., 22 Sep 2025).

These negative-$\Lambda>0$30 results do not merely extend the spherical Schwarzschild–de Sitter picture; they exhibit a richer topological landscape in which Kottler metrics continue to function as the exact rigidity models for static black holes.