1 Introduction

The Kerr spacetime is a stationary and axisymmetric vacuum solution of the Einstein field equation and it is described by only two parameters: mass and spin of the collapsed object. Although other axisymmetric vacuum solutions of the Einstein equation do exist, the most prominent solution among all of them is the Kerr geometry from the astrophysical point of view. The Event Horizon Telescope (EHT) has also recently mapped the central compact radio source of the elliptical galaxy M87 to a Kerr black hole with unprecedented angular resolution [1]. Adopting the working hypothesis that M87 contains a Kerr black hole (see Sec. 7.4 of [2]), i.e., spin parameter \(-1< a_* < 1\) (see Sec. 1 of [2]), the EHT collaboration has tried to show that the observed image is overall consistent with the expectations for the shadow of a Kerr black hole [1]. However, the alternatives to the Kerr BH have not been ruled out, and it has been suggested [2] to consider whether the data is also consistent or not with alternative models for the central object of M87. For example, it is suggested that the BHs with NUT (Newman-Unti-Tamburino) charges [3] could also be possible [2] instead of a Kerr BH. One primary purpose of the present paper is to show how the NUT charge affects the shadow size and shape and whether the existence of the NUT charge, aka gravitomagnetic monopole, can be ruled out or not in the central compact radio source of the elliptical galaxy M87. To show this, we use the observational parameter values of the first image of M87*, as released by the EHT collaboration. The second and most important purpose of this paper is to constrain the values of the Kerr parameter and the NUT parameter of M87*, if it contains the non-zero gravitomagnetic monopole.

It was argued that the Kerr superspinar (or Kerr naked singularity \(|a_*| > 1\) [4, 5]) model for M87* is ruled out by the EHT2017 observations [2] since the shadows of Kerr naked singularities are substantially smaller and very asymmetric compared to those of Kerr BHs (see Sec. 8 of [1]), although other alternatives to the Kerr BH are not ruled out. However, it has recently been shown in [6] that the inferred circularity and size of the shadow of M87* do not exclude the possibility that this object might be a superspinar. Therefore, one cannot conclude whether M87* is a Kerr BH (\(-1< a_* < 1\)) or a Kerr superspinar (\(|a_*| > 1\)). Now, considering the ‘no body in nature is exactly nonrotating’ [7], if we want to test the existence of NUT charge in M87*, we should use the more general Kerr-Taub-NUT (KTN) spacetime instead of the Kerr spacetime. Referring to the recent work by [6], here we also do not exclude the possibility that M87* could be a KTN naked singularity (NS) [8]. Thus, our ‘test’ includes both the KTN BHs and NSs.

The KTN spacetime is a stationary and axisymmetric vacuumFootnote 1 solution of the Einstein equation. As mentioned in [2], the KTN BH is within general relativity with an additional field, i.e., the Einstein-Hilbert action requires no modification [9] to accommodate the NUT charge. Thus, the KTN solution is related to neither merely post-Newtonian nor some modified theory [9, 10]. We note that Bonnor [11] physically interpreted this NUT charge as ‘a linear source of pure angular momentum’ [10, 12], i.e., ‘a massless rotating rod’, which is a fundamental aspect of physics [9]. If the NUT charge vanishes, the KTN spacetime reduces to the Kerr spacetime. Similarly, if the Kerr parameter vanishes, the KTN spacetime reduces to the Taub-NUT spacetime which includes only two parameters : mass and NUT charge.

One intriguing feature that emerges here is, the Taub-NUT metric is not asymptotically flat [13] in the sense that coordinates cannot be introduced for which \(g_{\mu \nu }-\eta _{\mu \nu }={\mathcal {O}}\left( 1/r \right) \). The Taub-NUT spacetime is not asymptotically flat as it contains a string of torsion that extends to the infinity, which is beyond the classical general relativity and sourced by the NUT charge [14]. On the other hand, the Taub-NUT space is asymptotically flat [13] in the sense that the Riemann tensor vanishes (\(R_{\mu \nu \alpha \beta } = {\mathcal {O}}\left( 1/r^3 \right) \)) for \(r \rightarrow \infty \) as the Schwarzschild case. Note particularly that the curvature components, and therefore all invariants formed from the Riemann tensor, depend only on r, and not on the other coordinates [13]. Thus, the Taub-NUT metric is ‘an asymptotically zero curvature space which apparently does not admit asymptotically rectangular coordinates’ [13]. Specifically, while the time-coordinate slices are intrinsically asymptotically flat [15, 16], the fact that \(g_{t\phi } \rightarrow -2n\cos \theta \) as \(r \rightarrow \infty \) (see Eq. (13) below) implies that the spacetime is not asymptotically flat. The non-vanishing \(g_{t\phi }\) term leads to the anisotropy at \(r \rightarrow \infty \) due to the presence of n, which is also the reason that the Taub-NUT metric may describe a homogeneous but not isotropic cosmological model [13]. In reality, we consider our Universe as homogeneous and isotropic. Therefore, if any astrophysical object contains the gravitomagnetic monopole, in order to nullify its effect at infinity or in order to intact the character of our Universe as ‘homogeneous and isotropic’, other astrophysical object(s) of our Universe should also contain gravitomagnetic monopole, so that the total effects of gravitomagnetic monopoles can vanish. However, the Taub-NUT metric asymptotically coincides with the leading approximation for large r of a KTN space [17] with electric mass M and magnetic mass \(n_*\). The asymptotic structures of the Taub-NUT and KTN spacetimes have recently been analysed in details in Sect. IV C of [18] and Sect. IV of [19] respectively.

