#### Abstract

Recent results show that important singularities in General Relativity can be naturally described in terms of finite and invariant canonical geometric objects. Consequently, one can write field equations which are equivalent to Einstein's at nonsingular points but, in addition remain well-defined and smooth at singularities. The black hole singularities appear to be less undesirable than it was thought, especially after we remove the part of the singularity due to the coordinate system. Black hole singularities are then compatible with global hyperbolicity and do not make the evolution equations break down, when these are expressed in terms of the appropriate variables. The charged black holes turn out to have smooth potential and electromagnetic fields in the new atlas. Classical charged particles can be modeled, in General Relativity, as charged black hole solutions. Since black hole singularities are accompanied by dimensional reduction, this should affect Feynman's path integrals. Therefore, it is expected that singularities induce dimensional reduction effects in Quantum Gravity. These dimensional reduction effects are very similar to those postulated in some approaches to make Quantum Gravity perturbatively renormalizable. This may provide a way to test indirectly the effects of singularities, otherwise inaccessible.

#### 1. Introduction

For millennia, space was considered the fixed background where physical phenomena took place. Special Relativity changed this, by proposing spacetime as the new arena. Then, while trying to extend the success of Special Relativity to noninertial frames and gravity, Einstein realized that one should let go the idea of an immutable background, and General Relativity (GR) was born. There is a very deep interdependence between matter and the geometry of spacetime, encoded in Einstein’s equation. Its predictions were tested with high accuracy and confirmed.

However, the task of decoding the way our universe works from something as abstract as Einstein’s equation is not easy, and we are far from grasping all of its consequences. For instance, even from the beginning, when Schwarzschild proposed his model for the exterior of a spherically symmetric object, Einstein’s equations led to infinities [1, 2]. The Schwarzschild metric tensor becomes infinite at and on the event horizon, where . The big bang also exhibited a singularity [3–10].

The first reaction to the singularities was to somehow minimize their importance, on the grounds that they are exceptions due to the perfect symmetry of the solutions. This hope was ruined by the theorems of Penrose [11, 12] and Hawking [13–16], showing that the singularities are predicted to occur in GR under very general conditions and are not caused by the perfect symmetry.

Singularities, hidden by the event horizon or naked, are very well researched in the literature (e.g., [12, 17–25] and references therein).

Interesting results concerning singularities were obtained in some modified gravity theories, for example, gravity ([26–30] and references therein). Another way to avoid singularities was proposed in nonlinear electrodynamics [31].

In addition to the singularities, infinities occur in GR when we try to quantize gravity, because gravity is perturbatively nonrenormalizable [32, 33]. It is expected by many that a solution to the problem of quantization will also remove the singularities. For example, *Loop quantum cosmology* obtained significant positive results in showing that quantum effects may prevent the occurrence of singularities [34–37].

There is another possibility: the problem of singularities may be in fact not due to GR but to our limited understanding of GR. Therefore, it would be useful to better understand singularities, even in the eventuality that a better theory will replace GR. In the following we review some recent results showing that by confronting singularities, we realize that they are not that undesirable [38]. Moreover, new possibilities open also for the Quantum Gravity problem.

#### 2. The Problem of Singularities in General Relativity

##### 2.1. Two Types of Singularities

Not all singularities are born equal. We can roughly classify the singularities in two types:(1)*Malign singularities*: some of the components of the metric are divergent: .(2)*Benign singularities*: are smooth and finite but .

Benign singularities turn out to be, in many cases, manageable [39–41]. The infinities simply disappear, if we use different geometric objects to write the equations and describe the phenomena. At points where the metric is nondegenerate, the proposed description is equivalent to the standard one. But, in addition, it works also at the points where the metric becomes degenerate.

Malign singularities appear in the black hole solutions. They appear to be malign because the coordinates in which they are represented are singular. In nosingular coordinates, they become benign [42–44]. This is somewhat similar to the case of the apparent singularity on the event horizon, which turned out to be a coordinate singularity and not a genuine one [45, 46].

