arxiv: v1 [math.dg] 11 Oct 2017

Transcript

1 NONUNIQUE INVARIANTS of Thrd Type Almost Geodesc Mappngs arxv: v1 [math.dg] 11 Oct 2017 Nenad O. Vesć Abstract Famles of nvarants of specal almost geodesc mappngs of the thrd type are obtaned n ths paper. Motvated by results presented n L. B. Ćrć, [3] and H. H. Alsulam, E. Karapnar, V. Rakočevć, [1], t s examned unqueness of these famles. Key words: rule of transformaton, lnear ndependence, nvarant 2010 Math. Subj. Classfcaton: 53C15, 47A15, 58C30, 55C99, 53A55, 35R01 1 Introducton Dfferent mappngs of Remannan and generalzed Remannan spaces as well as ther nvarants have been nvestgated see [2,4,8 28,30,31]. Motvated by Ensten s works [5 7], geodesc mappngs of these spaces and ther generalzatons became subjects of nvestgatons of many authors. The Ensten s theory of general Relatvty motvated dfferent authors to nvestgate spaces of non-symmetrc lnear connectons [12,16,17], specally generalzed Remannan spaces. Invarants of nvarants between these spaces are mportant n the theory of gravty [9 11, 31], In ths paper, we wll examne nvarants of almost geodesc mappngs [21 23] defned on a generalzed Remannan space n the sense of Esenhart [8]. 1.1 Generalzed Remannan space An N-dmensonal dfferentable manfold M N endowed wth a metrc tensor gx,y, gx,y gy,x, of the type 0,2 s the generalzed Remannan space GR N. Coordnately, the metrc tensor has the form g j such that g j g j [8,16 18]. Chrstoffel symbols of the frst and the second knd of the space GR N are.jk = 1 2 g j,k g jk, +g k,j and jk = g.jk. 1.1 The Chrstoffel symbols jk are affne connecton coeffcents of the space GR N. The symmetrc and ant-symmetrc parts of Chrstoffel symbol jk are jk = 1 2 jk + kj and jk = 1 2 jk kj. 1.2 Ths paper s fnancally supported by Serban Mnstry of Educaton, Scence and Technologcal Development, Grant No

2 The ant-symmetrc part jk of the coeffcent jk s called the torson tensor of the space GR N. The Remannan space R N, endowed wth affne connecton coeffcents jk s the assocated space of GR N [4,24 28]. Covarant dfferentaton wth regard to the affne connecton of space R N s defned as a j;k = a j,k + k a j jk a, 1.3 for a tensor a j of the type 1,1. Curvature tensor R jmn of the assocated space R N s R jmn = jm,n jn,m + jm n jn m. 1.4 Four knds of covarant dfferentaton wth regard to affne connecton of the space GR N are [16]: a j 1 a j 3 k = a j,k + k a j jk a a j k = a j,k + k a j kj a, k = a j,k + k a j kj a a j k = a j,k + k a j kj a. 1.6 There are twelve curvature tensors of the space GR N. They are elements of the famly Kjmn = R jmn +u jm;n +u jn 4 ;m +v jm n +v jn m +w mn j, 1.7 for real constants u,u,v,v,w. Fve of these curvature tensors are lnearly ndependent [17]. 1.2 Almost geodesc mappngs of space GR N In attempt to generalze the term of geodescs, N. S. Snyukov defned the terms of almost geodesc lnes and almost geodesc mappngs of a symmetrc affne connecton space [20]. Hs work has been contnued by a lot of authors see for example [13 15]. These results are generalzed for the case of a non-symmetrc affne connecton space [21 23]. Generalzed Remannan space GR N s a non-symmetrc affne connecton space. A mappng f : GR N GR N determned by the equatons jk π3 : = jk +ψ jk +ψ kj +2σ jkϕ +ξjk, s ϕ j + 1s 1 ξj ϕ = ν j ϕ +µj, 1.8 s s = 1,2, for tensor ξjk ant-symmetrc by ndces j and k, covarant vectors ψ j,ν j, contravarant vector ϕ and scalar functon µ, s the almost geodesc mappng of the s-th knd. The almost geodesc mappng f has the property of recprocty f ts nverse mappng s almost geodesc mappng of the thrd type and the same knd as the mappng f. In ths paper, we wll pay attenton to nvarants of thrd type almost geodesc mappngs whch satsfy the property of recprocty and preserve the torson tensor jk. These mappngs are the equtorson thrd type almost geodesc mappngs whch satsfy the property of recprocty. 2

