On static black holes solutions in Einstein and Einstein-Gauss-Bonnet gravity with topology [Formula: see text].

We study static black hole solutions in Einstein and Einstein-Gauss-Bonnet gravity with the topology of the product of two spheres, [Formula: see text], in higher dimensions. There is an unusual new feature of the Gauss-Bonnet black hole: the avoidance of a non-central naked singularity prescribes a mass range for the black hole in terms of [Formula: see text]. For an Einstein-Gauss-Bonnet black hole a limited window of negative values for [Formula: see text] is also permitted. This topology encompasses black strings, branes, and generalized Nariai metrics. We also give new solutions with the product of two spheres of constant curvature.

Introduction

The study of gravity in higher dimensions was given great impetus by string theory, for which it is a natural framework. One of the most compelling pictures that emerges is that all matter fields are believed to remain confined to the usual 4-dimensional spacetime 3-brane, while gravity can propagate in higher dimensions. At the root of this perception, we believe, is the unique gravitational property of universality – its linkage to all that physically exists. On the other hand it has also been argued by one of us [1-3] purely based on classical considerations, that gravity cannot be entirely confined to a given dimension. High energy effects would require the inclusion of higher orders in the Riemann curvature in the action; then, if the resulting equation is to remain second order, it has to be the Lovelock polynomial which makes non-trivial contributions only in . That is, high energy effects could only be realized in higher dimension; see [3, 4] and references therein. It is envisioned as a general guiding principle that anything universal should not be constrained from outside but should rather should be left to itself to determine its own playground. This is precisely what Einstein gravity does. Since it is universal and hence it can only be described by spacetime curvature [1, 2], it is what determines the gravitational law [3]. It is important to note that it is not prescribed from outside like the Newtonian law. Similarly higher dimensions should also be dictated by some property of gravity like the high energy effects. Apart from a strong suggestion, we have not yet been able to identify a gravitational property that asks for higher dimension. In the absence of such a guiding direction, it is a prudent strategy to probe gravitational dynamics in higher dimensions so as to gain deeper insight. We believe this is the main motivation for higher dimensional investigations of gravity.

The first question that arises is: what equation should describe gravitational dynamics in higher dimensions? Should it be the Einstein equation or should it be its natural generalization, the Lovelock equation? The Einstein equation is linear in Riemann, while the Lovelock equation concerns a homogeneous polynomial – yet it has the remarkable property that the resulting equation still remains second order quasilinear. The higher orders in Riemann become relevant only in higher dimensions. If for physical reasons, like high energy effects, higher orders in Riemann are required to be included and the equation should continue to remain second order, the Lovelock equation is uniquely singled out and then requires higher dimensions for the realization of higher order Riemann contributions [1, 2, 4]. The next question is: should the equation be Einstein–Lovelock (for a given order N, all terms are also included) or pure Lovelock (only one Nth order term plus the cosmological constant, which is the 0th order term)? It has been shown that a pure Lovelock equation has the unique distinguishing property that vacuum for static spacetime in all odd dimensions being vanishing in Nth order Ricci in a kinematic sense implies the corresponding Riemann zero [5-8]. For Einstein gravity, it is kinematic in , and it becomes dynamic in the next even dimension . For a pure Lovelock equation, this is the unique feature for odd and even dimensions. What order of N should be involved in gravitational dynamics is determined by the dimension of spacetime. For example, for it is the Einstein equations (from the Einstein–Hilbert Lagrangian), for , it is Gauss–Bonnet, and so on.

