On the Uniqueness of Schwarzschild–de Sitter Spacetime

Abstract

We establish a new uniqueness theorem for the three dimensional Schwarzschild–de Sitter metrics. For this, some new or improved tools are developed. These include a reverse Łojasiewicz inequality, which holds in a neighborhood of the extremal points of any smooth function. We further prove the smoothness of the set of maxima of the lapse, whenever this set contains a topological hypersurface. This leads to a new strategy for the classification of well behaved static solutions of vacuum Einstein equations with a positive cosmological constant, based on the geometry of the maximum-set of the lapse.

Introduction

A basic and fundamental question in the study of the mathematical aspects of General Relativity is the classification of the static solutions to the Einstein equations, starting from the case of vacuum solutions. The first result in this field is the celebrated Israel’s Theorem [30], concerning the uniqueness of the Schwarzschild solution, among the asymptotically flat static solutions to the vacuum Einstein equations. Different proofs and refinements of Israel’s result have been proposed by many authors [3, 14, 17, 31, 32, 48, 49, 52].

A similar analysis has been performed for asymptotically hyperbolic static solutions. Wang [51] and the second author together with Herzlich [19] proved a uniqueness theorem for the Anti de Sitter solution (compare [13]), whereas Lee and Neves [41] obtained a similar result for the Kottler spacetimes with negative mass aspect (compare [26, Remark 3.4]).

In contrast with the significant amount of achievements in the case $\mathrm{\Lambda }\leqq 0$, very little is known when $\mathrm{\Lambda }$ is positive, except in the locally conformally flat case [40], for perturbations of the model solutions [28] and under pinching assumptions on the curvature [4].

In order to set the stage for the problem, we recall that a $(n+1)$–dimensional vacuum static spacetime is a Lorentzian manifold $(X,\gamma )$ having the form

$$\begin{array}{c}\hfill X=\mathbb{R}\times M,\gamma =-u^{2}d{t}^2+g,\end{array}$$

where $t\in \mathbb{R}$, (M, g) is a n-dimensional Riemannian manifold with boundary and $u:M\to \mathbb{R}$ is a nonnegative smooth function vanishing precisely on the boundary of M, and satisfying the vacuum Einstein equations

$$\begin{array}{c}\hfill \text{Ric}(\gamma )=\frac{2\mathrm{\Lambda }}{n-1}\gamma .\end{array}$$

It is clear that a static vacuum spacetime is uniquely identified by the triple (M, g, u), which will then be referred to as a static triple or static solution. The function u is usually called lapse function or static potential in the literature. The connected components of $\partial M$ are referred to as horizons, as they typically correspond to Killing horizons in the associated spacetime.

Since we are interested in the positive cosmological constant case, it is natural to set $\mathrm{\Lambda }=n(n-1)/2$, and work under such a normalization, being clear that the general case is readily recovered through a simple rescaling. With this normalization, the most important family of n-dimensional static triples with positive cosmological constant, the so-called Birmingham-Kottler (BK) solutions (see [7, 34]), can be described as

$$\begin{array}{c}\hfill g=\frac{d{r}^2}{u^2}+r^2{g}_{\mathrm{\Sigma }},u^2=1-r^2-\frac{2m}{r^{n-2}},\end{array}$$ 1.1

where m is a real constant and $(\mathrm{\Sigma },g_{\mathrm{\Sigma }})$ is a $(n-1)$-dimensional simply connected Riemannian manifold with

$$\begin{array}{c}\hfill \text{Ric}(g_{\mathrm{\Sigma }})=(n-2)g_{\mathrm{\Sigma }}.\end{array}$$ 1.2

In our terminology, the Schwarzschild-de Sitter family represents a special case of BK solutions, in which the Riemannian manifold $(\mathrm{\Sigma },g_{\mathrm{\Sigma }})$ is taken to be a $(n-1)$-dimensional sphere with the canonical metric.

Observe that, in order to get a static triple out of formula (1.1), it is mandatory for the lapse function u to be well defined. It is clear that this happens only if the quantity $1-r^2-2m{r}^{2-n}$ is nonnegative for some positive values of r. This restricts the choice of the parameter m to the interval $0\leqq m<m_{\text{max}}$, where $m_{\text{max}}$ is a constant only depending on n (see (5.1) for the explicit expression). All in all, we have that for any $0<m<m_{\text{max}}$, the BK solutions (1.1) provide well defined static triples in the region $\{r_{-}(m)<r<r_{+}(m)\}$, where $0<r_{-}(m)<r_{+}(m)$ are the two positive roots of $1-r^2-2m{r}^{2-n}$. Also, recall that the Nariai solutions (see [47]) can be defined as the limit of the BK solutions, when $m\to m_{\text{max}}$. An explicit expression for these is given by

$$\begin{array}{c}\hfill g=\frac{1}{n}d{r}^2+\frac{n-2}{n}{g}_{\mathrm{\Sigma }},u=sin(r),\end{array}$$

where again $g_{\mathrm{\Sigma }}$ is a Riemannian metric on $\mathrm{\Sigma }$ satisfying (1.2).

Having the above families of model solutions in mind, the concept of virtual mass was introduced in [11, 12], through a comparison algorithm (see also [6, 20] for similar ideas). Building on this concept, we prove the following uniqueness result for the Schwarzschild–de Sitter black hole:

Theorem 1.1

(Uniqueness of the Schwarzschild–de Sitter Black Hole) Let (M, g, u) be a compact orientable 3-dimensional static triple with cosmological constant $\mathrm{\Lambda }>0$, where (M, g) is a smooth Riemannian manifold with boundary and $u\in {\mathcal{C}}^{\infty }(M)$ is a nonnegative lapse function, whose zero set corresponds to $\partial M$. Assume that the set

$$\begin{array}{c}\hfill \text{MAX}(u)=\{x\in M:u(x)=u_{\text{max}}\}\end{array}$$

is disconnecting the manifold M into an outer region $M_{+}$ and an inner region $M_{-}$ having the same virtual mass $0<m<1/(3\sqrt{3})$. Then (M, g, u) is isometric to the Schwarzschild–de Sitter solution with mass parameter m.

For a better understanding of the above statement, we need to recall some more terminology and concepts, still given in the spirit of the comparison with the BK solutions. Depending upon the value assumed by the (normalized) surface gravity $|\mathrm{\nabla }u|/u_{\text{max}}$, each horizon is either of cosmological type (low surface gravity) or of black hole type (high surface gravity). When the set on which u attains its maximum separates M into two components $M_{\pm }$, it was shown in [11, 12] how to assign a virtual mass $m_{\pm }$ to each component; see Section 5 for more details. The virtual masses are shown there to obey the inequality $m_{+}\geqq m_{-}$, provided $M_{+}$ is bounded only by horizons of cosmological type (we then say that $M_{+}$ is an outer region). In agreement with (5.1) and by definition, for $n=3$, the whole range of the virtual mass parameter m is $0\leqq m\leqq 1/(3\sqrt{3})$. The case $m=0$ leads to the de Sitter space [11, Theorem 2.3]. The case $m=1/(3\sqrt{3})$ leads to the Nariai solution. The known explicit solutions have the property that the virtual masses coincide, i.e., $m_{+}=m=m_{-}$, for some $0<m<1/(3\sqrt{3})$. It was shown in [12, Theorem 1.9] that, in three space-dimensions, equality of the masses and connectedness of the part of the horizon bounding $M_{+}$ implies that the sharp area bound (see [12, Theorem 1.4])

$$\begin{array}{c}\hfill |\partial M_{+}|\leqq 4\pi r_{+}^2(m)\end{array}$$

is saturated and thus (M, g, u) arises from the Schwarzschild-de Sitter solution. Theorem 1.1 can be seen as an improvement of this result: indeed, we are able to remove the hypothesis on the connectedness of the cosmological horizon. Perhaps more significantly, a completely new strategy of proof is used.

As sketched above, the central idea in [12] was in a sense closer to the concepts developed in [3], as it consisted in establishing sharp a priori bounds relating the area of the horizons to the virtual mass of the corresponding region (Riemannian Penrose-type inequalities), characterizing the equality case in terms of the model solutions, and then showing that in some physically relevant situation (connected cosmological horizon, same mass for the outer and the inner region) the equality was actually achieved in the a priori bounds. At the heart of the new strategy is instead a detailed analysis of the locus $\text{MAX}(u)$, established in a fairly large generality and which we believe of independent interest. Forever, before describing the most significant achievements of this analysis, let us discuss the plausibility of our assumptions, making some comments about what it is worth to expect from the level set $\text{MAX}(u)$. On the one hand, it can be argued that containing a co-dimension 1 stratum that disconnects the underlying manifold is a highly non-generic hypothesis, even for a real analytic function like the lapse. On the other hand, it would be fair to compare our assumptions with the ones that are commonly accepted and employed to prove the classical Uniqueness Theorem for the Schwarzschild Black Hole, when $\mathrm{\Lambda }=0$. In this case, it is standard to assume that the metric is asymptotically flat and that the lapse function $u_0$ is attaining its supremum at spatial infinity (see for example [14, Assumption 1]). Building on these two conditions, it is not difficult to realise that the blow-down limit of the large level sets of $u_0$ consists of a totally geodesic round sphere. Clearly, such a blow-down limit is the object that should be compared with $\text{MAX}(u)$ in the present framework. Hence, from this point of view, it might have been natural to impose a spherical geometry on $\text{MAX}(u)$, whereas in our Theorem 1.1 we are not even assuming that it is a smooth manifold. Analogous considerations also apply to Theorem 1.2 below, where we will suppose that $\text{MAX}(u)$ is containing a totally umbilic component, whose induced metric obeys the Einstein equation (1.2). There is therefore a sense in which our assumptions are weaker than the ones of the classical Israel’s Theorem.

Let us then describe in more detail our analysis of $\text{MAX}(u)$. Our first main result in this context is a reverse Łojasiewicz inequality, Theorem 2.2 below, which provides an estimate on the gradient of a smooth function in terms of its increment near and away from its maximum set. This is an improved version of [12, Proposition 2.3] (see also [10, Section 1.1.5]). The result is used to control potential singularities in the function W which appears in the proof the gradient estimates (5.3) below and in turns plays a key role in the proof of Theorem 1.1. Our next main result is Corollary 3.4, which shows that the top stratum (defined in (3.1) below) of the set of maxima of an analytic function with Laplacian bounded away from zero is a smooth embedded submanifold. This result, which sheds significant new light on the structure of static solutions, is crucial for our strategy, as it allows us to invoke the uniqueness part of the Cauchy–Kovalewskaya Theorem to classify the solutions, leading to

Theorem 1.2

(Geometric characterization of BK and Nariai solutions) Let (M, g, u) be a compact orientable n-dimensional, $n\geqq 3$, static triple with cosmological constant $\mathrm{\Lambda }>0$. Suppose that the top stratum of $\text{MAX}(u)$ is not empty and denote by $\mathrm{\Sigma }$ one of its connected components. Then $\mathrm{\Sigma }$ is a compact smooth hypersurface without boundary. Furthermore, if the metric induced on $\mathrm{\Sigma }$ by g is Einstein and $\mathrm{\Sigma }$ is totally umbilic, then the universal cover of (M, g) is isometric to either a Birmingham-Kottler or a Nariai solution.

Some comments might be in order concerning the claims in [45], seemingly rendering our Theorem 1.1 obsolete. The claims in [45] are based on calculational mistakes, which can be seen as follows: in order to justify their assertion the authors get rid of the boundary by doubling the manifold. Note that applying this to the Schwarzschild-de Sitter space metric produces a manifold with topology $S^1\times S^2$. A conformal blow-up of the metric at a point using the Green function is then asserted to lead to an asymptotically flat metric with non-negative scalar curvature and zero mass. If this were correct, one could use the rigidity part of the positive energy theorem to conclude that the doubled manifold is diffeomorphic to a sphere $S^3$, which is clearly not the case for $S^1\times S^2$.

Summary

The rest of this paper is structured as follows: In Section 2 we will prove the reverse Łojasiewicz inequality (Theorem 2.1). In Section 3 we will analyze the regularity properties of the extremal set of an analytic function with controlled Laplacian. More precisely, in Theorem 3.1 we show how to expand a function in a neighborhood of the set of the maximum (or minimum) points. Building on this, under the hypothesis that the Hessian does not vanish, we show in Theorem 3.3 and Corollary 3.4 that the $(n-1)$-dimensional part of the extremal level set is a real analytic hypersurface without boundary. It is worth remarking that the results in Sects. 2 and 3 are not exclusive of the static realm, but they hold more generally for large classes of real-valued functions. In fact, other recent applications of these same properties have appeared in [5], where they have been used to study critical metrics of the volume functional, and in [2] where the classical torsion problem is discussed. From Section 4 we start focusing exclusively on static solutions. We show that the estimates given by Theorem 3.3 allow to trigger the Cauchy-Kovalevskaya Theorem 4.1, leading to a proof of Theorem 1.2 (see Theorem 4.2). Section 5 is devoted for the most part to the statement and proof of Theorem 5.1, which is a quite general result stating that if an outer region is next to an inner region, then the virtual mass of the outer region is necessarily greater than or equal to the one of the inner region. This theorem is supplemented by a rigidity statement in the case of equality of the virtual masses. In dimension 3, it is possible to combine this rigidity statement with Theorem 1.2, leading to the proof of Theorem 1.1. Finally, in Section 6 we discuss how to exploit the Cauchy-Kovalevskaya scheme proposed in Section 4 in order to produce local static solutions.

Reverse Łojasiewicz Inequality

Let (M, g) denote a smooth n-dimensional Riemannian manifold, possibly with boundary, $n\geqq 2$. Given a smooth function $f:M\to \mathbb{R}$, we will denote by $f_{\text{max}}$ the maximum value of f, when achieved, and by

$$\begin{array}{c}\hfill \text{MAX}(f)=\{x\in M:f(x)=f_{\text{max}}\}\end{array}$$

the set of the maxima of f, when nonempty. We will assume that $\text{MAX}(f)$ does not meet the boundary of M, if there is one.

We start by recalling the following classical result by Łojasiewicz, concerning the behaviour of an analytic function near a critical point:

Theorem 2.1

(Łojasiewicz inequality [42, Théorème 4], [38]) Let (M, g) be a real analytic Riemannian manifold and let $f:M\to \mathbb{R}$ be an analytic function. Then for every point $p\in M$ there exists a neighborhood $U_p\ni p$ and real numbers $c_p>0$ and $1\leqq {\theta }_p<2$ such that for every $x\in U_p$ it holds

$$\begin{array}{c}\hfill {|\mathrm{\nabla }f|}^2(x)\geqq c_p{\left|f,(,x,),-,f,(,p,)\right|}^{{\theta }_p}.\end{array}$$ 2.1

