The Projective Curvature of the Tangent Bundle with Natural Diagonal Metric

Similar documents
THE SECTIONAL CURVATURE OF THE TANGENT BUNDLES WITH GENERAL NATURAL LIFTED METRICS

COTANGENT BUNDLES WITH GENERAL NATURAL KÄHLER STRUCTURES

SOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM

ON THE GEOMETRY OF TANGENT BUNDLE OF A (PSEUDO-) RIEMANNIAN MANIFOLD

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

Archivum Mathematicum

Conjugate Connections with Respect to a Quadratic Endomorphism and Duality

Warped Product Bi-Slant Submanifolds of Cosymplectic Manifolds

ANA IRINA NISTOR. Dedicated to the memory of Academician Professor Mileva Prvanović

On some special vector fields

arxiv:math/ v1 [math.dg] 29 Sep 1998

Geodesic Mappings of Manifolds with Affine Connection onto the Ricci Symmetric Manifolds

Complex and real hypersurfaces of locally conformal Kähler manifolds

Jeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi

ON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD *

RICCI CURVATURE OF SUBMANIFOLDS IN SASAKIAN SPACE FORMS

PARALLEL SECOND ORDER TENSORS ON VAISMAN MANIFOLDS

Доклади на Българската академия на науките Comptes rendus de l Académie bulgare des Sciences Tome 69, No 9, 2016 GOLDEN-STATISTICAL STRUCTURES

ON THE GEOMETRY OF CONFORMAL FOLIATIONS WITH MINIMAL LEAVES

On twisted Riemannian extensions associated with Szabó metrics

BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS

4.7 The Levi-Civita connection and parallel transport

On the Existence of Isoperimetric Extremals of Rotation and the Fundamental Equations of Rotary Diffeomorphisms

Coordinate Finite Type Rotational Surfaces in Euclidean Spaces

Timelike Rotational Surfaces of Elliptic, Hyperbolic and Parabolic Types in Minkowski Space E 4 with Pointwise 1-Type Gauss Map

NEW LIFTS OF SASAKI TYPE OF THE RIEMANNIAN METRICS

On para-norden metric connections

On a linear family of affine connections

On the existence of isoperimetric extremals of rotation and the fundamental equations of rotary diffeomorphisms

H-convex Riemannian submanifolds

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

A CHARACTERIZATION OF WARPED PRODUCT PSEUDO-SLANT SUBMANIFOLDS IN NEARLY COSYMPLECTIC MANIFOLDS

A CHARACTERIZATION OF GENERALIZED QUASI-EINSTEIN MANIFOLDS

GENERALIZED QUATERNIONIC STRUCTURES ON THE TOTAL SPACE OF A COMPLEX FINSLER SPACE

Curvature-homogeneous spaces of type (1,3)

Abstract. In this study we consider ϕ conformally flat, ϕ conharmonically. 1. Preliminaries

Mircea Crasmareanu. Faculty of Mathematics, University Al. I.Cuza Iaşi, Romania

Remarks on metallic warped product manifolds

1 Introduction and preliminaries notions

On homogeneous Randers spaces with Douglas or naturally reductive metrics

Hopf hypersurfaces in nonflat complex space forms

EINSTEIN HYPERSURFACES OF THE COTANGENT BUNDLE

1 Introduction. FILOMAT (Niš) 16 (2002), GEODESIC MAPPINGS BETWEEN KÄHLERIAN SPACES. Josef Mikeš, Olga Pokorná 1 and Galina Starko

A Geometric Characterization of Homogeneous Production Models in Economics

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

The parallelism of shape operator related to the generalized Tanaka-Webster connection on real hypersurfaces in complex two-plane Grassmannians

Real Hypersurfaces with Pseudo-parallel Normal Jacobi Operator in Complex Two-Plane Grassmannians

SOME INDEFINITE METRICS AND COVARIANT DERIVATIVES OF THEIR CURVATURE TENSORS

ON SEMI-INVARIANT SUBMANIFOLDS OF A NEARLY KENMOTSU MANIFOLD WITH THE CANONICAL SEMI-SYMMETRIC SEMI-METRIC CONNECTION. Mobin Ahmad. 1.

CHAPTER 1 PRELIMINARIES

Surfaces with Parallel Mean Curvature in S 3 R and H 3 R

Research works of Romanian mathematicians on Centro-Affine Geometry

arxiv: v3 [math.dg] 13 Mar 2011

arxiv: v1 [math.dg] 1 Jul 2014

ON SOME INVARIANT SUBMANIFOLDS IN A RIEMANNIAN MANIFOLD WITH GOLDEN STRUCTURE

ALMOST COMPLEX PROJECTIVE STRUCTURES AND THEIR MORPHISMS