Static vacuum solutions are the simplest and most effective tools for probing a new gravitational setting. Beginning with the E–GB black hole solution by Boulware and Deser [9] and independently by Wheeler [10], and its generalization to the general Lovelock case [10-13], all these black holes had horizons with a spherical topology having constant curvature. The next order of generalization was to seek a more general horizon topology of the product of maximally symmetric spaces for Einstein space horizons. Note that the product space no longer remains maximally symmetric; however, its Riemann curvature is covariantly constant.1 For an Einstein space, note that , and hence now Weyl curvature is covariantly constant, which for maximally symmetric Riemann is zero. We would therefore term the product space horizon a Weyl constant space. The first interesting solution with this generalization was obtained for an E–GB black hole by Dotti and Gleiser [14] with the horizon space being a Weyl constant Einstein space, as realized by the product of two spheres. This is the case we will concern ourselves with in this paper. The measure of Weyl constancy is expressed as the square of the Weyl curvature, which makes a non-trivial contribution to the gravitational potential of the hole. In this paper we shall discuss solutions for which the horizon is a product of two spheres. It turns out that for the Einstein–Hilbert case for a gravitational potential of the hole, neither does it matter whether two spheres are of equal curvature (and dimensionality) or not, nor whether the topology is of one or two spheres. On the other hand, for the GB case, they have to be of equal curvature and dimensionality. This is because in the latter case the Riemann tensor is directly involved in the equation, while in the former it is only the Ricci tensor, and that is why the latter is more restrictive. In other words, for an Einstein black hole, the horizon space need not even be an Einstein space, while for the GB and higher order Lovelock case it always has to be an Einstein space. There has been a spurt of activity in studying various aspects of Dotti–Gleiser black holes in terms of its uniqueness, thermodynamics, and stability by various authors [15-17].

There is yet another motivation for this paper. The study of spaces with some rotational symmetries in general relativity has been strongly motivated by the property that it provides a rich spectrum of different phases of black objects with distinct topologies for horizons; see for a review [18]. The simplest realization of it is provided by the usual 4-dimensional Schwarzschild black hole with an extra dimension of radius L added. If the Schwarzschild radius is much smaller than the radius of the extra dimension, it would resemble the 5-dimensional Schwarzschild black hole with horizon topology . On the other hand if the black hole radius is bigger than the extra dimension radius, it would describe a black string with horizon topology . This means there does occur a local change in horizon topology depending upon the radius of the horizon being smaller or larger than the compact dimension. This is a purely kinematic feature. It turns out that this change is brought about [19], see also [20], through a cone over (for brevity, we shall term it the topology of two spheres) by seeking a Ricci flat metric for the cone. This construction could as well be looked upon as a solid angle deficit for each . Note that the angle deficit describes a cosmic string for which the Riemann curvature vanishes, while the solid angle deficit for which the Riemann curvature is non-zero describes a global monopole [21]. The interesting question that arises is whether the contribution of the solid angle deficit of one sphere exactly cancels that of the other, giving rise to Ricci flat space. It is remarkable that this is precisely what happens for Dotti–Gleiser black holes [14] with the two spheres topology. The topology of two spheres harbors a static black hole with constant Ricci (Einstein space) but non-constant Riemann curvature horizon.

In this paper, we would like to study the more general case of for -vacuum solutions of the Einstein, Gauss–Bonnet (GB) and Einstein–Gauss–Bonnet (E–GB) equations. That is, a ()-dimensional spacetime harbors a static black hole with topology of two spheres for Einstein and with for GB and E–GB gravity. In the latter case we show that the horizon space has constant Weyl curvature. One of the new features of these GB and E–GB black holes is that there may occur a non-central naked singularity which could, however, be avoided by prescribing a range for the black hole mass in terms of a given . It is noteworthy that the presence of positive is therefore necessary for the existence of these black holes for GB gravity. That is, plays a very critical role in this setting as is the case for the stability of a pure Lovelock black hole, where it renders an otherwise unstable black hole stable [22].

Note that we obtain the solutions using a technique different from that of [14]. Starting from the action principle we proceed in two steps. First we perform a consistent truncation together with a dimensional reduction of the Lagrangian, ending up with a reduced Lagrangian with four mechanical degrees of freedom (instead of field theoretical ones). This Lagrangian describes static metrics with symmetry. In the second step we introduce an ansatz concerning the radial variable for the spheres, and the problem becomes an equation for a single degree of freedom. Then, as is the case for a general Lovelock vacuum equation in spherical symmetry, it all reduces to an algebraic equation.

