Abstract
The aim of this work is to apply Weitzeböck Induced Matter Theory (WIMT) to Gullstränd–Painlevé and Reissner–Nordström metrics in the framework of WIMT. This is a newly developed method that extends Induced Matter Theory from a curved 5D manifold using the Weitzeböck’s geometry, using the fact that the Riemann–Weitzenböck curvature tensor is always null. We obtain the presence of currents whose interpretation can lead to the presence of stable gravito-magnetic monopoles.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In a previous paper [1] we incorporated the Weitzeböck’s geometry (using its characteristic connections) into the treatment of extended Induced Matter Theory (IMT) [2, 3]. This theory is based on the assumption that ordinary matter and physical fields, which we can observe in our 4D universe, can be geometrically obtained from a 5D space–time which is at least Ricci-flat (in the sense of Levi-Civita connections). We are interested in the cases where the extra dimension is non-compact,Footnote 1 and we define a physical vacuum supported by the Ricci-flatness condition [4]. This theory is founded in the Campbell–Magaard embedding theorem [5–8] as a particular case in which \(^{(\mathrm{5D})}R_{ab}=\lambda \, ^{(\mathrm{5D})}g_{ab}\),Footnote 2 with \(\lambda =0\). We must remark that the \(\lambda =0\) condition implies Ricci-flatness and this makes it possible to define a 5D apparent vacuum that determines the equations of motion for the fields of the theory. Such equations are given by \(^{(\mathrm{5D})}R_{ab}=0\). The aim of WIMT is to use an alternative description, based on the Weitzenböck geometry, to apply a IMT-like formalism for any 5D space–time, even if this is not flat in the Riemannian sense with Levy-Civita (LC) connections. The central idea of WIMT is to convert the geometrical description of the problem from a non-flat (but torsion-less) Riemannian with LC connections, into a Weitzenböck’s geometrical description with a Riemann–Weitzenböck null tensor,Footnote 3 but with non-zero torsion. In this case we can use the IMT tools to induce 4D effective space–time dynamics making a foliation over the Riemann–Weitzenböck flat 5D space–time (this is the vacuum in the Weitzenböck sense).Footnote 4 Once this cjoice has been made, we can recover the Riemannian description by doing a transformation over the induced tensors (now obtained in terms of Weitzenböck connections) according to \(^{(\mathrm{LC})}\Gamma ^{a}_{bc}=^{\mathrm{(W)}}\Gamma ^{a}_{bc}+K^{a}_{bc}\). Here \(^{(\mathrm{LC})}\Gamma ^{a}_{bc}\) is the symbol denoting the LC connection (the usual Christoffel symbols of the second kind), \(^{\mathrm{(W)}}\Gamma ^{a}_{bc}\) denotes the Weitzenböck connections and \(K^{a}_{bc}\) is the contortion, which depends on the non-metricity and torsion. The shape of the contortion is presented in the next section.
Part of the motivation for the present work comes from two principal ideas: (i) WIMT provides a successfully description for the formation of a spherically symmetric body of finite size, and (ii) the Weitzenböck torsion present in WIMT is a possible geometrical source for the existence of magnetic monopoles.
With respect to the first assertion we can say that already the WIMT was used to address the problem of the formation of a massive compact object [1] as a remanent of a collapsing space–time. This object can be thought of as a black hole. The second one has been worked out using WIMT in the framework of the gravito-magnetic formalism in a variety of cosmological scenarios [9, 10], with the result that currents of gravito-magnetic monopoles are strongly linked to the Weitzenböck torsion. With the support of these results, it is generally expected that the density of gravito-magnetic monopoles and charges decay in an accelerated universe due to the strong increasing of the scale factor. Hence, the study of a stationary black hole appears to be an excellent issue to complete our approach to a spherically symmetric object and to try to appreciate the existence of stable gravito-magnetic charges using WIMT. We choose to work in the 5D extension of the Gullstränd–Painlevé (GP) metric, because with this metric it is very simple to get the associated basis of pentads and to operate with them. Additionally, but no less important, the GP metric is widely used in the study of BH and their evolution [11–14], so that it is an interesting topic that deserves further study.
2 WIMT
We shall introduce some basic concepts of the Weitzenböck geometry and we expose some results that we developed in previous works, because these will be tools for obtaining some important results of this article.
2.1 Weitzenböck geometry and vielbeins
In order to revisit the WIMT we shall use some elements of Weitzenböck geometry [15, 16]. The Weitzenböck connection is
we assume the transformation
which represents a transformation from an element \(\overrightarrow{E}_A\) (belonging to \(\{\overrightarrow{E}_A\}\), an orthonormal Lorentzian basis of the 5D tangent space), into \(\overrightarrow{e}_a\) (belonging to \(\{\overrightarrow{e}_a\}\), also a basis of 5D tangent space but in general not orthonormal). The elements \(e^A_{\,\,a}\) that perform the transformation are known as vielbeins [17, 18] and fulfill the relations \(e^A_{\,\,a} \bar{e}^b_{\,\,A} = \delta ^b_a\) and \(e^A_{\,\,a} \bar{e}^a_{\,\,B} = \delta ^A_B\). The vielbeins provide us with a prescription to transform bases and therefore any tensorial element. For example,
where \(\eta _{AB}\) is a 5D Minkowski-like metric with signature \((+,-,-,-,-)\), \(\{\overrightarrow{E}_A\}\) is an orthonormal Lorentzian basis and \(g_{ab}\) is the metric tensor expressed in terms of the basis \(\{\overrightarrow{e}_a\}\). This clarifies that \(e^A_{\,\,a}e^B_{\,\,b}\) is an object with five “legs” (corresponding to the five components of the space–time), in the \(\{\overrightarrow{E}_A\}\) representation for tensorial elements (upper case indices) and the other five “legs” in the \(\{\overrightarrow{e}_a\}\) representation (lower case indices). For a general tensor \({T^{A_1 \ldots A_n}}_{B_1 \ldots B_m}\), which is \(n\) times tangent (or contravariant) and \(m\) times cotangent (or covariant), we obtain
An important property of the Weitzenböck connection \(^{\mathrm{(W)}}\Gamma ^c_{ab}=\bar{e}^c_N\overrightarrow{e}_b(e_a^N)\) is that
This means that the covariant Weitzenböck derivative of the vielbein is null. The expression (1) characterizes the Weitzenböck connection with lower case indices as a transformation of a trivial null connection with upper case indices. About the trivial upper case index connection we must be more formal and construct the following expression:
where we have used \(e^{N}_{b}\bar{e}^{b}_B=\delta ^{N}_{B}\), \(e^{N}_{b}\bar{e}^{c}_N=\delta ^{c}_{b}\), and consequently \(\overrightarrow{e}_a(e^{N}_{b})\bar{e}^{c}_{N}=-e^{N}_{b}\overrightarrow{e}_a(\bar{e}^{c}_{N})\). The elements \(\overrightarrow{E}_C\) are linearly independent so that \(^{\mathrm{(W)}}\Gamma ^{C}_{AB}=0\). In this way the Weitzenböck connection represents the extension of the derivative operator with trivial zero connections in the orthonormal basis to the new basis. In the most general case the Riemann curvature tensor in the Weitzenböck geometry takes the following shape in terms of the upper case index connection:
due to each upper case index connection being null: \(^{\mathrm{(W)}}\Gamma ^N_{MO}=0\), as we can see in (6). The structure coefficients in the expression (7) are defined by \([\overrightarrow{E}_B,\overrightarrow{E}_A]=C^C_{AB}\overrightarrow{E}_C\). Therefore, the following expression is trivial:
This relationship is the key of WIMT. It provides us with a tool to define the 5D Weitzenböck vacuum and make use of the usual philosophy of IMT,Footnote 5 even in the absence of the 5D Riemannian (LC) vacuum.Footnote 6
Finally, the relationships between the LC and Weitzenböck connections are
where the Weitzenböck contortion \(^{\mathrm{(W)}}K^a_{bc}\) is
In the last expression \(g_{ab\,;\,c}=\,^{\mathrm{(W)}}Q_{abc}\) is the Weitzenböck non-metricity. In the absence of such a non-metricity we recover the usual shape for contortion, which is totally given in terms of the torsion tensor [20, 21]. In the present case we make a start with an orthonormal basis \(\{\overrightarrow{E}_A\}\). The Weitzenböck non-metricity is
which reduces to \(^\mathrm{(W)}Q_{ABC}=\overrightarrow{E}_C(\eta _{AB})\), because of \(^\mathrm{(W)}\Gamma ^{A}_{BC}=0\). We must remember that each \(\eta _{AB}\) is constant and then
The last expression is general but in the next section we shall study some cases in which this is specially easy to see. We shall work with a holonomic coordinate basis \(\{\overrightarrow{e}_a\}\), so that
because of \(\eta _{AB\,,\,c}=0\). In the last expression \(\eta _{AB\,,\,c}=\frac{\partial \eta _{AB}}{\partial x^{c}}\), where the coordinate \(x^{c}\) is related to the \(c\)th element of the coordinate basis \(\overrightarrow{e}_c\). The Weitzenböck non-metricity in lower case indices is given by \(^\mathrm{(W)}Q_{abc}=e^{A}_{a}e^{B}_{b}e^{C}_{c}\,\,^\mathrm{(W)}Q_{ABC}=0\). Because of all this, in the present case we must set
which is the usual well-known contortion tensor [20, 21]. This tensor transforms according to \(^\mathrm{(W)}K^A_{BC}=e^{A}_{a}\bar{e}^{b}_{B}\bar{e}^{c}_{C}\,^\mathrm{(W)}K^a_{bc}\).
2.2 Some results in WIMT
We consider a 5D space–time with coordinates \(\phi (p)=(t,x,y,z,\psi )_p\) dotted by an inner product described by \(\mathrm{Diag}(\eta _{AB})=(+1,-1,-1,-1,-1)\), expressed in a non-holonomic basis. The action on the 5D apparent vacuum is given by the gravito-electromagnetic fields
where the penta-vector potential is \(\overrightarrow{A}=(\phi ,\mathbf {A},\Psi )\), \(\phi \) is the electric potential, \(\mathbf {A}=(A^x,A^y,A^z)\) is the vector potential, and \(\Psi \) is the gravitational scalar potential. If we assume the Lorenz gauge \(A^B_{;\,B}=0\), the equations of motion will be reduced to
In general, we find that the 5D Faraday tensors expressed in terms of the LC and Weitzenböck versions are given, respectively, by
The 5D-current of gravito-magnetic monopoles is obtained (still in 5D space–time) from the relation \(^{(*)}J_{AB}\!=\!{^{(*)}\mathfrak {F}_{ABC}}^{;C}\). This is motivated by the symmetry of Maxwell equations.Footnote 7 Thus, \(*\) must be LC or W according to the corresponding derivative operator. Furthermore, \(\mathfrak {F}_{ABC}\) is the dual tensor of \(F_{AB}\).Footnote 8 The resulting currents, 2-forms in the 5D space–time, are
The Riemannian (LC) current of the gravito-magnetic monopole originates in the Weitzenböck torsion \(^\mathrm{(W)}T^A_{BC}\).Footnote 9
It must be noticed that once we choose the Lorenz gauge condition \(^{\mathrm{(LC)}}A^N_{;\,N}=0\), the same condition is preserved in the Weitzenböck representation: \(^\mathrm{(W)}A^n_{;\,n}=0\).
Once we have established the 5D-currents it is easy to obtain the 4D-induced currents by applying a constant foliation on the fifth extra dimension: \(\psi =\psi _0\). The effective resulting 4D gravito-magnetic current is the 1-form given by
so that \(*\) must be LC or W and \(\overrightarrow{n}\) is a vector pointing to the extra direction. The vector \(\overrightarrow{n}\) is normalized and orthogonal to the 4D tangent sub-space associated with the effective 4D sub-manifold. Such orthogonality is realized with respect to the complete 5D metric. All expressions must be evaluated in \(\psi =\psi _0\), so that \(\mathrm{d}x^5\mid _{\psi =\psi _0}=\mathrm{d}\psi \mid _{\psi =\psi _0}=0\) and hence \(^{(*)\mathrm{4D}}\underrightarrow{J}\) must be a cotangent four-vector (i.e., it is a 1-form in the cotangent 4D space–time).
3 5D Gullstränd–Painlevé (GP) metric
The GP coordinates are commonly presented as a set of coordinates obtained by transformation of the Schwarzschild, or Reissner–Nordström (RN) ones, in which the static time is replaced by a GP time \(t\rightarrow \tilde{t}(t,r)\), preserving the spherical symmetry of the problem [24, 25]. We shall use a slightly different method by using the GP cartesian metric and using the vielbein related to an orthonormal basis. In this case we obtain the GP cartesian metric from a normalized one, using a certain vielbein, prescribed in this section. The GP cartesian metric must be obtained from the Schwarzschild or RN BH by doing a space–time transformation. We choose to start with an orthonormal basis \(\{\overrightarrow{E}_A\}\), in which
where \(\{\overrightarrow{e}_a\}\) is some coordinate basis. The vielbein is constructed according to
and its inverse is
in which \(\beta ^{i}=\beta x^{i}\), such that \(x^{i}\) is the \(i\)th coordinate associated to the coordinate basis \(\{\overrightarrow{e}_a\}\), \(\beta =\sqrt{\frac{2\left( M-\frac{Q^2}{2r}\right) }{r^3}}\) is a function, \(M\) is a mass parameter, and \(Q\) is an electric charge parameter. If \(Q=0\) we deal with a Schwarzschild BH, but in the case \(Q\ne 0\), we are in presence of a Reissner–Nördstrom BH. We must remark that \(M-\frac{Q^2}{2r}\) is the gravito-electric charge of the BH, and
so that, by the definition of \(\beta \), we have
Hence
The charge of the BH is dominant at small distances, but the mass dominates at long distances. The metric is
In the last expression \(E^N=E^{N}_{n}\mathrm{d}x^n\) is an element belonging to a basis for the cotangent space, which fulfills the duality relation \(E^{N}(\overrightarrow{E}_M)=\delta ^{N}_{M}\). Furthermore, \(g_{mn}\) is the corresponding GP metric in cartesian 5D GP coordinates, such that \(x^1=t\), \(x^2=x\), \(x^3=y\), \(x^4=z\), and \(x^5=\psi \).Footnote 10
Now we must calculate the structure coefficients for the basis (20). According to the definition \([\overrightarrow{E}_B,\overrightarrow{E}_A]=C^C_{AB}\overrightarrow{E}_C\) [27], we obtain
The non-zero elements are \(C^1_{21}=-C^1_{12}\), \(C^3_{32}=-C^3_{23}=-\frac{\sqrt{1+\beta ^i\beta _i}}{\sqrt{x^2+y^2+z^2}}=-\frac{\sqrt{f(r)}}{r}\), \(C^4_{42}=-C^4_{24}=-\frac{\sqrt{1+\beta ^i\beta _i}}{\sqrt{x^2+y^2+z^2}}=-\frac{\sqrt{f(r)}}{r}\), and \(C^4_{43}=-C^4_{24}=-\frac{z}{\sqrt{x^2+y^2}\sqrt{x^2+y^2+z^2}}=-\frac{\cos (\theta )}{r \sin (\theta )}\), expressed in GP, or in the usual BH coordinates. Here, \(f(r)=1-\frac{2M}{r}+\frac{Q^2}{r^2}\) for a Reissner–Nordström BH. In the case with \(Q=0\) one obtains a Schwarzschild BH. On the other hand, if we take the expression (24), will be easily shown that \(C^{c}_{ab}=0\), which means that \(\{\overrightarrow{e}_{a}\}\) is a coordinate or holonomic basis for 5D tangent space. It is very interesting to notice that in the upper case index representation, the torsion tensor is numerically equal to the structure coefficients, due to the fact that \(^\mathrm{(W)}T^{A}_{BC}=\,^\mathrm{(W)}\Gamma ^{A}_{CB}-^\mathrm{(W)}\Gamma ^{A}_{BC}+C^{A}_{BC}\). Since the Weitzenböck connection extends the trivial null connection in the upper case index basis, we obtain \(^\mathrm{(W)}\Gamma ^{A}_{CB}=0\), and hence
which is surprising because \(^\mathrm{(W)}T^{A}_{BC}\) is an intrinsic geometrical property of the manifold and \(C^{A}_{BC}\) is a coefficient depending on a circumstantially selected basis. In fact, Eq. (25) is not strange and is due to the selection of the Weitzenböck connection and particularly to the geometrical properties to extend a derivative operator linked to a trivial null connection in the upper case index, to a nontrivial connection in the lower case index basis.
4 Gravito-magnetic monopoles from WIMT in GP and RN metrics
If we take the structure coefficients (24) and we employ the non-zero elements in (25), we obtain the Weitzenböck torsion and we could use it in the expressions (15) and (16), in order to write the 5D LC 2-form currents in upper case index basis. After it, we can express such 2-form in the lower case index representation with the transformation (4) adapted to a 2 times cotangent object [as we were doing in (3) for the metric tensor], with the vielbein (22). Notice that we have a 5D LC 2-form current expressed in terms of a Weitzenböck torsion with lower case indices and vielbeins. Hence, we can make a constant foliation getting the effective 4D current from (19). Finally we obtain the expression for the effective 4D current, which in the usual BH coordinates takes the form
which is the induced static gravito-magnetic monopole charge density. For the spatial effective 4D currents of gravito-magnetic monopoles, we obtain
which is consistent with the magnetic charge conservation in a scenario in which the monopoles are static. Now we must study some important invariants of the problem. We define
These expressions must be constructed as a function of the LC or Weitzenböck currents. The \(U^{B}\) are the components of the penta-velocities of the observers, expressed in the RN non-coordinate basis. Hence, all the invariants (28), (29) (30), and (31), defined in 5D, are constructed taking into account these penta-velocities and the gravito-electric and gravito-magnetic currents. From the analysis of the invariant (28) we see that the current characterized by the expression \(^\mathrm{(m)}J_A:=\,^\mathrm{(m)}J_{AB}\,U^{B}\) comes from the contraction between the (\(2\)-form) magnetic current \(^\mathrm{(m)}\underrightarrow{\underrightarrow{J}}\) and the (one-vector) penta-velocity \(\overrightarrow{U}\). Hence, the complete invariant (28) must be interpreted as an inner product \(^\mathrm{(m)}\overrightarrow{J}\cdot \,^\mathrm{(e)}\overrightarrow{J}=\,^\mathrm{(m)}J_A\,^\mathrm{(e)}J^A\), which means that both involved currents must be orthogonal when (28) is zero. On the other hand, the invariant (31) is a new \(2\)-form, which contains information as regards gravity, electricity, and magnetism. It is due to the wedge product of the (\(1\)-form) magnetic current \(^\mathrm{(m)}\underrightarrow{J}\) and the (\(1\)-form) electric current \(^\mathrm{(e)}\underrightarrow{J}\). We call such a new \(2\)-form \(^\mathrm{(gem)}\underrightarrow{\underrightarrow{J}}\), in which the superscript \(^\mathrm{(gem)}\) refers to the gravito-electro-magnetic nature of the current. In general, \(^\mathrm{(gem)}J^{AB}=\,^\mathrm{(e)}\overrightarrow{J}\,\wedge \,^\mathrm{(m)}\overrightarrow{J}\) must not be null. The expression (31) is equivalent to the inner product of two \(2\)-forms, which are expressed by \([^\mathrm{(e)}\underrightarrow{J}\wedge ^\mathrm{(m)}\underrightarrow{J}]_{AB}[^\mathrm{(e)}\overrightarrow{J}\wedge ^\mathrm{(m)}\overrightarrow{J}]^{AB}=\,^\mathrm{(gem)}J^2\).
The invariants \(^\mathrm{(e)}J\) and \(^\mathrm{(m)}J\) have direct counterparts in the 4D space–time, defined by
On the other hand, the 4D counterpart of \(^\mathrm{(m)}J_{A} \,^\mathrm{(e)}J^{A}\) is
The invariant \(^\mathrm{(m)}J_{A}\, ^\mathrm{(e)}J^{A}=0\) only makes sense because we are supposing that the five-vectors \(^\mathrm{(m)}J\) and \(^\mathrm{(e)}J\) are orthogonal on the 5D Weitzenböck vacuum. All the previously defined invariants have a clear meaning, which can easily be explored in a static or stationary case, as the case of a RN BH, which we shall study. Then we must show that Eqs. (28–34) reduce to
In a static 5D space–time in which the observer is moving with arbitrary penta-velocity \(\overrightarrow{U}=U^A\overrightarrow{E}_A\), their components \(U^A\) can be \(U^1,U^i,U^5\ne 0\). Hence, one obtains
in which we have made use of the fact that \(^\mathrm{(m)}J_i=0\), so that
In a non-static scenario results that \(^\mathrm{(m)}J_5=0\). On the other hand, using the fact that \(^\mathrm{(e)}J_i=0\), we obtain
where in general \(^\mathrm{(e)}J_5\ne 0\). All makes sense when we apply our extended 5D Maxwell equations for \(^\mathrm{(e)}J_5\), so that \({F_{5A}}^{;\,A}=\,^\mathrm{(e)} J_5\), which in the extended version is
If we apply the 5D Lorenz gauge (\(A_A^{;\,A}=0\)), the last expression evaluated on the foliation reduces to
The expression (38) must be interpreted as an effective equation of the form \(\rho _\mathrm{M}=-\Box \Psi \), in which \(\Psi \) is the gravitational potential for the 4D BH. In this case \(^\mathrm{(e)}J_5\) must be \(\rho _\mathrm{M}\); the effective density of the gravitational mass. We must remark that in the present case the operator \(\Box \) does not have a time related covariant derivative part, due to the static nature of the problem here considered (we maintain the complete notation for clarity). We must set
Equation (39) justifies the notation used in Eqs. (35) and (37).
We shall study the case with \(U^i=0\) and \(U^5 \ne 0\). For such a scenario we assume that the observer is moving with a penta-velocity \(\overrightarrow{U}=U^A\overrightarrow{E}_A\), with \(U^A\ne 0\). Then we must set \(U^5\) to an arbitrary non-zero value. The penta-velocity is defined on a 5D TM and is a penta-vector. The notation used is:
-
The 5D M is the 5D manifold.
-
The 5D TM is tangent space associated to 5D M.
-
4D M is the 4D manifold induced by foliation \(\psi =\psi _0\) and, of course, a sub-manifold of the 5D M.
-
The 4D TM is the tangent space associated to 4D M and, of course, a sub-space of the 5D TM.
When we apply a constant foliation \(\psi =\psi _0\) on the extra coordinate, the penta-velocity turns into a four-vector by projecting it onto the 4D TM. Then \(U^1\overrightarrow{E}_1+U^i\overrightarrow{E}_i+U^5\overrightarrow{E}_5\rightarrow u^1\overrightarrow{e}_1+u^i\overrightarrow{e}_i\mid _{\psi =\psi _0}\), so that \(\{\overrightarrow{E}_1,\overrightarrow{E}_i,\overrightarrow{E}_5\}\) is a basis of the 5D TM, and \(\{\overrightarrow{e}_1,\overrightarrow{e}_i\}\) is a basis of the induced 4D TM. Due to the static nature of the studied scenario the invariants (35–37) are not dependent on \(u^i\) and we must choose the value of \(u^i\) preserving the validity of the geodesic equations: \(\frac{\mathrm{d}u^{\alpha }}{\mathrm{d}S} + ^\mathrm{(W)}\Gamma ^{\alpha }_{\beta \gamma } u^{\beta } u^{\gamma }=0\), with the normalization condition \(g_{\alpha \beta }u^{\alpha }u^{\beta }=1\). Here, \(g_{\alpha \beta }\) is the effective induced metric with the foliation \(\psi =\psi _0\) and we must take the RN, or the GP ordinary 4D form, depending on the employed coordinates.
The use of WIMT warrants that the 5D space–time is a vacuum in the sense of the Weitzenböck geometry, even if \(\rho _\mathrm{m},\,\rho _\mathrm{e},\,\rho _\mathrm{M}\ne 0\). At this point we choose to establish some values for the 5D invariants, in order to obtain a realistic physical behavior in the effective space–time. Hence, we set \(^\mathrm{(m)}J_{A} \,^\mathrm{(e)}J^{A}=0\) to find
On the another hand, from \(^\mathrm{(e)}J=0\), we obtain
so that, equating (40) and (41), we obtain
which provides us with the quantization law between the mass density and the electric density charge. In order to obtain the quantization of charge we must use Eqs. (31) and (42), with \(^\mathrm{(gem)}J^2=-n^2\). The resulting expression, which provides the quantization between the electric and magnetic density charges, is
Notice that all these expressions were obtained in the ONB representation. A very important fact is that the choices \(^\mathrm{(m)}J_{A}\, ^\mathrm{(e)}J^{A}=0\) and \(^\mathrm{(gem)}J^2=-n^2\) imply that the duality of charges \(\rho _\mathrm{e}\) and \(\rho _\mathrm{m}\) is mutually exclusive, with the constriction (43). This means that one only can “see” the electric \(\rho _\mathrm{e}\) or the magnetic charge \(\rho _\mathrm{m} = {n\over 2 \rho _\mathrm{e}}\). This is because Eq. (36) indicates that \(^\mathrm{(m)} \mathbf {J}\) and \(^\mathrm{(e)} \mathbf {J}\) are orthogonal. Therefore, our model with these choices is incompatible with a dyonic Reissner–Nordström BH, except for \(n=0\). In order to make our theory compatible with a dyonic Reissner–Nordström BH one should consider \(^\mathrm{(m)}J_{A}\, ^\mathrm{(e)}J^{A}\ne 0\) and \(^\mathrm{(gem)}J^2=-n^2\), but this issue will be studied in a future work.
We shall return to the expression (26), in order to see the consistency of such an equation for the 4D Wu–Yang potentials, which describe a localized magnetic monopole with charge \(q_\mathrm{m}\) [28–30],
Here, labels (N) and (S) indicate the North or South hemisphere, on which are valid the potentials. The magnetic monopole density in the RN metric is
in which the asterisk \((*)\) stands for the labels (N) or (S), depending on what hemisphere we are dealing with. For simplicity we choose to integrate the last expression in the orthonormalized metric, in which the associated volume element is \(\mathrm{d}\,V=\frac{1}{\sqrt{f(r)}}\,r^2 \,\sin (\theta ) \,\mathrm{d}\theta \,\mathrm{d}\varphi \,\mathrm{d}r\) due to \(\mid g\mid =1\). In the orthonormalized basis \(g_{\alpha \beta }=\eta _{\alpha \beta }=\pm 1\). Then \(\mid g\mid =1\) and the basis of the cotangent space is \(\underrightarrow{E}_1=\sqrt{f(r)}\underrightarrow{\mathrm{d}t},\,\underrightarrow{E}_2=\frac{1}{\sqrt{f(r)}}\underrightarrow{\mathrm{d}r},\,\underrightarrow{E}_3=r \underrightarrow{\mathrm{d}\theta },\,\underrightarrow{E}_4=r\sin (\theta )\underrightarrow{\mathrm{d}\varphi }\). Therefore
On the other hand, the current is
Therefore, by integrating on the North and South hemispheres we find that the magnetic charge in the BH is given by
in which \(q^{(*)}_\mathrm{m}\) is the total magnetic charge on the corresponding hemisphere. Of course, the total BH magnetic charge will be \(q_\mathrm{m}=q^\mathrm{(N)}_\mathrm{m}+q^\mathrm{(S)}_\mathrm{m}\), and the integral on the volume for the total magnetic charge of the BH takes the form
which leads to
\(r_{int}=M-\sqrt{M^2-Q^2}\) being the interior radius of the RN BH. We assume that \(Q<M\), so that for consistence we shall require that \(K=-\frac{1}{2\pi \,r_\mathrm{int}}\). Then to the effective RN BH, in which our WIMT induces a gravito-magnetic current, belongs a density of monopole charge \(\rho _\mathrm{m}\), which is not uniform (\(\rho _\mathrm{m}\ne \frac{q_\mathrm{m}}{\frac{4}{3}\pi {r_\mathrm{int}}^3}\)), but compatible with a total magnetic charge \(q_\mathrm{m}\), over the BH, which is the origin of the Wu–Yang potentials.
5 Final remarks
We have employed WIMT over the 5D GP and RN metrics in order to obtain the Weitzenböck torsion in the ONB representation, which must be transformed with the vielbein (21) and (22) to the GP representation. The matrix which represents the vielbein has an antisymmetric part, with which we obtained an effective non-zero gravito-magnetic current originating in the Weitzenböck torsion. The effective current in the RN representation gives rise to a non-zero magnetic monopole density without any time dependence. We have confirmed that it is compatible with the Wu–Yang potentials for a localized magnetic charge of magnitude \(q_\mathrm{m}\). In our case the magnetic density \(\rho _\mathrm{m}\) must be seen as a magnetic charge distribution over the BH, where the \(\theta \)-dependence (which is a manifestation of an anisotropic distribution of charge), represents the total magnetic charge, \(q_\mathrm{m}\), of the BH. We analyze various invariants which make it possible to interpret the physical magnitudes of our problem \((\rho _\mathrm{m}, \rho _\mathrm{M}, \rho _\mathrm{e})\) as elements coming from such invariants; this highlights the correspondence between such magnitudes and the geometry of the space–time. In particular, the quantization condition arises as an effective manifestation of the current expression between the components of the penta-velocity of the observer. Finally, we have obtained an induced gravito-magnetic monopole in the framework of WIMP, which is compatible with the Wu–Yang fields, with the same magnitude of charge and quantization of charge included. This is a very important result that manifests the power of our formalism.
Notes
In contrast with the Kaluza–Klein Theory (KK) in which it is assumed that the extra dimension is compact, cyclic, and having a small radius.
In our convention the indices “\(a,b,c,\ldots ,h\)” and “\(A,B,C,\ldots ,H\)” are related to 5D space–time and run from \(1\) to \(5\). Greek indices “\(\alpha ,\beta ,\gamma ,\ldots \)” are related to 4D space–time and run from \(1\) to \(4\), and indices “\(i,j,k,\ldots \)” are only spatial and run from \(2\) to \(4\). We choose our first index related to time coordinate and the last index in 5D space–time is due to the extra coordinate associated with the extra dimension.
What we refer to as the Riemann–Weitzenböck tensor is the Riemann curvature tensor expressed in terms of Weitzenböck connections. In a coordinate (holonomic) basis the Riemann–Weitzenböck curvature takes the form
$$\begin{aligned} ^{\mathrm{(W)}}R^a_{bcd}= & {} ^{\mathrm{(W)}}\Gamma ^a_{dc,b} -^{\mathrm{(W)}}\Gamma ^a_{db,c} + \,^{\mathrm{(W)}}\Gamma ^n_{dc} \,^{\mathrm{(W)}}\Gamma ^a_{nb}-\,^{\mathrm{(W)}}\Gamma ^n_{db}\,^{\mathrm{(W)}}\Gamma ^a_{nc}. \end{aligned}$$The label \(^{\mathrm{(W)}}\) identifies the geometric objects expressed in the Weitzenböck representation and the \(^{\mathrm{(W)}}\Gamma ^a_{dc,b}\) terms are the ordinary partial derivatives of the Weitzenböck connection \(^{\mathrm{(W)}}\Gamma ^a_{dc}\). We assume the Einstein summation convention for repeated indices.
We set the Weitzenböck vacuum as a 5D space–time with null Riemann curvature tensor in Weitzenböck geometry,
$$\begin{aligned} ^{\mathrm{(W)}}R^a_{bcd}=0. \end{aligned}$$The central ideas of IMT are very didactically developed in [19].
We want to clarify what we mean by “Riemannian (LC) vacuum”: it means that the Einstein tensor written in terms of LC connections is zero. This is trivial when the Riemann curvature tensor is null.
In a 4D space–time, this symmetry is manifest in the expressions
$$\begin{aligned} {F_{\mu \nu }}^{;\nu }= & {} ^\mathrm{(e)}J_{\mu },\nonumber \\ {\mathfrak {F}_{\mu \nu }}^{;\nu }= & {} ^\mathrm{(m)}J_{\mu }. \end{aligned}$$(14)Here, the labels \(e\) and \(m\), identify, respectively, the electrical and magnetic quantities according to \(^\mathrm{(e)}\overrightarrow{J}=(\rho _\mathrm{e},\,^\mathrm{(e)}J_1,\,^\mathrm{(e)}J_2,\,^\mathrm{(e)}J_3)\) and \(^\mathrm{(m)}\overrightarrow{J}=(\rho _\mathrm{m},\,^\mathrm{(m)}J_1,\,^\mathrm{(m)}J_2,\,^\mathrm{(m)}J_3)\). Furthermore, \(F_{\mu \nu }\) is the Faraday tensor and \(\mathfrak {F}_{\mu \nu }\) is its dual [22, 23].
The dual tensor of a 2-form (characterized in this case by \(^{(*)}F_{AB}\)) in 5D manifold is a 3-form defined by
$$\begin{aligned} ^{(*)}\mathfrak {F}_{ABC}=\frac{1}{2}\varepsilon _{ABCDE}\,^{(*)}F^{DE}. \end{aligned}$$Here, \(*\) must be LC or W and \(\varepsilon _{ABCDE}\) is the antisymmetric Levi-Civita symbol. We have made use of the fact that \(\sqrt{\mid \eta \mid }=1\), \(\eta =\mathrm{Det}([\eta ]_{AB})\) being the determinant of the metric tensor in the upper case index representation.
We focus our attention on the Riemannian (LC) current, but it is formally easy to relate the Riemannian (LC) and Weitzenböck currents of the gravito-magnetic monopole, with the expressions
$$\begin{aligned} ^{\mathrm{(LC)}}J_{AB}-\,^\mathrm{(W)}J_{AB}=\frac{\sqrt{|\eta |}}{2}\varepsilon _{ABCDE}\frac{1}{4}M^{[CDE]}, \end{aligned}$$(17)where \(M^{[CDE]}=\eta ^{CF}\eta ^{DG}\eta ^{EH}M_{[FGH]}\), and
$$\begin{aligned} M_{[FGH]}=&\,(A_M\,^\mathrm{(W)}T^M_{[FG})\,_{;\,H]}-2\,^\mathrm{(W)}T^N_{[FH|} \,^\mathrm{(W)}T^M_{N|G]}A_M\nonumber \\&-2\,^\mathrm{(W)}T^N_{[GH}\,^\mathrm{(W)}T^M_{F]N}A_M-^\mathrm{(W)}T^N_{[FH|}\overrightarrow{E}_N(A_{|G]})\nonumber \\&+\,^\mathrm{(W)} T^N_{[GH|}\overrightarrow{E}_N(A_{|F]})+^\mathrm{(W)}T^N_{[FH}\overrightarrow{E}_{G]}(A_{N})\nonumber \\& -\,^\mathrm{(W)}T^N_{[GH}\overrightarrow{E}_{F]}(A_{N}). \end{aligned}$$(18)For a most extensive treatment the reader could see the notes of Andrew Hamilton (developed in 4D) [26].
References
J.M. Romero, M. Bellini, Eur. Phys. J. 73, 2317 (2013)
P.S. Wesson, J. Ponce de León, J. Math. Phys. 33, 3883 (1992)
P.S. Wesson et al., Int. J. Mod. Phys. A 11, 3247 (1996)
G. Abolghasem, A.A. Coley, J. Math. Phys. 37, 361 (1996)
J.E. Campbell, A course of differential geometry (Clarendon Press, Oxford, 1926)
L. Magaard, Ph.D thesis, Kiel (1963)
F. Dahia, C. Romero, J. Math. Phys. 43, 5804 (2002)
F. Dahia, C. Romero, J. Math. Phys. 43, 3097 (2002)
J. M. Romero, M. Bellini, Can. J. Phys. doi:10.1139/cjp-2014-0459
J.M. Romero, M. Bellini, Eur. Phys. J. C 74, 3043 (2014)
J. Natario, Gen. Relat. Grav. 41, 2579 (2009)
C.-Y. Lin, C. Soo, Phys. Lett. B 671, 493 (2009)
Y. Kanai, M. Siino, A. Hosoya, Prog. Theor. Phys. 125, 1053 (2011)
T.K. Finch, Painlevé–Gillstrand-type coordinates for the five-dimensional Myers–Perry black hole. arXiv:1401.0181 (e-print)
R. Weitzenböck, Invariantentheorie (Nordhoff, Groningen, 1923)
V.C. De Andrade, L.C.T. Guillen, J.G. Pereira, Teleparallel gravity: an overview. In: The 9th Marcel Grossman Meeting. World Scientific, Singapore, pp. 1022 (2002)
Ø. Grøn, S. Hervik, Einstein’s General Theory of Relativity. Springer, New York (2007) (ISBN-13:978-0-387-69199-2)
J. Yepez, Einstein’s vierbein field theory of curved space. arXiv:1106.2037 (e-print)
D.J. Mc, Manus. J. Math. Phys. 35, 4889 (1994)
R. Aldrovandi, J.G. Pereira, K.H. Vu, Braz. J. Phys. 34, 1374 (2004)
J.G. Pereira, Torsion and the description of the gravitational interaction. In: PoS WC2004, p. 028 (2004)
P.A.M. Dirac, Proc. R. Soc. Lond. A133, 60 (1931)
P.A.M. Dirac, Phys. Rev. 817 (1948)
V.P. Frolov, I.D. Novikov, Black Holes Physics (Kluwer, London, 1998)
A. Nielsen, Black hole horizons and black hole thermodinamics. Ph.D. Thesis, University of Canterbury, Christchurch (2007)
A.J.S. Hamilton, Lect. Notes Phys. 665, 415 (2008)
R.M. Wald, General Relativity (University of Chicago Press, Chicago, 1984)
T.T. Wu, C.N. Yang, Properties of Matter Under Unusual Conditions. Interscience, New York (1968)
M. Nakahara, Geometry, Topology and Physics (IoP, Bristol, 2003)
Ya. M. Shnir, Magnetic Monopoles. Springer, Berlin (2005)
Acknowledgments
J. M. Romero and M. Bellini acknowledge CONICET (Argentina) and UNMdP for financial support.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Connecting ONB, GP, and RN
Appendix A: Connecting ONB, GP, and RN
Here we try to order the different representations of space–time and the relationship between them:
-
ONB representation: in 5D the orthonormal basis of 5D TM is \(\{\overrightarrow{E}_A\}\), which is non-holonomic with structure coefficients given in (24) and the subsequent expressions. In this case the matrix of the metric tensor is \(\eta _{AB}\) with \(\overrightarrow{E}_A\cdot \overrightarrow{E}_B=\eta _{AB}=\pm 1\). With a constant foliation we must obtain \(\eta _{\alpha \beta }=\pm 1\), for the basis \(\{\overrightarrow{E}_\alpha \}\). In this context the Weitzenböck torsion is specially easy to obtain according to (25), and we can transform it to other representations using the corresponding vielbein.
-
GP representation: The 5D GP cartesian metric (23) is linked to the coordinate basis \(\overrightarrow{e}_a=\overrightarrow{\frac{\partial \,\,}{\partial \,x^a}}\) associated to \(x^a\), with \(x^1=t_{GP}\), \(x^2=x\), \(x^3=y\), \(x^4=z\), \(x^5=l\), in which \(t_\mathrm{GP}=t+h(r)\), where \(h(r)\) is an arbitrary (\(C^{\infty }\)) function. Using a constant foliation we must obtain the familiar 4D GP cartesian metric [26].
-
RN representation: The usual 5D RN metric associated to an effective 4D charged black hole which in 5D is characterized by a length element \(\mathrm{d}S^2=f(r)\mathrm{d}t^2-{f(r)}^{-1}\mathrm{d}r^2-\mathrm{d}\Omega ^2-\mathrm{d}l^2\), with \(f(r)=1-\frac{2M}{r}+\frac{Q^2}{r^2}\) expressed for the coordinate basis \(\{\overrightarrow{e}'_{a'}=\overrightarrow{\frac{\partial \,\,}{\partial \,x'^{a'}}}\}\), associated to \(x'^{a'}\), where \(x'^1=t_\mathrm{RN}\), \(x'^2=r\), \(x'^3=\theta \), \(x'^4=\varphi \), \(x'^5=l\). The 4D RN metric must be obtained by a constant foliation.
-
Tensorial objects: in the ONB representation must be transformed to the GP representation using the vielbein (21) and (22), and vice versa. To obtain the vielbein connecting GP and RN, we must use the fact that both bases are coordinate (holonomic). Then \(\overrightarrow{e}'_{a'}=e_{a'}^a\overrightarrow{e}_a\) with \(e_{a'}^a=\frac{\partial x^a}{\partial x'^{a'}}\) and vice versa. The non-zero vielbeins relating the ONB with RN, according to \(\overrightarrow{E}_A=e^{a'}_A\overrightarrow{e}_{a'}\), are \(e^{a'=1}_{A=1}=\frac{1}{\sqrt{f(r)}}\), \(e^{a'=2}_{A=2}=\sqrt{f(r)}\), e\(^{a'=3}_{A=3}=\frac{1}{r}\), \(e^{a'=4}_{A=4}=\frac{1}{r\sin (\theta )}\), \(e^{a'=5}_{A=5}=1\), and therefore they comply with the expressions \(e^{a'}_A e^A_{b'}=\delta ^{a'}_{b'}\) and \(e^{a'}_Ae^B_{a'}=\delta ^{B}_{A}\).
-
Constant foliation: must be viewed as the application of a vielbein \(e^a_\alpha =\delta ^a_\alpha \), \(e^5_\alpha =0\) to the tensor objects plus a specialization to a certain value for \(\psi =\psi _0\). Then, for example, \(F^a_b\rightarrow F^{\alpha }_{\beta }=e^{\alpha }_a e_{\beta }^b F^{a}_b\mid _{\psi =\psi _0}\). This idea must be extended to another more general kind of foliation (dynamic foliation) varying the vielbein as required.
Using the previous concepts and formulas we must relate ONB, GP, and RN representations and the effective 4D space–time, tensor objects, and invariants.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3.
About this article
Cite this article
Romero, J.M., Bellini, M. WIMT in Gullstränd–Painlevé and Reissner–Nordström metrics: induced stable gravito-magnetic monopoles. Eur. Phys. J. C 75, 201 (2015). https://doi.org/10.1140/epjc/s10052-015-3413-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-015-3413-x