1 Introduction

One of the most important exact solutions of Einstein vacuum field equations is the Kerr metric, which in Boyer–Lindquist (BL) coordinates can be expressed as

$$\begin{aligned} ds^2= & {} -\frac{\Delta -a^2 \sin ^2\theta }{\rho ^2}dt^2+\frac{\rho ^2}{\Delta }dr^2+\rho ^2 d\theta ^2\nonumber \\&+\frac{\sin ^2\theta \left( \left( a^2+r^2\right) ^2-a^2 \Delta \sin ^2\theta \right) }{\rho ^2}d\phi ^2 \end{aligned}$$
(1)
$$\begin{aligned}&-2\frac{a M \sin ^2(\theta ) \left( a^2-\Delta +r^2\right) }{\rho ^2}d\phi dt\ , \nonumber \\ \Delta\equiv & {} r^2-2Mr+a^2,\quad \text{ and }\quad \rho ^2\equiv r^2+a^2\cos ^2\theta .\nonumber \\ \end{aligned}$$
(2)

It describes an axisymmetric, stationary, asymptotically flat spacetime. The parameter \(M\ge 0\) is interpreted as the mass of the gravitational source, while the rotation parameter \(a\equiv J/M \) (spin) is the specific angular momentum, and J is the total angular momentum of the source. The spherically symmetric (static) Schwarzschild solution corresponds to the limiting case with \(a=0\). If the spin-mass ratio is within the range \(a/M\in ]0,1[ \), the spacetime corresponds to a Kerr black hole (BH). The extreme black hole case is defined by the relation \(a=M\), whereas a super-spinner Kerr compact object or a naked singularity (NS) geometry occurs when \(a/M>1\).

The Kerr metric tensor (1) has several remarkably properties.

(i):

The metric (1) is invariant under the application of any two different transformations of the form \({{\varvec{\mathcal {P}}}}_{\mathbf {Q}}:\mathbf {Q}\rightarrow -\mathbf {Q}, \) where \(\mathbf {Q}\) is one of the coordinates \((t,\phi )\) or the metric parameter a: a single transformation leads to a spacetime with an opposite rotation with respect to the unchanged metric.

(ii):

The Kerr solution is stationary and axisymmetric due to the presence of the Killing fields \(\xi _{t}=\partial _{t} \) and \(\xi _{\phi }=\partial _{\phi } \), respectively.

An observer moving with uniform angular velocity along the curves \(r=\) constant and \(\theta =\) constant will see a spacetime which does not change at all (therefore, the covariant components \(p_{\phi }\) and \(p_{t}\) of the particle four-momentum are conserved along the circular geodesics).Footnote 1

(iii):

As the metric is invariant under reflections with respect to the equatorial hyperplane \(\theta =\pi /2\), equatorial trajectories are confined in the equatorial geodesic plane.

For black hole and extreme black hole spacetimes, the radii

$$\begin{aligned} r_{\pm }\equiv M \pm \sqrt{M^2-a^2}, \end{aligned}$$
(3)

solutions of \(g^{rr}=0\), are the radii of the outer and inner Killing horizons, whereas

$$\begin{aligned} r_{\epsilon }^{\pm }\equiv M\pm \sqrt{M^2-a^2cos^2\theta }, \end{aligned}$$
(4)

solutions of \(g_{tt}=0\), are the outer and inner ergosurfaces, respectively, with \(r_{\epsilon }^{-}\le r_-\le r_+\le r_{\epsilon }^{+}\). In an extreme BH geometry, the horizons coincide, \(r_-=r_+ =M\), and the relation \( r_{\epsilon }^{\pm }=r_{\pm }\) is valid on the rotational axis (i.e., when \(\cos ^2\theta =1\)). In the Kerr BH spacetime, the lilling vector representing time translations at infinity, \(\partial _t\), becomes null on the outer ergosurface, \(r_{\epsilon }^{+}\), which is, however, a timelike surface. On the contrary, a lilling horizon is a lightlike hypersurface (generated by the flow of a lilling vector) on which the norm of a lilling vector vanishes. That is, the Kerr horizons are null surfaces, \(\mathcal {S}_0\), whose null generators coincide with the orbits of an one-parameter group of isometries, i.e., in general there exists a lilling field \({\mathcal {L}}\), which is normal to \(\mathcal {S}_0\).

Some additional properties of the Kerr spacetime include:

(iv):

In the limiting case of the Schwarzschild spacetime (\(a=0\)), \(r=2M\) is the lilling horizon with respect to the Killing vector \(\partial _t\). In general, in the special case of static (and spherically symmetric) BH spacetimes, the event, apparent, and Killing horizons with respect to the Killing field \(\xi _t\) coincide.

(v):

The event horizons of a spinning BH are Killing horizons with respect to the Killing field \({\mathcal {L}}_H=\partial _t +\omega _H \partial _{\phi }\), where \(\omega _H\) is the angular velocity of the horizon.

In this work, we extensively discuss the properties of the Killing vector \({\mathcal {L}}=\partial _t +\omega \partial _{\phi }\) in the case of NS geometries. In BH spacetimes, this vector plays a crucial role in defining thermodynamic variables. As we will see below, the velocity \(\omega \) (and its limit \(\omega _H\)) and the vector \({\mathcal {L}}\) (and its limit \({\mathcal {L}}_H\)) are important for defining horizons and establishing relations between black holes and extreme black holes. In fact, it can be shown that: (a) in the context of the rigidity theorem, \(\omega _H\) represents the BH rigid rotation. Stated differently, the (strong) rigidity theorem connects the event horizon with a Killing horizon. In fact, under certain conditions, the event horizon of a stationary asymptotically flat solution (with matter satisfying suitable hyperbolic equations) is a Killing horizon. (b) The BH event horizon of this stationary solution is moreover a Killing horizon with constant surface gravity (zeroth BH law-area theorem – the surface gravity is constant on the horizon of stationary black holes) [3, 4]. (c) Finally, the surface area of the BH event horizon is non-decreasing in time, which is the content of the second BH law (the laws state also the impossibility to achieve by a physical process a BH state with surface gravity \(\kappa =0\).)

We note here that the surface gravity of a BH may be defined as the rate at which the norm of the Killing vector vanishes from the outside. (The surface gravity is related to the acceleration of a particle corotating with the BH at the horizon and it can be written as (\({\mathcal {S}}{\mathcal {G}}_{Kerr}= (r_+-r_-)/2(r_+^2+a^2)\)). It is, therefore, a conformal invariant of the metric).

Possibly, we could isolate the contribution of the rotation in the expression of the surface gravity by comparing it with the static (and spherically symmetric) metric of Schwarzschild. In fact, the Kerr BH surface gravity can be written as the combination \(\kappa =\kappa _s-\gamma _a\), where \(\kappa _s\equiv { {1}/{4M}}\) is the Schwarzschild surface gravity, while \(\gamma _a=M\omega _{H}^{2}\) is the contribution due to the additional component of the BH intrinsic spin; \(\omega _{H}\) is, therefore, the angular velocity (in units of 1 / M) on the event horizon.

These laws, which depend also on the horizon angular velocity, impose important constraints on any physical process in the BH spacetime, but they also allow to distinguish the static solution, \(a=0\), from the Kerr BH solution. The first law of BH thermodynamics, applied to a Kerr BH spacetime, actually relates the variation of the BH mass, horizon area and angular momentum, including the surface gravity and angular velocity on the horizon, i.e., \(\delta M = (1/8\pi )\kappa \delta A + \omega _H \delta J\). In here, the term dependent on the BH angular velocity represents the “work term” of the first law, while the fact that the surface gravity is constant on the BH horizon, together with other considerations, allows us to associate it with the concept of temperature. This aspect tends to emphasize the difference (also topological) between Kerr’s BH and its extreme solution: in the extreme case, where (\(r_{\pm }=M\)), it is easy to see that the surface gravity is zero and, considering the association with the temperature, there is \(T_H = 0\), with consequences also with respect to the stability against Hawking radiation. Nevertheless, the entropy (or BH area) of an extremal BH is not null [3,4,5,6,7,8,9,10]. (An analogue implication of the third law it is said that a non-extremal BH cannot reach an extremal case in a finite number of steps.)

We investigate the properties of Kerr BHs and NSs from the point of view of stationary observers. In particular, we explore the characteristics of light surfaces, which correspond to the limiting frequencies of stationary observers. From the analysis of these orbital frequencies (and associated orbits), we introduce the concept of Killing throats, arising in NS spacetimes as the “opening” and disappearance of Killing horizons. More precisely, the Killing throat is a region bounded by a particular set of curves that we identify with the frequency of a stationary observer, which depends on the radial distance and the spin parameter a of the source. We define a Killing bottleneck as a particular case of a of Killing throat that appears in weak naked singularities (WNS). Thus, bottlenecks can be interpreted as throats “restrictions” that characterize WNS . The concept of strong and weak NSs depends on the value of the spin parameter and has been explored in several works [11,12,13,14,15,16,17,18]. However, in general, they are also differently defined as strong curvature singularities, for example, in [19]. Regarding various NSs properties and characteristics of the gravitational collapse, possible formation and stability of naked singularities as well as other analysis concerning observational phenomena related to possible NSs existence, we refer also to [20,21,22,23,24,25,26,27,28,29,30,31,32,33, 37,38,39,40,41,42,43,44]. In this work, WNSs are characterized by spin-mass ratios close to the value of the extreme BH. To explore these NS effects and to compare BHs with NSs, it is convenient to introduce the concept of “metric bundles” and “extended planes”. A metric bundle is a curve on the extended plane, i.e., a family of spacetimes defined by one characteristic photon orbital frequency \(\omega \) and characterized by a particular relation between the metrics parameters. This turns out to establish a relation between BHs and NSs in the extended plane. All the metric bundles are tangent to the horizon curve in the extended plane. Then, the horizon curve emerges as the envelope surface of the set of metric bundles. As a consequence, WNSs turn out to be related to a part of the inner horizon, whereas strong naked singularities (SNSs) with \(a>2M\) are related to the outer horizon.

This work is organized as follows. In Sect. 2, we study the main definitions and properties of stationary observers and light surfaces in BH and NS Kerr geometries. Killing throats and bottlenecks are the focus of Sect. 3. In Sect. 4, we introduce the concept of metric bundles and discuss the resulting connections between BHs and NSs. These results are generalized to include the cases of the Kerr–Newman and Reissner–Nordström spacetimes in Sect. 5. Concluding remarks and future perspectives follow in Sect. 6. This article closes with two Appendices. The off-equatorial case in the Kerr and Kerr–Newman geometries is considered in Appendix A. In Appendix B, we study the areas of the horizons and regions of the extended plane delimited by different metric bundles. Throughout this work, we introduce a considerable number of symbols and notations which are necessary to explain all the details of the results we will obtain. For clarity, we list in Table 1 the main symbols and their definitions.

Table 1 Lookup table with the main symbols and relevant notations used throughout the article

2 Stationary observers and light surfaces

Stationary observers have a tangent vector which is a spacetime Killing vector; their four-velocity is, therefore, a linear combination of the two Killing vectors \(\xi _{\phi }\) and \(\xi _{t}\) as:

$$\begin{aligned}&{d\phi }/{dt}={u^{\phi }}/{u^t}\equiv \omega ,\quad \text{ or }\quad u^\alpha =\gamma (\xi _t^\alpha +\omega \xi _\phi ^\alpha ), \end{aligned}$$
(5)
$$\begin{aligned}&\text{ with }\quad \gamma ^{-2}\equiv -\varepsilon (\omega ^2 g_{\phi \phi }+2\omega g_{t\phi }+g_{tt}) , \end{aligned}$$
(6)

where \(\omega \) (a dimensionless quantity) is the (uniform) angular velocity, while \(\gamma \) is a normalization factor (\(g_{\alpha \beta } u^\alpha u^\beta =-\varepsilon \)).

Because of the symmetries, the coordinates r and \(\theta \) of a stationary observer are constants along its worldline, consequently a stationary observer does not see the spacetime changing along its trajectory. Timelike stationary observers have angular velocity bounded in the range

