Abstract
The analysis of the continual gravitational contraction of a spherically symmetric shell of charged radiation is extended to higher dimensions in Einstein–Gauss–Bonnet gravity. The spacetime metric, which is of Boulware–Deser type, is real only up to a maximum electric charge and thus collapse terminates with the formation of a branch singularity. This branch singularity divides the higher dimensional spacetime into two regions, a real and physical one, and a complex region. This is not the case in neutral Einstein–Gauss–Bonnet gravity as well as general relativity. The charged gravitational collapse process is also similar for all dimensions \(N\ge 5\) unlike in the neutral scenario where there is a marked difference between the \(N=5\) and \(N>5\) cases. In the case where \(N=5\) uncharged collapse ceases with the formation of a weaker, conical singularity which remains naked for a time depending on the Gauss–Bonnet invariant, before succumbing to an event horizon. The similarity of charged collapse for all higher dimensions is a unique feature in the theory. The sufficient conditions for the formation of a naked singularity are studied for the higher dimensional charged Boulware–Deser spacetime. For particular choices of the mass and charge functions, naked branch singularities are guaranteed and indeed inevitable in higher dimensional Einstein–Gauss–Bonnet gravity. The strength of the naked branch singularities is also tested and it is found that these singularities become stronger with increasing dimension, and no extension of spacetime through them is possible.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
One of the major successes of Einstein’s theory of general relativity is the diffeomorphism covariance of its construction which yields a generalised equivalence principle. However, general relativity is an incomplete gravity theory. For example, it does not anticipate the acceleration of the expansion of the universe due to dark energy, nor does it explain the black hole information paradox which deals with the emission of radiation from an isolated black hole. It is also noted that the solutions yielding wormholes and white holes have yet to be accepted since these objects have not been observed. It is for these reasons, among others, that modifications to general relativity have become commonplace. One such modification is an imposition of a polynomial form for the higher dimensional Lagrangian action
which gives rise to Lovelock gravity [1,2,3] where k is the order of the theory and N is the dimension of spacetime. The topological Lovelock term is given as
which consists of the generalised Kronecker delta, given as the antisymmetric product \(\delta _{a_{1}b_{1}...a_{k}b_{k}}^{c_{1}d_{1}...c_{k}d_{k}}=(2k)!\delta ^{c_{1}}_{[a_{1}}\delta ^{d_{1}}_{b_{1}}\cdots \delta ^{c_{k}}_{a_{k}}\delta ^{d_{k}}_{b_{k]}}\) and the Riemann curvature tensor \(R^{ab}{}_{cd}\). The coupling constants \(\alpha _{r}\) in the action (1) have dimensions of \((\text{ length})^{2r-N}\). This is the most general higher order and higher dimensional metric extension of general relativity which preserves energy conservation, the above-mentioned diffeomorphism covariance and beautifully, second order quasilinear equations of motion. Of these higher order corrections indicative of Lovelock gravity, the quadratic corrections \(\mathcal {R}^2\) are of particular importance. It is well known that classical general relativity, or first order Lovelock gravity, is the low-frequency limit of quantum gravity. It was shown by Zwiebach [4] that a quadratic correction of the Gauss–Bonnet form \(\mathcal {R}^2=L_{GB}=R^2+R_{abcd}R^{abcd}-4R_{cd}R^{cd}\) must appear in lower energy limit of the heterotic superstring \(E_{8}\times E_{8}\). Hence, second order Lovelock gravity, or Einstein–Gauss–Bonnet (EGB) gravity, appears in the lower energy limit of string theory. It is for this reason, among others, that the EGB corrected postulate is a physically important modified gravity theory to study.
In the EGB theory, the analogues of the Schwarzschild and Reissner-Nordström solutions in higher dimensions were found and analysed in [5,6,7] and a thorough study of the radiating versions of these radiating solutions can be found in [8,9,10]. It was shown that the behaviour of these solutions was similar to the general relativistic Vaidya solution counterparts. This notion, however, is not the case when analysing the gravitational collapse of null radiating matter. The collapse dynamics of the Boulware–Deser solution, whether charged or neutral, was studied in detail by [10,11,12,13,14]. It was shown that for neutral matter in five dimensions, the minimum dimension of EGB gravity, collapse ceases with the formation of an initially naked and weaker conical singularity, before eventually succumbing to an event horizon at a later time depending on the Gauss–Bonnet coupling constant \(\alpha \). This is a behaviour unique only to the five dimensional case. With an increase in spatial dimension, this central singularity is no longer necessarily nude initially, nor is it conical.Footnote 1 The situation with charge is, again, very different. The end state of gravitational collapse for charged null radiation is a singularity which acts as a branch separating the physical spacetime from a complex metric [10]. This singularity is covered by two horizons, a Cauchy (inner) horizon and the outer event horizon. Remarkably, unlike the neutral scenario, collapse proceeds in a similar fashion for all dimensions \(N\ge 5\). The minimum dimensional case is no different to higher dimensions. Both charged and uncharged collapse in EGB gravity differ in a significant manner to the limiting case of Einstein, i.e. charged or neutral Vaidya collapse [15,16,17,18,19,20,21].
Another aspect of collapse to consider is the nature of singularity formation. It is well known that the existence of trapped surfaces as well as the preservation of causality are two circumstances which, along with the theorems of singularity formation, guarantee spacetime singularities post collapse [22, 23]. The nature of these singularities, however, are not accounted for in the above-mentioned theorems. The cosmic censorship conjecture (CCC), divided into both the weak (WCCC) and strong (SCCC) categories, was founded by Penrose [24] to prevent naked singularities from forming. The WCCC states that for any initial generic data, a complete future null infinity is held by the maximal Cauchy development. The SCCC states that for any initial generic data which is asymptotically flat or compact, the maximal Cauchy development is inextendible, locally, as a regular Lorentzian manifold, i.e. singularities are not timelike, but generically null or spacelike.Footnote 2 As it stands, there is no proof of the conjecture in the literature. Moreover, there exist several treatments presenting different physical models that oppose the CCC, see for example [19,20,21, 25,26,27,28,29,30,31]. A comprehensive reviewFootnote 3 of spacetime singularities and the various consequences with regards to geodesic incompleteness/completeness and cosmic censorship can be found in a recent expository article by Landsman [32].
In any physical theory, including gravity and its various modifications (which preserve energy conservation), the notion of dimension is a crucial one. The dimension of spacetime indeed affects its own geometry and due to the invariance properties of general relativity and, for this article, Lovelock gravity, the implication is that the underlying physics will also be affected; this idea is embedded in the field equations. The classical spacetimes of general relativity were studied in higher dimensions by [33,34,35,36]; the dimension affects not only the form of the metric functions, but the resulting field equations. The stability of compact astrophysical objects is also affected by the spacetime dimension, for example see [37,38,39]. With regards to higher dimensional radiating stars, the Santos [40] matching conditions were extended to arbitrary dimensions by [41,42,43] where it was shown that the presence of these higher dimensions drastically alters the gravitational dynamics of these objects as well as their evolution. The notion of positive energy is also a fundamental one in classical field theories of gravity and the energy conditions generalise this idea. These conditions were thoroughly studied in the context higher dimensions by [44, 45]. The energy conditions turn out to have a different analytical structure in higher dimensions which is not seen in the conventional four dimensional spacetime. This becomes very important not only in general relativity, but specifically higher dimensional modified gravity theories where these effects will then become obviously apparent. In conventional Einstein gravity, it has been shown that an increase in spacetime dimension may prevent naked singularity formation as demonstrated in [20]. Various families of mass functions under certain conditions yielded collapse scenarios where horizon formation did indeed take place and a black hole formed; this was not prevalent in four dimensions. It must be emphasised that increasing the spacetime dimension need not prevent naked singularities. Some treatments of naked singularities in higher dimensions were analysed by [46,47,48], and this will be the basis of this paper.
In this article we study the full gravitational collapse of a higher dimensional geometry in EGB gravity in the presence of an electromagnetic field. We discuss branch singularity formation in neutral and charged collapse, and the physical constraints of their existence. It turns out the branch singularities are inherent in Lovelock gravity for all orders equal to and above two. We then consider the nature of singularity formation for the higher dimensional charged Boulware–Deser solution. We will prove an existence result; for a particular choice of the mass function and charge benefaction, a naked singularity is inevitable in Einstein-Gauss–Bonnet-Maxwell (EGBM) gravity for all arbitrary higher dimensions. This will extend the results obtained in [14]. The effects of both the electric charge and the dimension of spacetime prove crucial in this analysis.
2 EGBM gravity in higher dimensions
In this treatment we will assume a geometry which is spherically symmetric and that the Lorentzian signature of spacetime is \((-,+,+,\ldots ,+)\). In higher dimensions, Einstein’s coupling constant and the surface area of the unit \((N-2)\)-sphere are written in terms of the gamma function respectively as
The values of these quantities for various dimensions are presented in Table 1. In fact, from (2) it can be observed that Einstein’s coupling constant and the surface area are related by
This is to say that the value of Einstein’s coupling constant \(\kappa _{N}\), as it appears in the field equations, is affected not only by the form of the energy momentum tensor but by the geometry of the \((N-2)\)-sphere. The Gauss–Bonnet action can be obtained from (1) and is written in arbitrary dimensions as
where \(\alpha _{0}\) is the cosmological constant, \(\alpha _{1}\) (equal to unity) is the constant attached to the action (\(\mathcal {R}=R\)) of Einstein gravity, and \(\alpha _{2}=\alpha >0\) is the EGB coupling constant. The EGB Lagrangian (or second order Lovelock term) is given by
which is in terms of the curvature tensors of Riemann and Ricci, as well as the Ricci scalar. In four dimensions this term (4) is merely a quadratic surface term. When \(N<4\), by the Chern–Gauss–Bonnet theorem [49, 50], the quantity (4) identically vanishes. We have that is the action for the matter content.
The EGBM field equations can be obtained by use of the variational principle on (3) and are written as
The tensor \(G_{ab}\) is that of Einstein, \(T_{ab}\) is the energy momentum tensor and \(E_{ab}\) is the electromagnetic energy tensor, defined in general as
which is in terms of the Faraday tensor \(F_{ab}=\Phi _{b;a}-\Phi _{a;b}\), the N-dimensional electric gauge potential \(\Phi _{a}\) and the surface area \(\mathcal {A}_{N-2}\) of the unit \((N-2)\)-sphere.Footnote 4 We have that \(J^a\) is the current. The new higher order curvature contribution in the form of the Gauss–Bonnet tensor \(H_{ab}\) is written as
We now make the following points:
-
The critical dimensions of EGB gravity are \(N=5\) and \(N>5\).
-
The Gauss–Bonnet tensor has zero divergence, i.e. \(H^{ab}{}_{;b}=0\). This is such that \(\left( G^{ab}-\frac{1}{2}\alpha H^{ab}\right) {}_{;b}=0=T^{ab}{}_{;b}\).
-
If \(N<5\), the Lovelock tensor \(H_{ab}=0\) will vanish identically; general relativity is attained in four dimensions.
-
When \(\alpha \rightarrow 0\), general relativity will be regained in N dimensions.
It is also interesting to note that via a complete gauge invariance by Noether’s theorem, linearised EGB gravity can be shown to be connected to classical electrodynamics [51].
3 Boulware–Deser–Wiltshire solution
The N-dimensional generalised Boulware–Deser solution [5] is given by
which is written in terms of ingoing Eddington-Finkelstein coordinates \((v,r,\theta _{1},\ldots ,\theta _{N-2})\). The metric for the unit \((N-2)\)-sphere is of the form
which accounts for the spherical symmetry. The function is given by
which contains the generalised mass function M(v, r) [8] and where we have set \({\hat{\alpha }}=\alpha (N-3)(N-4)\) for brevity. The energy momentum tensor for a two-component fluid distribution of type II is given by
which is a combination of a null dust with energy density \(\mu \) which moves along the null hypersurfaces \(v=\text{ const. }\) and a null string fluid with energy density and pressure \(\rho \) and P, respectively which moves along trajectories which are timelike in nature. The null vectors take the forms
with the restrictions \(l_{c}l^c=n_{c}n^c=0,l_{c}n^c=-1\). The higher dimensional generalised EGB field equations are then
after lengthy calculationsFootnote 5 and where we have that
In five dimensions, the above system reduces to that studied in [10, 14]. We now make the selection for the generalised mass function
where we have used the system (2). The electromagnetic energy contribution (6) is then engrained into this above selection (13) for the mass. The tensor \(F_{ab}\) is analogous to the result in [52] and is given by,
which depends on dimension. The function \(Q=Q(v)\) is the charge contribution for EGBM gravity. The function (9) along with the selection (13) then gives the higher dimensional charged radiating solution
The vacuum form of the above solution was found by Wiltshire [6, 7]. The above system (15) reduces to the higher dimensional charged Vaidya (or Vaidya-Bonner) solution [53, 54]
in the general relativity limit. Using the system (12) along with (13) we can write the EGBM field equations as
In the four dimensional general relativity limit, these equations reduce to those found in [52]. The null, weak, strong and dominant energy conditions [44, 45, 55] for a null and string fluid combination imply that the energy density \(\mu \ge 0\) and so the following two conditions must hold:
It can be seen that the condition (18a) is undefined at \(r=0\) and hence is violated in this region. This is due to the singular nature of the metric function (15b) as well as an unavoidable branch singularity in the spacetime manifold, which we discuss in the following section. We can also see from equation (18a) that there exists a critical radius \(r_{c}>0\) for which \(\mu \ge 0\). This is given by
When \(r<r_{c}\) we have that \(\mu <0\) and the energy conditions are violated. For the case of a collapsing distribution, the N-momenta of particles vanish on the hypersurface \(r=r_{c}\) due to the repulsive Lorentz force as indicated in four dimensions in [52, 56]. Therefore the region \(r<r_{c}\) is realistically unattainable to any particles, resulting in the preservation of the energy conditions.
4 Branch singularities in EGB gravity
We begin by noting that branch singularities are generic for neutral and charged collapse in EGB gravity [57, 58]. A branch singularity can be described as an interface separating a physical spacetime region from a complex (or non-real) region defined by a particular metric function in the line element. For example, metric functions containing surds yield such scenarios for negative values under the radicals. Branch singularities of this kind are inherent in all orders (above one) of Lovelock gravity; this notion can be seen in the EGB solutions [10, 14] as well as the radiating solution of third order Lovelock gravity found by [59]. For our purposes we will consider both the neutral and charged EGB cases separately.
4.1 Uncharged metric
If the charge \(Q(v)=0\) in (15) we have that the metric function is
The dynamics of the uncharged collapsing solution were analysed in detail by [11,12,13]. We note that the above metric function is regular at \(r=0\) when the dimension of spacetime is \(N=5\). Due to this and the fact that the Kretschmann invariant diverges (in fact \(K=R_{abcd}R^{abcd}\sim r^{-16}\)), the spacetime has a singularity which is weaker and conical in nature. In principle, spacetime can be extended through it. The spacetime manifold with metric (20) is in a sense quasi-regular when \(N=5\). This is, however, only the case in five dimensions. We illustrate this graphically in Fig. 1 where we have used \(\alpha =1/2\) and a positive value for the mass function.
If we consider (20), the mass function at the horizon \(f(v,r)=0,r=r_{H}\) can be calculated as
In five dimensions this reduces to \(M_{H}(r_{H})=r_{H}^2+2\alpha \) (since \({\hat{\alpha }}=2\alpha \) when \(N=5\)), therefore there is a mass gap; the mass function does not vanish for a radius of zero and is instead a function of the EGB coupling constant, i.e. \(M_{H}(0)=2\alpha \). So the conical singularity at the centre of the collapsing distribution remains naked post collapse for a time depending on \(\alpha \); the coupling constant \(\alpha \) halts horizon formation [12]. This situation is only prevalent in five dimensions. For all \(N>5\), we have that \(M_{H}(0)=0\) identically at the singularity \(r=v=0\), and the Kretschmann invariant \(K\sim r^{-4(N-1)}\). We note now that in expression (20), a zero within the square root also implies a singularity; this is a branch singularity. Solving for the mass function in this scenario yields
where the subscript b is merely a label indicating the value at the branch. We observe that in this situation, i.e. neutral collapse, a branch singularity is only possible for a negative mass. The domain of r is \(0<r_{b}<r<\infty \) if we have that \(r_{b}\) is positive. We illustrate these notions graphically in Fig 2 and 3.
We have again used the value of \(\alpha =1/2\). In Fig. 2 we highlight the mass functions at the horizon and branch respectively for \(N=5\). We note that the \(M_{H}(v)\) does not vanish at \(v=r=0\) by (21). This is due to the fact that when \(N=5\), the metric function (20) is regular at \(r=0\) and the mass function \(M=M_{H}\) depends on \(\alpha \). A branch singularity appears when \(M(v)<0\) by equation (22) and so has no effect on the \(M(v)>0\) case. The situation is different for \(N>5\) as shown in Fig. 3, where we have illustrated the six and seven dimensional cases. The metric functions (20) are no longer regular in the vicinity of the singularity \(r=0\) in higher dimensions and we have that \(M_{r=0}=0\) as emphasised earlier. Again, we observe that a branch singularity appears for \(M(v)<0\) but it has no affect on the positive M(v) situations. In Fig. 4 a null radiating distribution of matter cascades into a five dimensional quasi-regular black hole of growing positive mass. Within the region \(0\le v\le V_{0}\) there exists a conical singularity which is naked due to the EGB coupling constant \(\alpha \) delaying the formation of the apparent horizon. The horizon eventually forms at \(v=V_{0}\) enclosing the trapped surfaces into a compact region \(V_{0}\le v\le V_{1}\). At \(v=V_{1}\) the apparent and event horizons smoothly match as a single trapping horizon, separating the five dimensional Boulware–Deser vacuum from the trapped surfaces and singularity. Figure 5 depicts radiating null matter falling into a higher dimensional singular black hole. The formation of the apparent horizon takes place at \(v=r=0\) containing all the trapped surfaces in a highly compact region \(0\le v\le V_{0}\). This is unlike the situation in five dimensions, and will be the case for all \(N>5\) [13]. The apparent and event horizons match smoothly at \(v=V_{0}\) to form one single trapping horizon separating the higher dimensional Boulware–Deser vacuum exterior from the trapped surfaces. Beneath this horizon of the black hole lies the central curvature singularity.
4.2 Charged metric
We will now look at the situation of the electrically charged solution. We recall from (15) that the higher dimensional metric function is of the form
The collapse dynamics of the above metric for \(N=5\) were studied in [12, 14]. Unlike the uncharged scenario, the metric functions are singular for all dimensions \(N\ge 5\), resulting from the additional charge term in (23). Hence the behaviour of this function is similar for all dimensions in EGB gravity; a fundamental difference to the uncharged case. We present this graphically in Fig. 6 for the same value of \(\alpha \).
Further to this notion, there is in fact no spacetime at \(r=0\). The electric charge contribution Q(v) fundamentally changes the singularity type manifesting once collapse has terminated. If we consider the term \(\frac{Q(v)^2}{(N-3)r^{2N-4}}\) in (23), we note that it has a minus sign, indicating that there exists a maximum charge for which the metric function will remain real. There is a fundamental branch singularity, which is independent of the sign for the mass function, which separates the real and physical spacetime from a complex metric. This branch singularity is indeed the curvature singularity of the spacetime. If we consider the metric function (23), the horizon radius, i.e. \(f(v,r)=0\) yields
where we note the presence of the charge Q(v). When \(Q(v)=0\) we regain (21) from earlier. We can clearly see that this function is undefined when \(r=0\) for the above-mentioned reasons, and that the situation remains the same for all \(N\ge 5\), unlike in the neutral scenario. If we consider the square root in the charged metric function (23), equating this to zero yields
We observe here that the mass function can be either positive or negative, so regardless of the physical situation, this branch singularity \(r=r_{b}\) is inherent in the collapse; it exists for all M. We illustrate, for the same values of the parameters, expressions (24) and (25) graphically in Figs 7 and 8 for different dimensions. The domain of r is \(0<r_{b}<r_{1}\le r_{0}<\infty \). There is no spacetime in the region \(0<r_{b}\). The inner and outer horizons \(r_{1}\) and \(r_{0}\) form at \(r_{b}>0,v=0\). These notions as well as spacetime diagrams depicting charged radiation collapse were discussed and provided in [10]. Consider the square root term in (23). If we have
we can also write the following in terms of \(r_{b}\):
which is analogous to (25) and where we have utilised the fact that \({\hat{\alpha }}=\alpha (N-3)(N-4)\). This inequality admits \((2N-4)\) solutions, two of which are real and one of which is positive; the rest are complex. If \(Q(v)\ne 0\), there exists a branch singularity \(r=r_{b}(v)\) which then separates the physical spacetime metric from the complex region. The above equation (27) will become important for the analysis in the next section.
5 Higher dimensional gravitational collapse model
In this section we analyse the higher dimensional and charged gravitational collapse of a shell of null radiation (15). If we consider an asymptotically flat and empty N-dimensional EGB universe at infinitely large distances, a thick radiation shell of electrically charged matter collapses at the centre of symmetry.
5.1 Euler–Lagrange equations
Suppose that the tangent to nonspacelike geodesics is given by \(K^a\), where \(K^a=\frac{dx^a}{dk}\). We then have that for the affine parameter k that
where \(\mathcal {B}\) is a constant which describes classes of geodesics. If \(\mathcal {B}\) is negative, this implies timelike geodesics and if \(\mathcal {B}\) vanishes, we then have null geodesics. The derivatives \(\frac{dK^v}{dk}\) and \(\frac{dK^r}{dk}\) can be calculated by use of the Euler–Lagrange equations
The Lagrangian \(L=\frac{1}{2}g_{ab}{\dot{x}}^a{\dot{x}}^b\) for the higher dimensional line element (15) is given by
where f(v, r) is the metric function (23). Therefore the relevant equations are calculated as
v-component:
r-component:
\(\theta _{i}\)-components:
Analogous to [26], we can define
for some arbitrary function P(v, r). Making use of (28b) as well as equations (31) and (32), a tedious calculation then gives
where l is referred to as the impact parameter.
6 Conditions for a locally naked singularity
We reiterate that for the charged solution (15) the branch singularity \(r=r_{b}\) is the curvature singularity of the spacetime; there is no metric spacetime in the vicinity \(0<r_{b}\). We will now determine whether the final fate of higher dimensional charged radiation collapse is a black hole or a naked singularity. It was shown by Brassel et al [14] that there indeed exists functional forms for the mass and electric charge, which guarantees naked singularity existence. The basis of this section is to reveal whether a similar notion is possible in higher dimensions. The motivation for this also lies in the fact that in dimensions \(N>5\) the geometry of the spacetime with metric (23) is wholly different. Given an electrically charged radiation shell of matter in higher dimensions with a mass which is large enough, this singularity branch forms at \(r_{b}=v=0\) and extends into the future. If future directed families of trajectories exist, reaching some observer at infinity in the higher dimensional spacetime, the branch singularity under question is then naked. If such families of trajectories do not exist, the result is a black hole covered by two horizons concealing the branch singularity inside [10].
6.1 Outgoing nonspacelike geodesics: existence
If we allow \(X_{0}\in (0,\infty )\) to be the tangent to the radial geodesic, id est the limiting value at \(r_{b}=v=0\) on any geodesic which is singular, this limiting value’s nature is written as
Making use of this above equation (36), a form for \(X_{0}\) can be calculated which will vividly describe null geodesic behaviour in the vicinity of the singularity \(r_{b}\). We recall expression (27) which is given by
Differentiating this expression and simplifying yields
For the existence of a well defined tangent at the singularity \(r_{b}\), the mass and charge functions must take the forms
where the constants \(\lambda \) and \(\beta \) must be positive. We make these specific choicesFootnote 6 in order to employ (36) in equation (37). Expression (37) then becomes
The above expression then reduces to
We make note of the presence of the dimension N in the above expression. When \(N=5\), this reduces to the result obtained in [14]. In order to surmise the nature of the branch singularity, the expression (39) needs to be solved. The occurrence of a black hole or a naked singularity depends on the causal behaviour of the trapped surfaces which develop within the collapsing spacetime. The apparent horizon is the boundary of the region containing these trapped surfaces. Utilising the system (35), for the metric (23), the equation for null geodesics is
This is also known as the equation for the slope of the apparent horizon. This simplifies to the trivial result
in the vicinity of the region \(r_{b}=v=0\).
6.2 Sufficient conditions
We are now in a position to state the sufficient conditions which determine whether the branch singularity is naked locally for a higher dimensional and electrically charged collapsing Boulware–Deser spacetime.
Proposition 6.1
Consider an electrically charged Boulware–Deser spacetime of differentiability class \(C^2\) from a regular epoch, with mass and charge functions \(M(v)=\lambda v^{N-1}\) and \(Q(v)=\beta v^{N-2}\) respectively. If the following conditions hold at the branch singularity:
-
1.
The derivatives \(\frac{\partial M}{\partial v}\) and \(\frac{\partial Q}{\partial v}\) exist and are continuous at the singularity,
-
2.
There must exist at least one positive and real root \(X_{0}\) to the expression
$$\begin{aligned} X_{0}^{2N-4}-\frac{2(N-3)\lambda }{\beta ^2}X_{0}^{N-1}-\frac{N-3}{4(N-4)\alpha \beta ^2}\ge 0, \end{aligned}$$ -
3.
This positive and real root must be less than the slope
$$\begin{aligned} X_{N}=2, \end{aligned}$$
then the singularity is locally naked and there exist outgoing \(C^1\) radial null geodesics escaping to infinity in the future.
7 Cosmic censorship violation
We now demonstrate that naked singularities are indeed possible for higher dimensional charged collapse. Consider the expression (39). It can be shown via mathematical induction that for positive values of \(\alpha \), \(\beta \) and \(\lambda \), this expression always admits two real roots and \((2N-6)\) complex roots. As it stands we cannot explicitly present all the roots without specifying the dimension N as well as the above-mentioned parameters \(\alpha \), \(\beta \) and \(\lambda \), due to the complicated nature of this polynomial. If we chooseFootnote 7\(\alpha =1/2\) and \(\beta =\lambda =2\) the expression (39) can be written as
For a specified N, if the positive roots to this equation are less than \(X_{N}=2\), the branch singularity \(r=r_{b}\) will be naked.
In Table 2 we present the above equation for the parameters \(\alpha =1/2\) and \(\beta =\lambda =2\) for several dimensions. It can clearly be seen that the positive real roots are always less than \(X_{N}\), guaranteeing naked singularity formation. Therefore, Proposition 6.1 is always satisfied. We also notice that as the dimension increases, the value of \(X_{0}\) decreases, tending to unity. We can now state the following existence results.
Lemma 7.1
For the positive values of \(\alpha =1/2\), \(\beta =\lambda =2\), the real and positive root \(X_{0}\) of the expression (39) is always less than that of the null geodesic equation (41), i.e.
This is to say that, for a positive and real \(C^2\) mass function \(M(v)=\lambda v^{N-1}\) and electric charge \(Q(v)=\beta v^{N-2}\), naked singularity formation is inevitable.
Lemma 7.2
If \(\alpha =1/2\) and \(\beta =\lambda =2\), the positive and real root \(X_{0}\) tends to one as the dimension becomes infinitely and countably large, i.e.
The main result of this paper can now be stated in full.
Theorem 7.1
Consider a gravitationally collapsing and electrically charged Boulware–Deser spacetime in N dimensions given by (15) from a regular epoch. If there exists a positive and real \(C^2\) mass function \(M(v)=\lambda v^{N-1}\) and charge contribution \(Q(v)=\beta v^{N-2}\), satisfying the energy conditions in the entire spacetime, then for all \(\alpha =1/2\), \(\beta =\lambda =2\), the final outcome of collapse is a branch singularity which is locally naked for all time.
Figure 9 depicts the gravitational collapse scenario for a charged radiation shell of matter, which begins from an initially flat space (that of Minkowski). The electric charge addition to the metric function (23) implies a splitting of the spacetime into two distinct regions, a complex and unphysical space and the real collapsing geometry. The branch singularity \(r=r_{b}\) acts as the boundary of this interface; there is no physical spacetime for \(0<r_{b}\). By Theorem 7.1 the naked singularity forms at \(v=r_{b}(0)=0\) and stretches into infinity. At some later time \(v=V_{0}\) the process of collapse will terminate and what is left is the naked singularity which will remain visible to all external observers residing in the charged background exterior spacetime.
8 Strength of the singularity
The strength of a curvature singularity is a measure of its destructive capacity. In essence, no object falling into a strong singularity can arrive at this point fully intact [60]; it is ripped apart by the strong gravitational effects in the region of the singularity and then crushed to a zero volume at the singularity itself [61]. One way to understand the strength of a singularity is by considering an affine parameter \({\hat{k}}\) which is null. We can calculate the singularity strength by considering null geodesics parametrised by \({\hat{k}}\), ending at the near central branch singularity \(r_{b}=v={\hat{k}}=0\). Following the approach of Tipler, Clarke and Królak [61,62,63], if the expression holds true
where \(R_{ab}\) is the Ricci curvature tensor, then the singularity is strong. If the above condition does not hold, then we cannot say anything about singularity strength from this alone. In the EGB theory, five dimensional neutral collapse yields a conical singularity which is indeed weaker, for any mass, than what occurs in the \(N\ge 6\) cases [12]. However, whether such singularities for \(N\ge 6\) in EGB gravity are weaker/stronger than the general relativity counterparts, for other mass functions has not yet been analysed in detail; it is likely that this will need to be done on a case by case basis. For the charged solution (15) and the choices of the mass and charge functions (38), the scalar \(\eta =R_{ab}K^aK^b\) can be written as
after a lengthy calculation. Therefore,
and evaluating the limit as the null affine parameter \({\hat{k}}\rightarrow 0\) gives
which depends on the dimension N, the Gauss–Bonnet constant \(\alpha \), the real root \(X_{0}\) and the positive parameters \(\beta \) and \(\lambda \). Thus, we must have for a positive and real root \(X_{0}\) that the condition
holds, in order for the singularity to be considered strong. In Table 3 we present the values for the condition (47) using the positive and real roots calculated in Table 2. It can clearly be seen that the values are all positive therefore indicating that the singularities are strong. In fact, as the dimension increases, the value of (47) increases as well indicating that strong singularities are guaranteed for all dimensions \(N\ge 5\) for our values of the parameters.
We now consider the diffeomorphism (or curvature) invariants which are important quantities used to classify spacetime manifolds. For a metric of the form (15a) all diffeomorphism invariants are calculated for various increasing dimensions and then via use of mathematical induction on the dimension N giving
where it can clearly be seen that these scalars will divergeFootnote 8 as \(r\rightarrow 0\) in (48). The rate of divergence can be determined when f(v, r) is known. Let’s now consider the Kretschmann scalar \(K=R_{abcd}R^{abcd}\) from (48a). If this diffeomorphism invariant diverges at the origin, the spacetime manifold intrinsically has a curvature singularity. Another means of understanding the strength of a singularity is by observing how K diverges. It is well known that in general relativity the gravitational collapse of the generalised Vaidya spacetime (and hence the pure and charged subcases) yields strong curvature singularities [19,20,21, 64]. For the higher dimensional pure Vaidya spacetime, the Kretschmann scalar diverges as \(K\sim r^{-2(N-1)}\) and for the charged Vaidya solution, \(K\sim r^{-4(N-2)}\). We will now demonstrate that in EGB gravity, the divergences of the scalar K are more profound, showcasing that these singularities are indeed strong, not only by condition (47), but in the purely geometric sense.
For the metric function (23), we have that K diverges as
after some calculation. From the above expression we can determine that \(K\sim r^{-8(N-2)}\) which is a rapid divergence for any \(N\ge 5\), indicating the singularity is inherently destructive. This is consistent with the five dimensional case studied in [10]. For neutral collapse we have that \(K\sim r^{-4(N-1)}\). We also emphasise in the above expression, that the term in the bracket is identical to (27) further showing that the bracketed term is the branch singularity of the spacetime; the scalar K will diverge as this term vanishes. We note that if the energy conditions are satisfied, and a naked singularity forms as an end point of collapse, this naked singularity is always strong [19]. In Table 4 we present the divergence properties of the Kretschmann invariant for various dimensions in both the general relativity and EGB gravity cases. It can be seen that for all \(N\ge 5\), the divergences in the EGB cases are more profound than their general relativity counterparts. In the presence of an electromagnetic field, we note that in both cases, the divergences of K are more severe. We make the point that these more rapid divergences in EGB gravity do not imply that the singularities are necessarily stronger than those occurring in general relativity, we are merely remarking that the singularities appearing in EGB gravity are indeed strong, specifically for the charged scenario, in both the Tipler sense and the curvature invariance sense.
Figure 10 depicts the behaviour of the Kretschmann scalars for \(N=5,6\) in EGB gravity. We note that the divergences are more profound for the cases where \(Q\ne 0\) which is again due to the form of the metric function (23). We again mention that five dimensional EGB gravity is, remarkably, the only dimensional case where the uncharged metric functions are regular and so, along with the diverging K, the resulting singularity is conical in nature; spacetime can, in principle, be extended through it. For dimensions \(N\ge 6\), this is no longer the case; strong curvature singularities occur. Unlike the uncharged scenario, in the presence of the electromagnetic field, there is no difference between the \(N=5\) and \(N>5\) cases; collapse proceeds similarly for all \(N\ge 5\). This emphasises, again, that the effect of the electric charge and the Gauss–Bonnet corrections on gravitational collapse cannot be understated, in any dimension.
9 Conclusion
In this paper we have analysed the gravitational contraction of a higher dimensional radiation shell of matter surrounded by an electromagnetic field in EGB gravity. The charged analogue of the Boulware–Deser metric is studied in higher dimensions and it is shown that the collapse dynamics are similar for all dimensions \(N\ge 5\), unlike in the neutral scenario where the \(N=5\) case yields significantly different physics to the higher dimensional cases, and is thus special. The notions of branch singularity formation were discussed in detail. In EGB gravity and more generally in higher order Lovelock gravity, branch singularities are generic. In our case, for neutral collapse the branch singularity only forms for a negative mass, and thus has no effect on the process. Collapse proceeds in the conventional sense yielding a singularity which is conical in nature, due to the regularity of the spacetime metric, coupled with a diverging Kretschmann invariant. The charged situation is different however; the branch singularity is unavoidable and is indeed the curvature singularity of the spacetime. The implication is that there exists a section of this spacetime which will be complex, separated from the real and physical spacetime, by this branch singularity \(r=r_{b}\); there is no real spacetime at \(r=0\). We then considered the nature of this branch singularity for the higher dimensional charged Boulware–Deser solution. We considered the sufficient conditions for locally naked singularity formation and have shown that for a particular choice of the mass and charge functions, a naked singularity is inevitable in EGBM gravity for all arbitrary higher dimensions; cosmic censorship is violated in EGBM gravity for all dimensions \(N\ge 5\). We also proved that the naked branch singularities are strong. The effects of the electric charge, the dimension of spacetime and the Gauss–Bonnet corrections crucially affect the dynamics of collapse and the nature of these branch singularities, and the nature of spacetime in the vicinity of these singularities.
Data Availability
This manuscript has no associated data. This study is theoretical and the results can be verified from all the information available.
Notes
In five dimensions the central singularity is conical because the metric functions are well behaved at \(r=0\), however, the quadratic diffeomorphism invariants of Riemann, Ricci and Weyl, respectively \(R_{abcd}R^{abcd}\), \(R_{ab}R^{ab}\) and \(C_{abcd}C^{abcd}\) diverge at this point.
A stronger version of the SCCC asserts that the regular Lorentzian manifold is also continuous; singularities are generically spacelike in nature.
This article begins with an analysis of Roger Penrose’s original 1965 paper and expands upon his groundbreaking singularity theorem. The discrepancy between the theorem’s physical repercussions and its actual statement is conceptually discussed in fine detail, making accessible the technical nature of the original manuscript.
The geometry of the \((N-2)\)-sphere has a profound effect on the electromagnetic field strength. From Table 1 it can be seen that for \(N>9\) the surface area of the unit sphere begins to decrease with increasing dimension. The implication of this feature is the fact that the electromagnetic field (6) will begin to increase dramatically as the dimension of spacetime increases beyond \(N=9\). For \(N\in \{4,\ldots ,9\}\) the field strength decreases with increasing N.
The Einstein and Lovelock tensor components, while complicated in nature, combine in such a manner where significant simplification takes place, yielding system (12). This happens for all orders of Lovelock gravity.
It is indeed possible that other functional choices can be made in this situation, however resolving (37) may become more complicated. Our choice of functions imply an existence result for a naked singularity.
Note that any positive choices for these parameters is sufficient.
There indeed may exist a function which could be of a form that allows for regular invariants.
References
Lovelock, D.: Aequationes Math. 4, 127 (1970)
Lovelock, D.: J. Math. Phys. 12, 498 (1971)
Lovelock, D.: J. Math. Phys. 13, 874 (1972)
Zwiebach, B.: Phys. Lett. B 156, 315 (1985)
Boulware, D.G., Deser, S.: Phys. Lett. 55, 2656 (1985)
Wiltshire, D.L.: Phys. Lett. B 169, 36 (1986)
Wiltshire, D.L.: Phys. Rev. D 38, 2445 (1988)
Kobayashi, T.: Gen. Relativ. Gravit. 37, 1869 (2005)
Brassel, B.P., Maharaj, S.D., Goswami, R.: Gen. Relativ. Gravit. 49, 101 (2017)
Brassel, B.P., Maharaj, S.D., Goswami, R.: Eur. Phys. J. C 82, 359 (2022)
Maeda, H.: Class. Quantum Grav. 23, 2155 (2006)
Brassel, B.P., Maharaj, S.D., Goswami, R.: Phys. Rev. D 98, 064013 (2018)
Brassel, B.P., Maharaj, S.D., Goswami, R.: Phys. Rev. D 100, 024001 (2019)
Brassel, B.P., Goswami, R., Maharaj, S.D.: Ann. Phys. 446, 169138 (2022)
Poisson, E., Israel, W.: Phys. Rev. D 41, 1796 (1990)
Lake, K., Zannias, T.: Phys. Rev. D 43, 1798 (1991)
Dawood, A.K., Ghosh, S.G.: Phys. Rev. D 70, 104010 (2004)
Frolov, V.: J. High Energy Phys. 2014, 49 (2014)
Mkenyeleye, M.D., Goswami, R., Maharaj, S.D.: Phys. Rev. D 90, 064034 (2014)
Mkenyeleye, M.D., Goswami, R., Maharaj, S.D.: Phys. Rev. D 92, 024041 (2015)
Brassel, B.P., Goswami, R., Maharaj, S.D.: Phys. Rev. D 95, 124051 (2017)
Hawking, S.W., Ellis, G.F.R.: The Large Scale Structure of Spacetime. Cambridge University Press, Cambridge (1973)
Penrose, R.: Phys. Rev. Lett. 14, 57 (1965)
Penrose, R.: Riv. del Nuovo Cimento 1, 252 (1969)
Dadhich, N., Krishna-Rao, J., Narlikar, J.V., Vishveswara, C.V.: A Random Walk in Relativity and Cosmology. Wiley, London (1985)
Dwivedi, H., Joshi, P.S.: Class. Quantum Grav. 6, 1599 (1989)
Bojowald, M.: Living Rev. Rel. 8, 11 (2005)
Goswami, R., Joshi, P.S., Singh, P.: Phys. Rev. Lett. 96, 031302 (2006)
Goswami, R., Joshi, P.S.: Phys. Rev. D 76, 084026 (2007)
Zhang, H.: Sci. Rep. 7, 4000 (2017)
Gyulchev, G., Kunz, J., Nedkova, P., Vetsov, T., Yazadjiev, S.: Eur. Phys. J. C 80, 1017 (2020)
Landsman, K.: Gen. Relativ. Gravit. 54, 115 (2022)
Tangherlini, F.R.: Il Nuovo Cimento 27, 636 (1963)
Myers, R.C., Perry, M.J.: Ann. Phys. 172, 304 (1986)
Dianyan, X.: Class. Quantum Grav. 5, 1871 (1988)
Paul, B.C.: Int. J. Mod. Phys. 13, 229 (2004)
Ponce de Leon, J., Cruz, N.: Gen. Relativ. Gravit. 32, 1207 (2000)
Wright, B.C.: Class. Quantum Grav. 32, 215005 (2005)
Wang, C., Xu, Z.-M., Wu, B.: Phys. Lett. B 802, 135234 (2020)
Santos, N.O.: Mon. Not. R. Astron. Soc. 216, 403 (1985)
Bhui, B., Chaterjee, S., Banerjee, A.: Astrophys. Space Sci. 226, 7 (1995)
Banerjee, A., Chaterjee, S.: Astrophys. Space Sci. 299, 219 (2005)
Maharaj, S.D., Brassel, B.P.: Class. Quantum Grav. 38, 195006 (2021)
Maeda, H., Martínez, C.: Prog. Theor. Exp. Phys. 2021, 043E02 (2020)
Brassel, B.P., Maharaj, S.D., Goswami, R.: Prog. Theor. Exp. Phys. 2021, 103E01 (2021)
Lehner, L., Pretorius, F.: Phys. Rev. Lett. 105, 101102 (2010)
Figueras, P., Kunesch, M., Tunyasuvunakool, S.: Phys. Rev. Lett. 116, 071102 (2016)
Figueras, P., Kunesch, M., Lehner, L., Tunyasuvunakool, S.: Phys. Rev. Lett. 118, 151103 (2017)
Chern, S.: Ann. Math. 46, 674 (1945)
Buzano, R., Nguyen, H.T.: J. Geom. Anal. 29, 1043 (2019)
Baker, M.R., Kuzman, S.: Int. J. Mod. Phys. D 28, 7 (2019)
Wang, A., Wu, Y.: Gen. Relativ. Gravit. 31, 1 (1999)
Patina, A., Rago, H.: Phys. Lett. A 121, 329 (1987)
Chen, D., Yang, S.: New. J. Phys. 9, 252 (2007)
Brassel, B.P., Maharaj, S.D., Goswami, R.: Entropy 2021, 23 (2021)
Ori, A.: Class. Quantum Grav. 8, 1559 (1991)
Torii, T., Maeda, H.: Phys. Rev. D 71, 124002 (2005)
Torii, T., Maeda, H.: Phys. Rev. D 72, 064007 (2005)
Dehghani, M.H., Farhangkhah, N.: Phys. Lett. B 674, 243 (2009)
Ellis, G.F.R., Schmidt, B.G.: Gen. Relativ. Grav. 8, 915 (1977)
Tipler, F.J.: Phys. Lett. A 64, 1 (1977)
Clarke, C.J.S., Królak, A.: J. Geom. Phys. 2, 127 (1985)
Królak, A.: Class. Quantum Grav. 3, 267 (1986)
Joshi, P.S.: Gravitational Collapse and Spacetime Singularities. Cambridge University Press, Cambridge (2007)
Acknowledgements
BPB thanks the Durban University of Technology for its support and acknowledges that this work is based upon research partly supported by the DST-NRF CoE MaSS.
Funding
Open access funding provided by University of KwaZulu-Natal.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Brassel, B.P. The role of dimension and electric charge on a collapsing geometry in Einstein–Gauss–Bonnet gravity. Gen Relativ Gravit 56, 49 (2024). https://doi.org/10.1007/s10714-024-03232-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-024-03232-w