arxiv: v1 [gr-qc] 13 Nov 2007

Transcription

1 Toward a Gravitation Theory in Berwald insler Space arxiv:07.934v [gr-qc] 3 Nov 2007 Xin Li and Zhe Chang 2 Institute of High Energy Physics, Chinese Academy of Sciences P. O. Box 98(4), Beijing, China Abstract insler geometry is a natural and fundamental generalization of Riemann geometry. The insler structure depends on both coordinates and velocities. It is defined as a function on tangent bundle of a manifold. We use the Bianchi identities satisfied by Chern curvature to set up a gravitation theory in Berwald-insler space. The geometric part of the gravitational field equation is nonsymmetric in general. This indicates that the local Lorentz invariance is violated. Nontrivial solutions of the gravitational field equation are presented. PACS numbers: k, q lixn@mail.ihep.ac.cn 2 changz@mail.ihep.ac.cn

2 Introduction The possible violation of Lorentz invariance have been proposed within several models of quantum gravity (QG) as well as the Very Special Relativity (VSR)[]. A succinct list of QG includes: tensor VEVs originated from sting field theory[2], cosmologically varying moduli scenarios[3], spacetime foam models[4], semiclassical spin network calculations in Loop QG[5, 6], noncommutative geometry gravity[7, 8, 9, 0] and brane world scenarios[]. A common feature of these phenomenological studies on Planck scale physics is introducing of modified dispersion relations (MDR) for elementary particles. Girelli et al.[2] proposed a possible relation between MDR and insler geometry. Gibbons et al.[3] pointed out that VSR is insler geometry. In the VSR, CPT symmetry is preserved. VSR has radical consequences for neutrino mass mechanism. Lepton-number conserving neutrino masses are VSR invariant. The mere observation of ultra-high energy cosmic rays and analysis of neutrino data give an upper bound of 0 25 on the Lorentz violation[4]. The above facts imply that new physics may connected with insler geometry. In facts, in 94 Randers[5] published his work on possible application of insler geometry in physics. Properties of Randers space have been investigated exhaustively by both mathematicians and physicists[6]-[20]. In a recent paper[2], Kostelecky studied the effect of gravitation in the Lorentzand CPT-violating Standard Model Extension (SME). The incorporation of Lorentz and CPT violation into general relativity based on Riemann-Cartan geometry was discussed. It provided dominant terms in the effective low-energy action for the gravitational sector, thereby completing the formulation of the leading-order terms in the SME with gravity. It shows that a generalized geometric framework is helpful in constructing a unification theory of gravity and electromagnetism, weak and strong interaction. insler geometry is a natural and fundamental generalization of Riemann geometry. The insler structure depends on both coordinates and velocities. It is defined as a mapping function from tangent bundle of a manifold to R. S. S. Chern[22] proved that there is a unique connection in the insler manifold that is torsion free and almost g-compatibility. We use the Bianchi identities satisfied by Chern curvature to set up a gravitation theory in Berwald-insler space. The geometric part of the gravitational field equation is nonsymmetric in general. This indicates that the local Lorentz invariance is violated. Nontrivial solutions of the gravitational field equation are presented. This paper is organized as follows. In Sec. 2, we briefly review basic concept and notations of insler geometry[23]. The torsion free Chern connection and corresponding curvature are introduced. The first and second Bianchi identities for curvature are presented. Sec. 3 is devoted to construct a gravitation theory in Berwald-insler space. Solutions of gravitational field equation are shown in Sec. 4. In the final, we give conclusion and remarks. 2