$$\begin{aligned}&\omega \in ]\omega _-,\omega _+[ \quad \text{ where }\quad \omega _{\pm }\equiv \omega _{Z}\pm \sqrt{\omega _{Z}^2-\wp ^2}, \nonumber \\&\wp ^2\equiv \frac{g_{tt}}{g_{\phi \phi }}=\frac{g^{\phi \phi }}{g^{tt}},\quad \wp ^{-2}\equiv \frac{g^{tt}}{g^{\phi \phi }}=\frac{g_{\phi \phi }}{g_{tt}},\quad \omega _{Z}\equiv -\frac{g_{\phi t}}{g_{\phi \phi }},\nonumber \\ \end{aligned}$$
(7)

(\(\varepsilon =+1\)).Footnote 2 Zero Angular Momentum Observers (ZAMOs) are defined by the condition \(\mathcal {L_{ZAMO}}=0\) and have angular velocities \(\omega _Z\), which depend on the spin. A ZAMO, well defined in the ergoregion, corotates with the BH. ZAMOs have interesting properties in the case of slowly spinning naked singularities and certainly offer a particularly appropriate and convenient description of the spacetime in the ergoregion – see for example [16, 18, 45,46,47,48,49,50,51,52,53,54,55,56,57]. Static observers are defined by the limiting condition \(\omega =0\) and cannot exist in the ergoregion. The particular frequencies \(\omega _{\pm }\) provide an alternative definition of the horizons. Since the horizons are null surfaces, it should hold that \(\omega _+=\omega _-\), which is the limiting angular velocity for physical observers corresponding in fact to orbital photon frequencies. The quantity in parenthesis in the r.h.s. of Eq. (6) becomes null for photon-like particles and the rotational frequencies \(\omega _{\pm }\), as in Eq. (7). On the equatorial plane, the limiting orbital frequencies are

$$\begin{aligned}&\omega _{\pm }\equiv \frac{2 aM^2\pm M\sqrt{r^2 \Delta }}{r^3+a^2 (2M+r)}\ , \nonumber \\&\omega _{\pm }(r_+)= \omega _{Z}(r_+)=\omega _{H}\equiv \frac{a}{2 r_+}\equiv \frac{M}{2\omega _0 r_+}. \end{aligned}$$
(8)

The following limits are valid

$$\begin{aligned} \lim _{r\rightarrow \infty }\omega _{\pm }=0,\quad \lim _{a\rightarrow \infty }\omega _{\pm }=0,\quad \lim _{r\rightarrow 0}\omega _{\pm }= \omega _0\equiv \frac{M}{a}\ . \end{aligned}$$
(9)

The limit \(a\rightarrow \infty \) is used to formally explore the behavior in the strong NS singularity regime, for a given constant value of M, and more generally in the limit \(a\gg M\). As already mentioned in Sect. 1, the Killing vector

$$\begin{aligned} {\mathcal {L}}_{\pm }\equiv \xi _{t}+\omega _{\pm }\xi _{\phi } \end{aligned}$$
(10)

can be read as generator of null curves (\(g_{\alpha \beta }{\mathcal {L}}^\alpha _{\pm }{\mathcal {L}}^\beta _{\pm }=0\)) as the Killing vectors \({\mathcal {L}}_{\pm } \), null at r = \(r_+\), are also generators of Killing event horizons.

The expression (7) for the frequency of a stationary observer can be considered as an equation for the radii of the light surfaces \(r_{s}^{\pm }\). The solutions are then given as functions of the frequency \(\omega \) and can be written as [18]

$$\begin{aligned}&\frac{r_s^-}{M} \equiv \frac{2 \beta _1 \sin \left( \frac{1}{3} \arcsin \beta _0\right) }{\sqrt{3}} ,\nonumber \\&\quad \frac{r_s^+}{M} \equiv \frac{2 \beta _1 \cos \left( \frac{1}{3}\arccos (-\beta _0)\right) }{\sqrt{3}}\nonumber \\&\quad \text{ where }\quad \beta _1\equiv \sqrt{\frac{1}{\omega ^2}-\frac{1}{\omega _0^2}},\quad \beta _0\equiv \frac{3 \sqrt{3} \beta _1 \omega ^2}{\left( \frac{\omega }{\omega _0}+1\right) ^2}. \end{aligned}$$
(11)
Fig. 1
figure 1

Left panel: frequencies \(\omega _{\pm }\) for fixed values of the spin a / M for BHs and NSs. The coalescence of the Killing horizons \(r_{+}\) and \(r_-\) in the extreme black hole geometries and the emergence of a Killing throat and a Killing bottleneck in the NS geometries are clear – see also Figs. 2, 11, 2726 and 28, and center panel: killing horizons, \(r_{\pm }\), and radii \((r_{-}^-,r_+^+)\) as given in Eq. (13). Right panel: frequencies \(\omega _{\pm }\) in \(r_{\pm }\) and \((r_{-}^-,r_+^+)\) as functions of a / M

3 Killing throats and bottlenecks

The concept of Killing throats emerges through the analysis of the radii \(r_{s}^{\pm }(\omega ,a)\) (the frequencies \(\omega _{\pm }(r,a)\)) with respect to the orbital frequency \(\omega \) (the radius r) of light-like particles – see Figs. 2 and 3. A Killing throat in NS geometries is a connected region in the \(r-\omega \) plane, which is bounded by \(r_{s}^{\pm }(\omega ,a)\) or equivalently \(\omega _{\pm }(r,a)\), and contains all the stationary observers allowed within the limiting frequencies \(]\omega _-, \omega _+[\). Conversely, a BH Killing throat is either a disconnected region in the Kerr spacetime (in a sense similar to the concept of a path-connected space) or a region bounded by non-regular surfaces in the extreme Kerr BH spacetime. A Killing bottleneck in a NS spacetime is a narrowing of the Killing throat which appears only for specific naked singularities and involves a narrow range of frequencies and orbits – Fig. 1. The limiting case of a Killing bottleneck occurs in the extreme Kerr spacetime, as seen in the BL frame, where the narrowing actually closesFootnote 3 at the BH horizon \(r=M\).

More generally, the Kerr horizons determine the following frequencies:

$$\begin{aligned}&\omega _H^{\pm }\equiv \frac{a}{2 r_{\pm }}\equiv \omega _{\pm }(r_{\pm })\quad \text{ with }\quad \omega _H^+<\omega _H^-\quad \text{ for }\quad a>0\nonumber \\&\quad \text{ and }\quad \omega _H^{\pm }=\frac{1}{2}\quad \text{ for }\quad a=M. \end{aligned}$$
(12)

It should be noted then that while the horizons radii are functions of the metric parameters only, meaning that there is only one frequency, \(\omega _H^{\pm }\), on the horizons \(r_{\pm }\), respectively, the Killing bottlenecks depend on both frequency and radius, corresponding to the fact that the throat never closes, but in the limit of the extreme Kerr spacetime.

Considering again the horizons frequencies \(\omega _H^{\pm }\), we introduce the radii \(r^{\mp }_{\mp }\) representing the set of photon orbits with frequencies \(\omega _H^{\pm }\) at the \(\mathbf{BH}\) horizons

$$\begin{aligned}&r^{-}_{-}:\quad \omega _-(r_-^-)=\omega _-(r_-)=\omega _H^- \quad \text{ where }\nonumber \\&\quad r^{-}_{-}=\frac{1}{2} \left( \sqrt{\frac{32 M^3 r_-}{a^2}-a^2+6 M\sqrt{M^2-a^2}-22M^2}-r_-\right) \nonumber \\ \end{aligned}$$
(13)
$$\begin{aligned}&r_+^+:\quad \omega _+(r_+^+)=\omega _+(r_+)=\omega _H^+, \quad \text{ where }\nonumber \\&\quad r_+^+{=}\frac{1}{2} \left( \sqrt{\frac{32 M^3 r_+}{a^2}{-}a^2-6 M \sqrt{M^2-a^2}-22M^2}-r_+\right) ,\nonumber \\ \end{aligned}$$
(14)

with \( r_-^-<r_-<r_+<r_+^+\) – see Fig. 1. In Sect. 4, this property is displayed in a different context, showing a close connection between BHs and NSs. Moreover, the Killing horizons, \(r_{\pm }\), are defined as the tangent (envelope surfaces) of the curves defined by the conditions \(\omega _{\pm }(r,a)=\) constant. The existence of \(r_+^+>r_+\) implies that an observer could eventually measure the frequency of the outer horizon \(\omega _H^{+}\) on the equatorial plane, while no information can be obtained from \(r_{-}^-\) for the inner horizon frequency \(\omega _H^-\). In this sense, we may call this property as inner horizon confinement. This situation can be used to distinguish between slow rotating BHs and fast spinning BHs since the distance \((r_+^+-r_+)\) decreases with the spin. The existence of these radii may be related to the bottleneck presence.

Figure 2 shows the formation of the Killing throat as the spin of the naked singularity varies. The emergence of the Killing bottleneck in terms of the frequency (\(\omega -r\) plane) and of the radius (\(r-\omega \) plane) is evident in the case of weak naked singularities, i.e., slow spinning singularities. We specify below the limiting spin values which define weak naked singularities. To evaluate the effects of the spacetime dragging on the formation of a Killing bottleneck, we investigate in Sect. 5 the Kerr–Newman geometry, the limiting static case of the Reissner Nordström geometry, and the off-equatorial case.

Fig. 2
figure 2

Equatorial plane of the Kerr spacetime. Killing throat: zoom of the Killing bottleneck. Upper panels: the plane \(\omega \)-r / M with plots of \(\omega _{\pm }\) for different spins a / M. Left upper panel: light surfaces for different BHs to NSs. As a / M changes for weak naked singularities, the narrowing of the light surfaces is shown explicitly. Right upper panel: light surfaces in the bottleneck and the corresponding relevant radii. Bottom panels: the plane \(r/M-\omega \) with plots of the radii of stationary observers \(r_{s}^{\pm }\) for different spins a / M. Center and right bottom panels: zoom on the Killing bottleneck and relevant radii. The radii \(r_{III}^{\pm }\) (solutions of \(\partial _r^3\omega _{\pm }=0\)) are shown as functions of the spin a / M. The radii \(r_{\partial }\) and \(r_{\beta }\) are defined in Eqs. (16) and (B1), respectively

Three distinct phases are significant in the process of formation of bottlenecks:

(1):

Coalescence of the Killing horizons, which occurs in the extreme Kerr BH solution;

(2):

Formation of the Killing throat and emergence of the bottleneck in weak NSs;

(3):

Disappearance of the Killing bottleneck in strong NSs.

The analysis carried out in Figs. 2 and 5 suggests that the Killing bottlenecks can be defined through the conditions \(r_{III}^{\pm }:\; \partial _{\omega }^3r_s^{\pm }=0\) and \(\omega _{III}^{\pm }:\; \partial _{\omega }^3r_s^{\pm }=0\). On the other hand, the radii \(r_{II}^{\pm }:\; \partial _{\omega }^2r_s^{\pm }=0\) and, analogously, \(\omega _{II}^{\pm }:\; \partial _{r}^2\omega _{\pm }=0\) characterize the curvatures of the curves \(\omega _{\pm }\) and \(r_s^{\pm }\).

Fig. 3
figure 3

Plots of the surfaces \(r_{s}^{\pm }\) (in units of mass) versus the frequency \(\omega \) for different spin values a / M, including BH and NS geometries. The surfaces \(r_{s}^{\pm }\) are represented as revolution surfaces with height \(r_{s}^{\pm }\) (vertical axes) and radius \(\omega \) (horizontal plane). Surfaces are generated by rotating the two-dimensional curves \(r_{s}^{\pm }\) around an axis (revolution of the function curves \(r_{s}^{\pm }\) around the “z” axis). Thus, \(r=\) constant with respect to the frequency \(\omega \) is represented by a circle. The disks in the plots are either \(r=M\), \(r=r_\pm \)(black) or \(r=r_{\epsilon }^+=2M\)

Fig. 4
figure 4

Plots of the frequency surfaces \(\omega _{\pm }(r,\theta )\) as functions of the radial distance r / M in Cartesian coordinates (xy) for different spin values a, including BHs and NSs

Fig. 5
figure 5

Center-right panels. The radii \(r_{II}^{\pm }\) and \(r_{III}^{\pm }\), solutions of \(\partial _r^2\omega _{\pm }=0\) and \(\partial _r^3\omega _{\pm }=0\), respectively, are shown as functions of the spin a / M. Black regions correspond to \(r<r_{\pm }\). Left panel: The frequencies \(\omega _{II}^{\pm }\) and \(\omega _{III}^{\pm }\), solutions of \(\partial _\omega ^2r_s^{\pm }=0\) and \(\partial _r^3r_s^{\pm }=0\), respectively, are shown as functions of the spin a / M. Regions bounded by the horizons frequencies \(\omega _H^{\pm }\) are black shaded

Killing bottlenecks, identified in [18] as ripples in the \(r-\omega \) plane (see Figs. 3, 4), were interpreted in the BL frame as “remnants” of the disconnection between the Killing throat present in BH-geometries and the singular bottleneck of the extreme BH. The radii \(r_{III}^{\pm }\) and the frequencies \(\omega _{III}^{\pm }\), as shown in Fig. 5, define closed and limited surfaces. This implies that a Killing throat can always exist, but a Killing bottleneck appears only for certain frequencies and values of the dimensionless spin a / M. In fact, \(r_{III}^-\) is defined for NSs with spin \(a\in ]M, a_f]\), where \(a_f=1.840M\). On the other hand, \(r_{III}^+\) and \(\omega _{III}^+\) are not closed and \(\omega _{III}^+\) tends to the horizon frequency \(\omega _H^->\omega _H^+\) for very small spins. This means that the Killing bottleneck actually survives only for \(a\in ]M,a_{\bullet }]\), where, \(r_{III}^-=r_{III}^+\) at \(a_{\bullet }=1.668M<a_f\). However, the bottleneck frequencies satisfy the inequalities \(\omega _{III}^-<\omega _H^+<\omega _H^-<\omega _{III}^+\). Increasing the spin a / M, at constant mass, a bending of the frequency \(\omega _-\) appears.Footnote 4

Fig. 6
figure 6

Left and center panels: curves \(\omega _{\pm }=\) constant in different geometries with spacetime dimensionless spin a / M. Horizons are black thick lines. Right panel: curves \(\Delta ^{-} \omega \equiv \omega ^+-\omega ^-=\) constant and notable radii – see Fig. 5

Fig. 7
figure 7

Right panel: plane \(\omega -r\) for a NS with spin \(a=1.001M\). The plots are for the frequency difference \(\Delta ^-{\omega }\equiv \omega _+-\omega _-\), the sum \(\Delta ^+{\omega }\equiv \omega _++\omega _-\), and the killing bottleneck for the surfaces \(\omega _{\pm }\). The radii \(r_{\Delta }^-\) and critical points of the curves \(\omega _{\pm }\) are also shown. Note the role of the static limit \(r_{\epsilon }^+\) and the \(r_{\Delta }^-\) in the bottleneck definition. Right panel: curves \(\omega _{\pm }\) on \(r_{\Delta }^-\), i.e., solutions of \(\partial _r \Delta ^-\omega =0\)

There are several notable radii associated with the frequencies \(\omega _{\pm }\) and light surfaces \(r^{\pm }_s\), which are related to the extremes and saddle points of the curves in the region \(\Sigma _{\epsilon }^+\) (see [18]). The function \(\Delta \omega \equiv \Delta ^\pm \omega =\omega _+\pm \omega _-\) is considered in Figs. 6 and 7. The radius \(r_{\Delta }\), solution of \(\partial _{r}\Delta \omega =0\), clearly shows the presence of closed surfaces for \(r_{III}^{\pm }\) and \(r_{II}^{\pm }\), and provides a characterization of the Killing bottleneck. An analysis of \(\omega _{\pm }\) and \(\Delta \omega \) in Figs. 6 and 7 shows the emergence of horizons as the envelope surface in the plane \(r-a\) of the limiting frequencies \(\omega _{\pm }\). This important aspect will be addressed in details in Sect. 4, revealing the role played by the Killing horizons in BHsNSs connections.

4 Unveiling BHs–NSs connections

In this section, we explore the entire parameterized family of Kerr solutions with \(a/M\ge 0\). To this end, we introduce the concept of extended plane \(\pi _a\), where the entire collection of metrics of a parametrized family of solutions can be considered.

We may say that a quantity \(\mathcal {Q}(a)\) in the plane \(\pi _a\) induces a \(\mathcal {Q}-a\) realization of the extended plane, where a is a parameter that characterizes the entire family of solutions. For the case considered in this work, a is the dimensionless spin parameter. A special and simple example of an extended plane realization is given in Fig. 8, where we investigate constant frequency surfaces defining families of spacetime geometries that we call “metric-bundles”, \(g^{\pm }_{\omega }\), labeled by a frequency parameter \(\omega =\) constant. Such definitions are set from the properties of stationary observes and their limiting frequencies \(\omega _{\pm }\). In the extended plane, naked singularities and black holes can belong to the same metric bundle. In the extended plane of Fig. 8, BHs horizons \(r_{\pm }\) correspond to the spin-curve \(a_{\pm }(r)\equiv \sqrt{r(r-2M)}\); we shall see that in such a plane the BHs horizons \(a_{\pm }(r)\) define properties for all possible Kerr geometries, including BHs and NSs, that unveil an interesting connection between BHs and NSs.