Note that the time coordinate in the Taub-NUT metric would be discontinuous at the axisymmetric pole, and the spacetime contains close timelike curves around the axisymmetric pole, which would raise the causality violation issue [9, 20]. Misner [13] argued that the discontinuity in time could be eliminated by making the time coordinate periodic, but a periodic time would not describe reality. In this paper, we apply the Novikov self-consistency principle/conjecture (only self-consistent trips back in time would be permitted [21, 22]) to avoid the causality violation for the phenomena occurring in M87*.

Interestingly, it was argued in [17] that a nonrotating black hole may be set in rotation through successive throwing of electric and magnetic monopoles into it, and after completion of this sequence of processes, a Kerr collapsed object could be formed. Performing the similar analysis on Taub-NUT space with only magnetic mass \(n_*\), one can set it in rotation and a KTN collapsed object could be formed (see Conclusions of [17]). It was also shown in [17] that these systems, as seen from large distances, are endowed with an angular momentum proportional to the product of the two kinds of charges/masses. Remarkably, this angular momentum associated with the charge-monopole/electric mass-magnetic mass system finally loses all traces of its exotic origin and is perceived from the outside as ‘common rotation’. Therefore, it is perhaps not totally inconceivable to think that, at least part of the rotation of some of the observed compact objects of our Universe, might come from their hiding ‘magnetic poles’ which have not yet been observed [17].

It was once suggested in [23] that the signatures of gravitomagnetic monopole aka NUT charge might be found in the spectra of supernovae, quasars, or active galactic nuclei (see also [20, 24, 25]). However, the observational evidence of this aspect of fundamental physics was elusive. In a very recent paper, the first observational indication of the gravitomagnetic monopole has been reported [26], based on the X-ray observations of an astrophysical collapsed object: GRO J1655-40 and it has been shown there that the accreting collapsed object GRO J1655-40 could be better described with the more general KTN spacetime [27], instead of the Kerr spacetime. Now, as the compact radio source at the core of the galaxy M87 forms the primary component of an active galactic nucleus (AGN), one could expect the existence of the gravitomagnetic monopole in M87* too. This also motivates us to hunting the existence of gravitomagnetic monopole in M87*.

One should note here that the shadow structures for the various spacetimes are recently investigated in several papers. For example, the shadow structures of a Kerr-like wormholes [28], charged wormholes [29], 5D electrically charged Bardeen black holes [30], uncharged [31] and charged [32] rotating regular black holes are thoroughly investigated. The shadow structures of a rotating black holes in 4D Einstein–Gauss–Bonnet gravity is also discussed in [33]. The parameter estimation of different kinds of black holes have also been illustrated by constraints from the black hole shadow [34, 35].

The scheme of the paper is as follows. In Sect. 2, we briefly describe the KTN spacetime. We outline the basic structure to study the BH shadow in Sect. 3 and apply it to the KTN spacetime. We constrain the value of gravitomagnetic monopole for M87* in Sect. 4, and finally we conclude in Sect. 5. Note that the geometrized units (\(G=c=1\)) are adpoted throughout the paper.

2 Kerr–Taub-NUT Spacetime

Before going into detail, we briefly describe the KTN spacetime below. The metric of the KTN spacetime is expressed as [36],Footnote 2

$$\begin{aligned} ds^2= & {} -\frac{\varDelta }{p^2}(dt-A d\phi )^2+\frac{p^2}{\varDelta }dr^2+p^2 d\theta ^2 \nonumber \\&+ \frac{1}{p^2}\sin ^2\theta (adt-Bd\phi )^2 \end{aligned}$$
(1)

with

$$\begin{aligned} \varDelta= & {} r^2-2Mr+a^2-n^2, \quad p^2=r^2+(n+a\cos \theta )^2, \nonumber \\ A= & {} a \sin ^2\theta -2n\cos \theta , \quad B=r^2+a^2+n^2 \end{aligned}$$
(2)

where M is the mass, \(a_*=a/M\) is the Kerr parameter or spin parameter and \(n_*=n/M\) is the NUT parameter or gravitomagnetic monopole of the collapsed object. The boundaries of the outer horizon is located at

$$\begin{aligned} r_h= & {} M\left( 1+\sqrt{1+n_*^2-a_*^2}\right) . \end{aligned}$$
(3)

Setting \(p^2=0\), one can obtain the location of singularity [38] at

$$\begin{aligned} r=0 \,\,\,\,\, \mathrm{and} \,\,\,\, \theta _s = \cos ^{-1}(-n_*/a_*), \end{aligned}$$
(4)

in KTN spacetime. The above expression (Eq. 4) reveals that the singularity does not arise for \(|n_*| > |a_*|\), which indicates a singularity-free KTN BH, whereas for a KTN BH with \(n_* = a_*\), singularity arises at \(\theta _s=\pi \), covered by the horizon. The singularity can arise for \(|n_*| \leqslant |a_*|\), which could be a KTN BH or a KTN NS depending on the numerical values of \(a_*\) and \(n_*\). Now, as the \(r_h\) vanishes for \(|a_*| > \sqrt{1+n_*^2}\), one can always obtain a KTN NS in this case, whereas a KTN BH with singularity (covered by the horizon) arises if the following condition is satisfied: \(|n_*| \le |a_*| \le \sqrt{1+n_*^2}\).