Let us make some comments on this result. First, we observe that the above theorem is only relevant when p is a critical point, as otherwise the proof is trivial. Another observation is that one can always set $c_p=1$ in (2.1), at the cost of increasing the value of ${\theta }_p$ and restricting the neighborhood $U_p$. Nevertheless, the inequality is usually stated as in (2.1), because one often wants to choose the optimal ${\theta }_p$. Let us also notice, in particular, that the above result implies the inequality

$$\begin{array}{c}\hfill |\mathrm{\nabla }f|(x)\geqq \left|f,(,x,),-,f,(,p,)\right|\end{array}$$

in a neighborhood of any point of our manifold.

The gradient estimate (2.1) has found important applications in the study of gradient flows, as it allows to control the behaviour of the flow near the critical points. The validity of the Łojasiewicz Inequality has been extended to semicontinuous subanalytic functions in [8], and a generalized version of (2.1) has been developed by Kurdyka [37] for larger classes of functions. An infinite-dimensional version of (2.1) has been proved by Simon [50], who used it to study the asymptotic behaviour of parabolic equations near critical points. A Łojasiewicz-like inequality for noncompact hypersurfaces has been discussed in [22], where it is exploited as the main technical tool to prove the uniqueness of blow-ups of the mean curvature flow. We refer the reader to [9, 21, 25] and the references therein for a thorough discussion of various versions of the Łojasiewicz–Simon inequality, as well as for its applications.

On the other hand, to the authors’ knowledge, the opposite inequality has not been discussed yet. In this section we prove an analogous estimate from above of the gradient near the critical points. Before stating the result, let us make a preliminary observation. Suppose that we are given a Riemannian manifold (M, g) and a function $f\in {\mathcal{C}}^{\infty }(M)$. Let $p\in M$ be a critical point of f. If we restrict f to a curve $\gamma$ such that $\gamma (0)=p$ and $\dot{\gamma }(0)=X$, for some unit vector field $X\in T_{p}M$, we have

$$\begin{array}{c}\hfill f\circ \gamma (t)=f(p)+\frac{{\mathrm{\nabla }}^{2}f(X,X)}{2}{t}^2+o(t^2),\end{array}$$

from which we compute that

$$\begin{array}{c}\hfill \frac{{\left(\frac{\partial }{\partial t},{(f\circ \gamma )}_{{|}_{t=\tau }}\right)}^2}{f(p)-f\circ \gamma (\tau )}=-2\frac{({\mathrm{\nabla }}^{2}f(X,X){)}^2{\tau }^2+o({\tau }^2)}{{\mathrm{\nabla }}^{2}f(X,X){\tau }^2+o({\tau }^2)}.\end{array}$$ 2.2

In particular, under the assumption that ${\mathrm{\nabla }}^{2}f(X,X)\ne 0$ at p, we have that the left hand side of (2.2) is locally bounded. As a consequence, we immediately obtain that the inequality

$$\begin{array}{c}\hfill {|\mathrm{\nabla }f|}^2\leqq c|f(p)-f|\end{array}$$

holds in a neighborhood of p for some constant $c>0$, provided we assume that ${\mathrm{\nabla }}^{2}f(p)(X,X)\ne 0$ for every $X\in T_{p}M$. The next theorem tells us that a slightly weaker bound is in force at the maximum (or minimum) points of f, without any assumptions on the Hessian.

Theorem 2.2

(Reverse Łojasiewicz Inequality) Let (M, g) be a Riemannian manifold, let $f:M\to \mathbb{R}$ be a smooth function and let $\mathrm{\Sigma }$ be a connected component of $\text{MAX}(f)$. If $\mathrm{\Sigma }$ is compact, then for every $\theta <1$ and for any connected open neighborhood $\mathrm{\Omega }\supset \mathrm{\Sigma }$ with $\overline{\mathrm{\Omega }}\cap \text{MAX}(f)=\mathrm{\Sigma }$, there exists a real number $c>0$ such that for every $x\in \mathrm{\Omega }$ it holds that

$$\begin{array}{c}\hfill {|\mathrm{\nabla }f|}^2(x)\leqq c{\left[f_{\text{max}},-,f,(x)\right]}^{\theta }.\end{array}$$

Proof

The proof follows closely the one given in [12, Proposition 2.3], where the same inequality was proven for functions f satisfying (4.1). Let us start by defining the function

$$\begin{array}{c}\hfill w={|\mathrm{\nabla }f|}^2-c{(f_{\text{max}}-f)}^{\theta },\end{array}$$

where $c>0$ is a constant that will be chosen conveniently later. We compute

$$\begin{array}{c}\hfill \mathrm{\nabla }w={\mathrm{\nabla }|\mathrm{\nabla }f|}^2+c\theta {(f_{\text{max}}-f)}^{-(1-\theta )}\mathrm{\nabla }f,\end{array}$$

and taking the divergence of the above formula

$$\begin{array}{cc}\hfill \mathrm{\Delta }w& ={\mathrm{\Delta }|\mathrm{\nabla }f|}^2+c\theta \frac{\mathrm{\Delta }f}{{(f_{\text{max}}-f)}^{1-\theta }}+c\theta (1-\theta )\frac{{|\mathrm{\nabla }f|}^2}{{(f_{\text{max}}-f)}^{2-\theta }}\hfill \\ \hfill & ={\mathrm{\Delta }|\mathrm{\nabla }f|}^2+c\theta \frac{\mathrm{\Delta }f}{{(f_{\text{max}}-f)}^{1-\theta }}+c\theta (1-\theta )\frac{w}{{(f_{\text{max}}-f)}^{2-\theta }}\hfill \\ \hfill & +c^2\theta (1-\theta )\frac{1}{{(f_{\text{max}}-f)}^{2-2\theta }},\hfill \end{array}$$

where in the second equality we have used ${|\mathrm{\nabla }f|}^2=w+c{(f_{\text{max}}-f)}^{\theta }$. We obtain the identity

$$\begin{array}{c}\hfill \mathrm{\Delta }w-c\theta (1-\theta )\frac{1}{{(f_{\text{max}}-f)}^{2-\theta }}w=\theta F\left[\mathrm{\Delta },f,,+,,(,1,-,\theta ,),,F\right]+\mathrm{\Delta }{|\mathrm{\nabla }f|}^2,\\ \hfill \end{array}$$ 2.3

where

$$\begin{array}{c}\hfill F=\frac{c}{{(f_{\text{max}}-f)}^{1-\theta }}.\end{array}$$

Fix now a connected open neighborhood $\mathrm{\Omega }$ of $\mathrm{\Sigma }$ with smooth boundary $\partial \mathrm{\Omega }$. Since $\mathrm{\Sigma }$ is compact, we can suppose that $\overline{\mathrm{\Omega }}$ is compact as well. By definition, we have

$$\begin{array}{c}\hfill F\geqq \frac{c}{{max}_{\overline{\mathrm{\Omega }}}{(f_{\text{max}}-f)}^{1-\theta }},\text{on}\overline{\mathrm{\Omega }}.\end{array}$$

In particular, increasing the value of c if necessary, we can make F as large as desired. Since $\mathrm{\Delta }f$ and ${\mathrm{\Delta }|\mathrm{\nabla }f|}^2$ are continuous and thus bounded in $\overline{\mathrm{\Omega }}$, and since $0<\theta <1$, it follows that, for any c big enough, we have

$$\begin{array}{c}\hfill \theta F[(1-\theta )F+\mathrm{\Delta }f]+{\mathrm{\Delta }|\mathrm{\nabla }f|}^2\geqq 0\end{array}$$

on the whole $\overline{\mathrm{\Omega }}$. For such values of c, the right hand side of (2.3) is nonnegative, that is,

$$\begin{array}{c}\hfill \mathrm{\Delta }w-\frac{\theta (1-\theta )c}{{(f_{\text{max}}-f)}^{2-\theta }}w\geqq 0,\text{in}\overline{\mathrm{\Omega }}.\end{array}$$ 2.4

Notice that the coefficient that multiplies w in (2.4) is negative, as $f\leqq f_{\text{max}}$ and $0<\theta <1$. Therefore, we can apply the Weak Maximum Principle [27, Corollary 3.2] to w in any open set where w is ${\mathcal{C}}^2$ – that is, on any open subset of $\mathrm{\Omega }$ that does not intersect $\mathrm{\Sigma }$. For this reason, it is convenient to choose a number $\epsilon >0$ small enough so that the tubular neighborhood

$$\begin{array}{c}\hfill B_{\epsilon }(\mathrm{\Sigma })=\{x\in M:d(x,\mathrm{\Sigma })<\epsilon \}\end{array}$$

is contained inside $\mathrm{\Omega }$, and consider the set ${\mathrm{\Omega }}_{\epsilon }=\mathrm{\Omega }\backslash \overline{B_{\epsilon }(\mathrm{\Sigma })}$. Up to increasing the value of c if needed, we can suppose that

$$\begin{array}{c}\hfill c\geqq \frac{{max}_{\partial \mathrm{\Omega }}{|\mathrm{\nabla }f|}^2}{{min}_{\partial \mathrm{\Omega }}{(f_{\text{max}}-f)}^{\theta }}\geqq \underset{\partial \mathrm{\Omega }}{max}\frac{{|\mathrm{\nabla }f|}^2}{{(f_{\text{max}}-f)}^{\theta }},\end{array}$$

so that $w\leqq 0$ on $\partial \mathrm{\Omega }$. Now we apply the Weak Maximum Principle to the function w on the open set ${\mathrm{\Omega }}_{\epsilon }$, obtaining

$$\begin{array}{c}\hfill w\leqq \underset{\partial {\mathrm{\Omega }}_{\epsilon }}{max}(w)=max\left\{\underset{\partial \mathrm{\Omega }}{max},(w),,,,\underset{\partial B_{\epsilon }(\mathrm{\Sigma })}{max},(w)\right\}\leqq max\left\{0,,,,\underset{\partial B_{\epsilon }(\mathrm{\Sigma })}{max},(w)\right\}.\end{array}$$

Recalling the definition of w, taking the limit as $\epsilon \to 0$, from the continuity of f and $|\mathrm{\nabla }f|$, it follows that

$$\begin{array}{c}\hfill \underset{\epsilon \to 0}{lim}\underset{\partial B_{\epsilon }(\mathrm{\Sigma })}{max}(w)=0,\end{array}$$

hence we obtain $w\leqq 0$ on $\mathrm{\Omega }$. Translating w in terms of f, we have obtained that the inequality

$$\begin{array}{c}\hfill {|\mathrm{\nabla }f|}^2\leqq c{(f_{\text{max}}-f)}^{\theta }\end{array}$$

holds in $\mathrm{\Omega }$, which is the neighborhood of $\mathrm{\Sigma }$ that we were looking for. $\square$

In particular, we have the following simple refinement, that generalizes [12, Corollary 2.4]:

Corollary 2.3

Under the hypotheses of Theorem 2.2, for any $p\in \mathrm{\Sigma }$ and any $\alpha <1$, we have

$$\begin{array}{c}\hfill \underset{f(x)\ne f_{\text{max}},x\to p}{lim}\frac{{|\mathrm{\nabla }f|}^2(x)}{{[f_{\text{max}}-f(x)]}^{\alpha }}=0.\end{array}$$

Proof

From Theorem 2.2 it follows that we can choose constants $\alpha <\theta <1$ and $c>0$ such that

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }f|}^2}{{[f_{\text{max}}-f]}^{\alpha }}\leqq \frac{c{[f_{\text{max}}-f]}^{\theta }}{{[f_{\text{max}}-f]}^{\alpha }}=c{[f_{\text{max}}-f]}^{\theta -\alpha },\end{array}$$

and, since we have chosen $\theta >\alpha$, the right hand side goes to zero as we approach p. This proves the claim. $\square$

Regularity of the Extremal Level Sets

The well known Łojasiewicz Structure Theorem (established in [43], see also [36, Theorem 6.3.3]) states that the set of the critical points $\text{Crit}(f)$ of a real analytic function f is a (possibly disconnected) stratified analytic subvariety whose strata have dimensions between 0 and $n-1$. In particular, it follows that the set $\text{MAX}(f)\subseteq \text{Crit}(f)$ of the maxima of f can be decomposed as

$$\begin{array}{c}\hfill \text{MAX}(f)={\mathrm{\Sigma }}^0\bigsqcup {\mathrm{\Sigma }}^1\bigsqcup \cdots \bigsqcup {\mathrm{\Sigma }}^{n-1},\end{array}$$ 3.1

where ${\mathrm{\Sigma }}^i$ is a finite union of i-dimensional real analytic submanifolds, for every $i=0,\cdots ,n-1$. This means that, given a point $p\in {\mathrm{\Sigma }}^i$, there exists a neighborhood $p\in \mathrm{\Omega }\subset M$ and a real analytic diffeomorphism $\varphi :\mathrm{\Omega }\to {\mathbb{R}}^n$ such that

$$\begin{array}{c}\hfill \varphi (\mathrm{\Omega }\cap {\mathrm{\Sigma }}^i)=L\cap \varphi (\mathrm{\Omega }),\end{array}$$

for some i-dimensional linear space $L\subset {\mathbb{R}}^n$. In particular, the set ${\mathrm{\Sigma }}^{n-1}$ is a real analytic hypersurface and is usually referred to as the top stratum of $\text{MAX}(f)$. In this section we show that we can get much more information about the behaviour of our function f around the maximum points that belong to the top stratum. The next theorem extends the result in [12, Proposition 2.9].

Theorem 3.1

Let (M, g) be a real analytic Riemannian manifold, let $f:M\to \mathbb{R}$ be a real analytic function and let $p\in \text{MAX}(f)$ be a point in the top stratum of $\text{MAX}(f)$. Let $\mathrm{\Omega }$ be a small neighborhood of p such that $\mathrm{\Sigma }=\mathrm{\Omega }\cap \text{MAX}(f)$ is contained in the top stratum and $\mathrm{\Omega }\backslash \mathrm{\Sigma }$ has two connected components ${\mathrm{\Omega }}_{+},{\mathrm{\Omega }}_{-}$. We define the signed distance to $\mathrm{\Sigma }$ as

$$\begin{array}{c}\hfill r(x)=\left\{\begin{array}{cc}+d(x,\mathrm{\Sigma }),\hfill & \text{if}x\in {\overline{\mathrm{\Omega }}}_{+},\hfill \\ -d(x,\mathrm{\Sigma }),\hfill & \text{if}x\in {\overline{\mathrm{\Omega }}}_{-}.\hfill \end{array}\right)\end{array}$$

Then there is a real analytic chart $(r,\vartheta )=(r,{\vartheta }^1,\cdots ,{\vartheta }^{n-1})$ with respect to which f admits the following expansion:

$$\begin{array}{c}\hfill f(r,\vartheta )=f_{\text{max}}+\frac{\mathrm{\Delta }f(0,\vartheta )}{2}{r}^2+r^{3}F(r,\vartheta ).\end{array}$$ 3.2

Here F is a real analytic function. If we also assume that $\mathrm{\Delta }f=-\phi (f)$ for some real function $\phi$, then