Fig. 8
figure 8

Spins \(a_{\omega }^{\pm }\) versus r / M for different frequencies. The black region is for \(r<r_+\) and \(r_+\) is the BH outer horizon. See also Fig. 9 for a 3D representations of these regions

Fig. 9
figure 9

Kerr geometries: surfaces \(a_{\omega }^{\pm }\) (in units of mass) versus the radius r / M for different frequencies \(\omega \), including BH and NS geometries – see also Eq. (15). 3D representations of \(a_{\omega }^{\pm }\) versus r / M for different frequencies – see also Fig. 8. Each surface is a metric bundle \(g_{\omega }\) for a fixed value of \(\omega _0 = \) constant. The corresponding metric bundle origin is \(a_0=M/\omega _0\). The surfaces \(a_{\omega }^{\pm }\) are represented as revolution surfaces with height \(a_{\omega }^{\pm }\) (vertical axes) and radius r / M (horizontal plane). Surfaces are generated by rotating the two-dimensional curves \(a_{\omega }^{\pm }\) around an axis (revolution of the function curves \(a_{\omega }^{\pm }\) around the “z” axis). Thus, \(a=\) constant with respect to the radius r / M is represented by a circle under this transformation. The disks in the plots are either \(a=M\) or \(r=r_{\epsilon }^+=2M\). The surfaces \(a_{\omega }^{\pm }\) are green and pink colored, respectively (as mentioned in the legend). Horizon surfaces determined by \(a_{\pm }=\sqrt{r(2M - r)}\) are gray surfaces. For each fixed frequency \(\omega =\overline{\omega }\) there is an associated spin \({\bar{a}}\equiv {\bar{\omega }}^{-1}\) (see the discussion in Sect. 4). In the BH range, the surfaces \(a_{\omega }^{\pm }\) are in the region \(r<r_-\), where \(r_-\) is the inner horizon

Fig. 10
figure 10

Left panel: regions \(a_{\omega }^{\pm }>M\) (NS) and \(a_{\omega }^{\pm }\in [0,M]\) (BH) versus r / M. The ergoregion \(\Sigma _{\epsilon }^+\), the NS and the BH regime are shown. Right panel: \(\Delta ^- a_{\omega }\equiv a_{\omega }^+-a_{\omega }^-=\) constant in the plane \(r-\omega \). The arrows indicate increasing values of \(\Delta ^- a_{\omega }\). The curve \(a=M\) and \(r_{\partial }(\omega )\) are shown. Inside panel: The frequency \(\omega _{\partial }^+\), spins \(a_{\pm }=\sqrt{r(r-2M)}\), which define the BHs horizons and \(a_{\omega _{\partial }}^+\) defined in Eq. (16) as functions of r / M

Metric bundles \(g_{\omega }^{\pm }\)

Here, we specify the idea of metric bundles for the Kerr family of solutions. Solving Eq. (8) for the spin a, we obtain the following two quantities

$$\begin{aligned} a_{\omega }^{\pm }(r,\omega ;M)\equiv \frac{2 M^2 \omega \pm \sqrt{r^2 \omega ^2 \left[ M^2-r (r+2M) \omega ^2\right] }}{(r+2M) \omega ^2},\nonumber \\ \end{aligned}$$
(15)

which are plotted in Figs. 8 and 9 as functions of r / M, for different values of the frequency \(\omega \). Note that in the region \(r>r_{\epsilon }^+\), negative orbital frequencies are possible because they are associated to the retrograde (counterrotating) motion with respect to the central object; this fact implies the possibility of negative values of \(a_{\omega }^{\pm }\) for \(\omega >0\) – see Fig. 8. However, in this section, we restrict our analysis to the ergoregion \(\Sigma _{\epsilon }^+\), where \(a>0\) and \(\omega >0\)–see Figs. 8 and 9. Each spacetime of the Kerr family is represented (restricted to the equatorial plane) in the extended plane of Fig. 8 by a constant surface \(a_{\omega }^{\pm }/M=\) constant (horizontal lines in Fig. 8).

The metric bundles \(g_{\omega }\equiv g_{\omega }^{\pm }\) are defined by the curves \(\left. a_{\omega }^{\pm }\right| _{\omega }\) of constant frequency \(\omega \) in \(\pi _a\)– Fig. 8. Each \(g_{{\bar{\omega }}}=\left. a_{\omega }^{\pm }\right| _{{\bar{\omega }}}\) for a fixed frequency \({\bar{\omega }}\) is represented by closed and bounded curves which are continuous almost everywhere in \(\pi _a\). Below, we will discuss extensively the properties of these curves.

The bundles \(g_{{\bar{\omega }}}\) contain an (almost) continuum and infinite set of metric parameter values a / M. Each value of a / M sets a specific Kerr geometry. From Fig. 8, it is clear that eventually some bundles contain both BHs and NSs spacetimes, others define only BHs, while none of the bundle is constituted by NS only. In fact, all the metric bundles are tangent at least in one point to the horizons \(a_{\pm }\). Thus, from the quantities (15) an alternative definition of BHs Killing horizons \(r_{\pm }\) emerge. Indeed, from Fig. 8, it follows that the horizons \(a_{\pm }\) arise as the envelope surfaces of the curves \(a_{\omega }^{\pm }(r)\), i.e., the metric bundles \(g_{\omega }=\left. a_{\omega }^{\pm }\right| _{\omega }\) in \(\pi _a\). This will be a crucial property of the metric bundles with significant consequences that allow us to connect NSs to BHs in the extended plane. In fact, since the curve \(a_{\pm }\) is tangent to all metric bundles \(g_{\omega }\), the (inner and outer) horizons contain all the frequencies \(\omega \) defining each metric bundle and, therefore, describing both NSs and BHs in the extended plane.

From Fig. 8, it follows that a metric bundle has its origin \(a_0\) on the vertical axis \(r=0\) of \(\pi _a\) and closes on the tangent point to \(a_{\pm }\). The closeness of the metric bundles is due to the spacetime rotation. To investigate the solutions (15), which define the closed bundles, we solve the condition \(a_{\omega }^+=a_{\omega }^-\) and find

$$\begin{aligned}&a_{\omega }^+=a_{\omega }^-\quad \text{ on } \quad \frac{r_{\partial }^{\pm }(\omega )}{M}=\pm \frac{\sqrt{\omega ^2+1}}{\omega }-1\nonumber \\&\quad \text{ where }\quad a_{\omega }^\pm ( r_{\partial })\equiv a_{\partial }= 2 \omega r_{\partial }\quad \text{ and } \nonumber \\&a_{\omega _\partial }^+= \frac{2 M \sqrt{r}}{\sqrt{r+2M}}= 2 r \omega _{\partial }^+\quad \text{ where }\quad \omega _{\partial }^+= \frac{M}{\sqrt{r(r+2M)}}.\nonumber \\ \end{aligned}$$
(16)

The frequency \(\omega _{\partial }^+\) of Eq. (16) is a solution of the equation \(r_{\partial }^+=r\) (see Fig. 10); the function \(\omega _{\partial }^+(r)\) is, therefore, the frequency associated to the orbits \(r_{\partial }^+\), where \(a_{\omega }^+=a_{\omega }^-\) defines the metric bundle. In fact, \(\omega _{\partial }^+(r)\) does not depend on the spacetime spin because the information on the corresponding geometry can be extracted from \(\pi _a\) through \(r_{\partial }^+\), i.e., from the condition \(a_{\omega }^+=a_{\omega }^-\). Consequently, \(\omega _{\partial }^+\) is a function of the radius \(r=r_{\partial }^+\). The pairs \((r_{\partial }^+,\omega _{\partial }^+(r))\) identify the corresponding spin origin \(a_0\) (also origin of the metric bundle), which is defined by the frequencies \(\omega _{\partial }^+(r)\) and \(a_{\omega }^+=a_{\omega }^-\) at \(r_{\partial }^+\) – Fig. 10. Asymptotically, for very large values of r / M, the value \(\omega _{\partial }^+=0\) is approached as shown in Fig. 8, where \(a_{\omega }^+=a_{\omega }^-\) is valid on the line \(a=0\), that is, approaching the limiting geometry of the static and spherically symmetric Schwarzschild spacetime.

Fig. 11
figure 11

Left panel: radii \(\{r_{\Delta }, r_{\beta }, r_{\partial }, r_{\nu }, r_{\pi }\}\) an the spin \(a_{\partial }\), according to the Eqs. (B5), (16) and (B1), as functions of the frequency \(\omega \). Left panel: Spins \(a_{\omega }^{\pm }\)= constant given in Eq. (15) in the plane \(r/M-\omega \). Coalescence of the Killing horizons \(r_{+}\) and \(r_-\) in the extreme black hole geometries and the emergence of a Killing throat and Killing bottleneck in the NS geometries are shown – see also Figs. 1, 2, 27, 26 and 28. Here \(\Delta ^{\pm } a=a_{\omega }^+\pm a_{\omega }^-\). The radius \(r_{\partial }\) satisfies the equation \(\Delta ^{-} a=0\). The radii \(r_{\Delta }\equiv r_{\Delta }^{\pm }:\partial _r\Delta ^{\pm } a=0 \), and \(\{r_{\beta },r_{\nu }, r_{\pi }\}\) are limiting radii

Fig. 12
figure 12

Schematic representation of the BHsNSs correspondence. See also the \(a_g(a_0)\) function of Fig. 13. Right first panel: The spin \(a=2M/\omega \) between the planes \(a=0\) and \(a=\infty \)– cf. Eq. (12). Third and fourth panels: Representation of the BHsNSs correspondence. An own-up-arrow indicates the relation NSBH, defining the outer horizon \(r_+\). An up-down arrow determines the inner horizons, which are totally included in the BH. The limiting cases \(a=0\), \(a=M\), \(a=2M\) and \(a=\infty \) are also shown

We note that \(r_{\partial }^-\) is negative for positive values of the frequency. As we are restricting our analysis in this work to the case \(\omega >0\), we shall not consider \(r_{\partial }^-\); nevertheless, an analysis of the case \(\omega <0\) would, in fact, provide additional information about the spacetime structure even in the equatorial plane. A very small \(\omega _{\partial }^+\), on the other hand, corresponds to a very large (origin) spin \(a_0=M/\omega \). Note that the spin \(a_0\) corresponds to the frequency \(\omega _0=M/a\), which was introduced in Eq. (8) by considering the behavior of the stationary observer frequencies near the singularity \(r=0\); this is of importance in NS geometries as described in Sect. 3. The properties of this special frequency \(\omega _0\) have also been extensively discussed in [18]. More generally, as noted in Sects. 2 and 3, the dimensionless spin parameter a / M is related to the quantity \(M/\omega \) though the frequencies of the light surfaces (see [18]). Then, the function \(a_{\omega _\partial }^+(r)\) in Eq. (16) is obtained as \(a_{\omega }^{\pm }(r,{\omega _{\partial }^+})\). As shown in Fig. 10, the condition \(a_{\omega _\partial }^+(r)=a_{\pm }\) is valid only at the spacetime singularity \(r=0\); otherwise, \(a_{\pm }<a_{\omega _\partial }^+(r)<2M\), while the condition \( a_{\omega _\partial }^+(r)= 2M\) (a NS) is reached asymptotically for large values of r / M.

Note that the asymptotic limit of \( a_{\omega _\partial }^+(r)=2M\) is relevant as it corresponds to a metric bundle \(g_{\omega }^{\pm }\) at constant frequency \(\omega =0.5\), which defines the point of the envelope corresponding to the extreme Kerr BH solution \(a=M\). Figure 12 refers to the analysis of Fig. 8 and sketch the correspondence between BHs and NSs derived from the analysis of \(a_{\omega }^{\pm }\). The envelope \(a_{\pm }\) of the \(a_{\omega }^{\pm }\) curves is defined as the set of points (a / Mr / M) for which \(\partial _{\omega }a_{\omega }^{\pm }=0\), i.e., as the curve tangent to all \(a_{\omega }^{\pm }\) or also as the boundary of the region filled by the curves \(a_{\omega }^{\pm }\). Then, small changes of a and shifts along the orbit radius r leave \(\omega \) almost constant as \(a_{\omega }^{\pm }\) are continuum functions.

The relation between the radius \(r_{\partial }^{\pm }\), the spin \(a_{\partial }^{\pm }\) and frequencies \(\omega _{\pm }\) has to be confronted with Eq. (12) for the frequencies \(\omega _{H}^{\pm }\) at the horizons and radii \(r_\pm \) of the BH Killing horizons. These quantities play an important role also for the Killing bottleneck emergence considered in Sect. 3, as the surfaces \(a_{\omega }^{\pm }(\omega )=\) constant are related to the solutions \(\omega _{\pm }(a)\) of Eq. (8) and shown in Fig. 11. The relation \(r_{\partial }^{\pm }\omega =a_{\omega }^{\pm }/2\) of Eq. (16) is also used in Fig. 12 to unveil some BHs and NSs properties: The points on the lines \(a_{0}=\) constant for \(a_0\in ]M,a_{\bullet }]\) lead to the Killing bottleneck emergence of Fig. 11.

BHs and NSs in metric bundles \(g_{\omega }\)

As discussed above, a metric bundle \(g_{\omega }\) can comprise only BHs or BHs and NSs. Moreover, the horizons describe BHs and NSs in the extended plane. In the remaining of this section, we describe this last aspect and the BHs-NSs relation more closely.

Firstly, Fig. 10-left represents BHs and NSs in the \(\omega -r\) plane. The plane is divided into regions, where the metric bundles \(g_{\omega }\) include BHs or NSs; there are regions with only BHs or NSs and transition regions that cross different sections and are connected to Killing horizons and bottlenecks – see also Fig. 11. A special transition region is, for example, around the extreme BH horizon \(r=M\) with frequency value \(\omega =1/2\), which corresponds to the extreme Kerr BH.