7 Curvature of a connection

Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18

Parallel and Killing Spinors on Spin c Manifolds. 1 Introduction. Andrei Moroianu 1

Contact pairs (bicontact manifolds)

5 Constructions of connections

1. Introduction In the same way like the Ricci solitons generate self-similar solutions to Ricci flow

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

arxiv: v1 [math.dg] 4 Sep 2013 MANCHO MANEV

On Riemannian geometry of orthonormal frame bundles

Killing Magnetic Curves in Three Dimensional Isotropic Space

Published as: J. Geom. Phys. 10 (1993)

ON A GENERALIZED CLASS OF RECURRENT MANIFOLDS. Absos Ali Shaikh and Ananta Patra

arxiv: v2 [math.dg] 3 Sep 2014

LINEAR CONNECTIONS ON NORMAL ALMOST CONTACT MANIFOLDS WITH NORDEN METRIC 1

GENERALIZED WINTGEN INEQUALITY FOR BI-SLANT SUBMANIFOLDS IN LOCALLY CONFORMAL KAEHLER SPACE FORMS

Holonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012

Bulletin T.CXLI de l Académie serbe des sciences et des arts 2010 Classe des Sciences mathématiques et naturelles Sciences mathématiques, No 35

Gravity theory on Poisson manifold with R-flux

arxiv: v1 [math.dg] 19 Apr 2016

Dirac Structures on Banach Lie Algebroids

Spacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds

Distributions of Codimension 2 in Kenmotsu Geometry

1 First and second variational formulas for area

IOSR Journal of Engineering (IOSRJEN) ISSN (e): , ISSN (p): Vol. 04, Issue 09 (September. 2014), V4 PP 32-37

1. Geometry of the unit tangent bundle

GENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE. 1. Introduction

A brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström

On infinitesimal holomorphically projective transformations on the tangent bundles with respect to the Sasaki metric

ON LIFTS OF SOME PROJECTABLE VECTOR FIELDS ASSOCIATED TO A PRODUCT PRESERVING GAUGE BUNDLE FUNCTOR ON VECTOR BUNDLES

The Schouten-van Kampen affine connections adapted to almost (para)contact metric structures (the work in progress) Zbigniew Olszak

Overview and Comparative Analysis of the Properties of the Hodge-De Rham and Tachibana Operators

class # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS

Pseudoparallel Submanifolds of Kenmotsu Manifolds

arxiv:math/ v2 [math.dg] 25 May 2007

WICK ROTATIONS AND HOLOMORPHIC RIEMANNIAN GEOMETRY

A Characterization of Einstein Manifolds

Homogeneous Lorentzian structures on the generalized Heisenberg group

Meridian Surfaces on Rotational Hypersurfaces with Lightlike Axis in E 4 2

CR-submanifolds of Kaehlerian product manifolds

Legendre surfaces whose mean curvature vectors are eigenvectors of the Laplace operator

5.2 The Levi-Civita Connection on Surfaces. 1 Parallel transport of vector fields on a surface M

1-TYPE AND BIHARMONIC FRENET CURVES IN LORENTZIAN 3-SPACE *

Classification results and new examples of proper biharmonic submanifolds in spheres

Some Properties of a Semi-symmetric Non-metric Connection on a Sasakian Manifold

Transcription:

Filomat 9:3 (015) 401 410 DOI 10.98/FIL1503401B Published by Faculty of Sciences and Mathematics University of Niš Serbia Available at: http://www.pmf.ni.ac.rs/filomat The Projective Curvature of the Tangent Bundle with Natural Diagonal Metric Cornelia-Livia Bejan a Simona-Luiza Druţă-Romaniuc a Dedicated to Academician Professor Mileva Prvanovic on her birthday a Universitatea Tehnică Gheorghe Asachi din Iaşi Postal address: Seminarul Matematic Universitatea Alexandru Ioan Cuza din Iaşi Bd. Carol I No. 1 700506 Iaşi ROMANIA Abstract. Our study is mainly devoted to a natural diagonal metric G on the total space TM of the tangent bundle of a Riemannian manifold (M ). We provide the necessary and sufficient conditions under which (TM G) is a space form or equivalently (TM G) is projectively Euclidean. Moreover we classify the natural diagonal metrics G for which (TM G) is horizontally projectively flat (resp. vertically projectively flat). 1. Introduction The natural lifts on the total space of the tangent bundle of a (pseudo-)riemannian manifold introduced in [10] were intensively studied in the last decades e.g. in [1]-[11] [16]-[0] [7]. A general natural metric on the total space TM of the tangent bundle of a Riemannian manifold (M ) is obtained in [16] by lifting the metric to TM using six coefficients which are smooth functions of the energy density t on TM. With respect to a metric of this kind the horizontal and vertical distributions of the tangent bundle to TM are not orthogonal to each other. If the two coefficients involved in the mixed component of the metric vanish then the metric becomes a natural diagonal metric i.e. a metric with respect to which the horizontal and vertical distributions are orthogonal. In [5] it was shown that TM endowed with a general natural metric is a space form if and only if the base manifold is flat and the metric depends on a real constant and two smooth functions of t. In the present paper we prove that TM endowed with a natural diagonal metric G has constant sectional curvature if and only if the base manifold is flat and the metric has a certain expression involving a constant two smooth functions of t and their derivatives. Moreover it follows that TM is flat. We recall that two linear connections having the same system of geodesics are obtained one from another by a projective transformation (see [8]) generalized by the notion of geodesic mapping (see [13] [14] [4] [5] and the references therein). The projective curvature tensor field obtained by Weyl is an invariant of any projective transformation on a real manifold. Other invariants of Weyl type namely the holomorphically-projective (H projective) curvature tensor fields in the context of the Kähler manifolds and resp. para-kähler manifolds were studied e.g. in [9] [3] and resp. in [1] []. The notion of 010 Mathematics Subject Classification. Primary 53C55 53C15 53C05. Keywords. tangent bundle Riemannian metric natural diagonal lift sectional curvature projective curvature. Received: 16 July 014; Accepted: 15 August 014 Communicated by Ljubica Velimirović and Mića Stanković Email addresses: bejanliv@yahoo.com (Cornelia-Livia Bejan) simonadruta@yahoo.com (Simona-Luiza Druţă-Romaniuc)

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 40 holomorphically-projective transformation was generalized by that of holomorphically projective mapping (see e.g. in [13] and the references therein). Moreover in the almost contact case the C projective transformations (which preserve the C flat paths of an adapted connection without torsion) led to the notion of C projective curvature tensor filed which is an invariant of any C projective transformation (see [1] [16]). It is known that a connected (pseudo-)riemannian manifold of dimension grater than 3 is a space form if and only if it is projectively Euclidean (see [3]). We prove that there exist two classes of natural diagonal metrics G such that (TM G) is horizontally projectively flat. Moreover we classify the natural diagonal metrics G such that (TM G) is vertically projectively Euclidean.. The sectional curvature of the tangent bundle with natural diagonal metric On a Riemannian manifold (M ) denote by be the Levi-Civita connection of by π : TM M the tangent bundle of M and by (x 1... x n ) (resp. (x 1... x n y 1... y n )) the local coordinates on M (resp. on TM). The horizontal (resp. vertical) lift of a vector field X = X i Γ(TM) to TM has the expression X H = X i x i x i (resp. X V = X i ) where Γ h y i ki (x) are the coefficients of and x i Consider a natural diagonal metric G on TM given by: G(X H y Y H y ) = c 1 π(y) (X Y) + d 1 π(y) (X y) π(y) (Y y) G(X V y Y V y ) = c π(y) (X Y) + d π(y) (X y) π(y) (Y y) G(X V y Y H y ) = 0 = Γ h x i ki yk i = 1 n. y h for all X Y Γ(TM) y TM where c 1 c d 1 d are smooth functions depending on the energy density t of y defined as (1) t = 1 π(y)(y y). () The metric G is positive definite provided that c 1 c > 0 c 1 + td 1 c + td > 0. The matrix of the metric G w.r.t the local adapted frame { } x i y j ij=1n is ) G (1) ij 0 0 G () ij having the inverse H ij 0 (1) 0 H ij () = ( c1 ij + d 1 0i 0j 0 0 c ij + d 0i 0j = 1 c 1 ( ij d 1 c 1 +td 1 )y i y j 0 0 1 c ( ij d c +d t )yi y j (3). (4) From [19 Theorem 3.1] by imposing the vanishing of the mixed component of the metric and by using the expressions of the blocks G (α) (resp. H ij ) α = 1 from (3) (resp. (4)) we obtain the following: ij (α) Proposition.1. The Levi-Civita connection of G has the following expression in the local adapted frame { y i x }ij=1n : j = Q h y i y j ij y h = Γ h + P h x i y j ij y h ji x h = P h x j ij x h = Γ h + S h x i x j ij x h ij y h y i

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 403 where Γ h ij are the Christoffel symbols of and the coefficients involved in the above expressions are given as Q h ij = 1 ( ig () jk + jg () ik kg () )H kh ij () P h ij = 1 ( ig (1) jk + Rl 0jk G() li )H kh S h ij = 1 ( kg () ij (1) + R l 0ij G() lk )Hkh () where R h kij are the components of the curvature tensor field of the Levi Civita connection of the base manifold (M ) and i denotes the derivative w.r.t. the tangential coordinates y i. The curvature tensor field K of the connection defined by the well known formula K(X Y)Z = X Y Z Y X Z [XY] Z has the following components w.r.t. { } x i y j ij=1n : X Y Z Γ(TM) K ( ) = (P h x i x j x k li Sl jk Ph lj Sl ik + Rl 0ij Ph lk + Rh kij ) x h K ( x i x j ) y k = (P l kj Sh il Pl ki Sh jl + Rl 0ij Qh lk + Rh kij ) y h K ( ) = ( y i y j x k i P h jk jp h ik + Pl jk Ph il Pl ik Ph jl ) x h K ( ) = ( y i y j y k i Q h jk jq h ik + Ql jk Qh il Ql ik Qh jl ) y h K ( y i x j ) x k = ( i S h jk + Sl jk Qh il Pl ik Sh jl j R r 0ik G() H (1) rl hl ) y h K ( y i x j ) y k = ( i P h kj + Pl kj Ph il Ql ik Ph lj ) x h. (5) In the local adapted frame { x i y j } ij=1n the curvature tensor field K 0 of a Riemannian manifold (TM G) of constant sectional curvature k given by: K 0 (X Y)Z = k[g(y Z)X G(X Z)Y] has the components: ( K 0 x ) i x j x = k[ G (1) G (1) ] ( k jk x i ik K0 x j x ) i x j y = 0 k ( K 0 y ) i y j x = 0 K ( k 0 y ) i y j y = k[ G () k jk G () y i ik ( K 0 y ) i x j x = k kg(1) jk y K ( i 0 y ) i x j y = k kg() ik x. j ] y j Studying the conditions under which the difference K K 0 vanishes we prove the following results. Proposition.. Let (M ) be a Riemannian manifold. If the tangent bundle TM endowed with a natural diagonal metric G is a space form then the base manifold is flat. Proof: Since (K K 0 ) ( ) must vanish for every y TM it follows that it vanishes for y = 0 too case x i x j y k when it reduces to R h. The curvature of the base manifold do not depend on the tangent vector y hence kij = 0 i.e. the base manifold is flat. R h kij Theorem.3. Let TM be the total space of the tangent bundle of a Riemannian manifold (M ) endowed with a natural diagonal metric G. Then (TM G) is a space form if and only if the base manifold is flat and the metric G is given by (1) provided that c 1 is a real constant d 1 = 0 and d = c ( 1 + t c c ). Moreover (TM G) cannot have nonzero constant sectional curvature.

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 404 Proof: If (TM G) is a space form it follows from Proposition. that the base manifold (M ) is flat. On the other hand all the components of the difference between the curvature tensors K and K 0 must vanish. By imposing R h = 0 we obtain kij (K K 0 ) ( ) d = 1 t x i x j y k c (c 1 +td 1 ) ( ik h j jk h i )+ + d 1(c 1 d 1 c 1 d 1t+c 1 d 1 t) 4c 1 c (c 1 +td 1 ) ( h j 0i h i 0j) 0k + + c 1c d 1 c 1 c d 1 t+c 1c d 1 d 1 t c 1d 1 d t 4c 1 c (c 1 +td 1 ) ( ik 0j jk 0i )y h. By applying [19 Lemma 3.] it follows that the above expression vanishes if and only if all its coefficients vanish i.e. if and only if d 1 = 0. Then the component K K 0 corresponding to all horizontal arguments becomes (K K 0 ) ( x ) i x j x = [ c 1 t k c 1 (c + td ) + kc ] 1 ( ik h j jk h i ) and from its vanishing condition it follows that c 1 k = t c 1 (c + d t). (6) Replacing the obtained value of k into the expression of (K K 0 ) ( y i x j ) x k this component takes the form (K K 0 ) ( y i x j ) x k = c 1 c 1 (c 1 c + c 1 c t + c 1 c t) jk h i α jk 0i y h (7) where α is a rational function depending on c 1 c their first two order derivatives and the energy density t. Since all the terms of α contain c or c 1 1 the expression (7) is zero if and only if c 1 is a real constant. Then after replacing k from (6) the component of K K 0 corresponding to all vertical arguments becomes (K K 0 ) ( y ) i y j y = c (c + c t) c d ( k ik h j c (c + td ) jk h i )+ +β( 0j h i 0i h j ) 0k + γ( ik 0j jk 0i )y h where β γ are two rational functions depending on c 1 c c c d d and the energy density t. The above expression is zero if and only if d = c + c t c (8) and then all the components of the difference K K 0 vanish hence the proof is completed. 3. The projective curvature of (TM G) On a differentiable manifold the projective curvature tensor field associated to a linear connection is invariant under a projective transformation of i.e. a transformation which preserves the geodesics (see [3]). In the particular situation of a connected (pseudo-)riemannian manifold of dimension n 3 the manifold has constant sectional curvature if and only if it is projectively flat.

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 405 Definition 3.1. On an n-dimensional differentiable manifold M the projective curvature tensor field associated to a linear connection is a (1 3) tensor field P defined by: P(X Y)Z = R(X Y)Z L(Y Z)X + L(X Z)Y + [L(X Y) L(Y X)]Z X Y Z Γ(TM) where R and Ric are respectively the curvature tensor field and the Ricci tensor field of and L is the Brinkman tensor field given by: L(X Y) = 1 [Ric(X Y) + nric(y X)] X Y Γ(TM). n 1 Since the Ricci tensor associated to the Levi-Civita connection is symmetric it follows that the projective curvature tensor field associated to the Levi-Civita connection has the expression: P(X Y)Z = R(X Y)Z + 1 [Ric(X Z)Y Ric(Y Z)X] X Y Z Γ(TM). (9) n 1 Remark: Let (M ) be a Riemannian manifold and TM the total space of its tangent bundle endowed with a natural diagonal metric G. Then (TM G) is a space form if and only if it is projectively flat w.r.t. the projective curvature tensor field associated to the Levi-Civita connection of G. Definition 3.. The Riemannian manifold (TM G) is called horizontally (resp. vertically) projectively flat if the projective curvature tensor field associated to the Levi-Civita connection of G vanishes on the horizontal (resp. vertical) distribution of TTM. By using Theorem.3 and the expression (9) of the projective curvature tensor field we prove the following results. Theorem 3.3. Let (M ) be a Riemannian space form. The total space TM of the tangent bundle of M endowed with a natural diagonal metric G is horizontally projectively flat if and only if the base manifold is flat and G is given by (1) provided that its coefficients satisfy one of the following cases: Case I) c 1 is an arbitrary real constant d 1 = 0 c and d are two arbitrary smooth functions of the energy density; Case II) On the nonzero tangent bundle of (M ) c = c 0 t d 1 = 0 d = c 1c 1 k c 1 kt + c 1c kt c 1 1 d t 3 + 4c 1 c 1 d t 3 c 1 c 1 t3 and c 1 is an arbitrary smooth function of the energy density. Proof: On (TM G) consider the projective tensor field P associated to the Levi-Civita connection. The component of P corresponding to all horizontal arguments is given by: P ( x ) i x j x = K( k x ) i x j x + 1 [ ( Ric k n 1 x ) Ric ( i x k x j x ) ] j x k x i where K is the curvature tensor field of and Ric is the corresponding Ricci tensor obtained by the contraction of the components of K as follows: Ric ( x i x k ) = K h ihk + K h i hk i j k h h = 1 n where the indices i j k h correspond to the horizontal arguments and h to the vertical argument. Now we study the conditions under which (TM G) is horizontally projectively flat i.e. P ( x i x j ) x k vanishes. By replacing into (9) the component K ( ) and the components of the curvature involved in the x i x j x k expression of the Ricci tensor we obtain the following expression: P ( x i x j ) x k = (A 1 + B 1 n)( jk h i ik h j )+ +(A + B n)( h j 0i h i 0j) 0k + A 3 ( ik 0j jk 0i )y h

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 406 where A α α = 1 3 B α α = 1 are some quite long functions depending on the coefficients of the metric G their first two order derivatives the constant sectional curvature c of the base manifold and the energy density t of y TM. According to [19 Lemma 3.] the above expression vanishes if and only if A α n + B α = 0 α = 1 3. Moreover since we study the conditions of vanishing of the expression of P ( ) for the tangent x i x j x k bundle of a Riemannian manifold of arbitrary dimension n it follows that A α n + B α = 0 α = 1 3 for every n > 1 i.e. if and only if A α = B α = 0 α = 1 3. The numerator of the coefficient B 1 has the form c 1 c 1 (c + c t)(c 1 + td 1 )(c + td ) and therefore the condition B 1 = 0 yields two cases: Case I when the function c 1 is a real constant and Case II when c = c 0 t where c 0 R. We mention that the second case holds good only on the nonzero section of the tangent bundle. In Case I the conditions of vanishing of A 1 B and A 3 lead to the following system of equations: c 1 d 1 + c c t + d 1 t = 0 (c 1 + td 1 )(c + td )(c c 3 cc d 1 c 1 c d 1 + c d 1 c 1c d 1 + +4c 1 d 1 d c 1 c d 1 t + c c d t 4cc d 1 d t + d 1 d (10) t) = 0 3c c + cc d 1 d 1 = 0. If the curvature of the base manifold is c 0 it follows that (10) has the solution d 1 = 9c 1 10t c = 3c 1 10ct d = 7c 1 + 450cc 1c t + 150c 1 d 1 t 500cc d 1 t4 70cc 1 t. By replacing the above values and c 1 = 0 into the expression of P( x i x j ) x k this reduces to P ( x i x j ) x k = 6c 5t (h j 0i h i 0j) 0k which is nonzero since c 0. If the base manifold is flat we obtain that A 1 A 3 B vanish simultaneously if and only if: d 1 (c 1 + td 1 t) = 0 d 1 = 0 c 1 c d 1 + c d 1 c 1c d 1 + 4c 1d 1 d c 1 c d 1 t + d 1 d t = 0 i.e. d 1 = 0. In Case II the numerator of B is (c 1 + d 1 t)(c c 0 + c 1d 1 t cd 1 c 0 t + d 1 t )(c 0 + d t ). If d 1 = 0 it follows that B = 0 is equivalent to the flatness of the base manifold: c = 0 and then the condition of vanishing of P ( ) becomes x i x j x k c 1 c 0 t(c 1 c c 1 0 tc c 1 0 + tc 1 c c 1 0 t 3 c d 1 + 4t 3 c 1 c d 1 t 3 c 1 c 1 d ) c c ( 1 0(c 0 + t d ) jk h i jk h i (n 1) ) = 0. Since in Case II the coefficient c 1 is non-constant the above relation is equivalent to d = c 1c 1 c 0 c 1 c 0t + c 1 c 1 c 0t c 1 d t 3 + 4c 1 c 1 d t 3 c 1 c 1 t3. If d 1 0 then the numerator of B is zero if and only if (c 1 + d 1 t)(c c 0 + c 1d 1 t cd 1 c 0 t + d 1 t )(c 0 + d t ) = 0

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 407 i.e. if and only if c 1 = c c 0 + cc 0td 1 t d 1 td 1 which yields the following expression of the numerator of A 3 : 5cd 1 c 0 td3 1 c 0 + 4tcc 0 d 1d 1 + 6t cc 0 d 1 d + t cc 0 d 1 t3 d 3 1 d. In this case we have that A 3 = 0 is equivalent to d = 5cc 0 d 1 tc 0d 3 1 + 4tcc 0 d 1d 1 + t cc 0 d 1 t d 1 ( 3cc. (11) 0 + td 1 ) After replacing (11) the condition of vanishing of the numerator of A becomes: d 1 (19c 3 c 3 0 1tc d 1 c 0 9t cd 1 c 0 + 6t 3 d 3 1 ) = 0. Solving the above equation w.r.t. d 1 we obtain that its only one real solution is of the form: d 1 = cc [ 0 1 t + 11 3 1/3 (6 (16 3 69) 1/3 ] +. (1) 3 69) 1/3 3 /3 The expression c + td vanishes when c is replaced by c 0 t d by its value from (11) and d 1 from (1). Hence the subcase d 1 0 is not a valid subcase of Case II and then in Case II the coefficients of the metric have the expressions mentioned in the statement. Theorem 3.4. Let TM be the total space of the tangent bundle of a Riemannian space form (M ) and let G be a natural diagonal metric on TM. Then (TM G) is vertically projectively flat if and only if one of the following cases hold good: Case I.1) The base manifold is flat and the coefficients of G satisfy the following conditions: c 1 is a real constant d 1 = 0 c is an arbitrary smooth real function of the energy density t and d = 3c c + c c + 4c d 4c d t + 4c c d t c (c + c t). Case I.) c 1 = ) cc (c +td ) c +tc d 1 = cc d = c ( c 1 + t c and c is an arbitrary smooth real function of the energy density t. Case I.3) On the nonzero section of TM c 1 = tcc d 1 = cc and d = 3c 1c 6tcc3 +4tc 1c c 4t cc c +t c 1 c t3 cc c where c = 1 t (k 1 + e t k ) with k 1 and k two arbitrary real constants. tc ( c 1 +4tcc ) Case II) c 1 = (cc d 1 )t d 1 d 1 = c c d = c + c c and c is an arbitrary smooth real function of the energy density t. t Proof: On the vertical distribution of TTM the component of the projective curvature tensor corresponding to the Levi-Civita connection of G is: P ( y ) i y j y = K( k y ) i y j y + 1 [ ( Ric k n 1 y i y k ) x j Ric ( y j y k ) y i ] where K is the curvature tensor field of and Ric is the corresponding Ricci tensor whose component on the vertical distribution is given as: Ric ( y i y k ) = K h īhk + K h ī hk i k h ī k h = 1 n where the indices i k h correspond to the horizontal arguments and ī k h to the vertical arguments.

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 408 Let (TM G) be vertically projectively flat i.e. P ( y i y j ) y k = 0 i j k = 1 n. By similar computations to those in the proof of Theorem 3.3 we obtain: P ( y i y j ) y k = (Ā 1 + B 1 n)( jk h i ik h j )+ +(Ā + B n)( h j 0i h i 0j) 0k + Ā 3 ( jk 0i ik 0j )y h] where Ā α α = 1 3 B α α = 1 are some quite long functions depending on the coefficients of the metric G their first two order derivatives the constant sectional curvature c of the base manifold and the energy density t of y TM. In the same way as in the previous proof we have that P ( ) = 0 i j k = 1 n if and only if y i y j y k Ā α = B α = 0 α = 1 3. After the computations the numerator of the coefficient B 1 has the form: c (cc + d 1 )(c 1 cc t + d 1 t)(c 1 + d 1 t)(c + d t). The condition of vanishing of the above expression lead to the following cases: Case I) d 1 = cc and Case II) c 1 = (cc d 1 )t. In both cases we have that Ā 3 = 0 if and only if 3c c c c 4c d + c d + 4c d t 4c c d t + c c d t = 0. Notice that c + c t 0 since c = c 0 t with c 0 an arbitrary real constant would lead to Ā 3 = 1 0. 4t Hence Ā 3 vanishes if and only if d = 3c c + c c + 4c d 4c d t + 4c c d t c (c + c t). (13) In the sequel we shall study the two cases separately. Case I) d 1 = cc implies that Ā 1 = 0 if and only if c 1 c cc + c 1 c t 4cc d t = 0 which is equivalent to c 1 = (cc + cc d t) c + c t. (14) Replacing the above value of c 1 into the expression of P( y i y j ) y k i j k = 1 n this becomes of the form P ( y i y j ) y k = c(c c c d +c t) c (c 1 cc t) (c +c t) (n 1) ( 3c 1c + 6cc3 t 4c 1c c t c 1 c d t + 4cc c t c 1 c t + 8cc d t + cc c t3 )( h j 0i h i 0j) and it vanishes if and only if one of the following subcases holds good: Case I.1) c = 0 leads to c 1 = 0 d 1 = 0 and the expression of d remains (13). On the nonzero section of the tangent bundle we have also other two subcases. Case I.) d = c (1 + c c t) c 1 has the expression (14) and d 1 = cc. Case I.3) d = 3c 1c 6tcc3 +4tc 1c c 4t cc c +t c 1 c t3 cc c tc ( c 1 +4tcc ) and then the value of d is the one given by the relation (13) if and only if 3(c + c t)3 (c 3 1 6cc 1 c t + 14c c 1 c t 1c 3 c 3 t3 ) c t ( c 1 + 4cc t) 3 = 0.

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 409 Since we proved that c + c 0 it follows that the above relation is equivalent to the equation c 3 1 6cc 1 c t + 14c c 1 c t 1c 3 c 3 t3 = 0 which solved w.r.t. c 1 has only one real solution: c 1 = cc t. By imposing the condition (14) we obtain c(c c + c t c t) = 0. (15) The subcase when c = 0 leads to Case I.1) which was already treated. If c 0 (15) is equivalent to the second order differential equation: c = c c + c t t which has the solution c = 1 t (k 1 + k e t ) k 1 k R. Case II) c 1 = (cc d 1 )t yields B = (cc + d 1 ) (c d 1 c d 1)(c + c t)(c + d t). Since c + c t 0 and the case d 1 = cc was studied at Case I.) the condition of vanishing of B is d 1 = c c d 1. (16) Replacing the value of d 1 from (16) into Ā 1 the relation Ā 1 = 0 becomes c c c d + c t = 0. Hence (TM G) is vertically projectively flat if and only if the coefficients of the metric G satisfy one of the cases in the above theorem. References [1] M. Abbassi M. Sarih On Some Hereditary Properties of Riemannian g-natural Metrics on Tangent Bundles of Riemannian Manifolds Diff. Geom. And its Appl.. (005) 19 47. [] C. L. Bejan S. L. Druţă-Romaniuc Connections which are harmonic with respect to general natural metrics Diff. Geom. Appl. 30 (01) 4 306 317. [3] C. L. Bejan S. L. Druţă-Romaniuc Harmonic almost complex structures with respect to general natural metrics Mediterr. J. Math. 11 (014) 1 13 136. [4] C. Bejan V. Oproiu Tangent bundles of quasi-constant holomorphic sectional curvatures Balkan J. Geom. Applic. 11 (006) 11. [5] S. Druţă The sectional curvature of tangent bundles with general natural lifted metrics Geometry Integrability and Quantization June 8-13 007 Varna Bulgaria Edited by I. Mladenov Sofia 008 198 09. [6] J. Janyška Natural symplectic structures on the tangent bundle of a space-time Rendiconti del Circolo Matematico di Palermo Serie II Suppl. 43 (1996) 153 16. [7] J. Janyška Natural vector fields and -vector fields on the tangent bundle of a pseudo-riemannan manifold Archivum Mathematicum (Brno) 37 (001) 143 160. [8] I. Kolář Natural operations on higher order tangent bundles Extracta Matematica 11 (1996) 106-115. [9] I. Kolář P. Michor J. Slovak Natural Operations in Differential Geometry Springer Verlag Berlin vi 434 (1993). [10] O. Kowalski M. Sekizawa M. Natural Transformations of Riemannian Metrics on Manifolds to Metrics on Tangent Bundles - a Classification Bull. Tokyo Gakugei Univ. (4) 40 (1988) 1 9. [11] D. Krupka J. Janyška Lectures on Differential Invariants Folia Fac. Sci. Nat. Univ. Purkinianae Brunensis 1990. [1] P. Matzeu V. Oproiu C -projective curvature of normal almost-contact manifolds Rend. Sem. Mat. Univ. Politec. Torino 45 (1987) 41-58.

