Abstract
We construct infinite-dimensional families of non-singular static space-times, solutions of the vacuum Einstein–Maxwell equations with a negative cosmological constant. The families include an infinite-dimensional family of solutions with the usual AdS conformal structure at conformal infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Stationary and static solutions play a fundamental role in any theory. Stable such solutions provide families of possible end states of the problem at hand. Unstable ones display features of the solutions that are likely not to be encountered at late times of evolution.
Lichnerowicz’s theorem asserts that the only vacuum stationary well-behaved solution with \(\Lambda =0\) is Minkowski space-time. It therefore came as a surprise that there exist many stationary solutions of the vacuum Einstein equations with negative cosmological constant which have a smooth conformal structure [3, 4, 8]. In particular, there exist many globally well-behaved stationary vacuum space-times with negative cosmological constant which have no symmetries whatsoever.
Now, Lichnerowicz’s theorem generalises to static Einstein–Maxwell equations with \(\Lambda =0\) [14]: there is again only one such regular solution, namely Minkowski space-time. It is likewise of interest to enquire what happens when \(\Lambda <0\). In this work, we show that, similarly, no Lichnerowicz-type theorem exists in this case: we prove existence of infinite-dimensional families of static metrics satisfying the Einstein–Maxwell equations with a negative cosmological constant and admitting a smooth conformal completion at infinity.
More precisely, we show that a large class of such fields can be constructed by prescribing the conformal class of a static Lorentzian metric and the asymptotic behaviour of the electric field on the conformal boundary \(\partial \mathscr {M}\), provided that the boundary class is sufficiently close to, e.g. that of anti-de Sitter space-time and the freely prescribable leading coefficient in an asymptotic expansion of the electric potential is sufficiently small. This complements our previous work on vacuum metrics in [8], which we think of as paper I in this series.
The key new feature of the current result, as compared to [3, 4, 8], is that we can drive the solution with the electric field maintaining, if desired, a conformally flat structure at the conformal boundary at infinity.
Once this work was completed we have noticed [7], where a class of numerical solutions of the Einstein–Maxwell equations with \(\Lambda <0\) is presented. Our work justifies rigorously the existence of weak-matter-fields configurations within the family constructed numerically in [7] and provides many other static non-vacuum solutions near anti-de Sitter.
We thus seek to construct Lorentzian metrics \({}{{\mathbf {g}}}\), solutions of Einstein–Maxwell equations with a negative cosmological constant \( \Lambda \), in any space-dimension \(n\ge 3\). More precisely, we consider the following field equations for a metric
and a two-form field F in space-time dimension \(n\,+\,1\), \(n\ge 3\) generalising the Einstein–Maxwell equations in dimension \(3+1\) as
where \({\text {Tr}}\) denotes a trace with the relevant metric (which should be obvious from the context), \((F\circ F)_{\alpha \beta } := g^{\mu \nu } F_{\alpha \mu } F_{\beta \nu }\), and
This is complemented with the Maxwell equations
We further assume existence of a hypersurface-orthogonal globally timelike Killing vector \(X=\partial /\partial t\). In adapted coordinates, the space-time metric can be written as
We further assume that the Maxwell field takes the form
Our main result reads as follows (see Sect. 2 below for the definition of non-degeneracy; the function \(\rho \) in (1.7) is a coordinate near the conformal boundary at infinity \(\partial M\) that vanishes at \(\partial M\)):
Theorem 1.1
Let \(n=\dim M\ge 3\), \(k\in {\mathbb {N}}\smallsetminus \{0\}\), \(\alpha \in (0,1)\), and consider an Einstein metric \(\mathring{{{\mathbf {g}}}}\) as in (1.3)–(1.4) with strictly positive \(V={\mathring{V}}\), \(g={\mathring{g}}\), such that the associated Riemannian metric \(\mathring{{{\mathfrak {g}}}}={{\mathring{V}}}^2\mathrm{d}\varphi ^2+{\mathring{g}}\) on \(\mathbb {S}^1\times M\) is \(C^2\)-compactifiable and non-degenerate, with smooth conformal infinity. For every smooth \(\widehat{U}\), sufficiently close to zero in \(C^{k+2,\alpha }(\partial M)\), there exists a unique, modulo diffeomorphisms which are the identity at the boundary, solution of the static Einstein–Maxwell equations of the form (1.3)–(1.5) such that, in local coordinates near the conformal boundary \(\partial M\),
Remark 1.2
We have emphasised the freedom to choose the leading-order behaviour \({\widehat{U}}\) of U. As such, the leading-order behaviour of both \({\mathring{V}}\) and \({\mathring{g}}\) is, similarly, freely prescribable near a non-degenerate solution [4, 8]. Here, one can, if desired, proceed in two steps: first, find the static solution with new fields \({\mathring{V}}\) and \({\mathring{g}}\) near a non-degenerate solution; small such perturbations will preserve non-degeneracy. One can then use Theorem 1.1 at the perturbed static solution to obtain a solution with the desired small \({\widehat{U}}\). \(\square \)
The \((n+1)\)-dimensional anti-de Sitter metric is non-degenerate in the sense above (see eg. [4], Appendix D), so Theorem 1.1 provides in particular an infinite-dimensional family of solutions near that metric. We note existence of further large classes of Einstein metrics satisfying the non-degeneracy condition [1, 2, 4, 15].
The requirement of strict positivity of \({\mathring{V}}\) excludes black hole solutions, and we are hoping to return to the construction of black-hole solutions in a near future. In fact, this work was prompted by [13], where static Einstein–Maxwell black holes solutions driven by the asymptotics of the electric field have been constructed numerically.
Similarly to [13], for generic \(\widehat{U}\) the resulting space-time metric will have no isometries other than time-translations.
When the free boundary data \({\widehat{U}}\) are smooth and when \({\mathring{{{\mathfrak {g}}}}}\) is conformally smooth, the solutions constructed here will have a polyhomogeneous expansion at the conformal boundary at infinity. The proof of this is an immediate repetition of the argument presented in [8, Section 7], where the reader can also find the definition of polyhomogeneity. The decay rates in (1.6)–(1.7) have to be compared with the local-coordinates leading-order behaviour \(\rho ^{-2}\) both for \({{\mathring{V}}}^2\) and \({{\mathring{g}}}_{ij}\). A more precise version of (1.6)–(1.7) in terms of weighted function spaces (we follow the notation in [8, 15]) reads, in all dimensions,
and the norms of the differences above are small in those spaces. To this, one can add, in dimensions \(n\ge 4\),
with the function \(U_{\ln } \in C^\infty ( \mathbb {S}^1\times \overline{M}) \) given by (5.4) below when \(n=4\), and \( U_{\ln } \equiv 0\) in dimension \(n\ge 5\). Interestingly enough, in dimension \(n=4\) the function \(U_{\ln {}}\) vanishes only when \(d U \equiv 0\); in which case the space-time is vacuum, see Remark 5.3 below.
The proof of Theorem 1.1 can be found at the end of Sect. 5. It follows closely [8] and proceeds through an implicit function argument, with the key isomorphism properties of the associated linearised operator borrowed from [8, 15], and presented in Sect. 3.
As already noted, a constant \({\widehat{U}}\) implies vacuum, by uniqueness of solutions. Hence, the energy density of the Maxwell field behaves as \(\rho ^{4}\) for small \(\rho \) if not identically zero [cf. (6.14) below], which leads to finite-total-energy configurations in space-dimensions \(n=3\) and 4, but infinite matter energy in higher dimensions.
2 Definitions, notations and conventions
Our definitions and conventions are identical to those in [8, Section 2]. Here, we simply recall that the Lichnerowicz Laplacian acting on a symmetric two-tensor field is defined as [6, § 1.143]
The operator \(\Delta _L+2n\) arises naturally when linearising the equation
where \({\text {Ric}}({{\mathfrak {g}}})\) is the Ricci curvature of \({{\mathfrak {g}}}\), at a solution. We will say that a metric is non-degenerate if \(\Delta _L+2n\) has no \(L^2\)-kernel.
3 Isomorphism theorems
In this section, we recall two isomorphism results from [8, Section 3] and prove an isomorphism theorem on scalar fields, as needed in the remainder of this work. The reader might also want to consult the introductory comments in [8, Section 3], which remain valid in the current context.
3.1 An isomorphism on two-tensors
We will need [8, Corollary 3.2]:
Corollary 3.1
Let \((\mathbb {S}^1 \times M,V^2 \mathrm{d}\varphi ^2 + g)\) be an asymptotically hyperbolic non-degenerate Riemannian manifold with \(\partial _\varphi V = 0= \partial _\varphi g \). Consider the map
where
and
Then (l, L) is an isomorphism from \(C^{k+2,\alpha }_{\delta -1}(M)\times C^{k+2,\alpha }_{\delta }( M,{{\mathcal {S}}}_2)\) to \(C^{k,\alpha }_{\delta -2}(M)\times C^{k,\alpha }_{\delta }( M,{\mathcal {S}}_2)\) when \(\delta \in (0,n)\).
3.2 An isomorphism on one-forms
We will also need the following sharper version of [8, Corollary 3.5], where we note that the isomorphism given in Theorem 3.4 and Corollary 3.5 of [8] are in fact valid for a larger interval of weights, as can be established by a more careful inspection of the arguments presented in [8]:
Corollary 3.2
Let \(k\in {\mathbb {N}}\), \(\alpha \in (0,1)\). Under the hypotheses of Corollary 3.1, suppose moreover that the Ricci tensor of \(V^2 d\varphi ^2 + g\) is negative. Consider the operator
where
Then \({\mathcal {B}}\) is an isomorphism from \(C^{k+2,\alpha }_{\delta }( M,{{\mathcal {T}}}_1)\) to \(C^{k,\alpha }_{\delta }(M,{{\mathcal {T}}}_1)\) when
3.3 An isomorphism on functions
If we assume that \(V^2\mathrm{d}\varphi ^2+g\) is a static asymptotically hyperbolic metric on \(\mathbb {S}^1\times M\), then it is easy to check that
as the conformal boundary is approached. We will need an isomorphism property for the following operator acting on functions with \(s=-1\); in [8] the result has already been established with \(s=-3\) and \(s=3\), so for future reference it appears useful to consider all values of s:
Theorem 3.3
Let (M, g) be an n-dimensional Riemannian manifold with an asymptotically hyperbolic metric with \(V>0\) and assume that (3.3) holds. Let \(s\ne 1-n\) and suppose that
If \(s\ge -\frac{n-1}{2}\) then \({\mathcal {T}}_s\) is an isomorphism from \(C^{k+2,\alpha }_{\delta }( M)\) to \(C^{k,\alpha }_{\delta }(M)\). If \(s<-\frac{n-1}{2}\), then \({{\mathcal {T}}}_s\) is an isomorphism from \(C^{k+2,\alpha }_{\delta }( M)/\mathbb {R}\) to
Proof
When \(s+n-1>0\), we can use [5, Theorem 7.2.1 (ii) and Remark (i), p. 77] to conclude. As we want the result for any \(s\ne 1-n\), for the remaining cases we appeal to the results of Lee [15]. For this, we need a formally self-adjoint operator, so we set \(\sigma =V^{-\frac{s}{2}}f\), thus
By assumption \(V^{-2}|\mathrm{d}V|^2\rightarrow 1\) and \(V^{-1}\nabla ^i\nabla _iV\rightarrow n\) at the conformal boundary, leading to the following indicial exponents for \(T_s\):
We want to show that \(T_s\) satisfies condition (1.4) of [15],
for smooth u compactly supported in a sufficiently small open set \({{\mathcal {U}}}\subset M\) such that \(\overline{{\mathcal {U}}}\) is a neighbourhood of \(\partial M\). Let us recall the following, well-known result (see eg. [8, Lemma 3.8]):
Lemma 3.4
On an asympotically hyperbolic manifold (M, g) with boundary defining function \(\rho \) we have, for all compactly supported \(C^2\) functions,
Lemma 3.4 combined with the hypothesis (3.3) shows that
from which it follows that \( T_s\) satisfies indeed (3.6) with
We recall that the critical fall-off for a function to belong to \(L^2\) is \(O(\rho ^{\frac{n-1}{2}})\). This can be used to show that the \(L^2\)-kernel of \(T_s\) equals
Indeed, assume that f is in the \(L^2\)-kernel of \(T_s\). By elliptic regularity (see [15, Lemma 4.8] for instance) f is \(H^2\) on M. This implies in particular that no boundary terms arise in the following integration by parts:
So \(V^{-\frac{s}{2}}f\) is a constant. Using [15], Theorem C(c), we find:
-
If \(s\ge \frac{n-1}{2}\), then the kernel (and then the cokernel) of \(T_s\) is trivial so \(T_s\) is an isomorphism from \(C^{k+2,\alpha }_{\delta -\frac{s}{2}}( M)\) to \(C^{k,\alpha }_{\delta -\frac{s}{2}}( M)\).
-
If \(s<-\frac{n-1}{2}\), then \(T_s\) is an isomorphism from \(C^{k+2,\alpha }_{\delta -\frac{s}{2}}( M)/V^{s/2}\mathbb {R}\) to the orthogonal to the kernel:
$$\begin{aligned} \Big \{f\in C^{k,\alpha }_{\delta -\frac{s}{2}}(M): \int _M V^{s/2}f=0\Big \}. \end{aligned}$$
The conclusion follows for \({\mathcal {T}}_s\) if we recall that \(\sigma =V^{-\frac{s}{2}}f\) is in \(C^{k,\alpha }_{\delta }(M)\) iff \(f\in C^{k,\alpha }_{\delta -\frac{s}{2}}(M)\). \(\square \)
4 The equations
Rescaling the metric to achieve a convenient normalisation of the cosmological constant,
the vacuum Einstein–Maxwell equations for a metric satisfying (1.3)–(1.4) read (see “Appendix”)
4.1 The linearised equation
We use the symbol \({\text {Tr}}\), or \({\text {Tr}}_g\) when the metric could be ambiguous, to denote the trace. As in [8] we set
(note the geometers’ convention, in which we have a negative sign in the definition of divergence). We consider the operator from the set of functions times symmetric two-tensor fields to itself, defined as
(To avoid ambiguities, \(\nabla ^*\nabla \equiv -\nabla ^i \nabla _i =: - \Delta \).) The two components of its linearisation at (V, g) are
It turns out to be convenient to introduce the one-form
which allows us to rewrite P(W, h) as
where L is as in Corollary 3.1. Similarly, p(W, h) can be rewritten as
with l given by (3.1).
4.2 The modified equation
In Sect. 5, we will use the implicit function theorem to construct our solutions, using the observation of [11], how to obtain a well-behaved equation by adding “gauge fixing terms”. We choose those terms as in [8], appealing to harmonic maps for the vacuum Einstein equations in one dimension higher.
Indeed, we will be solving the following system of equations
where
and where \({\mathring{\nabla }}\)-derivatives are relative to the metric \( {\mathring{g}} \), with Christoffel symbols \(\mathring{\Gamma }^\alpha _{\beta \gamma }\), latin indices run from 0 to n, and \({{\mathfrak {g}}}:=V^2(dx^0)^2+g\) with Christoffel symbols \(\Gamma ({{\mathfrak {g}}})^\alpha _{\beta \gamma }\), while the \(\Gamma (\mathring{{{\mathfrak {g}}}})^\alpha _{\beta \gamma }\)’s are the Christoffel symbols of the metric \(\mathring{{{\mathfrak {g}}}}\).
The derivative of \(\Omega \) with respect to (V, g) at \(( {{\mathring{V}}}, {{\mathring{g}}})\) is
where w is the one-form defined in Sect. 4.1 with (V, g) replaced with \(( {{\mathring{V}}}, {{\mathring{g}}})\). Thus, the linearisation of (q, Q) at \(( {{\mathring{V}}}, {{\mathring{g}}})\) is
where (l, L) is the operator defined in Sect. 4.1 with (V, g) replaced with \(( {{\mathring{V}}}, {{\mathring{g}}})\). We will show that, under reasonable conditions, solutions of (4.3) are solutions of (4.2).
Proposition 4.1
If (U, V, g) solves (4.3) then \(\Omega \) is in the kernel of \({{\mathcal {B}}}\). If moreover \( \Omega \in C^{2,\alpha }_\delta \) for some \(\delta >-1\), then \(\Omega \equiv 0\), so that (U, V, g) solves (4.2).
Proof
A standard adaptation of the argument in [8] gives the result; we sketch this for completeness. Set
With this notation, the first two equations in (4.3) take the form
The tensor field, \(E(g)={\text {grav}}_g {\text {Ric}}(g)\), has vanishing divergence, which provides the equation \({{\mathcal {B}}}(\Omega )=0\) for \(\Omega \). Indeed, the operator \({{\mathcal {B}}}(\Omega )\) defined above has been constructed in [8] so that it vanishes when the modified equation for the metric holds and when the Lorentzian \((n+1)\)-dimensional divergence of the \((n+1)\)-dimensional energy–momentum tensor vanishes. The latter condition is satisfied when the \((n+1)\)-dimensional matter field equations hold; in the current case, this coincides with the last equation in (4.3).
An alternative, n-dimensional argument proceeds as follows: the calculation following [8, Equation (4.6)] shows that for a solution to the modified equation, the divergence of E(g) equals
where
The vanishing of \(\beta \) can be checked by a somewhat lengthy calculation using (4.3).
Either way, the Bianchi identity \({\text {div}}E(g)=0\) shows that \(\Omega \) is in the kernel of \({{\mathcal {B}}}\). It follows from Corollary 3.2 that the only solution of this equation which decays as described is zero.\(\square \)
For future reference, we consider the static equations, modified as in (4.5), with a general energy–momentum tensor:
where \(N^\alpha \partial _\alpha \) is the unit timelike normal to the initial data surface [compare (6.8)–(6.9), Appendix]. We have:
Proposition 4.2
Let \(T_{\mu \nu }\) be divergence-free with respect to the time-independent metric
as a consequence of the matter field equations, with \(\partial _t T_{\mu \nu } = T_{0i}=0\). Set
Then
Proof
Equation (4.6) can be rewritten as
We have
The \((n+1)\)-decomposition of the equation \( \nabla ^\mu T_{\mu \nu }=0\), where \(\nabla _\mu \) is the space-time covariant derivative associated with \({{\mathbf {g}}}\), using the formulae for the Christoffel symbols in “Appendix” gives
where \(\nabla ^i\) is the covariant derivative operator of g. Comparing with (4.11) gives the result. \(\square \)
5 The construction
We consider an asymptotically hyperbolic Einstein static metric \(\mathring{{{\mathfrak {g}}}}={{\mathring{V}}}^2\mathrm{d}\varphi ^2+{{\mathring{g}}}\) on \(\mathbb {S}^1\times M\). We apply Theorem 3.3 with \(s=-1\), g—a Riemannian metric on M close to \({{\mathring{g}}}\) in \(C_{0}^{k+2,\alpha }(M,{{\mathcal {S}}}_2)\), and V—a function on M close to \({{\mathring{V}}}\) in \(C_{-1}^{k+2,\alpha }(M)\). It is convenient to choose some
We conclude that for any \(\widehat{U}\in C^{k+2,\alpha }(\partial M)\), there exists a unique solution
to
Moreover, the map \((\widehat{U},V,g)\mapsto U-\widehat{U}\in C_{\delta }^{k+2,\alpha }(M)\) is smooth.
We define a new map F, defined on the set of functions on the conformal boundary at infinity \(\partial _\infty M\) times functions on M times symmetric two-tensor fields on M, mapping to functions on M times symmetric two-tensor fields on M, which to \((\widehat{U},V,g)\) associates
Proposition 5.1
Let \(\mathring{{{\mathfrak {g}}}}={{\mathring{V}}}^2d\varphi ^2+{{\mathring{g}}}\) be an asymptotically hyperbolic static Einstein metric on \(\mathbb {S}^1\times M\), \(k\in {\mathbb {N}}\), \(\alpha \in (0,1)\). The map \({\mathcal {F}}\) defined as
is smooth in a neighbourhood of zero.
Proof
Let \(\delta \) be as in (5.1). We have, by direct estimations,
The remaining arguments of the proof of [8, Proposition 5.2] apply with trivial modifications: the function \({{\mathring{V}}}\in C_{-1}^{k+2,\alpha }(M)\) is strictly positive, so the same is true for \({{\mathring{V}}}+W\) if W is sufficiently small in \(C_{1}^{k+2,\alpha }(M)\subset C_{-1}^{k+2,\alpha }(M) \). Similarly, the symmetric two-tensor field \({{\mathring{g}}}+h\in C_{0}^{k+2,\alpha }(M,{{\mathcal {S}}}_2) \) is positive definite when h is small in \(C_{2}^{k+2,\alpha }(M,{{\mathcal {S}}}_2)\subset C_{0}^{k+2,\alpha }(M,{{\mathcal {S}}}_2)\). The map \((\widehat{U},V,g)\mapsto U\) is smooth. The fact that the remaining terms in \(F(\widehat{U},{{\mathring{V}}}+W,{{\mathring{g}}}+h)\) are in the space claimed and that the map is smooth, follows from standard calculations (see [12, proof of Theorem 4.1] or [10, Appendix] for associated detailed calculations). \(\square \)
We are ready to formulate now:
Theorem 5.2
Let \(\dim M=n\ge 3\) and let \({{\mathring{V}}}^2d\varphi ^2+{{\mathring{g}}}\) be a non-degenerate asymptotically hyperbolic static Einstein metric on \(\mathbb {S}^1\times M\), \(k\in {\mathbb {N}}\), \(\alpha \in (0,1)\), \(\delta \in (0,1)\) in \(n=3\) and \(\delta =1\) if \(n>3\). For all \(\widehat{U}\) close to zero in \(C^{k+2,\alpha }(\partial M)\) there exists a unique solution
to (4.2) with
close to zero, satisfying the gauge condition \(\Omega =0\). Moreover, the map \(\widehat{U}\mapsto (u,W,h)\) is a smooth map of Banach spaces near zero.
Proof
As already pointed out, the function \(U=U(\widehat{U},V,g)\) exists and is unique when W and h are small. From Proposition 5.1, we know that the map \({{\mathcal {F}}}\) is smooth. The linearisation of \({{\mathcal {F}}}\) at zero is
From Corollary 3.1, with \(\delta =2\), we obtain that \(D_{(W,h)}{{\mathcal {F}}}(0,0,0)\) is an isomorphism. The implicit function theorem shows that the conclusion of Theorem 5.2 remains valid for the modified equation (4.3). Returning to Sect. 4.2, we see that \(\Omega =\Omega (V,g,{{\mathring{V}}},{{\mathring{g}}})\in C_{2}^{k+1,\alpha }(M,T_1)\). Corollary 3.2 gives \(\Omega =0\), and we have obtained a solution to (4.2).\(\square \)
Proof of Theorem 1.1
Existence and uniqueness of a solution with
follows from Theorem 5.2. Here and elsewhere, we write \(u=O(\rho ^\sigma )\) for a tensor u if the coordinate components of u in local coordinates near the boundary are \(O(\rho ^\sigma )\), and \(u={O_{\mathring{g}}}(\rho ^\sigma )\) if the norm \(|u|_{{\mathring{g}}}\) of u with respect to the metric \( \mathring{g} \) is \(O(\rho ^\sigma )\). Standard arguments show that all the fields V, U and g are polyhomogeneous (cf. e.g. [9], compare [8, Section 7]).
To justify (1.7), we plug-in a polyhomogeneous asymptotics as in (5.2) in the equations. Since the trace-free part of the Ricci tensor of \({{\mathbf {g}}}=-V^2\mathrm{d}t^2+g\) decays in \(\mathring{{{\mathfrak {g}}}}\)-norm as \(\rho ^4\) near \(\rho =0\), the metric \({{\mathbf {g}}}=-V^2\mathrm{d}t^2+g\) is vacuum up to this order, which implies that the usual Fefferman–Graham expansion holds for \({{\mathbf {g}}}\) up to terms \(O_{\mathring{{{\mathfrak {g}}}}}(\rho ^4 \ln \rho )\). This leads to the following form of the metric near the conformal boundary
where \({\mathring{h}}\) is a family of Riemannian metrics on the boundary depending upon \(\rho \), with
The equation \(\nabla _i(V^{-1}\nabla ^i U)=0\) in local coordinates \((\rho ,x^A)\) as in (5.3) takes the form
Let U be a polyhomogenous solution with \(U={\widehat{U}}+O(\rho ^\delta )\). When \(n=3\), we can see that no logarithmic term \(O(\rho \ln \rho )\) is needed in U so that \(U={\widehat{U}}+O(\rho )\). When \(n=4\), we find
(In dimensions \(n\ge 5\) on expects in general a logarithmic term \(O(\rho ^{n-2} \ln \rho )\) in an asymptotic expansion of U.) \(\square \)
Remark 5.3
The equality
together with the definition of \(U_{\ln }\), proves that \(U_{\ln {}}=0\) if and only if \({{\widehat{U}}}\) is constant. When \({\widehat{U}}\) is constant the function \(U:= {\widehat{U}}\) solves the equations and satisfies the right-boundary values, so the associated solution is vacuum.
References
Anderson, M.T.: Einstein metrics with prescribed conformal infinity on 4-manifolds. Geom. Funct. Anal. 18, 305–366 (2001). arXiv:math.DG/0105243
Anderson, M.T.: Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4-manifolds. Adv. Math. 179, 205–249 (2003). arXiv:math.DG/0104171
Anderson, M.T., Chruściel, P.T., Delay, E.: Non-trivial, static, geodesically complete vacuum space-times with a negative cosmological constant. J. High Energy Phys. 10, 063 (2002). arXiv:gr-qc/0211006
Anderson, M.T., Chruściel, P.T., Delay, E.: Non-trivial, static, geodesically complete space-times with a negative cosmological constant. II. \(n\ge 5\), AdS/CFT correspondence: Einstein metrics and their conformal boundaries, IRMA Lect. Math. Theor. Phys., vol. 8, Eur. Math. Soc., Zürich, (2005) arXiv:gr-qc/0401081, pp. 165–204
Andersson, L., Chruściel, P.T.: On asymptotic behavior of solutions of the constraint equations in general relativity with “hyperboloidal boundary conditions”. Dissert. Math. 355, 1–100 (1996). (English)
Besse, A.L.: Einstein Manifolds, Ergebnisse d. Math. 3. Folge, vol. 10. Springer, Berlin (1987)
Blázquez-Salcedo, J.L., Kunz, J., Navarro-Lérida, F., Radu, E.: Static Einstein–Maxwell magnetic solitons and black holes in an odd dimensional AdS spacetime. Entropy 18, 438 (2016). arXiv:1612.03747 [gr-qc]
Chruściel, P.T., Delay, E.: Non-singular, vacuum, stationary space-times with a negative cosmological constant. Ann. Henri Poincaré 8, 219–239 (2007)
Chruściel, P.T., Delay, E., Lee, J.M., Skinner, D.N.: Boundary regularity of conformally compact Einstein metrics. J. Diff. Geom. 69, 111–136 (2005). arXiv:math.DG/0401386
Delay, E.: Étude locale d’opérateurs de courbure sur l’espace hyperbolique. J. Math. Pures Appl. 78, 389–430 (1999)
Fourès-Bruhat, Y.: Théorème d’existence pour certains systèmes d’équations aux dérivées partielles non linéaires. Acta Math. 88, 141–225 (1952)
Graham, C.R., Lee, J.M.: Einstein metrics with prescribed conformal infinity on the ball. Adv. Math. 87, 186–225 (1991)
Herdeiro, C.A.R., Radu, E.: Static black holes with no spatial isometries in AdS-electrovacuum. Phys. Rev. Lett. 117, 221102 (2016). arXiv:1606.02302 [gr-qc]
Heusler, M.: Black Hole Uniqueness Theorems. Cambridge University Press, Cambridge (1996)
Lee, J.M.: Fredholm operators and Einstein metrics on conformally compact manifolds. Mem. Am. Math. Soc. 183, vi+83 (2006). arXiv:math.DG/0105046
Acknowledgements
Open access funding provided by University of Vienna. The research of PTC was supported in part by the Austrian Research Fund (FWF), Project P 24170-N16.
Author information
Authors and Affiliations
Corresponding author
Appendix: Static Einstein–Maxwell equations in dimensions \(n+1\ge 4\)
Appendix: Static Einstein–Maxwell equations in dimensions \(n+1\ge 4\)
Consider a Riemannian manifold (M, g), let us denote by \(\nabla \) the Levi-Civita derivative operator associated with g. Let \(V:M\rightarrow \mathbb {R}\), and set
and \((x^\mu )=(x^0=t,x^i=(x^1,\ldots ,x^n))\). We have
Consider the \((n+1)\)-dimensional Einstein equations
Equations (6.6) with \({\tilde{g}} = -V^2 \mathrm{d}t^2 +g\) lead to
where \(N^\alpha \partial _\alpha \) is the unit timelike normal to the level sets of t.
For a static electric field \(F = \mathrm{d} (U \mathrm{d}t)\), \(\partial _t U =0\), and \(T_{\mu \nu }\) as in (1.1) we find
Choosing \(\Lambda \) as in (4.1), Eq. (6.9) gives
When \(\widetilde{ g}=\varepsilon V^2\mathrm{d}t^2+g\) is static and
then
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chruściel, P.T., Delay, E. Non-singular space-times with a negative cosmological constant: II. Static solutions of the Einstein–Maxwell equations. Lett Math Phys 107, 1391–1407 (2017). https://doi.org/10.1007/s11005-017-0955-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-017-0955-x