We concentrate on the restricted \(\pi _a^+\subset \pi _a\) plane determined by \(a\ge 0\) in Fig. 8. The restriction of the extended plane \(\pi _a\) to \(\pi _a^+\) exploits the symmetry by reflection around the axis \(a=0\), where negative origins of metric bundles build up the horizons \(-a_{\pm }<0\). The plane has the following remarkable sections: \(\mathcal {P}_\mathcal {S}\), \(\mathcal {P}_{\mathcal {L}}\), \(\mathcal {P}_\mathcal {\odot }\), \(\mathcal {P}_\mathcal {H}\), and \(\mathcal {P}_ {\mathcal {\otimes }}\). The line \(\mathcal {P}_\mathcal {S}=(r=0, a=\text{ constant })\) includes BHs and NSs. \(\mathcal {P}_\mathcal {S}\) represents the collection of all origins \(a_0\). A variation of the dimensionless spin of the singularity (at \(r=0\)) corresponds to a variation of \(a_0\) in \(\mathcal {P}_\mathcal {S}\). This line also represents the singularity frequencies \(\omega _0=M/a_0\). Moreover, we define \(\mathcal {P}_{\mathcal {L}}=(r_{\partial },a_{\partial })\) and the set \(\mathcal {P}_\mathcal {H}=(a_{\pm }, r)\) for the Killing horizons. Curves \(a_{\omega }^{\pm }\) at constant \(\omega \) closes on \(\mathcal {P}_{{\mathcal {L}}}\) and have origins in \(\mathcal {P}_{\mathcal {S}}\). The line \(\mathcal {P}_\mathcal {\odot }=(a=0, r)\) describes the limiting case of the Schwarzschild solution. \(\mathcal {P}_\mathcal {\odot }\) crosses \(\mathcal {P}_\mathcal {H}\) in \(r=0\) and \(r=2M\). Finally, the set \(\mathcal {P}_ {\mathcal {\otimes }}=(a=M, r)\) describes the extreme Kerr spacetime and crosses \(\mathcal {P}_\mathcal {H}\) at \(a_{\pm }=M\) and \(r=M\). The collection of all the points \(a_{\omega }=\) constant generates the light-curves shown in Fig. 11, where the Killing bottleneck and Killing throat emerge at \(a_{\omega }/M>1\).

According to Fig. 8, metric bundles can be classified in two classes. (1) The first class includes the curves \(a_{\omega }^{\pm }\) tangent to \(r_-\), including those bundles which are “entirely” contained in the BH sector of \(\pi _a^+\), i.e., \(a\in [0,M]\) and \(r\in [0,r_-]\). (2) The second class includes metric bundles tangent to the outer horizon \(r_+\), containing BHs and NSs in the same bundle. These two classes are separated by the limiting bundle \(g_{\omega }^{\pm }\) with origin \(a_0=2M\) and tangent to the maximum of \(a_{\pm }\); that is, the point in \(\pi _a^+\) with \(r=M\), for \(a=M\) and frequency \(\omega =0.5\), describing the extreme Kerr spacetime. Bundles with origins in the BH sector are completely contained in an “inaccessible” region between the singularity, \(r=0\), and the inner horizon \(r_-\). Bundles with origin in the the naked singularity sector \(a>M\) comprise BH and NS geometries, which are, therefore, related because they are contained in the same metric bundle. (Notice that the definition of \(g_{\omega }^{\pm }\), through the stationary observes definition, provides a BH-NS relation). The case of very strong NSs (very large a / M, asymptotic value \(a\approx +\infty \)) corresponds to the limiting point \(r_+\approx 2M\) and \( a\approx 0\) – see Fig. 8. This suggests that the NS sector is closely related to the BH sector. We explore this connection more deeply below.

The horizons as an envelope surface of the metric bundles

An important consequence of the approach presented here is that it allows us to establish a relation between BHs and NSs. In fact, the outer horizon in \(\pi _a^+\) emerges as an envelope surface of metric bundles with only NSs origins. That is, the BH outer Killing horizon \(r_+\) relates a BH with \(a\in [0,M]\) with a NS with \(a\in ]2M,\infty ]\). The inner horizon in \(\pi _a^+\) can be constructed by metric bundles with NS and BH origins. Viceversa, the BH horizons are tangent to all the metric bundles. All the BHs and NSs frequencies \(\omega _{\pm }\) are, therefore, related to the horizon frequency \(\omega _H\), and all horizon frequencies are the limiting orbital photon frequencies in NS and BH spacetimes – Fig. 8. As the horizon is tangent to all the metric bundles, each metric bundle is defined by one frequency \(\omega \), which coincides with the horizon frequency \(\omega _H\) on the tangent point in the extended plane. Frequencies \(\omega \) in (15) are actually the limiting frequencies \(\omega _\pm \). It follows that the metric bundles, connected the singularities frequencies \(\omega _0\), are defined by the origins of the metric bundles and the horizon frequencies \(\omega _H\).

Remarkably, the construction of the inner horizon \(r_-\) is confined to metric bundles contained entirely in the BH sector. This fact could lead to important consequences, when considering the collapse towards a BH and the process of formation of the inner horizon. These metric bundles are all confined in the \(\pi _a^+\) region \(r\le r_-\) and \(a\le M\). This implies that the inner horizon \(r_-({\bar{a}})\) of a BH with spin \({\bar{a}}\) is related to a metric bundle with origin \(a_0\) in the BH or WNS (\(a\in [M,2M]\)) regions, while the outer horizon \(r_+({\bar{a}})\) is related to a NS metric bundle.

Before continuing, it is convenient to return to the concept of metric bundle, as shown in Fig. 8, and analyze three particular curves in detail: (1) the horizontal lines \(a=\) constant of \(\pi _a\); (2) the vertical lines \(r=\) constant and; (3) the curves \(a_{\pm }\) corresponding to horizons.

(1) The horizontal lines a = constant

For a BH or a NS with \(a_0\in \mathcal {P}_\mathcal {S}\), there are two curves \(a_{\omega }^{\pm }\) of the bundle, which are tangent at a point \(p\in \mathcal {P}_\mathcal {H}\) on the horizons. Each metric bundle \(g_{\omega }^{\pm }(a_0)\) is associated to a constant frequency, \(\omega _0=M/a_0\), defined by the bundle origin \(a_0\). Considering a bundle, there is a pair of points \(p_1(a)=(a,r_1(a))\) and \(p_2(a)=(a,r_2(a))\) with \(a=\) constant and \(r_1(a)<r_2(a)\), which are located respectively on the two curves of the bundle. A special case is the pair of points present on the origin line, \(P_{\mathcal {S}}\), where \(r_1(a_0)=r_2(a_0)=0 \). Also the horizons \(P_{\mathcal {H}}\) for the extreme Kerr spacetime are special. Note that, in general, the condition \(r_1(a)<r_2(a)\) on the horizon for \(a=a_H\in a_{\pm }(r)\) leads to Eq. (13). On the orbits \((r_1(a),r_2(a))\), light-like orbital frequencies \(\omega _{\pm }\) are equal to \(\omega _a(r_1)=\omega _a(r_2)=M/a\), where \(\omega _a\in (\omega _+,\omega _-)\). There are two special geometries associated to the closure points \(P_{\mathcal {S}}\) and \(P_{\mathcal {H}}\): \( P_{\mathcal {S}}\) represents the singularity \(r=0\) with \(\omega _a(0)=\omega _a(0)=M/a\), corresponding to a spacetime with spin a. Moreover, the second special geometry is always a BH, whose (inner or outer) horizon has the frequency \(\omega _H=M/a\), i.e., the frequency of the bundle. We investigate the spin \(a_g\) of this specific spacetime below.

We note that metric bundles cross each other in \(\pi _a^+\). This means that, in a fixed spacetime with a fixed radius, there are two limiting frequency values \(\omega _{\pm }\). Therefore, the maximum number of crossing points between metric bundles is two. Consequently, there are two crossing metric bundles with origins at \(a=1/\omega _{\pm }\), respectively.

(2) Vertical lines \(r=\) constant

Let us now focus on the vertical lines in \(\pi _a^+\) and the intersections on each metric bundle. For a fixed orbit r, there are, in general, two Kerr geometries corresponding to the spins \(a_1(r)<a_2(r)\) of the same bundle. In addition, there are the following limiting cases: 1. At \(r=0\) there is an infinite number of origins, where \(a_1(0)=a_2(0)\) on a bundle. 2. The point \(r_t\) is the tangent point of the vertical line to the bundle, satisfying the condition \(a_{\omega }^+(r_t)=a_{\omega }^-(r_t)\) – see Eq. (16) and Fig. 10. The condition \(r_{\partial }^+=r_{\pm }\) is satisfied only in special geometries \(a_{R}\). In general, for \(r\in ]0,r_{\partial }^+[\), there are two geometries \(a_1<a_2\), corresponding to two BHs or one BH and one NS. This implies that at a fixed r, there are two geometries \((a_1,a_2)\) with frequencies \(\omega =1/a\). The case of the geometries identified in the extended plane by the vertical lines will be clarified at the end of this section because it is necessary to consider the tangency conditions as shown in Fig. 17. With respect to this property, \(a_1<a_2\), there are two exceptions represented by the metric bundles with vertical lines tangent to the horizon. There are two asymptotic cases, where \(a_1=a_2\); these cases with respect to the horizon points \((a=0, r=0)\) and (\(a=0,r=2M\)) correspond to the limit of the Schwarzschild spacetime – Fig. 17. In general, a vertical line \(r={\bar{r}}\) on a metric bundle \(g_{\omega _0}\) defines two geometries with \(\omega _+=\omega _0\) and \(\omega _-=\omega _0\). More details on this point will be addressed at the end of this section. In other words, this property relates limiting frequencies of different spacetimes. This result is in agreement also with the results presented in Sect. 3.

(3) The horizon surfaces \(a_{\pm }\)

All the metric bundles have the frequencies \(\omega _{H}=1/a_{\pm }\) at the horizon in the extended plane. As the metric bundle frequency \(\omega _0\) is also a limiting photon orbital frequency \(\omega _+\) or \(\omega _-\) and as all frequencies \(\omega _0\) represent also the horizon frequency \(\omega _{H}\), then the limiting photon frequencies \(\omega _{\pm }\) on an orbit r in all the spacetimes \(a\in [0,\infty [\) are the horizons frequencies \(\omega _H\) in the extended plane. Viceversa, the set of the horizon frequencies \(\omega _H\) in the extended plane is the collection of all the limiting orbital photon frequencies \(\omega _{\pm }\) in any BH or NS spacetime. This issue will be discussed in detail below.

BHs–NSs correspondence

The relation between BHs and NSs can be formalized by introducing the functions \(a_g(a_0)\) and \(a_R(a_0)\) of the origin \(a_0\) as follows

$$\begin{aligned}&\forall \; a_0>0,\quad a_g\equiv \frac{4 a_0M^2}{a_0^2+4M^2}\quad \text{ where }\quad a_g\in [0,M]\nonumber \\&\quad \text{ and } \quad \lim _{a_0\rightarrow 0}a_g= \lim _{a_0\rightarrow \infty }a_g=0,\quad a_g(a_0=2M)=M, \end{aligned}$$
(17)
$$\begin{aligned}&\quad \text{ and }\quad a_R(a_0)\equiv \sqrt{4 \sqrt{(a_0+M)M}M-(a_0+4M)M} \ . \end{aligned}$$
(18)

The behavior of these functions is plotted in Fig. 13. For a fixed value of the origin \(a_0\), the function \(a_g(a_0)\) defines univocally the outer \(r_+\) or the inner \(r_-\) horizon. This relation includes the Schwarzschild limiting case, which corresponds to the limit \(a/M\rightarrow +\infty \), and the extreme Kerr spacetime, which is connected with the naked singularity value \(a=2M\) – see also Fig. 12. More precisely, \(a_g(a_0)\) is the solution of the equations \(a_{\omega }^{\pm }(r_{\pm },\omega _0)=a\), where \(\omega _0=M/a_0\) – while \(a_R(a_0)\) is the solution of the equations \(r_{\partial }(a_0)=r_{\pm }\), providing information about the orbits where the curves \(a_{\omega }^{\pm }\) close at the horizons. The analysis of off-equatorial and charged generalizations considered in Sect. 5 reaffirms this result. According to Fig. 8, each point \(r_H\) on the horizon is univocally related to a NS or a BH metric in the \(\pi _a^+\) plane. Each frequency \(\omega \) is in correspondence with a point \(r_H\) on \(r_-\) or \(r_+\). In this sense, we might say that the information contained on the horizon (the frequency \(\omega _H\)) is extracted by the functions \(a_{\omega }^{\pm }\).

Fig. 13
figure 13

Plots of the spins \(a_g\) and \(a_R\) defined in Eq. (17) as functions of the origin \(a_0/M\). BH and NS regions are gray shaded. \(a_g\) is a representation of the BHsNSs correspondence – see also Fig. 12. The sectors and regions corresponding to strong naked singularities (SNS) and weak naked singularities (WNS) are explicitly shown (cf. definitions given in Sect. 4). Here \(a_0^-=M\), \(a_0^+=4M: a_g=a_g^+\), \(a_g^1=(3/4)M=a_{g}(a_0^-)\)

Fig. 14
figure 14

Below right panel: the functions \(r_-(r_+)\) (red line) and \(r_+(r_-)\) (black line) (on the lines a=constant of the extended plane). The region \(r_\pm \times r_{\mp }\in [0,2M]\times [0,2M]\) describes BH horizons in the extended plane along the red and black lines or, equivalently, the dotted lines, according to the symmetries enlightened in the plot. Below left panel: the solutions \(a_0^{\pm }/M=\frac{2 r_{\pm }(a_g)}{a_g}\) as functions of bundle origin \(a_0\); they correspond to \(a=a_0\) and \(a=a_p\), i.e., \(a_g(a_0)=a_g(a_p)\) and \(\omega _0^{-1}\equiv a_0^{\pm }/M=\frac{2 r_{\pm }(a_g)}{a_g}\equiv \omega _H^{-1}(a_g)\), determining the related BC or BD bundles – Table 2. Upper panels: Recurrence relation for the point \(a_g[n]\) as function of the starting points \(a_0\). BD bundles have coincident cycles (BB and DD) with the exception of the initial point; BB-CC bundles have partially coincident cycles. Cycles (with the exclusion of the initial point \(a_0\)) are entirely confined in the BH region. Models \({\mathbf {XX}}\) with \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) are defined in Fig. 15. For a fixed \(a_0\), \(a_g[n]\) decreases with the number of cycles. The importance of the bundle with origin \(a_0=2M\) is also shown; this is related to the extreme Kerr BH and there is a maximum for each cycle; \(a_0=2M\) is the fixed point of the transformation \(a_0=a_p\). The difference \(G[a_0]\equiv a_0-a_g\) increases reaching \(G[2M]= 1M=2M-a_g\) only for the first cycle – Table  2

Fig. 15
figure 15

Left and enter panels: models \({\mathbf {XX}}\) where \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) considered in Table  3. The spin \(a_{\omega }\) as a function of r / M for different origins \(a_0\) with tangent point \((r_g,a_g)\) on the horizon curve. The spins \(a_g <a_g^o\) are represented on \(\mathbf {X}^i<\mathbf {X}^o\), where \(a_g^o\) (\(\mathbf {X}^o\)) corresponds to the outer spin of the bundle for \(r=r_g\). \(\mathbf {X=A}\): origin \(a_0=1/2\), frequency \(\omega =2\); \(\mathbf {X=B}\): \(a_0=1\), \(\omega =2\); \(\mathbf {X=C}\) \(a_0=2\), \(\omega =1/2\); \(\mathbf {X=D}\) \(a_0=4 \), \(\omega =0.25\). The bundle D is related to \(\mathbf {C}\) as \(a_g(\mathbf {D})=a_g(\mathbf {B})\). The model \(\mathbf {D}\) (\(\mathbf {B}\)) defines \(r_+(a_g)\) (\(r_-(a_g)\)) for the BH spacetime with spin \(a=a_g\). (Center panel:) shaded region is delimited by the horizon curve. Models \({\mathbf {XX}}\) are shown. Inside panel: bundles parameterized in terms of the horizon frequency \(\omega _H\) of Eq. (23) are shown with \(a_g\) values. Right panel: the shaded region is \(r>r_\epsilon ^+=2M\). Frequencies \(\omega _1\)=constant of Eqs. (21), (22) in terms of the frequencies \(\omega _2\) and r