3 1.3 Motvaton The research presented n ths paper s motvated by the results from papers L. B. Ćrć, [3] and H. H. Alsulam, E. Karapnar, V. Rakočevć, [1]. In these papers, t s obtaned that lnear mappngs do not need to have unque nvarants. Almost geodesc mappngs of the thrd type are lnear mappngs. The man purposes of ths paper are: To obtan transformaton-rules of covarant dervatve of torson tensor jk wth regard to the affne connecton of the assocated space R N under equtorson thrd type almost geodesc mappngs whch have the property of recprocty, To obtan nvarants of equtorson thrd type almost geodesc mappngs whch have the property of recprocty from change of the famly of curvature tensors Kjmn gven by the equaton 1.7 under these mappngs, To examne unqueness of these transformaton-rules and nvarants. 2 Man results Let f : GR N GR N be an equtorson almost geodesc mappng of the thrd type and s-th knd s = 1,2, whch satsfes the property of recprocty. Basc equatons of ths mappng are jk π3 : = jk +ψ jk +ψ kj +2σ jkϕ, s ϕ j = ν jϕ +µj, 2.1 s for scalar functon µ, covarant vectors ψ j,ν j, contravarant vector ϕ and tensor σ jk of the type 0,2 symmetrc by ndces j and k. It s obtaned n [29] that the geometrcal objects jmn = Rjmn + j 1 1 [mn] m j;n jn +µσ jn 1 n j;m jm +µσ jm 1 σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ +σ jm nϕ σ jn mϕ, jmn = Rjmn + j 2 2 [mn] m j;n jn +µσ jn 2 n j;m jm +µσ jm 2 σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ σ jm n ϕ +σ jn m ϕ, for j and j gven by the followng equatons: 1 2 3

4 jk = 1 jk = ϕ σ jk β β +σ βϕ β j +σ j ϕ β kβ +σ kβϕ β σj;k ϕ +σ jk µ+σ j ν k ϕ βkϕ β, 1 2 ϕ σ jk β β +σ βϕ β j +σ j ϕ β kβ +σ kβϕ β σj;k ϕ +σ jk µ+σ j ν k ϕ + βkϕ β, scalar functon µ and antsymmetrzaton wthout dvson denoted by square brackets, are nvarants of the mappng f. 2.1 Transformatons of covarant dervatve of torson tensor Let f : GR N GR N be an equtorson thrd type almost geodesc mappng of an s-th knd, s = 1,2, whch has the property of recprocty. Based on the equaton 1.3 and the nvarance jk = jk, we obtan that s jm;n jm ;n = n jm = jm jn m mn j n jm n n m jn jn j + jn m + mn j 2.6 mn mn Because the mappng f has the property of recprocty, t s got n [29] that s.e. ψ j = ψ j and σ jk ϕ = σ jk ϕ, 2.7 jk jk = 1 j +σ j ϕ k + k +σ k ϕ j σjk ϕ j +σ j ϕ k + k +σ kϕ j +σjk ϕ. p qr jk jk = p qr jk p qr jk = p = j q = r = = σ jmn σjmn jm n n : σjmn = 1 m jn jn : σjmn = j mn mn : σjmn = jm n +n jm β β + jmϕ σ n +n jmϕ β σ β jm ϕ σ n jm n mn j + jmϕ σ n mnϕ σ j + m ϕ σ jn jm n + jn m + jmϕ σ n + jnϕ σ m + j ϕ σ mn th regard to the expressons 2.6, 2.8, we obtan that t holds jm;n jm 2.8 ;n = σ jmn σ jmn, 2.9 p p 4

