We present a new method for the study of general higher dimensional Kaluza-Klein theories. Our
new approach is based on the Riemannian adapted connection and on a theory of adapted tensor fields in the
ambient space. We obtain, in a covariant form, the fully general 4D equations of motion in a (4 + n)D general gauge Kaluza-Klein space. This enables us to classify the geodesics of the (4 + n)D space and to show that the induced motions in the 4D space bring more information than motions from both the 4D general relativity and the 4D Lorentz force equations. Finally, we note that all the previous studies on higher dimensional Kaluza-Klein theories are particular cases of the general case considered in the present paper.
1. Introduction
As it is well known, by the Kaluza-Klein theory, the unification of Einstein’s theory of general relativity with Maxwell’s theory of electromagnetism was achieved. In a modern terminology, this theory is developed on a trivial principal bundle over the usual 4D spacetime, with U(1) as fibre type. Thus, a natural generalization of Kaluza-Klein theory consists in replacing U(1) by a nonabelian gauge group G (cf. [1–5]). There have been also some other generalizations wherein the internal space has been considered a homogeneous space of type G/H (cf. [6, 7]).
Two conditions have been imposed in the classical Kaluza-Klein theory and in most of the above generalizations: the “cylinder condition” and the “compactification condition.” The former condition assumes that all the local components of the pseudo-Riemannian metric on the ambient space do not depend on the extra dimensions, while the latter requires that the fibre must be a compact manifold.
In 1938, Einstein and Bergmann [8] presented the first generalization in this direction. According to it, the local components of the 4D Lorentz metric in a 5D space are supposed to be periodic functions of the fifth coordinate. Later on, two other important generalizations have been intensively studied. One is called brane-world theory and assumes that the observable universe is a 4-surface (the “brane”) embedded in a (4+n)-dimensional spacetime (the “bulk”) with particles and fields trapped on the brane, while gravity is free to access the bulk (cf. [9]). The other one is called space-time-matter theory and assumes that matter in the 4D spacetime is a manifestation of the fifth dimension (cf. [10, 11]).
Recently, we presented a new point of view on a general Kaluza-Klein theory in a 5D space (cf. [12]). We removed both the above conditions and gave a new method of study based on the Riemannian horizontal connection. This enabled us to give a new definition of the fifth force in 4D physics (cf. [13]) and to obtain a classification of the warped 5D spaces satisfying Einstein equations with cosmological constant (cf. [14]).
The present paper is the first in a series of papers devoted to the study of general Kaluza-Klein theory with arbitrary gauge group. More precisely, our approach is developed on a principal bundle M- over the 4D spacetime M, with an n-dimensional Lie group G as fibre type. Moreover, both the cylinder condition and the compactification condition are removed. In other words, the theory we develop here contains as particular cases all the other generalizations of Kaluza-Klein theory that have been presented above.
The whole study is based on the Riemannian adapted connection that we construct in this paper and on a 4D tensor calculus that we introduce via a natural splitting of the tangent bundle of the ambient space. We obtain, in a covariant form and in their full generality, the 4D equations of motion as part of equations of motion in a (4+n)D space. We analyze these equations and deduce that the induced motions on the base manifold bring more information than both the motions from general relativity and the motions from Lorentz force equations. Moreover, these equations show the existence of an extra force, which, in a particular case, is perpendicular to the 4D velocity. The general study of the extra force will be presented in a forthcoming paper.
Now, we outline the content of the paper. In Section 2 we present the general gauge Kaluza-Klein space (M-,g-,HM-), where M- is the total space of a principal bundle over a 4D space time with a Lie group G as fibre type. The pseudo-Riemannian metric g- determines the orthogonal splitting (5) and enables us to construct the adapted frame field {δ/δxα,∂/∂yi} (see (12)). Our study is based on a 4D tensor calculus developed in Section 3. The electromagnetic tensor field F=(Fαβk) given by (41) and the adapted tensor fields H and V given by (44) and (45), respectively, play an important role in our approach. In Section 4 we construct the Riemannian adapted connection, that is, a metric connection with respect to which both distributions HM- and VM- are parallel, and its torsion is given by (58a), (58b), and (58c). Section 5 is the main section of the paper and presents the 4D equations of motions in (M-,g-,HM-) (cf. (85a) and (85b)). Also, in a particular case, we show that the extra force is orthogonal to the 4D velocity and therefore does not contradict the 4D physics. Finally, in Section 6 we show that the set of geodesics in (M-,g-,HM-) splits into three categories: horizontal, vertical, and oblique geodesics. Both, the horizontal and oblique geodesics induce some new motions on the 4D spacetime. We close the paper with conclusions.
2. General Gauge Kaluza-Klein Space
Let M be a 4-dimensional manifold and G an n-dimensional Lie group. The Kaluza-Klein theory we present in the paper is developed on a principal bundle M- with base manifold M and structure group G. Any coordinate system (xα) on M will define a coordinate system (xα,yi) on M-, where (yi) are the fibre coordinates. Two such coordinate systems (xα,yi) and (x~μ,y~j) are related by the following general transformations:(1a)x~α=x~α(xμ),(1b)y~i=y~i(xα,yj).Then, the transformations of the natural frame and coframe fields on M- have the forms(2a)∂∂xα=∂x~γ∂xα∂∂x~γ+∂y~i∂xα∂∂y~i,(2b)∂∂yj=∂y~i∂yj∂∂y~i,
Throughout the paper we use the ranges of indices: α,β,γ,⋯∈{0,1,2,3},i,j,k,⋯∈{4,…,n+3},⋯A,B,C,…,∈{0,…,3+n}. By T(x,y) we denote a function T that is locally defined on M-. Also, for any vector bundle E over M-, we denote by Γ(E) the ℱ(M-)-module of smooth sections of E, where ℱ(M-) is the algebra of smooth functions on M-.
Next, from (2b) we see that there exists a vector bundle VM- over M- of rank n which is locally spanned by {∂/∂yi}. We call VM- the vertical distribution on M-. Then, we suppose that there exists on M- a pseudo-Riemannian metric g- whose restriction to VM- is a Riemannian metric g⋆. Denote by HM- the complementary orthogonal distribution to VM- in TM-, and call it the horizontal distribution on M-. Suppose that HM- is invariant with respect to the action of G on M- on the right; that is, we have
(4)(Ra)⋆(HM-)=HM-,∀a∈G,
where Ra⋆ is the differential of the right translation Ra of G. Thus HM- defines an Ehresmann connection on M- (cf. [15, p. 359]). Also, suppose that the restriction of g- to HM- is a Lorentz metric g; that is, g is nondegenerate of signature (+,+,+,-). Thus TM- is endowed with a Lorentz distribution (HM-,g) and a Riemannian distribution (VM-,g⋆) and admits the orthogonal direct decomposition
(5)TM-=HM-⊕VM-.
As we apply the above objects to physics, we need a coordinate presentation for them. First, we recall (cf. [15, p. 359], [16, p. 64]) that the Ehresmann connection defined by HM- is completely determined by a 1-form ω on M- with values in the Lie algebra L(G) of G, satisfying the conditions(6a)ω(A⋆)=A,∀A∈L(G),(6b)ω((Ra⋆)X)=ad(a-1)ω(X),∀a∈G,∀X∈Γ(TM-),where A⋆ is the fundamental vector field corresponding to A and ad denotes the adjoint representation of G in L(G). Now, suppose that {Ki} is a basis of left invariant vector fields in L(G) and put
(7)Ki⋆=Kij(y)∂∂yj,
where [Kij(y)] is a nonsingular matrix whose inverse we denote by [K-ij(y)]. Then we put ω=ωiKi, and by using (6a), (6b), and (7) we deduce that(8a)ωi(∂∂yj)=K-ji,(8b)ωi((Ra⋆)∂∂yj)=ad(a-1)K-ji. As it is well known, HM- is the kernel of the connection form ω. In order to present two other local characterizations of HM-, we consider a local basis {Eα} in Γ(HM-) and put
(9)∂∂xα=Lαγ(x,y)Eγ+Lαi(x,y)∂∂yi.
As the transition matrix from {Eα,δ/δyi} to the natural frame field {∂/∂xγ,∂/∂yi} has the form
(10)[Lαγ0Lαiδji],
we infer that the 4×4 matrix [Lαγ] is nonsingular. Hence the vector fields
(11)δδxα=LαγEγ,α∈{0,1,2,3},
form a local basis in Γ(HM-), too. Moreover, from (9) we obtain
(12)δδxα=∂∂xα-Lαi∂∂yi.
Note that δ/δxα is just the projection of ∂/∂xα on HM-. Also, we define the local 1-forms
(13)δyi=dyi+Lαidxα,
and by using (8a) and (13), we deduce that
(14)ωi=K-jiδyj.
Hence, HM- is locally represented by the kernel of the 1-forms {δyi}. Now, by using the fundamental vector fields {Ki⋆} we put
(15)δδxα=∂∂xα-Aαi(x,y)Ki⋆,
and comparing (12) with (15) we obtain
(16)Lαi=AαjKji,
via (7). The frame fields {δ/δxα,∂/∂yi} and {δ/δxα,Ki⋆} are called adapted frame fields with respect to the decomposition (5). The commutation formulas for these vector fields will have a great role in the study. First, by direct calculations using (12) we obtain (17a)[δδxα,∂∂yi]=Liαk∂∂yk,(17b)[δδxβ,δδxα]=Fαβk∂∂yk,(17c)[∂∂xα,Ki⋆]=0,where we put (18a)Liαk=∂Lαk∂yi,(18b)Fαβk=δLβkδxα-δLαkδxβ.Next, we show that
(19)[δδxα,Ki⋆]=0.
First, according to a general result stated in page 78 in the book of Kobayashi and Nomizu [16], we deduce that the vector fields in the left hand side of (19) must be horizontal. On the other hand, by using (7) and (17a), we obtain
(20)[δδxα,Ki⋆]=(δKihδxα+KijLjαh)∂∂yh.
That is, these vectors fields are vertical, too. This proves (19) via (5). As L(G) is isomorphic to the Lie algebra of vertical vector fields, we have
(21)[Ki⋆,Kj⋆]=CijkKk⋆,
where Cijk are the structure constants of the Lie group G. Then, by using (17a)–(17c), (15), (19), (21), and (7), we deduce that
(22)Fαβk=Fαβ⋆hKhk,
where we put
(23)Fαβ⋆h=∂Aβh∂xα-∂Aαh∂xβ+AαiAβjCijh.
Now, taking into account (17c), from (19), we obtain
(24)Ki⋆(Aαh)=-CijhAαj,
which together with (23) implies
(25)Ki⋆(Fαβ⋆h)=-CijhFαβ⋆j.
By using (24) and (25) we are entitled to call Fαβ⋆h the Yang-Mills fields corresponding to gauge potentialsAαh. Also by (18b) we may call Fαβk the electromagnetic tensor field corresponding to the electromagnetic potentialsLαk. It is important to note that these objects come from different physical theories, and they are related by (22) and (16).
Remark 1.
By a different method, the above Yang-Mills fields have been first introduced by Cho [4]. On the other hand, we should stress that we find it more convenient to use Fαβk and Lαk instead of Fαβ⋆h and Aαh.
Next, we express the pseudo-Riemannian metric g- on M- with respect to the adapted frame field {δ/δxα,∂/∂yi}; that is, we have(26a)gαβ(x,y)=g(δδxα,δδxβ)=g-(δδxα,δδxβ),(26b)gij(x,y)=g⋆(∂∂yi,∂∂yj)=g-(∂∂yi,∂∂yj),(26c)g-(δδxα,∂∂yi)=0.Thus the local line element representing g- has the form
(27)ds-2=gαβ(x,y)dxαdxβ+gij(x,y)δyiδyj=gαβ(x,y)dxαdxβ+gij(x,y)(dyi+Lαidxα)×(dyj+Lβjdxβ)=gαβ(x,y)dxαdxβ+gij(x,y)(dyi+AαhKhidxα)×(dyj+AβhKhjdxβ).
Hence g- is locally given by the matrices
(28)[gαβ00gij],
and
(29)[gαβ+gijLαiLβjgijLαigijLβjgij]=[gαβ+gijKhiKkjAαhAβkgijKhiAαhgijKkjAβkgij],
with respect to the frame fields {δ/δxα,∂/∂yi} and {∂/∂xα,∂/∂yi}, respectively. Formally, (29) is identical to(13.31) from [17], but in the latter the local components are supposed to be functions of (xα) alone. So g- given by (27) is the most general Kaluza-Klein metric considered in any Kaluza-Klein theory. The principal bundle M-, together with the metric g- and the Ehresmann connection defined by the horizontal distribution HM-, is denoted by (M-,g-,HM-), and it is called a general gauge Kaluza-Klein space.
Finally, we consider two coordinate systems (xα,yj) and (x~γ,y~i) and by using (12), (13), (2a), (2b), (3a), and (3b), we obtain(30a)δδxα=∂x~γ∂xαδδx~γ,(30b)δy~i=∂y~i∂yjδyj,(30c)Lαj∂y~i∂yj=L~γi∂x~γ∂xα+∂y~i∂xα. Now, we put
(31)Ki⋆=K~ij∂∂y~j,
and by using (16) into (30c) we deduce that
(32)(Aαi-∂x~γ∂xαA~γi)K~ij=∂y~j∂xα.
The transformations (30c) and (32) have a gauge character. Apart from them we will meet transformations with tensorial character. Here we observe that by using (26a), (26b), (30a), and (2b) we obtain the first such transformations(33a)gαβ=g~μν∂x~μ∂xα∂x~ν∂xβ,(33b)gij=g~hk∂y~h∂yi∂y~k∂yj.
3. Adapted Tensor Fields on (M-,g-,HM-)
In the present section we develop a tensor calculus on M- that is adapted to the decomposition (5). For example, we construct some adapted tensor fields which have an important role in the general Kaluza-Klein theory which we develop in a series of papers. In particular, we show that the electromagnetic tensor field is indeed an adapted tensor field.
First, we consider the dual vector bundles HM-⋆ and VM-⋆ of HM- and VM-, respectively. Then, an ℱ(M-)-(p+q)-linear mapping
(34)T:Γ(HM-⋆)p×Γ(HM-)q⟶ℱ(M-)
is called a horizontal tensor field of type (p,q). Similarly, an ℱ(M-)-(r+s)-linear mapping
(35)T:Γ(VM-⋆)r×Γ(VM-)s⟶ℱ(M-)
is called a vertical tensor field of type (r,s). For example, g (resp., g⋆) is a horizontal (resp., vertical) tensor field of type (0, 2). Also, dxα (resp., δyi) are horizontal (resp., vertical) covector fields, while δ/δxα (resp., ∂/∂yi) are horizontal (resp., vertical) vector fields, locally defined on M-. More generally, an ℱ(M-)-(p+q+r+s)-linear mapping
(36)T:Γ(HM-⋆)p×Γ(HM-)q×Γ(VM-⋆)r×Γ(VM-)s⟶ℱ(M-)
is an adapted tensor field of type (p,q;r,s) on M-. Locally, T is given by the functions
(37)Tβ1⋯βqj1⋯jsα1⋯αpi1⋯ir(x,y)=T(dxα1,…,dxαp,δδxβ1,…,δδxβq,dddddddδyi1,…,δyir,∂∂yj1,…,∂∂yjs).
Then by using (2b), (3a), (30a), and (30b) we deduce that there exists an adapted tensor field of type (p,q;r,s) on M-, if and only if, on the domain of each coordinate system, there exist 4p+q·nr+s functions Tβ1⋯βqj1⋯jsα1⋯αpi1⋯ir satisfying
(38)Tβ1⋯βqj1⋯jsα1⋯αpi1⋯ir∂x~γ1∂xα1⋯∂x~γp∂xαp∂y~k1∂yi1⋯∂y~kr∂yir=T~μ1⋯μqh1⋯hsγ1⋯γpk1⋯kr∂x~μ1∂xβ1⋯∂x~μq∂xβq∂y~h1∂yj1⋯∂y~hs∂yjs,
with respect to the transformations (1a) and (1b). Also, we note that any ℱ(M-)-(q+r+s)-linear mapping
(39)T:Γ(HM-)q×Γ(VM-⋆)r×Γ(VM-)s⟶Γ(HM-)
defines an adapted tensor field of type (1,q;r,s). Similarly, any ℱ(M-)-(p+q+s)-linear mapping
(40)T:Γ(HM-⋆)p×Γ(HM-)q×Γ(VM-)s⟶Γ(VM-)
defines an adapted tensor field of type (p,q;1,s). More about adapted tensor fields can be found in the book of Bejancu and Farran [18].
Next, we will construct some adapted tensor fields which are deeply involved in our study. First, we denote by h and v the projection morphisms of TM- on HM- and VM-, respectively. Then, we consider the mapping
(41)F:Γ(HM-)2⟶Γ(VM-),F(hX,hY)=-v[hX,hY],∀X,Y∈Γ(TM-).
It is easy to check that F is ℱ(M-)-bilinear mapping. Thus F is an adapted tensor field of type (0,2;1,0). By using (17b) and (41) we obtain
(42)F(δδxα,δδxβ)=Fαβk∂∂yk,
where Fαβk are given by (18b). Hence the electromagnetic tensor field is indeed an adapted tensor field. Next, we define the mappings:
(43)H:Γ(HM-)2×Γ(VM-)⟶ℱ(M-),V:Γ(VM-)2×Γ(HM-)⟶ℱ(M-),
given by
(44)H(hX,hY,vZ)=12{vZ(g(hX,hY))-g(h[vZ,hX],hY)dd-g(h[vZ,hY],hX)},(45)V(vX,vY,hZ)=12{hZ(g⋆(vX,vY))-g⋆(v[hZ,vX],vY)dd-g⋆(v[hZ,vY],vX)},
for all X,Y,Z∈Γ(TM-). It is easy to verify that both H and V are ℱ(M-)-3-linear mappings and therefore define the adapted tensor fields of types (0,2;0,1) and (0,1;0,2), respectively. By using H and V and the metrics on HM- and VM-, we define two adapted tensor fields denoted by the same symbols and given by
(46)H:Γ(HM-)×Γ(VM-)⟶Γ(HM-),V:Γ(VM-)×Γ(HM-)⟶Γ(VM-),(47a)g(hX,H(hY,vZ))=H(hX,hY,vZ),(47b)g⋆(vX,V(vY,hZ))=V(vX,vY,hZ),
for all X,Y,Z∈Γ(TM-).
We close this section with a local presentation of the adapted tensor fields H and V. First, from (33a) and (33b) we deduce that entries gαβ (resp., gij) of the inverse of the matrix [gαβ] (resp., [gij]) define a horizontal (resp., vertical) tensor field of type (2, 0). Then, we put(48a)H(δδxβ,δδxα,∂∂yi)=Hiαβ,(48b)H(δδxα,∂∂yi)=Hiαγδδxγ,(48c)V(∂∂yj,∂∂yi,δδxα)=Vαij,(48d)V(∂∂yi,δδxα)=Vαik∂∂yk, and by using (44), (45), (47a), (47b), (48a)–(48d), (26a), (26b), and (17a)–(17c), we obtain(49a)Hiαβ=12∂gαβ∂yi,(49b)Hiαγ=gγβHiαβ,
If in particular G=U(1), then H1αβ represent the local components of the extrinsic curvature used in brane-world theory (cf. [9]) and in space-time-matter theory (cf. [12, 19]). For this reason we call H given by (44) the extrinsic curvature of the horizontal distribution.
Remark 3.
In all the papers published so far on Kaluza-Klein theories with nonabelian gauge group, the local components gαβ of the Lorentz metric g are supposed to be independent of yi (cf. [2, 4–7]). From (49a) and (49b) we see that this particular case occurs if and only if the extrinsic curvature of HM- vanishes identically on M-.
4. A Remarkable Linear Connection on (M-,g-,HM-)
In a previous paper (cf. [12]), we constructed the Riemannian horizontal connection on the horizontal distribution of a 5D general Kaluza-Klein theory and obtain both the 4D equations of motion and 4D Einstein equations. As in that case the vertical bundle was of rank 1, it was not necessary to consider a linear connection on it. On the contrary, the geometric configuration of (M-,g-,HM-) from the present paper requires such connections on both HM- and VM-. The construction of these connections is the purpose of this section.
First, we denote by ∇- the Levi-Civita connection on (M-,g-,HM-) given by (cf. [20, p. 61])
(51)2g-(∇-XY,Z)=X(g-(Y,Z))+Y(g-(Z,X))-Z(g-(X,Y))+g-([X,Y],Z)-g-([Y,Z],X)+g-([Z,X],Y),
for all X,Y,Z∈Γ(TM-). Recall that ∇- is the unique linear connection on M- which is metric and torsion free.
Next, we say that ∇ is an adapted linear connection on (M-,g-,HM-) if both distributions HM- and VM- are parallel with respect to ∇; that is, we have (52a)∇XhY∈Γ(HM-),(52b)∇XvY∈Γ(VM-),for all X,Y∈Γ(TM-). Then there exist two linear connections ∇h and ∇v on HM- and VM-, respectively, given by (53a)∇hXhY=∇XhY,(53b)∇vXvY=∇XvY.Conversely, given two linear connections ∇h and ∇v on HM- and VM-, respectively, there exists an adapted linear connection ∇ on M- given by
(54)∇XY=∇hXhY+∇vXvY.
Also, it is easy to show that an adapted connection ∇=(∇h,∇v) is metric; that is,
(55)(∇Xg-)(Y,Z)=0,∀X,Y,Z∈Γ(TM-),
if and only if both ∇h and ∇v are metric connections; that is,(56a)(∇hXg)(hY,hZ)=0,(56b)(∇vXg⋆)(vY,vZ)=0, for all X,Y,Z∈Γ(TM-). The torsion tensor field of ∇ is given by
(57)T(X,Y)=∇XY-∇YX-[X,Y].
Now, we can prove the following important result.
Theorem 4.
Let (M-,g-,HM-) be a general gauge Kaluza-Klein space. Then there exists a unique metric adapted linear connection ∇=(∇h,∇v) whose torsion tensor field T is given by
First, define ∇h and ∇v as follows: (59a)∇hhXhY=h∇-hXhY,(59b)∇hvXhY=h[vX,hY]+H(hY,vX),(59c)∇vvXvY=v∇-vXvY,(59d)∇vhXvY=v[hX,vY]+V(vY,hX),for all X,Y∈Γ(TM-). Then, it is easy to check that ∇=(∇h,∇v) given by (59a)–(59d) is a metric adapted linear connection whose torsion tensor field satisfies (58a)–(58c). Next, suppose that ∇′=(∇′h,∇′v) is an another metric adapted linear connection satisfying (58a)–(58c). Then, from (58c) we deduce that
(60)∇vhXvY-v[hX,vY]-V(vY,hX)=∇hvYhX-h[vY,hX]-H(hX,vY),
which implies both (59b) and (59d) for ∇′, via (5). Now, we note that (58a) is equivalent to
(61)∇hhXhY-∇hhYhX-h[hX,hY]=0,∀X,Y∈Γ(TM-).
Then by using (56a) and (61) for ∇′h and taking into account (51), we obtain
(62)0=(∇′hhXg)(hY,hZ)+(∇′hhYg)(hZ,hX)-(∇′hhZg)(hX,hY)=hX(g-(hY,hZ))+hY(g-(hZ,hX))-hZ(g-(hX,hY))+g-([hX,hY],hZ)-g-([hY,hZ],hX)+g-([hZ,hX],hY)-2g-(∇′hhXhY,hZ)=2g-(h∇-hXhY-∇′hhXhY,hZ),
which proves (59a) for ∇′h. In a similar way (59c) is proved for ∇′v. Thus ∇′=∇, and the proof is complete.
As ∇h and ∇v satisfy (56a) and (56b), we call them the Riemannian horizontal connection and the Riemannian vertical connection, respectively. Also, ∇=(∇h,∇v) given by (59a), (59b), (59c), and (59d) is called Riemannian adapted connection on (M-,g-,HM-).
Remark 5.
It is important to note that both ∇hXT and ∇vXT are adapted tensor fields, where T is an adapted tensor field and ∇ is given by (59a)–(59d).
Remark 6.
Throughout the paper, all local components for linear connections and adapted tensor fields are defined with respect to the adapted frame field {δ/δxα,∂/∂yi} and the adapted coframe field {dxα,δyi}.
Next, we consider ∇=(∇h,∇v) given by (59a)–(59d) and put (63a)∇hδ/δxβδδxα=Γαβγδδxγ,(63b)∇h∂/∂yiδδxα=Γαiγδδxγ,(63c)∇v∂/∂yj∂∂yi=Γijk∂∂yk,(63d)∇vδ/δxα∂∂yi=Γiαk∂∂yk.Then, we take X=δ/δxβ,Y=δ/δxα,andZ=δ/δxμ into (51), and using (59a), (63a) (26a), and (17b), we obtain
(64)Γαβγ=12gγμ{δgμαδxβ+δgμβδxα-δgαβδxμ}.
Similarly, we take X=∂/∂yj,Y=∂/∂yi,andZ=∂/∂yk in (51), and by using (59c), (63c), and (26b), we infer that
(65)Γijk=12gkh{∂ghi∂yj+∂ghj∂yi-∂gij∂yh}.
Also, by direct calculations using (59b), (59d), (63b), (63d), (17a), (48b), and (48d), we deduce that (66a)Γαiγ=Hiαγ,(66b)Γiαk=Liαk+Vαik.According to the splitting in (5), the Riemannian adapted connection ∇=(∇h,∇v) defines two types of covariant derivatives. More precisely, if Tβjγk are the local components of an adapted tensor field of type (1,1;1,1), then we have (67a)Tβj|αγk=δTβjγkδxα+TβjμkΓμαγ+TβjγhΓhαk-TμjγkΓβαμ-TβhγkΓjαh,(67b)Tβj|iγk=∂Tβjγk∂yi+TβjμkΓμiγ+TβjγhΓhik-TμjγhΓβiμ-TβhγkΓjih.In particular, from (56a) and (56b) we deduce that(68a)gαβ|γ=0,(68b)g|γαβ=0,(68c)gij|α=0,(68d)g|αij=0,
(69a)gαβ|i=0,(69b)g|iαβ=0,(69c)gij|k=0,(69d)g|kij=0.
Throughout the paper we use gαβ,gαβ,gij, and gij for raising and lowering indices of adapted tensor fields as follows:(70a)Hαβk=gkiHiαβ,(70b)Vijγ=gγαVαij,(70c)Fiαγ=gikgγβFαβk. Now, we state the following.
Theorem 7.
The Levi-Civita connection ∇- on the general gauge Kaluza-Klein space (M-,g-,HM-) is expressed as follows:
According to decomposition (5) we put
(72)∇-δ/δxβδδxα=Γ-αβγδδxγ+Γ-αβk∂∂yk.
Then by using (59a) and (63a), we deduce that
(73)Γ-αβγ=Γαβγ.
Next, take X=δ/δxβ,Y=δ/δxα, and Z=∂/∂yi in (51) and by using (26a), (26c), (17a), (17b), (48a), and (70a), we obtain
(74)Γ-αβk=12Fαβk-Hαβk.
Thus (71a) is obtained from (72). Similarly, we put
(75)∇-∂/∂yiδδxα=Γ-αiγδδxγ+Γ-αik∂∂yk.
Then, take X=∂/∂yi,Y=δ/δxα, and Z=δ/δxμ in (51) and by using (26a), (26c), (17a), (17b), (49a), and (70c), we infer that
(76)Γ-αiγ=Hiαγ+12Fiαγ.
Also, take X=∂/∂yi,Y=δ/δxα, and Z=∂/∂yi in (51) and by using (26b), (26c), (17a), and (50b), we deduce that
(77)Γ-αik=Vαik.
Thus (71b) is obtained from (75). Now, taking into account that ∇- is a torsion-free connection and using (17a), (71b), and (66b) we obtain (71c). Finally, (71d) is deduced in a similar way as (71a).
5. 4D Equations of Motion in (M-,g-,HM-)
In this section we present the first achievement of the new method which we develop on general (4+n)D Kaluza-Klein theories. We obtain, in a covariant form, the 4D equations of motion induced by the equations of motion in (M-,g-,HM-). This enables us to study the geodesics of the ambient space according to their positions with respect to horizontal distribution. It is noteworthy that the geodesics which are tangent to HM- must be autoparallel curve for the Riemannian horizontal connection ∇h. The motions on the base manifold are defined as projections of the motions in (M-,g-,HM-).
Let C- be a smooth curve in M- given by parametric equations (78a)xα=xα(t),(78b)yi=yi(t),t∈[a,b],α∈{0,1,2,3},i∈{4,…,3+n}. Then, we express the tangent vector field d/dt to C- with respect to the natural frame field as follows:
(79)ddt=dxαdt∂∂xα+dyidt∂∂yi.
Taking into account decomposition (5) and using (12) into (79), we obtain
(80)ddt=dxαdtδδxα+δyiδt∂∂yi,
where we put
(81)δyiδt=dyidt+Lαidxαdt.
Next, by direct calculations using (71a)–(71d) and (80), we deduce that (82a)∇-d/dtδδxα={Γαβγdxβdt+(Hiαγ+12Fiαγ)δyiδt}δδxγ+{(12Fαβk-Hαβk)dxβdt+Vαikδyiδt}∂∂yk,(82b)∇-d/dt∂∂yi={(Hiαγ+12Fiαγ)dxαdt-Vijγδyjδt}δδxγ+{Γiαkdxαdt+Γijkδyjδt}∂∂yk,where ∇- is the Levi-Civita connection on (M-,g-,HM-). Then, by using (80), (82a), and (82b) and taking into account that Fαβk are skew symmetric with respect to Greek indices, we obtain
(83)∇-d/dtddt=∇-d/dt{dxαdtδδxα+δyiδt∂∂yi}=d2xγdt2δδxγ+ddt(δykδt)∂∂yk+dxαdt∇-d/dtδδxα+δyiδt∇-d/dt∂∂yi={d2xγdt2+Γαβγdxαdtdxβdtddd0.d+(2Hiαγ+Fiαγ)dxαdtδyidt-Vijγδyiδtδyjδt}δδxγ+{ddt(δykδt)-Hαβkdxαdtdxβdtddd00d+(Γiαk+Vαik)dxαdtδyiδt+Γijkδyiδtδyjδt}∂∂yk.
Now, we recall that C- is a geodesic of (M-,g-,HM-) if and only if it is a curve of acceleration zero; that is, we have (cf. [20, p. 67])
(84)∇-d/dtddt=0.
Thus, using (84), (83), and decomposition (5), we can state the main result of this section.
Theorem 8.
The equations of motion in a general gauge Kaluza-Klein space (M-,g-,HM-) are expressed as follows:
We call (85a) the 4Dequations of motion in(M-,g-,HM-). We justify this name as follows. Suppose that the following conditions are satisfied:(86a)Hiαγ=0,(86b)Fiαγ=0,(86c)Vijγ=0,for all α,γ∈{0,1,2,3} and i,j∈{4,…,3+n}. Note that all these conditions have geometrical (physical) meaning, because they are invariant with respect to the transformations (1a) and (1b). Taking into account (86a), (49a), (49b), and (26a), we deduce that the Lorentz metric g on HM- can be considered as a Lorentz metric on the base manifold M. Thus, in this particular case, Γαβγ given by (64) are functions of (xα) alone and they are given by
(87)Γαβγ(xμ)=12gγμ{∂gμα∂xβ+∂gμβ∂xα-∂gαβ∂xμ}.
Moreover, (85a) becomes
(88)d2xγdt2+Γαβγ(xμ)dxαdtdxβdt=0.
That is, we obtain the equations of motion in the 4D spacetime (M,g=gαβ(xμ)). Hence, the projections of geodesics of (M-,g-,HM-) on M coincide with the geodesics of the spacetime (M,g). This justifies the name 4D equations of motion for (85a).
Next, we suppose that only (86a) and (86c) are satisfied. Then (85a) becomes
(89)d2xγdt2+Γαβγ(xμ)dxαdtdxβdt+Fiαγ(x,y)dxαdtδyiδt=0.
In this case, we show that there exists an extra force which does not contradict the 4D physics. First, we define the 4Dvelocity along a geodesic C- as the horizontal vector field U(t) given by
(90)U(t)=dxαdtδδxα.
Then, define the extra force induced by extra dimensions as the horizontal vector field F given by
(91)F(t)=∇hd/dtU(t),
where d/dt is given by (80) and ∇h is the Riemannian horizontal connection. Now, we put
(92)F(t)=Fγ(t)δδxγ,
and by using (92), (90), (80), and (91), we deduce that
(93)Fγ(t)=d2xγdt2+Γαβγ(xμ)dxαdtdxβdt.
Thus, from (89) we obtain
(94)Fγ(t)=-Fiαγ(x,y)dxαdtδyiδt.
Then, by using (90), (92), and (94) and taking into account that Fiαβ are skew symmetric with respect to Greek indices, we infer that
(95)g(F(t),U(t))=-gγβFiαγ(x,y)dxαdtdxβdtδyiδt=-Fiαβ(x,y)dxαdtdxβdtδyiδt=0.
Thus the extra force is perpendicular to the 4D velocity, which is a well-known property of the extra force in classical Kaluza-Klein theory. The above result on the extra force enables us to call (89) the Lorentz force equations induced in the space time(M,g). Finally, in this particular case, we see that our equations (89) coincide with (44) obtained by Kerner [2].
6. Motions in (M-,g-,HM-) and Induced Motions on the Base Manifold M
In this section we show that the set of geodesics in (M-,g-,HM-) splits into three categories and state characterizations of each category. Also, we define and study the induced motions on the base manifold.
The study of geodesics of (M-,g-,HM-) is based on their positions with respect to the distributions HM- and VM-. First, we see from (80) that, apart from the 4D velocity U(t) given by (90), there exists an nDvelocityW(t) given by
(96)W(t)=δyiδt∂∂yi.
The whole study is developed in a coordinate neighbourhood 𝒰- around a point P0∈M-. We say that a curve C- passing through P0 is horizontal (resp.,vertical) if its nD velocity (resp., 4D velocity) vanishes on 𝒰-. By (80) and (81) we see that C- is a horizontal curve if and only if one of the following conditions is satisfied: (97a)ddt=dxαdtδδxα
or
(97b)δyiδt=dyidt+Lαidxαdt=0. Similarly, C- is a vertical curve if and only if we have(98a)ddt=δyiδt∂∂yi,
or
(98b)dxαdt=0.Then, by using (85a), (85b), (97b), and (98b) we can state the following.
Theorem 9.
(i) A curve C- is a horizontal geodesic in (M-,g-,HM-) if and only if (97b) and the following equations are satisfied:(99a)d2xγdt2+Γαβγ(x,y)dxαdtdxβdt=0,ddddddddddddd∀γ∈{0,1,2,3},(99b)Hαβkdxαdtdxβdt=0.∀k∈{4,…,3+n}.
(ii) A curve C- is a vertical geodesic in (M-,g-,HM-) if and only if (98b) and the following equations are satisfied:
It is noteworthy that the equations in (99a) and (99b) are related to the geometry of the horizontal distribution. To emphasize this, we give some definitions. First, we say that a curve C- in M- is an autoparallel curve with respect to the Riemannian horizontal connection ∇h if it is a horizontal curve satisfying
(101)∇hd/dtddt=0,
where d/dt is given by (97a). Then, by direct calculations using (97a) and (63a), we deduce that (101) is equivalent to (99a). Now, according to (71a) we may say that
(102)Kαβk=12Fαβk-Hαβk
are local components of the second fundamental form of the distribution HM-. Note that Kαβk are symmetric with respect to Greek indices if and only if M- is an integrable distribution. If this is the case and n=1, then -Kαβ1 is just the extrinsic curvature which has been intensively used in both the brane-world theory (cf. [9]) and space-time-matter theory (cf. [19]).
Coming back to the general case, we say that a curve C- in M- is an asymptotic line for HM- if it is a horizontal curve satisfying
(103)Kαβkdxαdtdxβdt=0.∀k∈{4,…,3+n}.
Then taking into account the skew symmetry of Fαβk, we deduce that (103) is equivalent to (99b). Summing up this discussion and using assertion (i) in Theorem 9, we can state the following characterization of horizontal geodesics.
Corollary 10.
A curve C- is a horizontal geodesic of (M-,g-,HM-) if and only if the following conditions are satisfied:
C- is an autoparallel curve with respect to the Riemannian horizontal connection ∇h on HM-;
C- is an asymptotic line for HM-.
Remark 11.
A similar characterization can be given for vertical geodesics in (M-,g-,HM-). However, we omit it here because as we will see in the last part of the paper the vertical geodesics do not induce any motion on the base manifold.
Next, we consider the case of the integrable horizontal distribution; that is, (86b) is satisfied. Then, any leaf of HM- is locally given by the equations
(104)yi=ci,i∈{4,…,3+n},
and it is denoted by M(c). In this case, any horizontal geodesic must lie in only one leaf of HM-, and by Theorem 9 it is given by the following system of equations:(105a)d2xγdt2+Γαβγ(x,c)dxαdtdxβdt=0,(105b)Hαβk(x,c)dxαdtdxβdt=0,(105c)Lαk(x,c)dxαdt=0,for all γ∈{0,1,2,3} and k∈{4,…,3+n}. By (105a) we see that horizontal geodesics in (M-,g-,HM-) are in fact some particular geodesics of the 4D Lorentz manifolds (M(c),gαβ(x,c)).
Now, we say that C- is an oblique geodesic through a point P0 if both the 4D velocity and nD velocity are nonzero at P0. By continuity, we deduce that C- is an oblique geodesic if and only if both U(t) and W(t) are nonzero for any t∈[a,b]. It is important to note that both velocities U(t) and W(t) are involved in the equations of motion in (M-,g-,HM-). First, by using (90), (96), and the Riemannian adapted connection ∇=(∇h,∇v) given by (63a), (63b), (63c), and (63d), we obtain (106a)∇hd/dtU(t)={d2xγdt2+Γαβγdxαdtdxβdt+Hiαγdxαdtδyiδt}δδxγ,(106b)∇vd/dtW(t)={ddt(δykδt)+Γiαkdxαdtδyiδt+Γijkδyiδtδyjδt}∂∂yk.Then, taking into account (106a) and (106b) in (85a) and (85b) we can state the following.
Corollary 12.
An oblique geodesic of (M-,g-,HM-) is given by the system of equations
Next, we say that C- passing through P0∈U- is a projectable curve around P0, if its 4D velocity is nonzero around P0. Taking into account (90), we deduce that through the projection point Q0 of P0 on M is passing a smooth curve C in M given by the equations (see (78a) and (78b))
(108)xα=xα(t),t∈[a,b],α∈{0,1,2,3}.
In case C- is a geodesic in (M-,g-,HM-), we call C the induced motion on M by the motion C- in M-. Taking into account the definitions of the above three categories of geodesics in (M-,g-,HM-) we conclude that horizontal geodesics and oblique geodesics are projectable curves, and therefore they will induce some motions in the base manifold M. Hence, the vertical geodesics have no influence on the 4D dynamics in M. According to the two particular cases considered at the end of Section 5 (see (88) and (89)) we conclude that, in general, the induced motions on M bring more information than both the motions from general relativity and the solutions of the Lorentz force equations. This is due to the existence of extra dimensions and to the action of the Lie group G on M-. Something interesting can be observed from the particular case, where HM- is integrable (see (105a), (105b), and (105c)). Let C-1 and C-2 be two horizontal geodesics in M(c1) and M(c2), with initial conditions {(x0α,c1i),(uα,v1i)} and {(x0α,c2i),(uα,v2i)}, respectively. Then the induced motions C1 and C2 on M have the same initial conditions (x0α,uα), but they come from different systems of equations, and therefore they do not necessarily coincide. This might be used to detect extra dimensions experimentally.
7. Conclusions
In the present paper we obtain, for the first time in the literature, the fully general equations of motion in a general gauge Kaluza-Klein space (cf. (85a) and (85b)). We pay attention to the 4D equations of motion, which of course modify the well-known motions in 4D Einstein gravity. Comparing (85a) with usual 4D equations of motion (88), we note two important differences. First, the local coefficients of the Riemannian horizontal connection (Γαβγ,Hiαγ) do depend on the extra dimensions. Then, there are some extra terms given by the 4D tensor fields (Fiαγ,Vijγ), which, in principle, can be used to test the theory. Such terms in astrophysics might appear for usual velocities of galaxies or clusters of galaxies.
The method developed in the present paper opens new perspectives in the study of some other important concepts from higher dimensional physical theories. Here we have in mind an approach of the dynamics in such spaces under the effect of an extra force whose existence is guaranteed by the extra dimensions. In a particular case (see Section 5) we have seen that such force does not contradict the 4D physics. It is an open question whether this result is still valid in case of a general gauge Kaluza-Klein space. Also, we should stress that the Riemannian adapted connection constructed in Section 4 plays in this general theory the same role as the Levi-Civita connection on the 4D spacetime in the classical Kaluza-Klein theory. This connection together with theory of adapted tensor fields (see Section 3) enables us to think of some 4D Einstein equations induced by the (4+n)D Einstein equations on the ambient space.
All these problems deserve further studies which might show how far the concepts induced by the extra dimensions can be related to the real matter.
de WittB.1965New York, NY, USAGordon and BreachKernerR.Generalization of the Kaluza-Klein theory for an arbitrary non-abelian gauge group196892143152MR0264961TrautmanA.Fibre bundles associated with space-time1970112962MR028147210.1016/0034-4877(70)90003-0ChoY. M.Higher-dimensional unifications of gravitation and gauge theories1975161020292035MR038404310.1063/1.522434ChoY. M.FreundP. G. O.Average energy expended per ion pair in liquid xenon19751251771177510.1103/PhysRevA.12.1771SalamA.StrathdeeJ.On Kaluza-Klein theory1982141231635210.1016/0003-4916(82)90291-3MR673985CoquereauxR.JadczykA.Geometry of multidimensional universes198390179100MR71461310.1007/BF01209388ZBL0519.53055EinsteinA.BergmannP.On a generalization of Kaluza's theory of electricity193839368370110.2307/1968642MaartensR.KoyamaK.Brane-world gravity2010135112410.12942/lrr-2010-52-s2.0-77957574872OverduinJ. M.WessonP. S.Kaluza-Klein gravity19972835-630337810.1016/S0370-1573(96)00046-4MR1450560WessonP. S.1999SingaporeWorld Scientific10.1142/9789812385475MR1704285BejancuA.A new point of view on general Kaluza-Klein theories2012128354158510.1143/PTP.128.541BejancuA.FarranH. R.A new point of view on the fifth force in 4D physics201345244946310.1007/s10714-012-1482-9MR3018867ZBL1261.83008BejancuA.CălinC.FarranH. R.Classification of 5d warped spaces with cosmological constant2012531212250310.1063/1.4768714MR3058189SpivakM.19792Houston, Tex, USAPublish or PerishKobayashiS.NomizuK.19631New York, NY, USAInterscience PublishersMR0152974CollinsP. D. B.MartinA. D.SquiresE. J.1989New York, NY, USAJohn Wiley & SonsBejancuA.FarranH. R.2006Dordrecht, The NetherlandsSpringerMR2190039de LeonJ. P.Equivalence between space-time-matter and brane-world theories200116352291230310.1142/S0217732301005709MR1874802ZBL1138.83359O'NeillB.1983New York, NY, USAAcademic PressMR719023