$$\begin{array}{cc}\hfill & f=f_{\text{max}}-\frac{\phi (f_{\text{max}})}{2}{r}^2+\frac{\phi (f_{\text{max}})}{6}\text{H}{r}^3\hfill \\ \hfill & -\frac{\phi (f_{\text{max}})}{24}\left[{|\text{h}|}^2,,+,,2,,{\text{H}}^2,,+,,\mathrm{R},,-,,{\mathrm{R}}^{\mathrm{\Sigma }},,-,,\dot{\phi },(f_{\text{max}})\right]r^4+r^{5}G(r,\vartheta ),\hfill \end{array}$$

where G is a real analytic function. Here we have denoted by $\dot{\phi }$ the derivative of $\phi$ with respect to f, by $\text{H},\text{h}$ the mean curvature and second fundamental form of $\mathrm{\Sigma }$ with respect to the normal pointing towards ${\mathrm{\Omega }}_{+}$, and by $\mathrm{R},{\mathrm{R}}^{\mathrm{\Sigma }}$ the scalar curvatures of M and $\mathrm{\Sigma }$.

Remark 3.2

We have formulated Theorem 3.1 in the context of real analytic geometry because of our intended application to the classification of static solutions of Einstein equations. It is, however, clear from the proof that the conclusions of Theorem 3.1 remain true for smooth functions on smooth Riemannian manifolds, with the following modifications: first, one should assume from the outset that $\mathrm{\Sigma }$ is a smooth hypersurface (in which case the existence of a decomposition as in (3.1) becomes irrelevant); next, the functions r, F and G and the chart $(r,\vartheta )$ are smooth but not necessarily analytic.

Proof

Let $(x^1,\cdots ,x^n)$ be a chart centered at p, with respect to which the metric g and the function f are real analytic. From the fact that p belongs to the top stratum of $\text{MAX}(f)$, it follows that we can choose an open neighborhood $\mathrm{\Omega }$ of p in M, where the signed distance r(x) is a well defined real analytic function (see for instance [35], where this result is discussed in full detail in the Euclidean space, however the proofs extend with small modifications to the Riemannian setting). More precisely, we have

$$\begin{array}{c}\hfill r=\varphi (x^1,\cdots ,x^n),\end{array}$$

where $\varphi$ is a real analytic function. Since r is a signed distance function, we have $|\mathrm{\nabla }r|=1$, which implies in particular that one of the partial derivatives of $\varphi$ has to be different from zero. Without loss of generality, let us suppose $\partial \varphi /\partial x^1\ne 0$ in a small neighborhood $\mathrm{\Omega }$ of p. As a consequence, we have that the function

$$\begin{array}{c}\hfill U:{\mathbb{R}}^{n+1}\to \mathbb{R},U(r,x^1,\cdots ,x^n)=r-\varphi (x^1,\cdots ,x^n).\end{array}$$

satisfies $\partial U/\partial x^1=-\partial \varphi /\partial x^1\ne 0$ in $\mathrm{\Omega }$. We can then apply the Real Analytic Implicit Function Theorem (see [36, Theorem 2.3.5]), from which it follows that there exists a real analytic function $u:{\mathbb{R}}^n\to \mathbb{R}$ such that

$$\begin{array}{c}\hfill U(r,u(r,x^2,\cdots ,x^n),x^2,\cdots ,x^n)=0.\end{array}$$

In other words, the change of coordinates from $(r,x^2,\cdots ,x^n)$ to $(x^1,\cdots ,x^n)$, which is obtained setting $x^1=u(r,x^2,\cdots ,x^n)$, is real analytic. In particular f is a real analytic function also with respect to the chart $(r,\vartheta )$, where we have set $\vartheta =({\vartheta }^1,\cdots ,{\vartheta }^{n-1})$ with ${\vartheta }^i=x^{i+1}$ for $i=1,\cdots ,n-1$.

Since $\mathrm{\Sigma }$ coincides with the points where $r=0$ inside $\mathrm{\Omega }$, we can apply [44, Théorème 3.1] to get

$$\begin{array}{c}\hfill f_{\text{max}}-f=rA,\end{array}$$

where $A=A(r,\vartheta )$ is a nonnegative real analytic function. For the reader convenience, we explicitly quote the invoked reference:

[44, Théorème 3.1]. Let $(x^1,\cdots ,x^m;y^1,\cdots ,y^n)$ be coordinates on an open set $U\subseteq {\mathbb{R}}^{m+n}$. Let $f\in {\mathcal{C}}^{\infty }(U)$ such that $f(0,\cdots ,0;y^1,\cdots ,y^n)=0$. Then there exist $g_1,\cdots ,g_m\in {\mathcal{C}}^{\infty }(U)$ such that $f={\sum }_{i=1}^m{x}^i{g}_i$.

Going on with the proof, we observe that the function $f_{\text{max}}-f$ achieves its minimum value 0 when $r=0$, thus

$$\begin{array}{c}\hfill 0=\frac{\partial }{\partial r}{(f_{\text{max}}-f)}_{{|}_{r=0}}=\frac{\partial }{\partial r}{(rA)}_{{|}_{r=0}}={(A+r\partial A/\partial r)}_{{|}_{r=0}}=A_{{|}_{r=0}}.\end{array}$$

In particular, we can apply [44, Théorème 3.1] again and we find that

$$\begin{array}{c}\hfill f_{\text{max}}-f=r^{2}B,\end{array}$$ 3.3

where $B=B(r,\vartheta )$ is a nonnegative real analytic function. Computing the Laplacian at the points where $r=0$, using the fact that the gradient of f vanishes there, we get that

$$\begin{array}{c}\hfill \mathrm{\Delta }f=g^{\alpha \beta }({\partial }_{\alpha \beta }^{2}f-{\mathrm{\Gamma }}_{\alpha \beta }^{\gamma }{\partial }_{\gamma }f)=-2g^{\mathit{rr}}B=-2B.\end{array}$$

Applying again [44, Théorème 3.1], it follows that we can rewrite (3.3) as

$$\begin{array}{c}\hfill f(r,\vartheta )=f_{\text{max}}+\frac{\mathrm{\Delta }f(0,\vartheta )}{2}{r}^2+r^{3}F(r,\vartheta ).\end{array}$$ 3.4

This concludes the first part of the proof. Notice that we could have obtained (3.4) faster by writing a priori the expansion $f=f_{\text{max}}+a(\vartheta )r+b(\vartheta )r^2+\mathcal{O}(r^3)$ and then using formula (3.5) below and the fact that $\partial f/\partial r=0$ on $\text{MAX}(f)$ to compute $a(\vartheta )=0$ and $\mathrm{\Delta }f=2b(\vartheta )+\mathcal{O}(r)$. On the other hand, this alternative approach heavily relies on analyticity, whereas we want our proof to work in the smooth setting as well, in the spirit of Remark 3.2.

We now assume that $\mathrm{\Delta }f=-\phi (f)$ and we use this to gather more information on the real analytic function F. Set ${\mathrm{\Sigma }}_{\rho }=\{r=\rho \}$ and observe that all ${\mathrm{\Sigma }}_{\rho }$ with $\rho$ small enough are smooth, since $(r,\vartheta )=(r,{\vartheta }^1,\cdots ,{\vartheta }^{n-1})$ is a real analytic chart and $|\mathrm{\nabla }r|=1\ne 0$. In particular, of course, we have ${\mathrm{\Sigma }}_0=\mathrm{\Sigma }\cap \mathrm{\Omega }$. On each ${\mathrm{\Sigma }}_{\rho }$, the Laplacian $\mathrm{\Delta }f$ of f satisfies the well-known formula

$$\begin{array}{c}\hfill \mathrm{\Delta }f={\mathrm{\nabla }}^{2}f(\text{n},\text{n})+\text{H}⟨\mathrm{\nabla }f|\text{n}⟩+{\mathrm{\Delta }}^{\top }f,\end{array}$$ 3.5

where $\text{n}=\partial /\partial r$ is the g-unit normal to ${\mathrm{\Sigma }}_{\rho }$, $\text{H}$ is the mean curvature of ${\mathrm{\Sigma }}_{\rho }$ with respect to $\text{n}$ and ${\mathrm{\Delta }}^{\top }f$ is the Laplacian of the restriction of f to ${\mathrm{\Sigma }}_{\rho }$ with respect to the metric $g{}^{\top }$ induced by g on ${\mathrm{\Sigma }}_{\rho }$. Evaluating  (3.5) at $\rho =0$, since $f=f_{\text{max}}$ and $|\mathrm{\nabla }f|=0$ on ${\mathrm{\Sigma }}_0$, we immediately get

$$\begin{array}{c}\hfill {\mathrm{\nabla }}^{2}f(\nu ,\nu )=\mathrm{\Delta }f,\end{array}$$

in agreement with the expansion (3.4).

Let us focus first on the quantity ${\mathrm{\Delta }}^{\top }f$. Calling $g{}^{\top }$ the metric induced by g on ${\mathrm{\Sigma }}_{\rho }$ and ${\mathrm{\Gamma }}^{\top }$ the Christoffel symbols of $g{}^{\top }$, we have

$$\begin{array}{c}\hfill {\mathrm{\Delta }}^{\top }f={(g{}^{\top })}^{\mathit{ij}}\frac{{\partial }^{2}f}{\partial {\vartheta }^i\partial {\vartheta }^j}-{(g{}^{\top })}^{\mathit{ij}}{({\mathrm{\Gamma }}^{\top })}_{\mathit{ij}}^k\frac{\partial f}{\partial {\vartheta }^k},\end{array}$$

where the indices i, j, k vary between 1 and $n-1$. On the other hand, if we assume that $\mathrm{\Delta }f=-\phi$ where $\phi$ is a function of f, then from (3.4) we get

$$\begin{array}{cc}\hfill {\frac{{\partial }^{2}f}{\partial {\vartheta }^i\partial {\vartheta }^j}}_{{|}_{r=0}}=& {\frac{{\partial }^{2}f}{\partial r\partial {\vartheta }^i}}_{{|}_{r=0}}={\frac{{\partial }^{3}f}{\partial r^2\partial {\vartheta }^i}}_{{|}_{r=0}}={\frac{{\partial }^{3}f}{\partial r\partial {\vartheta }^i\partial {\vartheta }^j}}_{{|}_{r=0}}\hfill \\ \hfill =& {\frac{{\partial }^{4}f}{\partial r^2\partial {\vartheta }^i\partial {\vartheta }^j}}_{{|}_{r=0}}=0,\hfill \end{array}$$

for all $i,j=1,\cdots ,n-1$. From this, it easily follows that

$$\begin{array}{c}\hfill \frac{\partial }{\partial r}{\mathrm{\Delta }}^{\top }{f}_{{|}_{r=0}}=\frac{{\partial }^2}{\partial r^2}{\mathrm{\Delta }}^{\top }{f}_{{|}_{r=0}}=0.\end{array}$$

We now differentiate formula (3.5) twice with respect to r. Observing that ${\mathrm{\Gamma }}_{\mathit{rr}}^r=0$ since $g_{\mathit{rr}}\equiv 1$, it is then easy to compute that the following identities hold on the set ${\mathrm{\Sigma }}_0=\{r=0\}$:

$$\begin{array}{cc}\hfill \frac{\partial \mathrm{\Delta }f}{\partial r}& =\frac{{\partial }^{3}f}{\partial r^3}+\text{H}\frac{{\partial }^{2}f}{\partial r^2}+\frac{\partial \text{H}}{\partial r}\frac{\partial f}{\partial r},\hfill \\ \hfill \frac{{\partial }^2\mathrm{\Delta }f}{\partial r^2}& =\frac{{\partial }^{4}f}{\partial r^4}+\text{H}\frac{{\partial }^{3}f}{\partial r^3}+2\frac{\partial \text{H}}{\partial r}\frac{{\partial }^{2}f}{\partial r^2}+\frac{{\partial }^2\text{H}}{\partial r^2}\frac{\partial f}{\partial r}.\hfill \end{array}$$

Since we also know that $\partial f/\partial r=0$ and ${\partial }^{2}f/\partial r^2=\mathrm{\Delta }f=-\phi (f_{\text{max}})$ on $\mathrm{\Sigma }$, from the expansions above we deduce

$$\begin{array}{cc}\hfill {\frac{{\partial }^{3}f}{\partial r^3}}_{{|}_{r=0}}& =\phi (f_{\text{max}})\text{H}.\hfill \\ \hfill {\frac{{\partial }^{4}f}{\partial r^4}}_{{|}_{r=0}}& =2\phi (f_{\text{max}}){\frac{\partial \text{H}}{\partial r}}_{{|}_{r=0}}-\phi (f_{\text{max}}){\text{H}}^2+\phi (f_{\text{max}})\dot{\phi }(f_{\text{max}}).\hfill \end{array}$$

Furthermore, the classical formula for the variation of the mean curvature (see for instance [29, Lemma 7.6]) gives

$$\begin{array}{c}\hfill {\frac{\partial \text{H}}{\partial r}}_{{|}_{r=0}}=-{|\text{h}|}^2-\text{Ric}(\nu ,\nu )=\frac{1}{2}\left({\mathrm{R}}^{\mathrm{\Sigma }},,-,,\mathrm{R},,-,,{|\text{h}|}^2,,-,,{\text{H}}^2\right),\end{array}$$

where in the latter equality we have used the Gauss Codazzi equation. Now that we have computed the third and fourth derivative of f, we can use this information to improve (3.4) and get the desired expansion of f. $\square$

Theorem 3.1 has some interesting consequences. Let us start from the simplest one. Given a point p in the top stratum of $\text{MAX}(f)$ and such that $\mathrm{\Delta }f(p)\ne 0$, we can compute the explicit formula for the gradient of f as we approach p as

$$\begin{array}{cc}\hfill \underset{x\notin \text{MAX}(f),x\to p}{lim}\frac{{|\mathrm{\nabla }f|}^2(x)}{f_{\text{max}}-f(x)}& =\underset{x\to p}{lim}\frac{{(\mathrm{\Delta }f(p))}^2{r}^2(x)+\mathcal{O}(r^3(x))}{-(\mathrm{\Delta }f(p)/2)r^2(x)+\mathcal{O}(r^3(x))}=-2\mathrm{\Delta }f(p).\hfill \end{array}$$ 3.6

Notice in particular that formula (3.6) improves Corollary 2.3 for points in the top stratum of the set of the maxima having nonzero Laplacian.

Another useful consequence of Theorem 3.1 is the following regularity result on the top stratum of $\text{MAX}(f)$, that generalizes the result for static metrics proven in [12, Proposition 2.8] in order not to overburden the notation we will denote by $\mathrm{\Sigma }$ the top stratum ${\mathrm{\Sigma }}^{n-1}$ in the decomposition (3.1) of $\text{MAX}(f)$:

Theorem 3.3

