arXiv:1405.4785v6 [gr-qc] 20 Aug 2015 otxsa h auaKenmgei oooe[9] t char monopole so magnetic (NUT charge”, Kaluza-Klein charge magnetic the “gravitational of Tau as as type The contexts regarded new be metric. a can Taub-NUT carries and the it to features; related teresting closely is which time h yewiheit nteEnti’ theory. Einstein’s the in equati exists Kaluza-Klein Schwa which 1) of type + solutions (3 the also of are analogues othe There 1) some + (4 [8] solutions. The Owen and discussed. Davidson are and [7] equations Perry and Gross by work esnbepyia ai o h opcicto ftefi [4]. superstrings the supergravity ten-dimensional of K eleven-dimensional or compactification the unobservable. everything” to the be led to for later as basis thinking small physical so reasonable circle a a form to compactified ouin nohrwrs h edeutoso ohelectr both of equations field geometry. the five-dimensional pure words, the other from electromagnet In obtained as vacuum well dimensional solution. as pressure dimens five a and exact four density an as the such of idea, matter geometry this the 1 + With from (4 derived in curvature [2]. the space-time and dimensional matter equ effective field Kaluza-Klein with physica equations (4+1) The field the of [1]. solutions dimensions vacuum the five that electromagnet to and space-time gravity unify extends that which ideas oldest the of One Introduction 1 ∗ lcrncades n address: Electronic nti ae,w rsn aumslto fKlz-li t Kaluza-Klein of solution vacuum a present we paper, this In ayshrclysmercsltoso auaKentype Kaluza-Klein of solutions symmetric spherically Many auasie a htteuies a orsaildimensi spatial four has universe the that was idea Kaluza’s auaKenmgei oooeal Taub-NUT la a monopole magnetic Kaluza-Klein tt frdainadteei oeethrzn oprsnwt t v with of issue comparison the A and singularity, horizon. the discussed. event of are no nature in do is the monopole properties solutions, there matter magnetic monopole and dimensional static radiation four a of the is state that solution find We this that spacetime. show reduction, Klein epeetaTu-U auaKinvcu ouinaduigtest the using and solution vacuum Kaluza-Klien Taub-NUT a present We eateto hsc,Sai eehiUiest,GC,Ei,Teh Evin, G.C., University, Beheshti Shahid Physics, of Department [email protected] eaolhRiazi Nematollah coe 6 2018 16, October ∗ Abstract n .Sdge Hashemi Sedigheh S. and 1 n hc onthv vn oio of horizon event have not do which ons hoisi 90 n ote“hoyof “theory the to and 1980s in theories s steter fKlz n Klein and Kaluza of theory the is ism cpoete r eemndb such by determined are properties ic tosrdc ote(+)Einstein (3+1) the to reduce ations eslto skoni oeother some in known is solution he oiainfrti nfiainis unification this for motivation l t ieso 3.Ti colof school This [3]. dimension fth oa nrymmnu esris tensor energy-momentum ional e hc a oooia origins topological has which ge) zcidslto r mn these among are solution rzschild mgeimadgaiycnbe can gravity and omagnetism pc nue atri 3+1) + (3 in matter induces space ) r netgtdi 5-6.I the In [5]-[6]. in investigated are n,adteetadmninis dimension extra the and ons, enscnrbto a omake to was contribution lein’s er nfiedmninlspace- five-dimensional in heory ouin n h rprisof properties the and solution, ouin fteKaluza-Klein the of solutions r -U ouinhsmn in- many has solution b-NUT nsigo eaiemass negative or anishing o byteeuto of equation the obey not eaalbemagnetic available he a 93,Iran 19839, ran + dimensional 3+1 nadKaluza- andard The plan of this paper is as follows. In section 2, we briefly discuss the formalism of five dimen- sional Kaluza-Klein theory and the effective four-dimensional Einstein-Maxwell equations. We will then present a Taub-NUT-like Kaluza-Klien solution and investigate its physical properties in four dimensions in section 3. In the last section we will draw our main conclusions.
2 Kaluza-Klein theory
Kaluza (1921) and Klein (1926), used one extra dimension to unify gravity and electromagnetism in a theory which was basically five-dimensional general relativity [10]. The theoretical elegance of this idea is revealed by studying the vacuum solutions of Kaluza-Klein equations and the matter induced in the four-dimensional spacetime[11]. Thus, we are chiefly interested in the vacuum five dimensional Einstein equations. For any vacuum solution, the energy-momentum tensor vanishes ˆ ˆ ˆ ˆ 1 ˆ and thus GAB = 0 or, equivalently RAB = 0, where GAB RAB 2 RgˆAB is the Einstein tensor, AB ≡ − RˆAB and Rˆ =g ˆABRˆ are the five-dimensional Ricci tensor and scalar, respectively.g ˆAB is the metric tensor in five dimensions. Here, the indices A, B, ... run over 0...4 [4]. Generally, one can identify the µν part ofg ˆAB with gµν , which is the contravariant four dimensional metric tensor, Aµ with the electromagnetic potential and φ as a scalar field. The correspondence between the above components is
gµν κAµ − gˆAB = (1) κAν κ2AσA + φ2 − σ where κ is a coupling constant for the electromagnetic potential Aµ and the indices µ,ν run over 0...3. The five dimensional field equations reduce to the four dimensional field equations [12],[13]
κ2φ2 1 G = T EM [ (∂ φ) g φ] , (2) µν 2 µν − φ ∇µ ν − µν and ∂µφ µF = 3 F , ∇ µν − φ µν κ2φ3 φ = F F µν , (3) 4 µν where G is the Einstein tensor, T EM 1 g F F ρσ F σF is the electromagnetic energy- µν µν ≡ 4 µν ρσ − µ νσ momentum tensor and the field strength F = ∂ A ∂ A . Knowing the five dimensional µν µ ν − ν µ metric, therefore, leads to a complete knowledge of the four dimensional geometry, as well as the electromagnetic and scalar fields.
3 Taub-NUT solution and Kaluza-Klein magnetic monopole
The Taub-NUT solution was first discovered by Taub (1951), and subsequently extended by Newman, Tamburino and Unti (1963) as a generalization of the Schwarzschild spacetime [14]. This solution is a single, non-radiating extension of the Taub universe. It is an anisotropic but
2 spatially homogeneous vacuum solution of Einstein’s field equations with topology R1 S3. The × Taub metric is given by 1 ds2 = dt2 + 4b2V (t)(dψ + cos θdφ)2 + (t2 + b2)(dθ2 + sin θ2dφ2), (4) −V (t) where V (t)= 1 + 2(mt + b2)(t2 + b2) 1, m and b are positive constants, ψ,φ,θ are Euler angels − − with usual ranges [15]. The Taub-NUT solution is nowadays being used in the context of higher- dimensional theories of semi-classical quantum gravity [16]. As an example, in the work by Gross and Perry [7] and of Sorkin [17], soliton solutions were obtained by embedding the Taub-NUT gravitational instanton inside the five dimensional Kaluza-Klein manifold[14]. Solitons are static, localized, and non-singular solutions of nonlinear field equations which resemble particles. One such solution which obeys the Dirac quantization condition is considered in [7]. The Kaluza-Klein monopole of Gross and Perry is described by the following metric which is a generalization of the self-dual Euclidean Taub-NUT solution [7] 1 ds2 = dt2 + V (dx5 + 4m(1 cos θ)dφ)2 + (dr2 + r2dθ2 + r2 sin2 θdφ2), (5) − − V where 1 4m =1 + . (6) V r This solution has a coordinate singularity at r = 0 which is called NUT singularity. This can be absent if the coordinate x5 is periodic with period 16πm = 2πR, where R is the radius of the √πG fifth dimension. Thus m = 2e [18]. The gauge field Aν is given by Aφ = 4m(1 cosθ), and the 4mr − magnetic field is B = , which is clearly that of a monopole and has a Dirac string singularity r3 m in the range r = 0 to . The magnetic charge of this monopole is g = which has one unit ∞ √πG of Dirac charge. In this model, the total magnetic flux is constant. For this solution, the soliton m2 mass is determined to be M 2 = p where m is the Planck mass. Gross and Perry showed 16α p that the Kaluza-Klein theory can contain magnetic monopole solitons which would support the unified gauge theories and allow for searching the physics of unification. Here, we introduce a metric which is a vacuum five dimensional solution, having some prop- erties in common with the monopole of Gross and Perry, while some other properties being different. The proposed static metric is given by k ds2 = dt2 + w(r) dr2 + r2dθ2 + r2 sin2 θdφ2 + (dψ + Q cos θdφ)2 . (7) (5) − w(r) Here, the extra coordinate is represented by ψ. k and Q are constants and w(r) is a function (to be determined) of the radial coordinate r. The coordinates take on values within the usual ranges: r 0, 0 θ π, 0 φ 2π and 0 ψ 2π. ≥ ≤ ≤ ≤ ≤ ≤ ≤ The Ricci scalar associated with the five dimensional metric (7) is given by
1 1 4 3 2 4 2 R = 2r w(r)w′′(r) + 4w′(r)w(r)r w′(r) r + kQ . (8) 2 w(r)3r4 − Since we are interested in vacuum solution where the Ricci tensor is zero (RAB = 0) it is necessary but not sufficient to have a zero Ricci scalar R = 0 which can be solved for the function w(r) to give k k w(r)= k + 2 + 3 , (9) 1 r r2
3 where k1, k2 and k3 are constants. By substituting the function w(r) in the Ricci scalar (8) and requiring a zero Ricci scalar, one can obtain the following constraint between the constants
kQ2 + 4k k k2 = 0, (10) 1 3 − 2 or 1 2 2 k3 = k2 kQ . (11) 4k1 − Thus, the Ricci scalar in terms of the above constants reduce s to
1 r2(4k 1)(kQ2 k2) R = 1 − − 2 . (12) 2 (kQ2 k2 k r k r2)3 − 2 − 2 − 1 In order to have a zero Ricci scalar the two following possibilities remain
k = 1 = R = 0, 1 4 ⇒ AB 6 R =0= or (13) ⇒ k = √kQ = R = 0,R = 0. 2 ± ⇒ AB ABCD 6 1 As it is seen from Eq. (13) with k1 = 4 , the Ricci tensor is not zero and does not give a vacuum solution, thus this case is discarded. However, the second choice k = √kQ gives a Ricci flat 2 ± solution with a non-zero Riemann tensor in five dimensions which is what we are interested in. Consequently, the general form of the function w(r) will be given by
√kQ w(r)= k . (14) 1 ± r
2 In what follows, we take the constants k1 = 1, Q = 1 and k = 4m . Therefore, metric (7) reduces to (we choose the minus sign for the second term in w(r))
2m 4m2 ds2 = dt2 + (1 ) dr2 + r2dθ2 + r2 sin2 θdφ2 + (dψ + Q cos θdφ)2 . (15) (5) r 2m − − 1 r ! − The Killing vectors associated with metric (15) are given by
K0 = (1, 0, 0, 0, 0), K1 = (0, 0, 0, 0, 1), K2 = (0, 0, 0, 1, 0), K = (0, 0, sin φ, cot θ cos φ, csc θ cos φ), 3 − − K = (0, 0, cos φ, cot θ sin φ, csc θ sin φ), (16) 4 − which are the same as in the Taub-NUT space discussed in [19], where the authors studied spinning particles in the Taub-NUT space. The gauge field, Aµ and the scalar field φ deduced from the metric (15) with the help of (1) are cosθ A = , (17) φ κ and 4m2 φ2 = , (18) 1 2m − r
4 respectively. The only non-vanishing component for the electromagnetic field tensor which is related to the gauge field A via F = ∂ A ∂ A is µ µν µ ν − ν µ sinθ F = F = , (19) θφ − φθ − κ 1 1 which corresponds to a radial magnetic field B = with a magnetic charge Q = . As the r κr2 M κ radial coordinate r goes to infinity r , the scalar field equals φ2 = 4m2 so that the second → ∞ 0 part of equation (2) becomes zero, therefore
κ2φ2 G = 0 T EM = 8πGT , as r , (20) µν 2 µν µν →∞ where we have put the speed of light c equal to 1. By comparing this equation with the Einstein κ2φ2 2 equation, we obtain 0 = 8πG, thus the constant κ equals κ = √πG. Straightforwardly, 2 m the total magnetic monopole charge is given by m 1 QM = . (21) 2 √πG The total magnetic flux through any spherical surface centered at the origin is calculated as [20] 1 π Φ = F = F dΣµν = , (22) B 2 µν κ Z I µν where Fµν is the electromagnetic field tensor and dΣ is an element of two-dimensional surface area. It is observed from Eq. (22) that the flux of the magnetic monopole is constant (i.e. we have a singular magnetic charge). We now show that equation (3) is satisfied explicitly in four dimensions. We first note that
4m3 φ = 7 . (23) r4(1 2m ) 2 − r µν The value of the scalar Fµν F is easily calculated to be
µν 2 Fµν F = 2 , (24) κ2r4 1 2m − r and therefore 2 3 3 κ φ µν 4m Fµν F = 7 , (25) 4 r4(1 2m ) 2 − r which together with (23) shows that equation (3) is satisfied. The four dimensional metric deduced from equation (15) with the use of (1) leads to the following asymptotically flat spacetime: 2m 2m ds2 = dt2 + 1 dr2 + r2 1 dθ2 + sinθ2dφ2 . (26) (4) − − r − r For this metric, the Ricci scalar and the Kretschmann invariant K are given by
6m2 R = 3 , (27) r4 1 2m − r 5 and 2 µνρσ m 2 2r 3m K = RµνρσR = + − . (28) (r 2m)5 r 2m r2 − − It is seen that the four dimensional metric (26) has two curvature singularities at r = 0 and r = 2m. In order to achieve more insight into the nature of the singularity at r = 2m, let us calculate the proper surface area of a S2 hypersurface at constant t and r;
2m 2m A (r)= g(2)dx2 = r2 1 sinθdθdφ = 4πr2 1 . (29) − r − r Z q Z It can be seen that the surface area A (r) becomes zero at r = 2m, showing that the space shrinks to a point at r = 2m. This result shows that the r = 2m hypersurface is not an event horizon. For the case r> 2m the signature of the metric is proper ( , +, +, +) but for the range r< 2m − the signature of the metric will be improper and non-Lorentzian ( , , , ), thus the patch − − − − r < 2m should be excluded from the spacetime. From now on, the spacetime is only considered in the range r 2m. Since the range 0