##### 2.2. What Is Wrong with Singularities?

The geometry of spacetime is encoded in the metric tensor. To write down field equations, we have to use partial derivatives. In curved spaces, partial derivatives are replaced by *covariant derivatives*. They are defined with the help of the *Levi-Civita connection*, which takes into account the parallel translations, to compare fields at infinitesimally closed points. The covariant derivative is written using the Christoffel symbol of the second kind, obtained from the metric tensor by
It can be used to define the Riemann curvature tensor:
It plays a major part in the Einstein equation:
since
where is the Ricci tensor and is the scalar curvature.

In the case of malign singularities, since some of metric’s components are singular, the geometric objects like the Levi-Civita connection and the Riemann curvature tensor are singular too. Therefore, it seems that the situation of malign singularities is hopeless.

Even in the case of benign singularities, when the metric is smooth, but its determinant , the usual Riemannian objects are singular. For example, the covariant derivative cannot be defined, because the inverse of the metric, , becomes singular ( when ). This makes Christoffel’s symbols of the second kind (1) and the Riemann curvature (2) singular.

It is therefore understandable why singularities were considered unsolvable problems for so many years.

##### 2.3. From Singular to Nonsingular: A Dictionary

The main variables which appear in the equations are indeed singular. But we can replace them with new variables, which are equivalent to the original ones on the domain where both are defined. Sometimes, we can choose the new variables so that the equations remain valid at points where the original ones were singular.

The geometric objects of interest that become singular when the metric is degenerate are the Levi-Civita connection (1), the Riemann curvature (2), and the Ricci and the scalar curvatures. If the metric is nondegenerate, the Christoffel symbols of the first kind are equivalent to those of the second kind, in the sense that by knowing one of them, we can obtain the other one. Similarly, the Riemann curvature is equivalent to , and the Ricci and scalar curvatures are equivalent to their densitized versions and to their Kulkarni-Nomizu products (see (30)) with the metric. In some important cases, these equivalent objects remain nonsingular even when the metric is degenerate [39, 41]. We summarize these cases in Table 1.

#### 3. The Mathematical Methods: *Singular Semi-Riemannian Geometry *

##### 3.1. *Singular Semi-Riemannian Geometry *

We review the main mathematical tool on which the results presented here are based, named *Singular Semi-Riemannian Geometry* [39, 40]. Singular Semi-Riemannian Geometry is mainly concerned with the study of singular semi-Riemannian manifolds.

*Definition 1 (see [39, 47]). *A *singular semi-Riemannian manifold * consists in a differentiable manifold and a symmetric bilinear form on , named *metric tensor* or *metric*.

If is nondegenerate, then is just a *semi-Riemannian manifold*. If in addition is positive definite, is named *Riemannian manifold*. In General Relativity semi-Riemannian manifolds are normally used, but when we are dealing with singularities, it is natural to use the Singular Semi-Riemannian Geometry, which is more general.

##### 3.2. Properties of the Degenerate Inner Product

Let be an inner product vector space. Let be the morphism defined by . We define the *radical* of as the set of isotropic vectors in : . We define the *radical annihilator* space of as the image of , . The inner product induces on an inner product, defined by . This one is the inverse of if and only if . The *coannihilator* is the quotient space , given by the equivalence classes of the form . On the *coannihilator *, the metric induces an inner product .

Let . In the following, we will denote by the radical of the tangent space at , by the radical annihilator and by the coannihilator.

We have seen that one important problem which appears when the metric becomes degenerate is that it does not admit an inverse , and fundamental tensor operations like raising indices and contractions between covariant indices are no longer defined. But we can use the reciprocal metric to define metric contraction between covariant indices, for tensors that live in tensor products between and the subspace . This turned out to be enough for some important singularities in General Relativity.

##### 3.3. Covariant Derivative

Because at points where the metric is degenerate there is no inverse metric, the Levi-Civita connection is not defined. Then, how can we derivate? We will see that in some cases, which turn out to be enough for our purposes, we still can derivate.

###### 3.3.1. The Koszul Object