3 2 insler geometry 2. insler Manifold Denote by T x M the tangent space at x M, and by TM the tangent bundle of M. Each element of TM has the form (x, y), where x M and y T x M. The natural projection π : TM M is given by π(x, y) x. A insler structure of M is a function : TM [0, ) with the following properties: (i) Regularity: is C on the entire slit tangent bundle TM\0. (ii) Positive homogeneity : (x, λy) = λ(x, y) for all λ > 0. (iii) Strong convexity: The n n Hessian matrix g ij ( 2 2 ) y i y j is positive-definite at every point of TM\0, where we have used the notation ( ) y i = y i ( ). insler geometry has its genesis in integrals of the form r s (x,, x n ; dx dt,, dxn )dt. () dt Throughout the paper, the lowering and raising of indices are carried out by the fundamental tensor g ij defined above, and its matrix inverse g ij. Given a manifold M and a insler structure on TM, the pair (M, ) is called as a insler manifold. It is obvious that the insler structure is a function of (x i, y i ). In the case of depending on x i only, the insler manifold reduces to Riemannian Manifold. The symmetric Cartan tensor can be defined as A ijk 2 g ij y k = 4 ( 2 ) y i y j y k, (2) Cartan tensor vanishes if and only if g ij has no y-dependence. So that Cartan tensor is a measurement of deviation from Riemannian Manifold. Using Euler s theorem on homogenous function, we can get useful properties of the fundamental tensor g ij and Cartan tensor A ijk where l i yi. g ij l i = y j, (3) g ij l i l j =, (4) y i g ij y = 0, yj g ij k y = 0, yk g ij = 0, k yk (5) y i A ijk = y j A ijk = y k A ijk = 0, (6) 3

4 2.2 Chern Connection The nonlinear connection N i j on TM\0 is defined as N i j γ i jky k Ai jk γk rsy r y s, (7) where γ i jk is the formal Christoffel symbols of the second kind γjk i gis 2 ( g sj x + g sk k x g jk ). (8) j xs The invariant connection under the transform y λy is of the form N i j γi jk lk A i jk γk rs lr l s. (9) As usually, we define the covariant derivatives x i and dx i as x i ωj i x, j (0) dx i ωjdx i j, () where ω i j is the connection -forms. The operator have the same linear property with the covariant derivatives defined on Riemannian manifold. Here, we introduce the Chern connection that is torsion freeness and almost g-compatibility dx j ω i j = 0 (2) dg ij g kj ωi k g ikωj k = 2A δy s ijs. (3) A theorem given by S. S. Chern [22] guarantees the uniqueness of Chern connection. Theorem (Chern): Let (M, ) be a insler manifold. The pulled-back bundle π TM admits a unique linear connection, called the Chern connection. Its connection forms are characterized by the structural equations (2), (3). We ignore the proof of the theorem, just give some consequence of it directly. Torsion freeness is equivalent to the absence of dy i terms in ω i j ; namely, together with the symmetry ω i j = Γi jk dxk, (4) Γ i jk = Γi kj. (5) 4

5 And almost g-compatibility implies that Γ i jk = gis 2 ( δgsj δx + δg sk k δx δg ) jk, (6) j δx s where δ δx i x i Nj i x j. (7) The dual basis of y i is As before, we prefer to work with δy i dy i + N i j dxj. (8) δy i = (dyi + N i j dxj ), (9) which is invariant under rescaling of y. We will work on two new natural local bases that are dual to each other: { δ, } for the tangent bundle of TM\0, δx i y i {dx i, δyi } for the cotangent bundle of TM\0. One can check that the transformation law of Chern connection on insler manifold is the same with Riemannian connection on Riemannian manifold. This fact is useful to guide us define the covariant derivative of a tensor. Let V V j i dx i be an arbitrary smooth local section of π TM π T M. The x j definition (0), () and property of operator imply that the covariant derivatives of V is where V ( V ) j i x j dxi, (20) ( V ) j i dv i + V k i ωj k V j k ωk i. (2) V is a -form on TM\0. Thus, it can be expressed in terms of the natural basis {dx i, δyi }, ( V ) j i = V j i s dxs + V j δy s i ;s. (22) Using relation between the Chern connection and the connection -forms ωj i obtain the horizontal covariant derivative V j i s (4), we i s = δv j i δx + V k s i Γ i jk V j V j 5 k Γk is, (23)