C.L. Bejan S.L. Druta-Romaniuc / Filomat 9:3 (015) 401 410 410 [13] J. Mikeš A. Vanžurová I. Hinterleitner Geodesic mappings and some generalizations Olomuc 009. [14] S. M. Minčić M. S. Stanković M. S. On geodesic mappings of general afine connection spaces and of generalized Riemannian spaces Mat. Vesnik 49 1 (1997) 7 33. [15] M. Munteanu Old and New Structures on the Tangent Bundle Proceedings of the Eighth International Conference on Geometry Integrability and Quantization June 9-14 006 Varna Bulgaria Ed. I. M. Mladenov and M. de Leon Sofia 007 64 78. [16] V. Oproiu A Generalization of Natural Almost Hermitian Structures on the Tangent Bundles Math. J. Toyama Univ. (1999) 1 14. [17] V. Oproiu Some New Geometric Structures on the Tangent Bundles Publ. Math. Debrecen 55/3-4 (1999) 61 81. [18] V. Oproiu The C -projective curvature of some real hypersurfaces in complex space forms An. Ştiint. Univ. Al. I. Cuza Iaşi Secţ. I a Mat. (N.S.) 36 (1990) no. 4 385-391. [19] V. Oproiu V. S. Druţă General Natural Kähler Structures of Constant Holomorphic Sectional Curvature on Tangent Bundles An.St.Univ. Al.I.Cuza Iasi (S. N.) Matematica Tom LIII 007 f.1 149 166. [0] V. Oproiu V. N. Papaghiuc Some Classes of Almost Anti-Hermitian Structures on the Tangent Bundle Mediterranean Journal of Mathematics 1 (3) (004) 69 8. [1] M. Prvanovic Holomorphically projective transformations in a locally product spaces Math. Balkanica 1 (1971) 195 13. [] M. Prvanovic Hollomorphically projective curvature tensors Kragujevac J. Math. 8 (005) 97 111. [3] D. Smaranda On projective transformations of symmetric connections with a recurrent projective tensor field Proceedings of the National Colloquium on Geometry and Topology (Busteni 1981) 33-39 Univ. Bucureşti Bucharest 1983. [4] M. S. Stanković S. M. Minčić New special geodesic mappings of affine connection spaces Filomat 14 (000) 19 31. [5] M. S. Stanković S. M. Minčić Lj. S. Velimirović On holomorphically projective mappings of generalized Kählerian spaces Mat. Vesnik 54 (00) 3-4 195 0. [6] M. S. Stanković S. M. Minčić Lj. S. Velimirović On equitorsion holomorphically projective mappings of generalised Kählerian spaces Czech. Math. J. 54(19) (004) 701 715. [7] M. Tahara L. Vanhecke Y. Watanabe New Structures on Tangent Bundles Note di Matematica (Lecce) 18 (1998) 131 141. [8] N. Tanaka Projective connections and projective transformations Nagoya Mathematical Journal 1 (1957) 1 4. [9] K. YanoDifferential geometry on complex and almost complex spaces (Pergamon Press 1965) 55 67. [30] K. Yano S. Ishihara Tangent and Cotangent Bundles M. Dekker Inc. New York 1973.