Let (M, g) be a real analytic Riemannian manifold, let $f:M\to \mathbb{R}$ be a real analytic function and let $\mathrm{\Sigma }$ be the top stratum of $\text{MAX}(f)$. If $p\in \overline{\mathrm{\Sigma }}$ and $|{\mathrm{\nabla }}^{2}f|(p)\ne 0$, then $p\in \mathrm{\Sigma }$.

Proof

Let $p\in \overline{\mathrm{\Sigma }}$ with $|{\mathrm{\nabla }}^{2}f|(p)\ne 0$, and let $\mathrm{\Omega }$ be a small relatively compact open neighborhood of p in M. From what has been said it follows that we can choose $\mathrm{\Omega }$ small enough so that

$$\begin{array}{c}\hfill \overline{\mathrm{\Sigma }}\cap \mathrm{\Omega }={\overline{\mathrm{\Sigma }}}_1\cup \cdots \cup {\overline{\mathrm{\Sigma }}}_k\end{array}$$

for some $k\in \mathbb{N}$, where the ${\mathrm{\Sigma }}_i$’s are connected real analytic hypersurfaces contained in the top stratum $\mathrm{\Sigma }$ and $p\in {\overline{\mathrm{\Sigma }}}_i$ for all $i=1,\cdots ,k$.

From expansion (3.2), it follows that at any point $x\in {\mathrm{\Sigma }}_i$, with respect to an orthonormal basis $\nu (x),X_1,\cdots ,X_{n-1}$, where $\nu (x)$ is the unit normal to ${\mathrm{\Sigma }}_i$, the Hessian of f is represented by a matrix of the form

$$\begin{array}{c}\hfill \left[\begin{array}{cccc}\mathrm{\Delta }f(x)& 0& \cdots & 0\\ 0& 0& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 0\end{array}\right].\end{array}$$

Since we are assuming that $|{\mathrm{\nabla }}^{2}f|\ne 0$ and that x is a maximum point for f, it is clear that $\mathrm{\Delta }f(x)<0$. Using the fact that eigenvalues are continuous (see for instance [33, Chapter 2, Theorem 5.1]), it follows that the eigenvalues of the Hessian of f at p are $\mathrm{\Delta }f(p)$ (which is negative by hypothesis), taken with multiplicity one, and 0, taken with multiplicity $n-1$. In particular, using again the continuity of the eigenvalues, restricting our neighborhood $\mathrm{\Omega }$ if necessary, we can suppose that the minimal eigenvalue of ${\mathrm{\nabla }}^{2}f$ is simple on the whole $\mathrm{\Omega }$. Since the function $\mathrm{\Omega }\ni x\mapsto {\mathrm{\nabla }}^{2}f(x)$ is real analytic, it is known that the simple eigenvectors are real analytic in $\mathrm{\Omega }$, see for instance the discussion in [33, Chapter 2, § 1] or in [39, Section 7], where a much more general statement in discussed. Therefore the vector $\nu$ extends to a real analytic unit-length vector field throughout $\mathrm{\Omega }$. In particular, $\nu$ is real analytic on $\overline{\mathrm{\Sigma }}\cap \mathrm{\Omega }$ and the tangent space $T_p\overline{\mathrm{\Sigma }}={\nu }_p^{\perp }$ is well defined.

It is then easily shown (see for instance [15, p. 89, Lemma 1] or [1, Proposizione 3.7.2]) that there is an analytic chart $(x^1,\cdots ,x^n)$ centered at p such that $\nu =\partial /\partial x^1$ in the whole $\mathrm{\Omega }$. Since $\mathrm{\Sigma }\cap \mathrm{\Omega }$ is smooth and $\nu =\partial /\partial x^1$ is orthogonal to it, it follows that $\overline{\mathrm{\Sigma }}\cap \mathrm{\Omega }\subseteq \{x^1=0\}$. Since f is analytic and we have shown that $f_{\text{max}}-f=0$ on an hypersurface contained in $\{x^1=0\}$, it is immediate to deduce that it is possible to factor out $x^1$ from the Taylor expansion of $f_{\text{max}}-f$. It follows that $f_{\text{max}}-f=0$ on the whole $\{x^1=0\}$, which implies $\overline{\mathrm{\Sigma }}\cap \mathrm{\Omega }=\{x^1=0\}$. In particular, $\overline{\mathrm{\Sigma }}$ is real analytic in a neighborhood of p.

To conclude that p is contained in the top stratum of $\text{MAX}(f)$, it remains to show that there are no other components of $\text{MAX}(f)$ that pass through p. In other words, it remains to show that, making $\mathrm{\Omega }$ smaller if necessary, we have $\mathrm{\Omega }\cap \text{MAX}(f)=\mathrm{\Omega }\cap \overline{\mathrm{\Sigma }}$. To this end, we first observe that, since we have already shown that $\overline{\mathrm{\Sigma }}$ is a regular analytic hypersurface around p, the proof of Theorem 3.1 can be repeated without modifications to show that formula (3.2) holds in a neighborhood of p. More precisely, there exists a real analytic chart $(r,\vartheta )=(r,{\vartheta }^1,\cdots ,{\vartheta }^{n-1})$ such that r is the signed distance from $\overline{\mathrm{\Sigma }}$ and f has the following expansion in $\mathrm{\Omega }$:

$$\begin{array}{c}\hfill f(r,\vartheta )=f_{\text{max}}+\frac{\mathrm{\Delta }f(0,\vartheta )}{2}{r}^2+r^{3}F(r,\vartheta ).\end{array}$$

Here F is real analytic. Setting $C={sup}_{\mathrm{\Omega }}|F|$, we then have that in $\mathrm{\Omega }$ it holds that

$$\begin{array}{c}\hfill f(r,\vartheta )\leqq f_{\text{max}}+\frac{\mathrm{\Delta }f(0,\vartheta )}{2}{r}^2+C{|r|}^3=f_{\text{max}}+r^2\left(\frac{\mathrm{\Delta }f(0,\vartheta )}{2},,+,C,|r|\right).\end{array}$$

Since the points with $r=0$ belong to $\overline{\mathrm{\Sigma }}$, from the discussion above it follows that $\mathrm{\Delta }f(0,\vartheta )<0$ whenever the point with coordinate $(0,\vartheta )$ belong to $\mathrm{\Omega }$. If we then set

$$\begin{array}{c}\hfill {\mathrm{\Omega }}^{\prime }=\mathrm{\Omega }\cap \left\{(r,\vartheta ):|r|<,-,\frac{\mathrm{\Delta }f(0,\theta )}{2C}\right\},\end{array}$$

the above estimate grants us that $f(r,\theta )<f_{\text{max}}$ in ${\mathrm{\Omega }}^{\prime }\backslash \overline{\mathrm{\Sigma }}$. In particular ${\mathrm{\Omega }}^{\prime }\cap \text{MAX}(f)={\mathrm{\Omega }}^{\prime }\cap \overline{\mathrm{\Sigma }}$. It follows that ${\mathrm{\Omega }}^{\prime }\cap \overline{\mathrm{\Sigma }}$ is contained in the top stratum $\mathrm{\Sigma }$, which implies in particular that $p\in \mathrm{\Sigma }$, as desired. $\square$

Theorem 3.3 tells us that singularities of the $(n-1)$-dimensional part of the set $\text{MAX}(f)$ can only appear at the points where the Hessian of f vanish. In particular, the following corollary follows at once:

Corollary 3.4

Let (M, g) be a real analytic Riemannian manifold, let $f:M\to \mathbb{R}$ be an analytic function and let $\mathrm{\Sigma }\ne \mathrm{\varnothing }$ be the top stratum of $\text{MAX}(f)$. If ${\mathrm{\nabla }}^{2}f$ is nowhere vanishing on $\overline{\mathrm{\Sigma }}$, then

$$\begin{array}{c}\hfill \overline{\mathrm{\Sigma }}=\mathrm{\Sigma },\end{array}$$

thus $\mathrm{\Sigma }$ is a complete real analytic hypersurface with empty boundary.

We emphasize that it is important to require the Hessian of f not to vanish on the whole closure of $\mathrm{\Sigma }$. To illustrate this point, consider $f(x,y)=-x^2{y}^2$. The function f is clearly analytic on the whole ${\mathbb{R}}^2$ and satisfies $|{\mathrm{\nabla }}^{2}f|\ne 0$ at all points of the top stratum $\mathrm{\Sigma }=(\{x=0\}\cup \{y=0\})\backslash \{(0,0)\}$ of the set of the maxima. Nevertheless, $\overline{\mathrm{\Sigma }}=\{x=0\}\cup \{y=0\}$ is not smooth, which is due to the fact that the Hessian of f vanishes at the singular point $(0,0)=\overline{\mathrm{\Sigma }}\backslash \mathrm{\Sigma }$. Another instructive example is provided by the function $f(x,y)=-x^2{y}^4$. Similar examples are easy to construct on compact manifolds M as well: for instance, the same behavior is shown by the function $f(x,y)=-{sin}^2(x){sin}^2(y)$ on the 2-torus ${\mathbb{T}}^2={[0,\pi ]}^2/\sim$.

A Geometric Criterion for the Classification of Static Solutions

This section is devoted to the proof of Theorem 1.2. Before discussing it, let us recall briefly, following the setup carefully discussed in [12] that a static spacetime with positive cosmological constant arises as a solution of the following problem:

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}u\text{Ric}={\text{D}}^{2}u+nug,\hfill & \text{in}M\hfill \\ \mathrm{\Delta }u=-nu,\hfill & \text{in}M\hfill \\ u>0,\hfill & \text{in}M\backslash \partial M\hfill \\ u=0,\hfill & \text{on}\partial M\hfill \end{array}\right)\text{with}M\text{compact orientable}\text{and}\mathrm{R}\equiv n(n-1).\\ \hfill \end{array}$$ 4.1

We recall from [18, 46] that a static triple $(M,g,u)$ is necessarily real analytic, so that in particular the results discussed in Section 3 apply. As a consequence, since obviously $\mathrm{\Delta }u=-n{max}_M(u)\ne 0$ on $\text{MAX}(u)$, we can apply Corollary 3.4 to deduce that the top stratum $\mathrm{\Sigma }\subseteq \text{MAX}(u)$ is a closed real analytic hypersurface. Hence, the second fundamental form, mean curvature and induced metric are all well defined on $\mathrm{\Sigma }$, so that the statement of Theorem 1.2 is perfectly rigorous. In the proof, we will need the following version of the Cauchy-Kovalevskaya Theorem for systems of quasilinear PDEs; we report the complete statement for the ease of reference.

Theorem 4.1

(Cauchy-Kovalevskaya for nonlinear systems, [24]) Let $(x^1,\cdots ,x^n)$ be a real analytic coordinate chart. Consider a PDE system of the form

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\sum }_{|I|=k}{b}_I(x,D^{1}f,\cdots ,D^{k-1}f){\partial }^{I}f+c(x,D^{1}f,\cdots ,D^{k-1}f)=0,\hfill \\ \frac{{\partial }^{j}f}{{(\partial x^1)}^j}(x)=a_j(x)\text{for}x\in \{x^1=0\}\text{and}j=0,1,\cdots ,k-1\hfill \end{array}\right)\end{array}$$ 4.2

where $I=(I_1,\cdots ,I_n)$ is a multiindex, $|I|=I_1+\cdots +I_n$, $a_j(x)\in {\mathbb{R}}^m$, $b_I(x,D^{1}f,\cdots ,D^{k-1}f)\in {\mathbb{R}}^{m\times m}$, $c(x,D^{1}f,\cdots ,D^{k-1}f)\in {\mathbb{R}}^m$, $f:\mathrm{\Omega }\to {\mathbb{R}}^m$, for some domain $\mathrm{\Omega }\subset {\mathbb{R}}^n$ with $\mathrm{\Omega }\cap \{x^1=0\}\ne \mathrm{\varnothing }$. Suppose that $a_j$, $b_I$ and c are real analytic functions in their entries and that $b_{(k,0,\cdots ,0)}$ is an invertible matrix (that is, the hypersurface $\{x^1=0\}$ is noncharacteristic). Then there is a unique real analytic solution to (4.2).

We are now ready to prove Theorem 1.2, which we rewrite here for the reader’s convenience.

Theorem 4.2

(Geometric characterization of BK and Nariai solutions) Let (M, g, u) be a compact orientable n-dimensional, $n\geqq 3$, static triple with cosmological constant $\mathrm{\Lambda }>0$. Suppose that the top stratum of $\text{MAX}(u)$ is not empty and denote by $\mathrm{\Sigma }$ one of its connected components. Then $\mathrm{\Sigma }$ is a compact smooth hypersurface without boundary. Furthermore, if the metric induced on $\mathrm{\Sigma }$ by g is Einstein and $\mathrm{\Sigma }$ is totally umbilic, then the universal cover of (M, g) is isometric to either a Birmingham-Kottler or a Nariai solution.

Proof

Let us start by noticing that, given any vector field X on $T\mathrm{\Sigma }$ and called $\nu$ the normal to $\mathrm{\Sigma }$, from the static vacuum equations (4.1) we deduce

$$\begin{array}{c}\hfill \text{Ric}(\nu ,X)=\frac{{\text{D}}^{2}u(\nu ,X)}{u_{\text{max}}}+n⟨\nu |X⟩=\frac{{\text{D}}^{2}u(\nu ,X)}{u_{\text{max}}}=0,\end{array}$$

where the latter equality follows immediately from the general expansion (3.2). We can then apply the Gauss formula to obtain

$$\begin{array}{c}\hfill 0=\text{Ric}(\nu ,X)=(\text{div}\text{h})(X)-{\mathrm{\nabla }}_X\text{H}\end{array}$$

On the other hand, the umbilicity of $\mathrm{\Sigma }$ implies $\text{h}=\text{H}/(n-1)g^{\mathrm{\Sigma }}$, hence

$$\begin{array}{c}\hfill 0=(\text{div}\text{h})(X)-{\mathrm{\nabla }}_X\text{H}=\frac{1}{n-1}{\mathrm{\nabla }}_X\text{H}-{\mathrm{\nabla }}_X\text{H}=-\frac{n-2}{n-1}{\mathrm{\nabla }}_X\text{H}.\end{array}$$

Since $n\geqq 3$, this implies that $\text{H}$ is constant. Furthermore, again from expansion (3.2), together with the static equations (4.1), we get

$$\begin{array}{c}\hfill \text{Ric}(\nu ,\nu )=\frac{{\text{D}}^{2}u(\nu ,\nu )}{u_{\text{max}}}+n⟨\nu |\nu ⟩=-n+n=0.\end{array}$$ 4.3

Substituting in the Gauss Codazzi equation,

$$\begin{array}{cc}\hfill {\mathrm{R}}^{\mathrm{\Sigma }}& =\mathrm{R}-2\text{Ric}(\nu ,\nu )+{\text{H}}^2-{|\text{h}|}^2\hfill \\ \hfill & =n(n-1)+\frac{n-2}{n-1}{\text{H}}^2.\hfill \end{array}$$