Let be vector fields on . We define the *Koszul object* as

Its components in local coordinates are just Christoffel’s symbols of the first kind:

If the metric is nondegenerate, one defines the Levi-Civita connection uniquely, by raising an index of the Koszul object:

But if the metric is degenerate, one cannot raise the index, and we will have to avoid the usage of the Levi-Civita connection. Luckily, we can do what we do with the Levi-Civita connection and more, just by using the Koszul object instead.

###### 3.3.2. The Covariant Derivatives

We define the *lower covariant derivative* of a vector field in the direction of a vector field by
This is not quite a true covariant derivative, because it does not map vector fields to vector fields but to -forms. However, we can use it to replace the covariant derivative of vector fields, and it is equivalent to it if the metric is nondegenerate.

If the Koszul object satisfies the condition that for any , then the singular semi-Riemannian manifold is named *radical stationary*. In this case, it makes sense to contract in the third slot of the Koszul object and define by this covariant derivatives of differential forms. The covariant derivative of differential forms is defined by
if . More general,

The covariant derivative of a tensor is defined as

##### 3.4. Riemann Curvature Tensor: Semi-Regular Manifolds

Let be a radical stationary manifold. Then, the *Riemann curvature tensor* is defined as

The components of the Riemann curvature tensor in local coordinates are

The Riemann curvature tensor has the same symmetry properties as in Riemannian geometry and is radical annihilator in each of its slots.

A singular semi-Riemannian manifold is called *semiregular* [39] if
An equivalent condition is
It is easy to see that the Riemann curvature of semiregular manifolds is smooth.

##### 3.5. Examples of Semiregular Semi-Riemannian Manifolds

We present some examples of semi-Riemannian manifolds [39, 40].

###### 3.5.1. Isotropic Singularities

Isotropic singularities have the form where is a nondegenerate bilinear form on .

Such singularities were studied in connection to some cosmological models [48–56].

###### 3.5.2. Degenerate Warped Products

Warped products are products of two semi-Riemannian manifolds and , so that the metric on the manifold is scaled by a scalar function defined on the manifold [57]. The warped product has the form

Normally, the warping function is taken to be strictly positive at all points of . However, it may happen to vanish at some points, and in this case the result is a singular semi-Riemannian manifold. The resulting manifold is semiregular [40]. Moreover, if the manifolds and are radical stationary and if , their warped product is radical stationary. If and are semiregular, , and for any vector field , and then is semiregular [40].

#### 4. Einstein Equations at Singularities

We discuss now two equations which are equivalent to Einstein’s when the metric is nondegenerate but remains smooth and finite also at some singularities. The first equation remains smooth at semiregular singularities, while the second at quasi-regular singularities.

##### 4.1. Einstein’s Equation on Semi-regular Spacetimes

###### 4.1.1. The Densitized Einstein Equation

Consider the following densitized version of the Einstein equation: or, in coordinates or local frames: If the metric is nondegenerate, this equation is equivalent to the Einstein equation, the only difference is the factor . But what happens if the metric becomes degenerate? In this case, it is not allowed to divide by , because this is .

On four-dimensional semi-regular spacetimes Einstein tensor density is smooth [39]. Hence, the proposed densitized Einstein equation (18) is smooth, and non-singular. If the metric is regular, this equation is equivalent to the Einstein equation.

###### 4.1.2. FLRW Spacetimes

To better understand black hole singularities, which will be discussed later, we start by taking a look at the Friedmann-Lemaître-Robertson-Walker (FLRW) singularities, which are benign. Black hole singularities are malign but can be made benign by removing the coordinate singularity (see Sections 5, 6, and 7).

FLRW spacetimes are examples of degenerate warped products, with the metric defined by where where for , for , and for . It follows that they are semiregular.

Since the FLRW singularities are warped products, they are semiregular. Therefore, we can expect that the densitized Einstein equation holds. In fact, in [58] more is shown than that, as we will see now.