5 p = 1,...,8, for σ jmn = 1 jm n m jn j mn, 2.10 σ jmn = jm n + mϕ σ jn + jϕ σ mn 2 2 jm ϕ σ n + jn σ jmn = jm n m jn + jϕ σ mn 3 σ jmn = 4 jm jm n + jn n j mn + mϕ σ jn jm n mn σ jmn = jmϕ σ n m jn j 5 n jm β β + jm 2 jm n + jn m mn j ϕ σ m mn ϕ σ j, 2.11 m + jmϕ σ n + jnϕ 2.12 σ m, j + jmϕ σ n mnϕ 2.13 σ j, mn σ jmn = jmϕ σ n + mϕ σ jn + jϕ σ mn 6 n jm n jm β β jm ϕ β σ β jm n +n jmϕ β σ β + jmϕ 2.14 σ n, n jn σ jmn = jmϕ σ n m jn + jϕ σ mn 7 n jm β β jn m + mn j ϕ σ n jnϕ σ m + mnϕ σ j, m 1 + σ jmn = jmϕ σ n j mn + mϕ σ jn 8 n jm β β + mn 1 j + and the correspondng σ p jmn. Let be n jm ϕ β σ β jn 2.15 ϕ σ m, 2.16 n jmϕ β σ β + mnϕ 2.17 σ j, U = jm 1 n, U = jn 2 m, U = m 3 jn, U = n 4 jm, U = j 5 mn, U = jm 6 U = jn 7 m, U = mn 8 j, U = mϕ σ jn, U = nϕ σ jm, U = jϕ σ mn, U 12 = jm U 17 = n jm ϕ σ n, U = jnϕ σ m, U = mnϕ σ j, U = n jm β β, U = 16 m jn β β, ϕ β σ β, U = m jnϕ β σ β, U = jmϕ σ n, U = jnϕ σ m It holds the followng lemma: 5 n,

6 Lemma 1. Let f : GR N GR N be an equtorson thrd type almost geodesc mappng whch has the property of recprocty. a Covarant dervatves jm satsfy the equatons ;n and jm ;n of the torson tensor of the spaces GR N and GR N jm;n = jm ;n + σ jmn σ jmn, 2.18 p = 1,...,8, for σ jmn gven by the equatons and ther mages σ jmn under the p p mappng f. b Covarant dervatves jm satsfy the equaton ;n and jm p p ;n of the torson tensor of the spaces GR N and GR N jm ;n = jm 8 20 ;n + ρ=1 θ=1 u ρ θ Uθ U θ, 2.19 for real constants u ρ θ, the geometrcal objects U θ gven above and ther transformatons U θ under the mappng f. c The rank of matrx [ u ρ θ] of the type 8 20 s 4,.e. there are four lnearly ndependent transformatons of the transformatons from Corollary 1. Geometrcal objects ρ T jm;n = jm ;n 20 θ=1 u ρ θ U θ jmn, 2.20 ρ {1,...,8}, for the correspondng real constants u ρ θ, are nvarants of an equtorson almost geodesc mappng f : GR N GR N whch has the property of recprocty. Four of these nvarants are lnearly ndependent. Remark 1. The geometrcal objects σ p jmn,p {1,...,8}, have the form 8 20 σ jmn = p ρ=1 θ=1 for the above defned geometrcal objects U θ. u ρ θ U jmn, 2.21 θ 2.2 Transformatons of curvature tensors under almost geodesc mappngs Let f : GR N GR N be an equtorson almost geodesc mappng of the thrd type and s-th knd, s = 1,2, whch has the property of recprocty. From the nvarance of the geometrcal objects 1 jmn and 2 jmn gven by the equatons 2.2, 2.3, we drectly obtan that s 6

7 R jmn = Rjmn j 1 [mn] n m j;n 1 j;m jm +µσ jm 1 jn +µσ jn + σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ σ jm nϕ +σ jn mϕ +j 1 [mn] m j;n jn +µσ jn 1 n j;m jm +µσ jm 1 σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ +σ jm nϕ σ jn mϕ, R jmn = Rjmn j 2 [mn] m j;n jn +µσ jn 2 n j;m jm +µσ jm 2 + σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ +σ jm nϕ σ jn mϕ +j 2 [mn] m j;n jn +µσ jn 2 n j;m jm +µσ jm 2 σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ σ jm n ϕ +σ jn m ϕ Hence, based on these transformatons and the equaton 2.18 we establsh the followng equatons: 7