Let us now assume ${\text{Ric}}^{\mathrm{\Sigma }}=(n-2)\lambda g^{\mathrm{\Sigma }}$ for some constant $\lambda \in \mathbb{R}$. Then ${\mathrm{R}}^{\mathrm{\Sigma }}=(n-1)(n-2)\lambda$ and we get

$$\begin{array}{c}\hfill \frac{\text{H}}{n-1}=\sqrt{\lambda -\frac{n}{n-2}}.\end{array}$$

Here we are assuming that the normal $\nu$ has been chosen so that the mean curvature $\text{H}$ is nonnegative. As a consequence of the above formula, necessarily $\lambda \geqq n/(n-2)$ and

$$\begin{array}{c}\hfill \text{h}=\sqrt{\lambda -\frac{n}{n-2}}{g}_{\mathrm{\Sigma }}.\end{array}$$ 4.4

Let $\mathrm{\Omega }$ be a small open set with $\mathrm{\Omega }\cap \mathrm{\Sigma }\ne \mathrm{\varnothing }$ and $\mathrm{\Omega }\backslash \mathrm{\Sigma }={\mathrm{\Omega }}_{+}\bigsqcup {\mathrm{\Omega }}_{-}$, with the normal $\nu$ pointing towards ${\mathrm{\Omega }}_{+}$. We have already mentioned in Theorem 3.1 that the signed distance function

$$\begin{array}{c}\hfill r(x)=\left\{\begin{array}{cc}+d(x,\mathrm{\Sigma }),\hfill & \text{if}x\in {\overline{\mathrm{\Omega }}}_{+},\hfill \\ -d(x,\mathrm{\Sigma }),\hfill & \text{if}x\in {\overline{\mathrm{\Omega }}}_{-},\hfill \end{array}\right)\end{array}$$

is an analytic function in $\mathrm{\Omega }$. Since clearly $|\mathrm{\nabla }r|\equiv 1$ in $\mathrm{\Omega }$, with respect to coordinates $(r,\vartheta )=(r,{\vartheta }^1,\cdots ,{\vartheta }^{n-1})$, with ${\vartheta }^1,\cdots ,{\vartheta }^{n-1}$ coordinates on the hypersurface $\mathrm{\Sigma }\cap \mathrm{\Omega }$, we have

$$\begin{array}{c}\hfill g=dr\otimes dr+g_{\mathit{ij}}d{\vartheta }^i\otimes d{\vartheta }^j,\end{array}$$

where the coefficients $g_{\mathit{ij}}$ are functions of the coordinates $(r,\vartheta )$. Since we want to invoke the Cauchy-Kovalevskaya Theorem as stated in Theorem 4.1, it is convenient to restrict our attention to a subdomain of $\mathrm{\Omega }$ that can be identified with a cylinder $(-\epsilon ,\epsilon )\times {\mathbb{B}}^{n-1}$. With a slight abuse of notation, we think of the coordinates $(r,\vartheta )$ as varying in $(-\epsilon ,\epsilon )\times {\mathbb{B}}^{n-1}$ and as a consequence, all quantities are considered as pulled back on the same domain.

With respect to the coordinates $(r,\vartheta )$, observing that the normal $\nu$ coincides with $\partial /\partial r$ on $\mathrm{\Sigma }$, we easily see that the second fundamental form of a level set of r satisfies

$$\begin{array}{c}\hfill {\text{h}}_{\mathit{ij}}={\text{D}}_{\mathit{ij}}^{2}r=-{\mathrm{\Gamma }}_{\mathit{ij}}^r=\frac{1}{2}{\partial }_r{g}_{\mathit{ij}}.\end{array}$$

Formula (4.4) tells us that

4.5

We have also the following initial conditions:

4.6

We would like to apply the Cauchy-Kovalevskaya Theorem 4.1 to the function

$$\begin{array}{cc}\hfill f:(-\epsilon ,\epsilon )\times {\mathbb{B}}^{n-1}& ⟶{\mathbb{R}}^{1+\frac{n(n-1)}{2}}\hfill \\ \hfill x=(r,\vartheta )& ⟼(u(x),g_{\mathit{ij}}(x))\hfill \end{array}$$

by showing that f satisfies a PDE as in (4.2) coming from the equations (4.1) and the initial conditions (4.5), (4.6) on $\mathrm{\Sigma }=\{r=0\}$. To this end, let us rewrite problem (4.1) more explicitly in terms of the derivatives of u and the metric $g$. We recall that, in any coordinate system, the components of the Ricci tensor satisfy

$$\begin{array}{c}\hfill {\mathrm{R}}_{\alpha \beta }=-\frac{g^{\mu \eta }}{2}\left[{\partial }_{\mu \eta }^2,g_{\alpha \beta },,+,,{\partial }_{\alpha \beta }^2,g_{\mu \eta },,-,,{\partial }_{\mu \alpha }^2,g_{\eta \beta },,-,,{\partial }_{\eta \beta }^2,g_{\mu \alpha }\right]+\text{lower order terms},\end{array}$$

where the lower order terms are polynomial functions of the components of g, the inverse of g and their first derivatives. In particular, with respect to the coordinates $(r,{\vartheta }^1,\cdots ,{\vartheta }^{n-1})$, the components ${\mathrm{R}}_{\mathit{ij}}$ of the Ricci tensor satisfy

$$\begin{array}{cc}\hfill {\mathrm{R}}_{\mathit{ij}}& =-\frac{g^{\mu \eta }}{2}\left[{\partial }_{\mu \eta }^2,g_{\mathit{ij}},,+,,{\partial }_{\mathit{ij}}^2,g_{\mu \eta },,-,,{\partial }_{\mu i}^2,g_{\eta j},,-,,{\partial }_{\eta j}^2,g_{\mu i}\right]+\text{lower order terms}\hfill \\ \hfill & =-\frac{1}{2}{\partial }_{\mathit{rr}}^2{g}_{\mathit{ij}}-\frac{g^{\mathit{ab}}}{2}\left[{\partial }_{\mathit{ab}}^2,g_{\mathit{ij}},,+,,{\partial }_{\mathit{ij}}^2,g_{\mathit{ab}},,-,,{\partial }_{\mathit{ai}}^2,g_{\mathit{bj}},,-,,{\partial }_{\mathit{bj}}^2,g_{\mathit{ai}}\right]+\text{lower order terms}\hfill \end{array}$$

where $\mu ,\eta$ take the values $r,1,\cdots ,n-1$ whereas a, b take only the values $1,\cdots ,n-1$. Again the lower order terms are polynomial functions of the components of $g$, the inverse of $g$ and their first derivatives. Notice that, since $g$ is nonsingular, the inverse of $g$ is well defined everywhere and its components $g^{\mathit{ij}}$ are analytic functions of the components $g_{\mathit{ij}}$. Therefore, the lower order terms appearing above are analytic functions of $g$ and the first derivatives of $g$. We can now rewrite problem (4.1) as

$$\begin{array}{c}\hfill \left\{\begin{array}{c}-\frac{u}{2}{\partial }_{\mathit{rr}}^2{g}_{\mathit{ij}}-\frac{u}{2}{g}^{\mathit{ab}}\left[{\partial }_{\mathit{ab}}^2,g_{\mathit{ij}},,+,,{\partial }_{\mathit{ij}}^2,g_{\mathit{ab}},,-,,{\partial }_{\mathit{ai}}^2,g_{\mathit{bj}},,-,,{\partial }_{\mathit{bj}}^2,g_{\mathit{ai}}\right]-{\partial }_{\mathit{ij}}^{2}u=\text{lower order terms},\hfill \\ {\partial }_{\mathit{rr}}^{2}u+g^{\mathit{ab}}{\partial }_{\mathit{ab}}^{2}u=\text{lower order terms},\hfill \end{array}\right)\end{array}$$ 4.7

where the lower order terms appearing in (4.7) are analytic functions depending on u, $g$ and their first derivatives. In order to apply the Cauchy-Kovalevskaya Theorem 4.1 to problem (4.7) with initial conditions (4.5), (4.6), it only remains to show that the surface $\mathrm{\Sigma }$ is noncharacteristic for the system (4.7). In other words, we have to check that the matrix

$$\begin{array}{c}\hfill b_{(2,0,\cdots ,0)}=\left[\begin{array}{ccccc}0& -u/2& 0& \cdots & 0\\ 0& 0& -u/2& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& \cdots & -u/2\\ 1& 0& 0& \cdots & 0\end{array}\right]\end{array}$$ 4.8

is invertible. Since $u={max}_M(u)>0$ on $\mathrm{\Sigma }$, this is trivially true, hence the Cauchy-Kovalevskaya Theorem can be applied, telling us that there is a unique analytic solution to (4.7). On the other hand, the BK and Nariai solutions also solve (4.7). Moreover, it can be checked (see (5.19) and (5.13) below) that, for any $\lambda >n/(n-2)$ there is a value $0<m<m_{\text{max}}$ such that the BK solution with mass m satisfies the initial conditions (4.5), (4.6) with respect to the chosen $\lambda$, whereas the Nariai solution satisfies the initial conditions (4.5), (4.6) with respect to $\lambda =n/(n-2)$ (more explicitly, on the models $\lambda$ and m are related by $\lambda ={[(n-2)m]}^{-2/n}$). It follows that our solution has to coincide with a model solution inside $\mathrm{\Omega }$. This argument shows that a tubular neighborhood of $\mathrm{\Sigma }$ is locally isometric to a tubular neighborhood of the set of the maxima of a model solution. In other words, there exists $0<a<u_{\text{max}}$ and a Riemannian covering of $(M,g,u)\cap \{u>a\}$ by a BK or Nariai solution. If $a\ne 0$, then the matrix (4.8) is invertible on the hypersurface $\{u=a\}$, so we could apply the Cauchy-Kovalevskaya Theorem again on $\{u=a\}$. It follows that the Riemannian covering can be extended up to the points where $u=0$, that is, up to the horizons. Therefore, the whole $(M,g,u)$ is isometric to a quotient of a BK or Nariai solution. $\square$

Analysis of the Interfaces and Black Hole Uniqueness Theorem

This section is mainly devoted to the proof of Theorem 5.1 below, which will be a crucial ingredient, together with Theorem 4.2, in the proof of Theorem 1.1.

We start with a quick reminder of some definitions that will be helpful in the following discussion. For more details, we refer the reader to [12]. A connected component N of $M\backslash \text{MAX}(u)$ will be called region. A component S of $\partial M$ that belongs to the region N is called horizon of N and its surface gravity is the constant value of $|\mathrm{\nabla }u|/{max}_M(u)$ on S. We will distinguish different types of regions depending on the value of the surface gravity at the horizons of N. Namely, a region will be called outer, inner or cylindrical, depending on whether the maximum surface gravity of the horizons of N is smaller than, greater than or equal to $\sqrt{n}$, respectively. Given a region N of a solution $(M,g,u)$ of (4.1), the virtual mass $\mu (N,g,u)$ is defined as the mass of the model solution that would be responsible for the maximum of the surface gravities detected at the horizons of N, see [12, Definition 3]. The virtual mass is always a number between 0 and $m_{\text{max}}$, defined as

$$\begin{array}{c}\hfill m_{\text{max}}=\sqrt{\frac{{(n-2)}^{n-2}}{n^n}}.\end{array}$$ 5.1

The meaning of these definitions and the interplay between virtual mass and surface gravity on the models can be appreciated in Fig. 1.

Fig. 1.

Plot of the surface gravities $|\mathrm{\nabla }u|/{max}_M(u)$ of the two boundaries of the Schwarzschild–de Sitter solution as functions of the mass m. The red line represents the surface gravity of the cosmological horizon $\partial M_{+}=\{r=r_{+}(m)\}$, whereas the blue line represents the surface gravity of the black hole horizon $\partial M_{-}=\{r=r_{-}(m)\}$. Notice that for $m=0$ we recover the constant value $|\mathrm{\nabla }u|=1$ of the surface gravity on the cosmological horizon of the de Sitter solution. The other special situation is when $m=m_{\text{max}}$. In this case the plot assigns to $m_{\text{max}}$ the unique value $\sqrt{n}$ achieved by the surface gravity on both the horizons of the Nariai solution

It has been proven in [11, Theorem 2.3] that the virtual mass is always well defined and it is equal to zero only on the de Sitter spacetime. Finally, given two different regions A and B, if $\overline{A}\cap \overline{B}=:\mathrm{\Sigma }\ne \mathrm{\varnothing }$ then it follows from Corollary 3.4 that $\mathrm{\Sigma }$ is a real analytic hypersurface with empty boundary. The hypersurface $\mathrm{\Sigma }$ will be called interface.

We are now ready to state the following result:

Theorem 5.1

(Analysis of the interfaces) Let $(M,g,u)$ be a solution to problem (4.1). Let A, B be two connected components of $M\backslash \text{MAX}(u)$ such that $\overline{A}\cap \overline{B}=:\mathrm{\Sigma }\ne \mathrm{\varnothing }$.

• (i)
  If A is outer, then B is necessarily inner and

  $$\begin{array}{c}\hfill \mu (A,g,u)\geqq \mu (B,g,u).\end{array}$$

  Moreover, if $\mu (A,g,u)=\mu (B,g,u)=m$ then $\mathrm{\Sigma }$ is an umbilical CMC hypersurface and the metric induced by g on $\mathrm{\Sigma }$ has constant scalar curvature.
• (ii)
  If A is cylindrical, then B is inner or cylindrical and obviously

  $$\begin{array}{c}\hfill m_{\text{max}}=\mu (A,g,u)\geqq \mu (B,g,u).\end{array}$$

  Moreover, if $\mu (A,g,u)=\mu (B,g,u)=m_{\text{max}}$ (that is, B is cylindrical) then $\mathrm{\Sigma }$ is a totally geodesic hypersurface and the metric induced by g on $\mathrm{\Sigma }$ has constant scalar curvature.

Theorem 5.1 can be seen as a higher dimensional version of [12, Theorem 7.2 and Theorem 8.15], although the strategy of the proof proposed here is new. In the proof, we will actually compute explicitly the value of mean curvature, second fundamental form and scalar curvature of $\mathrm{\Sigma }$ in the rigidity case (see (5.18),  (5.19) and (5.20) for case (i) and (5.13),  (5.14) for case (ii)). Once Theorem 5.1 is established, Theorem 1.1 follows at once (see Subsection 5.4), thanks to the geometric criterion established in Theorem 4.2.

Analytic preliminaries

One of the fundamental ingredients in the proof of Theorem 5.1 is the gradient estimate for the lapse function proven in [12, Proposition 3.3]. In Proposition 5.2 we recall that result and we outline the proof, as it represents an important application of the Reverse Łojasiewicz inequality, and more precisely of Corollary 2.3. Our aim is to show that the gradient of the lapse function ${|\mathrm{\nabla }u|}_g$ is pointwise controlled by the corresponding quantity $|\mathrm{\nabla }{u}_m{|}_{g_m}$ on the model solution of the same mass m. Here we have denoted by $u_m$ and $g_m$ the lapse function and metric of the BK solution (1.1) with mass $m\in (0,m_{\text{max}})$, which we recall here for the reader’s convenience:

$$\begin{array}{c}\hfill g_m=\frac{d{r}^2}{u_m^2}+r^2{g}_{\mathrm{\Sigma }},u_m=\sqrt{1-r^2-\frac{2m}{r^{n-2}}}.\end{array}$$

In order to write a clean statement, we first need to introduce some more notation. Given $m\in (0,m_{\text{max}})$, we denote by

$$\begin{array}{c}\hfill u_{\text{max}}(m)=\sqrt{1-{\left(\frac{m}{m_{\text{max}}}\right)}^{2/n}}\end{array}$$

the maximum value of the lapse function $u_m$ of the Schwarzschild–de Sitter solution with mass m. We then use the Implicit Function Theorem to show that, for any value $m\in (0,m_{\text{max}})$ and for any region N, once u is normalized so that ${max}_M(u)=u_{\text{max}}(m)$, there exists a so called pseudo-radial function $\mathrm{\Psi }:N⟶\mathbb{R}$, satisfying the relationships

$$\begin{array}{cc}\hfill u(p)& =\sqrt{1-{\mathrm{\Psi }}^2(p)-2m{\mathrm{\Psi }}^{2-n}(p)}\text{for every}p\in N\hfill \\ \hfill \mathrm{\Psi }\equiv r_{\pm }(m)& \text{on}N\cap \partial M\text{and}\mathrm{\Psi }\equiv r_0(m)\text{on}\overline{N}\cap \text{MAX}(u).\hfill \end{array}$$ 5.2

Here $r_{-}(m)<r_{+}(m)$ are defined as the radii of the two horizons of the BK solutions of mass m, whereas $r_0(m)={[(n-2)m]}^{1/n}$ represents the radius of $\text{MAX}(u)$ in the model solution, and the sign $+$ or − in the boundary condition $\mathrm{\Psi }\equiv r_{\pm }(m)$ depends on whether N is an outer or inner region, respectively. The definition of $\mathrm{\Psi }$ has been chosen in order to mimic the behaviour of the radial coordinate on the model solutions. Further discussions on its interpretation and well posedness can be found in [12, Subsection 2.1]. The pseudo-radial function is then exploited to prove the following fundamental gradient estimate:

Proposition 5.2

(Gradient Estimate) Let $(M,g,u)$ be a solution of (4.1), and let N be an outer or inner region with virtual mass $m=\mu (N,g,u)<m_{\text{max}}$. Normalize u so that ${max}_M(u)=u_{\text{max}}(m)$. Then it inequality holds that

$$\begin{array}{c}\hfill {|\mathrm{\nabla }u|}_g\leqq {|\mathrm{\nabla }{u}_m|}_{g_m}\circ \mathrm{\Psi },\end{array}$$ 5.3

where the function $|\mathrm{\nabla }{u}_m{|}_{g_m}$ on the right hand side has to be understood as the function of one real variable that associates to some $t\in [r_{-}(m),r_{+}(m)]$ the constant value assumed by the length of the gradient of $u_m$ on the set $\{|x|=t\}$.

Proof

The full proof of this fact has been given, with a slightly different formalism, in [12, Proposition 3.3]. Here we recall the main points. The argument leading to (5.3) is quite delicate and relies on the fact that the quantity

$$\begin{array}{c}\hfill W=\frac{\mathrm{\Psi }}{|\mathrm{\nabla }{u}_m{|}_{g_m}\circ \mathrm{\Psi }}\left(|\mathrm{\nabla },u_m,{|}_{g_m}^2,\circ ,\mathrm{\Psi },-,{|\mathrm{\nabla }u|}^2\right)\end{array}$$ 5.4

satisfies a convenient elliptic partial differential inequality on N, namely

$$\begin{array}{c}\hfill \begin{array}{cc}& {\mathrm{\Delta }}_{\left(g,/,{\mathrm{\Psi }}^2\right)}W-\frac{(n-2)u^2{\mathrm{\Psi }}^{n-2}+{\mathrm{\Psi }}^n-(n-2)m}{u[{\mathrm{\Psi }}^n-(n-2)m]}\langle \text{d}u|\text{d}W{\rangle }_{(g/{\mathrm{\Psi }}^2)}\hfill \\ \hfill & -n(n-2)m\frac{u^2{\mathrm{\Psi }}^n}{{[{\mathrm{\Psi }}^n-(n-2)m]}^2}\left[\frac{(n-2)|\mathrm{\nabla }{u}_m{|}_{g_m}^2\circ \mathrm{\Psi }+(n+2){|\mathrm{\nabla }u|}^2}{|\mathrm{\nabla }{u}_m{|}_{g_m}^2\circ \mathrm{\Psi }}\right]W\leqq 0,\hfill \end{array}\end{array}$$ 5.5

where ${\mathrm{\Delta }}_{\left(g,/,{\mathrm{\Psi }}^2\right)}$ and ${⟨·|·⟩}_{\left(g,/,{\mathrm{\Psi }}^2\right)}$ represent the Laplacian and the scalar product of the conformally related metric ${\mathrm{\Psi }}^{-2}g$. The proof of inequality (5.5) was presented in [12, Formula (3.24)] with a different formalism. The equivalence between (5.5) and [12, Formula (3.24)] is shown in the appendix.

One observes that $W\geqq 0$ on $N\cap \partial M$ by construction, since we are comparing with a model solution $(M,g_m,u_m)$ having the same mass as (N, g, u) (see [12, Lemma 2.2] for details). We now want to show that the limit

$$\begin{array}{c}\hfill \underset{p\to \text{MAX}(u)}{lim}W(p)=\underset{p\to \text{MAX}(u)}{lim}\mathrm{\Psi }\left(|\mathrm{\nabla },u_m,{|}_{g_m},\circ ,\mathrm{\Psi },-,\frac{{|\mathrm{\nabla }u|}^2}{|\mathrm{\nabla }{u}_m{|}_{g_m}\circ \mathrm{\Psi }}\right)\end{array}$$

is equal to zero. To this end, we first notice that one has an explicit formula for the gradient of the lapse function of the model solution, namely

$$\begin{array}{c}\hfill |\mathrm{\nabla }{u}_m{|}_{g_m}\circ \mathrm{\Psi }=\mathrm{\Psi }\left|1,-,{\left(\frac{r_0(m)}{\mathrm{\Psi }}\right)}^n\right|.\end{array}$$

Recalling the definition of $\mathrm{\Psi }$, it is easily seen that $|\mathrm{\nabla }{u}_m{|}_{g_m}\circ \mathrm{\Psi }$ goes to zero at the same rate of $\sqrt{{max}_M(u)-u}$ as we approach $\text{MAX}(u)$. Therefore, there exists a constant $C>0$ such that

$$\begin{array}{c}\hfill \underset{p\to \text{MAX}(u)}{lim}W(p)=-C\underset{p\to \text{MAX}(u)}{lim}\frac{{|\mathrm{\nabla }u|}^2}{\sqrt{u_{\text{max}}-u}}.\end{array}$$

It follows then from the Reverse Łojasiewicz Inequality (more precisely from Corollary 2.3) that $W(p)\to 0$, as $p\to \text{MAX}(u)$. In particular, applying the Minimum Principle on the region ${\mathrm{\Omega }}^{\epsilon }=\{|W|\geqq \epsilon \}\cap N$, for every sufficiently small $\epsilon >0$, one deduces that ${min}_{{\mathrm{\Omega }}^{\epsilon }}W\geqq -\epsilon$, and in turn the desired gradient estimate. $\square$

We will also need some estimate for the lapse function and the pseudo-radial function near the interface of two regions. We start by recalling the following expansion, already proven in [12, Proposition 2.6], together with a short proof for completeness.

Proposition 5.3

Let $(M,g,u)$ be a solution to problem (4.1) and let A, B be two connected components of $M\backslash \text{MAX}(u)$ with $\overline{A}\cap \overline{B}=:\mathrm{\Sigma }\ne \mathrm{\varnothing }$. Then, the signed distance

$$\begin{array}{c}\hfill r(x)=\left\{\begin{array}{cc}+d(x,\mathrm{\Sigma }),\hfill & \text{if}x\in \overline{A},\hfill \\ -d(x,\mathrm{\Sigma }),\hfill & \text{if}x\in \overline{B}\hfill \end{array}\right)\end{array}$$ 5.6

is an analytic function in a neighborhood of $\mathrm{\Sigma }$ and the function u admits the expansion

$$\begin{array}{c}\hfill u=\underset{M}{max}(u)\left[1,-,\frac{n}{2},,r^2,,+,,\frac{n}{6},,\text{H},,r^3,,-,,\frac{n}{24},\left(2|,\mathring{\text{h}},{|}^2,,+,,\frac{n+1}{n-1},,{\text{H}}^2,,-,,n\right),r^4,,+,\mathcal{O},(r^5)\right],\\ \hfill \end{array}$$ 5.7

where $\text{H},\mathring{\text{h}}$ are the mean curvature and traceless second fundamental form of $\mathrm{\Sigma }$ with respect to the normal $\nu$ pointing towards A.

Proof

From Theorem 3.1 we get the analyticity of the signed distance function r and the following expansion around $\mathrm{\Sigma }$:

$$\begin{array}{c}\hfill u=\underset{M}{max}(u)\left[1,-,\frac{n}{2},,r^2,,+,,\frac{n}{6},,\text{H},,r^3,,-,,\frac{n}{24},\left({|\text{h}|}^2,,+,,2,,{\text{H}}^2,,+,,\mathrm{R},,-,,{\mathrm{R}}^{\mathrm{\Sigma }},,-,,n\right),r^4,,+,\mathcal{O},(r^5)\right].\end{array}$$

We also know from (4.3) that $\text{Ric}(\nu ,\nu )=0$ on $\mathrm{\Sigma }$. We can then apply the Gauss-Codazzi equation to obtain

$$\begin{array}{cc}\hfill {|\text{h}|}^2+2{\text{H}}^2+\mathrm{R}-{\mathrm{R}}^{\mathrm{\Sigma }}& =2\text{Ric}(\nu ,\nu )+{2|\text{h}|}^2+{\text{H}}^2\hfill \\ \hfill & =2|\mathring{\text{h}}{|}^2+\frac{2}{n-1}{\text{H}}^2+{\text{H}}^2\hfill \\ \hfill & =2|\mathring{\text{h}}{|}^2+\frac{n+1}{n-1}{\text{H}}^2.\hfill \end{array}$$

Substituting in the expansion for u above, we obtain (5.7). $\square$

To put our technique in a perspective, it is worth recalling that Propositions 5.2 and 5.3 were already present in [12] and have been reported for the reader’s convenience. What follows from now on represents instead an original contribution of the present paper. Here, our strategy diverges from the one in [12], as the argument in [12] was based on a delicate integration by parts along the interface, whereas the following results and propositions are essentially based on the power series expansion of some relevant quantities in a neighborhood of $\text{MAX}(u)$. The first step is indeed a detailed expansion of the pseudo-radial function about the interface between two different regions.

Proposition 5.4

Let $(M,g,u)$ be a solution to problem (4.1), let A, B be two connected components of $M\backslash \text{MAX}(u)$ such that $\overline{A}\cap \overline{B}=:\mathrm{\Sigma }\ne \mathrm{\varnothing }$ and let r be the signed distance to $\mathrm{\Sigma }$ defined as in (5.6). Fix $m\in (0,m_{\text{max}})$ and normalize u so that ${max}_M(u)=u_{\text{max}}(m)$. Let $\mathrm{\Psi }:\overline{A}\cup \overline{B}\to \mathbb{R}$ be the pseudo-radial function defined by (5.2) with respect to a parameter $m\in (0,m_{\text{max}})$ and with boundary conditions $\mathrm{\Psi }=r_{+}(m)$ on $A\cap \partial M$, $\mathrm{\Psi }=r_{-}(m)$ on $B\cap \partial M$, $\mathrm{\Psi }=r_0(m)$ on $\mathrm{\Sigma }$. Then the function $\mathrm{\Psi }$ is ${\mathcal{C}}^3$ in a neighborhood of $\mathrm{\Sigma }$ and the following expansion holds:

$$\begin{array}{cc}\hfill & \mathrm{\Psi }=u_{\text{max}}(m)[\frac{r_0(m)}{u_{\text{max}}(m)}+r+\frac{n-1}{6}K{r}^2+\hfill \\ \hfill & +\frac{1}{12}\left(|,\mathring{\text{h}},{|}^2,,-,,2,,n,,+,,\frac{n-1}{9},,K,,\left((n-4),\frac{u_{\text{max}}(m)}{r_0(m)},-,(n+2),\frac{\text{H}}{n-1}\right)\right)r^3+o(r^3)].\hfill \\ \hfill \end{array}$$ 5.8

Here

$$\begin{array}{c}\hfill K=\frac{u_{\text{max}}(m)}{r_0(m)}-\frac{\text{H}}{n-1},\end{array}$$

and $\text{H}$ is the mean curvature of $\mathrm{\Sigma }$ with respect to the normal $\partial /\partial r$.

Proof

In order to simplify notations, throughout this proof we will avoid to make the dependence on m explicit. Namely, we will write $u_{\text{max}}$ and $r_0$ instead of $u_{\text{max}}(m)$ and $r_0(m)$.

We first observe that the boundary conditions imposed on $\mathrm{\Psi }$ have been chosen in such a way that we can invoke [12, Proposition 2.7], which tells us that $\mathrm{\Psi }$ is ${\mathcal{C}}^3$ in a neighborhood of $\mathrm{\Sigma }$. Therefore, it only remains to compute the explicit expansion of $\mathrm{\Psi }$. We start by recalling that $\mathrm{\Psi }=r_0$ on $\text{MAX}(u)$, and then we write

$$\begin{array}{c}\hfill \mathrm{\Psi }=r_0+vr+w{r}^2+z{r}^3+F,\end{array}$$ 5.9

where v, w, z are functions of the coordinates $x^2,\cdots ,x^n$ only, and $F=o(r^3)$. Now we compute the expansions of the left and right hand sides of the relation $u^2=1-{\mathrm{\Psi }}^2-2m{\mathrm{\Psi }}^{2-n}$ to obtain information on the functions v, w, z. Taking the square of (5.7), we get

$$\begin{array}{c}\hfill u^2=u_{\text{max}}^2\left[1,-,n,,r^2,,+,,\frac{n}{3},,\text{H},,r^3,,+,,\frac{n}{12},\left(4n-2|,\mathring{\text{h}},{|}^2,,-,,\frac{n+1}{n-1},,{\text{H}}^2\right),r^4,,+,o,(r^4)\right].\\ \hfill \end{array}$$ 5.10

On the other hand, with some lengthy (but standard) computations, from (5.9) one obtains