The FLRW stress-energy tensor is
where is the time-like vector field , normalized. The scalar represents the mass density and the pressure density. From the stress-energy tensor (22), in the case of a homogeneous and isotopic universe, follow the *Friedmann equation:*
and the *acceleration equation:*

Equations (23) and (24) show that the scalars and are singular for . But and represent the mass and pressure densities the orthonormal frame obtained by normalizing the comoving frame , where are coordinates on the space manifold . The mass and pressure density can be identified with the scalars and only in an orthogonal frame. But at the singularity there is no orthonormal frame, so we should not normalize the comoving frame. In general, nonnormalized case, the actual densities contain in fact the factor :

The Friedmann and the acceleration equations become

We see that and are smooth and so is the densitized stress-energy tensor: We obtain a densitized Einstein equation, from which (18) follows by multiplying with .

Hence, the FLRW solution is described by smooth densities even at the big bang singularity. Moreover, the solution extends beyond the singularity.

##### 4.2. Einstein’s Equation on Quasi-Regular Spacetimes

###### 4.2.1. The Ricci Decomposition

Let be an -dimensional semi-Riemannian manifold. The Riemann curvature decomposes algebraically [59–61] as where where denotes the Kulkarni-Nomizu product:

If the Riemann curvature tensor on a semiregular manifold admits such a decomposition so that all of its terms are smooth, is said to be *quasi-regular. *

###### 4.2.2. The Expanded Einstein Equation

For dimension , in [41] we introduced the *expanded Einstein equation:*
or, equivalently,

It is equivalent to Einstein’s equation if the metric is nondegenerate but in addition extends smoothly at quasi-regular singularities.

###### 4.2.3. Examples of Quasi-Regular Singularities

As shown in [41], the following are examples of quasi-regular singularities:(i)isotropic singularities,(ii)degenerate warped products with and ,(iii)FLRW singularities, as a particular case of degenerate warped products [62],(iv)Schwarzschild singularities (after removing the coordinates singularity, see Section 5). The question whether the Reissner-Nordström and Kerr-Newman singularities are quasi-regular, or at least semi-regular, is still open.

###### 4.2.4. The Weyl Curvature Hypothesis and Quasi-Regular Singularities

To explain the low entropy at the big bang and the high homogeneity of the universe, Penrose emitted the Weyl curvature hypothesis, stating that the Weyl curvature tensor vanishes at the big bang singularity [18].

From (28), the *Weyl curvature tensor* is

In [63] it was shown that when approaching a quasi-regular singularity, smoothly. Because of this, any quasi-regular big bang satisfies the Weyl curvature hypothesis. In [63] it has also been shown that a very large class of big bang singularities, which are not homogeneous or isotropic, are quasi-regular.

##### 4.3. Taming a Malign Singularity

We have seen that when the singularity is benign; that is, the singularity is due to the degeneracy of the metric tensor, which is smooth; there are important cases when we can obtain a complete description of the fields and their evolution, in terms of finite quantities.

But what can we do if the singularities are malign? This case is important, since all black hole singularities are malign. In [42–44] we show that although the black hole singularities appear to be malign, we can make them benign, by a proper choice of coordinates. This is somewhat analog to the method used in [45, 46] to show that the event horizon singularity is not a true singularity, being due to coordinates. In the following sections, we will review these results.

#### 5. Schwarzschild Singularity Is Semi-Regular

The Schwarzschild metric is given in Schwarzschild coordinates by where

Let us change the coordinates to

The four-metric becomes which is analytic and semiregular at [42].

The problems were fixed by a coordinate change. Does not this mean that the singularity depends on the coordinates? Well, this deserves an explanation. Changing the coordinates does not make a singularity appear or disappear, if the coordinate transformation is a local diffeomorphism. But a regular tensor can become singular or a singular tensor can become regular, if the coordinate transformation itself is singular. This situation is very similar to that of the event horizon singularity of the Schwarzschild metric, in Schwarzschild coordinates (34). This singularity vanishes when we go to the Eddington-Finkelstein coordinates. This proves that the Eddington-Finkelstein coordinates are from the correct atlas, while the original Schwarzschild coordinates were in fact singular at . In our case, the coordinate transformation (36) allows us to move to an atlas in which the metric is analytic and semiregular, showing that the Schwarzschild coordinates were in fact singular at .