8 K jmn = Kjmn j 1 [mn] n m j;n 1 j;m jm +µσ jm 1 jn +µσ jn + σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ σ jm nϕ +σ jn mϕ +j 1 [mn] m j;n jn +µσ jn 1 n j;m jm +µσ jm 1 σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ +σ jm nϕ σ jn mϕ +uσ jmn +u σ jnm uσ jmn u σ jnm, p q p q K jmn = Kjmn j 2 [mn] m n j;m jm +µσ jm 2 j;n jn +µσ jn 2 + σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ +σ jm nϕ σ jn mϕ +j 2 [mn] m j;n jn +µσ jn 2 n j;m jm +µσ jm 2 σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ σ jm nϕ +σ jn mϕ +uσ jmn +u σ jnm uσ jmn u σ jnm. p q p q Based on these transformatons, we obtan that s p,q 1 jmn = jmn and p,q 1 p,q 2 jmn = jmn, p,q 2 for p,q {1,...,8} 2 and 8

9 p,q 1 p,q 2 jmn = K jmn + j 1 [mn] m j;n n j;m jm +µσ jm 1 1 jn +µσ jn σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ +σ jm nϕ σ jn mϕ uσ jmn u σ jnm, p q jmn = K jmn + j 2 [mn] m j;n n j;m jm +µσ jm 2 2 jn +µσ jn σ jm;n σ jn;m σ jm σ n σ jn σ m ϕ ϕ σ jm nϕ +σ jn mϕ uσ jmn u σ jnm. p q Theorem 1. Let f : GR N GR N be an equtorson almost geodesc mappng of the thrd type and s-th knd, s = 1,2, whch has the property of recprocty. Famles p,q 1 jmn and jmn gven by the equatons 2.24, 2.25 are famles of nvarants of mappng of the correspondng knd. Corollary 2. The famles jmn p,q s p,q 2,s = 1,2, of nvarants of an equtorson almost geodesc mappng f : GR N GR N whch has the property of recprocty and the nvarants s jmn gven by the equatons 2.2, 2.3 satsfy the equatons p,q s for p,q {1,...,8} 2. jmn = jmn uσ jmn u σ s p +u jm;n +u jn q jnm ;m +v jm n +v jn m +w mn j, 2.26 Corollary 3. The rank of matrx = [ 1 u ρ 1... u ρ 20 u u v v w ] 2.27 of the type s equal 6,.e. there are sx lnearly ndependent famles p,q {1,...,8} 2, of nvarants gven by the equatons 2.24, jmn p,q s,s {1,2}, 9