The paper is organized as follows: We begin with an Einstein black hole and set up the general framework of consistent truncation for solving gravitational equations. We thus obtain black hole solutions by this alternative method. It is then followed by the general setting of black hole solutions with a horizon consisting of product spaces of constant curvature. We study various physical features of these black holes including the prescription of the allowed mass range, thermodynamics, and thermodynamical stability. Next we use the same truncation technique to find solutions of the Einstein, GB, and E–GB cases with two spheres of constant curvature, and we obtain the generalized Nariai metric [23, 24]. We end with a discussion.

Einstein black hole

We begin with the general static metric of a spacetime with two spheres topology , which is written as follows:in dimensions. We use the notation of indices (0, 1) for (t, r), for the angular coordinates of the first sphere and for those of the second sphere . We keep the four functions A(r), B(r), C(r), D(r) as the unknown variables, which is a consistent truncation ansatz. It means that the direct substitution of (1) into the Lagrangian will give the same equations of motion (EOM) (from the truncated Lagrangian) as if directly substituted into the EOM of the original Lagrangian (see details concerning consistent truncations in [25, 26]).

Under this generic ansatz, the only nonvanishing components of the Riemann tensor areThe Einstein–Hilbert (EH) Lagrangian (with the cosmological constant term) , for the metric (1), reads as follows:where the density factor is (up to the volume of the spheres, which here is irrelevant)It is well known that the null energy condition and the fact that the radial photon experiences no acceleration [27] require , and we set where are constants.

The metric thus takes the formThe constants are fixed as by solving the EOM for (4) for , by which one obtains the results already given in [19]. It turns out that the EOM for the truncated Lagrangian (4) ultimately reduces to a single first order differential equation, given byThis readily solves to give the solutionwhere M is an integration constant proportional to mass of the configuration as it produces potential in d dimension. This is simply because the gravitational field is radially symmetric, though spacetime is not spherically symmetric, for the two spheres horizon topology. It is the Schwarzschild–de Sitter metric potential. Of course it is not Schwarzschild–de Sitter spacetime, as it does not have maximal symmetry when . Henceforth all through our discussion by the dS/AdS approaches we generally mean the form of the metric potential to be dS/AdS, and not the entire spacetime. Thus we have the static black hole metric:with . (Other cases will be dealt with in the next two subsections.) Notice that the constant coefficient before indicates a solid angle deficit which depends upon the dimension of the sphere. The metric (8) describes a black hole with the horizon topology . Note that for the spacetime is not Minkowski because of the solid angle deficits which produce a non-zero Riemann curvature as could be seen from the Kretschmann scalar, which readsClearly it is non-zero when and the spacetime has a singularity at . However, it has a weaker divergence () as compared to the black hole (). When and M vanish, the solution coincides with the one proposed in [19], see also [20], as the mediator solution in some topology changing transitions in the space of higher dimensional black hole solutions. Note that the black hole potential, , remains unaltered by the topology of two spheres (i.e. symmetry of the metric). It only rescales , for the rest it makes no difference at all. Thus for Einstein gravity, the black hole solution is neutral to the product topology; i.e. it does not matter whether it is or simply .

Black string and brane

For , it turns out that the solution cannot accommodate because the one sphere (circle) has no intrinsic curvature. Instead we have the well-known solutionThis is the uniform black string solution in which a flat direction is added to a Schwarzschild black hole [28].

On the other hand if we take one of the spheres to be of constant curvature and the other without solid angle deficit, then it would give a black brane with the metricwhereHere is a space of constant curvature, a sphere (), a hyperboloid () or flat (). That is, a constant curvature space is added to a Schwarzschild–de Sitter/AdS black hole in dimensions and hence it may be taken as a uniform black brane [28].

Generalized Nariai metric

For in Eq. (12), we have a product of two spaces of constant curvature, , it is a generalized Nariai solution [5, 23, 24] of . Let us consider the product of two constant curvature spaces, . If the curvatures are equal, it is a Nariai solution of , on the other hand, if they are equal and opposite in sign, then it is an Einstein–Maxwell solution [30, 31] describing a gravitational field of a uniform electric field. Contrary to general behavior of such spacetimes, the former is conformally non-flat, while the latter is conformally flat. Note that both product spaces are of the same dimension, while in our case, they are of different dimensions, , and that is why we call it a generalized Nariai metric. For where , the generalized Nariai metric would take the formIt is a product of 4-dimensional dS and a two sphere of constant curvature. In fact one can have any n-dimensional dS with any m sphere of constant curvature to give a generalized Nariai metric.