#### 6. Charged and Nonrotating Black Holes

Charged nonrotating black holes are described by the Reissner-Nordström metric:

To make the singularity benign, we choose the new coordinates and [43]; so that

In the new coordinates, the metric has the following form: where

To remove the infinity of the metric at and ensure analiticity, we have to choose

In the Reissner-Nordström coordinates , the electromagnetic potential is singular at , But in the new coordinates , the electromagnetic potential is and the electromagnetic field is and they are analytic everywhere, including at the singularity [43].

The proposed coordinates define a space + time foliation only if [43].

#### 7. Rotating Black Holes

Electrically neutral rotating black holes are represented by the Kerr solution. If they are also charged, they are described by the very similar Kerr-Newman solution.

Consider the space , where represents the time coordinate and the space, parameterized by the spherical coordinates . The rotation is characterized by the parameter , is the mass, and the charge. The following notations are useful: The nonvanishing components of the Kerr-Newman metric are [64]

In [44] it was shown that in the coordinates , , and , are defined by where are positive integers so that and the metric is analytic.

Not only the metric becomes analytic in the proposed coordinates, but also the electromagnetic potential and electromagnetic field. The electromagnetic potential of the Kerr-Newman solution is, in the standard coordinates, the -form: In the proposed coordinates which is smooth [44]. The electromagnetic field is smooth too.

#### 8. Global Hyperbolicity and Information Loss

##### 8.1. Foliations with Cauchy Hypersurfaces

While Einstein’s equation describes the relation between geometry and matter in a block-world view of the universe, there are equivalent formulations which express this relation from the perspective of the time evolution. Einstein’s equation can be expressed in terms of a Cauchy problem [65–70].

The standard black hole solutions pose two main problems to the Cauchy problem. First, the solutions have malign singularities. Second, they have in general Cauchy horizons. Luckily, there is more than one way to skin a black hole.

The evolution equations make sense at least locally, if the singularities are benign. The black hole singularities appear to be malign in the coordinates used so far, but by removing the coordinate’s contribution to the singularity, they become benign. Even so, to formulate initial value problems globally, space + time has to admit spacetime foliations. The space-like hypersurfaces have to be Cauchy surfaces; in other words, the global hyperbolicity condition has to be true. The topology of the space-like hypersurfaces must remain independent on the time , although the metric is allowed to become degenerate. This seems to be prevented in the case of Reissner-Nordström and Kerr-Newman black holes, by the existence of Cauchy horizons. As shown in [71], the stationary black hole singularities admit such foliations and are therefore compatible with the condition of global hyperbolicity.

##### 8.2. Schwarzschild Black Holes

In the proposed coordinates for the Schwarzschild black hole, the metric extends analytically beyond the singularity (Figure 1).

This solution can be foliated in space + time and therefore is globally hyperbolic.

##### 8.3. Space-Like Foliation of the Reissner-Nordström Solution

Figure 2 shows the standard Penrose diagrams for the Reissner-Nordström spacetimes [72].

The Penrose diagram 3 shows how our extensions beyond the singularities allow the Reissner-Nordström solutions to be foliated in Cauchy hypersurfaces. In Figures 3(b) and 3(c), in addition to extending the solution beyond the singularity, we cut out the spacetime along the Cauchy horizons. This is justified if the black holes form by collapse at a finite time and then evaporate after a finite lifetime [43, 71].

For the Kerr-Newman black holes, the foliations are similar to those for the Reissner-Nordström solutions [71], especially because the extension proposed in [44] can be chosen so that the closed time-like curves disappear.

##### 8.4. Black Hole Information Paradox

