Abstract
We investigate two different kinds of modified Schwarzschild black holes: A regularized Schwarzschild black hole and a quantum deformed Schwarzschild black hole. We study the geodesics and geodesic congruences in these two modified Schwarzschild black holes. In particular, we calculate the expansion of radial timelike and null geodesic congruences. Based on these results, we discuss some similarities and differences between these two kinds of modified Schwarzschild black holes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Black holes are of great interest as being elegant solutions of Einstein’s gravitational field equation. The simplest black hole can be described by the Schwarzschild solution [1] with gravitational mass M. The Schwarzschild solution has been well tested by many experimental tests, such as the deflection of light and the gravitational redshift [2]. However, this solution has a spacetime singularity at \(r=0\) [3] with divergent curvature scalar. Also, it possesses incomplete geodesics according to the Penrose and Hawking-Penrose singularity theorems [4, 5].
Among many attempts to avoid the black hole singularity, regular black holes [6, 7] without introducing dramatic deviations from standard physics are of great interests. In 1993, based on spherically symmetric quantum fluctuations of the metric, Kazakov and Solodukhin [8] proposed a deformation of the Schwarzschild solution in general relativity. This quantum deformed Schwarzschild (QDS) metric was originally derived in a reduction of the four-dimensional Einstein action, namely the two-dimensional dilaton theory of gravity. Even though the metric components are regular, the curvature scalars are still singular for the original QDS spacetime. Recently, the author of Ref. [9] proposed a generalized two-parameter class of QDS black holes which have better regularities.
On the other hand, Klinkhamer [10] found an exact solution of the Einstein field equations over a nonsimply-connected manifold [11], which can be viewed as a regularized version of the singular Schwarzschild solution. This particular regularization removes the Schwarzschild curvature singularity at the price of introducing a spacetime defect with a vanishing determinant of the metric. Recently, this regularization has been applied to the singular Friedmann solution in cosmology [12]. The resulting nonsingular bouncing cosmology is studied by Klinkhamer and the present author [13, 14]. The expansions of geodesic congruences in the nonsingular bouncing cosmology are found to be finite at the cosmic time \(t=0\) [15].
The aim of the present paper is to study the geodesic congruences in the backgrounds of the above two modified Schwarzschild spacetime: The Schwarzschild–Klinkhamer (SK) solution and the quantum deformed Schwarzschild solution. In particular, we focus on the expansion of geodesic congruence, which is divergent at the Schwarzschild singularity. We will see that there are actually some similarities between these two modified Schwarzschild black holes.
The outline of this paper is as follows. In Sect. 2, by introducing a non-simply connected manifold, we review the Schwarzschild–Klinkhamer solution of the Einstein equation. In Sect. 3, we study the geodesic congruences of the Schwarzschild–Klinkhamer black hole. Subsequently, in Sect. 4, we first briefly review the original quantum deformed black hole and then study the geodesic congruences of this black hole. A brief summary is given in Sect. 5. In Appendix A, we study the geodesics of the modified Schwarzschild black holes systematically. The Eddington–Frinkelstein coordinates of the modified Schwarzschild black holes are presented in Appendix B. In Appendix C, we study the geodesic congruences of the generalized QDS black holes.
2 The Schwarzschild–Klinkhamer black-hole solution
In this section, we will introduce a new type of vacuum solution to the Einstein equation over nonsimply-connected manifold, which could be regarded as a possible regularization of the Schwarzschild solution [10, 11].
Instead of the manifold \({\mathbb {R}}^4\), we will consider a noncompact, orientable, non-simply connected manifold \({\mathcal {M}} = {\mathbb {R}}\times {\mathcal {M}}_3 \) in this section. To construct \({\mathcal {M}}_3\), we consider first a three-dimensional Euclidean space, remove the interior of a ball with radius b, then identify antipodal points on the defect surface (two-dimensional sphere with radius b) of the ball. The first step is to remove the potential singular point in the final manifold, and the second step is to remove the boundary (Fig. 1).
Actually, \({\mathcal {M}}_3\) has the topology:
with \({\mathbb {R}}P^3\) the three-dimensional real projective plane.Footnote 1 Also, the defect surface has the topology \(S^2/{\mathbb {Z}} \sim {\mathbb {R}}P^2\).
Because of the nontrivial spatial topology, it is impossible to cover the manifold by using only one chart. As suggested in Refs. [10, 11], a relatively simple coordinate system is to use three overlapping charts. In this paper, we will focus on the chart-2 coordinates. The results and discussions based on the chart-2 coordinates are general and also hold in the other two coordinate systems. Next, we will show a solution to the Einstein equation over the manifold \({\mathcal {M}}\).
The general spherically symmetric Ansatz for the metric over manifold \({\mathcal {M}}\) is given by the following line element [10, 11, 16]:
where \(b >0\) corresponds to the defect length scale and \(Y=0\) gives the position of the defect surface. The functions \(\mu (M)\) and \(\sigma (W)\) are determined by the field equations and the boundary conditions. Note that we only show the chart-2 coordinates. The chart-2 spatial coordinates have the following ranges:
where X and Z are angular coordinates and Y is a quasi-radial coordinate. Note that the coordinates Eq. (2) automatically implements the antipodal identification on the boundary of the defect. In other words, the nontrivial manifold \({\mathcal {M}}_3\) is completely determined by the spatial part of the metric Eq. (2) without further need of introducing additional boundary conditions.
The coordinates (X, Y, Z) is related to the standard spherical coordinates \((r,\vartheta , \varphi )\) via the following transformation
Considering the vacuum Einstein equation and the metric Ansatz (2), the regular black hole solution has been obtained in Ref. [10] and can be written as follows:
with parameters
Several remarks are in order. First, by using relation Eq. (4), we can write the metric Eq. (5) as the following standard Schwarzschild metric form:
However, note that the transformation Eq. (4) is not a one-to-one map at the defect surface, for example, \((b,\pi /2 , \pi /2)\) and \((b,\pi /2 , 3\pi /2)\) in \((r,\vartheta ,\varphi )\) coordinates correspond to the same point, i.e., \((0,\pi /2 , \pi /2)\) in (Y, X, Z) coordinates. This observation reflects that the differential structure of the metric (5) is different from the one of the metric (7). (This is not a surprise since these two manifolds have different topology.)
Second, note that \(g\equiv \text {det}\, g_{\mu \nu } =0\) at \(Y=0\), hence the metric from Eq. (5) is degenerate at the defect surface, which corresponds to an \({\mathbb {R}}P^2\) submanifold. A possible understanding of the degeneracy could be as follows [17]: The projective plane \({\mathbb {R}}P^2\) cannot be embedded in \({\mathbb {R}}^3\) without intersections (see, for example, page 40 in Ref. [18]). This observation then suggests that the third extra dimension (coordinate Y) emerging from the two-dimensional defect surface (with local coordinates X and Z) must have a vanishing metric component \(g_{YY}\) at \(Y = 0\), which is precisely the structure of the metric Ansatz (2). See Refs. [10, 13, 15, 17] for further discussion on spacetime defects and Ref. [19] for a discussion on mathematical aspects of degenerate metrics.
Third, the metric (5) is singular at the event horizon \(Y_{H}=\pm \sqrt{4M^2-b^2}\) (For the light cones of the regularized black hole Eq. (5), see Appendix B2. In a similar way as for the Schwarzschild solution, this coordinate singularity can be removed by introducing Eddington–Frinkelstein-type or Kruskal–Szekeres-type coordinates [10]. In the main text of this paper, we will be interested in the expansion \(\theta \) of a geodesic congruence, which is a scalar field and does not depend on coordinates choices. Hence, the coordinate (t, X, Y, Z) is enough for our purposes. Still, for completeness, a discussion on Eddington–Frinkelstein-type coordinates for the metric (5) will be given in Appendix B2.
Fourth, in the calculation of this paper, we will only consider the case \(Y>0\) (Originally, \(Y \in {\mathbb {R}}\).) This simplification is viable for two reasons. First, we will restrict our study on radial geodesics in this paper. These geodesics cannot go from \(Y>0\) region to \(Y<0\) region, and vice versa. (In fact, based on the light cones of SK spacetime given in Appendix B2, all ingoing radial geodesics will terminate at the defect surface at \(Y=0\).) Second, the metric (5) is spherically symmetric and conclusions obtained in the case \(Y>0\) can be straightforwardly generalized to the case \(Y<0\).
Fifth, as already mentioned in Ref. [10], the coordinate Y of metric (5) becomes timelike inside the event horizon and ranges from \(-\sqrt{4M^2-b^2}<Y <\sqrt{4M^2-b^2}\). This might give rise to the presence of “closed time-like curves” (CTCs). These CTCs could be avoided if one consider the regularized Reissner–Nordström solution [10]. For the present work, we don’t need to worry about the potential CTCs problem as we will consider only radial geodesics (there is no CTC for radial curves).
Sixth, the Kretschmann scalar for the metric(5) is given byFootnote 2
For a nonvanishing b, it is clear that the Kretschmann scalar remains finite at \(Y=0\). The black hole curvature singularity that appears in the Schwarzschild metric no longer exists in the metric (5). The degenerate metric with nontrivial topology is the key to evade the curvature singularity.
3 Geodesic congruences of the Schwarzschild–Klinkhamer black hole
In this section, congruences of timelike and null geodesics of the SK spacetime will be studied. We first start with some definition.
For a spacetime manifold (\({\mathcal {M}}, g_{\mu \nu }\) ) and an open subset \(O \in {\mathcal {M}}\), a geodesic congruence in the subset O is a family of curves such that through each point in O there lies on one and only one geodesic from this family [2]. The evolution of the congruence can be described by the expansion \(\theta \), the shear \(\sigma _{\mu \nu }\) and the twist \(\omega _{\mu \nu }\).
Now, consider a timelike geodesic congruence with its tangent vector field \(\xi ^{\mu }\). Then, the expansion \(\theta \), the shear \(\sigma _{\mu \nu }\) and the twist \(\omega _{\mu \nu }\) of the timelike geodesic congruence are given by [2]
where
Since \(B_{\mu \nu }\) is “spatial”, i.e.,
we have
In a geodesic congruence, \(\theta \) measures the expansion of nearby geodesics, i.e., \(\theta >0\) means that the geodesics are diverging and \(\theta <0\) means the geodesics are converging. \(\sigma _{\mu \nu }\) measures the shear and \(\omega _{\mu \nu }\) measures the rotation of nearby geodesics. We will focus on the expansion \(\theta \) as it is of great importance in discussing the black hole singularity. Moreover, the black hole singularity is related to the future-directed geodesic congruences (Notice that the past-directed geodesic congruences are relevant for the big bang singularity.)
For a future-directed geodesic congruence, \(\xi ^{\mu }\) is actually a four-velocity vector (field), which satisfies the geodesic equation
with \(\uplambda \) being the proper time for massive particle or the affine parameter for massless particle.
3.1 Congruence of radial timelike geodesics
We consider a congruence of radial timelike geodesics of the nonsingular black-hole spacetime (5). In this case, we have \(\xi ^{Z} =\xi ^{X} =0\). Since the metric (5) is time independent, we obtain from Eq. (14) that
along geodesics. From (15), we have
where E is a real constant along the geodesic.
Then, by the normalization condition \(g_{\mu \nu }\xi ^{\mu } \xi ^{\nu }=-1\), we get
For geodesics outside the black hole (\(Y>Y_{H}\)), the upper sign in the first line of Eq. (18) applies to the outgoing radial geodesic and the lower sign applies to the ingoing radial geodesic. Meanwhile, inside the black hole (\(Y<Y_{H}\)), we only have minus sign in the second line of Eq. (18) since Y decreases for both ingoing and “outgoing” geodesics. A systematic study on the geodesics of the SK spacetime will be given in Appendix A.
In the main text of this paper, we will focus on the ingoing geodesics since they are relevant for discussing the black hole singularity.
The expansion for the congruence of ingoing radial timelike geodesics is calculated as
where
To understand how the regular black hole solution Eq. (5) removes the singularity in the expansion scalar \(\theta \), we shall discuss Eq. (19) in the following cases.
3.1.1 Case one. \(M=0\) and \(b=0\)
In this case, Eq. (5) represents the Minkowski spacetime, and the expansion of the congruence for the ingoing radial geodesics is given by
where \(E\ge 1\) is the total energy per unit (rest) mass of a particle. If \(E>1\), the expansion scalar is divergent at the origin of the spherical coordinates (\(Y=0\)). This singularity of the congruence is, of course, not a singularity of the spacetime but an intrinsic nature of the congruence for ingoing radial geodesics.
Note that we have a vanishing expansion scalar if \(E=1\). This is easy to understand since the particles are at rest \((Y=\text {constant})\) for \(E=1\) and the geodesics of these particles will not have any intersection.
3.1.2 Case two. \(M\ne 0 \) and \(b = 0\)
In this case, Eq. (5) represents the standard Schwarzschild spacetime, and the expansion of the congruence for the ingoing radial geodesics is given by
with
For \(E>1\), both \(\theta _{1}\) and \(\theta _{2}\) are singular at the origin of the spherical coordinates (\(Y=0\)). However, they have different divergent behavior at \(Y=0\): \(\theta _{1} \propto Y^{-1/2}\) and \(\theta _{2} \propto Y^{-3/2}\).
Note that \(\theta _{1}\) vanishes for \(E=1\), which is similar to \(Case \; one\). \(\theta _2 (Y)\) for \(E=1\) is given by
which agrees with result in Ref. [20]. The divergence in \(\theta _{2}\) depends only on the mass M and this divergence always exists provided \(M\ne 0\). This observation strongly suggests that the divergence in \(\theta _{2}\) indicates the existence of the spacetime singularity. It is well-known that the Schwarzschild spacetime indeed has a physical singularity at \(Y=0\) [for example, the Kretschmann scalar is divergent at \(Y=0\) for Schwarzschild metric, see Eq. (9) with \(b=0\).]
3.1.3 Case three. \(M= 0 \) and \(b \ne 0\)
In this case, Eq. (5) represents a flat spacetime with a nontrivial topology \({\mathbb {R}}\times {\mathcal {M}}_3\) (by “flat”, we mean the Riemann curvature tensor \(R_{\mu \nu \rho } ^{\sigma }=0\) outside the defect surface), and the expansion of the congruence for the ingoing radial geodesics is given by
where \(E\ge 1\) is the total energy per unit (rest) mass of a particle. If \(E=1\), the expansion scalar vanishes since the particles are at rest. Note that the expansion scalar is no longer singular at \(Y=0\), which is different from that in \(Case \; one\). The nontrivial topology, i.e., \({\mathbb {R}}\times ({\mathbb {R}}P^3 - {\text {point}})\), is responsible for the nonsingular behavior of the geodesic congruence at \(Y=0\). We emphasize that the corresponding spacetime is geodesic complete, particles can safely cross the defect surface (see Ref. [21] for a detailed discussion.)
3.1.4 Case four. \(M\ne 0 \) and \(b \ne 0\)
In this case, we return to the regular black hole solution. The expansion of the congruence for the ingoing radial geodesics is given by Eq. (19)
with
Both \(\theta _{1}\) and \(\theta _{2}\) are regular at \(Y\rightarrow 0\).
In particular, we have
Again, \(\theta _{1} (Y)\) vanishes for \(E=1\). The divergence of \(\theta _2 (Y)\) in \(Case\; two\) has now been removed by a nonvanishing regulator b. The physical singularity in Schwarzschild spacetime is replaced by a spacetime defect with topology \({\mathbb {R}} P^2\).
The rate of change of the expansion \(\theta \) along the geodesic congruence is also well-behaved at \(Y=0\). For example, we have for \(E=1\)
3.2 Congruence of radial null geodesics
For a timelike geodesic congruence, \(h_{\mu \nu }\) is unique once the tangent vector is determined. However, for a given null geodesic congruence, \(h_{\mu \nu }\) is not unique. See Chapter 2.4 of Ref. [20] for more discussion on null geodesic congruence. Still, it can be proved that the expansion scalar is still unique and given by [20]:
where \(k^{\mu }\) is the tangent null vector field.
Focusing on the ingoing radial geodesic, we have
where E is a real positive constant along the geodesic.
The expansion for the congruence of ingoing radial null geodesics is easily calculated:
which is independent of M. The singularity in the congruence of ingoing radial null geodesics may not imply the existence of spacetime singularity (even though the expansion is regular at \(Y= 0\) for a nonvanishing regulator b.) For the congruence of ingoing radial null geodesics in Minkowski spacetime, the expansion scalar is given by Eq. (30) with \(b=0\), which is singular at \(Y=0\). As we mentioned before, this singularity of the congruence is not a singularity of the spacetime but an intrinsic nature of the congruence for ingoing radial geodesics. The absence of the singularity in the ingoing radial geodesics of the SK spacetime actually reflects the nontrivial topology of the manifold.
Note that the rate of change of the expansion \(\theta \) along the geodesic congruence is given by
which is well-behaved at \(Y=0\).
4 Geodesic congruences in a quantum deformed black hole
The original quantum deformed Schwarzschild black hole proposed by Kazakov and Solodukhin [8] has the following line element
Even though Eqs. (33) and (8) take the same form, i.e., the radial coordinate r can not take all value from \({\mathbb {R}}^+\), they have different origin. For the QDS metric, Eq. (33) is required to keep components of the metric (32) real. While for the KS metric, Eq. (8) is a manifestation of the nontrivial topology.
The QDS metric (32) returns to the standard Schwarzschild metric if \(a=0\). The original Schwarzschild singularity at \(r=0\) is now been “smeared out” to finite r [9]. Note that all components of the metric (32) are regular at \(r=a\). The event horizon for the QDS black hole (32) is located at
The coordinate singularity at \(r=r_H\) could be removed by introducing Eddington–Frinkelstein-type coordinates (see Appendix B1.) However, the singularity in the curvature tensor still remains. For example, the Ricci scalar is given by
which is divergent at \(r=a\). For completeness, we also have the result for the Kretschmann scalar at \(r\rightarrow a\)Footnote 3:
which is also divergent at \(r=a\). This curvature singularity can be removed if one consider more general QDS black holes [9]. In Appendix C, we will briefly discuss this general class of QDS black holes and study their geodesic congruences.
At large r, we have
which indicates that the QDS metric is asymptotically flat.
4.1 Congruence of radial timelike geodesics
For ingoing radial geodesic congruence of the QDS spacetime (32), we have
from which we obtain
with
For \(a=0\) and \(r=Y\), Eqs. (40b) and (40c) reduce to Eqs. (21b) and (21c), respectively. A plot of the expansion scalar as the function of r is shown in Fig. 2. Notice that \(\theta _2\) vanishes for \(M=0\). In the limit \(r \rightarrow a\) and for \(a\ne 0\), we have
We see explicitly that \(\theta _1 (r)\) is divergent at \(r=a\) (this divergence no longer exists for a more general QDS black hole, see Appendix C). The rate of change of the expansion \(\theta \) along the geodesic congruence is calculated
In the limit \(r \rightarrow a\), we have
To understand why \(\theta _1 (r) \rightarrow +\infty \) for \(r\rightarrow a\), we could use the following Raychaudhuri’s equation for a congruence of timelike geodesics:
For the congruence of radial timelike geodesics considered in this paper, we haveFootnote 4
Meanwhile, the shear tensor \(\sigma _{\mu \nu }\) is purely spatial, \(\sigma _{\mu \nu } \sigma ^{\mu \nu }\ge 0\).
By using the Christoffel symbols in Appendix A and Eq. (38), we could obtain
which is independent of M and E. We find that \(R_{\mu \nu } \xi ^{\mu } \xi ^{\nu } \) is always negative (for a nonvanishing a) along radial geodesics of the QDS black hole (32). Moreover, it goes to \(-\infty \) when \(r \rightarrow a\).
If we remain within the domain of general relativity, we have
where \(T_{\mu \nu }\) is the energy-momentum tensor and \(T=g^{\mu \nu } T_{\mu \nu }\). Then, a negative \(R_{\mu \nu } \xi ^{\mu } \xi ^{\nu }\) implies the violation of the strong energy conditionFootnote 5 (SEC) along the radial timelike geodesic. The closer the geodesics approach to the two-sphere at \(r=a\) the stronger the SEC is violated.
In the limit \(r\rightarrow a\), the right-hand side (RHS) of Eq (47) is coincident with the first term on the RHS of Eq. (44). This observation indicates that, for \(r \rightarrow a\), the rate of the change of the expansion scalar is dominated by the quantity \(R_{\mu \nu } \xi ^{\mu } \xi ^{\nu }\).
4.2 Congruence of radial null geodesics
For the ingoing radial geodesic of the QDS spacetime (32), we have
where E is a real positive constant along the geodesic.
Equation (51) implies that we could take \(-r\) as an affine parameter for ingoing radial null geodesic. Then, the expansion for the congruence of ingoing radial null geodesics is as follows:
which is regular for \(r\rightarrow a\) provided \(a \ne 0\).
The rate of change of the expansion \(\theta \) along the geodesic congruence is given by
which is also well-behaved at \(r=a\) for \(a\ne 0\).
The quantity \(R_{\mu \nu } k ^{\mu } k ^{\nu }\) vanishes identically for ingoing radial null geodesics, which is quite different from that for ingoing radial timelike geodesics [see Eq. (47).]
5 Conclusions and discussion
In this paper, we investigated two different kinds of modified Schwarzschild black holes, namely the Schwarzschild–Klinkhamer black hole [10] and the quantum deformed Schwarzschild black hole [8, 9]. These two kinds of black holes could return to the standard Schwarzschild black hole by setting a vanishing regulator: \(b=0\) for the Schwarzschild–Klinkhamer black hole and \(a=0\) for the quantum deformed Schwarzschild black hole. We studied radial geodesics of these black holes in the main text while nonradial geodesics were briefly discussed in Appendix A.
Far way from the origin of the spherical coordinates, i.e., \(Y\gg b\) for the SK black hole and \(r\gg a\) for the QDS black hole, the evolution for the geodesic congruence of modified Schwarzschild black holes are identical to that of the Schwarzschild black hole. However, the situation is different for a small r or Y. For the original QDS black hole [8], as \(r\rightarrow a\) the expansion scalar for a radial timelike geodesic congruence goes to \(+\infty \) (the expansion scalar goes to \(-\infty \) as \(r\rightarrow 0\) in the Schwarzschild case.) The violation of strong energy condition along radial timelike geodesic is responsible for this divergent behavior. For a more general QDS black hole [9], the strong energy condition is not globally violated and the expansion scalar for a radial geodesic congruence could remain finite at \(r=a\) (see Appendix C for the calculation details.) For the SK black hole, the expansion scalar for a radial timelike geodesic congruence remains finite as \(Y\rightarrow 0\) due to the nontrivial topology of the manifold and there is no violation of the strong energy condition.
There is another issue we would like to address here. The procedure of the spacetime-defect regularization of the Schwarzschild solution can actually be applied to the singular Friedmann solution in cosmology [12, 13, 22]. The expansion of geodesic congruence could remain finite at cosmic time \(t=0\) for this regularized FLRW universe [15], while it is divergent at the big bang singularity for the standard FLRW universe. This conclusion, together with the result obtained in the present paper, strongly suggests that finite expansions of geodesic congruences (without violation of the strong energy condition) are key manifestations of the spacetime defects.
Even though the conjugate pointsFootnote 6 appearing in the Schwarzschild black hole no longer exists in the modified Schwarzschild black holes, ingoing radial geodesics still seem to be incomplete [at least for the spacetime from metric (5) or (32)]. All particles inside the event horizon will eventually reach a surface with finite area (see Fig. 3 in Appendix B for light cones of the modified Schwarzschild black holes). For the SK black hole, the surface is \(S^2/{\mathbb {Z}} \sim {\mathbb {R}}P^2\). While for the QDS black hole, the surface is a two-sphere with area \(4\pi a^2\). One interesting point is that, if the conformal anomaly is taken into account [8], the extended QDS spacetime appears to be geodesically complete. Whether the SK spacetime can be extended to be geodesically complete by a similar procedure remains an open question.
The other open question is physical origin of the regulator in the modified Schwarzschild black holes. For the QDS spacetime, the parameter a comes from the effective potential of the two-dimensional dilaton gravity. Then, a deep understanding and the physical explanation of this potential is required to reveal the nature of the length scale a. For SK spacetime, the parameter b is the length scale of the spacetime defect, which may trace back to the underlying (unknown) theory of quantum spacetime [23].
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a purely theoretical work and not an experimental work (which involves data), nor it involves simulations.]
Notes
Note that \({\mathbb {R}}P^3\) is topologically equivalent to a three-sphere with antipodal points identified.
The Ricci tensor and Ricci scalar vanish identically.
We thank the referee for the suggestion of computing Kretschmann scalar in this case.
The congruence of radial timelike geodesic is hypersurface orthogonal.
The strong energy condition states that
for all timelike vectors \(V ^{\mu } \).
In general, the existence of conjugate points reveals the existence of extreme length curves. Consider a spacelike hypersurface \(\Sigma \) and a timelike geodesic congruence orthogonal to \(\Sigma \), a point p on this geodesic congruence will be conjugate to \(\Sigma \) if and only if the expansion of the congruence approaches \(-\infty \) at p. Conjugate points exist on the ingoing radial timelike geodesics of the Schwarzschild spacetime as \(\theta \rightarrow -\infty \) at \(r\rightarrow 0\), which leads to fact that the lengths of these ingoing geodesics have upper bounds in the future direction.
This observation can be found in Chapter 6.3 of [2].
The effective mass from Eq. (A13) for SK black hole vanishes at \(Y=0\), which arises from the degenerate metric over the spacetime defect.
The coordinate \(r_*\) is defined in such a way that
This result was first derived in Ref. [9].
References
K. Schwarzschild, Über das gravitationsfeld eines massenpunktes nach der einsteinschen theorie, Sitzungsberichte der Deutschen Akademie der Wissenschaften zu Berlin, Klasse für Mathematik, Physik, und Technik, 189 (1916)
R.M. Wald, General Relativity (Chicago Univ. Press, Chicago, 1984). https://doi.org/10.7208/chicago/9780226870373.001.0001
S.W. Hawking, G.F.R. Ellis, The Large Scale Structure of Space-time, Cambridge Monographs on Mathematical Physics (Cambridge Univ. Press, Cambridge, 2011). https://doi.org/10.1017/CBO9780511524646
R. Penrose, Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14, 57 (1965). https://doi.org/10.1103/PhysRevLett.14.57
S.W. Hawking, R. Penrose, The singularities of gravitational collapse and cosmology. Proc. R. Soc. Lond. A A314, 529 (1970). https://doi.org/10.1098/rspa.1970.0021
A. Borde, Regular black holes and topology change. Phys. Rev. D 55, 7615 (1997). https://doi.org/10.1103/PhysRevD.55.7615. arXiv:gr-qc/9612057
E. Ayon-Beato, A. Garcia, The Bardeen model as a nonlinear magnetic monopole. Phys. Lett. B 493, 149 (2000). https://doi.org/10.1016/S0370-2693(00)01125-4. arXiv:gr-qc/0009077
D.I. Kazakov, S.N. Solodukhin, On quantum deformation of the Schwarzschild solution. Nucl. Phys. B 429, 153 (1994). https://doi.org/10.1016/S0550-3213(94)80045-6. arXiv:hep-th/9310150
T. Berry, A. Simpson, M. Visser, General class of “quantum deformed’’ regular black holes. Universe 7, 165 (2021). https://doi.org/10.3390/universe7060165. arXiv:2102.02471
F.R. Klinkhamer, A new type of nonsingular black-hole solution in general relativity. Mod. Phys. Lett. A 29, 1430018 (2014). https://doi.org/10.1142/S0217732314300183. arXiv:1309.7011
F.R. Klinkhamer, C. Rahmede, A nonsingular spacetime defect. Phys. Rev. D 89, 084064 (2014). https://doi.org/10.1103/PhysRevD.89.084064. arXiv:1303.7219
FR Klinkhamer, Regularized big bang singularity. Phys. Rev. D 100, 023536 (2019). https://doi.org/10.1103/PhysRevD.100.023536. arXiv:1903.10450
F.R. Klinkhamer, Z.L. Wang, Nonsingular bouncing cosmology from general relativity. Phys. Rev. D 100, 083534 (2019). https://doi.org/10.1103/PhysRevD.100.083534. arXiv:1904.09961
F.R. Klinkhamer, Z.L. Wang, Nonsingular bouncing cosmology from general relativity: scalar metric perturbations. Phys. Rev. D 101, 064061 (2020). https://doi.org/10.1103/PhysRevD.101.064061. arXiv:1911.06173
Z.L. Wang, Regularized big bang singularity: geodesic congruences. Phys. Rev. D 104, 084093 (2021). https://doi.org/10.1103/PhysRevD.104.084093. arXiv:2109.04229
F.R. Klinkhamer, Skyrmion spacetime defect. Phys. Rev. D 90, 024007 (2014). https://doi.org/10.1103/PhysRevD.90.024007. arXiv:1402.7048
F.R. Klinkhamer, J.M. Queiruga, Antigravity from a spacetime defect. Phys. Rev. D 97, 124047 (2018). https://doi.org/10.1103/PhysRevD.97.124047. arXiv:1803.09736
M. Nakahara, Geometry, Topology and Physics (IOP Publishing, Bristol, 1990)
G.T. Horowitz, Topology change in classical and quantum gravity. Class. Quantum Gravity 8, 587 (1991). https://doi.org/10.1088/0264-9381/8/4/007
E. Poisson, A Relativist’s Toolkit: The Mathematics of Black-hole Mechanics (Cambridge Univ. Press, Cambridge, 2009). https://doi.org/10.1017/CBO9780511606601
F.R. Klinkhamer, Z.L. Wang, Lensing and imaging by a stealth defect of spacetime. Mod. Phys. Lett. A 34, 1950026 (2019). https://doi.org/10.1142/S0217732319500263. arXiv:1808.02465
E. Battista, Nonsingular bouncing cosmology in general relativity: physical analysis of the spacetime defect. Class. Quantum Gravity 38, 195007 (2021). https://doi.org/10.1088/1361-6382/ac1900. arXiv:2011.09818
F.R. Klinkhamer, On a soliton-type spacetime defect. J. Phys. Conf. Ser. 1275, 012012 (2019). https://doi.org/10.1088/1742-6596/1275/1/012012. arXiv:1811.01078
Acknowledgements
This work is supported by the Natural Science Research Project of Colleges and Universities in Jiang Su Province (21KJB140001).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Geodesics of modified Schwarzschild black holes
In general, a static spherically symmetric metric can be written as the following diagonal form:
Then, the nonvanishing Christoffel symbols are as follows:
where the prime denotes d/dr. Using the nonvanishing Christoffel symbols given by (A2), we find from the geodesic equation that
where \(\uplambda \) is the proper time for massive particle or the affine parameter for massless particle. We now solve above equations by looking for constants of the motion. First, dividing (A3a) by \(dt/d\uplambda \), we have
which leads to a constant of motion
Since the metric is spherically symmetric, we need only consider the case \(\vartheta = \pi /2\), i.e., particles are confined to the equatorial plane. In this case. we can forget about \(\vartheta \) as a dynamical variable. Now, dividing (A3d) by \(d\varphi /d\uplambda \), we can find a constant of motion
which is actually the angular momentum parameter. With (A5), (A6), and multiplying (A3b) by \(2A dr/d\uplambda \), we find
which leads to the following constant of motion
Now, the metric (A1) along the geodesic can be written as
From (A8), we observe that
Also remark from (A9) that, a free particle can reach radius r only if
We emphasize that the inequality (A12) holds not only outside a black hole but also inside a black hole.
Moreover, (A8) can be written as
which has the same form of the equation for a particle with effective mass AB and energy \(E^2/(2)\) moving in a one-dimensional effective potentialFootnote 7
Consider first the Schwarzschild black hole (SBH)
the effective potential is given by
Observe that the effective potential goes to \(-\infty \) as \(r\rightarrow 0\) for Schwarzschild spacetime (except for massless particles with vanishing angular momentum).
For the SK black hole from metric (5), we have
the effective potential is calculatedFootnote 8
which remains finite at \(Y=0\).
For a QDS black hole, we have
the effective potential is given by
which remains finite at \(r=a\).
We conclude that the divergent behavior for the effective potential of the Schwarzschild has been removed in the modified Schwarzschild spacetime.
Appendix B: Eddington–Frinkelstein coordinates
In this appendix, we derive the Eddington–Frinkelstein coordinates for the modified Schwarzschild black holes. We consider first the quantum deformed Schwarzschild spacetime.
1.1 1. Eddington–Frinkelstein coordinates for the quantum deformed Schwarzschild spacetime.
To remove the coordinate singularity at \(r=r_H\), we could first define the following “Regge–Wheeler tortoise coordinate” \(r_{*}\)Footnote 9:
Then, by defining Eddington–Frinkelstein coordinate
the QDS metric could be written as
Even though the metric \(g_{vv}\) vanishes at the event horizon, the determinant of the metric is
which is nonvanishing at \(r=r_H\). Therefore, the metric (B4) is well-behaved at the event horizon and the coordinate singularity in the QDS metric is removed.
In the Eddington–Frinkelstein coordinates, the condition for radial null geodesics is given by
where the first line on the RHS corresponds to the ingoing radial null geodesic and the the second line on the RHS corresponds to the outgoing radial null geodesic.
The light cones of the QDS black hole in the Eddington–Frinkelstein coordinates (v, r) are plotted in Fig. 3. Note that all radial geodesic inside the QDS black hole will finally reach a two-sphere of area \(4\pi a^2\).
1.2 2. Eddington–Frinkelstein coordinates for Schwarzschild–Klinkhamer spacetime.
First, we could define the following Regge–Wheeler-type tortoise coordinate \(Y_{*}\):
Then, by defining Eddington–Frinkelstein coordinate
the SK metric could be written as
The metric (B9) is well-behaved at the event horizon \(Y=Y_H\) and the coordinate singularity in the SK metric is removed. With replacements \(r \rightarrow \sqrt{b^2+Y^2}\) and \(a \rightarrow b\), the light cones for the SK spacetime is coincident with Fig. 3.
Appendix C: Radial geodesic congruences in a general class of QDS black holes
Recently, a general class of quantum deformed spacetimes is proposed in Ref. [9] and the metrics are given by
where
The general QDS metric (C1) reduces to the standard Schwarzschild metric and the original QDS metric with \(n=0\) and \(n=1\), respectively. As stated in Ref. [9], the metrics (C1) are metric-regular for \(n\ge 1\), Christoffel-symbol-regular for \(n\ge 3\) and curvature-regular for \(n\ge 5\). For example, the Ricci scalar for \(n=5\) is given by
which is finite at \(r=a\). For completeness, we also have the result for the Kretschmann scalar at \(r=a\):
which is also finite.Footnote 10
The expansion scalar for ingoing radial timelike geodesic congruences of the general QDS black holes are given by
with
where E is a real positive constant along the geodesics. A plot of the expansion scalar as the function of r is shown in Fig. 4. For \(n\ge 3\), we have
from which we see explicitly that the divergence in \(\theta _1\) at \(r=a\) no longer exists for \(n\ge 3\).
The quantity \(R_{\mu \nu } \xi ^{\mu } \xi ^{\nu }\) is calculated
We find that \(R_{\mu \nu } \xi ^{\mu } \xi ^{\nu } \) is not always negative (for a nonvanishing a) along radial timelike geodesics of a general QDS black hole with \(n\ge 3\). More precisely, it can be found that \(R_{\mu \nu } \xi ^{\mu } \xi ^{\nu } \) is negative only in the region \(r>a \sqrt{n-1}\) along radial geodesics.
The expansion scalar for ingoing radial null geodesic congruence of a general QDS black hole is independent of n and given exactly by Eq. (52).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Wang, ZL. Geodesic congruences in modified Schwarzschild black holes. Eur. Phys. J. C 82, 901 (2022). https://doi.org/10.1140/epjc/s10052-022-10843-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10843-7