What is a singular black hole beyond General Relativity?
Exploring the characterization of singular black hole spacetimes, we study the relation between energy density, curvature invariants, and geodesic completeness using a quadratic gravity theory coupled to an anisotropic fluid. Working in a metric-affine approach, our models and solutions represent minimal extensions of General Relativity (GR) in the sense that they rapidly recover the usual Reissner-Nordström solution from near the inner horizon outwards. The anisotropic fluid helps modify only the innermost geometry. Depending on the values and signs of two parameters on the gravitational and matter sectors, a breakdown of the correlations between the finiteness/divergence of the energy density, the behavior of curvature invariants, and the (in)completeness of geodesics is obtained. We find a variety of configurations with and without wormholes, a case with a de Sitter interior, solutions that mimic non-linear models of electrodynamics coupled to GR, and configurations with up to four horizons. Our results raise questions regarding what infinities, if any, a quantum version of these theories should regularize.
pacs:04.20.Dw, 04.40.Nr, 04.50.Kd, 04.70.Bw
One of the most serious drawbacks associated to Einstein’s theory of General Relativity (GR) is the unavoidable existence, under reasonable physical assumptions, of spacetime singularities deep inside black holes, as well as in the early universe Theorems (). This is due to the fact that at such singularities the predictability of physical laws comes to an end because measurements are no longer possible. The underlying reason is that the existence of incomplete geodesics implies the destruction/creation of observers and/or information (light signals) as some limiting boundaries are approached. As a way out of this problem, Penrose introduced CCC () the cosmic censorship conjecture, by which singularities emerging out of gravitational collapse are assumed to be hidden behind an event horizon, so they cannot causally affect physical processes taking place in the portion of universe accessible to far away observers. Since sweeping the problem under the carpet does not solve it, finding a consistent description of the interaction between gravity and matter, where the resolution of spacetime singularities may be naturally achieved, has become a major goal from different perspectives (classical and quantum, fundamental and phenomenological).
It is typically argued that spacetime singularities should be resolved by a quantum theory of gravity. This is supported by the idea that the quantum degrees of freedom of the gravitational field are expected to be non-negligible in regions of very high curvature. This view, inherited from the effective field theory approach to quantum theory, is very appealing but should be taken with care in gravitational scenarios, where the notion of singularity is not necessarily tied to the divergence of some quantities in some regions Geroch (); Wald (); Hawking-Ellis (). For geometric theories of gravity (classical theories), the very existence of observers is more fundamental than the possibility of obtaining absurd results in a measurement, as the latter is not possible without the former. It is for this reason that the existence of incomplete geodesics, for which the affine parameter is not defined over the whole real line, appears as the key element in the singularity theorems.
In the context of GR, the incompleteness of geodesics usually occurs simultaneously with the divergence of scalar quantities, such as the energy density of the matter sources or certain curvature invariants. These divergences appear as a reason for the incompleteness of the geodesics, leading to a rule of thumb for the identification of singular spacetimes phy () (see HS () for a critical viewpoint on this issue). Indeed this has shaped many approaches to the singularity problem based on the idea that such quantities should remain bounded (see e.g. Ansoldi () for a review).
One of such approaches is given by classical non-linear models of the electromagnetic field. This is supported on the success of Born-Infeld theory of electrodynamics, where a square-root modification of the Maxwell action gets rid of the divergence of the self-energy of Coulomb’s field by imposing a maximum bound on the electric field at the center BI (). It is natural to wonder whether a similar mechanism for the removal of singularities could occur in the context of gravitation. In this sense Born-Infeld electrodynamics, though successful in making the energy density of the electromagnetic field finite, fails to keep at bay divergences on the curvature scalars when coupled to gravity, which comes alongside with the incompleteness of (some) geodesics BI-grav (). In this regard, similar attempts using other well defined non-linear electrodynamics models have failed as well NED-grav (). Nonetheless, it is worth mentioning that some examples of non-linear electrodynamics do regularize curvature divergences AB (), but such models are constructed in an ad hoc way and yield unphysical features, as shown by Bronnikov Bronnikov () (see also Novello ()). This strategy has been extended to the case of gravitational actions going beyond the Einstein-Hilbert Lagrangian of GR, such as Gauss-Bonnet and, more generally, Lovelock theories GB (), where similar disappointing results have been obtained (see e.g. GBNED () for some attempts in this context). Consequently, it is fair to say that such models have been unable to find a fully consistent way out of the singularity problem in GR.
In this work we shall examine in detail the relation between energy density, curvature invariants, and geodesic completeness in some theories of gravity beyond GR. This will allow us to see if the correlations observed in GR among those quantities still persist in other gravitational theories (see RegularBGR () for related ideas explored in this context). In other words, can matter/curvature infinities be seen as the reason for the incompleteness of geodesics? This study is relevant in order to understand what problems, if any, a quantum version111Note that we are assuming that any classical theory of gravity should admit a quantum version. of those theories of gravity should solve.
In our approach, we interpret gravitation as a geometric phenomenon, but geometry as something more than just curvature. In the metric-affine (or Palatini) formulation of classical gravitation, geometric properties such as non-metricity and torsion, besides curvature, are allowed by construction. The lack of these freedoms in the usual Riemannian approach could be an excessive constraint with a potentially non-negligible impact on the problems that gravity theories typically exhibit at high-energy. It should be noted that non-metricity and torsion are necessary to deal with different kinds of geometric defects in continuum systems with a microstructure, such as Bravais crystals or graphene SSP (). For this reason, metric-affine geometry is commonly used in the study of condensed matter physics PL (). Nonetheless, for operational convenience, in this work we shall neglect torsion (see, however, ORtorsion () for a discussion on the role of torsion in metric-affine theories) and focus on non-metricity only Pal (). Indeed, the question of whether gravity as a manifestation of the curvature222As a matter of fact, gravity could be interpreted as a manifestation of torsion in a flat background, such as in the teleparallel formulation of general relativity (see e.g. TEGR ()), but also it could belong to a more general picture where curvature and torsion are both required to properly describe the gravitational interaction as in the case of Einstein-Cartan theories EC (). of spacetime is purely a matter of metrics or if the affine structure of spacetime is on equal footing as the metric one has been at debate since soon after the establishment of GR (see e.g. Zanelli () for a pedagogical discussion). Certainly, when GR is formulated à la Palatini, the variation of the action with respect to the independent connection yields a set of equations that simply express the metric-connection compatibility condition. The fact that this approach yields the same dynamics as that of considering the metric as the only independent degree of freedom (metric approach) has frequently lead to regard the Palatini variation as merely an alternative way to deriving the field equations of GR. For other theories of gravity, however, the compatibility between metric and connection is broken and the peculiarities of the metric-affine approach become manifest.
The scenario considered here corresponds to a simple quadratic gravity extension of GR (for which many applications have been investigated in the literature, see e.g. fRlit ()), formulated in a metric-affine framework. It should be pointed out that with the advent of the gravitational wave astronomy following the discovery of GW150914 by LIGO LIGO (), both gravitational extensions of GR and exotic compact objects in such models can be put to experimental test ECOs (). As the matter sector, in our setup we consider an anisotropic fluid (constrained to satisfy standard energy conditions), which has been recently investigated in some detail in a number of astrophysical/cosmological scenarios af (). Such fluids include a number of particularly interesting cases, such as that of non-linear electrodynamics. The resulting spacetimes are split into four different cases, depending on the combinations of the signs of the coupling constant of the quadratic gravity contribution and of a constant associated to the matter sector. A noteworthy feature of many of the solutions obtained is the emergence of a finite-size wormhole structure [see Visser () for detailed account on wormhole physics] replacing the point-like singularity typically found at the center of GR black holes. It is worth pointing out that wormholes have been suggested as solutions to spacetime singularities in approaches to quantum gravity such as loop quantum gravity LQG () and shape dynamics SD () (see also BroFab () and references therein, where wormholes are linked to regularization mechanisms.)
The main aim of the present work is to determine when the typically assumed correlation between divergence of curvature scalars and geodesic incompleteness is broken. In this sense, we note that the concept underlying the formulation of the singularity theorems Wald () is that of geodesic completeness, namely, whether a geodesic curve can be extended to arbitrarily large values of its affine parameter or not. This is a logically independent and more primitive concept than that of curvature divergences [see phy () for a nice discussion on this issue], with the latter playing no role on such theorems. As already mentioned, the widespread identification between them in the literature is explained as due to the fact that in many cases of interest (particularly in GR) those spacetimes having (some) incomplete geodesics, also yield (some) divergent curvature scalars Ansoldi (). In some of the spacetimes found here we explicitly show that the presence of wormholes yield geodesically complete spacetimes, though curvature scalars may blow up at the wormhole throat. In other cases without wormholes, we meet the incompleteness of geodesics despite the finiteness of curvature scalars. The relation of these magnitudes with the (boundedness of the) energy density of the matter fields is also discussed.
The paper is organized as follows: in Sec. II we introduce the action and main equations of gravity formulated à la Palatini. In Sec. III we specify the matter sector of our theory under the form of an anisotropic fluid and introduce a number of constraints on it. Next, in Sec. IV, we focus our discussion upon a quadratic model and solve the field equations for the metric. Sec. V contains the main results of this work, where we study the four different classes of spacetimes, and discuss in detail the relation between energy density, curvature scalars, and geodesic completeness. We conclude in Sec. VI with a summary and some perspectives.
Ii Action and main equations
The action of gravity can be written as
with the following definitions and conventions: is Newton’s constant in suitable units (in GR, ), is the determinant of the spacetime metric , is a given function of the curvature scalar, , where the Ricci tensor, , which follows from the Riemann tensor as , is entirely built out of the affine connection, , which is a priori independent of the metric (metric-affine or Palatini approach). Finally, is the matter action, which is assumed to depend only on the matter fields, collectively denoted as , and on the metric .
Performing independent variations of the action (1) with respect to metric and connection one gets two systems of equations
where and is the stress-energy tensor of the matter. It is worth mentioning that Eq. (3) simply states that the independent connection fails to be metric or, in other words, that a non-metricity tensor is present. In the GR case, and Eq. (3) becomes , which is fully equivalent to and thus becomes the Levi-Civita connection of the metric , while the field equations (2) boil down to those of GR with possibly a cosmological constant term. This is the underlying reason for the equivalence between the Palatini and metric formulations of GR. For more general Lagrangians, however, non-metricity becomes an inherent feature of the field equations.
It is also important to understand the intimate relation existing between matter and gravity in Palatini theories of gravity. Tracing with in Eq. (2) yields the result
where is the trace of the stress-energy tensor. This is not a differential equation, but instead it just establishes an algebraic, non-linear relation between curvature and matter. Given an theory, solving Eq. (4) yields a solution , which generalizes the GR relation, . This algebraic relation explains the absence of extra dynamical degrees of freedom in our theory as compared to the usual metric approach, where the scalar curvature satisfies a second-order differential equation, thus implying the presence of propagating scalar degrees of freedom. In the Palatini case, the additional curvature terms are just nonlinear functions of and can be collected as extra pieces in an effective stress-energy tensor. This way, the Palatini field equations for the metric (2) can be simply written as
where the effective stress-energy tensor is written as
However, from a practical point of view, in many cases of interest it is easier to solve the field equations by noting that the result allows us to introduce in Eq. (3) a rank-two tensor satisfying
such that the independent connection can be expressed as the Christoffel symbols of the metric , i.e.,
Comparing this with Eq. (3), it is immediately seen that the physical metric can be obtained out of according to the conformal transformations
where, recall, is a function of the matter, .
where is the Ricci tensor constructed with the Christoffel symbols of the metric , see Eq. (8). Note that due to the fact that all the objects on the right-hand-side of Eq. (10) are just functions of the matter. Thus Eq. (10) represents a set of second-order field equations for and, since the conformal transformations (9) depend only on the matter sources, the field equations for will be second-order as well. In vacuum, , one has (up to a trivial re-scaling of units) and the field equations (10) reduce to those of GR with a cosmological constant term, which confirms the absence of ghost-like propagating degrees of freedom in these theories.
Iii Anisotropic fluids
In this work we are interested on obtaining black hole solutions in Palatini theories, and to compare their structure with that of electrically charged black holes of GR. However, due to the fact that the non-linear corrections appearing on the right-hand-side of the new gravitational field equations (either in Eq. (5) or Eq. (10)) depend just on the trace of the matter, , the new dynamics encoded in Palatini theories can only be excited when non-traceless stress-energy tensors are considered. This implies that considering a classical Maxwell electromagnetic field, whose trace is zero, would yield electrovacuum solutions identical to those of GR with a cosmological constant (Reissner-Nordström-Anti-de Sitter black holes). Thus, in order to explore new physics in these scenarios, we must consider stress-energy tensors with a non-vanishing trace. One can then assume that a trace anomaly or other types of corrections are generated by quantum effects and propose a stress-energy tensor of the following form:
This corresponds to an anisotropic fluid, where is the energy density and are the (different, in principle) pressures. This class of fluids has been recently considered in Refs. fluids1 (); fluids2 (); Tamang () where, working in slightly different scenarios, it was found that wormhole solutions can be constructed333Here the word “constructed” means that the wormhole geometry is given first, and then the gravitational field equations are driven back in order to find the matter sources threading the geometry. This is a widely spread strategy in the context of wormhole physics Visser (). in Eddington-inspired Born-Infeld theories of gravity without violation of the energy conditions. In contrast to that approach, as we shall show below, in the Palatini scenario considered here, wormholes can be obtained directly as solutions of the field equations without a priori designer approach.
To simplify the analysis and obtain analytically accessible scenarios, let us constrain the functions defining our model. First we restrict the fluid to satisfy and , where is a free input function whose form will be specified later. Thus, the stress-energy tensor for this fluid reads
A motivation for considering these constraints is the fact that the form of the stress-energy tensor (12) exactly matches that of some non-linear theories of electrodynamics. Indeed, in such a case, defining the matter model as a given function of the two field invariants and , that can be built out of the field strength tensor and its dual , the corresponding stress-energy tensor is written as
where and . Identifying and , it is clear that specifying a function allows to solve these equations to determine the function , at least in implicit form, associated to the anisotropic fluid under consideration.
To obtain additional information on the fluid described by the stress-energy tensor (12), using the fact that the independent connection does not couple to the matter in the action (1), one finds that the standard conservation equation, , holds in these theories. Now, considering static spherically symmetric spacetimes, we can write a line element for the spacetime metric as
where the functions , and are to be determined by integration of the gravitational field equations.
With this line element, the conservation equation above just reads , where and , which can be integrated to give a relation between and as
where is an integration constant with dimensions of length and is the energy density without dimensions. To proceed further and integrate explicitly this equation, we need to specify a function . Let us take the choice
where, for dimensional consistency, is a dimensionless constant and has dimensions of inverse density. This choice covers a number of interesting cases and allows us to obtain analytical solutions. Indeed, in this case, from the expression (16), the relation between and in Eq. (15) is explicitly written as
where is a reference energy density that arises as an integration constant and can be fixed from the asymptotic behavior of the fluid. In particular, for , the fluid density and the metric far from the center tend to those generated by a Maxwell field, namely, , which allows to relate with the electric charge, . Moreover, if , the stress-energy tensor of the fluid exactly becomes that of a Maxwell field with a vanishing trace and, as already mentioned, this yields the same dynamics as that of GR. However, non-trivial combinations of and provide modified field equations and generate new solutions.
The analysis now requires to be split into the cases and , since their properties are very different. For there is a critical radius at which the energy density blows up. Thus the location of the standard divergence in the density of the fluid (Maxwell case) shifts from to the finite radius . On the other hand, for the case the energy density is finite everywhere, having a maximum value
at the center. This is quite a similar result as that found in certain models of non-linear electrodynamics, such as the one of Born and Infeld BI (), where the electric field attains a maximum value at the center and regularizes the energy density. In Sec.V we will study the implications and impact of the finiteness (or not) of the energy density, via the bound (18), on the regularity of the corresponding spacetimes. Note in this sense that the particular case with and was studied in detail in Ref.Universe ().
To simplify the analysis and the notation let us fix from now on and define , with denoting the sign of , and introduce the dimensionless variable , with the critical radius defined above. Then, we get so that the energy density of the fluid simply reads
To conclude this section, we emphasize that we are only considering matter sources satisfying the energy conditions. For instance, the weak energy condition (WEC) states that the following conditions have to be fulfilled Visser (): and () in Eq. (11). For the particular ansatz (12) with the choice (16) and the expressions for the energy density (17) and (18), it follows that the WEC will be satisfied whenever , which is consistent with the choice above.
Iv Gravity model and formal solutions
To work with the simplest possible scenario, let us consider the quadratic model
where is a constant with dimensions of length squared. This model is particularly amenable for calculations because the trace equation (4) yields , which is the same linear relation as in GR, this result being just an accident related to the functional form of the quadratic model in four dimensions. With this choice, we find that the quantity , which will play a key role in the characterization of the solutions, takes the simple form444If in the gravity Lagrangian we allow to take positive and negative values, then should be parameterized as . This leads to four types of models depending on the different combinations of and .
where (and we have introduced to denote the energy scale associated to the gravitational coupling constant ) represents the relative strength between the matter and gravitational sectors, such that the GR limit is recovered when . Note that the parametrization of with and of with leads to four different configurations, which will be studied separately in Sec.V .
iv.1 The metric
To solve the field equations (10) we introduce a static, spherically symmetric line element for the auxiliary metric as
where and are two functions to be determined using the field equations (10). From the symmetry one finds that , which implies that constant, which can be put to zero by a redefinition of the time coordinate without loss of generality. The remaining field equation follows from the component
which can be simplified by introducing the mass ansatz
leading to the first-order equation
where . To handle the integration of the mass function it is useful to take a parametrization
with representing the Schwarzschild radius and a dimensionless constant defined as
This puts forward that is made out of a constant contribution, , plus a term generated by the fluid and represented by the function (see Eq. (32) below). The resulting solution allows to construct the physical metric by means of the conformal relations (9). This way, the physical line element can be written as
Taking now into account that such conformal transformations also imply that
whose dimensionless version using and is
and then we obtain the relation
with . Therefore, by formally integrating , the metric component in Eq. (28) is obtained in terms of the radial function as
iv.2 Geodesic completeness
The non-trivial modified dynamics induced by the gravitational corrections necessarily modifies the geodesic structure of the corresponding geometry as compared to GR solution. This is a question of utmost interest, given the fact that geodesic completeness, namely, whether any (null and timelike) geodesic can be extended to arbitrarily large values of the affine parameter, is the most fundamental and generally accepted criterion to determine whether a spacetime is singular o not Wald (). Since timelike geodesics are associated to physical observers and null geodesics to the propagation of information, this criterion captures the intuitive idea that in a physically well behaved spacetime nothing can suddenly cease to exist and that nothing can emerge out of nowhere. Nonetheless, as discussed in the introduction, there is frequently a misunderstanding in the literature, taking curvature divergences as an equivalent concept to that of geodesic completeness in order to detect the presence of spacetime singularities. As we shall show in Sec.V, such an identification explicitly breaks in many of the geometries considered in this work. Thus we are mainly interested in studying the geodesic structure in those cases where the GR geodesics are incomplete and consequently yield a singularity, regardless of the presence or not of curvature divergences. To this end, in this section we shall specify the geodesic equation for Palatini theories and solutions of the form studied here.
In a coordinate system, a geodesic curve associated to a given connection is defined by the equation Wald ()
where is the affine parameter. Since in the action (1) defining our model, the matter part couples to the metric but not to the connection, we will focus on the geodesics associated to the physical metric , which are the ones that the matter fields follow according to the Einstein equivalence principle (see OlmoBook () for an extended discussion on geodesics in metric-affine spaces).
The analysis can be largely simplified by writing the geodesic equation using the tangent vector , which satisfies , with corresponding to spacelike, null, and timelike geodesics, respectively. Taking advantage of spherical symmetry, without loss of generality we can rotate the angular plane in such a way that it coincides with , which further simplifies the problem. From the line element (28) we can, in addition, identify two conserved quantities of motion, and . For timelike geodesics, these quantities carry the meaning of the total energy per unit mass and angular momentum per unit mass, respectively. For null geodesics and lack a proper meaning by themselves, but the quantity can be identified as an apparent impact parameter as seen from the asymptotically flat infinity Chandra ().
Under these conditions, the geodesic equation (34) for the above geometries simply reads
where is measured in units of , and the sign corresponds to outgoing/ingoing geodesics, with
as one can deduce by following the steps of Sec. IV.1. Equivalently, the geodesic equation can be written in the more convenient form
In the next section we shall study in detail the properties of the four different cases of configurations, corresponding to the combinations of the signs of and , and their respective features regarding the behaviour of the energy density, the curvature scalars, and geodesic completeness.
V Analysis of the solutions
v.1 Case I: ,
Let us now particularize the above equations to the case in which and , for which we obtain
The function determined by Eq. (41) can be easily solved using power series expansions, and the resulting solutions can be classified in terms of the values of the parameter defined in Eq. (21). Depending on whether is greater or smaller than unity, one finds different families of solutions. In this sense, the behavior of the function , which arises from the resolution of Eq. (30), contains valuable information. Note that according to Eq. (66) the function vanishes at
which sets a critical value for . When , the radial function has a minimum at where, according to Eq. (30), . (From now on, we drop the tilde from to lighten the notation). Though a compact expression for is not easy to find in general, a series expansion around yields the result
From this expression one finds that , which shows that for the area of the -spheres decreases with decreasing , but for increases with decreasing , with a minimum at (). This behavior is clearly seen in Fig. 1 where Eq. (30) has been inverted numerically for several values of . The interpretation of this minimal area in the two-spheres is well known in the literature: it represents a wormhole Visser (), a topologically non-trivial bridge connecting two asymptotically flat spacetime regions, where () sets the location of the throat. As it has been found in other cases of Palatini theories coupled to various matter sources Universe (); bcor16 (), the emergence of this structure is directly related to the existence of zeros in the function .
To study in more detail the geometry around , it is useful to consider the following expansions
where is a constant. Upon integration, one finds that
which diverges at . The component of the physical metric appearing in Eq. (33) can thus be approximated as
Due to the divergence in this metric component, curvature scalars generically diverge near . Obviously, this behavior is shared by all those models in which the function has a single pole at . It should be noted, however, that curvature divergences are not synonyms with spacetime singularities, as mentioned in the introduction (see Sec.IV.2 below).
while becomes there
and the function is finite
In this case, near the origin can be approximated as
where is a constant (different for each value of ) whose value guarantees that the Reissner-Nordström solution of GR is recovered in the far limit, . The expansion of the metric component around the center is
Note that for the choice , the metric is finite everywhere. On the other hand, for the metric at the center is divergent and timelike, while for it becomes spacelike. Nonetheless, no matter the behaviour of the metric at the center, in all cases curvature invariants such as do always have divergences at . The behaviour of the metric at the center also determines the number (and type) of the horizons, mimicking the basic description of some models of nonlinear electrodynamics BI-grav (); NED-grav (); dr (): two, one (degenerate) or no horizons for ; a single non-degenerate horizon if , and no horizons if .
Finally, the critical case must be treated separately, leading to
Thus the metric diverges at , which induces the presence of curvature divergences there. Whether a wormhole exists in this case or not is a matter of taste, as its throat would have vanishing area:
To summarize the results obtained so far, we can say that when the matter density scale is larger than the gravity scale , i.e., , the theory yields wormhole solutions. Whether this wormhole is hidden behind an event horizon or not depends on the combination of parameters characterizing the solutions. However, a detailed analysis of the horizon structure of these solutions is beyond the purpose of the present work. We just mention that the geometry is almost identical to the Reissner-Nordström solution of GR everywhere except in the region within the inner horizon555Note, in this sense, that in the asymptotic limit , and for arbitrary , we have , so that (we explicitly reintroduce the tilde here) and the role of as the radial coordinate in GR is restored, while the function in Eq. (32) quickly converges to the GR solution, , thus recovering the Reissner-Nordström geometry of GR., where some departures arise and modify the structure of horizons. When the matter density scale is lower than the gravity scale , the wormhole throat closes and no wormhole solution exist anymore .
Let us begin by noting that regardless of the value of , far from the center (), and . This means that in that region the GR solution is recovered and the geodesics are essentially coincident with those of GR there. One can verify numerically that this approximation is valid (almost exact!) for all configurations with and arbitrary .
Let us focus first on the wormhole configurations, , for which our main concern is to study the deviations in the behavior of geodesics near the throat, located at . Consider first radial null geodesics (). Near the wormhole throat the geodesic equation (38) becomes
where . By direct integration, we find
From this expression it follows that as one has . Stated in words, this means that ingoing light rays, emitted from when , approach the wormhole at as , while outgoing light rays, which propagate to as , set off from the wormhole at and . A complete representation of the radial null geodesics is shown in Fig. 2. From this plot one verifies that the far limit recovers the GR behavior while near the throat the affine parameter diverges, guaranteeing in this way the completeness of these geodesics, in agreement with the analysis of the asymptotic behaviors provided above.
Let us now consider nonradial geodesics () and/or timelike geodesics (). Since the left-hand side of (35) is positive by construction, physical trajectories must preserve the positivity of the right-hand side. From the expansions (44) and (46) it follows that
which diverges to as . As a result, the right-hand side must vanish at some , forcing in this way the bounce of these curves and preventing them from reaching the wormhole throat. This is analogous to the behavior observed in the Reissner-Nordström solution of GR, where all such geodesics meet an infinite potential barrier generated by the central object Chandra () and never reach the central singularity. We thus conclude that all null and timelike geodesics are complete in this wormhole spacetime666One can check that spacelike geodesics are also complete in these wormhole spacetimes. Some of them never reach the wormhole but others can go through it. The latter correspond to ..
Let us recall that at the wormhole throat, , curvature divergences arise. However, due to the fact that radial null geodesics take an infinite affine time to reach the throat, this implies that they lie at the boundary of the spacetime and do not belong to the physically accessible region. This way such divergences have no influence upon physical observers and there is no need to invoke any cosmic censorship conjecture or similar arguments to hide such configurations behind an event horizon. Since the wormhole throat cannot be causally reached in finite affine time, these results put forward the existence of explicit examples where the presence of curvature divergences do not unavoidably entail singular solutions.
The full discussion of the geodesic structure would proceed now in much the same way as in the case of certain models of non-linear electrodynamics coupled to GR, where the nature of the central region (spacelike or timelike), which depends on the ratio , will determine the type of geodesic able to approach the innermost region. Nonetheless, it is enough to consider radial null geodesics, for which the geodesic equation (36) reads
This equation can be readily integrated, , implying that the origin can be reached in a finite affine time, without possibility of further extension. This result is identical to that found in the GR case, which is regarded as singular, but is in sharp contrast with the previous results for the wormhole case.
Finally, for the transition case (with ), the expansion of the metric as yields
Radial null geodesics satisfy the following equation
and one can easily find that , which puts forward that these geodesics are complete, as they take an infinite affine time to reach the center. However, this model hides an unusual complexity (see Fig. 3). Indeed, if one considers nonradial and/or timelike geodesics, configurations with lead to a bounce at some , while for those with geodesics take a finite affine time to reach the origin. Thus, despite the completeness of radial null geodesics and of those with , the case may lead to geodesically incomplete configurations, depending on the values of the parameters.
v.2 Case II: ,
Let us now shift our attention to the case in which both and are positive. Then we find
An important difference as compared to the previous case is that, regardless of the value of , and diverge as , where the energy density becomes infinite. Whether these divergences imply that the spacetime is singular or not is something nontrivial which must be determined after a careful scrutiny of the geometry and its geodesic structure. But before getting into that, one should note that the relation between the coordinates and , determined by , now is not monotonic, having a minimum as shown in Fig. 4.
Unlike in the case, now the minimum is in the function rather than in . This puts forward that now it is the auxiliary geometry which is of the wormhole type. This minimum represents the throat of the wormhole and its location is given by , where is related to via . It should be noted that this wormhole is not symmetric, having an asymptotically Minkowskian region as and a non flat region as when . In fact, as in the internal region, and imply that , which leads to
Using this relation and noting that as we have , one gets
which is timelike and divergent as (). The physical metric, on the other hand, has a completely different behavior. Given that , and that , expanding about yields
which are always finite at where, recall, the energy density diverges. In Fig. 5 the behavior of the component is shown for a configuration which exhibits up to four horizons in the interval.
By proceeding in the same way as in the previous case, we now perform the analysis of the geodesic structure. In this sense, Fig. 6 puts forward that a region of infinite energy density is reached by null and timelike radial geodesics in a finite affine time. If the divergence in the matter sector is interpreted as defining a limiting boundary of the physical spacetime, where the equations no longer make sense, then the fact that geodesics can reach it in a finite affine time would imply that this geometry is singular.
From the numerical results shown in Figs. 5 and 6 and, from the above analytical approximations, it is evident that nothing special happens to the physical metric at the points or . This can be further emphasized by looking at the whole line element in the region, whose form is
Using this line element, one readily verifies that all curvature invariants are finite at despite the energy density being divergent at that point. Though this divergence in the matter sector must be seen as a breakdown in the description of the fluid model considered, it serves to illustrate that divergences in the matter sector do not necessarily imply divergent curvature invariants. At the same time, the finiteness of curvature invariants is unrelated to the completeness of geodesics.