Bekenstein and Hawking discovered that black holes obey laws similar to those of thermodynamics and proposed that these laws are in fact thermodynamics (see [73–75], also [76, 77], and references therein). Hawking realized that black holes evaporate, and the radiation is thermal. This led him to the idea that after evaporation, the information is lost [78–80]. Many solutions were proposed, such as [81–94]. It was proposed that Quantum Gravity would naturally cure this problem, but it has been suggested that in fact it would make the problem exist even in the absence of black holes [95].

Since the extended Schwarzschild solution can be foliated in space + time (Sections 5 and 8.2), it can be used to represent evaporating electrically neutral nonrotating black holes. The solution can be analytically extended beyond , and hence the affirmation that the information is lost at the singularity is no longer supported. In Figure 4, it can be seen that our solution extends through the singularity and allows the existence of globally hyperbolic spacetimes containing evaporating black holes.

**(a)**

**(b)**

#### 9. Possible Experimental Consequences and Quantum Gravity

##### 9.1. Can We Do Experiments with Singularities?

We reviewed the foundations of Singular General Relativity (SGR) and its applications to black hole singularities. SGR is a natural extension of GR, but, nevertheless, it would be great to be able to submit it to experimental tests. We have seen that the solutions are the same as those predicted by Einstein’s equation, as long as the metric is nondegenerate. The only differences appear where the metric is degenerate, at singularities. But how can we go to the singularities, or how can we generate singularities, and test the results at the singularities? How could we design an experimental apparatus which is not destroyed by the singularity? It seems that a direct experiment to test the predictions of SGR is not possible.

What about indirect tests? For example, if information is preserved, this would be evidence in favor of SGR. But how can we test this? Can we monitor a black hole, from the time when it is formed to the time when it evaporates completely, and check that the information is preserved during this entire process? The current knowledge predicts that this information will be anyway extremely scrambled. Even if we would be able to do this someday, the conservation of information is predicted by a long list of other approaches to Hawking’s information loss paradox (see Section 8.4).

In General Relativity, classical elementary particles can be considered small black holes. If they are pointlike and have definite trajectories, then they are singularities, like the Schwarzschild, Reissner-Nordström, and Kerr-Newman singularities. To go from classical to quantum, one applies path integrals over the classical trajectories. In this way, possible effects of the singularities may also be present at the points where the metric is nonsingular.

In [96] we suggested that the geometric and topological properties we identified at singularities have implications to Quantum Gravity (QG), as we shall see in the following. This suggests that it might be possible to test our approach by QG effects. One feature that seems to be required by most, if not all approaches to QG, is dimensional reduction. Singular General Relativity shows that singularities are accompanied in a natural way by dimensional reduction.

##### 9.2. Dimensional Reduction in QFT And QG

Various results obtained in Quantum Field Theory (QFT) and in QG suggest that at small scales a dimensional reduction should take place. The definition and the cause of this reduction differ from one approach to another. Here is just a small part of the literature using one form of dimensional reduction or another to obtain regularization in QFT and QG:(i)fractal universe [97, 98], based on a Lebesgue-Stieltjes measure or a fractional measure [99], fractional calculus, and fractional action principles [100–109];(ii)topological dimensional reduction [110–114];(iii)vanishing dimensions at LHC [115];(iv)dimensional reduction in QG [116–118];(v)asymptotic safety [119];(vi)Hořava-Lifschitz gravity [120];(vii)other approaches to Quantum Gravity based on dimensional reduction including [121–126].

Some of these types of dimensional reduction are very similar to those predicted by SGR to occur at benign singularities.

##### 9.3. Is Dimensional Reduction due to the Benign Singularities?

Quantum Gravity is perturbatively nonrenormalizable, but it can be made renormalizable by assuming one kind or another of dimensional reduction. The above mentioned approaches did this, by modifying General Relativity. In this section we point that several types of dimensional reduction, which were postulated by various authors, occur naturally at our semiregular and quasi-regular singularities [96].

###### 9.3.1. Geometric Dimensional Reduction

First, at each point where the metric becomes degenerate, a geometric or *metric reduction* takes place, because the rank of the metric is reduced:

###### 9.3.2. Topological Dimensional Reduction