$$\begin{array}{cc}\hfill & {\mathrm{\Psi }}^2=r_0^2[1+2\frac{v}{r_0}r+\left(2,,\frac{w}{r_0},,+,,\frac{v^2}{r_0}\right)r^2+2\left(\frac{z}{r_0},,+,,\frac{vw}{r_0^2}\right)r^3\hfill \\ \hfill & +\left(2,,\frac{vz}{r_0^2},,+,,\frac{w^2}{r_0^2}\right)r^4+2\frac{F}{r_0}+o(r^4)],\hfill \\ \hfill & {\mathrm{\Psi }}^{2-n}=\frac{r_0^2}{m}[\frac{1}{n-2}-\frac{v}{r_0}r+\left(\frac{n-1}{2},,\frac{v^2}{r_0^2},,-,,\frac{w}{r_0}\right)r^2\hfill \\ \hfill & +\left(-,\frac{n(n-1)}{6},,\frac{v^3}{r_0^3},,+,,(n-1),\frac{vw}{r_0^2},,-,,\frac{z}{r_0}\right)r^3\hfill \\ \hfill & +(n-1)\left(\frac{n(n+1)}{24},\frac{v^4}{r_0^4},,-,,\frac{n}{2},,\frac{v^{2}w}{r_0^3},,+,,\frac{vz}{r_0^2},,+,,\frac{1}{2},,\frac{w^2}{r_0^2}\right)r^4-\frac{F}{r_0}+o(r^4)].\hfill \end{array}$$

From these expansions we get

$$\begin{array}{cc}\hfill & 1-{\mathrm{\Psi }}^2-2m{\mathrm{\Psi }}^{2-n}=u_{\text{max}}^2-n{v}^2{r}^2+n\left(\frac{n-1}{3},,\frac{v^3}{r_0},,-,,2,,v,,w\right)r^3\hfill \\ \hfill & +n\left(-,\frac{(n-1)(n+1)}{12},\frac{v^4}{r_0^2},,+,,(n-1),\frac{v^{2}w}{r_0},,-,,2,,v,,z,,-,,w^2\right)r^4+o(r^4).\hfill \end{array}$$

Comparing with (5.10), we obtain

$$\begin{array}{cc}& v^2=u_{\text{max}}^2,\hfill \\ \hfill & \frac{n-1}{3}\frac{v^3}{r_0}-2vw=\frac{\text{H}}{3}{u}_{\text{max}}^2,\hfill \\ \hfill & -\frac{(n-1)(n+1)}{12}\frac{v^4}{r_0^2}+(n-1)\frac{v^{2}w}{r_0}-2vz-w^2\hfill \\ \hfill & =\frac{u_{\text{max}}^2}{12}\left(4n-2|,\mathring{\text{h}},{|}^2,,-,,\frac{n+1}{n-1},,{\text{H}}^2\right).\hfill \end{array}$$

From the first identity we get $v=\pm u_{\text{max}}$. To decide the sign, we recall the definitions of $\mathrm{\Psi }$ and r and we notice that they have been chosen in such a way that $\mathrm{\Psi }<r_0$ when $r>0$ and $\mathrm{\Psi }>r_0$ when $r<0$. Therefore, recalling (5.9), the correct choice is to take a positive v, hence $v=u_{\text{max}}$. Substituting in the second and third identity, we easily compute the corresponding expressions for w and z and we recover formula (5.8), as wished. $\square$

Proof of Theorem 5.1–(ii)

Let us start the proof of Theorem 5.1 by first addressing the cylindrical case, since it presents far less technical difficulties while containing all the main ideas. Given a solution $(M,g,u)$ of problem (4.1), according to [12], we normalize u so that ${max}_M(u)=1$. For a cylindrical region $N\subseteq M\backslash \text{MAX}(u)$, we have a gradient estimate in the same spirit of (5.3). In fact, [12, Proposition 8.2] tells us that $|\mathrm{\nabla }u|$ is bounded by the norm of the gradient of the lapse function of the Nariai solution on the corresponding level set. More explicitly, we have the following inequality:

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }u|}^2}{n(1-u^2)}\leqq 1.\end{array}$$ 5.11

This inequality can then be employed to prove

Proposition 5.5

Let $(M,g,u)$ be a solution to problem (4.1). Suppose that there are two regions A, B such that $\mathrm{\Sigma }:=\overline{A}\cap \overline{B}$ is not empty. Let $\text{H}$ be the mean curvature of $\mathrm{\Sigma }$ with respect to the normal pointing inside A. If A is a cylindrical region, then

$$\begin{array}{c}\hfill \text{H}\geqq 0.\end{array}$$

Proof

Since we have normalized u so that its maximum is 1, from (5.7) we obtain the following expansions in terms of the signed distance r:

$$\begin{array}{cc}\hfill {|\mathrm{\nabla }u|}^2& =n^2{r}^2\left[1,,-,,\text{H},,r,,+,,\mathcal{O},(,r^2,)\right],\hfill \\ \hfill u& =\left[1,-,\frac{n}{2},,r^2,,+,,\frac{n}{6},,\text{H},,r^3,,+,\mathcal{O},(r^4)\right].\hfill \end{array}$$

Here $\text{H}$ is the mean curvature of $\mathrm{\Sigma }$ with respect to the unit normal $\nu =\partial /\partial r$ (which is the one pointing inside A). An easy computation now gives

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }u|}^2}{n(1-u^2)}=1-\frac{2}{3}\text{H}r+\mathcal{O}(r^2).\end{array}$$ 5.12

By definition, r is positive in A and negative in B, hence, in order for (5.11) to hold, it must be $\text{H}\geqq 0$, as wished. $\square$

Now we proceed to the proof of Theorem 5.1 in the cylindrical case. Since A is cylindrical, from Proposition 5.5 we get $\text{H}\geqq 0$, where $\text{H}$ is the mean curvature of $\mathrm{\Sigma }$ with respect to the normal pointing inside A. The fact that B cannot be outer follows now from Proposition 5.6 (proven in the next subsection) that tells us that if B were outer then the mean curvature of $\mathrm{\Sigma }$ with respect to the opposite normal (the one pointing inside B) would be positive, which is a contradiction. If B is cylindrical, applying again Proposition 5.5 to both A and B, we get

$$\begin{array}{c}\hfill 0\leqq \text{H}\leqq 0.\end{array}$$

Therefore, $\text{H}=0$, as wished. Substituting this information inside the expansions for u and ${|\mathrm{\nabla }u|}^2$, we can refine (5.12) and compute that, if $\text{H}=0$ on $\mathrm{\Sigma }$, then

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }u|}^2}{n(1-u^2)}=1+\frac{1}{2}{|\mathring{\text{h}}|}^2{r}^2+o(r^2).\end{array}$$

From (5.11) it follows then that $|\mathring{\text{h}}|=0$, that is,

$$\begin{array}{c}\hfill \text{h}=\frac{\text{H}}{n-1}{g}^{\mathrm{\Sigma }}=0.\end{array}$$ 5.13

We also know from (5.3) that $\text{Ric}(\nu ,\nu )=0$ on $\mathrm{\Sigma }$. Substituting these pieces of information in the Gauss-Codazzi equation, we get

$$\begin{array}{c}\hfill {\mathrm{R}}^{\mathrm{\Sigma }}=\mathrm{R}-2\text{Ric}(\nu ,\nu )+{\text{H}}^2-{|\text{h}|}^2=n(n-1).\end{array}$$ 5.14

This concludes the proof.

Proof of Theorem 5.1–(i)

We now focus on the noncylindrical case. Let $(M,g,u)$ be a solution to problem (4.1) and consider a region with virtual mass

$$\begin{array}{c}\hfill m=\mu (N,g,u)<m_{\text{max}}.\end{array}$$

We start by rewriting more explicitly the gradient estimate (5.3), by writing the value of $|\mathrm{\nabla }{u}_m{|}_{g_m}\circ \mathrm{\Psi }$ as a function of the pseudo-radial function

$$\begin{array}{c}\hfill |\mathrm{\nabla }{u}_m{|}_{g_m}\circ \mathrm{\Psi }=\mathrm{\Psi }|1-(n-2)m{\mathrm{\Psi }}^{-n}|.\end{array}$$

In particular, we can rewrite (5.3) as

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }u|}^2}{{\mathrm{\Psi }}^2{\left[1,-,(n-2),m,{\mathrm{\Psi }}^{-n}\right]}^2}\leqq 1.\end{array}$$ 5.15

The aim of this subsection is to compare (5.15) with the expansions discussed in Subsection 5.1 in order to deduce some consequences on the geometry of the interface $\mathrm{\Sigma }$. More specifically, we now prove the following analogue of Proposition 5.5:

Proposition 5.6

Let $(M,g,u)$ be a solution to problem (4.1). Suppose that there are two regions A, B such that $\mathrm{\Sigma }:=\overline{A}\cap \overline{B}$ is not empty, and let $m_A,m_B$ be the virtual masses of A, B. Let $\text{H}$ be the mean curvature of $\mathrm{\Sigma }$ with respect to the normal pointing inside A.

• If A is an outer region, then

  $$\begin{array}{c}\hfill \frac{\text{H}}{n-1}\geqq \frac{u_{\text{max}}(m_A)}{r_0(m_A)}.\end{array}$$
• If B is an inner region, then

  $$\begin{array}{c}\hfill \frac{\text{H}}{n-1}\leqq \frac{u_{\text{max}}(m_B)}{r_0(m_B)}.\end{array}$$

Proof

Let r be the signed distance function defined in (5.6). We first observe that the metric $g$ can be written in terms of coordinates $(r,{\vartheta }^1,\cdots ,{\vartheta }^{n-1})$ as

$$\begin{array}{c}\hfill g=dr\otimes dr+{g{}^{\top }}_{\mathit{ij}}d{\vartheta }^i\otimes d{\vartheta }^j.\end{array}$$

Starting from (5.7), one easily computes the following expansion for ${|\mathrm{\nabla }u|}^2$ along $\mathrm{\Sigma }$ as

$$\begin{array}{cc}\hfill {|\mathrm{\nabla }u|}^2& ={\left(\frac{\partial u}{\partial r}\right)}^2+{(g{}^{\top })}^{\mathit{ij}}\frac{\partial u}{\partial {\vartheta }^i}\frac{\partial u}{\partial {\vartheta }^j}\hfill \\ \hfill & =n^2{u}_{\text{max}}^2(m)r^2\left[1,,-,,\text{H},,r,,+,,\mathcal{O},(,r^2,)\right].\hfill \end{array}$$

where $\text{H}$ is the mean curvature of $\mathrm{\Sigma }$ with respect to the unit normal $\nu =\partial /\partial r$ (which is the one pointing inside A). We also recall from (5.8) the expansion

$$\begin{array}{cc}\hfill \mathrm{\Psi }& =r_0(m)\left[1,,+,,\frac{u_{\text{max}}(m)}{r_0(m)},,r,,+,,\frac{n-1}{6},,\frac{u_{\text{max}}(m)}{r_0(m)},,\left(\frac{u_{\text{max}}(m)}{r_0(m)},-,\frac{\text{H}}{n-1}\right),,r^2,,+,,\mathcal{O},(r^3)\right],\hfill \end{array}$$

which holds for any $m\in (0,m_{\text{max}})$, provided that u is normalized so that ${max}_M(u)=u_{\text{max}}(m)$. It is then not hard to compute the following expansion:

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }u|}^2}{{\mathrm{\Psi }}^2{\left[1,-,(n-2),m,{\mathrm{\Psi }}^{-n}\right]}^2}=1+\frac{2(n-1)}{3}\left(\frac{u_{\text{max}}(m)}{r_0(m)},-,\frac{\text{H}}{n-1}\right)r+\mathcal{O}(r^2).\\ \hfill \end{array}$$ 5.16

By definition, r is positive in A and negative in B. Comparing with (5.15), the result follows at once. $\square$

We are now ready to prove Theorem 5.1 for the non-cylindrical case. Since A is outer, from Proposition 5.6 we get

$$\begin{array}{c}\hfill \frac{\text{H}}{n-1}\geqq \frac{u_{\text{max}}(m_A)}{r_0(m_A)},\end{array}$$

where $\text{H}$ is the mean curvature of $\mathrm{\Sigma }$ with respect to the normal pointing inside A. In particular $\text{H}$ is positive everywhere on $\mathrm{\Sigma }$. If B were also outer, then in the same way we would obtain that the mean curvature of $\mathrm{\Sigma }$ with respect to the opposite normal (the one pointing inside B) is also positive and this would be a contradiction. Similarly, if B were cylindrical, then Proposition 5.5 would tell us that the mean curvature of $\mathrm{\Sigma }$ with respect to the opposite normal is nonnegative, again leading to a contradiction. Therefore, B must be inner. Applying Proposition 5.6 to both A and B, we get

$$\begin{array}{c}\hfill \frac{u_{\text{max}}(m_A)}{r_0(m_A)}\leqq \frac{\text{H}}{n-1}\leqq \frac{u_{\text{max}}(m_B)}{r_0(m_B)}.\end{array}$$ 5.17

Since the function

$$\begin{array}{c}\hfill m\mapsto \frac{u_{\text{max}}(m)}{r_0(m)}=\sqrt{\frac{1}{r_0^2(m)}-\frac{1}{r_0^2(m_{\text{max}})}}=\sqrt{\frac{1}{{[(n-2)m]}^{2/n}}-\frac{n}{n-2}}\end{array}$$

is clearly monotonically decreasing, necessarily we must have $m_A\geqq m_B$. Furthermore, if $m_A=m=m_B$, then formula (5.17) tells us that

$$\begin{array}{c}\hfill \frac{\text{H}}{n-1}=\frac{u_{\text{max}}(m)}{r_0(m)}=\sqrt{\frac{1}{r_0^2(m)}-\frac{1}{r_0^2(m_{\text{max}})}}.\end{array}$$ 5.18

Substituting this information inside the expansions for $\mathrm{\Psi }$ and ${|\mathrm{\nabla }u|}^2$, we can refine (5.16) and compute that, if (5.18) holds, then

$$\begin{array}{c}\hfill \frac{{|\mathrm{\nabla }u|}^2}{{\mathrm{\Psi }}^2{\left[1,-,(n-2),m,{\mathrm{\Psi }}^{-n}\right]}^2}=1+\frac{1}{2}{|\mathring{\text{h}}|}^2{r}^2+o(r^2).\end{array}$$

From (5.15) it follows then that $|\mathring{\text{h}}|=0$, that is,

$$\begin{array}{c}\hfill \text{h}=\frac{\text{H}}{n-1}{g}^{\mathrm{\Sigma }}=\sqrt{\frac{1}{r_0^2(m)}-\frac{1}{r_0^2(m_{\text{max}})}}{g}^{\mathrm{\Sigma }}.\end{array}$$ 5.19

We also know from (4.3) that $\text{Ric}(\nu ,\nu )=0$ on $\mathrm{\Sigma }$. Substituting these pieces of information in the Gauss-Codazzi equation, we get