Fig. 16
figure 16

Below panel: solutions \(\partial _r a_{\omega }^{\pm }=\partial _r a_{\pm }\) in the plane \(r/M-\omega \). Bundles frequencies and the contact point to the horizons are represented for \(\omega =0.5\). The CC model of Fig. 15 and Table 3, where \(r_g=M\) and \(a_g=M\). Inside panel: The black curve is the horizon \(a_{\pm }\) and the function \(\partial _r a_{\pm }\); there are the two vertical asymptotes for the point \((a=0,r=0)\) and (a=0,r=2M) corresponding to the limiting static geometry. Models \({\mathbf {XX}}\) are shown with bundle frequencies for the evaluation of \((\partial _r a_{\omega }^{\pm }(X))\), where \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) is considered in Table 3 and Fig. 15. Considering the models curves \((\partial _r a_{\omega }^{\pm }(X))\), their intersections with \(\partial _r a_{\pm }\) provide the tangent point \(r_g\) and the tangent spin point \(a_g\). Moreover, they indicate the bundle curve \(a^{+}_\omega \) or \(a^{-}_\omega \) tangent to the horizon, as well as the tangent line inclination. Upper panels: \(a_{tan}=\) constant in terms of \((r,r_g)\); the black thick curve is \(a_{tan}=M\); curves for some special values of the r and \(r_g\) are also shown. These are related to the models \({\mathbf {XX}}\), where \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) is considered in Table 3 and Fig.  15

Furthermore, it is immediate to see that from the expression \(a_g(a_0)\) of Eq. (17), we obtain a relation between the horizon tangent spin (horizon frequency) and the bundle origin (bundle frequency), namely, \(\omega _0^{-1}\equiv a_0^{\pm }/M=\frac{2 r_{\pm }(a_g)}{a_g}\equiv \omega _H^{-1}(a_g)\); in particular, from \(\omega _0^{-1}\equiv a_0^{\pm }/M=\omega _H^{-1}(a_g)\), it is seen that the bundle frequencies \(\omega _0\) represent all (and only) the horizon frequencies on the tangent point, i.e., \(\omega _H(a_g(a_0))=\omega _0\). This implicitly relates also the horizons frequencies with the singularity frequencies; there are then particular BH spacetimes, where the outer horizon \(r_+\) or the inner and outer horizon \(r_{\pm }\) are defined by bundles with NSs. We detail this aspect below. Here we note that there is only one fixed point for the transformation \(a_g(a_0)\), namely \(a_0>a_g\), and \(a_0=a_g\) for \(a_0=0\).

We now introduce the concept of couples of related metric bundles, say, BD and BC (see Fig. 14). In the first couple, the first bundle has its origin in the NS region (tangent to the outer horizon) and the second bundle is completely or partially contained in the BH region (tangent to the inner horizon). The two bundles with origins (\(a_0,a_0^{\prime }\)) share equal tangent spin \(a_g\). That is, if \(a_0>a_0^{\prime }\), then the bundle with origin \(a_0\), frequency \(\omega _0=Ma_0^{-1}\), has the contact spin \(a_g\) in \(r_g\in r_+\) with horizon frequency \(\omega _H^+(r_g,a_g)=\omega _0=Ma_0^{-1}\). The second bundle of the couple has its origin at \(a^{\prime }_0\), frequency \(\omega ^{\prime }_0=M/a_0^{\prime }\), tangent spin \(a_g\) in \(r^{\prime }_g\in r_-\) and horizon frequency \(\omega _H^-(r^{\prime }_g,a_g)=\omega ^{\prime }_0=M/a_0^{\prime }\). Bundles \(g_{\omega _0}\) and \(g_{\omega _0^{\prime }}\) determine, in the sense of the envelope surface, respectively, the outer horizon \(r_+=r_g\) and the inner horizon \(r_-=r_g^{\prime }\) of the BH spacetime with spin \(a_g\). The relation between the tangent points \((a_g, r_g)\) and the origin \(a_0\) and the relations between BHs and NSs through the bundles will be addressed in full details below. Importantly, the condition of the bundle correspondence, i.e., \(a_g(a_0)=a_g(a_0^{\prime })\), leads to the non-trivial solution \(a^{\prime }_0=a_p\equiv 4M^2/a_0\) (see DD and BB model bundles of Figs. 14, 15, and 16 and Tables 2 and 3). In terms of the horizon frequency (equal to the bundles frequencies), there is \(\omega ^{\prime }_0=\frac{1}{4 \omega _0}\); in fact, using Eq. (12), this relation can be written in compact form as \( \omega _H^+\omega _H^-=\frac{1}{4}\) (or we can write \(a_0^+(a_g)a_0^-(a_g)=4M^2\)), which is independent of the spin a, in general. In Fig. 14, the solutions \(a_0^{\pm }/M=\frac{2 r_{\pm }(a_g)}{a_g}\) correspond to \(a=a_0\) and \(a=a_p\).

In the second couple, BC, the origin spin of one bundle \(a_0^{\prime }\) is the tangent point \(a_g(a_0)\) of the second bundle with origin \(a_0\) (therefore, \(a_0^{\prime }\) is always a BH and the other bundles are all BHs). An example of these couples are the models BB and CC of Figs. 14, 15, and 16 and Tables 2 and 3.

To enlighten some properties of the BC and BD bundles, we consider the difference \(G[a_0]\equiv (a_0-a_g)\) as a function of \(a_0\) and the recurrence relation for \(a_g\), i.e., \(a_g[n+1]=\frac{4 a[n]M^2}{a[n]^2+4M^2}\) where \(a[0]=a_0\). Then, \(a_g[n+1]\) decreases with the cycle order n (see Fig. 14). In fact, in BC bundles, the cycles are confined to the inner horizon in the extended plane (apart from the starting point \(a_0\)). Naturally, the only fixed point, \(a_p=a_0\), of this relation is in \(a_0=2M\), corresponding to the extreme BH.

Bundles BD have coincident cycles and bundles BC have partially coincident cycles; therefore, BD and BC bundles are related by partially coincident cycles (see Table 2 and Fig. 14).

Table 2 Recurrence relation \(a_g[n]\) for different starting points, see also Fig. 14. BD bundles with coincident cycles (BB and DD) are clearly denoted (excluding the initial point) and partially coincident cycles in BC bundles are also shown. Cycles (with the exclusion of the initial point \(a_0\)) are entirely confined in the BH region. Models \({\mathbf {XX}}\) where \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) are defined in Fig. 15
Table 3 Models \({\mathbf {XX}}\), where \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) as defined in Fig. 15

To conclude this analysis, we note that it is possible to find a linear relation between the horizons curves (in the extended plane) by re-expressing the curve of the inner horizon as a function of the outer horizon (on the lines \(a=\) costant) and, viceversa, i.e., \(r_-(r_+)\) and \(r_+(r_-)\) – Fig. 14.

BH–NS correspondence: one-to-one relation

There is a one-to-one correspondence between the points of the horizons, the horizon frequencies, and the spins \(a\in [0,\infty [\) for NSs or BHs. BHs are related to a part of the \(r_-\) curve, SNSs (\(a>2M\)) correspond to \(r_+\), and WNSs (\(a\in [M,2M]\)) are in correspondence with the envelope surfaces of the inner horizon, i.e., \(a_-\in \pi _a^+\) for \(r\in [0.8M,M]\). The limiting cases of Schwarzschild, \(a=0\), and extreme Kerr BH, \(a=M\), are connected with the limit \(a=\infty \) and the double point \(a_0=2M\), respectively.

In fact, we can say that \(\forall {\bar{a}}\in ]0,+\infty [\), \(\exists !\, {\bar{\omega }}_0\equiv M/{\bar{a}}\) and, viceversa, \( \forall {\bar{\omega }}_0\) there is one and only one \(a_0\in ]0,M]: {\bar{\omega }}_0=\omega _H\), where \(\omega _H\) is the horizon frequency, i.e., we connect points of \(\mathcal {P}_\mathcal {S}\) to points of \(\mathcal {P}_\mathcal {H}\) of the horizons by considering that each metric bundle relates univocally an origin \(a_0\) of \(\mathcal {P}_\mathcal {S}\) with a tangent point of \(\mathcal {P}_\mathcal {H}\). (\(a_g\) is solution of \(a_0=\omega _H^{-1}\)). Any origin of the metric bundle \(g_{\omega _0}^{\pm }\), associated to a frequency \(\omega _0 =\) constant, is associated to one and only one point \(p_{\pm }:\; p_-\in r_-\) or the outer \(p_+\in r_+ \), according to the origin \(a_0\).

A special case is the extreme Kerr BH solution, where the origin spin \(a_0=2M\), associated to the metric bundle \(g_{\omega _0}\) of constant frequency \(\omega _0=1/2\), crosses the horizons at \(r_\pm =M\) and \(a_\pm =M\). In general, for a fixed origin \(a_0\), there are two frequencies \(\omega _H\) and \(\omega _0\equiv M/a_0\ne \omega _H\), respectively, where \(\omega _0=M/a_0\) is the frequency of the metric bundle \(g_{\omega _0}\), and \(\omega _H\ne \omega _0\) is the horizon frequency defined by the spin \(a_{\pm }\) defined by the tangent point. \(p_{\pm }\equiv (a_{\pm },r_{\pm })\in \pi _a^{+}\).

The one-to-one BHsNSs correspondence is described by the function \(a_g\) as given in Eq. (17) and illustrated in Fig. 13. We can say that each BH solution is connected to one and only one \({\mathbf {NS}}\) in \(\pi _{a}^+\), as it emerges from the analysis of the Killing horizons and light frequencies on the equatorial plane and, viceversa, each NS is related to one BH. These considerations include the limiting cases of the Kerr extreme spacetime, where the associated metric bundle has origin \(a_0=2M\), and the limiting case of the static Schwarzschild BH, which is connected to the NS with \(a=+\infty \). The BHNS relation allows us to consider a spin shift from an initial \({\mathbf {BH}}_1\) (\({\mathbf {NS}}_1\)) source as corresponding to a shift of the respective \({\mathbf {NS}}_1\) (\({\mathbf {BH}}_1\)); therefore, the pair \({\mathbf {BH}}_1-{\mathbf {NS}}_1\) shifts to the pair \({\mathbf {BH}}_2-{\mathbf {NS}}_2\). The segment \(a_{{\mathbf {BH}}_1}-a_{{\mathbf {NS}}_1}\) of \(\mathcal {P_S}\in \pi _a^+\) transforms into \(a_{{\mathbf {BH}}_2}-a_{{\mathbf {NS}}_2}\), becoming larger or smaller depending on the curve \(a_g\) as shown in Fig. 13.

To conclude this section, we analyze the relation between the tangent radius \(r_g\) on the horizon and the bundle origin \(a_0\). We start with a description of Fig. 13.

Analysis of figure 13

