--- title: 'Kottler Black Holes: Structure & Uniqueness' url: https://www.emergentmind.com/topics/kottler-black-holes type: topic --- # Kottler Black Holes: Structure & Uniqueness 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 [1009.0936]. 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 [2509.18026]. ## 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 \(f(r)=N(r)\) with \[ N^2(r)=1-\frac{2m}{r}-\frac{\Lambda}{3}\,r^2 . \] For \(\Lambda>0\), Kottler black holes form the unique one-parameter family of static vacuum solutions of Einstein’s equations with positive cosmological constant [1009.0936]. 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 \(T\), the metric becomes \[ ds^2 = -\,dT^2 +\Bigl(dr+\sqrt{\frac{2M}{r}+\frac{\Lambda}{3}\,r^2}\,dT\Bigr)^2 +r^2d\Omega^2, \] which makes manifest an embedding in an asymptotically de Sitter cosmology [2405.16673]. In asymptotically locally hyperbolic static slices with \(\Lambda=-3\), the broader Kottler family is written as \[ ds^2=-\,f(r)\,dt^2+f(r)^{-1}\,dr^2+r^2\,d\Sigma_k^2, \qquad f(r)=k-\frac{2m}{r}+r^2, \] where \(k\in\{1,0,-1\}\) fixes the constant-curvature horizon topology [2509.18026]. The canonical metric function \(f(r)\) 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 \[ f(r)=1-\frac{2M}{r}-\frac{\Lambda}{3}\,r^2=0, \] equivalently \[ \frac{\Lambda}{3}\,r^3-r+2M=0 . \] For \(\Lambda>0\), the physically relevant parameter range is \[ 0<9\Lambda M^2<1, \] or equivalently \(0<(3m)^2\Lambda<1\); in this case there are two distinct positive roots, \[ r_b1/9\) there is no real positive root [2204.13203]. The causal decomposition is standard. For \(0r_{\rm c}\), \(\partial_t\) becomes spacelike again and the geometry asymptotes to de Sitter exponential expansion [2308.07374]. The topology of the static domain is \([r_b,r_c]\times S^2\) in the \(\Lambda>0\) spherical case [1009.0936]. 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 [1009.0936]. The precise statement is that any four-dimensional static vacuum spacetime with compact maximal slices of Sobolev class \(W^{2,2}\), positive cosmological constant \(\Lambda>0\), and whose lapse function \(f\) has a regular maximal level set, must be, up to a global isometry, either the interior domain of a Kottler spacetime with \(m>0\) satisfying \((3m)^2\Lambda<1\), or a domain of communication of pure de Sitter space in the \(m=0\) limit [1009.0936]. The \(3+1\to3\) splitting yields on \((M,g)\) the static system \[ \nabla_i\nabla_j f-(\Delta f)\,g_{ij}-f\,R_{ij}=0, \qquad R=2\Lambda, \] and, by tracing, \[ \Delta f+\Lambda f=0 . \] The proof studies the geometry of the level sets \(\Sigma_s=\{f=s\}\), including a possibly singular foliation, and uses normalization invariants such as \(|\nabla f|^2\) that remain smooth even at critical points. A pointwise Hawking-mass-density is introduced on each \(\Sigma_s\) in terms of the mean curvature \(H\) and Gauss curvature \(K\), \[ \mu_H=\sqrt{\frac{|\nabla f|^2+f^2K}{4\pi}} . \] A localized Penrose-inequality argument then shows that each component of the horizon \(\partial M\) must be a two-sphere; an “optimal” Kottler solution is constructed with mass \(m^*\) chosen so that its lapse matches \(f\) on a chosen noncritical level set, and analytic continuation plus a maximum-principle comparison extend the Kottler metric to all of \(M\) [1009.0936]. The same PDE and differential-geometric technique applies in the Riemannian setting. For a compact Riemannian 3-manifold \((M,g)\) admitting a nontrivial solution \(f\) to the dual linearized curvature equation \[ L^*(f)=0 \] with regular maximal level set, the analogous foliation and maximum-principle argument yields precisely the metrics appearing in Besse’s classification in dimension \(3\): the round sphere \(S^3\), the product \(S^1\times S^2\), or certain twisted \(S^1\times S^2\) metrics [1009.0936]. This confirms the Besse conjecture in dimension \(3\). The significance of the uniqueness theorem is therefore twofold: it is simultaneously a rigidity statement for static black holes with \(\Lambda>0\) 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 \[ \dot r^2 = E - V_{\rm eff}(r), \qquad V_{\rm eff}(r)=\frac{L^2}{r^2}\,f(r) =\frac{L^2}{r^2}\Bigl(1-\frac{2M}{r}-\frac{\Lambda}{3}r^2\Bigr), \] with conserved energy and angular momentum arising from the cyclic coordinates \(t\) and \(\phi\) [1701.03166]. The photon sphere satisfies \[ \frac{d}{dr}\Bigl(\frac{f(r)}{r^2}\Bigr)\Big|_{r=r_p}=0 \quad\Longrightarrow\quad r_p=3M, \] independent of \(\Lambda\) [2207.06994]. The radial acceleration is \[ \ddot r=\frac{2L^2(r-3M)}{r^4}, \] which is likewise independent of \(\Lambda\); it vanishes at \(r=3M\) and attains its maximum at \(r=4M\) [1701.03166]. A specific result for non-radial null geodesics is the appearance of the golden ratio. Introducing the anomalous impact parameter \(\mathcal B\) via \[ \frac1{\mathcal B^2}=\frac1{b^2}+\frac{\Lambda}{3}, \] the turning points satisfy \[ r^3-\mathcal B^2r+2M\mathcal B^2=0 . \] As the impact parameter is tuned so that the photon’s radial acceleration is maximal, one finds \[ r_p\to4M, \qquad r_a\to4M\,\Phi, \qquad \Phi=\frac{\sqrt5-1}{2}, \] hence \[ \lim_{b\to b_\Phi}\frac{r_a}{r_p}=\Phi, \] independent of \(\Lambda\) [1701.03166]. The shadow of a Kottler black hole can be expressed explicitly for a static observer at radius \(r_0\): \[ \sin^2\alpha_s = \frac{f(r_0)}{r_0^2}\,\frac{r_p^2}{f(r_p)} = \frac{1-\tfrac{2M}{r_0}-\tfrac{\Lambda}{3}r_0^2} {r_0^2\bigl(\tfrac1{27M^2}-\tfrac{\Lambda}{3}\bigr)} . \] For a co-moving observer moving radially outward with velocity \(v\), the aberration relation gives \[ \sin^2\alpha_c = (1-v^2)\, \frac{\sin^2\alpha_s}{(1-v\cos\alpha_s)^2}, \] with \[ v(r)=\frac{H_0\,r}{\sqrt{1-\tfrac{2M}{r}-H_0^2r^2}}, \qquad H_0^2=\frac{c^2\Lambda}{3} , \] and plasma effects can be included through a refractive index \(n(r)^2=1-f(r)\,k/r^h\) [2207.06994]. Tidal dynamics in freely falling orthonormal frames are governed by \[ \ddot\xi^r= \Bigl(\frac{2M}{r^3}+\frac{\Lambda}{3}\Bigr)\xi^r, \qquad \ddot\xi^{\theta,\varphi} = -\Bigl(\frac{M}{r^3}-\frac{\Lambda}{3}\Bigr)\xi^{\theta,\varphi}, \] and the associated geodesic-deviation equations for radial infall admit solutions by quadratures involving elliptic integrals [2204.13203]. In the Schwarzschild case all tidal components are sign-constant, whereas for \(\Lambda<0\) the radial tidal force changes sign outside the single horizon, and for \(0<\Lambda M^2<1/9\) the angular tidal force changes sign between the two horizons [2204.13203]. Taken together, these results show that the cosmological constant does not move the photon sphere away from \(3M\), 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 \(f(r)\), but the singularities are coordinate singularities. A regular time coordinate is obtained by \[ dT=dt+\frac{dr}{f(r)}, \qquad T=t+\int^r\frac{du}{f(u)}+\text{constant}, \] which transforms the metric to \[ ds^2=-\,f(r)\,dT^2+2\,dT\,dr+r^2\,d\Omega^2 . \] This form is regular at \(f(r)=0\) and is the starting point for a foliation of Kottler–Schwarzschild–de Sitter spacetime by flat spacelike hypersurfaces [1009.6064]. Writing the leaves as \[ \Sigma_{T_0}:\quad T=g(r)+T_0, \] and requiring the induced metric to be Euclidean, \[ ds^2_\Sigma=dr^2+r^2d\Omega^2, \] one obtains \[ f(r)\,[g'(r)]^2-2g'(r)+1=0, \] with the smooth branch \[ g'(r)=\frac{1}{1+\sqrt{\tfrac{2M}{r}+\tfrac{\Lambda r^2}{3}}}\,. \] Hence \[ \Sigma_{T_0}:\quad T=T_0+\int^r\frac{du}{1+\sqrt{\tfrac{2M}{u}+\tfrac{\Lambda u^2}{3}}}\,, \] and these leaves provide a single, smooth, global foliation in the non-extremal, extremal, and naked-singularity cases [1009.6064]. 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 \(E=1\) [1009.6064]. A distinct but related construction appears in studies of black holes in expanding universes. Extending the McVittie ansatz to an inhomogeneous scale factor \(a(\tau,r)\), with \[ H(\tau,r)=\frac{\dot a(\tau,r)}{a(\tau,r)}, \qquad F(\tau,r)=\frac{a'(\tau,r)}{a(\tau,r)}, \] regularity at the horizon implies \[ H(\tau,r)\big|_{M=1}=H_{\rm hor}=\text{const.}, \qquad F\big|_{M=1}=0, \qquad H_{\rm hor}=\sqrt{\Lambda/3}, \] and a coordinate transformation brings the near-horizon metric into the static Kottler form [2405.16673]. 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 [2405.16673]. This is consistent with the broader observation that in the exact Kottler solution the parameters \(M\) and \(\Lambda\) are independent constants, with no time dependence and no exchange of mass-energy between the central black hole and the cosmological background [2308.07374]. 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\) generalizations The extremal regime \(9M^2\Lambda=1\) 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, \[ 3\epsilon^2=1-9M^2\Lambda, \] followed by suitable rescalings of \(\tau\) and \(r\), the metric tends to \[ ds^2\to\frac1\Lambda\Bigl(-\sin^2\chi\,d\psi^2+d\chi^2+d\Omega^2\Bigr), \] namely \(dS_2\times S^2\), the Nariai solution [1908.01716]. In the direct extremal limit, by contrast, keeping the original coordinates and setting \(9M^2\Lambda=1\) yields a spacetime with a genuine spacelike singularity at \(r=0\) and de Sitter-like scri at large \(r\) [1908.01716]. 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 [1908.01716]. For \(\Lambda<0\), 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 \(\kappa=\sqrt{-\Lambda}\) is unique; the toroidal Kottler black holes are unique in the absence of spherical horizons; and the hyperbolic Kottler black holes with mass \(m>0\) are unique if the generalized Penrose inequality holds for the corresponding class of static spaces [2509.18026]. In these three-dimensional ALH slices, the standard Kottler family takes the form \[ f(r)=k-\frac{2m}{r}-\frac{\Lambda r^2}{3}, \] with \[ k=1\Rightarrow S^2,\qquad k=0\Rightarrow T^2,\qquad k=-1\Rightarrow \text{genus } >1 \text{ surface}, \] and horizon surface gravity \[ \kappa=\frac12\,f'(r_h)=|\nabla V|\big|_{\partial M} . \] 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 \(3\)-manifolds [2509.18026]. These negative-\(\Lambda\) 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. Source: https://www.emergentmind.com/topics/kottler-black-holes