One can see an interesting fact from Eq. (4) that the location of singularity (arisen only for \(|n_*| \leqslant |a_*|\)) can vary depending on the sign of \(a_*\) and \(n_*\). In Kerr spacetime (\(n_*=0\)), the singularity always lies at \(\theta _s=\pi /2\), whether \(a_*\) represents the prograde rotation (\(a_* > 0\)) or the retrograde rotation (\(a_* < 0\)). However, the presence of gravitomagnetic monopole can shift the location of singularity in the KTN spacetime, as seen from Eq. (4). For instance, four possibilities can be arisen, which is discussed below dividing into four quadrants.

Quadrant I (\(a_* > 0\) and \(n_* > 0\)): The location of singularity can vary from \(\theta _s \rightarrow \pi /2\) to \(\theta _s =\pi \) for \(n_* \rightarrow 0\) to \(n_*=a_*\), or, for \(a_* \rightarrow \infty \) to \(a_*=n_*\).

Quadrant II (\(a_* < 0\) and \(n_* > 0\)): The location of singularity can vary from \(\theta _s \rightarrow \pi /2\) to \(\theta _s =0\) for \(n_* \rightarrow 0\) to \(n_*=-a_*\), or, for \(a_* \rightarrow -\infty \) to \(-a_*=n_*\).

Quadrant III (\(a_* < 0\) and \(n_* < 0\)): The location of singularity can vary from \(\theta _s \rightarrow \pi /2\) to \(\theta _s =\pi \) for \(n_* \rightarrow 0\) to \(-n_*=-a_*\), or, for \(a_* \rightarrow -\infty \) to \(-a_*=-n_*\).

Quadrant IV (\(a_* > 0\) and \(n_* < 0\)): The location of singularity can vary from \(\theta _s \rightarrow \pi /2\) to \(\theta _s =0\) for \(n_* \rightarrow 0\) to \(-n_*=a_*\), or, for \(a_* \rightarrow \infty \) to \(a_*=-n_*\).

We should note here that all the above mentioned four quadrants also include the singularity-free KTN BH regions which arises due to \(|n_*| > |a_*|\).

3 Shadow of a collapsed object

There are three types of photon trajectories fired from the large radii around a collapsed object: capture, scatter to infinity and critical curve. The latter or unstable curve separates the first and second types. If the 3-momentum of a light ray is nearly tangential to the circular photon orbit, the orbit is unstable and this ray orbits around the collapsed object several times. This light ray is either scattered to infinity or captured by the central object due to a small perturbation. As they orbit around the collapsed object several times, they create a brighter region around a central dark region in the sky plane of distant observer. This can be projected as a 2D image and the dark region of it is called as the shadow of that collapsed object.