10 References [1] H. H. Alsulam, E. Karapnar, V. Rakočevć, Ćrć Type Nonunque Fxed Pont Theorems on b-metrc Spaces, Flomat 31: , [2] V. Berezovsk, J. Mkeš, On a Classfcaton of Almost Geodesc Mappngs of Affne Connecton Spaces, Acta Unv. Palack. Olomuc, Fac. rer. nat., Mathematca [3] L. B. Ćrć, On some maps wth a nonunque fxed pont, Publ. Inst. Math., 17, 1974, [4] M. S. Ćrć, M. Lj. Zlatanovć, M. S. Stankovć, Lj. S. Velmrovć, On geodesc mappngs of equdstant generalzed Remannan spaces, Appled Mathematcs and Computaton 21812, 2012, [5] A. Ensten, A generalzaton of the relatvstc theory of gravtaton, Ann. of. Math., , No. 2, [6] A. Ensten, Banch denttes n the generalzed theory of gravtaton, Can. J. Math., 1950, No. 2, [7] A. Ensten, Relatvstc Theory of the Non-symmetrc Feld, Prnceton Unversty Press, New Jersey, 1954, 5th edton. [8] L. P. Esenhart, Non-Remannan Geometry, vol 8, Amer. Math. Soc. Colloq. Publ., New York, [9] E. Goulart, M. Novello, Cosmologcal Stablty of eyl Conformal Tensor, Gravtaton and Cosmology, 2008, Vol. 14, No. 4, pp [10] G. Hall, Projectve relatedness and conformal flatness, Cent. Eur. J. Math., , [11] G. Hall, On the converse of eyl s conformal and projectve theorems, Publ. Inst. Math. Beograd N.S., , No. 94, [12] S. Ivanov, M. Lj. Zlatanovć, Connectons on a non-symmetrc generalzed Remannan manfold and gravty, Class. Quantum Grav., , No. 7. [13] J. Mkeš, V. Kosak, A. Vanžurová, Geodesc Mappngs of Manfolds wth Affne Connecton, Palacký Unversty, Olomouc, [14] J. Mkeš, E. Stepanova, A. Vanžurová, et all, Dfferental Geometry of Specal Mappngs, Palacký Unversty, Olomouc, [15] J. Mkeš, A. Vanžurova, I. Hnterletner, Geodesc Mappngs and Some Generalzatons, Palacký Unversty, Olomouc, [16] S. M. Mnčć, On curvature tensors and pseudotensors of the spaces wth non-symmetrc affne connecton, Math. Balkanca N.S., , No. 4,

11 [17] S. M. Mnčć, Independent curvature tensors and pseudotensors of spaces wth nonsymmetrc affne connexon, Colloqua Mathematca Socetats János Bolaya, , [18] S. M. Mnčć, M. S. Stankovć, On geodesc mappngs of general affne connexon spaces and of generalzed Remannan spaces, Mat. Vesn., , No. 2, [19] S. M. Mnčć, M. S. Stankovć, Equtorson geodesc mappngs of generalzed Remannan spaces, Publ. Inst. Math. Beograd N. S , [20] N. S. Snyukov, Geodesc Mappngs of Remannan Spaces n Russan, Nauka, Moscow, [21] Mća S. Stankovc, Frst type almost geodesc mappngs of general affne connecton spaces, Nov Sad J. Math. 29, No , [22] Mća S. Stankovć, On a canonc almost geodesc mappngs of the second type of affne spaces, FILOMAT 13, 1999, [23] M. S. Stankovć On a Specal Almost Geodesc Mappngs of Thrd TYpe of Affne Spaces, Nov Sad J. Math. Vol. 31, No. 2, 2001, [24] M. S. Stankovć, S. M. Mnčć, New specal geodesc mappngs of generalzed Remannan space, Publ. Inst. Math. Beograd N. S , [25] M. S. Stankovć, S. M. Mnčć, Lj. S. Velmrovć, On Holomorphcally Projectve Mappngs of Generalzed Kahleran Spaces, Matematck vesnk , [26] M. S. Stankovć, S. M. Mnčć, Lj. S. Velmrovć, On equtorson holomorphcally projectve mappngs of generalsed Kahleran spaces, Czechoslovak Mathematcal Journal, , No. 3, [27] M. S. Stankovć, Lj. S. Velmrovć, S. M. Mnčć, M. Lj. Zlatanovć, Equtorson conform mappngs of generalzed Remannan spaces, Matematck vesnk, , [28] M. S. Stankovć, M. Lj. Zlatanovć, Lj. S. Velmrovć, Equtorson holomorphcally projectve mappngs of generalzed Kahleran space of the second knd, Internatonal Electronc Journal of Geometry, Vol. 3, No , [29] N. O. Vesć, Invarants of Thrd Type Almost Geodesc Mappngs of Generalzed Remannan Space, submtted. [30] N. O. Vesć, Lj. S. Velmrovć, M. S. Stankovć, Some Invarants of Equtorson Thrd Type Almost Geodesc Mappngs, Medterranean Journal of Mathematcs, Vol. 13, , [31] H. Zhang, Y. Zhang, X-Z. L, Dynamcal spacetmes n conformal gravty, Nuclear Physcs B