Figure 13 represents the spin \(a\in \mathbf{BH}\) versus \(a_0\). Spins \(a\in {\mathbf{BH}}\) and \(a_0\) are connected through \(a_g\). The sectors and regions in this figure are determined by the following special boundary spins, considering that \(a_0\in [0,+\infty ]\) and \(a_g\in [0,M]\):

  • the origin \(a_0^-=M\) distinguishes NSs from BHs;

  • the spin \(a_0=2M\) defines the left region where \(a_0\in [0,2M]\) (for BH and WNS) and right region where \(a_0>2M\) (for \(\mathbf {SNSs}=\mathbf {SNS}^-\cup \mathbf {SNS}^+\));

  • the spin \(a_g^1\equiv a_{g}(a_0^-)=0.8M\) defines the up-sector where \(a\in [a_g^1,M]\) (for \({\mathbf {BH}}^+\)) and the down sector where \(a\in [0,a_g^1[\) (for \({\mathbf {BH}}^-\));

  • the spin \(a_0^+=4M: \;a_g=a_g^+\) distinguishes strong naked singularities \(\mathbf {SNS}^+\) and \(\mathbf {SNS}^-\).

Consequently,

  • a bundle origin \(a_0\) in the BH-region corresponds through the horizon curve to \({\mathbf {BH}}^-\) singularities (\(a_g:\quad a_0\in \mathbf{BH}\mapsto a_g \in \mathbf{BH}^-\));

  • origins \(a_0\) in the WNS-region correspond to \(a_g \in {\mathbf {BH}}^+\).

Therefore, \(a_g\in {\mathbf {BH}}={\mathbf {BH}}^-\cup {\mathbf {BH}}^+\) correspond, through the tangency with the inner horizon curve \(a_-\), to \(a_o\in \)BH\(\cup \)WNS;

  • the origin \(a_0\) in \(\mathbf {SNS}^-\) corresponds to \(a_g\in {\mathbf {BH}}^+\);

  • the origin \(a_0\) in \(\mathbf {SNS}^+\) corresponds to \(a_g\in {\mathbf {BH}}^-\).

Therefore, \(a_g\in {\mathbf {BH}}={\mathbf {BH}}^-\cup {\mathbf {BH}}^+\) is related to \(a_0\in \mathbf {SNS}^-\cup \mathbf {SNS}^+\).

Because \(\partial _{a_0}a_{g}\ge 0\), increasing the origin spin \(a_0\in \mathbf{BH}\cup \mathbf{WNS}\) and the tangent spin \(a_g\in \mathbf{BH}^-\cup \mathbf{BH}^+\) increases the left region. Let us consider the BHs and NSs correspondence determined by the tangent point spin \(a_g\). Note that a fixed origin \(a_0\in \mathbf {SNS}^{+}\) (down-right region) corresponds to the outer horizon tangent point (we identify \(a_g(a_0)\in {\mathbf {BH}}\)). This is sufficient for the determination of the spin \(a_0^-\in \mathbf{BH}^{-}\) and the origin of the bundle metric tangent to the inner horizon in \((a_g,r^-_g)\); therefore, this defines the inner horizon \(r^-_g\) of the \(\mathbf{BH}^-\) spacetime with spin \(a_g\).

Similarly, in the right-up region there are couples following related geometries \((a_g,a_0)\): (1) \(\mathbf {BH^+}-\mathbf {WNS}\) and (2) \(\mathbf {BH^+}-\mathbf {SNS}^{-}\).

We note that the origins \(\mathbf {SNS}^{\pm }\) (\(a_0\)) are in correspondence with a \(a_g\in \mathbf{BH}\); also the \(a_0\in \mathbf {WNS}\) and \(a_0 \in {\mathbf {BH}}\) are in correspondence with a \(a_g\in \mathbf{BH}\).

Therefore, in general there is a correspondence \(a_0\mapsto a_g\in {\mathbf {BH}}\mapsto a^{\prime }_0\), i.e, the origin of the bundle defines a tangent point to the horizon \(a_g\) and \(r_+\) or \(r_-\) in the spacetime with \(a_g\); correspondingly, there is the bundle with origin \(a^{\prime }_0\) whose tangent point to the horizon is \(a_g \)and \(r_-\) or \(r_+\), respectively.

Therefore, the following triple relations hold

(19)
(20)

The geometries of the triple relations given in Eq. (19) are bounded together by \(a_0\in a_+ \) and the inner horizon \(r_-\); on the other hand, the geometries of the two relations in Eq. (20) are bounded together by \(a_0\in a_-\). The geometries of the last two triple relations are bounded by \(a_g\). The sets ((b) and (c)) and ((a) and (d)) are related by an exchange of spins \(a_0\), \(a_0^{'}\). Bundles corresponding to the tangent \(a=a_g\) (same tangent point spin) belong to triplets connected by arrows. We shall see this also below considering some examples – see also Table 2.

The black hole area, delimited by the (outer) horizon, is a crucial quantity, determining the thermodynamic properties of BHs. Given the relevance of this concept, we study in Sect. 1 some properties of the areas of the regions delimited by metric bundles and compare them with the horizon area \(\mathcal {A}_{r_{\pm }}^{+}=\pi /2\) in the extended plane \(\pi _a^+\), i.e., the region in the plane \(\pi _a^+\) bounded by the horizon curve \(a_{\pm }\).

To conclude, we show that the horizons frequency \(\omega _H\) defines the bundles frequencies. We will resume part of the discussion carried out in relation with Eq. (17). We also investigate the limiting frequencies obtained from the bundles crossing and some properties of the tangents to the horizons in the extended plane.

On the frequencies

The bundle frequency is a limiting photon-like frequency, \(\omega _+\) or \(\omega _-\) as introduced in Sect. 2, at the point (ar) of the bundle. The second, limiting photon frequency at the point (ar), \(\omega _-\) or \(\omega _+\), respectively, is determined by the bundles crossing. As previously discussed, there is a maximum of two bundles at the intersection. This second frequency is, therefore, the solution of \(a_{\omega _1}^{\pm }({\bar{r}})=a_{\omega _2}^{\pm }({\bar{r}})\), where \(\omega _1\) is the known frequency of the bundle \(g_{\omega _1}\), \({\bar{r}}\) is a fixed point of the bundle. The second photon frequency \(\omega _2\), identifying the related bundle \(g_{\omega _2}\), is a function of \(\omega _1\) and \({\bar{r}}\):

$$\begin{aligned}&a_{\omega _1}^+= a_{\omega _2}^\pm :\quad \text{ for }\quad \omega ^{(+,\pm )}_1=\varpi _- \end{aligned}$$
(21)
$$\begin{aligned}&a_{\omega _1}^-= a_{\omega _2}^-:\quad \text{ for }\quad \omega ^{(-,-)}_1=\varpi _+\nonumber \\&\quad \varpi _\pm \equiv -\frac{(r-2) \left[ \left( r^2{+}4\right) \omega _2\pm 4 \sqrt{r^2 \omega _2^2 \left[ 1{-}r (r{+}2) \omega _2^2\right] }\right] }{16 r^3 \omega _2^2+(r-2)^2 (r+2)}.\nonumber \\ \end{aligned}$$
(22)

The solutions \(a_{\omega _1}^\pm \) for \(\omega _2=\) constant are shown in Fig. 15. Note that the limiting curve for the constant frequencies curves \(\omega ^{(+,\pm )}_1,\omega ^{(-,-)}_1\) is \(r_{\partial }^+\) of Eq. (16) – see also Figs. 10, 11.

By definition, the frequency \(\omega \) is constant along the bundle; thus, the bundle frequency \(\omega \) is the bundle origin frequency \(\omega _0=M/a_0\) and, particularly, the frequency at \((a_g,r_g)\), where \(a_g\) is the bundle spin at the tangent point \(r_g\) on the horizon curve. We can show that the bundle frequency coincides with the horizon frequency at the tangent point \(r_g\), that is, \(\omega _0=\omega _H(a_g,r_g)\).

First, note that the bundle frequency \(\omega =\omega _0\) is defined in \([0,\infty ]\). The analysis of the frequency variation domain gives us indications that both the inner \(\omega _H^-\) and outer horizon frequency \(\omega _H^+\) define the bundle frequency, as there is \(\omega _H^+\in [0,1/2]\) and \(\omega _H^-\in [1/2,+\infty [\) (for \(a\in [0,M]\)) – see also Fig. 1. Then, condition \(\omega _0=\omega _H\), where \(\omega _H\) is the union \(\omega _H^+\cup \omega _H^-\), leads to \(a_g(a_0)\), relating the tangent-point-spin \(a_g\) and the bundle origin \(a_0=\omega _H^{-1}(a_g)\).

Figure 15 and Table 3 show some notable numerical examples, proving that the bundle frequencies are, in fact, the horizon frequency at the tangent point to the horizons. Connections between the two bundles \(g_{\omega _1}\) and \(g_{\omega _2}\) at equal \(a_g\), which are related to the horizons points \(r_{\pm }(a_g)\), are also shown in Table 3. The tangent spin \(a_g\) can be also obtained from the relation \(a_{\omega }(r_\pm ,\omega _0)=a\) by solving for \(a_0(a)\) and representing the result as \(a_g(a_0)\) in Eq. (17).

Then, we can consider the bundle on the horizon (\(r=r_g\)) with the bundle frequency \(\omega \) expressed as the origin frequency \(\omega =\omega _0\). In terms of frequencies, from \(\omega _H=\omega \), we obtain \(a={4 \omega _*}/({4 \omega _*^2+1})\), where \( \omega _*\in [0,1/2]\) for \(\omega _H=\omega _H^+ (r_+)=\omega _*\), and \(\omega _*\ge 1/2\) for \(\omega _H=\omega _H^- (r_-)\). This shows also the role of the inner horizon frequency. This relation can be also found from the spin \(a_g(a_0)\), where \(a_0=\omega _0^{-1}\). Note that we can eliminate the frequency \(\omega \) from \(a_{\omega }^{\pm }\) of Eq. (15) and parametrize the metric bundles in terms of a and r, using the condition \(\omega =\omega _H\) in \(a_{\omega }^{\pm }\). In this case, there is \(a\in [0,M]\) as the spin is the horizon tangent-point spin \(a_g\):

$$\begin{aligned}&a_{\omega }^{\mathbf {(\natural )}}(\omega _H^{\mathbf {\flat }})\equiv \mathbf {(\natural )}\frac{ \sqrt{a^2 r^2 \left[ 8 r_\flat -a^2 (r (r+2)+4)\right] }+\mathbf {(\natural )} ar_\flat }{a^2 (r+2)},\nonumber \\&\quad \text{ where }\quad \mathbf {(\natural )}=\pm ; \quad \flat =\mp . \end{aligned}$$
(23)

The bundles \(a_{\omega }^{\mathbf {(\natural )}}(\omega _H^{\mathbf {\flat }})\) are, therefore, parameterized for the tangent point \(a=a_g\) – see Fig. 15. From the condition of coincidence between bundle and horizon in the extended plane (i.e., \(a_{\omega }^{\pm }=a_{\pm }\)), we obtain \(r=\frac{2}{4 \omega ^2+1}\) and assuming \(r=r_\pm \), then \(\omega =\omega _H\).

On the tangent lines

A relevant aspect of the metric bundle is that it is tangent to the horizon the extended plane. The tangent line with respect to the horizon is horizontal only for extreme Kerr BH (where the line \(a =\) constant has a double contact point on the tangent bundle) and asymptotically vertical in the static case. To study the tangents at the horizon, we consider the variationsFootnote 5 \(\partial _r a_{\pm }=({M-r})/{\sqrt{-(r-2M) r}}\), with \(a_{\omega }^{\pm }\) in the form of Eq. (15) (or, alternatively, Eq. (23)). The tangent curve is:

$$\begin{aligned} a_{tangent} (r)\equiv \frac{r (M-r_g)+M r_g}{\sqrt{-(r_g-2M) r_g}}\quad \text{ where }\quad r_g\in [0,2M],\nonumber \\ \end{aligned}$$
(24)

and the tangent point \(r_g\) is a parameter.

The bundle-horizon tangent line at the point \((r_g,a_g)\) is provided by the relation \(\partial _r a_{\omega }^{\pm }=\partial _r a_{\pm } \), where \(a_{\pm }\) is the horizon curve in the extended plane. These solutions are shown in Fig. 16, where some properties of the tangents are highlighted.

The solution of the tangency condition \(a_g=a_{\pm }\) leads to the functions \(r^{real}_g\) and \(r^{\checkmark }_g\):

$$\begin{aligned}&a_g=a_{\pm }:\quad \frac{r^{real}_g}{M}\equiv \frac{2 a_0^2}{a_0^2+4M^2}\quad \text{ and }\quad \frac{r^{\checkmark }_g}{M}\equiv \frac{8M^2}{a_0^2+4M^2}.\nonumber \\ \end{aligned}$$
(25)
$$\begin{aligned}&\text{ Viceversa: } \quad \frac{r_g^\mp }{M}\equiv \frac{r_\mp (a_g)}{M}= 1\mp \sqrt{\frac{\left( a_0^2-4M^2\right) ^2}{\left( a_0^2+4M^2\right) ^2}}. \end{aligned}$$
(26)

Figure 17 shows that \((r^{real}_g,r^{\checkmark }_g)\) coincide with \((r_g^-,r_g^+)\). The functions \((r^{real}_g,r^{\checkmark }_g)\) and \((r_g^-,r_g^+)\) reveal some properties enlightened in Table 3 and further interesting symmetry properties of the NS–BH correspondence. Figure 17 shows the relation between the tangent point \(r_g\) on the horizon and the bundle origin \(a_0\). Moreover, it points out the correspondence between the two metric bundles \(g_{\omega _0}\) and \(g_{\omega _1}\), with equal tangent spin \(a_g\) and with different origin in BH and in NS. As made explicit in Table 3, such bundles are related to the construction of the inner and outer horizon \(r_{\pm }(a_g)\) of the BH spacetime with \(a=a_g\).

Fig. 17
figure 17

Tangent radius \(r^{\pm }_g\) of Eq. (25) as a function of the tangent spin \(a_g\). Inside panel: \((r_g^{real},r_g^{\checkmark })\). The gray region represents SNS with \(a_0>2M\) and the shaded regions are values of \(r_g^{\checkmark }\). The models \({\mathbf {XX}}\) are also shown, where \(\mathbf {X}=\{\mathbf {A,B,C,D}\}\) is considered in Table 3 and Fig. 15

It is clear that \(r_g^{real}\) is a combination of \(r_g^{\pm }\) and provides the tangent point \(r_g(a_0)\) for the origin \(a_0\). In fact, by fixing \(a_0\) there is only one tangent point in \(r_g^{real}\) equal to \(r_g^-\) for \(a_0<2M\), or else equal to \(r_g^+\) for \(a_0>2M\); however, the second point at \(a_0\) on the curve \(r_g^{\checkmark }\) (shaded region) has no immediate meaning with respect to the bundle \(g_{\omega _0}\); on the other hand, the point \(r_g^{\checkmark }(a_0)\) provides the second horizon (\(r_-\) or \(r_+\)) in the spacetime with \(a=a_g\). Therefore, the connecting bundle \(g_{\omega _0}\) with \(g_{\omega _1}\) is tangent to the horizon at \(r_g^{\checkmark }(a_g)\). This case has been also represented in Table 3 with respect to the \({\mathbf {BB}}\) and DD models. Note that the CC model, extreme Kerr spacetime, corresponds to \(a_0=2M\) and \(r_{g}^{real}=r_g^{\checkmark }=M\) (\(r_g^{+}=r_{g}^-=M\)).

We return to the analysis of \((r_{g}^{real},r_g^{\checkmark })\) (\(r_g^{\pm }\)) in Fig. 17. Let us consider as an example the BB and DD models. For \(a_0<2M\) the bundles are tangent to the inner horizon (note also the saddle point at \(a_0/M={2}/{\sqrt{3}}\approx 1.1547\)). According to the DD model \(a_0=4M\), the correct tangent point is on \(r_g^{real}=r_g^+\). The second point, for \(a_0=4M\), on the \(r_g^{\checkmark }=r_g^-\) is the tangent point \(r_g(B)\) in the BB model with \(a_0=M\). The BB and DD models share same tangent spin \(a_g\).

In conclusion, in this BH spacetime:

$$\begin{aligned}&\text{ the } \text{ outer } \text{ horizon } \text{ is } \quad r_+=r_g(D)= r_g^{real}(D)=r_g^+(D)\nonumber \\&\quad =r_g^{\checkmark }(B)=r_g^+(B), \nonumber \\&\text{ the } \text{ inner } \text{ horizon } \text{ is }\quad r_-=r_g(B)= r_g^{real}(B)=r_g^-(B)\nonumber \\&\quad =r_g^{\checkmark }(D)=r_g^-(D). \end{aligned}$$
(27)

Consequently, we could say that \(r_g^{real}(a_0)\) represents the horizon curve \(a_{\pm }\) as the envelope surface in the extended plane (note that asymptotically, for large values of \(a_0\), \(r_g^{real}(a_0)\) approaches 2M from left). On the other hand, \(r_g^{\checkmark }(a_0)\) provides information on the corresponding metric bundle and the second horizon for \(a=a_0\). By using the couple \((r_g^{real},r_g^{\checkmark })\), it is sufficient the knowledge of the bundle origin to characterize the BH spacetime defined by the tangent bundle.

Fig. 18
figure 18

Kerr–Newman solution – the equatorial plane. Plot of the horizons \(r_{\pm }/M\) (purple) and static limit \(r_{\epsilon }^+/M\) (gray) as functions of a / M and Q / M – Eq. (28)

Fig. 19
figure 19

Kerr–Newman spacetimes. The frequencies \(\omega _H=\omega _{\pm }(r_{\pm })\) at the horizons \(r_{\pm }\) – see Eq. (29). Left panel: curves \(\omega =\) constant. Arrows indicate the increasing magnitude of the frequencies \(\omega _H^-\) (purple), \(\omega _H^+\) (gray). Right panel: 3D plot of the frequencies \(\omega _H^{\pm }\) as functions of the dimensionless spin a / M and charge Q / M

5 The Kerr–Newman geometries

The investigation of Sects. 3 and 4 is performed here for the case of Kerr–Newman (KN) and Reissner–Nordström (RN) spacetimes and in the region outside the equatorial plane of the Kerr spacetime. This further analysis will allow us to better evaluate the role of the frame-dragging. The analysis of Fig. 8 is presented in Fig. 20 for electrically charged geometries with \(a=0\). We prove that the closure of the metric bundles is a consequence of the rotation of the singularity: the correspondent curves, defining the BHs horizons for the static RN case, are open; the analysis of the KN case represented in Fig. 20 better shows the influence of the spin in the bending and separation into the two families of closed curves on the equatorial plane.

The Kerr–Newman geometry corresponds to an electro-vacuum axially symmetric solution with a net electric charge Q, described by metric (1) with \(\Delta _{KN}\equiv r^2+ a^2+ Q^2-2M r\). The solution \(a=0\) and \(Q\ne 0\) constitutes the static case of the spherically symmetric and charged Reissner–Nordström spacetimes. The horizons and the outer and inner static limits for the KN geometry are respectively

$$\begin{aligned}&r_{\mp }=M\mp \sqrt{M^2-(a^2+Q^2)},\nonumber \\&r_{\epsilon }^{\mp }=M\mp \sqrt{M^2-a^2 \cos ^2\theta -Q^2}, \end{aligned}$$
(28)

are depicted in Fig. 18. KN naked singularities are defined for \(\mathcal {Q_T}^2/M^2>1\), where \(\mathcal {Q_T}^2\equiv (a^2+Q^2)\) is the total KN charge. This condition implies that either \(Q^2>M^2\) or \(a^2>M^2\) give rise to a NS – [13,14,15]. Following Sect. 3, the frequencies \(\omega ^{\pm }_H\equiv \omega _{\pm }(r_{\pm })\) at the horizons \(r_{\pm }\) are given by

$$\begin{aligned}&\omega _H^-=\frac{a M\left( 2 M\sqrt{M^2-(a^2+Q^2)}-Q^2+2M^2\right) }{4M^2 a^2+Q^4},\nonumber \\&\omega _H^+= \frac{aM}{2M \sqrt{M^2-(a^2+Q^2)}-Q^2+2M^2} \end{aligned}$$
(29)
Fig. 20
figure 20

Equatorial plane of the Kerr–Newman spacetimes: the surfaces \(\omega _{\pm }=\) constant as functions of the radius r / M and the electrical charge Q / M – Eq. (34), for different spins. This is a generalization of the analysis shown in Fig. 8 to the case \( Q\ne 0 \). The black region is for \(r<r_{\pm }\) and the gray region is the ergosurface \(\Sigma _{\epsilon }^+\). See also Fig. 25

and are represented in Fig. 19. In this section, we consider the problem faced in the Sects. 3 and 4 and analyze the entire range \(Q^2\ge 0\) and \(a^2\ge 0\). We test the conjectures presented in Sect. 4 and reproduce the analysis of Sect. 3, in particular, for the case of spherical symmetry, when the frame-dragging due to the source’s spin is absent, isolating the effects of the electric charge from the rotation component of the total charge \(\mathcal {Q}_T\). In doing so, we generalize the extended plane \(\pi _a^+\) used in Sects. 3 and 4, considering a two-parameter family of solutions and passing from the \(\mathbf{(1+1)}\) dimensional problem of the Kerr spacetimes to a \(\mathbf{(1+2)}\) problem of the KN solutions. Fixing one of the two components of the total charge, we can obtain an entire parametrized family of Einstein solutions. The off-equatorial case will also be briefly addressed.

In order to understand the effects of the two charge parameters a and Q, it is useful to look at the solutions (28) in the extreme cases. The axial symmetry of the metric is due to the presence of the spin of the central singularity . The presence of the electric charge actually “balances” the effects of the spin in several ways, as we shall see below. In fact, we consider on the equatorial plane the static limits and the horizons of Eqs. (28) as follows

$$\begin{aligned}&\text{ static } \text{ limits: }\quad \left. r_{\epsilon }^{\pm }\right| _{\theta =\pi /2}=M\pm \sqrt{M^2-Q^2}, \nonumber \\&\quad \text{ implying }\quad Q/M<1\quad \text{ or }\quad Q_{\pm }^{\epsilon }=\sqrt{-(r-2M) r}; \end{aligned}$$
(30)
$$\begin{aligned}&\text{ and }\quad \left. r_{\epsilon }^{\pm }\right| _{\theta =\pi /2}=M \quad \text{ for }\quad Q=M, \end{aligned}$$
(31)
$$\begin{aligned}&\mathbf{BHs} \text{ horizons: }\quad a_{\pm }=\sqrt{-Q^2-r(r-2M)}\nonumber \\&\quad \text{ or } \text{ also } \quad Q_{\pm }=\sqrt{-a^2-r(r-2M) } . \end{aligned}$$
(32)

Here, \(a_{\pm }\) and \(Q_{\pm }\) are solutions of \(r_{\pm }=r\). On the equatorial plane, there are two static limits, independently of the spin, only for KN BHs or NSs having \(Q<M\). In other words, the charge component of the KN–NS (and only for NSs) is not “predominant” with respect to the spin, i.e., for KN–NSs with \(a\ge M\) but \(Q<M\). On the equatorial plane, the static limits \(r_{\epsilon }^{\pm }\) can be compared with the event horizons of the RN BH geometry, as in the Kerr geometry the static limit \(r_{\epsilon }^+\) coincides the Schwarzschild horizon \(r=2M\). Conversely, this similarity appears even more clearly in the definition of \(Q_{\pm }^{\epsilon }\) in Eq. (30), which is equal to the horizons \(a_{\pm }\) in the \(a-r\) plane of the Kerr geometry. When \(Q=M\), there is one static limit radius only, independently of the spin a / M. In this sense, the spacetime dragging is totally balanced, on the equatorial plane, by the electric charge \(Q^2>M^2\). For (\(\theta \ne \pi /2\), \(\theta \ne 0\)), a static limit exists provided the charge satisfies the condition \(Q^2\le M^2-a^2\cos ^2(\theta )\). On the other hand, for \(Q=M\) (\(a=M\)) the Killing horizon is defined for \(a=0\) (\(Q=0\)) only. The photon orbital frequencies in the KN geometry are

$$\begin{aligned} \omega _{\mp }=\frac{a M\left( Q^2{-}2 Mr\right) \mp M\sqrt{r^4 \left[ a^2+Q^2{+}(r-2M) r\right] }}{a^2 \left[ r (r{+}2M)-Q^2\right] +r^4}.\nonumber \\ \end{aligned}$$
(33)

Analogously to Eq. (15), we can define the functions

$$\begin{aligned}&a_{\omega }^{\mp }=\frac{\mp \sqrt{r^4 \omega ^2 \left\{ \omega ^2 \left[ Q^2-r (r+2M)\right] +M^2\right\} }+\omega M (Q^2 -2 r M) }{\omega ^2 \left[ Q^2-r (r+2M)\right] }, \quad \text{ and } \nonumber \\ \end{aligned}$$
(34)
$$\begin{aligned}&(Q_{\omega }^{\pm })^2\equiv \frac{r \left\{ \omega ^2 \left[ a^2 (r+2M)+r^3\right] -4 a M^2\omega -rM^2+2M^3\right\} }{(a \omega -M)^2} , \end{aligned}$$
(35)

where, in particular, for the RN static case (\(a=0\)), we find

$$\begin{aligned}&{} \mathbf{RN}:\quad (Q_{\omega }^{\pm })^2= r \left( \frac{r^3}{M^2} \omega ^2-r +2M\right) \nonumber \\&\quad \text{ or }\quad \omega _{\pm } =\pm \frac{M\sqrt{Q^2+(r-2M) r}}{r^2}. \end{aligned}$$
(36)

Note that while the horizons \(r_{\pm }\) can be re-parametrized for the total charge \(\mathcal {Q}_T\) and its variation with respect to the parameter \(\mathcal {Q}_T\) is exactly the same as for the corresponding radii \(r_{\pm }\) in the RN or Kerr solution, the surfaces \(\omega _{\pm }\) do not depend directly on \(\mathcal {Q}_T\); this means that the two parameters play a different role in the solutions \(\omega _{\pm }\)=constant, although the envelope surfaces depend on \(\mathcal {Q}_T\) alone. For \(Q=0\), the surfaces \(a_{\omega }^{\pm }\) are shown in Fig. 30. The surfaces \(\omega _{\pm }=\) constant of Eqs. (34) are shown in Figs. 20 and 25. This is a generalization of the case \( Q\ne 0 \) of the analysis shown in Fig. 8. Also in this case, we consider some limiting solutions to fix the different contributions of the two charge components:

$$\begin{aligned} \lim _{r\rightarrow 0}{Q_{\omega }^{\pm }}=0,\quad \lim _{r\rightarrow 0}{a_{\omega }^{\pm }}=\frac{M}{\omega },\quad \lim _{r\rightarrow 0}{{\omega }_{\pm }}=\frac{M}{a}. \end{aligned}$$
(37)

An analysis of the spins \(a_{\omega }^{\pm }=\) constant for the static limits \(r_{\epsilon }^{\pm }\) on the equatorial plane is shown in Fig. 23.

Fig. 21
figure 21

Equatorial plane of the Kerr–Newman spacetimes. The frequencies \(\omega _{\pm }=\) constant, charge \(Q_{\omega }^{\pm }=\) constant, and spins \(a_{\omega }^{\pm }=\) constant for some limiting cases – Eq. (37)

Equation (37) show that in the limits considered the frequency is related to the spin source independently of the electric charge – Fig. 21. This suggests that we should define the origin of the KN metric bundles \(g_{\omega }^{\pm }\) as dependent on the spin a / M only. It should be considered that the Killing horizons are characterized by the “rotation charge”, but \(\omega _H^{\pm }\) does not “carry” any electric charge; that is, we can always define metric bundles considering \(\omega _0=M/a\) and the horizon frequencies. Explicitly, we can generalize the analysis of Sect. 4, considering a surface \(a_g(a_0;Q)\) in the case \(a_0\ne 0\), where Q is a parameter, and we obtain

$$\begin{aligned}&a_0= \frac{2M^2-Q^2\mp 2 M\sqrt{M^2-(a^2+Q^2)}}{a}\quad (r_\mp ),\nonumber \\&a^\mp _g(a_0)=\frac{a_0 \left( 2M^2-Q^2\right) \mp 2 M\sqrt{a_0^2 \left( M^2-Q^2\right) -Q^4}}{a_0^2+4M^2}\nonumber \\ \end{aligned}$$
(38)
$$\begin{aligned}&\text{ where } \quad a_0>a_L(Q) \equiv \sqrt{-\frac{Q^4}{Q^2-M^2}}\quad \text{ implying } \nonumber \\&\quad Q^2\in ]0,M^2[, \end{aligned}$$
(39)

– Figure 24. Adopting a notation analogue to the one used in Sec. 4, we solve the equation \(a_{\omega }^{\pm }(r_{\pm },\omega _0)=a\) (similarly, we could have used \(Q_{\omega }^{\pm }\)) and introduce the two functions \(a_{g}^{\pm }\). However, we can exploit the fact that all the curves in Figs. 20 and 25 tend to the point (\(r=0\), \(Q=0\)), that is, to the Kerr singularity. Approaching the static limit in the extended plane, we consider the solutions of \(Q_{\omega }^{\pm }(r_{\epsilon }^{\pm },\omega _0)=Q\):

$$\begin{aligned} Q_{\omega }^{\epsilon }\equiv \sqrt{2} \sqrt{a^2-a a_0+\sqrt{2} M\sqrt{a (a_0-a)}} \end{aligned}$$
(40)

as shown in Fig. 22.

Fig. 22
figure 22

Charge \(Q_{\omega }^{\epsilon }\), solution of \(Q_{\omega }^{\pm }(r_{\epsilon }^{\pm },\omega _0)=Q\) defined in Eq. (40)

Fig. 23
figure 23

Spins \(a_{\omega }^{\pm }=\) constant on the static limits \(r_{\epsilon }^{\pm }\) on the equatorial plane

Fig. 24
figure 24

Left panel: three dimensional plot of \(a_0/M\), Eq. (38), as a function of a / M and the charge Q / M. Right panel: spin \(a_g/M\) as a function of \(a_0/M\) for different charge to mass ratios Q / M. Inside panel: plot of \(a_L(Q)\), where \(a_Q\equiv \sqrt{M^2-Q^2}\), \(a_g\) is defined for \(Q\in ]0,M[\) and \(a_g\ge a_L(Q)\) – see Eq. (38). BH Killing horizons are defined by the condition \(a\le a_Q\) (for \(a>0\))

We can see that in the extended plane it is necessary to consider the entire range of parameter values (a / MQ / M), including the BH case to describe the NSs (Fig. 23). For the equatorial plane, the analysis carried out for the case \(Q = 0\) is confirmed also in presence of an electric charge. For predominant spins, any curve \(\omega =\) constant crosses the horizons at some points. We also see the bending of the curves limited above from the inner horizon \( r _- \), confirming the results of Sect. 4, although with differences which are evident as the electric charge increases. The generalization of the analysis of Fig. 10 is presented in Figs. 27 and 28. We will not enter into the details of this analysis; instead, we only mention that in the KN case a more articulated situation for the Killing throat and bottleneck appears, when the effects of the electric charge are combined with those of the frame-dragging. The frequencies \(\omega _{\pm }\) are plotted as functions of r / M for different values of the charge Q / M and spin a / M in Fig. 26. In these plots, the static and axisymmetric cases are compared and the contribution of an electric charge are confronted with those of weak NS geometries. In the static geometries, the Killing throat and bottleneck still appear, while the effects of the rotation emerge as a disruption of the symmetry around the axis \(\omega =0\) of the static case and become evident in the coalescence phases of the horizons.

Fig. 25
figure 25

Equatorial plane of Kerr–Newman spacetimes: the surfaces \(\omega _{\pm }=\) constant as functions of the radius r / M and the spin a / M – Eq. (34), for different charges Q. This is a generalization to the case \( Q\ne 0 \) of the analysis shown in Fig. 8. The black region is for \(r<r_{\pm }\) and the gray region represents the ergosurface \(\Sigma _{\epsilon }^+\). See also Fig. 20

Fig. 26
figure 26

Equatorial plane of the Kerr–Newman spacetime: the frequencies \(\omega _{\pm }\) given in Eq. (34) as functions of r / M for different values of the charge Q / M and spin a / M. The limiting cases of the Kerr spacetime (\(Q=0\)) is shown in the first upper left panel and the static Reissner–Nordström geometry with \(a=0\) is the second left upper panel. The analysis shows the emergence of coalescence of the Killing horizons \(r_{+}\) and \(r_-\) in the extreme black hole geometries and the emergence of a Killing throat and Killing bottleneck in the NS geometries – see also Figs. 1, 2 , 11, 27 and 28

Figures 29, 31 and 30, on the other hand, show the solutions of \(\partial ^2_r\omega _{\pm }=0\) and \(\partial ^3_r\omega _{\pm }=0\) defining the Killing bottlenecks of naked singularities, which are generalizations of the analysis presented in Fig. 5 for the case \(Q=0\) (Kerr spacetime). The surfaces \(a_{\omega }^{\pm }(r,\theta )\) are shown in Fig. 30, giving a view of the solutions for the light surfaces in the off-equatorial case.

Fig. 27
figure 27

Equatorial plane of the Reissner–Nordström spacetime: generalization of the analysis of Figs. 10 and 28 for the case \(a=0\) and \(Q\ne 0\)

Fig. 28
figure 28

Equatorial plane of the Kerr–Newman spacetime: generalization of the analysis of Fig. 10 to the case \(Q\ne 0\) – see also Fig. 27

This analysis confirms the results of Sects. 3 and 4 and the role of the frame-dragging (Figs. 24, 25, 26).

6 Concluding remarks and future perspectives

In this work, specially in Sect. 3, we explored the Killing throats and bottlenecks, arising from the properties of stationary observers in the Kerr geometries. In the case of WNSs (\(a/M\in ]1,2]\)), the Killing throats show “restrictions”, which we identify as Killing bottlenecks (Figs. 27, 28). To explore the properties of the bottlenecks, we introduced in Sect. 4 the concept of extended plane, which is a graph relating a particular characteristic of a spacetime in terms of the parameters entering the corresponding spacetime metrics. More precisely, the analysis of some peculiar characteristics of the bottlenecks, defined as horizons remnants, indicated some links between BHs and NSs (and in particular WNSs). To compare the BH and NS characteristics, it was convenient to introduce in Sect. 4 the concept of metric bundles, i.e., curves in the extended plane \(\pi _a^+\), representing a collection of metrics defined by a particular photon orbital frequency, named metric bundle frequency. The bundle frequencies (and the orbital limiting frequencies in any point on the equatorial plane of any spacetime of the family) are all and only the frequencies of the horizon defined in the extended plane. This analysis has been done mainly on the equatorial plane of axisymmetric geometries. Metric bundles show, in fact, the remarkable property to be tangent to the horizon curve in the extended plane, the space where the curves representing the metric bundles are defined. In the case of the the equatorial plane of the Kerr metric, the extended plane is essentially equivalent to the function that relates the frequency with the spin. Notably, the metric bundle associated to the extreme Kerr BH corresponds to a regular curve tangent to the horizon with bundle origin \(a_0=2M\). As proved in Sect. 4, all the metric bundles are tangent to the horizon in the extended plane \(\pi _a^+\) and the horizon emerges as the envelope surface of the metric bundles in \(\pi _a^+\). A bundle frequency corresponds to one limiting photon orbital frequency for all BHs or some BHs and NSs geometries. The bundle frequency coincides with the frequency at the (inner or outer) horizon curve, which is tangent to the metric bundle. On the other hand, the metric bundles are all defined by all and only the frequency of the horizon in \(\pi _a^+\). Viceversa, all the horizon frequencies in the extended plane are metric bundle frequencies. In Sect. 5, we consider the static and electrically charged Reissner–Nordström spacetime and the Kerr–Newman axisymmetric electrovacuum solution and show that the bending (closing) of the curves of the metric bundles is due to the rotation of the gravitational source. Therefore, we can say that the horizons frequencies determine the BHs and NSs limiting photon orbital frequencies. This fact establishes a connection between BHs and NSs: the inner BH horizon is connected to BH and WNS origin bundles, whereas the outer horizon sets the BHs–SNSs correspondence. In the extended plane, NSs are associated with portions of the horizon. In this sense, the inner horizon is partially constructed by BH metric bundles. The inner horizon is associated with WNS origins. This last property turns out to be related to the Killing bottlenecks appearing in the light surfaces. Interestingly, the outer horizon in \(\pi _a^+\) is generated by SNSs metric bundles only. This fact has the interesting consequence that only the horizon frequencies determine the frequencies \(\omega _{\pm }\) at each point, r, on the equatorial plane of a Kerr BH or NS geometry: all the frequencies \(\omega _{\pm }(r)\) on the equatorial plane are only those of the horizon in \(\pi _a^+\), the horizon in \(\pi _a^+\) contains information about all limiting photon orbits also in NS spacetimes. In Secs. 3 and 4, we have also introduced the concept of inner horizon confinement. In this sense, NSs are “necessary” for the construction of horizons. The outer horizon is associated with a NS (the bundle origin) in the extended plane and the inner horizon to a WNS or a BH. Therefore, we believe that this result could be of interest for the investigation of gravitational collapses in which connections between NS and BH solutions are expected and emerge [58,59,60].

Some further aspects of these properties are currently under investigation. Firstly, it would be necessary to further analyze the off-equatorial case and test the results of Sect. 4 in other kinds of geometries. In a future analysis, we shall analyze other axisymmetric spacetimes admitting Killing horizons and consider the possible thermodynamic implications of the results discussed here, particularly, in relation to the possibility of formulating the BH thermodynamic laws in terms of metric bundles. We also point out that metric bundles and horizons remnants seem to be related to the concept of pre-horizon regimes. There is a pre-horizon regime in the spacetime when there are mechanical effects allowing circular orbit observers, which can recognize the close presence of an event horizon. This concept was introduced in [1] and detailed for the Kerr geometry in [61, 62]. The pre-horizon was identified and analyzed in [2], leading to the conclusion that a gyroscope would observe a memory of the static case in Kerr metric. Clearly, this aspect could be of relevance during the gravitational collapse [23, 63,64,65].

We now summarize the main aspects of our analysis focusing on the possible interpretation of the main results.

(i):

We identified bottlenecks essentially as horizon remnants. Similar interpretations have been presented in [1, 2, 61, 62], by using the concept of pre-horizons, and in [34], by analyzing the so-called whale diagrams. These structures could play an important role for describing the formation of black holes and for testing the possible existence of naked singularities. Notably, the concept of remnants, as expressed here, refers to and evokes a sort of spacetime “plasticity”, which naturally led to the introduction in Sect. 4 of the concept of the extended plane. In this new frame, we found several properties emerging from and affecting the spacetime geometries when we consider an entire family of solutions as a unique geometric object.

(ii):

Considering the Kerr family as a single object, the geometric quantities (for example, the horizons) defined for a single solution acquire a completely different significance when considered for the entire family.

(iii):

Considering metric bundles with WNS, we found that the inner horizon is confined in the metric bundle framework.

(iv):

We proved the existence of a connection between black holes and naked singularities. To each BH corresponds the pair (WNS, SNS) or the pair (BH, SNS). This correspondence is important for the definition of the Killing horizons.

(v):

We proved that WNSs (SNSs) are necessary for the construction of the inner (outer) Killing horizon. This result could shed light on the physical meaning of NSs solutions.

To conclude, we present a schematic summary of the main results presented in this work.

  • Analysis of Killing throats and definition Killing bottlenecks for particular naked singularities – Sect. 3. To define Killing throats, we study the limiting photons surfaces \(r_{s}^{\pm }\) and frequencies \(\omega _{\pm }\) which are defined in Eq. (11) and Eq. (8), respectively. We also interpret bottlenecks as horizons remnants in weak naked singularities.

  • Inner horizon confinement – Sect. 3. In Eq. (13), we identify the photon orbits characterized by the horizons orbital frequencies. The radii \(r^{\mp }_{\mp }\) represent the set of photon orbits with frequencies \(\omega _H^{\pm }\) at the \(\mathbf{BH}\) horizons – Eq. (13) – Fig. 1. The inner horizon confinement, according to the constraints on \(r^{-}_{-}\), is in agreement with the confinement of the metric bundles containing BHs and WNSs (see Sect. 4).

  • Definition of the extended plane \(\pi _a\) and metric bundles \(g_{\omega }\) in Sect. 4. Metric bundles are curves in \(\pi _a\) tangent to the horizons characterized by the limiting photon frequency \(\omega _+\) or \(\omega _-\).

  • Tangency condition and horizon construction in the extended plane. We demonstrate that the horizon curve corresponds to the envelope surface of the metric bundles. All the metric bundles are tangent to the horizon curve and all the points of the horizons are associated to one and only one metric bundle tangent to that point – Figs. 14, 15, 16 and Tables 2 and 3. Consequently, all the limiting photon orbital frequencies (on the equatorial plane) are all and only the frequencies of the horizon curve in \(\pi _a\), related to two metric bundles, with frequencies \(\omega _0\) and \(\varpi _\pm \), respectively. Particularly, through the relationship between metric bundles and horizons in \(\pi _a^+\), a NS or BH metric can be parameterized in terms of the horizon frequency identified by the corresponding metric bundle. The inner and outer horizons in \(\pi _a^+\) correspond to envelope surfaces. We analyze the lines \(a=\) constant (i.e. a single spacetime of the metric bundle) and \(r=\) constant in the extended plane – Fig. 8 and classify the singularities according to the horizon construction as shown in Fig. 13, i.e., strong naked singularities, \(\mathbf{SNS}=\mathbf{SNS}^+\cup \mathbf{SNS}^-\), having \(a_0>2M\) with \(\mathbf{SNS}^+\) for \(a_0>4M\) and \(\mathbf{SNS}^-\) for \(a_0\in [2M,4M[\); WNS – weak naked singularities with \(a_0\in ]M,2M[\) and \(\mathbf{BH}=\mathbf{BH}^+\cup \mathbf{BH}^-\) with \(\mathbf{BH}^+\) for \(a\in [a_{g}^1,M]\), \(a_{g}^1=3/4 M\) and \(\mathbf{BH}^-\) for \(a\in [0,a_{g_1}]\).

  • Demonstration of the confinement of metric bundles with origin in BHs and WNSs and identification and study of the corresponding bundles. In Table 2, we proved the confinement of the bundles in the extended plane delimited by the inner horizon curve. The horizon and bundle frequencies are related by the relation \(\omega _0^+\omega _0^-=1/4\).

  • Properties of horizons and bundles. For the entire family of Kerr geometries, we established the relations between metric bundles and horizons. We found two relations which can be specified in detail as follows. Relations I: \(\omega _0^{-1} \equiv a_0^{\pm }/M=({2 r_{\pm }(a_g)}/{a_g})\equiv \omega _H^{-1}(a_g)\), \(\omega _H^+(r_g,a_g)=\omega _0=Ma_0^{-1}\), \(\omega _H^-(r^{\prime }_g,a_g)=\omega ^{\prime }_0=M/a_0^{\prime }\) where \(r^{\prime }_g\in r_-\) (\(r_+=r_g\), \(r_-=r_g^{\prime }\)) – Fig. 13. Relation II: \(\omega ^{\prime }_0=({4 \omega _0})^{-1}\), \( \omega _H^+\omega _H^-={1}/{4}\), (or equivalently \(a_0^+(a_g)a_0^-(a_g)=4M^2\)), \(a_0^{\pm }/M=(2 r_{\pm }(a_g))/{a_g}\) where \(a=a_0\) and \(a=a_p\) – Fig. 14.

  • Properties of specific spacetimes. We studied the metric bundles corresponding to a single BH spacetime (with equal tangent spin \(a_g\)). We analyzed the Kerr spacetime in terms of metric bundles – Sect. 4.

  • Proof of the BH–NS relation through the properties of the corresponding metric bundles.

  • Analysis of the frequencies \(\varpi _\pm \) of the spacetime by using the maximum crossing of two metric bundles – Eq. (22). We proved he existence of the corresponding metric bundles and analyzed its significance for the horizon construction and properties of a BH spacetime – Tables 2 and 3; Figs. 13, 14, 15, 16,17 and Eqs. (19) and (27).

  • Identification of the Killing throats and bottlenecks and metric bundles in the static and charged Reissner Nordström solution and in the axisymmetric, electrically charged, Kerr–Newmann spacetime. We proved that the bending (curvature) of the Kerr metric bundles in \(\pi _a\) is related to the frame-dragging of the spinning spacetimes. We noticed the different roles played by the electric and rotational charges – Eq. (28). We studied the metric bundles \( (Q_{\omega }^{\pm })^2\) in terms of the electric charge Q – Eq. (35). In Sect. 1, we analyzed the off-equatorial case of the Kerr and Kerr–Newman geometries. In Sect. 1, we considered the relations between the areas of the horizon and of the metric bundles regions in the extended plane.