$$\begin{array}{cc}\hfill {\mathrm{R}}^{\mathrm{\Sigma }}& =\mathrm{R}-2\text{Ric}(\nu ,\nu )+{\text{H}}^2-{|\text{h}|}^2\hfill \\ \hfill & =n(n-1)+\frac{(n-1)(n-2)}{r_0^2(m)}-\frac{(n-1)(n-2)}{r_0^2(m_{\text{max}})}\hfill \\ \hfill & =\frac{(n-1)(n-2)}{r_0^2(m)}.\hfill \end{array}$$ 5.20

This concludes the proof.

Uniqueness of the schwarzschild–de sitter black hole

We are now ready to prove Theorem 1.1, which we restate here for the reader’s convenience.

Theorem 5.7

Let (M, g, u) be a compact orientable 3-dimensional static solution with cosmological constant $\mathrm{\Lambda }>0$. Assume that the set

$$\begin{array}{c}\hfill \text{MAX}(u)=\{x\in M:u(x)=u_{\text{max}}\}\end{array}$$

is disconnecting the manifold M into an outer region $M_{+}$ and an inner region $M_{-}$ having the same virtual mass $0<m<1/(3\sqrt{3})$. Then (M, g) is isometric to the Schwarzschild–de Sitter solution with mass parameter m.

Proof

Applying Theorem 5.1-(i) with $A=M_{+}$, $B=M_{-}$ and $\mathrm{\Sigma }=\overline{M_{+}}\cap \overline{M_{-}}$, we deduce that $\mathrm{\Sigma }$ is totally umbilical and that the metric $g^{\mathrm{\Sigma }}$ induced by $g$ on $\mathrm{\Sigma }$ has constant positive scalar curvature equal to $2r_0^{-2}(m)$. Since $\mathrm{\Sigma }$ is 2-dimensional, it follows that $\mathrm{\Sigma }$ is isometric to a sphere of radius $r_0(m)$ (in particular, $g^{\mathrm{\Sigma }}$ is Einstein).

We can then apply Theorem 1.2 to conclude that (M, g, u) is covered by a BK solution. Recall that the BK solution is a warped product of the form $[r_{-},r_{+}]\times S$ with metric $d{r}^2/u^2+r^2{g}_S$, where $(S,g_S)$ is a simply connected 2-dimensional manifold with ${\text{Ric}}_{g_S}=g_S$ and $u^2=1-r^2-2m/r$. On the other hand, from the Uniformization Theorem we know that S is a 2-dimensional sphere, hence (M, g, u) must be a quotient of the Schwarzschild–de Sitter solution. The conclusion now follows easily from the fact that there are no nontrivial quotients of the sphere that preserve orientability. $\square$

Similarly, one can prove the analogous result for the Nariai solution, by employing Theorem 5.1-(ii) in place of Theorem 5.1-(i).

Theorem 5.8

Let (M, g, u) be a compact orientable 3-dimensional solution of the vacuum Einstein equations with cosmological constant $\mathrm{\Lambda }>0$. Assume that the set

$$\begin{array}{c}\hfill \text{MAX}(u)=\{x\in M:u(x)=u_{\text{max}}\}\end{array}$$

is disconnecting the manifold M into two regions having the same “virtual mass” $m=1/(3\sqrt{3})$. Then (M, g) is isometric to the Nariai solution.

As mentioned in the Introduction, Theorems 5.7 and 5.8 improve on the uniqueness result for the Schwarzschild–de Sitter solution proposed in [12, Theorem 7.4]. Let us briefly recall the strategy in [12]. In [12], a monotonicity argument – inspired by [3], where the case $\mathrm{\Lambda }=0$ was considered – was employed to deduce the inequality

$$\begin{array}{c}\hfill r_{+}^2(m)|\mathrm{\Sigma }|\leqq r_0^2(m)|\partial M_{+}|\end{array}$$

between the areas of the interface and of the outer boundary. The 3-dimensional version of Theorem 5.1, and in particular the identity ${\mathrm{R}}^{\mathrm{\Sigma }}=2/r_0^2(m)$, was then exploited together with the Gauss–Bonnet formula to deduce

$$\begin{array}{c}\hfill |\mathrm{\Sigma }|=\frac{r_0^2(m)}{2}{\int }_{\mathrm{\Sigma }}{\mathrm{R}}^{\mathrm{\Sigma }}d\sigma =4\pi r_0^2(m).\end{array}$$

Finally, assuming connectedness of $\partial M_{+}$, the sharp and rigid Riemannian Penrose inequality

$$\begin{array}{c}\hfill |\partial M_{+}|\leqq 4\pi r_{+}^2(m)\end{array}$$

was established in the same paper (see [12, Theorem 1.4]). It was then enough to put together these inequalities, to deduce that in fact they were all saturated, easily concluding the proof by rigidity.

A couple of comments are in order. First of all, this proof is markedly three-dimensional as it relies heavily on the Gauss–Bonnet Theorem. Secondly, the global nature of the proof makes it so that it is necessary to add the undesirable assumption of connectedness of the outer boundary $\partial M_{+}$.

In contrast, the proof proposed in this paper is more local in nature, as it is based only on an analysis in a neighborhood of the interface. In particular, the horizons do not play any role and there is no need to require connectedness of $\partial M_{+}$. Furthermore, the proposed proof does not rely on the Gauss–Bonnet formula, but only on Theorem 5.1 and Theorem 1.2. Since both these results work in any dimension $n\geqq 3$, one may wonder whether it is possible to prove a higher-dimensional version of Theorem 5.7 as well.

Unfortunately the route towards such an extension seems not so easy to find, and it is even impossible from a local perspective. Indeed, we observe that the thesis of Theorem 5.1 says that $\mathrm{\Sigma }$ is CMC umbilical with constant scalar curvature. In order to be able to invoke Theorem 1.2, one would need to further argue that this forces the metric induced on $\mathrm{\Sigma }$ to be Einstein. In the next section we show that in general this is not the case, for dimensions $n\geqq 4$, if the strategy only relies on local arguments. In Proposition 6.1 we will show that for any compact, real analytic manifold $\mathrm{\Sigma }$ and for any choice of real analytic symmetric 2-tensors $g^{\top },h$ on $\mathrm{\Sigma }$, we can find a local solution to the static vacuum Einstein equations on $\mathrm{\Sigma }\times (-\epsilon ,\epsilon )$ such that the metric induced on $\mathrm{\Sigma }=\mathrm{\Sigma }\times \{0\}$ is $g^{\top }$ and the second fundamental form of $\mathrm{\Sigma }$ is h. Hence, in dimension $n\geqq 4$ one can clearly choose $g^{\top }$ and h in such a way that the thesis of Theorem 5.1 is satisfied (i.e., $\mathrm{\Sigma }$ is CMC umbilical – it is enough to take $h=constant·g^{\top }$ – and the metric $g^{\top }$ induced on $\mathrm{\Sigma }$ has constant scalar curvature), but the solution does not belong to the BK family, as long as $g^{\top }$ is not Einstein.

Local Solutions

A triple (M, g, u) will be said to satisfy the Riemannian static Einstein equations if the spacetime metric

$$\begin{array}{c}\hfill {\gamma }_{\text{Lor}}:=-u^{2}d{t}^2+g,{\partial }_{t}u=0={\partial }_{t}g\end{array}$$

satisfies the vacuum Einstein equations, possibly with a cosmological constant. In this section we will outline how to construct such real-analytic triples (M, g, u), by mimicking the Cauchy problem in general relativity, invoking the Cauchy-Kovalevskaya theorem to justify existence. The construction is a straightforward adaptation of that of Darmois [23], a summary of the argument can be found in [16].

We note that the Cauchy-Kovalevskaya theorem, in the current setting, does not care about the signature of the metric, and that the equations for an Einstein Riemannian metric

$$\begin{array}{c}\hfill {\gamma }_{\text{Riem}}:=u^{2}d{t}^2+g,{\partial }_{t}u=0={\partial }_{t}g,\end{array}$$

are identical to the Lorentzian ones. There is, however a slight advantage of solving the Riemannian equations instead, as then zeros of u can be smoothly mapped to axes of rotation for the metric ${\gamma }_{\text{Riem}}$, avoiding the problem of equations which are potentially singular at the zeros of u. We will, however, not pursue this line of thought, as our main interest here is to solve the equations starting from a hypersurface on which u is nowhere vanishing.

Thus, we seek to construct a solution of the static Einstein equations of the form

$$\begin{array}{c}\hfill g=d{r}^2+g{}^{\top }(r),\end{array}$$

where $g{}^{\top }(r)$ is an r-dependent family of metrics on a, say compact, real analytic manifold $\mathrm{\Sigma }$. The initial data at $r=0$ are u(0), $g{}^{\top }(0)$ and their first r-derivatives at $r=0$, all taken to be real-analytic. The Cauchy-Kovalevskaya theorem in Gauss coordinates, as in Theorem 4.2, provides existence of an interval $r\in (-r_0,r_0)$ and a metric

$$\begin{array}{c}\hfill {\gamma }_{\text{Lor}}=d{r}^2\underset{=:\widehat{g}(r)}{\underbrace{-u^{2}d{t}^2+g{}^{\top }(r)}},\end{array}$$

on $\{r\in (-r_0,r_0),t\in \mathbb{R}\}\times \mathrm{\Sigma }$. The metric ${\gamma }_{\text{Lor}}$ will be t-independent and will satisfy the vacuum Einstein equations with a cosmological constant provided that the initial data fields

$$\begin{array}{c}\hfill \widehat{g}{{|}_{r=0}:=-u{(0)}^{2}d{t}^2+g{}^{\top }(0)\text{and}{\partial }_r\widehat{g}|}_{r=0}\end{array}$$

are chosen to be time-independent and satisfy the usual general relativistic constraint equations. Summarizing, the Cauchy–Kovalevskaya Theorem in the context of static spacetimes gives the following:

Proposition 6.1

Given a compact $(n-1)$-dimensional real analytic Riemannian manifold $(\mathrm{\Sigma },g^{\mathrm{\Sigma }})$ and real analytic functions v, w, h on $\mathrm{\Sigma }$ with $v>0$, there exists a static spacetime $X=\mathbb{R}\times (-r_0,r_0)\times \mathrm{\Sigma }$ with spacetime metric

$$\begin{array}{c}\hfill {\gamma }_{\text{Lor}}:=-u^{2}d{t}^2+d{r}^2+g^{\top }(r),\end{array}$$

where $g^{\top }$ is a collection of metrics on $\mathrm{\Sigma }$ with $g^{\top }(0)=g^{\mathrm{\Sigma }}$, $\partial g^{\top }/\partial r_{{|}_{\mathrm{\Sigma }}}=h$, $u_{{|}_{\mathrm{\Sigma }}}=v$ and $\partial u/\partial r_{{|}_{\mathrm{\Sigma }}}=w$.

The above provides many new local solutions of the static Einstein equations. Here local refers to the fact, that the solutions might not necessarily extend to boundaries on which u vanishes.

The question then arises, which data on $\mathrm{\Sigma }$ leads to manifolds M which are bounded by Killing horizons; equivalently, manifolds with boundary on which u vanishes. When starting from a critical level set of u, a sufficient condition for this is provided by Theorem 1.2.

Appendix A Gradient estimate

In this appendix we show the equivalence between the elliptic inequality (5.5) and [12, Formula (3.24)]. To this end, we start by recovering some useful notation and formulas from [12]. First of all, we denote by $\psi :[0,u_{\text{max}}]\to \mathbb{R}$ the function such that $\mathrm{\Psi }=\psi \circ u$. The derivative $\dot{\psi }$ of $\psi$ satisfies

$$\begin{array}{c}\hfill \dot{\psi }(u)=-\frac{u{\mathrm{\Psi }}^{n-1}}{{\mathrm{\Psi }}^n-(n-2)m}\text{and}{|\mathrm{\nabla }{u}_m|}_{g_m}=\frac{u}{|\dot{\psi }(u)|}.\end{array}$$ A.1

The differential inequality in [12, Formula (3.24)] is written in terms of

$$\begin{array}{c}\hfill w=u\frac{\mathrm{\Psi }}{|\dot{\psi }(u)|}\left(1,-,{|\text{d}\phi |}_{\tilde{g}}^2\right),\end{array}$$

where $\tilde{g}=g/{\mathrm{\Psi }}^2$ and $\phi$ is the pseudo-affine function. We will not need the precise definition of $\phi$ but we will need the following relations involving $\text{d}\phi$, again proved in [12]:

$$\begin{array}{c}\hfill \text{d}\phi =-\frac{\dot{\psi }(u)}{u\mathrm{\Psi }}{\text{d}u,|\text{d}\phi |}_{\tilde{g}}=\frac{|\dot{\psi }(u)|}{u}|\mathrm{\nabla }u|=\frac{|\mathrm{\nabla }u|}{|\mathrm{\nabla }{u}_m{|}_{g_m}}.\end{array}$$

It is now easy to rewrite the quantity w above as

$$\begin{array}{c}\hfill w=\mathrm{\Psi }|\mathrm{\nabla }{u}_m{|}_{g_m}\left(1,-,\frac{{|\mathrm{\nabla }u|}^2}{|\mathrm{\nabla }{u}_m{|}_{g_m}^2}\right)=\frac{\mathrm{\Psi }}{|\mathrm{\nabla }{u}_m{|}_{g_m}}\left(|\mathrm{\nabla },u_m,{|}_{g_m}^2,-,{|\mathrm{\nabla }u|}^2\right).\end{array}$$

In particular, w coincide with the function W defined in (5.4) above. Starting from [12, Formula (3.24)], we then compute

$$\begin{array}{cc}\hfill {\mathrm{\Delta }}_{\tilde{g}}W& \leqq \left[(n-2),u,-,\frac{\mathrm{\Psi }}{\dot{\psi }(u)}\right]{⟨\text{d}W|\text{d}\phi ⟩}_{\tilde{g}}\hfill \\ \hfill & +n(n-2)m{\mathrm{\Psi }}^{2-n}{\dot{\psi }}^2(u)\left[(n-2),+,{(n+2)|\text{d}\phi |}_{{\tilde{g}}^2}\right]W\hfill \\ \hfill & =\left[-,(n-2),\frac{\dot{\psi }(u)}{\mathrm{\Psi }},+,\frac{1}{u}\right]{⟨\text{d}W|\text{d}u⟩}_{\tilde{g}}\hfill \\ \hfill & +\frac{n(n-2)m{u}^2{\mathrm{\Psi }}^n}{{\left[{\mathrm{\Psi }}^n,-,(n-2),m\right]}^2}\left[(n-2),+,(n+2),\frac{{|\mathrm{\nabla }u|}^2}{|\mathrm{\nabla }{u}_m{|}_{g_m}^2}\right]W.\hfill \end{array}$$

Using (A.1) to substitute $\dot{\psi }(u)$ in the first square bracket, we obtain precisely (5.5), as desired.

Funding Information

Open access funding provided by Università degli Studi di Trento within the CRUI-CARE Agreement.