6 and the vertical covariant derivative V j i ;s i ;s = V j i y. (24) s V j The treatment for tensor fields of higher rank is similar with the methods used on Riemannian manifold. Here, we give results of covariant derivatives of the fundamental tensor g and the norm vector l: 2.3 Curvature g ij s = g ij s = 0, (25) g ij;s = 2A ijs and g ij s = 2Aij s, (26) l i s = l i s = 0, (27) l i ;s = δi s li l s and l i;s = g is l i l s. (28) The curvature 2-forms of Chern connection are Ω i j dω i j ω k j ω i k. (29) The expression of Ω i j in terms of the natural basis{dxi, δyi } is of the form Ω i j 2 R j i kldx k dx l + Pj i kldx k δyl + 2 Q j i δy k kl δyl, (30) where R, P and Q are the hh-,hv-,vv-curvature tensors of the Chern connection, respectively. The following property is manifest Rj i kl = R j i lk, (3) Qj i kl = Q j i lk. (32) We are now at the position to demonstrate the Bianchi identities for the curvature. Exterior differential of the structural equation (2) gives The combination of equations (33) and (2) shows that Substituting equation (34) into (30), we get dx j dω i j = 0. (33) dx j Ω i j = 0. (34) 2 R j i kl dxj dx k dx l + Pj i kl dxj dx k δyl + 2 Q j i kl dxj δyk δyl = 0. (35) 6

