Abstract
We prove that any analytic vacuum spacetime with a positive cosmological constant in four and higher dimensions, that contains a static extremal Killing horizon with a maximally symmetric compact cross-section, must be locally isometric to either the extremal Schwarzschild de Sitter solution or its near-horizon geometry (the Nariai solution). In four-dimensions, this implies these solutions are the only analytic vacuum spacetimes that contain a static extremal horizon with compact cross-sections (up to identifications). We also consider the analogous uniqueness problem for the four-dimensional extremal hyperbolic Schwarzschild anti-de Sitter solution and show that it reduces to a spectral problem for the laplacian on compact hyperbolic surfaces, if a cohomological obstruction to the uniqueness of infinitesimal transverse deformations of the horizon is absent.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The celebrated no-hair theorem establishes uniqueness of asymptotically flat, stationary, electro-vacuum black holes, under certain assumptions, see e.g. [1]. The original theorems were established for non-extremal black holes, although in recent years these have been extended to the extremal case after an improved understanding of their near-horizon geometry [2,3,4,5]. In fact, for static extremal black holes or supersymmetric black holes, uniqueness fails if one allows for multiple black holes, with the general solution given by the Majumdar–Papapetrou solution in both cases [6, 7]. In higher dimensional general relativity, black hole uniqueness no longer holds even in vacuum gravity [8, 9]. Nevertheless, a number of higher-dimensional black hole classification theorems have been derived under various symmetry assumptions [10], with the most complete results known for static black holes [11,12,13,14] and supersymmetric black holes [15, 16].
If a cosmological constant is present, direct analogues of the black hole uniqueness theorems are not known, except in a few limited cases. For a positive cosmological constant, uniqueness theorems for the non-extremal Schwarzschild de Sitter (dS) black holes have been established within the class of static spacetimes, under various assumptions on the level sets of the lapse function [17]. Remarkably, recent numerical evidence has been presented for the existence of static binary black holes in de Sitter, which evade these assumptions [18]. Therefore, even the classification of static black hole spacetimes in de Sitter is not fully understood. On the other hand, for negative cosmological constant, the only known black hole uniqueness theorem is for the nonpositive mass hyperbolic Schwarzschild anti-de Sitter (AdS) black holes [19, 20]. Uniqueness of the spherical Schwarzschild-AdS black holes remains a notable open problem (see e.g. [21, 22] and references therein for some results in this direction).
In this note we consider the classification of extremal black holes with a cosmological constant. An important feature of extremal horizons is that they admit a well-defined near-horizon geometry that itself is a solution of the Einstein equations. Therefore, near-horizon geometries may be classified independently of any parent black hole spacetime. Indeed, many such near-horizon classifications have been established [23], even for solutions with a cosmological constant where the traditional methods for proving black hole uniqueness fail. However, not all near-horizon geometries are realised as near-horizon limits of black hole solutions, and even if they are, the corresponding solutions might not be unique. A natural question thus arises: can one determine all spacetimes that contain an extremal horizon with a given near-horizon geometry? The systematic study of this question was initiated in [24, 25], where the concept of transverse deformations of an extremal horizon was introduced. This involves expanding the Einstein equation in a parameter that controls deformations of the metric that are transverse to the extremal horizon (i.e. in the direction away from the horizon). At first order in this expansion the deformations are governed by the linearised Einstein equations in the background near-horizon geometry, and have been largely determined under various symmetry assumptions in vacuum and electro-vacuum gravity in four-dimensions including a cosmological constant [24,25,26] (see also [27, 28]).
The purpose of this note is to show that for certain simple near-horizon geometries one can in fact determine all the higher order deformations. Therefore, for analytic spacetimes this allows one to deduce all possible exact transverse deformations. This offers a new method to establish uniqueness theorems for extremal black holes with prescribed near-horizon geometries. In particular, our main result is the following.
Theorem 1
Let (M, g) be an analytic spacetime that obeys the \(d\ge 4\)-dimensional vacuum Einstein equation with cosmological constant \(\Lambda >0\) and contains a static degenerate Killing horizon with a maximally symmetric compact cross-section. Then (M, g) is locally isometric either to the extremal Schwarzschild de Sitter solution or its near-horizon geometry (the Nariai solution).
This is the first uniqueness theorem for extremal vacuum black holes with a cosmological constant in four or higher dimensions. The proof is elementary and runs as follows. Previously, it has been shown that the first-order transverse deformations for the near-horizon geometry \(\hbox {dS}_2\times S^{d-2}\), also known as the Nariai solution, are unique and if nonvanishing correspond to the first order deformations of the extremal Schwarzschild-dS solution [25]. We show that this result persists at second order and via an inductive argument to all orders. The key point is that at any order the Einstein equations are sourced by the lower order deformations and reduce to an eigenvalue equation for the laplacian on \(S^{d-2}\) acting on a (traceless) part of the metric perturbation. For \(\Lambda >0\) these eigenvalues are strictly negative and hence the Einstein equations only admit the trivial solution.
Our proof was inspired by a similar analysis of four-dimensional vacuum spacetimes with extremal toroidal horizons, which established that the only solution is a plane wave spacetime [29]. Their result can be interpreted as an explicit proof that there are no four-dimensional extremal toroidal vacuum black holes.Footnote 1 The idea of determining a spacetime from its near-horizon geometry alone has also been successfully applied to three-dimensional vacuum solutions with a cosmological constant [30], and five-dimensional supersymmetric black holes in AdS [31, 32], although in these cases there is no need to expand the Einstein equations order by order.
For \(d=4\) spacetime dimensions, static near-horizon geometries with compact cross-sections have been shown to be unique [6]. Therefore, combining this with Theorem 1, implies that any analytic spacetime containing a static extremal horizon with compact cross-sections must be locally isometric to either the extremal Schwarzschild de Sitter solution or the Nariai solution. In particular, this solves the classification problem for static extremal vacuum black holes in de Sitter, assuming analyticity, although our result in fact only assumes staticity of the Killing field at the horizon and not globally.Footnote 2
We emphasise that the above result does not make any global assumptions on the spacetime such as asymptotics or the number of black holes. It therefore rules out the possibility of extremal multi-black holes in de Sitter at least for analytic spacetimes. This is particularly interesting in view of the above-mentioned fact that non-extremal static binary black holes have been recently constructed numerically [18]. This should also be contrasted with the static extremal Majumdar–Papapetrou multi-black holes in Einstein-Maxwell theory (no cosmological constant), which are analytic in four-dimensions but not in higher dimensions [14, 33, 34]. Furthermore, it has been argued that extremal black holes with a cosmological constant are generically not smooth at the horizon [35]. It is therefore possible that extremal multi-black holes in de Sitter may exist under weaker differentiability assumptions.Footnote 3
The above method can also be applied to \(\Lambda <0\) spacetimes that contain static extremal horizons with hyperbolic compact cross-sections.Footnote 4 However, in contrast to the \(\Lambda >0\) case, we find that if \(\Lambda <0\) the transverse deformations are not unique even at first order; interestingly, the additional solutions correspond to harmonic 1-forms on the cross-section of the horizon. Therefore, the (first order) transverse deformations are determined by the first cohomology of the corresponding compact hyperbolic surface of genus \(g \ge 2\), which is 2g-dimensional. Furthermore, even if we restrict to the trivial first-order deformation (these correspond to the extremal hyperbolic Schwarzschild-AdS solutions), we are unable to prove that the higher order deformations are unique as in the \(\Lambda >0\) case. In particular, the Einstein equations also reduce to an eigenvalue equation for the laplacian, except for \(\Lambda <0\) the eigenvalues are now positive. We find that a uniqueness theorem analogous to Theorem 1, for the extremal Schwarzschild-AdS solutions with a given compact hyperbolic cross-section, can be proven if and only if the first-order deformations are trivial and the spectrum of the scalar laplacian on the corresponding compact hyperbolic surface does not contain any eigenvalues of the form \(\lambda _n=n^2+n-2\) for integer \(n\ge 2\) (if the curvature is unit normalised). However, determining the spectrum of the laplacian on compact hyperbolic surfaces is an open problem, so we are unable to prove any definite uniqueness result for \(\Lambda <0\). For certain special points in the moduli space of compact hyperbolic surfaces eigenvalues of this form can be realised [37], however, presumably this is not the case generically and therefore we still expect uniqueness to hold in this sense. We discuss this further at the end of Sect. 3.
The organisation of this article is as follows. In Sect. 2 we review the Schwarzschild-(A)dS solutions. In Sect. 3 we introduce the notion of transverse deformations of extremal horizons and determine them to all orders for the extremal Schwarzschild-(A)dS horizons. In Appendix A we give the Ricci tensor in Gaussian null coordinates. In Appendix B we prove a decomposition theorem for traceless symmetric 2-tensors on compact hyperbolic surfaces.
2 Extremal Schwarzschild (anti)-de Sitter solutions
In this section we review the \(d\ge 4\)-dimensional Schwarzschild solutions with a cosmological constant \(\Lambda \) and examine their extremal limits. Our conventions are such that the solutions satisfy the Einstein equation \(R_{\mu \nu }= \Lambda g_{\mu \nu }\).
For \(\Lambda >0\), the d-dimensional Schwarzschild-dS solutions are given by [38]
where \(\text {d}\Omega _{d-2}^2\) is the unit metric on the \((d-2)\)-sphere \(S^{d-2}\), and \(0\le m\le m_{\max }\) is a mass parameter with
For \(m =0\) this gives de Sitter space, for \(0<m<m_{\max }\) the Schwarzschild-dS black hole, which contains a black hole horizon and a cosmological horizon. For \(m=m_{\max }\) one obtains the extremal Schwarzschild-dS solution, for which these two horizons coincide such that there is a degenerate horizon at \(r= r_0\). The Penrose diagramFootnote 5 of its maximal analytic extension can be seen in Fig. 1a [39, 40]. Note that P are asymptotic points which can be reached by causal geodesics with \(t=\,\textrm{const}\,\) and for such observers \(r= r_0\) is an event horizon.
One can also take the \(m\rightarrow m_{\max }\) limit and simultaneously ‘blow up’ the outer region between the cosmological and black hole horizons [42] to obtain the Nariai solution [43,44,45]. This is simply the vacuum solution \(\hbox {dS}_2\times S^{d-2}\) with constant radii, which also arises as the near-horizon geometry of the extremal Schwarzschild-dS solution.
For \(\Lambda <0\) the hyperbolic Schwarzschild-AdS solution is given by
where \(\text {d}\Sigma _{d-2}^2\) is the metric of \((d-2)\)-dimensional unit hyperbolic space \(H^{d-2}\) and \(m_{\min }\le m\) with
(Note that \(m_{\min }<0\).) To obtain horizons with compact cross-sections one takes a discrete quotient of the \(d-2\) dimensional hyperbolic space. For \(d=4\), it is known that one can obtain compact hyperbolic surfaces with any genus \(g\ge 2\), hence these black holes are also known as topological black holes. In the extremal case \(m=m_{\min }\) one obtains a solution with a degenerate horizon at \(r= r_0\) and its Penrose diagram is depicted in Fig. 1b [41]. Its near-horizon geometry is \(\hbox {AdS}_2\times H^{d-2}\) with constant radii, sometimes called the anti-Nariai solution [46].
The extremal Schwarzschild-dS and hyperbolic Schwarzschild-AdS solutions can be written in a unified way as
with \(s=\pm 1\), where \(\gamma _1= \text {d}\Omega _{d-2}^2\) and \(\gamma _{-1}= \text {d}\Sigma _{d-2}^2\), so \(\text {Ric}(\gamma _s)= s (d-3)\gamma _s\), and
It is easy to check that f(r) has a double zero at \(r= r_0\) and can be written as
which also shows that it is strictly negative away from the horizon. Thus, in the \(s=1\) case (extremal Schwarzschild-dS) the Killing vector field \(\partial _t\) is spacelike outside the horizon and r acquires the interpretation of a time coordinate.
3 Transverse deformations of static extremal horizons
3.1 Einstein equations near an extremal horizon
Let (M, g) be a d-dimensional spacetime satisfying the Einstein equation
that contains a smooth degenerate (extremal) Killing horizon \({\mathcal {H}}\) of a Killing field K with a compact spacelike cross-section S. In a neighbourhood of \({\mathcal {H}}\) we introduce Gaussian null coordinates \((v, \rho , x^a)\) in terms of which the metric takes the form [23, 29],
where \(K=\partial _v\) is the Killing field, \(L:= \partial _\rho \) is a transverse null geodesic field synchronised so the horizon is at \(\rho =0\), \((x^a)\) are an arbitrary chart on S, and \(\phi , \beta _a\) vanish at the horizon \(\rho =0\). Furthermore, degeneracy of the horizon implies that \(\partial _\rho \phi \) must also vanish at the horizon, so we can introduce smooth functions \(F, h_a\), such that
This coordinate system is unique up to a choice of cross-section S and coordinates on S. The quantities F, \(h=h_a \text {d}x^a\), \(\mu =\mu _{ab}\text {d}x^a \text {d}x^b\) can be identified with a function, 1-form and Riemannian metric on the codimension-2 surfaces \(S_{v,\rho }\) of constant \((v, \rho )\) which include the cross-section S at \(\rho =0\).
The near-horizon geometry is defined as follows. Consider the 1-parameter family of metrics \(g_{\epsilon }:= \phi _\epsilon ^* g\) defined by the scaling diffeomorphism \(\phi _\epsilon : (v, \rho , x^a)\mapsto (v/\epsilon , \epsilon \rho , x^a)\) with \(\epsilon >0\). The near-horizon geometry is the limit \(\epsilon \rightarrow 0\) of \(g_\epsilon \), which gives
where the superscript \(\circ \) denotes the value of the quantity at \(\rho =0\), i.e. \(\mathring{F}(x)= F(0, x)\) etc. The near-horizon data \((\mathring{F}, \mathring{h}, \mathring{\mu })\) correspond to a function, 1-form and Riemannian metric on S. The Einstein equation (8) for the near-horizon geometry (which itself must be a solution), or the restriction of the Einstein equation for full spacetime metric (9) to \(\rho =0\), are equivalent to the following equations for the near-horizon data on S,
where \(\mathring{\nabla }_a, \mathring{{\mathcal {R}}}_{ab}\) are the metric connection and Ricci tensor of the metric \(\mathring{\mu }\) on S. The classification of solutions to these horizon equations has been extensively studied in the literature [23].
The first order transverse deformation of an extremal horizon was introduced in [24]. It is defined by \(g^{[1]}:= \frac{\text {d}}{\text {d}\epsilon } g_\epsilon |_{\epsilon =0}\) and encodes the first transverse derivatives of the metric data at the horizon, that is, \(F^{(1)}:=( \partial _\rho F)_{\rho =0}\), \(h_a^{(1)}:=( \partial _\rho h_a )_{\rho =0}\) and \(\mu _{ab}^{(1)}:=( \partial _\rho \mu _{ab})_{\rho =0}\). The Einstein equation (8) implies \(g^{[1]}\) satisfies a linearised Einstein equation in the background near-horizon geometry and it was shown that this is equivalent to \(\mu _{ab}^{(1)}\) satisfying a linear elliptic PDE (once gauge fixed) on \((S, \mathring{\mu })\) with the rest of the first-order data then determined algebraically.
We define the higher order transverse deformations of an extremal horizon similarly by
so \(g^{[0]}\) agrees with the near-horizon geometry, \(g^{[1]}\) with the first-order deformation, and \(n\ge 2\) gives the higher order deformations. Explicitly, the n-th order deformation \(g^{[n]}\) encodes the n-th transverse derivatives at the horizon of the metric data, that is,
(Note that this is equivalent to \(\phi ^{(n+2)}, \beta ^{(n+1)}_a, \mu ^{(n)}_{ab}\)). In general for any function X, we will adopt the notation \(X^{(n)}:= (\partial _\rho ^n X)_{\rho =0}\) for \(n \ge 0\). Therefore, for analytic spacetimes, if all higher order transverse deformations of an extremal horizon are known, the exact solution is fully determined.
The Einstein equation (8) implies that the n-th order transverse deformation satisfies \(\text {Ric}^{[n]}(g)= \Lambda g^{[n]} \) for all \(n\ge 0\), where \(\text {Ric}^{[n]}(g):= \frac{\text {d}^n}{\text {d}\epsilon ^n} \text {Ric}(g^\epsilon )|_{\epsilon =0}\). In fact, we will implement the Einstein equations more directly and simply evaluate the \(\rho \)-derivatives at \(\rho =0\) of the components of the Einstein equation (8) in Gaussian null coordinates, that is,
where the notation is as above so \(R_{\mu \nu }^{(n)}:= (\partial _\rho ^nR_{\mu \nu })_{\rho =0}\) and similarly for \(g_{\mu \nu }\). For this computation we need the Ricci tensor for a general metric in Gaussian null coordinates (9). This has been written down in a convenient form in [29] (see also the Appendix of [47]). The components of the Ricci tensor of (9) relevant for our calculation are given in Appendix A.
3.2 Horizon geometry and first-order transverse deformations
For every dimension \(d\ge 4\), we consider the following near-horizon data
where \(\mathcal {\mathring{R}}_{abcd}\) is the Riemann tensor of \((S, \mathring{\mu })\), so in particular \(\mathcal {\mathring{R}}_{ab}= \Lambda \mathring{\mu }_{ab}\), which corresponds to the most general static near-horizon geometry with maximally symmetric compact cross-sections S [6, 48, 49]. In fact, for \(d=4\) and any \(\Lambda \), it has been shown that this is the most general static near-horizon geometry with compact S [6]. Furthermore, (16) corresponds to the near-horizon data of the \( d\ge 4\) extremal Schwarzschild-(A)dS solution (5). To see this, switch to (ingoing) Eddington-Finkelstein coordinates defined by \(\text {d}v = \text {d}t + s f(r)^{-1}\text {d}r\), \(\rho =r- r_0\), so (5) becomes
and using (7) one can immediately read off that the nearhorizon data is (16) with \(\mathring{\mu }= r_0^2\gamma _s\).
For the near-horizon geometry (16) with \(\Lambda >0\), the first-order transverse deformations have been determined [25]. For completeness, we will now give an alternate derivation of this result.
Proposition 1
Consider a spacetime that satisfies the Einstein equation (8) and contains an extremal horizon with a compact cross-section S with near-horizon data (16). If \(d \ge 4\) and \(\Lambda >0\), the first-order transverse deformations are given by
where C is an arbitrary constant.
Proof
As discussed in [24], there is a gauge freedom that leaves the near-horizon data invariant, but changes the first (and higher) order deformations. This freedom corresponds to a change in the spatial cross-section S, analogous to ‘supertranslations’ in asymptotic symmetries. For the horizon data (16), the first transverse deformation of \(\mu _{ab}\) transforms under such a gauge transformation as
where f is an arbitrary function on S that generates the gauge transformation. We may fix this gauge by requiring that
for some constant C, which is always possible by existence results for the Poisson-equation on compact manifolds. Note that this completely fixes the Gaussian null coordinates (up to choice of coordinates on S).
Now we implement the Einstein equations (15) for the first-order deformation of the near-horizon data (16), where recall that the Ricci tensor in Gaussian null coordinates is given in Appendix A. We find that the Einstein equations \({R}^{(0)}_{\rho a}=0\) and \(R^{(1)}_{v\rho }=0\) yield
respectively, hence \({\phi }^{(3)}\) and \(\beta ^{(2)}\) (or by (10) equivalently \(F^{(1)}\) and \(h^{(1)}\)) are determined by \(\mu ^{(1)}_{ab}\). Next, we find that the Einstein equation \(R^{(1)}_{ab}=\Lambda \mu ^{(1)}_{ab}\) gives
where \({\mathcal {R}}_{ab}\) is the Ricci tensor of the codimension-2 surfaces \((S_{v,\rho }, \mu )\) and we have used (16) and (22) to eliminate \(\beta ^{(2)}_a\). The variation of the Ricci tensor is given by
where \(\mathring{\Delta }_L\) is the Lichnerowicz operator of \((S, \mathring{\mu })\) which explicitly is
and
Finally, using (24), (20) and (16), equation (23) reduces to
where \({{\hat{\mu }}}^{(1)}_{ab}:= \mu ^{(1)}_{ab}-C\mu _{ab}\) is the traceless part of \(\mu ^{(1)}_{ab}\).
The laplacian \(-\mathring{\nabla }^2\) is positive-definite for a compact manifold, hence for \(\Lambda >0\) the only solution is \({\hat{\mu }}^{(1)}_{ab}=0\). Therefore, for the \(d\ge 4\) extremal Schwarzschild-dS horizon (\(\Lambda >0\)) the first-order transverse deformations are given by (18), where the rest of the first-order data is fixed by (21), (22), which establishes Proposition 1. \(\square \)
This result shows that the only nonvanishing first-order transverse deformations to the extremal Schwarzschild-dS horizon are those corresponding to the full extremal Schwarzschild-dS solution.
The above argument fails for \(\Lambda <0\) because the eigenvalue in (27) are in this case positive. In the four-dimensional case, the first-order deformations are given as follows.
Proposition 2
Consider a spacetime that satisfies the Einstein equation (8) and contains an extremal horizon with a compact cross-section S with near-horizon data (16). If \(d=4\) and \(\Lambda <0\), the first-order deformations are given by
where \(g\ge 2\) is the genus of the hyperbolic surface S, C and \(C_i\) are constants, and \(\{\xi ^i\}_{i=1}^{2g}\) is a basis of harmonic 1-forms on S with respect to the Hodge–de Rham laplacian.
Proof
As in the \(\Lambda >0\) case, the first-order deformations are determined by solutions to (27) through (21–22). In Appendix B we show that the space of traceless symmetric (0, 2) tensor fields on S is spanned by
where \(\mathring{\epsilon }\) is the volume form of \((S, \mathring{\mu })\), \(f^{\{\lambda \}}\) are eigenfunctions of \(-\mathring{\nabla }^2\) with eigenvalues \(\lambda |\Lambda | > 0\), \(\{\xi ^i\}_{i=1}^{2g}\) is a basis of harmonic 1-forms on S with respect to the Hodge–de Rham laplacian \(\Delta =-\mathring{\nabla }^2+\Lambda \), and \(Y^{\{2\}}\) is a divergence-free traceless symmetric (0, 2) tensor. Note that the space of harmonic 1-forms for a genus g hyperbolic surface is 2g-dimensional. Furthermore, \(S^{\{\lambda +4\}}, P^{\{\lambda +4\}}, V^{\{4\}}, Y^{\{2\}}\) are eigentensors of \(-\mathring{\nabla }^2\) with eigenvalues \((\lambda +4)|\Lambda |\), \((\lambda +4)|\Lambda |\), \(4|\Lambda |\) and \(2|\Lambda |\), respectively. Now, comparison with (27) yields that \({{\hat{\mu }}}^{(1)}_{ab}\) must be in the span of \(V_{ab}^{\{4\}}\). The form of \(\beta ^{(2)}\) and \(\phi ^{(3)}\) follows from (21–22). \(\square \)
The first-order deformations with \(C_i=0\) in Proposition 2 correspond to those of the extremal hyperbolic Schwarzschild-AdS solution. Therefore, the above result shows that the first-order transverse deformations of the extremal hyperbolic Schwarzschild-AdS horizon are not unique, but parameterised by harmonic 1-forms on S. Interestingly, the first cohomology of S provides an obstruction to the uniqueness of these deformations. This non-uniqueness was not found in [25] since that work did not consider the tensors \(V^{\{4\}}\).
3.3 Second and higher order transverse deformations
We now consider higher order transverse deformations of extremal horizons with near-horizon data (16) and first-order data (18). It is convenient to first consider the second-order deformations.
Proposition 3
Consider a spacetime with an extremal horizon as in Proposition 1 and \(\Lambda >0\). The second-order transverse deformations are given by
Proof
Consider the Einstein equation (15) for the second-order deformation of the near-horizon data (16), assuming the first-order data (18), where recall the components of the Ricci tensor are given in Appendix A. Firstly, we note that \({R}^{(0)}_{\rho \rho }=0\) reduces to
where we have used (20), which shows that the trace of the second-order deformation of \(\mu _{ab}\) is also a constant. Next, we find that the Einstein equations \(R^{(2)}_{v\rho }=0\) and \(R^{(1)}_{\rho a}=0\) reduce to
respectively, where we have used (31) together with the lower order data. Thus analogously to the first-order deformations, we deduce that \(\phi ^{(4)}\) and \(\beta ^{(3)}\) (that is \(F^{(2)}\) and \(h^{(2)}\)) are determined in terms of \(\mu ^{(2)}\). The Einstein equation \(R^{(2)}_{ab}=\Lambda \mu ^{(2)}_{ab}\) yields
We may evaluate the second variation of the Ricci tensor \({\mathcal {R}}^{(2)}_{ab}\) as follows.
First note that we have so far shown that
Now define a rescaled metric by \(\mu =(1+C\rho ){{\tilde{\mu }}}\) so that
where we have introduced a new expansion parameter \(\varepsilon :=\frac{1}{2}\frac{\rho ^2}{1+C\rho }\). Thus we can expand the Ricci tensor of \(\mu _{ab}\) as
where \(\tilde{{\mathcal {R}}}_{ab}\) is the Ricci tensor of \({{\tilde{\mu }}}_{ab}\). Thus, recalling that \({\mathcal {R}}^{(2)}_{\mu \nu }= (\partial ^2_\rho {\mathcal {R}}_{\mu \nu })_{\rho =0}\) and \(\varepsilon = \tfrac{1}{2}\rho ^2+O(\rho ^3)\), we deduce that the second variation of the Ricci tensor is given by the usual first variation of the Ricci tensor applied to the second variation of the metric, that is,
where \(v^{(2)}_a=\mathring{\nabla }^b\mu ^{(2)}_{ba}- \frac{1}{2} \mathring{\nabla }_a (\mathring{\mu }^{cd}\mu ^{(2)}_{cd})\).
We now have all the required ingredients. Using (38), (33), (31) and (16), we find that (34) simplifies to
where \({{\hat{\mu }}}^{(2)}_{ab}:= \mu ^{(2)}_{ab}-\frac{C^2}{2}\mathring{\mu }_{ab}\) is the traceless part of \(\mu ^{(2)}_{ab}\) (recall (31)). Therefore, for \(\Lambda >0\) we again deduce that the solution is unique and in this case given by \({\hat{\mu }}^{(2)}_{ab}=0\). The rest of the second order data is fixed by (32), (33) which gives (30). \(\square \)
This shows that for the \(d\ge 4\) extremal Schwarzschild-dS horizon the nonzero second-order transverse deformations are also uniquely given by the full extremal Schwarzschild-dS solution.
We will now turn to higher order deformations. Our main result is the following.
Proposition 4
Consider a spacetime with an extremal horizon as in Proposition 1 and \(\Lambda >0\). The n-th order transverse deformations for \(n\ge 3\) are given by
Proof
We prove this by induction. Thus let \(n\ge 3\) and for the induction hypothesis assume that to \((n-1)\)-th order
The base case \(n=3\) is established in Propositions 1 and 3.
The method is identical to that for the second-order calculation. We implement the Einstein equation (15) for the n-th order data assuming the above induction hypothesis, again using the components of the Ricci tensor in Appendix A. Firstly, we find \(R^{(n-2)}_{\rho \rho }=0\) determines the trace of n-th order deformation of \(\mu _{ab}\) to be
Then \(R^{(n)}_{v\rho }=0\) and \(R^{(n-1)}_{\rho a}=0\) determine \(\phi ^{(n+2)}\) and \(\beta ^{(n+1)}\) (\(F^{(n)}\) and \(h^{(n)}\)) uniquely in terms of \(\mu ^{(n)}\) to be
where we have used (41–43) for the lower order terms. Next, \(R^{(n)}_{ab}=\Lambda \mu ^{(n)}_{ab}\) yields
where \(\cdot \) denotes the \(\rho \)-derivative (without evaluating at \(\rho =0\)). To evaluate the right-hand side of (47) it is useful to note that the induction hypothesis (41) is equivalent to
Indeed, upon substituting (48) and its inverse into (47), the \(\rho \)-dependent prefactors cancel thus simplifying the calculation. Using (41), we can evaluate
Substituting (49) into (47), the lower order terms (right-hand side of (47) and first term of (49)) cancel by the induction hypothesis (41–43). Thus, using (46), (47) reduces to
Using the same method for evaluating \({\mathcal {R}}^{(n)}_{ab}\) as for the second variation (see (38)) we find
where \(v^{(n)}_a=\mathring{\nabla }^b\mu ^{(n)}_{ba}- \frac{1}{2} \mathring{\nabla }_a (\mathring{\mu }^{cd}\mu ^{(n)}_{cd})\).
Finally, using (44), (51), (16), we find that (50) reduces to a simple eigenvalue equation
For \(\Lambda >0\) the only solution is therefore \(\mu ^{(n)}_{ab}=0\). Then substituting back into (46) and (45) we find that the rest of the n-th order data is
Therefore, the claim follows by induction.\(\square \)
We can now deduce our main result which is a more detailed statement of Theorem 1.
Theorem 2
Consider an analytic spacetime that satisfies the Einstein equation (8) with \(\Lambda >0\), containing an extremal Killing horizon with a compact cross-section S and near-horizon data (16). Then the metric is given by (9) where
C is a constant, and \(r_0\) is defined in (2). If \(C=0\) this is the near-horizon geometry \(dS_2\times S^{d-2}\) (Nariai solution). If \(C\ne 0\), this is the \(d\ge 4\) extremal Schwarzschild de Sitter spacetime.
Proof
The assumption of analyticity means that metric components can be expressed as Taylor series \(\phi =\sum _{n\ge 0}\frac{ \phi ^{(n)}}{n!} \rho ^n\) and similarly for \(\beta _a, \mu _{ab}\). The coefficients \(\phi ^{(n)}\) etc. are given by Propositions 1, 3 and 4 and the resulting series can be summed to obtain (54). For \(C=0\) one obtains \(\text {d}S_2\times S^{d-2}\) where the 2d de Sitter space \(\text {d}S_2\) is written in coordinates adapted to an extremal horizon. For \(C\ne 0\), one can rescale \(\rho \) and v by
so that the solution explicitly becomes the extremal Schwarzschild-dS solution (17), (6). \(\square \)
Finally, we consider higher order deformations in the \(d=4\), \(\Lambda <0\) case. In Proposition 2 we have seen that there is a nontrivial space of first-order transverse deformations of the horizon of extremal hyperbolic Schwarzschild-AdS, which are determined by the cohomology of the corresponding hyperbolic surface. It is an interesting question what solutions to the Einstein equation, if any, these cohomological first-order deformations correspond to, but we will not pursue this here.
Let us suppose that the first-order deformation is that of the extremal Schwarzschild-AdS solution, that is, restrict to the \(C_i=0\) deformations in Proposition 2. For such solutions, the proofs of Propositions 3 and 4 show that non-trivial deformations starting at order \(n\ge 2\) exist, if and only if nontrivial eigentensors of \(-\mathring{\nabla }^2\) on S with eigenvalue \((n^2+n+2)| \Lambda |\) exist. We can again expand the deformation \(\mu _{ab}^{(n)}\) in the basis (29) to deduce that nontrivial solutions starting at n-th order exist, if and only if there exist eigenvalues of the scalar laplacian of the form
for \(n\ge 2\). Therefore, for \(d=4, \Lambda <0\) one is not guaranteed uniqueness at any order. Nevertheless, we may state the following conditional result.
Proposition 5
Consider a spacetime with an extremal horizon as in Proposition 2 and assume that the first-order deformation is given by that of the extremal hyperbolic Schwarzschild-AdS solution (so \(C_i=0\)). Then Theorem 2 is valid if the spectrum of the scalar laplacian on the hyperbolic surface \((S, \mathring{\mu })\), where \(\text {Ric}(\mathring{\mu })=-|\Lambda | \mathring{\mu }\), does not contain any eigenvalue of the form (56) for integer \(n\ge 2\). In this case, the solution is either the near-horizon geometry \(\text {AdS}_2\times H^2\) (\(C=0\)) or the extremal hyperbolic Schwarzschild-AdS spacetime (\(C\ne 0\)).
Interestingly, the spectrum of the laplacian on compact hyperbolic surfaces is an open problem and we are not aware of any analytic results that would in general rule out the eigenvalues (56). For certain symmetric hyperbolic surfaces, including the Bolza surface and the Klein quartic, the first couple hundred eigenvalues have been computed numerically [50], and none of them are of the form (56) (in fact, none of them are integers in units of \(|\Lambda |\)). It is well-known that compact hyperbolic surfaces of genus g have a \((6g-6)\)-dimensional moduli space. It is natural to expect that, for a fixed genus, the spectrum is (generically) a continuous function of the moduli. In fact, it has been shown that non-degenerate eigenvalues are analytic functions of the moduli [51]. Interestingly, numerical results suggest that for special points in the moduli space of hyperbolic surfaces, eigenvalues of the form (56) can be realised [37]. However, at generic points in the moduli space we expect that this is not the case. Therefore, it seems reasonable to conjecture that, for generic compact hyperbolic surfaces, such eigenvalues do not occur and hence uniqueness of higher order deformations holds (assuming the first-order deformation is as stated in Proposition 5). On the other hand, if one drops the assumption that S is compact, then eigenvalues of the scalar laplacian on hyperbolic space of the form (56) do always exist and therefore in this case uniqueness may be violated at all orders.
Data Availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Although their analysis assumes the generators of the horizon are periodic, this assumption is only used for proving existence of a Killing vector field tangent to the generators. Thus, their argument also applies to extremal Killing horizons with a toroidal cross-section, without any assumptions on the horizon generators.
By static we mean that the Killing field that is null on the horizon is everywhere hypersurface orthogonal, but not necessarily timelike anywhere. Indeed, for the extremal Schwarzschild-dS solution, this Killing field is strictly spacelike away from the horizon.
These would be different to the dynamical multi-black holes in de Sitter [36].
The spherical Schwarzschild-AdS black hole does not have an extremal limit.
One can also draw a time-reversed Penrose diagram, with the singularity at the bottom, and \({{\mathcal {J}}}^+\) at the top.
We noticed that a \(\frac{1}{2}\nabla ^a\dot{h}_a\) term is missing in the \(\rho v\) component in [47].
References
Chrusciel, P.T., Lopes Costa, J., Heusler, M.: Stationary black holes: uniqueness and beyond. Living Rev. Rel. 15, 7 (2012). https://doi.org/10.12942/lrr-2012-7. arXiv:1205.6112 [gr-qc]
Amsel, A.J., Horowitz, G.T., Marolf, D., Roberts, M.M.: Uniqueness of extremal Kerr and Kerr–Newman Black Holes. Phys. Rev. D 81, 024033 (2010). https://doi.org/10.1103/PhysRevD.81.024033. arXiv:0906.2367 [gr-qc]
Figueras, P., Lucietti, J.: On the uniqueness of extremal vacuum black holes. Class. Quant. Grav. 27, 095001 (2010). https://doi.org/10.1088/0264-9381/27/9/095001. arXiv:0906.5565 [hep-th]
Kleinwächter, A., Petroff, D., Neugebauer, G., Ansorg, M., Meinel, R. (eds.): Analytical treatment of limiting cases. In: Relativistic Figures of Equilibrium, pp. 34–113. Cambridge University Press, Cambridge (2008). https://doi.org/10.1017/CBO9780511535154.004
Chrusciel, P.T., Nguyen, L.: A uniqueness theorem for degenerate Kerr–Newman black holes. Ann. Henri Poincare 11, 585–609 (2010). https://doi.org/10.1007/s00023-010-0038-3. arXiv:1002.1737 [gr-qc]
Chrusciel, P.T., Reall, H.S., Tod, P.: On non-existence of static vacuum black holes with degenerate components of the event horizon. Class. Quant. Grav. 23, 549–554 (2006). https://doi.org/10.1088/0264-9381/23/2/018. arXiv:gr-qc/0512041
Chrusciel, P.T., Reall, H.S., Tod, P.: On Israel–Wilson–Perjes black holes. Class. Quant. Grav. 23, 2519–2540 (2006). https://doi.org/10.1088/0264-9381/23/7/018. arXiv:gr-qc/0512116
Emparan, R., Reall, H.S.: A Rotating black ring solution in five-dimensions. Phys. Rev. Lett. 88, 101101 (2002). https://doi.org/10.1103/PhysRevLett.88.101101. arXiv:hep-th/0110260
Emparan, R., Reall, H.S.: Black Holes in Higher Dimensions. Living Rev. Rel. 11, 6 (2008). https://doi.org/10.12942/lrr-2008-6. arXiv:0801.3471 [hep-th]
Hollands, S., Ishibashi, A.: Black hole uniqueness theorems in higher dimensional spacetimes. Class. Quant. Grav. 29, 163001 (2012). https://doi.org/10.1088/0264-9381/29/16/163001. arXiv:1206.1164 [gr-qc]
Gibbons, G.W., Ida, D., Shiromizu, T.: Uniqueness and nonuniqueness of static vacuum black holes in higher dimensions. Prog. Theor. Phys. Suppl. 148, 284–290 (2003). https://doi.org/10.1143/PTPS.148.284. arXiv:gr-qc/0203004
Gibbons, G.W., Ida, D., Shiromizu, T.: Uniqueness of (dilatonic) charged black holes and black p-branes in higher dimensions. Phys. Rev. D 66, 044010 (2002). https://doi.org/10.1103/PhysRevD.66.044010. arXiv:hep-th/0206136
Kunduri, H.K., Lucietti, J.: No static bubbling spacetimes in higher dimensional Einstein-Maxwell theory. Class. Quant. Grav. 35(5), 054003 (2018). https://doi.org/10.1088/1361-6382/aaa744. arXiv:1712.02668 [gr-qc]
Lucietti, J.: All higher-dimensional Majumdar–Papapetrou black holes. Ann. Henri Poincare 22(7), 2437–2450 (2021). https://doi.org/10.1007/s00023-021-01037-0. arXiv:2009.05358 [gr-qc]
Breunhölder, V., Lucietti, J.: Moduli space of supersymmetric solitons and black holes in five dimensions. Commun. Math. Phys. 365(2), 471–513 (2019). https://doi.org/10.1007/s00220-018-3215-8. arXiv:1712.07092 [hep-th]
Katona, D., Lucietti, J.: Supersymmetric black holes with a single axial symmetry in five dimensions. Commun. Math. Phys. 399(2), 1151–1201 (2023). https://doi.org/10.1007/s00220-022-04576-7. arXiv:2206.11782 [hep-th]
Borghini, S., Chruściel, P.T., Mazzieri, L.: On the uniqueness of Schwarzschild-de Sitter spacetime. Arch. Ration. Mech. Anal. 247(2), 1–35 (2023). https://doi.org/10.1007/s00205-023-01860-1. arXiv:1909.05941 [math.DG]
Dias, O.J.C., Gibbons, G.W., Santos, J.E., Way, B.: Static black binaries in de Sitter (2023). arXiv:2303.07361 [gr-qc]
Chrusciel, P.T., Simon, W.: Towards the classification of static vacuum space-times with negative cosmological constant. J. Math. Phys. 42, 1779–1817 (2001). https://doi.org/10.1063/1.1340869. arXiv:gr-qc/0004032
Lee, D., Neves, A.: The penrose inequality for asymptotically locally hyperbolic spaces with nonpositive mass. Communications in Mathematical Physics 339 (2015). arXiv:1310.3002 [math.DG]. https://doi.org/10.1007/s00220-015-2421-x
Chrusciel, P.T., Delay, E.: Non-singular, vacuum, stationary space-times with a negative cosmological constant. Ann. Henri Poincare 8, 219–239 (2007). https://doi.org/10.1007/s00023-006-0306-4. arXiv:gr-qc/0512110
Chruściel, P.T., Delay, E., Klinger, P.: On non-degeneracy of Riemannian Schwarzschild-anti de Sitter metrics. Adv. Theor. Math. Phys. 23(5), 1215–1269 (2019). https://doi.org/10.4310/ATMP.2019.v23.n5.a2. arXiv:1710.07597 [gr-qc]
Kunduri, H.K., Lucietti, J.: Classification of near-horizon geometries of extremal black holes. Living Rev. Rel. 16, 8 (2013). https://doi.org/10.12942/lrr-2013-8. arXiv:1306.2517 [hep-th]
Li, C., Lucietti, J.: Transverse deformations of extreme horizons. Class. Quant. Grav. 33(7), 075015 (2016). https://doi.org/10.1088/0264-9381/33/7/075015. arXiv:1509.03469 [gr-qc]
Li, C., Lucietti, J.: Electrovacuum spacetime near an extreme horizon. Adv. Theor. Math. Phys. 23(7), 1903–1950 (2019). https://doi.org/10.4310/ATMP.2019.v23.n7.a5. arXiv:1809.08164 [gr-qc]
Kolanowski, M.: Towards the black hole uniqueness: transverse deformations of the extremal Reissner–Nordström-(A)dS horizon. JHEP 01, 042 (2022). https://doi.org/10.1007/JHEP01(2022)042. arXiv:2111.00806 [gr-qc]
Dunajski, M., Gutowski, J., Sabra, W.: Einstein–Weyl spaces and near-horizon geometry. Class. Quant. Grav. 34(4), 045009 (2017). https://doi.org/10.1088/1361-6382/aa5992. arXiv:1610.08953 [hep-th]
Fontanella, A., Gutowski, J.B.: Moduli spaces of transverse deformations of near-horizon geometries. J. Phys. A 50(21), 215202 (2017). https://doi.org/10.1088/1751-8121/aa6cbf. arXiv:1610.09949 [hep-th]
Moncrief, V., Isenberg, J.: Symmetries of cosmological Cauchy horizons. Commun. Math. Phys. 89(3), 387–413 (1983). https://doi.org/10.1007/BF01214662
Li, C., Lucietti, J.: Three-dimensional black holes and descendants. Phys. Lett. B 738, 48–54 (2014). https://doi.org/10.1016/j.physletb.2014.09.012. arXiv:1312.2626 [hep-th]
Lucietti, J., Ovchinnikov, S.G.: Uniqueness of supersymmetric AdS5 black holes with SU(2) symmetry. Class. Quant. Grav. 38(19), 195019 (2021). https://doi.org/10.1088/1361-6382/ac13b7. arXiv:2105.08542 [hep-th]
Lucietti, J., Ntokos, P., Ovchinnikov, S.G.: On the uniqueness of supersymmetric AdS(5) black holes with toric symmetry. Class. Quant. Grav. 39(24), 245006 (2022). https://doi.org/10.1088/1361-6382/aca193. arXiv:2208.00896 [hep-th]
Welch, D.L.: On the smoothness of the horizons of multi-black hole solutions. Phys. Rev. D 52, 985–991 (1995). https://doi.org/10.1103/PhysRevD.52.985. arXiv:hep-th/9502146
Candlish, G.N., Reall, H.S.: On the smoothness of static multi-black hole solutions of higher-dimensional Einstein–Maxwell theory. Class. Quant. Grav. 24, 6025–6040 (2007). https://doi.org/10.1088/0264-9381/24/23/022. arXiv:0707.4420 [gr-qc]
Horowitz, G.T., Kolanowski, M., Santos, J.E.: Almost all extremal black holes in AdS are singular. JHEP 01, 162 (2023). https://doi.org/10.1007/JHEP01(2023)162. arXiv:2210.02473 [hep-th]
Kastor, D., Traschen, J.H.: Cosmological multi-black hole solutions. Phys. Rev. D 47, 5370–5375 (1993). https://doi.org/10.1103/PhysRevD.47.5370. arXiv:hep-th/9212035
Bonifacio, J.: Bootstrap bounds on closed hyperbolic manifolds. JHEP 02, 025 (2022). https://doi.org/10.1007/JHEP02(2022)025. arXiv:2107.09674 [hep-th]
Cardoso, V., Dias, O.J.C., Lemos, J.P.S.: Nariai, Bertotti–Robinson and anti-Nariai solutions in higher dimensions. Phys. Rev. D 70, 024002 (2004). https://doi.org/10.1103/PhysRevD.70.024002. arXiv:hep-th/0401192
Lake, K., Roeder, R.C.: Effects of a nonvanishing cosmological constant on the spherically symmetric vacuum manifold. Phys. Rev. D 15, 3513–3519 (1977). https://doi.org/10.1103/PhysRevD.15.3513
Podolsky, J.: The Structure of the extreme Schwarzschild–de Sitter space-time. Gen. Rel. Grav. 31, 1703–1725 (1999). https://doi.org/10.1023/A:1026762116655. arXiv:gr-qc/9910029
Mann, R.B.: Topological black holes: outside looking in. Ann. Israel Phys. Soc. 13, 311 (1997). arXiv:gr-qc/9709039
Ginsparg, P., Perry, M.J.: Semiclassical perdurance of de sitter space. Nucl. Phys. B 222(2), 245–268 (1983). https://doi.org/10.1016/0550-3213(83)90636-3
Nariai, H.: On a new cosmological solution of Einstein’s field equations of gravitation. Gen. Relat. Gravit. 31(6), 963–971 (1999). https://doi.org/10.1023/A:1026602724948
Nariai, H.: On some static solutions of Einstein’s gravitational field equations in a spherically symmetric case. Gen. Relat. Gravit. 31(6), 951–961 (1999). https://doi.org/10.1023/A:1026698508110
Nariai, H.: On some static solutions of Einstein’s gravitational field equations in a spherically symmetric case. Sci. Rep. Tohoku Univ. 34, 160 (1950)
Caldarelli, M., Vanzo, L., Zerbini, S.: The extremal limit of d-dimensional black holes. In: Conference on Geometrical Aspects of Quantum Fields, pp. 56–63 (2000). https://doi.org/10.1142/9789812810366_0005
Hollands, S., Ishibashi, A.: On the ‘Stationary Implies Axisymmetric’ theorem for extremal black holes in higher dimensions. Commun. Math. Phys. 291, 403–441 (2009). https://doi.org/10.1007/s00220-009-0841-1. arXiv:0809.2659 [gr-qc]
Bahuaud, E., Gunasekaran, S., Kunduri, H.K., Woolgar, E.: Static near-horizon geometries and rigidity of quasi-Einstein manifolds. Lett. Math. Phys. 112(6), 116 (2022). https://doi.org/10.1007/s11005-022-01610-6. arXiv:2208.02962 [math.DG]
Wylie, W.: Rigidity of compact static near-horizon geometries with negative cosmological constant. Lett. Math. Phys. 113(2), 29 (2023). https://doi.org/10.1007/s11005-023-01654-2
Strohmaier, A., Uski, V.: An algorithm for the computation of eigenvalues, spectral zeta functions and zeta-determinants on hyperbolic surfaces. Commun. Math. Phys. 317 (2011). arXiv:1110.2150 [math.SP]. https://doi.org/10.1007/s00220-012-1557-1
Buser, P.: Geometry and Spectra of Compact Riemann Surfaces. Modern Birkhäuser Classics. Birkhäuser, Boston (2010). https://doi.org/10.1007/978-0-8176-4992-0
Voisin, C.: Hodge Theory and Complex Algebraic Geometry I. Cambridge Studies in Advanced Mathematics, vol. 1. Cambridge University Press, Cambridge (2002). https://doi.org/10.1017/CBO9780511615344
Acknowledgements
DK is supported by an EPSRC studentship. JL is supported by a Leverhulme Trust Research Project Grant RPG-2019-355. We thank James Bonifacio for useful comments on the spectrum of hyperbolic surfaces and pointing out the reference [37].
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Ricci tensor in Gaussian null coordinates
The components of the Ricci tensor for a general metric in Gaussian null coordinates can be found in [29] and alsoFootnote 6 in [47]. The metric reads (9) where recall we also we assume \(\partial _v\) is a Killing vector field. Then, the components of the Ricci tensor of g which we need are
where \(\cdot \) denotes a \(\rho \)-derivative, \(\nabla _a\) and \({\mathcal {R}}_{ab}\) are the metric connection and Ricci tensor of \(\mu _{ab}\) on the codimension-2 surfaces \(S_{v,\rho }\) of constant \((v,\rho )\).
Symmetric traceless 2-tensors on hyperbolic surfaces
In this section we prove the following decomposition for traceless symmetric tensor fields on a compact hyperbolic surface.
Proposition 6
The space of traceless symmetric (0, 2) tensor fields on a compact hyperbolic surface \((S, \mathring{\mu })\), with constant scalar curvature \(R=2\Lambda <0\), is spanned by eigentensors of \(-\mathring{\nabla }^2\),
where \(\mathring{\epsilon }\) is the volume form, \(f^{\{\lambda \}}\) are eigenfunctions of \(-\mathring{\nabla }^2\) with eigenvalues \(-\lambda \Lambda > 0\), \(\{\xi ^i\}_{i=1}^{2g}\) is a basis of harmonic 1-forms with respect to the Hodge–de Rham laplacian, and \(Y^{\{2\}}\) is a traceless symmetric divergence-free (0, 2) tensor. In particular, \(S^{\{\lambda +4\}}, P^{\{\lambda +4\}}, V^{\{4\}}, Y^{\{2\}}\) are eigentensors of \(-\mathring{\nabla }^2\) with eigenvalues \(-(\lambda +4)\Lambda \), \(-(\lambda +4)\Lambda \), \(-4 \Lambda \) and \(-2 \Lambda \), respectively.
Proof
For any traceless symmetric tensor \(T_{ab}\) we claim that there exists a 1-form \(X_a\) such that
is divergence-free (note that it is also trace-free by construction). Taking the divergence of (62) and requiring that \(\mathring{\nabla }^b Y_{ab}=0\) we obtain that such X must satisfy
This equation always has a unique solution for X and compact S, since the operator on the left-hand side is elliptic and self-adjoint and has a trivial kernel (see e.g. Theorem 5.22 in [52]). This establishes the claim of existence of the 1-form X above.
Next, by the Hodge-decomposition theorem \(X=\text {d}f+\star \text {d}g+\xi \), where f, g are functions on S, \(\star \) is the Hodge operator on S, and \(\xi \) is a harmonic 1-form with respect to the Hodge–de Rham laplacian \((\text {d}+ \star \text {d}\star )^2=-\mathring{\nabla }^2+\Lambda \) (for 1-forms on S). It follows that we can always decompose a traceless symmetric tensor \(T_{ab}\) in terms of functions f, g, a harmonic 1-form \(\xi \), and a divergence-free traceless symmetric tensor \(Y_{ab}\), as
The functions f, g can be each expanded in a basis of eigenfunctions \(f^{ \{\lambda \} }\) of \(-\mathring{\nabla }^2\). The space of harmonic 1-forms on a hyperbolic surface of genus \(g\ge 2\) corresponds to the first cohomology which is 2g-dimensional. Thus, using the above decomposition, we deduce that (61) span the space of traceless symmetric tensor fields.
Finally, the claim that (61) are all eigentensors of \(-\mathring{\nabla }^2\) with the stated eigenvalues follows by explicit calculation using the fact that \((S, \mathring{\mu })\) is maximally symmetric. \(\square \)
Interestingly, the above decomposition for traceless symmetric tensors on hyperbolic surfaces is more complicated than for the sphere \(S^2\). As is well known, on \(S^2\) the scalar-derived tensor harmonics (i.e. \(S^{\{\lambda +4\}}, P^{\{\lambda +4\}}\)) span the space of traceless symmetric tensor fields. This can be shown using similar arguments as above, noting that there are no harmonic 1- forms or divergence-free traceless symmetric tensors on \(S^2\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Katona, D., Lucietti, J. Uniqueness of the extremal Schwarzschild de Sitter spacetime. Lett Math Phys 114, 18 (2024). https://doi.org/10.1007/s11005-023-01761-0
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01761-0