Abstract
We explore how far one can go in constructing d-dimensional static black holes coupled to p-form and scalar fields before actually specifying the gravity and electrodynamics theory one wants to solve. At the same time, we study to what extent one can enlarge the space of black hole solutions by allowing for horizon geometries more general than spaces of constant curvature. We prove that a generalized Schwarzschild-like ansatz with an arbitrary isotropy-irreducible homogeneous base space (IHS) provides an answer to both questions, up to naturally adapting the gauge fields to the spacetime geometry. In particular, an IHS–Kähler base space enables one to construct magnetic and dyonic 2-form solutions in a large class of theories, including non-minimally couplings. We exemplify our results by constructing simple solutions to particular theories such as \(R^2\), Gauss–Bonnet and (a sector of) Einstein–Horndeski gravity coupled to certain p-form and conformally invariant electrodynamics.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
There has been a growing interest over the past two decades in black holes in more than four dimensions [1]. Moreover, effective descriptions of quantum corrections [2] and low-energy limits of string theory [3] typically result in higher order terms to be added to the Einstein–Hilbert action, so that various gravity theories beyond general relativity have also been the subject of increasing attention.
In particular, when searching for static, spherically symmetric black holes in \(d=n+2\) dimensions, one can start from a Schwarzschild-like ansatz of the form [4, 5]
i.e., a warped product \(M=M_2\times M_n\), where the n-dimensional space \(M_n\) carries a Riemannian metric \(\varvec{h}=h_{ij}(x)\mathrm{d}x^i\mathrm{d}x^j\) (here \(i,j,\ldots =1,2,\ldots ,n\), and x denotes collectively the set of coordinates \((x^1,\ldots ,x^n)\) of \(M_n\)). Spherical symmetry requires \((M_n,\varvec{h})\) to be a round sphere [4, 5], however, metrics (1) with a different base space are also of interest (e.g., topological black holes).
In higher-dimensional Einstein gravity, the spherically symmetric Schwarzschild–Tangherlini solution [4] has been generalized such that \(\varvec{h}\) can in fact be any n-dimensional Einstein space [6, 7], which for \(d>5\) gives rise to a much richer family of static “Einstein” black holes (at the price of giving up asymptotic flatness or (A)dS-ness). The property of \(\varvec{h}\) being Einstein is not only sufficient but also necessary in order to satisfy Einstein’s equations (together with fixing the precise form of \(B^{-2}=A^2=K-\mu r^{3-d}-\lambda r^2\)), so that the extensions obtained in [6, 7] in fact exhaust the space of black hole solution of the form (1) in general relativity. The particular choice of \(\varvec{h}\) may affect the stability of the solution [8].
Similarly, it would be desirable to characterize the full space of solutions (1) also for more general theories of gravity – ideally for any diffeomorphism invariant, metric theory. However, simply adding a Gauss–Bonnet [9] or Lovelock [10,11,12] term to the Einstein–Hilbert action places a stringent tensorial constraint on the geometry of \(\varvec{h}\). This rules out various known “exotic” Einstein black holes and shows that, generically, \(\varvec{h}\) cannot be an arbitrary Einstein space in a gravity theory different from Einstein’s.
Nevertheless, we have recently proved [13] (see also [14] for a short summary) that there does exist a special family of Einstein metrics \(\varvec{h}\) – the isotropy-irreducible homogeneous spaces (IHS) [15,16,17,18,19] (see Sect. 2 for a definition) – which is virtually immune to all possible tensorial constraints placed by any vacuum theory of gravity for which the Lagrangian is a scalar invariant constructed from the Riemann tensor \(\varvec{R} \) and its covariant derivatives of arbitrary order. Namely, we have shown that in any such theory, for any IHS \(\varvec{h}\) the ansatz (1) ensures that the corresponding field equations automatically reduce to just two ODEs for the two unknown metric functions A(r) and B(r). This dramatically enlarges the space of vacuum black hole solutions and permitted horizon geometries for generalized theories of gravity, well beyond the usual case of horizons of constant curvature. We dubbed these spacetime universal black holes [13] to stress the theory-independence of this result.Footnote 1
Black holes with non-trivial gauge fields play an important role in supergravity and string theories (see, e.g., [1] and references therein). Along with higher-order gravity corrections, there are thus compelling reasons to consider theories containing also modifications of the Maxwell term in the action, together with a scalar field and possibly non-minimal couplings [3, 20, 21]. In general, these will be comprised in an action of the type
where \({\varvec{F}}=\mathrm{d}\varvec{A}\) is a p-form and \(\varphi \) a scalar field, and the Lagrangian density \(\mathcal{L}\) is a scalar invariant. Even without introducing higher-order corrections, already in the Einstein–Maxwell theory the permitted horizon geometries for black holes (1) turn out to be constrained (in addition to being Einstein) already by the coupling to magnetic 2-form [22] or to electric and magnetic p-form fields [23] (see also [24]).Footnote 2 More generally, a question arises as to whether a theory-independent characterization of the space of black hole solutions (1) in any theory of the form (2) can be given (which would be a natural starting point for obtaining more refined horizon characterizations for specific theories). In this paper we present new results in this direction. In particular, we will show that the metric ansatz studied in [13] – i.e., (1) with \(\varvec{h}\) being an IHS – can also be consistently employed to construct d-dimensional static vacuum black hole solutions in any theory (2), provided the gauge fields are suitably adapted to the geometry.Footnote 3 Apart from recovering in a unified way results previously obtained on a case-by-case basis for particular theories (such as Gauss–Bonnet and Lovelock gravity), this can thus be used, for example, to extend the well-known electrically charged higher-dimensional Reissner–Nordström-(A)dS spacetimes of general relativity [4, 6] and their magnetic counterparts [22] to any theory (2), as we will discuss.
The plan of the paper is as follows. In Sect. 2 we first provide a definition of IHSs and summarize their basic properties (these are known facts but may be useful for readers not familiar with the topic). Then we discuss the form of the field equations for a theory of the type (2) with an ansatz (1) (where \(\varvec{h}\) is an IHS), and the main geometric properties of such spacetimes, to be employed in the following. In Sect. 3 we show that this geometry can support a magnetic n-form living on the base space, in which case the corresponding field equations reduce to two ODEs for the metric functions A(r) and B(r) (or three if a scalar field is also present). A similar discussion is presented in Sect. 4 for a Coloumb-like radial electric 2-form – one difference here being the presence of an additional ODE for the electric field. In Sect. 5 we show that one can further extend the previous construction to magnetic and dyonic 2-forms if \(\varvec{h}\) is additionally assumed to be Kähler, as well as to certain forms of higher rank in even dimensions. For the sake of definiteness, in Sect. 6 we construct a few explicit solutions of gravity theories such as \(R^2\), Gauss–Bonnet and a particular sector of Einstein–Horndeski gravity coupled to certain linear and non-linear electrodynamics. We conclude with a short summary and some additional comments in the last Sect. 7.
2 The metric ansatz
Here we will discuss the form of the the field equations for a theory of the type (2) for the metric ansatz (1), where \(\varvec{h}\) is assumed to be an IHS.Footnote 4 Before proceeding, it may be useful to recall that an IHS is defined as a homogeneous connected Riemannian space \((M_n,\varvec{h})\) such that, for every point \(x\in M_n\), the isotropy group at x (i.e., the isometries of \((M_n,\varvec{h})\) leaving x fixed) acts irreducibly on the tangent space of \(M_n\) at x. More precisely, the space is strongly IHS if also the identity component of the isotropy group acts irreducibly, and weakly IHS otherwise (the latter also include products of identical irreducible IHS). These have been classified, respectively, in [15,16,17,18] and in [19] (see also [32]). All IHS are Einstein [17]. Let us further mention that irreducible symmetric spaces (classified by Cartan, see, e.g., [32, 33]) are necessarily strongly IHS [15,16,17,18]. Note also that \((M_n,\varvec{h})\), being homogeneous, can only possess constant scalar invariants, and is necessarily compact if \(K>0\) and necessarily non-compact if \(K<0\) [32], and locally flat iff \(K=0\). In addition, a non-compact IHS must be symmetric (with \(K<0\)) or flat [32]. The simplest examples are the well-known spaces of constant curvature, or direct products of identical copies of those. The minimal dimension necessary for an IHS to be not of constant curvature is \(n=4\), in which case an IHS must, however, be symmetric and therefore locally one of the following: \(S^4\), \(S^2\times S^2\), \(H^4\), \(H^2\times H^2\), \({\mathbb {C}}P^2\), \(H_{{\mathbb {C}}}^2\), or flat space (cf. [32] and references therein).
Let us now consider a generic theory of the type (2). Extremizing the action w.r.t. \(\varvec{g}\), \(\varvec{A}\) and \(\varphi \), one obtains equations of motion of the form [34,35,36,37,38]
where \(\varvec{E}\), \({\varvec{H}}\) and \(\psi \) are, respectively, a symmetric 2-tensor, a p-form (with \(2\le p\le n\)) and a scalar field locally constructed in terms of (contractions of) \(\varvec{R}\), \({\varvec{F}}\), \(\varphi \) and their covariant derivatives of arbitrary order. When (4) and (5) are satisfied, \(\varvec{E}\) is conserved, i.e., \(\nabla _\nu E^{\mu \nu }=0\) [34,35,36,37,38].Footnote 5
Not surprisingly, the above equations simplify considerably for the ansatz (1). Let us follow an approach similar to the one of [39, 40] (where \(\varvec{h}\) was assumed to be a round sphere). If one defines the two covectors
the Riemann tensor \(\varvec{R}\) of the spacetime (1) can be written as [40]
where, from now on, quantities with a tilde will refer to the transverse space geometry of \(\varvec{h}\), and a prime denotes differentiation w.r.t. r.
Clearly \(\varvec{h}\) has been promoted to a full spacetime tensor defined by
which implies \(h_{\mu \nu }u^\nu =0=h_{\mu \nu }k^\nu \) (indices are raised with \(g^{\mu \nu }\), therefore \(u_\mu u^\mu =-A^{-2}\), \(k_\mu k^\mu =B^{-2}\), \(u_\mu k^\mu =0\)). The covariant derivatives of \(\varvec{u}\), \({\varvec{k}}\) and \(\varvec{h}\) then read
Since these covariant derivatives can be fully expressed in terms of \(\varvec{u}\), \({\varvec{k}}\) and \(\varvec{h}\), the same will be true for covariant derivatives of any order. It is thus clear that any tensor constructed from \(\varvec{R}\) (Eq. (7)) and its covariant derivatives can be expressed in terms of \(\varvec{u}\), \({\varvec{k}}\) and \(\varvec{h}\) and covariant derivatives \({{\tilde{\nabla }}}^{(k)}{{\tilde{\varvec{R}}}}\) intrinsic to \(\varvec{h}\). In particular, thanks to the time-reversal invariance of \(\varvec{g}\), any such tensor can contain only an even number of \(\varvec{u}\) (more generally, it must share the symmetries of \(\varvec{h}\)).
So far we have not used the fact that \(\varvec{h}\) is IHS. The latter property further ensures that one cannot construct a non-zero vector out of \({{\tilde{\nabla }}}^{(k)}{{\tilde{\varvec{R}}}}\) and that the only possible symmetric 2-tensor that one can construct is \(\varvec{h}\) itself (up to a constant factor) [17]. This property will be crucial in what follows. Throughout the paper, we will also assume that the scalar field \(\varphi =\varphi (r)\) depends only on the radial coordinate. Therefore,
and (recalling also (10)) all higher-order covariant derivatives \(\nabla ^{(k)}\varphi \) can thus be expressed only in terms of \({\varvec{k}}\), \(\varvec{h}\) and an even number of \(\varvec{u}\).
3 Magnetic fields of rank \(p=n\)
Let us consider here the case when the rank of \({\varvec{F}}\) in (2) is \(p=n\) and assume that \({\varvec{F}}\) is purely magnetic and of the form
where q is a constant and \({{\tilde{\varvec{\varepsilon }}}}\) is the volume element associated with \(\varvec{h}\).Footnote 6 By construction \(u^\mu F_{\mu \nu \ldots }=0=k^\mu F_{\mu \nu \ldots }\).
In this case the covariant derivative of \({\varvec{F}}\) reads
Recalling also (10), one can argue that, similarly as in the case of the Riemann tensor, all higher-order covariant derivatives \(\nabla ^{(k)}{\varvec{F}}\) can be expressed only in terms of \({\varvec{F}}\), \(\varvec{u}\), \({\varvec{k}}\) and \(\varvec{h}\), and can contain only an even number of \(\varvec{u}\).
Using also the fact that \((M_n,\varvec{h})\) is IHS (see the comments in Sect. 2 and [13] for a related discussion), it follows that any symmetric 2-tensor \(\varvec{E}\) constructed from tensor products, sums and contractions from \(\nabla ^{(k)}\varvec{R}\), \(\nabla ^{(l)}{\varvec{F}}\) and \(\nabla ^{(m)}\varphi \) (\(k,l,m\ge 0\)) must be of the form
Similarly, one can argue that the only n-form \({\varvec{H}}\) that one can construct (automatically invariant under the isometries of \(\varvec{h}\)) can be written as
Since \({\varvec{F}}\) is divergencefree by construction (11), thus is also \({\varvec{H}}\), and the generalized Maxwell equation (4) is automatically satisfied.
One thus only needs to solve the scalar equation (5) and the tensorial field equation (3). In view of (13), the latter reduces to three “scalar” equations \(F(r)=0\), \(G(r)=0\) and \(L(r)=0\). However, similarly as in [13], it is easy to see that the identity \(\nabla _\nu E^{\mu \nu }=0\) implies that \(L(r)=0\) holds automatically once \(F(r)=0=G(r)\) and (5) are satisfied. We are thus left with just three ODEs for the two metric functions A(r) and B(r) and for the scalar field \(\varphi (r)\). Their precise form will depend on the particular theory (2) one wants to study, and is of no interest for the general considerations of this paper. In the special case when \(\varvec{h}\) is a round sphere, a similar result was obtained in [39, 40].
Solutions of this type include, for instance, the magnetic duals [23, 24] of electrically charged black holes of [4, 6] in the Einstein–Maxwell theory, and of similar solutions in Gauss–Bonnet–Maxwell gravity [41,42,43,44] – cf. also Sect. 4.
4 Electric fields of rank \(p=2\)
Here we consider the following purely electric 2-from
such that \(u^\mu F_{\mu \nu }=-A^{-2}Mk_\nu \) and \(k^\mu F_{\mu \nu }=-B^{-2}Mu_\nu \).
One finds
and all \(\nabla ^{(k)}{\varvec{F}}\) thus contain an odd number of \(\varvec{u}\).
From now on, when an electric field is present, we restrict ourselves to theories whose Lagrangian contains only even powers of \({\varvec{F}}\) and its covariant derivatives.Footnote 7 One can then argue that the 2-form \({\varvec{H}}\) (defined by (4) extremizing (2) w.r.t. \(\varvec{A}\)) must be purely electric (and invariant under the isometries of \(\varvec{h}\)) and thus of the form
The r-component of (4) is therefore automatically satisfied, while the t-components implies
where e is a constant. This is one of the field equations that has to be solved (the function N contains in general \(\varvec{g}\), \(\varvec{A}\) and \(\varphi \) and their derivatives, and its precise form depends on the particular theory one is considering).
The remaining field equations come from the generalized Einstein equation (3). The same argument used in Sect. 3 enables one to arrive again at (13) (this would not be true if the Lagrangian contained also odd powers of \({\varvec{F}}\), which may result in \(\varvec{E}\) containing an additonal term proportional to \(\varvec{u}{\varvec{k}}+{\varvec{k}}\varvec{u}\), cf. also [39] for related comments). Thanks to \(\nabla _\nu E^{\mu \nu }=0\), we are finally left with four ODEs for the two metric functions A(r) and B(r), for the scalar field \(\varphi (r)\) and for the vector potential \(\varvec{A}\) (i.e., \(F(r)=0=G(r)\) and Eqs. (5) and (18)).
Note that when \(N'=0\) and \(AB=1\) (as in the Einstein–Maxwell theory), the field (15) with (18) describes the standard Coulomb solution [4, 6]. Extensions are known in a number of generalized gravity theories – for example, electric black holes in Gauss–Bonnet gravity in arbitrary dimensions with a spherical base space were obtained in [41] (extended to zero and negative constant curvature in [44]), and with a more general base space in [42] (see also [43] in six dimensions).
5 IHS–Kähler base spaces: dyonic 2-form fields and forms of higher rank
Let us consider the case when n is even and the base space is both IHS and Kähler. Let us further assume that the Kähler 2-form \({\varvec{J}}\) is invariant under the isometries of \(\varvec{h}\).Footnote 8 Examples include the direct product of identical 2-spaces of constant curvature \(S^2\times S^2\times \cdots \) and \(H^2\times H^2\times \cdots \) (which are clearly reducible), or the complex projective space \({\mathbb {C}}P^{\frac{n}{2}}\) (compact) and the complex hyperbolic space \(H_{{\mathbb {C}}}^{\frac{n}{2}}\) (non-compact) with the Fubini-Study metric [49] (which are irreducible), and direct products of identical copies of those. These examples also happen to be symmetric spaces [32, 33] (see in particular [33] for a discussion of irreducible Kähler symmetric spaces), while non-symmetric strongly IHS cannot occur here [17].
5.1 Magnetic \(p=2\) solutions
One can naturally define a magnetic 2-form field as a constant multiple of the Kähler form \({\varvec{J}}\), i.e.,
which is invariant under isometries by assumption. Thanks to the well-known properties (in \((M_n,\varvec{h})\)) \({\varvec{J^2}}=-\mathbb {1}\) and \({{\tilde{\nabla }}}{\varvec{J}}=0\), one gets easily
Similarly as in Sect. 3, all higher-order covariant derivatives \(\nabla ^{(k)}{\varvec{F}}\) can thus be expressed only in terms of \({\varvec{F}}\), \(\varvec{u}\), \({\varvec{k}}\) and \(\varvec{h}\), and can contain only an even number of \(\varvec{u}\).
Therefore, any tensor constructed from \(\nabla ^{(k)}\varvec{R}\), \(\nabla ^{(l)}{\varvec{F}}\) and \(\nabla ^{(m)}\varphi \) can be expressed in terms of \({{\tilde{\nabla }}}^{(s)}{{\tilde{\varvec{R}}}}\), \({\varvec{F}}\), \({\varvec{k}}\), \(\varvec{h}\), and an even number of \(\varvec{u}\), and is automatically invariant under isometries. Using a result of [17] it thus follows again that any such symmetric 2-tensor can be written as in (13). It also follows that, in \(M_n\), \(\widetilde{\text{ div }}{\varvec{H}}=0\), otherwise this would define a preferred spatial vector in \(M_n\), contradicting the IHS assumption. This suffices to show that the generalized Maxwell equation (4) is identically satisfied (since \({\varvec{H}}\) lives in \(M_n\)). Summarizing, one is left with three ODEs for A(r), B(r) and \(\varphi (r)\) (i.e., \(F(r)=0=G(r)\) and Eq. (5)).
For example, magnetic black hole solutions of this type were constructed in Einstein gravity in [22], in Gauss–Bonnet gravity in [42] (including \(F^4\) corrections) and in [43], and in Lovelock gravity in [12].
5.2 Dyonic \(p=2\) solutions
Similarly as in the Einstein–Maxwell case [22], one can superimpose the above magnetic field to the electric one of Sect. 4 to construct dyonic solutions of the type
Here the most general 2-form \({\varvec{H}}\) that one can construct is of the form
where \({\varvec{S}}\) is a 2-form in \(M_n\) invariant under the isometries of \(\varvec{h}\). The field equations are the same as for the purely magnetic case (19) plus the additional ODE (18). Recall, however, that when electric fields are present our results apply only to theories containing only even powers of \({\varvec{F}}\) (see Sect. 4). See again [12, 22, 42, 43] for examples in Einstein, Gauss–Bonnet and Lovelock gravity.
5.3 Solutions with higher rank forms
Similarly as discussed in [23] for the Einstein–Maxwell case, the above construction can be extended by considering the exterior product of \({\varvec{J}}\) with itself m times (with \(2\le 2m\le n\)), giving rise to a magnetic 2m-form
The same argument used in Sect. 5.1 implies again that any symmetric 2-tensor that one can construct can be written as in (13). To deal with the generalized Maxwell equation (4), let us further assume here that \((M_n,\varvec{h})\) is also symmetric (see [33] for comments on irreducible Kähler symmetric spaces). Since any \({\varvec{H}}\), by construction, will have only components in \(M_n\) and will be invariant under the isometries of \(\varvec{h}\), it follows [50] that \({{\tilde{\nabla }}}{\varvec{H}}=0\). This suffices to conclude that (4) is identically satisfied.
We observe that other magnetic Ansätze for \({\varvec{F}}\) are also possible. For example, one can use \(\star \)-duality in \((M_n,\varvec{h})\) to construct a \((d-4)\)-form \(\star \)-dual to (19), or a \((d-2-2m)\)-form \(\star \)-dual to (23). The corresponding \({\varvec{H}}\) will automatically be purely magnetic and invariant under the isometries of \(\varvec{h}\), and therefore again \({{\tilde{\nabla }}}{\varvec{H}}=0\), so that the argument used above for (23) also applies here.
6 Examples
In this section we provide a few explicit examples of the general constructions described in the previous sections for some particular theories of gravity and electrodynamics (it is not our purpose here to discuss in detail the physical properties of such solutions – related discussions for similar solutions of the same theories can be found in the references given in the following).
In all examples the metric will be given by (1), where \(\varvec{h}\) is IHS and normalized such that
which gives \({\tilde{R}}=n(n-1)K\). Recall that \(d=n+2\). Coupling constants of the various considered theories will be denoted by \(\kappa \), \(\alpha \), \(\beta \), \(\gamma \) and \(\eta \), and the cosmological constant by \(\Lambda \), while \(\mu \) will denote an integration constant (in general related to the mass).
6.1 Einstein-\(R^2\) gravity with conformally invariant form fields
Actions quadratic in the curvature have been studied for a long time [34, 51,52,53,54]. The simplest quadratic gravity theory comprises only the \(R^2\) term, for which the field equations are of the fourth order but still relatively simple [53, 54].
6.1.1 Magnetic 2m-form solution
Let us consider Einstein gravity with an \(R^2\) correction coupled to a 2m-form in dimension \(d=4m\), defined by the Lagrangian density
It is not difficult to construct a magnetic solution with \(A^2=B^{-2}\), \(\varvec{h}\) taken to be IHS–Kähler (Einstein–Kähler actually suffices here), and \({\varvec{F}}\) given by (23). The metric is then specified by
where for simplicity we have defined a rescaled parameter \({{\hat{q}}}\) such that \(F_{\mu \nu \ldots }F^{\mu \nu \ldots }={{\hat{q}}}^2r^{-d}\). The effective cosmological constant \(\lambda \) is determined in terms of the coupling constants \(\Lambda \), \(\kappa \) and \(\alpha \) by
thus generically giving rise to two branches of solutions.Footnote 9 The simplicity of this solution is due to the fact that the energy-momentum of \({\varvec{F}}\) is traceless, which allows for spacetimes with constant Ricci scalar \(R=d(d-1)\lambda \) – the field equations then become effectively equivalent to those of the standard Einstein–Maxwell p-form theory [23, 24] (up to a simple rescaling of \(\kappa \) and \(\Lambda \)). It is thus easy to extend the above solution to dyonic fields of the form \({\varvec{F}}=M(r)\varvec{u}\wedge {\varvec{k}}\wedge \underbrace{{\varvec{J}}\wedge \cdots \wedge {\varvec{J}}}_{m-1}+q\underbrace{{\varvec{J}}\wedge \cdots \wedge {\varvec{J}}}_{m}\), similarly as in [23]. An explicit example for the base space metric is given by a product of \((2m-1)\) identical 2-spheres of radius a, which can be written, e.g., as \(\varvec{h}=\sum _{i=1}^{2m-1}\left[ \left( 1-\frac{\rho _i}{a^2}\right) ^{-1}\mathrm{d}\rho _i^2+\left( 1-\frac{\rho _i}{a^2}\right) \mathrm{d}\psi _i^2\right] \), so that \({\varvec{J}}=\sum _{i=1}^{2m-1}\mathrm{d}\rho _i\wedge \mathrm{d}\psi _i\).
6.1.2 Magnetic 2-form solution
Similar ideas can be used to construct magnetic solutions of Einstein-\(R^2\) gravity coupled to the conformally invariant non-linear electrodynamics of [45] , i.e.,
For this theory, the generalized Maxwell equations are given by (4) with \({\varvec{H}}=d\beta (F_{\mu \nu }F^{\mu \nu })^{d/4-1}{\varvec{F}}\). Assuming d to be even and \(\varvec{h}\) Einstein–Kähler, \({\varvec{F}}\) is given by (19) and
again with (27), where we have normalized \(F_{\mu \nu }F^{\mu \nu }={{\hat{q}}}^2r^{-4}\). An electric solution can also be easily written down using the one given for Einstein gravity in [45] (in the purely electric case \(\varvec{h}\) can be any Einstein space, not necessarily Kähler).
Both the above examples (26) and (29) can be straightforwardly extended to more general f(R) gravities, owing to R being constant (see [56] for electric solutions of the theory \(\mathcal{L}= \sqrt{-g}\left[ f(R)-\beta (F_{\mu \nu }F^{\mu \nu })^{d/4}\right] \) in the special case of spherical symmetry). Pure \(R^2\)-gravity solutions can be obtained easily taking the limit \(\kappa \rightarrow \infty \) in (26) or (29) (and suitably rescaling \(\Lambda \) in (27)).
6.2 Gauss–Bonnet gravity with a conformally invariant 2-form field
Apart from \(R^2\) gravity, another interesting sector of quadratic gravity is given by Gauss–Bonnet gravity, which possesses field equations of the second order and is of particular interest in the low-energy limit of string theory [57]. When it is coupled to the standard Maxwell theory, electrically charged and dyonic black holes have been studied in [41,42,43,44]. Let us consider instead a coupling to the non-linear electrodynamics of [45], i.e., the theory
where \(I_{GB}=R_{\mu \nu \rho \sigma }R^{\mu \nu \rho \sigma }-4R_{\mu \nu }R^{\mu \nu }+R^2\). The field equations (3) are determined by
while in (4) one should substitute \({\varvec{H}}=d\beta (F_{\mu \nu }F^{\mu \nu })^{d/4-1}{\varvec{F}}\).
Using the metric (1) with the dyonic ansatz (21), Eq. (4) reduces to (18). Using (7), the \(E^t_{t}-E^r_{r}\) component of (31) gives simply (for a generic coupling constant \(\gamma \))
which without losing generality allows one to take \(B=A^{-1}\) (as in the vacuum case [9]). Using this, the \(E^t_{t}\) component of (31) reduces to
where \(V=A^2-K\). A solution to (18) and (33) is given by (21) with
where \({{\hat{\gamma }}}=(d-3)(d-4)\gamma \), \((d-1)(d-2)\lambda =2\Lambda \) and \((d-2)(d-3)(d-4)(d-5){{\tilde{I}}}_W^2={{\tilde{C}}}_{ijkl}{{\tilde{C}}}^{ijkl}\) (the constant e differs by the same symbol in (18) by a numerical factor). The base space \(\varvec{h}\) is even-dimensional and IHS–Kähler (it can be any IHS if \({{\hat{q}}}=0\)). If \({{\hat{q}}}^2-2e^2<0\), d must be a multiple of four, while for \({{\hat{q}}}^2-2e^2=0\) (i.e., \(F_{\mu \nu }F^{\mu \nu }=0\)) the electromagnetic field is stealth.Footnote 10 The branch with the minus sign in \(A^2\) admits an Einstein gravity limit \({\hat{\gamma }}\rightarrow 0\), which gives rise to a dyonic solution generalizing the electric black hole of [45]. In the special case \({{\hat{q}}}=0={{\tilde{I}}}_W^2\) one recovers a solution of [60]. Magnetic solutions for other power-like electrodynamics have been obtained in [42].
6.3 Einstein–Horndeski theory
Horndeski theory [61] is the most general scalar-tensor theory possessing field equations of the second order in four dimensions, and has received increasing attention in recent years. Particular sectors of it have been studied also in higher dimensions. A particularly simple one (see [62] and references therein), coupled to Einstein–Maxwell gravity, enables us to present explicit solutions in the presence of a 2-form and a non-minimally coupled scalar field, namely
where \(G_{\mu \nu }\) is the Einstein tensor.
Similarly as above, in even dimensions we take \(\varvec{h}\) to be IHS–Kähler (Einstein–Kähler suffices) and such that \({{\tilde{R}}}\ne 0\), and \({\varvec{F}}\) as in (19) (with \(F_{\mu \nu }F^{\mu \nu }={{\hat{q}}}^2r^{-4}\)). Then the metric and the scalar field are determined by
In four dimensions this reduces (up to electromagnetic duality) to a solution of [63]. Electric solutions in higher dimensions with \(\Lambda =0\) have been obtained in [64], which by duality can be transformed into magnetic fields of the form (11).
A different behaviour is found if one considers again the non-linear electrodynamics [45] mentioned above. Namely, for the theory
one finds
Electric solutions in higher dimensions have been obtained in [65] (also for more general powers of \(F_{\mu \nu }F^{\mu \nu }\) in (37)).
7 Discussion
We have shown that one can go quite far in constructing d-dimensional static black holes coupled to p-form and scalar fields even before specifying the gravity and electrodynamics theory one wants to solve. Namely, a generalized Schwarzschild-like ansatz can be consistently employed to find d-dimensional static black hole solutions in any metric theory of gravity (2) coupled to a p-form and a scalar field, up to adapting the matter fields to the spacetime geometry. This means that, irrespective of the theory one considers, the field equations reduce to four ODEs for two metric function, the scalar field and the electric part of the gauge field. Additionally, we have shown that this allows one to replace the standard spherical base space metric by an arbitrary isotropy-irreducible homogeneous space, giving rise to large families of static solutions and dramatically enlarging the space of permitted horizon geometries. Since we arrived at our conclusions without the need of specifying the explicit form of the underlying equations of motion, our results apply to general higher-derivative theories, for which constraints on the horizon geometry may generically contain an arbitrary number of covariant derivatives of the Riemann tensor. An extension to the case of multiple gauge and scalar fields can be worked out similarly.
By extending our previous results for the vacuum case [13], the present paper presents new results in the direction of providing a theory-independent characterization of permitted horizon geometries of static black holes. Given a specific theory, these results can be used as a starting point for obtaining a full horizon characterization thereof (this may differ from our conclusions, since certain horizon geometries may be permitted in some theories but not in others, thus not being universal).
We have constructed examples of our results in a few theories of considerable interest, but the same methods can also be applied in other contexts. Just as an example, there is a growing interest also in (higher derivative) modifications of Lovelock’s gravity such as quasi-topological gravities [66,67,68,69,70,71], to which our results also apply.
To conclude, it should be emphasized that physical properties of the black holes one can construct as described above, such as their thermodynamics and stability, will in general depend on the considered theory. Furthermore, while one has quite some freedom in choosing a IHS metric for the base space, this may affect the stability of the corresponding solution (see for example [8] in Einstein gravity).
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is purely theoretical and there is no data directly involved.]
Notes
The details (including the precise form of A(r) and B(r)) and physical properties of the solutions will naturally depend on the specific theory one is interested in – see [13] and references therein for various examples.
The dual cases \(p=1\) and \(p=d-1\) are special and lead to static black holes with non-Einstein (and thus non-IHS) horizons [24]. These are not relevant to the discussion of the present paper, hence we hereafter assume \(2\le p\le n\) (recall \(d=n+2\)).
A word of caution is in order here. Namely, properties of characteristic surfaces, and thus of light propagation and causality (in particular, event horizons) generally depend on the particular theory of electromagnetism one wants to consider – see [25, 26] for early results in the context of non-linear electrodynamics. Nevertheless, some universality properties of black hole event horizons have been pointed out in [27, 28], at least for certain theories.
Note that generically one has to retain two independent functions A(r) and B(r) in the metric (1). The special condition \(A(r)B(r)=\)const possesses an invariant characterization in terms of null alignment properties of the spacetime curvature [13, 29, 30] and is thus non-generic. However, it is known to be satisfied in particular cases such as Einstein and (generic) Gauss–Bonnet and Lovelock gravities coupled to Maxwell fields. A class of four dimensional non-minimally coupled theories also admitting such kind of solutions has been recently proposed in [31].
The explicit form of the field equations (3)–(5), which is determined after specifying the Lagrangian density \(\mathcal{L}\) in (2), is not needed for the purposes of the present paper. However, for the sake of definiteness, one simple example is provided by the \(d=4\) (second-order) theory with a non-minimal coupling proposed by Horndeski [36], i.e., \(\mathcal{L}=\sqrt{-g}\left[ \frac{1}{\kappa }(R-2\Lambda )-\beta F_{\mu \nu }F^{\mu \nu }-\gamma F_{\mu \nu }F^{\alpha \beta }{}^{*}\!R^{*\mu \nu }{}_{\alpha \beta }\right] \), for which \(E_{\mu \nu }=\frac{1}{\kappa }\left( R_{\mu \nu }-\frac{1}{2}Rg_{\mu \nu }+\Lambda g_{\mu \nu }\right) -2\beta \left( F_{\mu \rho }F_\nu ^{\rho }-\frac{1}{4}g_{\mu \nu }F_{\alpha \beta }F^{\alpha \beta }\right) -2\gamma \left( F^{\alpha \rho }F^{\beta }_{\rho }{}^{*}\!R^*_{\mu \alpha \nu \beta }+{}^{*}\!F_{\mu \alpha ;\beta }{}^{*}\!F_{\nu }^{\beta ;\alpha }\right) \) and \(H^{\mu \nu }{}_{;\nu }=4\beta F^{\mu \nu }{}_{;\nu }+4\gamma F_{\beta \gamma ;\alpha }{}^{*}\!R^{*\mu \alpha \beta \gamma }\) (here an asterisk denotes Hodge duality and \(\kappa \), \(\beta \) and \(\gamma \) are coupling constants). When \(\gamma =0\), this reduces to the standard Einstein–Maxwell theory. Another explicit example will be provided in Sect. 6.2.
A more general ansatz with \(q=q(r)\) is ruled out by \({\varvec{F}}=\mathrm{d}\varvec{A}\).
It is well-known that non-trivial stealth electromagnetic p-form fields are not possible in the standard Maxwell theory in any d-dimensional Lorentzian space (simply because \(T_{\mu \nu }u^\mu u^\nu >0\) for any timelike \(\varvec{u}\), unless \({\varvec{F}}=0\) [58]). See [59] for a discussion of stealth fields in non-linear electrodynamics in four dimensions.
References
R. Emparan, H.S. Reall, Black holes in higher dimensions. Living Rev. Relativ. 11(6) (2008)
B.S. DeWitt, Dynamical Theory of Groups and Fields (Gordon and Breach, New York, 1965)
J. Scherk, J.H. Schwarz, Dual models for non-hadrons. Nucl. Phys. B 81, 118–144 (1974)
F.R. Tangherlini, Schwarzschild field in \(n\) dimensions and the dimensionality of space problem. Il Nuovo Cimento 27, 636–651 (1963)
A. Krasiński, J. Plebański, n-dimensional complex Riemann–Einstein spaces with \(O(n-1, C)\) as the symmetry group. Rep. Math. Phys. 17, 217–248 (1980)
G.W. Gibbons, D.L. Wiltshire, Space-time as a membrane in higher dimensions. Nucl. Phys. B 287, 717–742 (1987)
D. Birmingham, Topological black holes in anti-de Sitter space. Class. Quantum Gravity 16, 1197–1205 (1999)
G.W. Gibbons, S.A. Hartnoll, Gravitational instability in higher dimensions. Phys. Rev. D 66, 064024 (2002)
G. Dotti, R.J. Gleiser, Obstructions on the horizon geometry from string theory corrections to Einstein gravity. Phys. Lett. B 627, 174–179 (2005)
N. Farhangkhah, M.H. Dehghani, Lovelock black holes with nonmaximally symmetric horizons. Phys. Rev. D 90, 044014 (2014)
S. Ray, Birkhoff’s theorem in Lovelock gravity for general base manifolds. Class. Quantum Gravity 32(19), 195022 (2015)
S. Ohashi, M. Nozawa, Lovelock black holes with a nonconstant curvature horizon. Phys. Rev. D 92, 064020 (2015)
S. Hervik, M. Ortaggio, Universal black holes. JHEP 02, 047 (2020)
S. Hervik, M. Ortaggio, On universal black holes. Acta Phys. Pol. B Proc. Suppl. 13, 291–295 (2020)
O.V. Manturov, Homogeneous, non-symmetric Riemannian spaces with an irreducible rotation group. Dokl. Akad. Nauk SSSR 141, 792–795 (1961). (In Russian)
O.V. Manturov, Riemannian spaces with orthogonal and symplectic motion groups and an irreducible rotation group. Dokl. Akad. Nauk SSSR 141, 1034–1037 (1961). (In Russian)
J.A. Wolf, The geometry and structure of isotropy irreducible homogeneous spaces. Acta Math. 120, 59–148 (1968)
M. Krämer, Eine Klassifikation bestimmter Untergruppen kompakter zusammenhängender Liegruppen. Commun. Algebra 3, 691–737 (1975)
M. Wang, W. Ziller, On isotropy irreducible Riemannian manifolds. Acta Math. 166, 223–261 (1991)
G.C. Callan, D. Friedan, E.J. Martinec, M.J. Perry, Strings in background fields. Nucl. Phys. B 262, 593–609 (1985)
E.S. Fradkin, A.A. Tseytlin, Non-linear electrodynamics from quantized strings. Phys. Lett. B 163, 123–130 (1985)
M. Ortaggio, J. Podolský, M. Žofka, Robinson-Trautman spacetimes with an electromagnetic field in higher dimensions. Class. Quantum Gravity 25, 025006 (2008)
Y. Bardoux, M.M. Caldarelli, C. Charmousis, Shaping black holes with free fields. JHEP 05, 054 (2012)
M. Ortaggio, J. Podolský, M. Žofka, Static and radiating \(p\)-form black holes in the higher dimensional Robinson–Trautman class. JHEP 1502, 045 (2015)
G. Boillat, Nonlinear electrodynamics: Lagrangians and equations of motion. J. Math. Phys. 11, 941–951 (1970)
J. Plebański, Lectures on non-linear electrodynamics (Nordita, Copenhagen, 1970)
G.M. Shore, ‘Faster than light’ photons in gravitational fields: causality, anomalies and horizons. Nucl. Phys. B 460, 379–394 (1996)
G.W. Gibbons, C.A.R. Herdeiro, Born–Infeld theory and stringy causality. Phys. Rev. D 63, 064006 (2001)
J. Podolský, M. Ortaggio, Robinson–Trautman spacetimes in higher dimensions. Class. Quantum Gravity 23, 5785–5797 (2006)
J. Podolský, R. Švarc, Algebraic structure of Robinson–Trautman and Kundt geometries in arbitrary dimension. Class. Quantum Gravity 32, 015001 (2015)
P.A. Cano, Á. Murcia, Electromagnetic quasitopological gravities. http://xxx.lanl.gov/abs/2007.04331. arXiv:2007.04331
A.L. Besse, Einstein Manifolds (Springer, Berlin, 1987)
J.A. Wolf, Spaces of Constant Curvature (McGraw-Hill, New York, 1967)
A. Eddington, The Mathematical Theory of Relativity, 2nd edn. (Cambridge University Press, Cambridge, 1930)
G.W. Horndeski, Tensorial concomitants of relative tensors, affine connections and their derivatives of arbitrary order (1974) (Unpublished)
G.W. Horndeski, Conservation of charge and the Einstein–Maxwell field equations. J. Math. Phys. 17, 1980–1987 (1976)
I.M. Anderson, Tensorial Euler–Lagrange expressions and conservation laws. Aequ. Math 17, 255–291 (1978)
V. Iyer, R.M. Wald, Some properties of the Noether charge and a proposal for dynamical black hole entropy. Phys. Rev. D 50, 846–864 (1994)
M. Gürses, Signatures of black holes in string theory. Phys. Rev. D 46, 2522–2526 (1992)
M. Gürses, E. Sermutlu, Static spherically symmetric solutions to Einstein–Maxwell dilaton field equations in D dimensions. Class. Quantum Gravity 12, 2799–2817 (1995)
D.L. Wiltshire, Spherically symmetric solutions of Einstein–Maxwell theory with a Gauss–Bonnet term. Phys. Lett. B 169, 36–40 (1986)
H. Maeda, M. Hassaïne, C. Martínez, Magnetic black holes with higher-order curvature and gauge corrections in even dimensions. JHEP 08, 123 (2010)
Y. Bardoux, C. Charmousis, T. Kolyvaris, Lovelock solutions in the presence of matter sources. Phys. Rev. D 83, 104020 (2011)
M. Cvetič, S. Nojiri, S.D. Odintsov, Black hole thermodynamics and negative entropy in de Sitter and anti-de Sitter Einstein–Gauss–Bonnet gravity. Nucl. Phys. B 628, 295–330 (2002)
M. Hassaïne, C. Martínez, Higher-dimensional black holes with a conformally invariant Maxwell source. Phys. Rev. D 75, 027502 (2007)
A.A. Tseytlin, Born–Infeld action, supersymmetry and string theory, in The Many Faces of the Superworld ed. by M. Shifman (World Scientific Publishing, Singapore 2000), p. 417–452. http://xxx.lanl.gov/abs/hep-th/9908105. arXiv:hep-th/9908105
K. Yano, The Theory of Lie Derivatives and its Applications (North-Holland, Amsterdam, 1955)
A. Moroianu, Lectures on Kähler Geometry (Cambridge University Press, Cambridge, 2007)
S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, vol. 2 (Interscience, New York, 1969)
S. Kobayashi, K. Nomizu, Foundations of Differential Geometry, vol. 1 (Interscience, New York, 1963)
H. Weyl, Gravitation and Elektrizität, Sitzungsber. Preuss. Akad. Wiss. (1918), p. 465–480
C. Lanczos, A remarkable property of the Riemann–Christoffel tensor in four dimensions. Ann. Math. 39, 842–850 (1938)
C. Gregory, Non-linear invariants and the problem of motion. Phys. Rev. 72, 72–75 (1947)
H.A. Buchdahl, The Hamiltonian derivatives of a class of fundamental invariants. Quart. J. Math. Oxf. 19, 150–159 (1948)
E. Ayón-Beato, A. Garbarz, G. Giribet, M. Hassaïne, Analytic Lifshitz black holes in higher dimensions. JHEP 04, 030 (2010)
A. Sheykhi, Higher-dimensional charged \(f(R)\) black holes. Phys. Rev. D 86, 024013 (2012)
B. Zwiebach, Curvature squared terms and string theories. Phys. Lett. B 156, 315–317 (1985)
J.M.M. Senovilla, Super-energy tensors. Class. Quantum Gravity 17, 2799–2841 (2000)
I. Smolić, Spacetimes dressed with stealth electromagnetic fields. Phys. Rev. D 97, 084041 (2018)
S.H. Hendi, Topological black holes in Gauss–Bonnet gravity with conformally invariant Maxwell source. Phys. Lett. B 677, 123–132 (2009)
G.W. Horndeski, Second-order scalar–tensor field equations in a four-dimensional space. Int. J. Theor. Phys. 10, 363–384 (1974)
S.V. Sushkov, Exact cosmological solutions with nonminimal derivative coupling. Phys. Rev. D 80, 103505 (2009)
A. Cisterna, C. Erices, Asymptotically locally AdS and flat black holes in the presence of an electric field in the Horndeski scenario. Phys. Rev. D 89, 084038 (2014)
X.-H. Feng, H.-S. Liu, H. Lü, C.N. Pope, Thermodynamics of charged black holes in Einstein–Horndeski–Maxwell theory. Phys. Rev. D 93, 044030 (2016)
M.M. Stetsko, Topological black hole in the theory with nonminimal derivative coupling with power-law Maxwell field and its thermodynamics. Phys. Rev. D 99, 044028 (2019)
J. Oliva, S. Ray, A new cubic theory of gravity in five dimensions: black hole, Birkhoff’s theorem and C-function. Class. Quantum Gravity 27, 225002 (2010)
J. Oliva, S. Ray, Classification of six derivative Lagrangians of gravity and static spherically symmetric solutions. Phys. Rev. D 82, 124030 (2010)
R.C. Myers, B. Robinson, Black holes in quasi-topological gravity. JHEP 08, 067 (2010)
M.H. Dehghani, A. Bazrafshan, R.B. Mann, M.R. Mehdizadeh, M. Ghanaatian, M.H. Vahidinia, Black holes in (quartic) quasitopological gravity. Phys. Rev. D 85, 104009 (2012)
A. Cisterna, L. Guajardo, M. Hassaïne, J. Oliva, Quintic quasi-topological gravity. JHEP 04, 066 (2017)
P. Bueno, P.A. Cano, R.A. Hennigar, (Generalized) quasi-topological gravities at all orders. Class. Quantum Gravity 37, 015002 (2020)
Acknowledgements
We thank Gregory Horndeski for kindly making available to us his unpublished work [35]. M.O. is also grateful to Sameer Murthy for a useful discussion. S.H. was supported through the Research Council of Norway, Toppforsk Grant no. 250367: Pseudo-Riemannian Geometry and Polynomial Curvature Invariants: Classification, Characterisation and Applications. M.O. was supported by research plan RVO: 67985840 and research Grant GAČR 19-09659S.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Hervik, S., Ortaggio, M. Universal p-form black holes in generalized theories of gravity. Eur. Phys. J. C 80, 1020 (2020). https://doi.org/10.1140/epjc/s10052-020-08571-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08571-x