7 The three terms on the left side are completely independent. Thus, all of them should vanish. This gives identities Rj i kl + R k i lj + R l i jk = 0, (36) Pj i kl = P k i jl, (37) Q i j kl Then, the curvature 2-forms can be simplified as = 0. (38) Ω i j 2 R j i kl dxk dx l + Pj i kl dxk δyl. (39) Tedious but straightforward manipulation of exterior differential on the structural equation (3) gives Ω ij + Ω ji = 2( A) ijk δyk 2A ijk It can be rewritten into 2 (R ijkl + R jikl )dx k dx l + (P ijkl + P jikl )dx k δyl ] [d( δyk ) + ωk l δyl. (40) = A iju R u kldx k dx l 2(A iju P u kl + A ijl k )dx k δyl +2(A ijk;l A ijk l l ) δyk δyl, (4) where we have used the abbreviations R i kl l j Rj i kl (42) P i kl l j Pj i kl. (43) Equalization of three different types of terms at two sides of equation (4 shows identities R ijkl + R jikl = 2A iju R u kl, (44) P ijkl + P jikl = 2(A iju P u kl + A ijl k), (45) A ijk;l A ijk l l = A ijl;k A ijl l k. (46) The formula (3) and identities (36),(44) enable us get the fourth property of hhcurvature, R klji R jikl = (B klji B jikl ) + (B kilj + B ljki ) + (B iljk B jkil ), (47) where, for convenient, we have used the notation B ijkl A iju Rkl u. On Riemannian manifold, the Cartan tensor vanish. This means that B ijkl = 0 on Riemannian manifold. The familiar properties of Riemannian curvature R ijkl + R ijlk = 0, R ijkl + R kjli + R ljik = 0, R ijkl + R jikl = 0, R ijkl R klij = 0, 7

8 can be deduced directly from the four properties of hh-curvature (3), (36), (44) and (47). Making use of the identity (45) and equations (6), (27), we may get a constituent relation for P ijkl, where P ijkl = (A ijk l A jkl i + A kil j ) + A u ij Ȧ ukl A u A uil + A u Ȧ ujl, (48) jk Ȧ ijk A ijk l l s. (49) Contracting P ijkl with l i in equation (48), we obtain an important relation P jkl l i P ijkl = A jkl. (50) The expression of R and P can be got by substituting the formula (29) into (39), ki R i j kl P i j kl = δγi jl δx k δγi jk δx l + Γ i hk Γh jl Γi hl Γh jk, (5) = Γi jk y l. (52) These are counterparts of the Riemannian curvature expessed in terms of the Christoffel symbols Γ i jk R i j kl = Γ i jl x k Γ i jk x l + Γ i hk Γ h jl Γ i hl Γ h jk. (53) Before ending the section, we present the second Bianchi identity. Exterior differential of the Chern connection (29) gives dω i j ωk j Ωi k + ωi k Ωk j = 0. (54) Substituting (39) into the above equation, we obtain 2 dr i j kl dx k dx l + dp i j kl dx k δyl P i j kldx k d( δyl ) = 2 R i r kl ωr j dxk dx l 2 R r j kl ωi r dxk dx l To evaluate d( δyl δyl ), we first rewrite +P i r kl ωr j dxk δyl P r j kl ωi r dxk δyl. (55) as δy l dll + Γ l jk lk dx j + d ll. (56) 8

9 Then, one has d( δyl ) = dlj ω l j + l j dω l j + dl l d = l j Ω l j + l j ω k j ω l k + ( δyj ωj k lk l j d ) ωl j + ( δyl = l j Ω l j + δyj (ωl j l j here we have used the identity ωl kl k ) d δy l ), (57) l i δy i = d to get the third equal. Substituting formula (57) into (54) and noticing the torsion freeness of the Chern connection, we obtain 2 R j i kl dx k dx l + Pj i kl dx k δyl (58) = P i j kl lt dx k ( 2 R l t rs dxr dx s + P l t rs dxr δys ) P i j kl l rdx k δyr δyl.(59) In natural basis, we can rewrite equation (59) into the form 2 (R i j kl t P i j ku Ru lt )dxk dx l dx t + 2 (R i j kl;t 2P i j kt l + 2P i j kuȧu lt )dxk dx l δyt + (P i j kl;t P i j kl l t)dx k δyl δyt = 0.(60) The three terms in the left side are completely independent. Then, we get the following identities R i j kl t + R i j lt k + R i j tk l R i j kl;t P i j kl;t P i j kt;l = Pj i kur u lt + Pj i lur u tk + Pj i tur u kl, (6) = Pj i kt l P j i lt k (P j i kua lt P j i kt ), (62) = Pj i kl l t Pj i kt l l. (63) 3 Gravitation theory in Berwald space Einstein proposed successfully his general relativity in Riemannian space to describe gravity. It is interest to investigate the behaviors of gravitation in a more general insler spaces. Let us briefly recall the setup way of the Einstein field equation on Riemannian manifold. One starts from the second Bianchi identities on Riemannian manifold R j i kl t + R j i lt k + R j i tk l = 0. (64) 9

10 The metric-compatibility and contraction of (64) with g jt gives that g ij k = 0 and g ij k = 0, (65) R ji kl j + R i l k R i k l = 0, (66) where R i l R ij jl is the Ricci tensor. Lowering the index i and contracting with gik, we obtain R j l j + R j l j S l = 0, (67) where S = g ij Rij is the scalar curvature. An equivalent but more familiar form is ( R jl 2 gjl S) j = 0. (68) In the weak field limit, gravitation theory should reduce to the Newtonian theory. Einstein suggested his gravitational field equation of the form R jl 2 g jl S = 8πGT jl, (69) where T jl is the energy momentum tensor and G is the Newton s constant. In the paper, we use similar approach to discuss gravitation on insler manifold. Let us introduce first two notions for Ricci curvature: the Ricci scalar Ric and the Ricci tensor Ric ij. The Ricci scalar is defined as Ric = g ik R ik, (70) where R ik l j R jikl l l is symmetric. The Ricci tensor on insler manifold was first introduced by Akbar-Zadeh[24] Ric ik ( 2 2 Ric) y i yk, (7) which is manifestly symmetric and covariant. Expanding y derivatives in the defining formula for Ricci tensor Ric ik, we get Ric ik = 4 (Ric ;i;k + Ric ;k;i ) (l iric ;k + l k Ric ;i ) + g ik Ric. (72) Substituting the defining formula for Ricci scalar Ric into the above equation, we obtain Ric ik = 2 (R s k si + R s i sk ) + 4 lj l l (R s j sl;k;i + R s j sl;i;k ) 4 lj l l (l i R s j sl;k + l kr s j sl;i ) + 2 lj (R s i sj;k + R s j si;k + R s k sj;i + R s j sk;i ) (73) = 2 (R s k si + R s i sk) + E ik, (74) 0

11 where we introduced the notation E ik 4 lj l l (R s j sl;k;i + R s j sl;i;k ) 4 lj l l (l i R s j sl;k + l kr s j sl;i ) + 2 lj (Ri s sj;k + R j s si;k + R k s sj;i + R j s sk;i ). (75) ollowing same setup process for gravitational field equation in Riemannian space, we start from the second Bianchi identities (6). contracting it with g jt, lowering the index i, and contracting again with g ik, we get R ji il j + Rji lj i + Rji ji l = gjt g ik (P jiku R u lt + P jilu R u tk + P jitu R u kl). (76) Using the first Bianchi identity (44) and formula (47), we can divide the left side of the above equation into symmetric part labeled by [ ] and nonsymmetric part labeled by { } R ji il j + R ji lj i + Rji ji l ( = Ric j l + ) 2 B kj k l Ej l j + ( 2B jk lk + Ricj l + ) 2 B kj k l Ej l δ j l (S E) j j = [(2Ric j l δj l S) (2Ej l δj l E)] j + {B kj k l + 2Bjk lk } j, (77) where E g ij E ij and S = g ij Ric ij. Using the constituent relation of the hv-curvature tensor (48), we rewrite the right side of identity (76) as g jt g ik ( P jiku R u lt + P jilur u tk + P jitur u kl ) = 2(A j lu i Ajr la riu )R u j i + 2(A j iu j A u i + A r A riu A jr ia rju )R u l i,(78) where A r g ij A ijr. inally, we get the equivalent form of the identity (76) [( Ric jl ) ( 2 gjl S E jl )] 2 gjl E + j { } 2 B kjl k + B jkl k j = (A jl u i Ajrl Ȧ riu )R u i j + (A j iu j A u i + A r Ȧ riu A jr i A rju )R uli. (79) A insler structure is said to be of Berwald type if the Chern connection coefficients Γ i jk in natural coordinates have no y dependence. A direct proposition on Berwald space is that hv part of the Chern curvature vanishes identically and the hh part of the Chern connection reduce to Pj i kl = 0, (80) R i j kl = Γi jl x k Γi jk x l + Γ i hk Γh jl Γi hl Γh jk. (8)

12 So that, in Berwald space the identity (79) reduces as [ Ric jl ] { } 2 gjl S + 2 B kjl k + B jkl k j j = 0. (82) Thus, the counterpart of the Einstein s field equation on Berwald space takes the form [ Ric jl ] { } 2 g jls + 2 B k k jl + Bj k lk = 8πGT jl. (83) The gravitational field equation on Berwald space is obvious different from the Einstein s field equation. The geometric part contains nonsymmetric term. Thus, in general, the energy momentum tensor T jl is not symmetric. It means that local Lorentz invariance is violated in general. 4 Solutions of gravitational field equation At this section, we present examples of Berwald-insler space. Kikuchi[25] proved that in a Randers space of Berwald type, one has bi j b i,j b k γ k ij = 0, (84) where γ k ij is the Christoffel symbols of Riemannian metric ã ã ijdx i dx j. In Randers space, one can derive straightforwardly the expression of the geodesic spray coefficients as G i γ i jky j y k = ( γ i jk + l i bj k )y j y k + (ã ij l i bj )( b j k b k j )αy k, (85) and the Chern connection as Γ i jk = (Ni j ) y + k 2 git y s (Nt s ) y j yk. (86) It is not difficult to check that the geodesic spray coefficients satisfy that G i 2 y = j Ni j. (87) Thus in Randers spaces of Berwald type, the geodesic spray coefficients reduce to The Chern connection reduces to Then, the hh curvature takes the form G i = γ i jk yj y k. (88) Γ i jk = γi jk. (89) R i j kl = γi jl x k γi jk x l + γ i hk γ h jl γ i hl γ h jk. (90) 2

13 In 4-dimensional Randers space, the Robertson-Walker metric and the constraint ã ij = diag{, a2 (t) kr 2, a2 (t)r 2, a 2 (t)r 2 sin 2 θ} (9) ȧ 2 + k = 0 (92) gives nontrivial solution of the gravitation in the Berwald-insler space. A possible solution of (83) for Berwald-insler space with one extra dimension is of the form ã ij where c is constant. = diag{, a2 (t) kr 2, a2 (t)r 2, a 2 (t)r 2 sin 2 θ, 0}, (93) bi = {0, 0, 0, 0, c}, (94) 5 Conclusion and remarks In this paper, we have setup a gravitation theory in a torsion freeness Berwald-insler space. The geometric part of the gravitational field equation is, in general, nonsymmetric. This fact indicates that the local Lorentz invariance is violated in the insler manifold. This is in good agreement with discussions on special relativity in insler space[3, 2, 20]. Nontrivial solutions of gravitation in Berwald-insler space were presented. However, problems still remain. How to construct a gravitation in general insler space is still a open question. It is well-known that in Riemannian space the sign of section curvature K(x) determine the type of geometry near x (hyperbolic, flat or spherical). In the landscape of inslerian, the sign of K(x, y) depend on the direction y of our line of sight. This make it possible to encounter all three types of geometry during a survey. In such a cosmology model, one may wish to find a natural explanation for why the early universe is asymptotic flat. Acknowledgements We would like to thank Prof. C.-G. Huang for helpful discussion. The work was supported by the NS of China under Grant No References [] A. G. Cohen and S. L. Glashow, Phys. Rev. Lett. 97, 0260 (2006). 3

14 [2] V. A. Kostelecky and S. Samuel, Phys. Rev. D 39, 683 (989). [3] T. Damour and A. M. Polyakov, Nucl. Phys. B 423, 532 (994). [4] G. Amelino-Camelia, J. R. Ellis, N. E. Mavromatos, D. V. Nanopoulos and S. Sarkar, Nature 393 (998) 763. [5] R. Gambini and J. Pullin, Phys. Rev. D 59, 2402 (999). [6] J. Alfaro, H. A. Morales-Tecotl, and L.. Urrutia, Phys. Rev. Lett. 84, 238 (2000); Phys. Rev. D 65, (2002). [7] M. Hayakawa, Phys. Lett. B 478, 394 (2000); hep-th/ [8] I. Mocioiu, M. Pospelov, and R. Roiban, Phys. Lett. B 489, 390 (2000). [9] S. M. Carroll, J. A. Harvey, V. A. Kostelecky, C. D. Lane, and T. Okamoto, Phys. Rev. Lett. 87, 460 (200). [0] A. Anisimov, T. Banks, M. Dine, and M. Graesser, Phys. Rev. D 65, (2002). [] C. P. Burgess, J. Cline, E. ilotas, J. Matias, and G. D. Moore, J. High Energy Phys. 03, 043 (2002). [2]. Girelli, S. Liberati and L. Sindoni, Phys. Rev. D 75, (2007). [3] G. W. Gibbons, Joaquim Gomis and C. N. Pope, hep-th/ [4] G. Battistoni et al., Phys. Lett. B65 4 (2005). [5] G. Randers, Phys. Rev. 59, 95 (94). [6] H. Yasuda and H. Shimada, Rep. on Math. Phys., 347 (977). [7] D. Bao and B. Lackey, Nonlinear Analysis 38, 27 (999). [8] D. Hrimiuc and H. Shimada, Nolinear World 3, 63 (996); Tensor, N.S. 58, 48 (996). [9] V. S. Sabau and H. Shimada, Rep. Math. Phy. 47, 3 (200). [20] Z. Chang and Xin. Li, hep-th/ [2] V. A. Kostelecky, Phys. Rev. D 69, (2004). [22] S. S. Chern, Sci. Rep. Nat. Tsing Hua Univ. Ser. A 5, 95 (948); or Selected Papers, vol. II, 94, Springer 989. [23] D. Bao, S. S. Chern and Z. Shen, An introduction to Riemann insler geometry, Graduate Texts in Mathmatics 200, Springer, New York,

15 [24] H. Akbar-Zadeh, Acad. Roy. Belg. Bull. Cl. Sci. (5) 74, 28 (988). [25] S. Kikuchi, Tensor, N.S. 33, 242 (979). 5