Thus the two spheres ansatz we have considered encompasses black objects like hole, string, brane, and generalized Nariai solutions.

GB black hole

We can use the same method as above to write down the reduced – consistently truncated – GB Lagrangian in terms of the variables A(r), B(r), C(r), D(r) given in (1) and with the use of Eq. (3). So we start by considering the GB Lagrangian (with cosmological constant)and truncate it by implementing the ansatz (1) into it, analogously to (4). Since it is not particularly illuminating, the resulting truncated Lagrangian is given in detail in the “Appendix”.

We begin with the metric (5),with . It turns out that we are able to find analytic solutions when the two spheres have the same dimension . This means and . Let us definethen EOM [from the truncated Lagrangian (53)] again becomes a single first order differential equation,It integrates to givewhere M is an integration constant proportional to mass of the configuration. It represents a black hole in an asymptotically dS spacetime. This is a new black hole solution with two spheres topology in GB gravity. We would choose negative sign so as (18) to accord asymptotically to Schwarzschild–de Sitter spacetime while positive sign will make gravity repulsive leading to naked singularity.

It is obvious that the solution cannot admit limit and clearly reality of the metric as well as existence of horizons would prescribe a bound on mass of the black hole in relation to . That is what we next consider.

Reality and physical bounds for (18)

Since in absence of black hole (), must be positive, and hence we shall take both M and to be always non-negative. For concreteness let’s set which means we are considering 6-dimensional black hole solution. Further for simplicity we define , we write the solution (18) for aswhere and M are taken to be non-negative.

Clearly for reality of the solution the discriminant should be as well as for the existence of black hole horizon. Both these conditions should hold good simultaneously which meanswhere . The lower bound guarantees non-negativity of the discriminant, while the upper bound ensures the existence of horizons bounding a regular region of spacetime. The function h(r) has a single minimum atandAs will be discussed below, for the physical viability of a black hole we must have , which impliesor, equivalently,The lower bound is given by the discriminant being non-negative, while the upper bound is given by the existence of horizons. The horizons are given by , which is a fifth degree equation and can have two positive roots giving two horizons, lower () and upper (), respectively, for the black hole and cosmological, dS-like, case, as shown in Fig.  1.

Fig. 1

Plot of h(r) when . The horizontal lines are and , The intersections of h(r) with the upper line define the horizons, black hole, and cosmological cases

There is an unusual feature of this class of black holes: there occurs a curvature singularity at vanishing of the discriminant, . As a matter of fact the Ricci scalar for the GB black hole (19) is given bywhich clearly diverges for unless the numerator also vanishes at . The numerator and denominator both vanish simultaneously only for at , making R finite. This marks the limiting minimum for the black hole mass at which becomes the minimum , as shown in Fig. 2.

Fig. 2

Plot of h(r) when . The horizontal lines are and , the intersections of h(r) with the lower line determine the singularities. The critical case (not depicted here) means tangency with the lower line, and there is no singularity

The remarkable property of this class of black holes is therefore the existence of an extremal value for the mass which is a minimum. Below this minimum there occur two naked singularities for given by . This is in addition to the usual central singularity at . It is the case that the latter is always covered by a horizon for the black hole, while for the former the only option is not to let them occur. This is precisely what the above bounds on the mass for a given do as shown in Figs. 1 and 2. This requires both to be non-zero. It can easily be seen that either of them being zero makes a non-central () singularity naked. It is not only so that it remains naked for and hence must always be positive. This is a new property of this class of black holes. In this setting, a black hole can thus exist only in an asymptotically de Sitter spacetime. That is, the presence of a positive is critical for the existence of a black hole. Very recently a similar result has also been obtained for the stability of pure Lovelock black holes [22], where makes an otherwise unstable black hole stable.

E–GB black hole

Now we consider the E–GB Lagrangianwith separate parameters and , so we can recover the GB and EH cases as limits with either parameter vanishing. The consistent truncation of (25) under (3) is given by (4) and in (53) (see the “Appendix”).