From the Kupeli theorem [47] follows that for constant signature, the manifold is locally a *product * between a manifold of lower dimension and another manifold with metric . In other words, from the viewpoint of geometry, a region where the metric is degenerate and has constant signature can be identified with a lower dimensional space. This suggests a connection with the *topological dimensional reduction* explored by Shirkov and Fiziev [110–114].

###### 9.3.3. Vanishing of Gravitons

If the singularity is quasi regular, the Weyl tensor as approaching a quasi-regular singularity. This implies that the *local degrees of freedom,* that is, the gravitational waves for GR and the gravitons for QG, vanish, allowing by this the needed renormalizability [116].

###### 9.3.4. Anisotropy between Space and Time

In [43] we obtained new coordinates, which make the Reissner-Nordström metric analytic at the singularity. In these coordinates, the metric is given by (40). A *charged particle* with spin can be viewed, at least classically, as a Reissner-Nordström black hole. The above metric reduces its dimension to dim .

To admit space + time foliation in these coordinates, we should take . An open research problem is whether this anisotropy is connected to the similar anisotropy from* Ho*ř*ava-Lifschitz *gravity, introduced in [120].

###### 9.3.5. Measure Dimensional Reduction

In the *fractal universe approach* [97, 98, 127], one expresses the measure in the integral
in terms of some functions , some of them vanishing at low scales:

In *Singular General Relativity*,
If the metric is diagonal in the coordinates , then we can take

This suggests that the results obtained by Calcagni by considering the universe to be fractal follow naturally from the benign metrics.

##### 9.4. Dimensional Reduction and Quantum Gravity

The Singular General Relativity approach leads, as a side effect, to various types of dimensional reduction, which are similar to those proposed in the literature to make Quantum Gravity perturbatively renormalizable. By investigating the nonrenormalizability problems appearing when quantizing gravity, many researchers were led to the conclusion that the problem would vanish if one kind of dimensional reduction or another is postulated (sometimes ad hoc). By contrary, our approach led to this as a natural consequence of understanding the singularities.

Of course, in SGR the dimensional reduction appears at the singularity, while QG is expected to be perturbatively renormalizable everywhere. But if classical particles are singularities, quantum particles behave like sums over histories of classical particles. Thus, at any point there will be virtual singularities to contribute to the Feynman integrals. This means that the effects will be present everywhere. They are expected as a reduction of the determinant of the metric, and of the Weyl curvature tensor, which allows the desired regularization. Moreover, as the energy increases, the order of the Feynman diagrams in the same region increases, and we expect that the dimensional reduction effects induced by singularities become more significant too. It is an open question at this time whether this dimensional reduction is enough to regularize gravity, but this research is just at the beginning.

#### 10. Conclusions

We reviewed some of our results of Singular General Relativity [38], concerning the black hole singularities. Some singularities allow the canonical and invariant construction of geometric objects which remain smooth and nonsingular. By using these objects, one can write equations which are equivalent to Einstein’s equations outside singularities but in addition extend smoothly at singularities. The FLRW big bang singularities turn out to be of this type. The black hole singularities can be made so by removing the coordinate singularity for the charged black hole singularities, the electromagnetic potential and field become smooth. The singularities of the black hole having a finite life span are compatible with global hyperbolicity and conservation of information. Such singularities are accompanied by dimensional reduction, a feature which is desired by many approaches to Quantum Gravity. While in these approaches dimensional reduction is obtained by modifying General Relativity, these singularities lead naturally to it, within the framework of GR.

There is a rich literature concerning gravity, black holes, and singularities in lower or higher dimensions (see e.g., [76, 128–130] and references therein). While the geometric apparatus of Singular Semi-Riemannian Geometry reviewed in Section 3 works for other dimensions too, in this review we focused only on four-dimensional spacetimes, and some of the results do not work in more dimensions.

#### Conflict of Interests

The author declares that there is no conflict of interests section regarding the publication of this paper.

#### Acknowledgment

The author thanks an anonymous referee for the valuable suggestions to improve the completeness of this review.