In order to study shadow of a collapsed object, one needs to solve the geodesic equations. Here, we solve the geodesic equations numerically for the KTN metric using the ray tracing code. This is an initial value problem and to calculate the boundary of shadow we use the simulation with the assumption of stationarity,Footnote 3 similarly as that done in [39, 40]. A class of Runge-Kutta-Nystrom method is used, which is explained in [41]. We use adaptive step sizes in our calculations with error control. We start from the observer’s sky plane, the location of which is expressed in the Cartesian coordinates \(\left( x' , y', z' \right) \) and the collapsed object is located at \(\left( x , y, z \right) \). The observer’s plane is located at a distance D away from the collapsed object, and at an inclination angle i (see the geometry of the system in Figure 1 of [42]). Photon’s initial 4-momentum, \(\mathbf{k_0}=(k_0^t,k_0^r,k_0^\theta ,k_0^\phi )\), is perpendicular to the observer plane. The image plane contains a grid and the photons are fired from every point of the grid. The ray is traced-back from each pixel of image with the initial condition to the collapsed object.

Now, we can write the initial condition [43] for our simulation as:

$$\begin{aligned} t_0= & {} 0 \, , \nonumber \\ r_0= & {} \sqrt{x'^2_0 + y'^2_0 + D^2} \, , \nonumber \\ \theta _0= & {} \arccos \frac{y'_0 \sin i + D \cos i}{\sqrt{x'^2_0 + y'^2_0 + D^2}} \, , \nonumber \\ \phi _0= & {} \arctan \frac{x'_0}{D \sin i - y'_0 \cos i}. \end{aligned}$$
(5)

The initial condition for the photon 4-momentum is :

$$\begin{aligned} k^r_0= & {} - \frac{D}{\sqrt{x'^2_0 + y'^2_0 + D^2}} |k_0| \, , \nonumber \\ k^\theta _0= & {} \frac{\cos i - D \frac{y'_0 \sin i + D \cos i}{x'^2_0 + y'^2_0 + D^2}}{\sqrt{x'^2_0 + (D \sin i - y'_0 \cos i)^2}} |k_0| \, , \nonumber \\ k^\phi _0= & {} \frac{x'_0 \sin i}{x'^2_0 + (D \sin i - y'_0 \cos i)^2}|k_0| \, , \nonumber \\ k^t_0= & {} \sqrt{\left( k^r_0\right) ^2 + r^2_0 \left( k^\theta _0\right) ^2 + r_0^2 \sin ^2\theta _0 (k^\phi _0)^2}, \end{aligned}$$
(6)

where \(k^t_0\) is obtained from the condition \(g_{\mu \nu } k^{\mu } k^{\nu } = 0\) with the metric tensor of flat space time.

Fig. 1
figure 1

Shadow shapes resulting from the four different settings on the spin (\(a_*\)) and the NUT parameter (\(n_*\)), i.e., \((a_*, n_*)=(0,0)\) (Schwarzschild metric), (1, 0) (extremely rotating Kerr metric), (0.9, 0.7) (KTN BH), and (5, 0.9) (KTN NS), respectively, for \(i=17^{\circ }\). This Figure illustrates that the shadow shapes resulting from different KTN parameter settings are all nearly circular but the shadow sizes can be significantly different from each other. In the inset, although we display that the resulting deviation from circularity is only within \(5\%\) for these particular settings of parameters, it can be, in fact, higher for the different settings of \(a_*\) and \(n_*\)

Boundary of the shadow of a collapsed object is a closed curve in the observer’s plane and it separates captured photon from scattered ones. To have image of the shadow boundary, we first define the center of a shadow \((x'_{\mathrm{cs}}, y'_{\mathrm{cs}})\) in analogy with the center of mass calculation,

$$\begin{aligned} x'_{\mathrm{cs}}= & {} \frac{\int \int \rho (x',y') x' dx' dy'}{\int \int \rho (x',y') dx' dy'} \, \nonumber \\ y'_{\mathrm{cs}}= & {} \frac{\int \int \rho (x',y') y' dx' dy'}{\int \int \rho (x',y') dx' dy'}, \end{aligned}$$
(7)

where \(\rho (x',y') = 1\) represents inside of the shadow and \(\rho (x',y') = 0\) represents the outside of it.

We consider \(x'\) axis as the symmetry axis of shadow boundary. We start from the shorter segment in \(x'\) axis with \(\phi = 0\), and define \(R \left( \phi \right) \) as the distance between each point of the boundary and the center.

Figure 1 shows the examples for the cases with \((a_*, n_*)=(0, 0)\), (1, 0), (0.9, 0.7), and (5, 0.9), i.e., the Schwarzschild metric, Kerr metric, KTN BH, and KTN NS for a particular inclination angle, say, \(i=17^{\circ }\). For different settings of \(n_*\), as it is shown in this figure, the shadow sizes differ significantly, but the shapes are nearly circular and only have slight differences. For instance, the shadow is circular for the Schwarzschild BH, whereas it slightly deviates from the circularity even if \(a_*\) increases to a large value for the Kerr BH, as shown in [2]. For a fixed \(a_*\), the shadow size increases with increasing \(n_*\), but it is almost circular for the KTN BH cases and it becomes asymmetric for the KTN NS cases. However, the deviation from circularity is on the order of percentage level or less. For example, it is only \(1.5\%\) if \((a_*, n_*)=(5, 0.9)\).

Fig. 2
figure 2

Dependence of the shadow radius \(\bar{R}\) (in unit of ‘M’) on the Kerr and NUT parameters of a KTN collapsed object, for four different inclination angles (i). Variation of these theoretically predicted shadow sizes are indicated by the rainbow colors. The green dashed line Sects. 3.1 and 3.2 represents the division between the KTN BHs (left) and the KTN NSs (right). As seen from this figure, compared to the shadow sizes of the Kerr BHs, the shadow sizes of the Kerr NSs are not necessarily smaller in the whole range of \(a_*\) (i.e., \(|a_*| > 1\)), and they can be larger. See for details

Now, it is asserted by the EHT collaboration that the recently released image of the shadow of M87* is not exactly circular [1], i.e., it deviates from circularity. Therefore, one needs to define the average radius of the shadow which can be expressed as (see Eq. 4 of [6])

$$\begin{aligned} {\bar{R}}^2 \equiv \frac{1}{2\pi } \int _0^{2\pi } \! R^2(\phi ). \mathrm {d}\phi . \end{aligned}$$
(8)

Following [1, 6] one may also define a parameter \(\varDelta d\) to describe the asymmetry of shadow by using the difference between the RMS distance and the average radius of the shadow \({\bar{R}}\) :

$$\begin{aligned} \varDelta d \equiv \frac{1}{ {\bar{R}}} \,\,\sqrt{\frac{1}{2\pi } \int _0^{2\pi } \! (R(\phi ) - {\bar{R}})^2 \, \mathrm {d}\phi }. \end{aligned}$$
(9)

Here, the asymmetry parameter \(\varDelta d\) quantifies the deviation from circularity of the shadow. This parameter can also be used to compare the theoretically predicted shadow size of a collapsed object with the observational one. Below we first briefly discuss the theoretically predicted values of shadow size and circularity for the KTN spacetime in Sects. 3.1 and 3.2 , respectively. Later, using the theoretical values and the recently reported observational parameter values of EHT, we constrain the gravitomagnetic monopole/NUT charge for M87* in Sect. 4.

3.1 Dependence of the shadow size on \(a_*\), \(n_*\), and i

Figure 2 is drawn for four different inclination angles to show the variation of shadow sizes with the Kerr and NUT parameters (in unit of the mass scale M), as obtained theoretically. Our results are consistent with the shadow sizes obtained in [44] (see also [42, 45]) for Kerr BHs. In case of the Kerr BH, the shadow size first decreases with increasing the value of \(a_*\), until \(a_*=1\). It faces a sudden decrement in its value for further increment in \(a_*\), i.e., \(a_* = 1+\epsilon \) where \(\epsilon \rightarrow 0^+\). The latter one stands for an extreme case of Kerr NS. Interestingly, the shadow size increases with increasing the value of \(a_*\) for Kerr NS, i.e., \(a_*=1+\epsilon \) to a higher value, which is true for all inclination angles (see Fig. 2). The physical reason behind this may be understood by considering the example of the behavior of corotating equatorial circular photon orbit (CPO). In the case of the Kerr BH, the radius of CPO, \(r_{\mathrm{CPO}}\), comes closer and closer to the event horizon with increasing the value of \(a_*\) (i.e., \(3 \ge r_\mathrm{CPO}/M \ge 1\) for \(0 \le a_* \le 1\)), whereas \(r_{\mathrm{CPO}}\) is always located (formally) at the ring singularity (\(r=0, ~ \theta =\pi /2\)) [46] in the case of the Kerr NS. This means that the \(r_{\mathrm{CPO}}\) can exist very close to the ring singularity for all values of \(a_* : a_* > 1\), in principle. One intriguing behavior of the ring singularity that emerges is, its radius increases with increasing \(a_*\) (see Figure 2 of [4]), and hence, the CPO also becomes bigger and bigger in principle. This can be realized from the Kerr-Schild coordinates which reduce to [47] :

$$\begin{aligned} x^2+y^2=(r^2+a^2)\sin ^2\theta \,\,\,\, \mathrm{and} \,\,\,\, z=r\cos \theta . \end{aligned}$$
(10)

Thus, the ring singularity (\(r=0, ~ \theta =\pi /2\) in the Boyer–Lindquist coordinates) can be expressed as (see Figure 25 of [47])

$$\begin{aligned} x^2+y^2=a^2 \,\,\,\, \mathrm{and} \,\,\,\, z=0. \end{aligned}$$
(11)

Equation (10) shows that the radius (in the Kerr-Schild coordinates) of \(r_{\mathrm{CPO}}\) (\(\equiv M\)) for \(a_*=1\) is \(\sqrt{x^2+y^2}|_{r \rightarrow M}=\sqrt{2}M=1.414M\). Now, for a nearly extremal naked singularity (NENS), say, \(a_*=1.00001\), the radius of CPO is : \(\sqrt{x^2+y^2}|_{r \rightarrow 0}=|a_*|=1.00001M\). It is needless to say here that the radius of CPO increases with the further increment of \(a_*\) for the Kerr NS. The above discussion gives a rough idea that why the shadow size first decreases for the ‘transition’ from the extremal BH to a NENS and then increases again.

Note here that the shadow size varies from 10.4 to 9.6 for the Kerr BH with spin (\(a_*\)) varying from 0 to 1 for the inclination angles, i.e., \(0 \le i \le 89^{\circ }\) (see Figure  2 of [44]). One can see exactly the opposite scene for the Taub-NUT BH, i.e., KTN BH with \(a_* = 0\). In this case, the shadow size increases with increasing the value of \(|n_*|\), but it does not change with the value of i, as the Taub-NUT spacetime is spherically symmetric [13, 23]. The different nature of these two parameters is reflected in the shadow size of KTN BH. In general, the shadow size increases with increasing \(|n_*|\) for a fixed value of \(a_*\) in case of the KTN BH. In contrast, it can increase or decrease with increasing \(n_*\) for a fixed value of \(a_*\) in case of the KTN NS. This statement is true for any inclination i no matter whether it is a KTN BH or a KTN NS, which is also clear from panels (a)–(d) of Fig. 2 as well asFootnote 4 Fig. 3.

Fig. 3
figure 3

Dependence of the shadow radius \(\bar{R}\) (in unit of ‘M’) on the Kerr and NUT parameters of a KTN collapsed object, for \(i=17^{\circ }\), i.e., it is an extended version of panel (b) of Fig. 2 with all of the four quadrants: Quadrants I–IV. The plane is divided into the KTN BH and KTN NS regions by the two thin dashed green lines, i.e., the region between the two green lines implies the KTN BH region whereas rest of the plane implies the KTN NS region. This figure shows that the shadow size increases with increasing \(|n_*|\) for a fixed value of \(|a_*|\) in case of the KTN BH. On the other hand, it increases (or decreases) with increasing \(n_*\) for a fixed \(a_* > 0\) (or \(a_* < 0\)) in the range of \(n_* > -\cot 17^{\circ }\) (or \(n_* < \cot 17^{\circ }\)) for KTN NS. Here we plot for a limited parameter space. For a general large parameter space (\(|n_*| > \cot 17^{\circ }\)), the violet colored region adjacent to the green dashed line, shifts towards the right (left) side of the plot in Quadrant IV (Quadrant II), and the subsequent rainbow color appears at adjacent to the green dashed line. This means that the shadow sizes of KTN NENSs can be much bigger (\(\sim 10\)) than zero in such a special case. See Sect. 3.1 and Appendix A for details

The appearance of the special feature (decreasing the shadow size for the transition from the extremal BH to the NENS) in the violet colored region of Fig. 3 is not unusual in case of a NENS as discussed at the end of the first paragraph of this section. However, this explanation is true only for the KTN spacetime with the value of \(n_* : 0> n_* > -3.27\), if one moves along the \(OY'\) axis with a constant value of \(a_*\). For a general large parameter space, the violet colored regions adjacent to the green dashed lines, shifts towards the right (left) side of the plot in Quadrant IV (Quadrant II), and the subsequent rainbow color appears at adjacent to the green dashed line. This means that the shadow sizes of KTN NENSs can be much bigger (\(\sim 10\)) than zero in such a case. Not only this, it is also shown that if \(\theta _s\) (location of the singularity, see Eq. 4) is bigger than the inclination angle (i), i.e., \(\theta _s > i\), one can see an extremely smaller shadow, whereas the shadow will be much bigger for \(\theta _s \leqslant i\). The above statement is true in either way, i.e., depending on a slight change in i from \(\theta _s\) (i.e., \(i \rightarrow \theta _s \pm 0.1^{\circ }\)), one can see a large difference in the shadow size of a same KTN object. For example, if we consider a KTN NS with \((a_*, n_*) \sim (8.36, -8)\), i.e., \(\theta _s \sim 17^{\circ }\), one can see the shadow size of the object as \(\sim 0.003\) with \(\varDelta d \sim 0\) for \(i =16.9^{\circ }\), whereas the shadow size becomes \(\sim 15.5\) with \(\varDelta d \sim 0.09\) for \(i=17.1^{\circ }\). The reason behind these interesting discontinuity effects is due to an important relation between i and \(\theta _s\), which is vividly discussed in Appendix A.

3.2 Dependence of the shadow circularity on \(a_*\), \(n_*\), and i

Earlier it was shown in [48] that the NUT parameter not only increases the size of the KTN BH shadow (with the same M and \(a_*\)), but it also circularize the BH shadow ellipseFootnote 5 [48]. The first property can be seen from Fig. 2, and the second one from Fig. 4. The left side of green dashed line of Fig. 4 represents the KTN NS region whereas its right side represents the KTN BH region. Panel (a) of Fig. 4 shows that the shadow of KTN BH becomes circular with increasing the value of \(n_*\) for \(a_*=1.1\). The Kerr parameter tries to make it further elliptical. Comparing panels (a) and (b) of Fig. 4, one can see this interesting difference of the Kerr and NUT parameters for the KTN BH. The same figures also show that the shadows are in general elliptical for \(i \sim 40^{\circ }\) in the case of KTN NSs.

Fig. 4
figure 4

Dependence of the deviation from the circularity of an object with KTN metric on i and \(n_*\) plane, for two different \(a_*\) values. These two panels illustrate one important property of the NUT parameter in general, i.e, it decreases the deviation from the circularity of the BH shadow. In each panel, the hatched region indicates the parameter space allowed by the shadow size measured from the EHT observations for M87* (Eq. 12), while the white region is excluded by the circularity constraint from the same EHT observation (\(\varDelta d \lesssim 0.1\)). The left side of the thin green dashed line stands for the KTN NSs, and its right side the KTN BHs. See Sects. 3.2 and 4 for details

Fig. 5
figure 5

Dependence of the deviation from the circularity of an object with KTN metric on i and \(a_*\), for the different \(n_*\) values. In each panel, the hatched region indicates the parameter space allowed by the EHT measurement of M87* shadow size, and the white region is excluded by the circularity constraint obtained for M87* (\(\varDelta d\lesssim 0.1\)). The green dashed line stands for the extremal KTN BH. The left and the right sides of green dashed line represent the KTN BH and the KTN NS regions, respectively.

Now, due to the small increment in \(n_*\) from 0 (i.e., equivalent to the Kerr spacetime) to 0.1, panel (a) of Fig. 5 spans the inclination and spin parameter region. The colored region represents the deviation from circularity which is less than \(10\%\) or 0.1 as defined in Eq. (9). As we have already mentioned that our probe includes both the BH as well as NS region, the left side of the green dashed line represents the KTN BHs whereas right side of the same represents the KTN NSs. The green dashed line stands for the extremal KTN BH. The maximum allowed value of inclination for \(a_* \sim 6\) is less than \(40^\circ \). If we further increase (decrease) the value of \(n_*\), the shadow size will be larger (smaller) and the hatched region in KTN NS moves to the smaller (larger) value of the spin parameter. This can be seen by comparing panels (a) and (b) of Fig. 5.

Figure 6 is drawn with the combinations of \(a_*\) and \(n_*\) for a fixed inclination angle, \(i=17^{\circ }\). The presence of thin Yellow–Cyan (YC) region along the green dashed line of this figure indicates that a high deviation of circularity with \(3 \% < \varDelta d \lesssim 10\% \) can be possible in Quadrants II and IV. For the general large parameter space, the thin YC regions, adjacent to the green dashed lines of Quadrants II and IV, are broadened for increasing the value of \(|n_*|\).

4 Constraining the gravitomagnetic monopole in M87*

It was suggested in [2] that the possibility for M87* being a Kerr NS is ruled out by arguing that the shadows of Kerr NSs (\(|a_*| > 1\)) are substantially smaller and very asymmetric compared to those of Kerr BHs. Referring to the discussion of Sect. 3.1, we can say that the argument given in [2] is shaky. This can also be seen from Fig. 2 (b) that one can obtain a short range of \(a_*: 4.5 \lesssim a_* \lesssim 6.5\) for which the shadow size is comparable to the Kerr BHs. This is recently shown by [6] as well. However, there is a basic difference between that work [6] and our present work. They considered one extra parameter, \(R_{\mathrm{ss}}\), which governs the scale at which quantum gravity effects become relevant. Therefore, they obtained two different ranges of \(a_*\) for which M87* could be a superspinar. These are: \(1 \lesssim a \lesssim 4.5\) for \(1.8 \lesssim R_{\mathrm{ss}}/M \lesssim 3.5\) and \(4.5 \lesssim a \lesssim 6.5\) for \( R_{\mathrm{ss}}/M \lesssim 3\). In our case, we do not consider that extra parameter \(R_{\mathrm{ss}}\) for the KTN NS. This means, we consider up to \(r \rightarrow 0\), i.e, \(R_{\mathrm{ss}} \rightarrow 0\) is considered for our work. That is why, we obtain (see Fig. 2b) the allowed range for M87* as \(4.5 \lesssim a \lesssim 6.5\) for \(n_* \rightarrow 0\). It is useful to mention here that we restrict our probe for the KTN NS up to \(R_{\mathrm{ss}}\equiv r \rightarrow 0\) in this paper. We do not consider the KTN NS with a boundary at a positive value of r unlike those presented in [6]. This also means that the quantum gravity effects are considered not to be relevant [5, 49] for \(r > 0\) for this work.

To quantify our results we first consider the recently reported observational constraints by the EHT collaboration [50] on the shadow size of the BH in M87 as [1, 6]

$$\begin{aligned} \frac{D\delta }{M} \simeq 11.0 \pm 1.5, \end{aligned}$$
(12)

for M (mass of M87*) \(= (6.5 \pm 0.2|_{\mathrm{stat}} \pm 0.7|_{\mathrm{sys}}) \times 10^9 M_{\odot }\) and \(\delta \) (average diameter of the crescent) \(= (42 \pm 3)\, \mu \)arcsec [50]. Although the distance of M87* is \(D = 16.8^{+0.8}_{-0.7}\) Mpc, we consider \(D=16.8\pm 0.75\) Mpc in the above equation for the simplification of our calculation following [6]. Considering the KTN metric (Eq. 1) and observed parameter values, one can now constrain the value of NUT charge in M87* for Eq. (12). It is needless to say here that we use the KTN metric instead of the Kerr metric which was used in [1, 6]. We also follow the limit of \(\varDelta d\): \(\varDelta d \lesssim 10\%\) [1], as reported by the EHT collaboration.

Here, Fig. 4 shows how the allowed region of the shadow size of M87* varies with \(n_*\) for a fixed value of \(a_*\), irrespective of the inclination angle. Especially the hatched region of this figure shows the allowed size of shadow according to Eq. (12). This implies that although the high value of inclination angle is satisfied for the KTN BH, it is excluded for the KTN NS by the circularity condition of the shadow of M87*. If we increase the value of \(a_*\), the size of the shadow will be smaller and the hatched region moves from the right to left, i.e., BH to NS region. It also shows that allowed values of the inclination angle decreases with the increasing value of \(a_*\). Interestingly, the shadow size of M87* does not only exclude the KTN BH for \(n_*=1.1\), but also excludes the high value of inclination angle. This is shown by the hatched region of panel (c) of Fig. 5 that the following range of \(a_*: 1.7< a_* < 3.3\) with \(i < 20^{\circ }\) is only compatible with the circularity condition of M87* for this particular case.

Now, as mentioned, Fig. 6 is drawn for \(i=17^{\circ }\) to show the combinations of \(a_*\) and \(n_*\) which could be relevant for M87*. This assumption is made based on the estimated angle between the approaching jet (parallel/anti-parallel to spin direction) and line of sight by [51], that leads to the value as \(17^{\circ }\). The jet direction is controlled by the BH spin. If the BH spin axis is aligned with the jet, then the asymmetry of the shadow implies that the black hole spin is pointing away from Earth, i.e., the rotation of the BH is clockwise (\(a_* < 0\)) as viewed from Earth (see Fig. 5 of [2]). In Fig. 6, we plot all of the four quadrants, as discussed at the end of Sect. 2 (we do not repeat here it again). A close observation of our results reveals that the features of hatched region in Quadrants I and III are same, whereas the features of Quadrants II and IV are same. Thus, we describe below these two different features separately.

Fig. 6
figure 6

Constraints on NUT parameter (\(n_*\)) and Kerr parameter (\(a_*\)) obtained by using the EHT results for M87* shadow and assuming an inclination angle of \(i=17^{\circ }\). The plane is divided into KTN BH and KTN NS regions by the two thin dashed green lines, i.e., the intermediate portion of the two green lines implies the KTN BH region whereas rest of the plane implies the KTN NS region. The entire (colored) region of this plot represents those with circularity \(\varDelta d \lesssim 10\%\), as required by the EHT observations for M87*. The combinations of \(a_*\) and \(n_*\) in the hatched region can be regarded as the allowed region for M87*. This figure shows that M87* could contain gravitomagnetic monopole \(n_*\), in which case the upper limit of \(n_*\) cannot be greater than 1.1, i.e., \(n_* \lesssim 1.1\) for the prograde rotation (\(a_* > 0\)), whereas the lower limit of \(n_*\) cannot be less than \(-1.1\), i.e., \( n_* \gtrsim -1.1\) for the retrograde rotation (\(a_* < 0\)). This figure also suggests that the measurement of the shadow asymmetry with 1% of accuracy can help to break the degeneracy between a BH and a NS, in general. Even if the KTN NS is falsifiable, M87* could still be described as a KTN BH with the upper limit of \(n_*\) as \(n_* < 0.9\) in case of the prograde rotation, and the lower limit of \(n_*\) as \( n_* > -0.9\) in case of the retrograde rotation. Here we plot for a limited parameter space. For a general large parameter space, the thin Yellow-Cyan regions, adjacent to the green dashed lines of Quadrants II & IV, are broadened for increasing the value of \(|n_*|\) and the black hatched region of NS can be overlapped with this region. Moreover, the value of \(\varDelta d\) in the black hatched regions of NS is not always bounded within the value \(10\%\), but it can also be equal to or greater than \(10\%\) (i.e., \(\varDelta d \lesseqgtr 10\%\) is possible in the black hatched region of NS) depending on the values of \(a_*\) & \(n_*\) in the general parameter space. See Sects. 3.2 and 4 for details

4.1 Quadrants I and III

One can see from the plots of Quadrants I and III that M87* is not allowed as a KTN BH for the high value of \(|n_*|\), i.e., \(|n_*| > 1\). For instance, if M87* is a KTN BH with \(|a_*| = 1\), the value of \(|n_*|\) has to be less than 0.6. If M87* is a KTN BH, the allowed ranges are \(0< |a_*| < \sqrt{1+n_*^2}\) and \(0< |n_*| < 0.9\). To be a KTN NS, the allowed ranges are \(1< |a_*| < 6.2\) and \(0 < |n_*| \lesssim 1.1\). The upper limit of the NUT charge which could be contained in M87*, is \(|n_*| \sim 1.1\). In that case, the value of the spin parameter will be \(|a_*| \sim 2.4\). Quadrants I and III of Fig. 6 and the above mentioned two separate ranges imply that there is a degeneracy in the value of \(|n_*|\), i.e. for \(0< |n_*| < 0.9\), M87* could be a KTN BH or a KTN NS. This degeneracy could be broken by analyzing the deviation of circularity of the shadow of M87* more accurately. To be a KTN BH with \(0< |n_*| < 0.9\), the shadow should be almost circular (i.e., \(\varDelta d \lesssim 1\% \)) whereas, it can significantly deviate from circularity if M87* is a KTN NS with \(0< |n_*| < 0.9\), as seen from Quadrants I and III of Fig. 6.

4.2 Quadrants II and IV

One can see from the plots of Quadrants II and IV of Fig. 6 that M87* is allowed as a KTN BH for the low value (\(|n_*| \leqslant 1\)) as well as the high value (\(|n_*| > 1\)) of \(n_*\), unlike Quadrants I and III. In fact, the value of \(|n_*|\) of M87* as a KTN BH or NS can be greater than even 2 (i..e, \(|n_*| > 2\)), which is not shown in the plot. To be a KTN NS of much lower value of \(n_*\) (i.e., \(|n_*| < 1\)), the allowed ranges for \(a_*\) starts from \(|a_*| \sim 4.5\). We plot Figs. 3 and 6 for a limited parameter space. For a general large parameter space, much higher values of \(|a_*|\) and/or \(|n_*|\) are possible for M87* as a KTN BH or a KTN NS in Quadrants II and IV, if we compare it to the other two quadrants (I and III). For instance, the black hatched region of NS, which spans with \(4.5 \lesssim |a_*| \lesssim 6.2\) (i.e., \(\varDelta a_* \sim 1.7\)) for \(|n_*| \rightarrow 0\), shifts towards right (left) of the plot in Quadrant IV (Quadrant II) with the higher values of \(|a_*|\) for increasing the value of \(|n_*|\). As an example, the black hatched region of NS extends in the following range of \(a_* : 19< a_* < 21\) for \(n_*=-10\). However, the width of black hatched region of NS remains almost constant (\(\varDelta a_* \sim 2\)) for a fixed value of \(n_*\) in the following range: \(0< |n_*| < 10\). Not only this, the value of \(\varDelta d\) also remains almost constant (i.e., \(\varDelta d \sim 1\%\)) for the above-mentioned black hatched region of NS.

As it is seen from the discussion of Sect. 3.2 that, for the general large parameter space, the thin YC regions, adjacent to the green dashed lines, are broadened for increasing the value of \(|n_*|\), and the black hatched region of NS can be overlapped with this region. Note that the value of \(\varDelta d\) in the black hatched regions of NS is not necessarily always be within \(2\%\) as shown in the limited parameter space of Fig. 6, it can also be equal to or greater than \(10\%\) (i.e., \(\varDelta d \lesseqgtr 10\%\)) depending on the values of \(a_*\) & \(n_*\) in the general large parameter space, specifically close to the green dashed lines. For example, if M87* is a KTN NS of Quadrant IV with \(a_* \sim 5.2\) and \(n_* \sim -5\), the shadow size would be \(\sim 12\) with \(\varDelta d \sim 10\%\).

5 Conclusion and discussion

The KTN metric is the mathematical solution of the Einstein field equation, and the EHT observations [2] have not ruled out the possibility of M87* containing the gravitomagnetic monopole/NUT charge, yet. In this work, we have investigated the possibility for the existence of gravitomagnetic monopole in M87*, by studying how the shadow size and shape depends on the KTN metric parameters and using the first observational image of its shadow as constraints. We have found that the observational constraints on the size and circularity of the M87* shadow do not exclude the possibility that this compact object can be a naked singularity and contain the gravitomagnetic monopole. It is, therefore, important to have accurate measurements of both the shadow size and asymmetry, which can be used to put strong constraints on \(a_*\) and \(n_*\), and break the degeneracies between the different metrics as well as between the BHs and NSs. If M87* is really a KTN NS, the accurate measurements of both the shadow size and asymmetry can help to break the degeneracies between the different quadrants.

Secondly, our finding reveals that the observational image is not only compatible with the KTN metric of the limited ranges of \(a_*\) and \(n_*\) as shown in Fig. 6, but it is also compatible with the general large parameter space as discussed in Sect. 4. Furthermore, we have also shown that if M87* in fact contains the gravitomagnetic monopole the upper limit of \(n_*\) cannot be greater than 1.1, i.e., \(n_* \lesssim 1.1\) in case of the prograde rotation (\(a_* > 0\)), whereas the lower limit of \(n_*\) cannot be less than \(-1.1\), i.e., \( n_* \gtrsim -1.1\) in case of the retrograde rotation (\(a_* < 0\)). If the deviation from the circularity of the shadow is found to be less than \(1\%\) by the future EHT-like observations (such as, ngEHT [52]), the Kerr and KTN NSs are falsifiable. In spite of that, M87* could still be described as a KTN BH with the upper limit of \(n_*\) as \(n_* < 0.9\) in case of the prograde rotation (\(a_* > 0\)), and the lower limit of \(n_*\) as \( n_* > -0.9\) in case of the retrograde rotation (\(a_* < 0\)). Note that our conclusion can be true, if M87* as a AGN (see [23]) contains the NUT charge.