Again we consider the specific metricNow the EOM for the variable A(r) takes the formwhere has been defined in (16). This integrates to give the solutionwhere we have chosen the negative sign before the radical for the same reason as for GB case.

In the limit we recoverthe corresponding Schwarzschild–de Sitter solution (8) for and with an appropriate redefinition of the mass parameter, M.

Let us now set and thenIt is interesting to compare this solution with the solution with one sphere topology,withIt is indeed the same as the above without under the radical. Note that the former is not asymptotically flat for , while the latter is asymptotically flat, i.e. Minkowski. The other difference of course is that in the former metric, each sphere has a solid angle deficit which cancels out the other to give a -vacuum spacetime. This is true more generally for where the former will have under the radical, while the latter would be free of it.

Physical bounds for (28)

Let us rewrite (28) aswithNote that since their exponent is odd, the signs of E and B are those of their respective right hand side in the definition.

Let us consider the case and (the same sign for the EH and GB coefficients is required for the theory to be ghost free [9]) as well as and , which imply . Note from (34) that there is a window for negative and still keeping .

The minimum for f is attained at . Following the same lines as before (see Sect. 3.1), we obtain the bounds as follows:where C, given in (34), is a positive quantity determined by the spacetime dimension. Since E, B, D are positive, it is clear, for given , that there exist a range of values for E and B (i.e. for and M) fulfilling the bounds (35). Thus as before a non-central curvature singularity at the vanishing of the radical could be avoided by a suitable prescription on the black hole mass for given .

Thermodynamics of black holes

We will use the notation of Eq. (34) and of course we assume that the conditions given in Eq. (35) hold true, which guarantee the existence of horizons. Let us denote the black hole horizon by . Of course, and M could be traded for each other, just by requiring the function to keep , while varying . The entropy is calculated from the first law of thermodynamics by following the standard procedure.

We write the identityas an implicit equation for the function M(r) introduced above; therefore, we have the identitywhere denotes the derivative relative to the first argument r. Employing the Euclidean method (with periodic time to eliminate a conical singularity), we identify as the Hawking temperature .

Thus we haveand we can compute the entropy by integrating the first law,where we have assumed that the entropy vanishes when the horizon shrinks to zero.

Of course, the parameter M used in our derivation is identified with the mass except for an overall factor that will depend on the dimension of the spacetime and linearly on the area of two spheres at unit radius. With this factor installed we getwhere denotes the horizon area and and .

The temperature, in terms of , isFor instance, for the pure GB case () and (), we obtainIt is worth noting that these parameters bear the same universal relation to as established in [32] for a pure Lovelock one sphere topology in the critical dimension , here for the case. In particular, for a pure GB black hole, and . Thus the thermodynamics parameters do not distinguish between the one and the two sphere topology, save for numerical factors.

Let us finally discuss the stability of the GB black hole. Here we take and . The temperature obtained above gives, for the GB case (),and for it to be positive we needActually this requirement is more restrictive than the bound determined before (35), which written in terms of (the minimum of f) becomes, for the side we are interested in, . Since according to our construction , in order to keep T positive, we must replace the rhs of the bound (35) by (44), in the case; from to when the compact dimension is smaller than the horizon radius as the radius of the hole increases. Once we set the bounds to have a positive temperature, local thermodynamical stability will correspond to a positive specific heat, . Using the expressions and we haveand we have from (38) ,. Since , we need for to be positive. But clearly we infer from (43) that and thus our solution is not thermodynamically stable. Since the one sphere (instead of two) case could be obtained by setting the parameter C to zero in Eq. (34) [see (30, 32)], it is clear that the instability found here is the same as in the spherically symmetric case.

Solutions with two spheres of constant curvature

In this section we apply the same consistent truncation method to obtain new solutions to the EH, GB, and E–GB cases with two spheres of constant curvature. The metric is therefore of the formwith and . Note that the constant curvature of each sphere, , is different according to its dimensionality. We are seeking a solution of the -vacuum equation, and hence (t, r) space also has to be of constant curvature. That is, it can be dS or AdS. The topology is therefore dS/AdS. This is a generalized Nariai spacetime [23, 24].

