Non-singular quantum improved rotating black holes and their maximal extension

TL;DR

This paper introduces a modified Newman-Janis algorithm to derive non-singular, maximally extended rotating black hole solutions from quantum improved static black holes, eliminating singularities and analyzing their causal structure.

Contribution

It presents a novel prescription for extending static quantum black holes to rotating ones without singularities, and thoroughly examines their horizons and causal diagrams.

Findings

The quantum improved rotating black holes are free of scalar curvature singularities.

The horizons and causal structures resemble those of classical Kerr black holes.

Penrose diagrams illustrate the maximal extension of these non-singular spacetimes.

Abstract

We add a prescription to the Newman-Janis algorithm in order to use it as a means of finding new extended (`through r<0') rotating black hole spacetimes from static spherically symmetric ones. Then, we apply the procedure to a quantum improved black hole spacetime coming from Quantum Einstein Gravity. The goal is to get a maximally extended spacetime corresponding to a non-singular rotating black hole emulating the standard maximally extended Kerr black hole in regions where quantum effects are negligible. We rigourously check for the existence of scalar curvature singularities in the quantum improved rotating spacetime and we show that it is devoid of them. We also analyze the horizons and causal structure of the rotating black hole and provide Penrose diagrams for the maximally extended spacetime.

Equations

$$G(k)=\frac{G_0}{1+\omega G_0{k}^2},$$

$$k(P)=\frac{\xi }{d(P)},$$

$$d(P)={\int }_{\mathcal{C}}\sqrt{|d{s}^2|},$$

$$d{s}^2=-f(r)d{t}^2+g(r)d{r}^2+r^{2}d{\Omega }^2.$$

$$x^{\rho }\to {\tilde{x}}^{\rho }=x^{\rho }+i{y}^{\rho }(x^{\sigma })$$

$$Z_a^{\mu }\to {\tilde{Z}}_a^{\mu }({\tilde{x}}^{\rho },{\overline{\stackrel{~}{x}}}^{\rho }).$$

$${\tilde{x}}^{\rho }=x^{\rho }+i{\gamma }^{\rho }(x^{\sigma })$$

$$d{s}^2=-f(r)d{t}^2+f(r{)}^{-1}d{r}^2+r^{2}d{\Omega }^2.$$

$$f(r)=1-\frac{2G(r)m}{r}$$

$$G(r)=\frac{G_0{r}^3}{r^3+\tilde{\omega }{G}_0(r+\gamma G_{0}m)},$$

$$d{s}^2=-f(r)d{u}^2-2dudr+h(r)d{\Omega }^2,$$

$$l^{\mu }={\delta }_r^{\mu },n^{\mu }={\delta }_u^{\mu }-\frac{f(r)}{2}{\delta }_r^{\mu },m^{\mu }=\frac{1}{\sqrt{2h(r)}}\left({\delta }_{\theta }^{\mu }+\frac{i}{\sin \theta }{\delta }_{\varphi }^{\mu }\right)$$

$$r^{\prime }=r+ia\cos \theta ,u^{\prime }=u-ia\cos \theta .$$

$$l^{\prime \mu }={\delta }_r^{\mu },n^{\prime \mu }={\delta }_u^{\mu }-\frac{\bar{f}(r^{\prime })}{2}{\delta }_r^{\mu },m^{\prime \mu }=\frac{1}{\sqrt{2\bar{h}(r^{\prime })}}\left({\delta }_{\theta }^{\mu }+\frac{i}{\sin \theta }{\delta }_{\varphi }^{\mu }+ia\sin \theta ({\delta }_u^{\mu }-{\delta }_r^{\mu })\right)$$

$$\frac{1}{r}\to \frac{1}{2}\left(\frac{1}{r^{\prime }}+\frac{1}{{\bar{r}}^{\prime }}\right),r^2\to r^{\prime }{\bar{r}}^{\prime }$$

$$\bar{h}$$

$$\bar{f}$$

$$g_{uu}$$

$$g_{r\varphi }$$

$$F(r)=\frac{r^2+a^2}{\bar{f}(r,\theta )\Sigma +a^2{\sin }^2\theta },H(r)=\frac{a}{\bar{f}(r,\theta )\Sigma +a^2{\sin }^2\theta }$$

$$\bar{G}(r,\theta ;\alpha ,\beta ,\delta )=G_0\frac{r^{3+\alpha }{\Sigma }^{-\alpha /2}}{r^{3+\alpha }{\Sigma }^{-\alpha /2}+\tilde{\omega }{G}_0(r^{1+\beta }{\Sigma }^{-\beta /2}+\gamma G_{0}m{r}^{\delta }{\Sigma }^{-\delta /2})}$$

$$\Sigma \bar{f}(r,\theta )+a^2{\sin }^2\theta =D(r),$$

$$\bar{G}(r)=G(r)=\frac{G_0{r}^3}{r^3+\tilde{\omega }{G}_0(r+\gamma G_{0}M)}.$$

$$F(r)=\frac{r^2+a^2}{r^2+a^2-2m\bar{G}(r)r}\text{mbox}andH(r)=\frac{a}{r^2+a^2-2m\bar{G}(r)r}$$

$$G(r)=\frac{G_0|r{|}^3}{|r{|}^3+\tilde{\omega }{G}_0(|r|+\gamma G_{0}m)}.$$

$$g_{tt}$$

$$g_{\theta \theta }$$

$${\Delta }_{\tilde{\omega }}\equiv r^2+a^2-2G(r)mr.$$

$$d{s}^2=-\frac{{\Delta }_{\tilde{\omega }}}{\Sigma }(dt-a{\sin }^2\theta d\varphi {)}^2+\frac{\Sigma }{{\Delta }_{\tilde{\omega }}}d{r}^2+\Sigma d{\theta }^2+\frac{{\sin }^2\theta }{\Sigma }(adt-(r^2+a^2)d\varphi {)}^2,$$

$$I_6$$

$$I$$

$$K$$

$$\mathcal{R}=\frac{2m(2G^{\prime }+r{G}^{\prime \prime })}{\Sigma }.$$

Full text

Non-singular quantum improved rotating black holes and their maximal extension

R. Torres

*Department of Physics, UPC, Barcelona, Spain.

Abstract

We add a prescription to the Newman-Janis algorithm in order to use it as a means of finding new extended (‘through $r<0$’) rotating black hole spacetimes from static spherically symmetric ones. Then, we apply the procedure to a quantum improved black hole spacetime coming from Quantum Einstein Gravity. The goal is to get a maximally extended spacetime corresponding to a non-singular rotating black hole emulating the standard maximally extended Kerr black hole in regions where quantum effects are negligible. We rigourously check for the existence of scalar curvature singularities in the quantum improved rotating spacetime and we show that it is devoid of them. We also analyze the horizons and causal structure of the rotating black hole and provide Penrose diagrams for the maximally extended spacetime.

KEYWORDS: Black Holes, Newman-Janis Algorithm, Singularities, Extensions, Asymptotic Safety, Quantum Einstein Gravity.

E-mail: ramon.torres-herrera@upc.edu

1 Introduction

It is well-known that most astrophysically significant bodies are rotating. The collapse of a rotating body contributes to the increase of its angular speed while maintaining constant angular momentum. In this way, if the body finally generates a black hole it will be a rotating black hole (RBH). This is the main reason why it is crucial to study RBHs and to analyze their properties.

From a classical point of view, an uncharged (charged) RBH spacetime will be described by a Kerr (Kerr-Newman, resp.) solution. This implies the existence of certain horizons, a specific causal structure and a singular ring. However, several authors have suggested that the existence of singularities in the classical solutions has to be considered as a weakness of the theory rather than as a real physical prediction. Consequently, some have tried to avoid the singularities in the models for RBHs by proposing heuristic regular spacetimes for them (see, for instance, [1][2][3]). Other authors, inspired by the work of Bardeen, have taken the path of nonlinear electrodynamics [4][5][6], which seems to provide the necessary modifications in the energy-momentum tensor in order to avoid singularities in the RBH (see, for instance, [7][8][9]). Yet, another way of addressing the problem of singularities is to take into account that quantum gravity effects should play an important role in the core of black holes, so that it would seem convenient to directly derive the black hole behaviour from an approach to quantum gravity.

In this regard, some regular non-rotating Black Holes inspired in different approaches to Quantum Gravity have appeared in the recent literature (see, for example, [10][11][12][13][14][15] and references therein). For our purposes, let us remark the step in this direction taken by Bonanno and Reuter in [16] by introducing an effective quantum spacetime for spherically symmetric black holes based on the Quantum Einstein Gravity (QEG) approach (see, for instance, [17][18][19]). The obtained quantum improved Schwarzschild solution indicates that the horizons and causal structure could be notably modified by quantum corrections and that the BH spacetime could be devoid of singularities.

However, this solution lacks of the rotation that one would expect for realistic black holes. If we want to test quantum improved metrics with astrophysical observations it is necessary to have quantum corrected rotating solutions. In this line, Reuter and Tuiran [20] have tried a direct attack on the problem by using the QEG approach in order to obtain an improved Kerr solution. Nevertheless, some problems that had already appeared in the non-rotating case [16] become now much more important. Namely, in the QEG approach and through the use of the Functional Renormalization Group Equation, first, one finds the running Newton constant $G(k)$ depending on the considered energy scale $k$ [17]

[TABLE]

where $\omega$ is a constant and $G_{0}$ is the standard gravitational constant. Then, one converts the energy scale dependence into a position dependence, what can be written as

[TABLE]

where $\xi$ is a constant (to be fixed) and $d(P)$ is the distance scale that provides the relevant cutoff when a test particle is located at a point $P$. If the distance scale must be diffeomorphism invariant then one could write

[TABLE]

where $\mathcal{C}$ is a curve from a reference point $P_{0}$ to $P$. The problem is that there is a great deal of freedom in choosing $\mathcal{C}$ for the RBH case and that there is not a unique natural choice for the distance scale. Nevertheless, If we write the RBH spacetime in Boyer-Lindquist-like coordinates $(t,r,\theta,\phi)$, one can restrict the dependence of $d$ on the coordinates simply by taking into account that for a stationary and axially symmetric spacetime $d=d(r,\theta)$ only (so that $G=G(r,\theta)$). In [20] it is argued that the dependence of $d$ on $\theta$ should be asymptotically subdominant (i.e., negligible for $r\rightarrow\infty$). It is also argued that the dependence on $\theta$ should not be too important for $r$ of the order of Planck length. However, a specific expression for the angular dependence was not found.

Our aim in this article is to obtain a quantum improved rotating black hole by using as alternative approach the Newman-Janis (NJ) algorithm [21], which allows to get a rotating solution from a static spherically symmetric one. The use of the standard NJ algorithm with the goal of obtaining non-singular black hole solutions was suggested by Bambi and Modesto in [1]. Here, we will see that, in general, the strict standard approach consisting of five steps [22][1] must be supplemented with an extra prescription if we want to get a well-behaved extended (‘through $r<0$’) RBH spacetime from the algorithm.

Equipped with this prescription we will apply it to the aforementioned quantum improved Schwarzschild solution [16]. The goal is to find a regular rotating black hole spacetime emulating the standard maximally extended Kerr solution in regions where quantum effects are negligible. Once the correct maximally extended improved RBH spacetime is found we will analyze its properties. In particular we will be interested in rigourously proving the absence of scalar curvature singularities by studying the complete set of algebraically independent curvature scalars. We will also analyze the horizons and causal structure of the improved spacetime which will be compared with those of the classical Kerr solution.

The article has been divided as follows. Section 2 is devoted to the Newman-Janis algorithm and the enhancements required to provide us with correct extended (‘through $r<0$’) spacetimes for rotating black holes. In section 3 the quantum improved Schwarzschild solution is introduced and the enhanced N-J algorithm is used to provide and extended rotating black hole. The regularity of the obtained spacetime is shown in section 4, while section 5 is devoted to the study of the fulfillment of the energy conditions. The possible global structure of the BH spacetime depending on both its mass and its angular momentum is studied in section 6. Finally, the results are discussed in section 7.

2 Newman-Janis algorithm and maximally extended spacetimes

The standard Newman-Janis algorithm is a five-step procedure for generating new solutions of Einstein’s equations by using as a seed solution a static spherically symmetric one [21][22]. The seed solution can always be written as

[TABLE]

The five steps are [22]:

Rewrite the seed line element in advanced null coordinates. 2. 2.

Express the contravariant form of the metric in terms of a null tetrad $Z^{\mu}_{a}$. 3. 3.

Extend the coordinates $x^{\rho}$ to a new set of complex coordinates

[TABLE]

and let the null tetrad vectors $Z^{\mu}_{a}$ undergo a transformation

[TABLE]

Require that the transformation recovers the old tetrad and metric when $\tilde{x}^{\rho}=\bar{\tilde{x}}^{\rho}$. 4. 4.

Obtain a new metric by making a complex coordinate transformation

[TABLE] 5. 5.

Apply a coordinate transformation $u=t+F(r)$, $\phi=\varphi+H(r)$ to transform the metric to Boyer-Lindquist-type coordinates.

As it is well-known this procedure has been successfully applied to the Schwarzschild solution in order to get (in a straightforward way) Kerr’s solution. It is convenient to remark here that, as Kerr’s solution reveals, even if the final rotating solution of this general procedure can be singular this does not mean that $r=0$ cannot be traversed. On the contrary, consider Kerr’s case in which $r=0$ represents a whole disk [23][24]. Only the boundary of the disk ($r=0$, $\theta=\pi/2$) is singular so that $r=0$ can be traversed through $\theta\neq\pi/2$. In this way, the disk can be considered as a two-sided aperture to a second sheet on which $r$ is negative, what provide us with an analytic extension of the solution. In Kerr’s solution the standard NJ algorithm can be applied directly obtaining a natural extension for $r<0$ because the seed Schwarzschild solution has $f(r)=1-2m/r=g^{-1}(r)$. In this way, when one considers negative values for $r$ this is clearly mathematically feasible and physically equivalent to deal with the geometry generated by a negative mass. As a consequence, when the function $f$ undergoes the process of complexification becoming $\bar{f}=\bar{f}(r,\theta)$ this eventually provide us with a RBH spacetime that is well-behaved for all $r\in\Re$. In other words, we directly get a natural extension through $r<0$ because, previously, the seed spacetime covered with positive values of $r$ and the seed spacetime covered with negative values of $r$, were both well-behaved.

Now, in general, when one uses the NJ-algorithm one would like to extend the new found solution (even more, if the considered solution is regular) beyond $r=0$. However, if one insists in emulating the ‘$r<0$ extension’ used in the standard Kerr solution, one has to take into account that for $r<0$ both $f(r)$ and $g(r)$ could have problems from a mathematical point of view (for example, do they exist and are real?) and from a physical point of view (is the found solution meaningful for $r<0$?). In this way, if one wants the NJ-algorithm to provide a natural extended solution through $r<0$ one needs to add a preliminary prescription:

Deduce, if possible, the correct behaviour (both from a mathematical and a physical point of view) of $f(r)$ and $g(r)$ in the spacetime covered with negative values of $r$.

In practice, this often requires rethinking the method111Note that the method usually will not imply the use of GR. used to reach the original seed (2.1), but now considering that $r<0$, what could be nontrivial in most cases. In order to exemplify this, let us now find an extended (through $r<0$) non-singular quantum improved solution for a rotating black hole spacetime.

3 Improved rotating solution

The renormalization group improved Schwarzschild solution found by Bonanno and Reuter [16] can be written as

[TABLE]

where

[TABLE]

and

[TABLE]

$G_{0}$ is Newton’s universal gravitational constant, $m$ is the mass measured by an observer at infinity and $\tilde{\omega}$ and $\gamma$ are constants coming from the non-perturbative renormalization group theory and from an appropriate “cutoff identification”, respectively. The preferred theoretical value of $\gamma$ is $\gamma=9/2$ while it can be deduced that the precise value of $\tilde{\omega}$ is $\tilde{\omega}=167/30\pi$. In fact, the properties of the solution do not rely on their precise values as long as they are strictly positive. A relevant fact with regard to $\tilde{\omega}$ is that it carries the quantum modifications. In effect, if we make explicit Planck’s constant in (3.2), one gets $\tilde{\omega}=167\hbar/30\pi$ and, thus, $\tilde{\omega}=0$ would turn off the quantum corrections.

Now, in order to see the problems with the standard NJ-algorithm [22][1], we can try to blindly apply it to the solution (3.1) in order to get a quantum improved RBH spacetime. The five steps for this case would be:

The coordinate change $du=dt-dr/f(r)$ allows us to write the metric in advanced null coordinates as

[TABLE]

where $h(r)=r^{2}$. 2. 2.

The null tetrad $Z^{\mu}_{a}=(l^{\mu},n^{\mu},m^{\mu},\bar{m}^{\mu})$ satisfying $l_{\mu}n^{\mu}=-m_{\mu}\bar{m}^{\mu}=-1$ and $l_{\mu}m^{\mu}=n_{\mu}m^{\mu}=0$ can be chosen as

[TABLE]

so that $g^{\mu\nu}=-l^{\mu}n^{\nu}-l^{\nu}n^{\mu}+m^{\mu}\bar{m}^{\nu}+m^{\nu}\bar{m}^{\mu}$. 3. 3.

We perform the standard coordinate change

[TABLE]

and demand $r^{\prime}$ and $u^{\prime}$ to be real. In this way the null tetrad transforms into ($Z^{\prime\mu}_{a}=Z^{\nu}_{a}\partial x^{\mu^{\prime}}/\partial x^{\nu}$)

[TABLE]

The functions $\bar{f}$ and $\bar{h}$ come from the complexification of $f$ and $h$ and, for the moment, we only know that they must be real and that they must reproduce Kerr solution if the quantum effects are turned off ($\tilde{\omega}=0$). This is possible if the functions are chosen in the usual manner [21][22][1], i.e., by using the complexification

[TABLE]

that provide us with

[TABLE]

where there is still some freedom in choosing the function $\bar{G}$. 4. 4.

The new non-zero metric coefficients can be computed to be

[TABLE] 5. 5.

In order to get the metric in Boyer-Lindquist type coordinates we perform the coordinate change $u=t+F(r)$, $\phi=\varphi+H(r)$ where

[TABLE]

and $\bar{f}$ and $\bar{h}$ are such that $F$ and $H$ must be functions of $r$ alone. In principle, one could conceive a general $\bar{G}$ (thus, $\bar{f}$) with the form

[TABLE]

where $\alpha$, $\beta$ and $\delta$ are parameters. However, note that (3.5) implies

[TABLE]

and substituting $\bar{f}$ using (3.3) one immediately sees that $\bar{G}=\bar{G}(r)$. In other words, $\bar{G}$ cannot depend on $\theta$. Thus, $\alpha=\beta=\delta=0$ and one is left with the straightforward case in which

[TABLE]

In effect, in this case $F$ and $H$ are really functions of $r$ alone since

[TABLE]

and, therefore, it is possible to write the solution in Boyern-Lindquist type coordinates.

Let us stop here the algorithm in order to consider what would happen to the metric coefficients (3.4) if, following Kerr’s example, one tries to analytically extend the solution through $r=0$ by just considering negative values for $r$. Clearly, one gets that this extension is not admissible from a physical point of view. It suffices to consider (1.1) in which $G(k)\geq 0$ (and $G(k)\stackrel{{\scriptstyle k\rightarrow\infty}}{{\rightarrow}}0$) and compare it with (3.6) that takes negative values around $r=0$ for negative values of $r$. This is due to the fact that when one goes from (1.1) to (3.2) [16] one assumes that $r$ is non-negative. Therefore, as argued in the previous section, we should have first computed the correct behaviour of the improved Schwarzschild solution for negative values of $r$ (what requires rethinking the derivation of the improved solution). We have done this in the appendix obtaining $G(r)$ for all $r\in\Re$ as

[TABLE]

This running $G$ is a non-negative, even and $C^{2}$ function (see fig.1).

Only if one applies the N-J algorithm using this running $G$ (and, thus, defining sensible functions $f(r)$ and $g(r)$ in the seed spacetime covered with $r<0$ in (2.1)) one can obtain a physically meaningful naturally extended RBH spacetime.

From here, the JN-algorithm tell us that the new non-zero metric coefficients will be

[TABLE]

where

[TABLE]

and $G(r)$ is defined in (3.7). Thus, the line element can be written in the familiar Boyer-Lindquist form as

[TABLE]

where the quantum corrections are all included in $\Delta_{\tilde{\omega}}$ (which explains why we have chosen the subindex $\tilde{\omega}$).

4 Regularity

In order to this spacetime to be devoid of scalar curvature singularities one should proof that all the algebraically independent second order curvature scalars in this spacetime are finite. While the metric (3.8) is singular at $\Delta_{\tilde{\omega}}=0$ and at $\Sigma=0$ it is easy to check (see [25] for the general case) that $\Delta_{\tilde{\omega}}=0$ is just a coordinate singularity and that it defines horizons in the spacetime (which will be analyzed later). With regard to $\Sigma=0$, the regularity checking is more involved. On the one hand, it is easy to see [25] that this spacetime is Petrov type D and Segre type [(1, 1) (1 1)]. This implies that the spacetime has only six real algebraically independent second order curvature scalars [26] that are collected in $\{\mathcal{R},I,I_{6},K\}$, where $\mathcal{R}$ is the curvature scalar and the rest of the invariants are defined as222Here the invariants are written in tensorial form. See [26] for their spinorial form.

[TABLE]

where ${S_{\alpha}}^{\beta}\equiv{R_{\alpha}}^{\beta}-{\delta_{\alpha}}^{\beta}\mathcal{R}/4$ and $\bar{C}_{\alpha\beta\gamma\delta}\equiv(C_{\alpha\beta\gamma\delta}+i\ *C_{\alpha\beta\gamma\delta})/2$ is the complex conjugate of the selfdual Weyl tensor being $*C_{\alpha\beta\gamma\delta}\equiv\epsilon_{\alpha\beta\mu\nu}C^{\mu\nu}_{\ \ \gamma\delta}/2$ the dual of the Weyl tensor 333Note that $\mathcal{R}$ and $I_{6}$ are real, while $I$ and $K$ are complex. Therefore, there are, indeed, only 6 independent real scalars..

The fact that $G(r)$ is not a $C^{3}$ function indicates that we cannot directly apply the general result of regularity in [25]. However, the proof of regularity can be carried out in similar terms. By computing the curvature scalar $\mathcal{R}$ for our BH one finds

[TABLE]

In order to see that this is finite along any path approaching $(r=0,\theta=\pi/2)$, let us now define the dimensionless quantity $\xi\equiv a\cos\theta/r$ and $\xi^{*}$, its value in the limit along a chosen path approaching $r=0$. Taking into account that $G^{\prime}(0)=G^{\prime\prime}(0)=0$, one finds

[TABLE]

Since $G^{\prime\prime\prime}(0^{+})=-G^{\prime\prime\prime}(0^{-})=6/(\gamma\tilde{\omega}G_{0}m)$, $\mathcal{R}$ would be finite along any path.

On the other hand,

[TABLE]

what again is finite along any path.

With regard to $I$,

[TABLE]

so that $I$ is finite along any path reaching $r=0$.

Finally, we get

[TABLE]

what is finite along any path reaching $r=0$.

Therefore, we conclude that there are not scalar curvature singularities in the spacetime.

5 Effective energy-momentum and energy conditions

The spacetime metric (3.8) has not been obtain by using Einstein’s equations. However, it is still possible to consider an effective energy-momentum tensor defined through

[TABLE]

For this spacetime it is easy to show that the effective energy-momentum tensor is type I [24] with

[TABLE]

where $\mu$, $p_{\bot}$ and $p_{\|}$ are the (effective) vacuum energy density, radial and tangential pressures, respectively, in the orthonormal basis in which $T$ diagonalizes.

The weak energy conditions require

[TABLE]

This is violated for $r<0$ since the effective vacuum density satisfies $\mu<0$ in this asymptotically flat region ($G^{\prime}<0$ there -see fig.1). On the other hand, $\mu>0$ for $r>0$ and $\mu=0$ for $r=0$ and $\theta\neq\pi/2$. In this way, an observer can cross $r=0$ with $\theta\neq\pi/2$ measuring an effective energy-density that varies continuously from positive to negative values or viceversa. However, the value of $\mu$ reaches its absolute maximum value when approaching $r=0$, $\theta=\pi/2$ which is $|\mu|=3/(4\pi\gamma\tilde{\omega}G_{0}^{2})$. This is of the order of the Planck energy density, i.e., around $10^{113}\ J/m^{3}$ (in the International System of Units). A plot of the the effective vacuum energy density around $r=0$ is shown in figure 2.

The spacetime also violates the weak energy conditions in the region with $r>0$ around $r=0$. Specifically, the inequality that is not satisfied is $\mu+p_{\parallel}\geq 0$. In order to check this it suffices to consider its expression around $r=0$:

[TABLE]

which satisfies $\mu+p_{\parallel}<0$ for $r>0$.

This is not surprising since the absence of singularities implies that the spacetime should violate at least one of the conditions appearing in the standard singularity theorems. We are just showing that the usual energy conditions appearing in the standard singularity theorems are violated.

6 Global structure

As stated in section 4, there is a coordinate singularity at $\Delta_{\tilde{\omega}}=0$. As usual [23], it is possible to extend the coordinate system beyond $\Delta_{\tilde{\omega}}=0$ using the coordinate change in section 3 (first step in the NJ algorithm) with straightforward predictable consequences. The coordinate $r$ changes its character from spacelike when $\Delta_{\tilde{\omega}}>0$ to timelike when $\Delta_{\tilde{\omega}}<0$. Therefore, the boundaries $\Delta_{\tilde{\omega}}=0$ between these regions are horizons of the spacetime. Classically ($\tilde{\omega}=0$), there are two solutions to $\Delta\equiv\Delta_{\tilde{\omega}=0}=0$:

[TABLE]

corresponding to an inner $r_{-}$ and an outer $r_{+}$ (Cauchy and event, respectively) horizons. Now, in order to get the quantum corrected horizons we should solve

[TABLE]

which is equivalent to finding the roots of a fifth-degree polynomial. Even if there is not a general formula for the roots in this case we can analyze the general behaviour of the horizons by taking into account the following

• •

Since $G(r)\geq 0$ there will not be roots for negative values of $r$. I.e., there are no horizons in the $r<0$ asymptotically flat regions.

• •

At large distances, $G\sim G_{0}$ so that one recovers the behaviour for the Kerr solution. In particular, $\Delta_{\tilde{\omega}}>0$ and $r$ will be a spacelike coordinate.

• •

For $r\simeq 0$ ($a\neq 0$) we have $\Delta_{\tilde{\omega}}>0$ thanks to the effect of the rotation and, again, $r$ will be a spacelike coordinate. Note that this is what happened in the classical Kerr solution, however now the inner region is in full quantum regime ($G\sim 0$). We illustrate the differences between the classical and the quantum case in fig.3.

• •

As in the classical case, the number of horizons depend on the relationship between $m$ and $a$ and there can be just none, one or two horizons (see fig.4).

As the figure suggests the value of $r$ for the quantum corrected inner horizon stabilizes for big enough masses satisfying $m^{2}\gg a^{2}$. In effect, in this case one can develop $G$ in the form of a series and approximately solve $\Delta_{\tilde{\omega}}=0$ to get

[TABLE]

that in the $a=0$ case provide us with $r_{\tilde{\omega}-}\simeq\sqrt{\gamma\tilde{\omega}G_{0}/2}$, which is the result found in [16] for the nonrotating case. Likewise, in this big mass case one finds that the outer horizon satisfies

[TABLE]

In this way, there is a small quantum correction with respect to the classical outer horizon and, as in the non-rotating case [16], it affects the horizon by shrinking it.

• •

The extreme case (one horizon) was obtained in the classical case whenever $a^{2}=m^{2}$. However, this is now modified by the quantum effects. For instance, it is now possible to reach the extreme case even if $a=0$ (non-rotating case [16]). Nevertheless, since both the quantum effects and the action of the rotation help to generate an interior region with $\Delta_{\tilde{\omega}}>0$, the inner horizon (when it exists) tends to be bigger than the classical one and, in this way, the extreme case will be always reached for $a^{2}<m^{2}$. (See fig.5).

Let us denote by $m^{*}\ (=m^{*}(a))$ the value of the RBH mass that is needed to make a black hole of rotation parameter $a$ extreme. Then, there are three possible qualitatively different causal structures for the BH spacetime which are represented in the Penrose diagrams of figure 6 (for the $a^{2}<m^{*2}$ case) and of figure 7 (for the $a^{2}=m^{*2}$ or extreme case and the $a^{2}>m^{*2}$ or hyperextreme case).

7 Conclusions

The standard NJ algorithm can be used as a means of obtaining rotating spacetimes from static spherically symmetric ones. However, we have seen that, in general, its use does not provide us directly with a correct extended (through $r<0$) spacetime, neither from a mathematical point of view, nor from a physical point of view. Guided by the fact that a direct natural extension can be found in Kerr’s solution, in section 2 we have put forward a prescription in order to obtain well-behaved natural extensions for the RBH spacetimes obtained through the use of the NJ algorithm. We have seen that we could choose to extend the solution with negative values of $r$, but in order to do so, we first need to control the behaviour of the seed spacetime covered with negative values of the coordinate $r$.

We have shown this with a particular example in which the blind application of the standard algorithm provide us with an extension (through $r<0$) of the obtained rotating solution that turned out to be totally incorrect from a physical point of view. On the other hand, if one carries out a previous analysis of the seed spacetime covered with negative values of $r$ and uses the information in the algorithm, it provide us with a direct correct extension of the rotating solution for negative values of $r$, both from a mathematical and from a physical point of view. The obtained extension, however, is not an analytical extension since $G$ is a $C^{2}$ function. In fact, this is just another example in which the analytical extension is not the correct option (see [27] for other cases and further clarifications).

The application of the algorithm to a quantum improved solution has allowed us to obtain the extended spacetime corresponding to a regular rotating black hole that emulates the behaviour of the maximally extended Kerr solution in the regions where quantum effects are negligible – what is in itself a very interesting result. Moreover, we have seen that the algorithm provides us with an unique running $G$ from our chosen seed solution. We have rigourously shown that the obtained spacetime does not have scalar curvature singularities and that this fact is linked to its violation of the weak energy conditions (what allows the spacetime to avoid the conditions for the existence of singularities appearing in the standard singularity theorems). In this way, while in the (classical) Kerr solution $\Sigma=0\Leftrightarrow(r=0,\theta=\pi/2)$ defines a singular ring, in the quantum improved spacetime $\Sigma=0$ is just a regular belt. The features of the obtained regular belt are similar to those heuristically described in [1] and obtained for noncommutative inspired regular RBH in [28][29]. However, they differ from the features found for the exact regular RBH solutions in the framework of conformal quantum gravity [30], where the spacetime is inextendible beyond “$r=0$” and the curvature invariants are continuous.

We have seen that there are three qualitatively different cases for the obtained regular rotating black hole according to the relationship between $m$ and $a$ what, in fact, is similar to the situation found in Kerr’s case. In particular, we have seen that the number of horizons and the corresponding causal structures in the classical and quantum-improved cases are strongly related. However, the position of the horizons is modified due to the repulsive character of the quantum improvements. In this way, the inner horizon is bigger than the classical inner horizon, while the outer horizon shrinks with respect to the classical one. Related to this effect, we get that the extreme case is obtained for smaller rotations than in the classical case when quantum improvements in the RBH spacetime are considered (i.e., it is obtained for $a^{2}<m^{2}$).

It must be taken into account that the reliability of the QEG approach used to obtain the seed improved Schwarzschild solution [16] is questionable in the planckian regime, so that the regular belt is just suggested by the approach, but can not be guaranteed. Indeed, only a still nonexistent full Quantum Gravity Theory could provide us with the exact description in the planckian regime.

Finally, it is necessary to remark that, in general, there are other possible extensions (‘beyond $r=0$’) for rotating black hole spacetimes, apart from the ‘$r<0$’ extension discussed here. In each case, every possible extension has its own mathematical and/or physical pros and cons. A full analysis of the different extensions for general rotating black hole spacetimes will be the subject of a future work [31].

Acknowledgements

R Torres acknowledges the financial support of the Ministerio de Economía y Competitividad (Spain), projects MTM2014-54855-P.

Appendix A Running G for $r<0$

In the introduction we stated that the Functional Renormalization Group Equation leads to a running $G$ with the form [16][17]

[TABLE]

Then, one converts the energy scale dependence into a position dependence, what can be written as

[TABLE]

where $\xi$ is a numerical constant to be fixed and $d(P)$ is the distance scale that provides the relevant cutoff when a test particle is located at a point $P$. Finally, if the distance scale $d(P)$ form the point $P$ to the center of the black hole must be diffeomorphism invariant then one could write

[TABLE]

where $\mathcal{C}$ is a curve joining the points. In the case of a spherically symmetric BH the symmetry imposes that $d=d(r)$, however one still has to find an expression for the function, what requires considering the different possibilities for $\mathcal{C}$.

So far, we have been following the procedure described in [16]. We will still do it, with the sole difference that now we want to consider $r<0$. It is straightforward to see that Schwarzschild’s solution has no horizons for $r<0$ (or, equivalently, for negative masses) and that the coordinates $r$ and $t$ remain spacelike and timelike, respectively, for all $r<0$, what in fact makes the computations easier than in the $r>0$ case. First, let us consider the radial curve $\mathcal{C}_{1}$: $r=\lambda,t=t_{0},\theta=\theta_{0},\phi=\phi_{0}$. We have for all $r\leq 0$

[TABLE]

(Note that $d(r<0)>0$). The behaviour of this function for $|r|\ll G_{0}m$ is

[TABLE]

while for $|r|\gg G_{0}m$

[TABLE]

This is exactly the behaviour obtained for $r>0$ in [16], with the only difference that we have to add a modulus ($||$) to our negative $r$. Likewise, following [16], it is easy to see that other curves provide the same behaviour (A.2) for $|r|\ll G_{0}m$, while for $|r|\gg G_{0}m$ the behaviour (A.3) provides the largest momentum scale and, therefore, the actual cutoff. In this way, even if one cannot assert that (A) provide us with the exact behaviour of the distance scale, one concludes that the correct qualitative behaviour should interpolate between $|r|^{3/2}$ and $|r|$, what suggest to use in concrete computations the interpolating distance scale

[TABLE]

with $\gamma=9/2$. Now, using $k(r)=\xi/d(r)$ and the expression for the running $G$

[TABLE]

where $\tilde{\omega}\equiv\omega\xi^{2}$. Therefore, as stated in (3.7), the behaviour for $r\geq 0$ (3.2) and the just found behaviour for $r\leq 0$ can be combined in a running $G$ for all $r$ as

[TABLE]