Clearly in the above metric is the Einstein solution and is determined as .

When there are hyperboloids in place of spheres, and the solution could then be written aswith and topology, AdS. This is a generalized anti-Nariai metric [29]. The case is Minkowski spacetime (the spheres or hyperboloids acquire an infinite radius and become flat), though the metric (46) is no longer convenient to describe such a limit.

For the case of GB, we find solutions for (45) with and k determined below. The curvatures and are constrained by a third degree polynomial equation,with (here includes a dimensional factor originating with the dimensionality of the GB Lagrangian) given byandFor the equal dimension spheres, and , they becomeWe continue with (45) and . As expected for E–GB and have also to satisfy a third order polynomial equation. We consider the simple case of and , and then we obtainandwhich reduces to the EH solution for and to GB for .

These GB and E–GB cases also admit hyperboloids in place of spheres. The constant spheres are spacetimes whereas constant hyperboloids are generalized anti-Nariai spacetimes.

Discussion

It is well known that the vacuum equation for Einstein as well as for general Lovelock gravity in spherical symmetry ultimately reduces to a single first order equation which is an exact differential [33-38] and hence can be integrated trivially. As a matter of fact, the equation then turns out to be purely algebraic for one sphere topology with symmetry. Interestingly this feature is carried through even for the topology of two spheres with symmetry where . In particular, Eqs. (6), (17), and (27) refer, respectively, to Einstein, GB, and E–GB gravity, which yield static black hole solutions. This result obviously raises the question as to whether this feature is also carried over to Lovelock gravity in general. The answer is in affirmative and it would be taken up separately in a forthcoming paper [39].

For a black string, there occurs a local topology change as the radius of the horizon increases from that of a black hole to that of a black string . This change is determined through [19] a Ricci flat space over a double cone formed by two spheres with a solid angle deficit. The distinguishing feature of this class of Dotti–Gleiser black holes [14] is that the horizon space is an Einstein space with both Weyl and Riemann curvatures being covariantly constant. Contrary to what is said in the literature following Ref. [14], the space, though, is not maximally symmetric; i.e. Riemann curvature is not given in terms of the metric but its covariant derivative is zero.

This non-zero Weyl curvature makes a non-trivial contribution in the black hole potential which gives rise to non-central naked singularity. For Einstein black hole, the topology is , while for GB and E–GB it is , and further it makes no contribution to the potential for the former. This is because the Einstein–Riemann and Weyl curvatures do not enter into the equation, while they do so for the Lovelock case.

For GB and E–GB black holes, what symmetry entails is the occurrence of an additional non-central curvature singularity which could be let not to occur by a suitable prescription on the black hole mass for a given (for an E–GB black hole, a narrow window of negative is also permitted). The two extremal limits for the mass are defined by the non-occurrence of a non-central naked singularity (an intersection with the lower line in Fig. 2) and the existence of horizons (an intersection with the upper line in Fig. 1). The range for the mass is given in Eqs. (23) and (33), which ensures the absence of a naked singularity for the GB and E–GB black holes in dS spacetime. Also a non-central singularity cannot be avoided when or . Thus plays a very critical role in the existence of this class of black holes. This reminds one of the recently obtained result in which makes an otherwise unstable pure Lovelock black hole stable by similarly prescribing a range of values for the mass [22].

Further it turns out that black hole thermodynamics does not, however, distinguish between the topology of two spheres and one sphere, as the expressions for the temperature and the entropy of the black hole remain essentially the same. For a pure Lovelock black hole with spherical symmetry, the thermodynamics is universal; i.e. the temperature and the entropy bear the same relation to the radius of the horizon in all odd () and even () dimensions where N is the degree of the Lovelock Lagrangian [32]. It is interesting that this universality continues to hold true even for black holes with the topology of two spheres in GB and E–GB gravity.

Finally, let us mention that the technique of the truncated Lagrangians allows us to find new solutions with two spheres of constant curvature (or hyperboloids). They correspond to generalized Nariai (or anti-Nariai for hyperboloids) solutions.