arxiv: v2 [math.dg] 18 Jul 2015

Transcription

1 COMPLETE LIFT OF VECTOR FIELDS AND SPRAYS TO T M A. SURI AND S. RASTEGARZADEH arxiv: v2 [math.dg] 18 Jul 2015 Abstract. In this paper for a given Banach, possibly infinite dimensional, manifold M we focus on the geometry of its iterated tangent bundle T r M, r N { }. First we endow T r M with a canonical atlas using that of M. Then the concepts of vertical and complete lifts for functions and vector fields on T r M are defined which they will play a pivotal role in our next studies i.e. complete lift of semi)sprays. Afterward we supply T M with a generalized Fréchet manifold structure and we will show that any vector field or semi)spray on M, can be lifted to a vector field or semi)spray on T M. Then, despite of the natural difficulties with non-banach modeled manifolds, we will discuss about the ordinary differential equations on T M including integral curves, flows and geodesics. Finally, as an example, we apply our results to the infinite dimensional case of manifold of closed curves. Keywords: Vertical and complete lift, semispray, spray, geodesic,, Fréchet manifolds, Banach manifold, Manifold of closed curves. Contents Introduction 1 1. Preliminaries 2 2. Complete and vertical lifts Vertical and complete lifts of functions and vector fields Semisprays and their lifts 5 3. Complete lift of vector fields and sprays to T M Flow of X c Lift of semisprays to T M Lift of sprays to T M Applications and examples 14 References 15 Introduction Lift of the geometric objects to tangent bundles had witnessed a wide interest due to the works of Miron [15], Bucataru and Dahl [5], Morimoto [16], Yano, Kobayashi and Ishihara [23, 24] and Suri [20, 21]. On the other hand, one of the most important generalizations of ordinary differential equations to manifolds is the class of second order differential. Date: Mathematical Subject Classification. Primary 58A05 ; 58B20 ; Secondary 70G45 1

2 2 A. SURI AND S. RASTEGARZADEH equations SODEs) or semi)sprays. A semispray on M is a vector filed S on TM such that, if π : TM M denotes the canonical projection of TM on M, then π S = id M and the homogeneity requirement of order 2, leads us to the concept of sprays [5, 13]. In fact semisprays and sprays provide a geometric structure to study the curves on the manifold M which solve special systems of SODEs with remarkable geometric meanings [5, 7, 13]. Moreover, the setting of semisprays provides a unified framework for studying geodesics in Riemann, Finsler and Lagrange geometries See [13], [6] and the references therein.) However, most of these materials are proved for the finite dimensional case and there are a few researcher which they follow the formalism of Abraham etc. [2], Lang [13], Hamilton [11] or Kriegel and Michor [14]. In this paper, for a Banach modeled manifold M, first we endow the iterated tangent bundle T r M, r N, with a canonical atlas using that of M. Then following the direction of [5], the concepts of vertical and complete lifts for functions and vector fields on T r M are defined which they will play a pivotal role in our next studies i.e. complete lifts of semisprays and sprays. Afterward, using the algebraic tool projective limit, which is compatible with our geometric setting, we will try to lift vector fields, semisprays and sprays to T M. More precisely we show that the iterated lifts of vector field or semispray) form a projective system and their limits satisfy the appropriate conditions for vector fields or semisprays) on the Fréchet manifold T M. Despite of a lack of general solvability and uniqueness theorem for ordinary differential equations for non-banach modeled Fréchet manifolds [11], we will prove an existence theorem for the flow of lifted vector fields on T M. As a consequence we show that for the given initial values, there exists a unique geodesic with respect to the lifted semi)sprays on T M with non-trivial lifetime. However, our attempt to define the lift of functions and forms) from the base manifold M to T M fails. In fact the sequence of iterated complete and vertical) lifts of functions, does not satisfy the appropriate conditions for projective limits of map see remark 3.9). Apart from the manifold structure of T M, we can define complete and vertical lifts of functions, vector fields, semisprays and sprays form T M to TT M similar to that in section 2. One of the main goals of this article is to build a class of concrete example in Fréchet geometry for which we can find geodesics and flows) with nontrivial lifetime see also remark 3.14). Finally, as an advantage of working with infinite dimensional Banach manifolds, we will apply our results to the Banach manifolds of closed curves. Through this paper all the maps and manifolds are assumed to be smooth and the base manifold M is partitionable. 1. Preliminaries Let M be a smooth manifold modeled on the Banach space E and π 0 : TM M be its tangent bundle. We remind that TM = x M T xm such that T x M consists of all equivalent classes of the form [c,x] where c C x = {c : ǫ,ǫ) M; ǫ > 0, c is smooth and c0) = x},

3 under the equivalence relation Complete lift of vector fields and sprays to T M 3 c 1 x c 2 c 1 0) = c 2 0) for c 1, c 2 C x. The projection map π 0 : TM M, maps [c,x] onto x. If A 0 = {φ α0 := φ α,u α0 := U α ); α I} is an atlas for M, then we have the canonical atlas A 1 = { φ α1 := Dφ α0,u α1 := π0 1 U α) ) ; α I} for TM where φ α1 : π 1 0 U α 0 ) U α0 E [c,x] φ α0 c)0),φ α0 c) 0)). Inductively one can define an atlas for T r M := TT r 1 M), r N, by A r := { φ αr := Dφ αr 1,U αr := π 1 r 1 U α r 1 ) ) ; α I} for which π r 1 : T r M T r 1 M is the natural projection. The model spaces for TM and T r M are E 1 := E 2 and E r := E 2r respectively. We add here to the convention that T 0 M = M. 2. Complete and vertical lifts The vertical and complete lift of geometric objects has been studied by many authors see e.g [23], [24], [5], [6] and the references therein). For a comprehensive treatment in the finite dimensional case and for references to the extensive literature on the subject one may refer to the paper [5] by Bucataru and Dahl. In this section we introduce the concepts of vertical and complete lifts of functions and vector fields from T r M, r N {0}, to T r+1 M for the Banach manifold M. Set κ 1 := id TM and for r 2 consider the canonical involution κ r : T r M T r M which satisfies t s γt,s) = κ r s t γt,s), for any smooth map γ : ǫ,ǫ) 2 T r 2 M. If we consider T r 2 M as a smooth manifold modeled on E r 2, then the charts of T r 1 M, T r M and T r+1 M take their values in E r 1 = E 2 r 2, E r = E 4 r 2 and E r+1 = E 8 r 2 respectively. It is easy to check that the local representation of κ r is given by κ rα := φ αr κ r φ 1 α r : U αr 2 E 3 r 2 U αr 2 E 3 r 2 x,y,x,y) x,x,y,y). Setting D 2 = DD, the relations 1) 2) 3) 4) 5) κ 2 r = Id T r M π r Dκ r = κ r π r Dπ r 1 = π r κ r+1 D 2 π r 1 κ r+2 = κ r+1 D 2 π r 1 Dπ r 1 π r+1 = π r D 2 π r 1, r N, as they are listed in [6, 5], are valid in our framework too.

4 4 A. SURI AND S. RASTEGARZADEH 2.1. Vertical and complete lifts of functions and vector fields. There are two known lifts for functions and vector fields due to [23] and [5]. Most of the materials of this section are modified versions of those form [5]. Definition 2.1. Supposethat r 0 and f C T r M). Then thevertical lift of f is the smooth function f v C T r+1 M) defined by 6) f v ) = f π r κ r+1 )), T r+1 M. If r = 0, then equation 6) implies that f v = f π 0 and for r 1, the equations 2) and 4) imply that f v = f Dπ r 1. Moreover, the local representation of f v is 7) f v α := fv φ 1 α r+1 : U αr 1 E 3 r 1 R where f α := f φ 1 α r : U αr 1 E r 1 R. x,y,x,y) f α x,x) Definition 2.2. For r 0 and f C T r M) the complete lift of f is the smooth function f c C T r+1 M) defined by 8) f c ) = df κ r+1 ), T r+1 M. Clearly for r = 0, f c ) = df). If r 1, then the local representation of f c is f c α := fc φ 1 α r+1 : U αr 1 E 3 r 1 R x,y,x,y) 1 fx,x)y + 2 fx,x)y where i,i = 1,2, stands for the partial derivative with respect to the i th variable. Following the formalism of [5] we define the concepts of vertical and complete lifts for vector field in the Banach case. Definition 2.3. Let r 0 and A : T r M T r+1 M be a vector field. The vertical lift of A is the vector field A v : T r+1 M T r+2 M defined by the following relation 9) A v ) = Dκ r+1 s κr+1 )+sa π r κ r+1 ) ) s=0, T r+1 M. A v is a vector field since π r+1 A v ) = π r+1 Dκ r+1 s κr+1 )+sa π r κ r+1 ) ) s=0 = κ r+1 π r+1 s κr+1 )+sa π r κ r+1 ) ) s=0 = κ r+1 κ r+1 ) = Locally on the chart U αr,φ αr ), suppose that the local representation of A be given by A α := φ αr+1 A φ 1 α r : U αr 1 E r 1 U αr 1 E 3 r 1 x,y) x,y;a α x,y),b α x,y) ) where A α and B α are smooth E r 1 valued functions on U αr T r M. Then the vertical lift of A is the vector field A v XT r+1 M) with the local

5 Complete lift of vector fields and sprays to T M 5 representation A v α := φ αr+2 A v φ 1 α r+1 where A v α : U αr 1 E 3 r 1 U αr 1 E 7 r 1 x,y,x,y) x,y,x,y;0,a α x,x),0,b α x,x) ). Note that A α x,x) = A v α x,y,x,y) and B αx,x) = B v α x,y,x,y). Finally we introduce the concept of complete lift of a vector field which will play a key role in our next studies. Definition 2.4. Let A : T r M T r+1 M, r 0, be a vector field. The complete lift of A is the vector field A c : T r+1 M T r+2 M defined by 10) A c = Dκ r+1 κ r+2 DA κ r+1 Note that π r+1 A c ) = π r+1 Dκ r+1 κ r+2 DA κ r+1 ) = κ r+1 π r+1 κ r+2 DA κ r+1 ) = κ r+1 Dπ r DA κ r+1 ) = κ r+1 Dπ r A) κ r+1 ) = κ r+1 κ r+1 ) = which means that A c is a vector field see also [5]). Moreover with the above notations the local representation of A c is A c α : U αr 1 E 3 r 1 U αr 1 E 7 r 1 = x,y,x,y) x,y,x,y;a v α ),Ac α ),Bv α ),Bc α )) More precisely A c α) = x,y,x,y;a α x,x), 1 A α x,x)y + 2 A α x,x)y,b α x,x), 1 B α x,x)y + 2 B α x,x)y ) Semisprays and their lifts. For r 1 a semispray on T r 1 M is a vector field S : T r M T r+1 M with the additional property κ r+1 S = S or equivalently Dπ r 1 S = id T r M) [5]). Considering the atlas A r 1, we observe that locally on the chart φ αr 1,U αr 1 ) the local representation of the vector field S is S α := φ αr+1 S φ α 1 r and S α : U αr 1 E r 1 U αr 1 E 3 r 1 x,y) x,y;a α x,y),b α x,y) ) where A α,b α : U αr 1 E r 1 E r 1 are smooth functions locally representing S. The condition κ r+1 S = S or Dπ r S = id T r M) yields that A α x,y) = y. By convention, we set B α x,y) := 2G α x,y). Hence the local representation of S is S α : U αr 1 E r 1 U αr 1 E 3 r 1 ; x,y) x,y;y, 2G α x,y) ). Considering the semispray S as a vector field and using the notion of complete lift for vector field, we define the complete lift S c = Dκ r+1 κ r+2 DS κ r+1. Bucataru and Dahl in [5] proved that S c is a semispray. Here we state a modified version of their proof for infinite dimensional manifolds.

6 6 A. SURI AND S. RASTEGARZADEH Proposition 2.5. S c is a semispray on T r M. Proof. It suffices to show that κ r+2 S c = S c. For = x,y,x,y) T r+1 M we have κ r+2 S c ) = κ r+2 Dκ r+1 κ r+2 DS κ r+1 ) = κ r+2 Dκ r+1 κ r+2 DSx,X,y,Y) = κ r+2 Dκ r+1 κ r+2 Sx,X),dSx,X)y,Y ) ) = κ r+2 Dκ r+1 κ r+2 x,x,x, 2Gα x,x);y,y,y, 2dG α x,x)y,y) ) = κ r+2 Dκ r+1 x,x,y,y;x, 2Gα x,x),y, 2dG α x,x)y,y) ) = κ r+2 κr+1 x,x,y,y),dκ r+1 x,x,y,y)x, 2G α x,x),y, 2dG α x,x)y,y) ) = κ r+2 x,y,x,y;x,y, 2Gα x,x), 2dG α x,x)y,y) ) = x,y,x,y;x,y, 2G α x,x), 2dG α x,x)y,y) ) = x,y,x,y;x,y, 2G v α), 2G c α) ) = S c ) which completes the proof. Definition 2.6. A geodesic for the semispray S is a smooth curve γ : ǫ,ǫ) T r 1 M such that its canonical lift γ is an integral curve for S i.e. γ t) = Sγ t)), t ǫ,ǫ). Locally on a chart this last means that ) ) γ α t),γ α t),γ α t),γ α t) = S α γ α t),γ α t) ) = γ α t),γ αt),γ αt), 2G α γ α t),γ αt)) where γ α = φ αr 1 γ. Therefore the curve γ is a geodesic for the semispray S if and only if it satisfies the following second order ordinary differential equation SODE) 11) γ αt)+2g α γ α t),γ αt)) = 0 ;α I which are known as geodesic equations with respect to S. Remark 2.7. For a Riemannian manifold with its canonical metric spray [13]), equations 11) coincide with the usual geodesic equations. 3. Complete lift of vector fields and sprays to T M Thegeometry of T r M, r N, and lifting of geometric objects to this bundle was studied by many authors See [5, 23] and the references therein). However, no extension in the direction of T M has appeared in the literatures. The aim of this section is to lift a vector field X XTM), to a vector field X c XTT M). To assess the benefits of this lift, we will consider the interesting cases of semisprays and sprays. In fact we will try to lift a semi)sprays form M to T M.

7 Complete lift of vector fields and sprays to T M 7 In order to introduce T M we will consider it as an appropriate limit projective or inverse limit) of the finite factors T i M. To make our exposition as self-contained as possible, we state some preliminaries about projective limits of sets, topological vector spaces, manifolds and vector bundles from [3, 10, 18]. Let I be a directed set. Remind that I is directed if it is an ordered set with the reflexive, transitive and anti-symmetric order such that for any i,j I there exists k I with i k and j k. Let {S i } i I be a family of nonempty sets. Moreover suppose that for j i in I, there exists a map f ji ;S j S i, known as the connecting morphism, such that f ii = id Si and f ji f kj = f ki for k j i in I. Then S = {S i,f ji } i,j I is called a projective system of sets. The projective limit of this system, defined by a universal property, always exists and is set theoretically) isomorphic to a subset of i I S i [18]. More precisely the projective limit of the system S, denoted by lim S i, contains those elements x i ) i I i I S i for which f ji x j ) = x i for all i,j I with j i. Let {E i } i I be family of topological vector spaces and ρ ji : E j E i, j i be continuous and linear. Then the projective family {E i,ρ ji } i I is called a projective systems of topological vector spaces. Note that every Fréchet space is isomorphic to a projective limit of a countable family of Banach spaces [18], p. 53). In the sequel suppose that I = N and consider the family M = {M i, ϕ ji } i,j N where M i, i N, is a manifold modeled on the Banach space E i and ϕ ji : M j M i is a differentiable map for j i. Moreover suppose that the following conditions hold. i) The model spaces {E i,ρ ji } i,j N form a projective system of topological vector spaces. ii) For any x = x i ) i N M = limm i there exists a projective family of charts {U i,φ i )} such that x i U i M i and for j i, ρ ji φ j = φ i ϕ ji [10]. InthiscaseM := limm i maybeconsideredasageneralized Fréchet manifoldmodeledonthefréchet spacee = lime i withtheatlas{limu i,limφ i )}. Finally, suppose that E i,p i,m i ), i N, be a family of a Banach vector bundles with the fibres of type E i respectively. Moreover suppose that {E i,f ji )} i N and {E i,λ ji } i,j N are projective systems of manifolds and Banach spaces respectively. Then, the system {E i,p i,m i ),f ji,ϕ ji,λ ji )} i N is called a strong projective system of Banach vector bundles on {M i,ϕ ji )} i N if; for any x i ) i N, there exists a projective system of trivializations U i,τ i ) here τ i : p i 1 U i ) U i E i are local diffeomorphisms which are linear on fibres) of E i,p i,m i ) such that x i M i, U = lim U i is open in M and ϕ ji λ ji ) τ j = τ i f ji for all i,j N with j i. Remark 3.1. Let {M i,ϕ ji } be a projective family of Banach manifolds. It is known that the family {TM i,q ji } i,j N also form a projective system of Banach manifolds vector bundles) [10, 3] where the connecting morphisms

8 8 A. SURI AND S. RASTEGARZADEH are given by q ji : TM j TM i [f,x] j [ϕ ji f,ϕ ji x] i and [.,.] i stands for the tangent vectors in TM i. For any element x i ) i N in M := limm i consider the family of charts {Uα,φ i i α)} i N of {M i } i N, around x i ) i N such that U α = limu i α,φ α = lim φi α) is a chart of M. Fix the atlas {U α = limu i α,φ α = limφ i α)} α I for M. Using this atlas we can define a generalized vector bundle structure on π : TM M [10, 3]. More precisely {Uα,τ i α} i i N form a projective system of trivializations for the strong projective family of vector bundles {TM i,π i,m i ), q ji,ϕ ji,ρ ji )} j i where τ i α : π i ) 1 U i α) U i α E i [f i,x i ] i x i,ϕ i α f i ) 0) ). Regarding the fact ϕ ji π j = π i q ji, for j i, we define the limit map π M := limπ i : TM M. The trivializations of TM are given by τ α = lim τi α : π 1 U α ) U α F where F = lime i [10, 3]. In order to reduce our computations, we state the following lemma. Lemma 3.2. Let {M i,ϕ ji } i,j N and {N i,ψ ji } i,j N be two projective system of manifolds with the limits M = limm i and N = limn i. The system {f i : M i N i } is a projective system of maps if and only if ψ i+1,i f i+1 = f i φ i+1,i, where ψ i+1 i := ψ i+1,i and φ i+1 i := φ i+1,i, for any i N. Proof. Let f i φ i+1,i = ψ i+1,i f i+1 for any i N. Then for the natural number j N we have ψ ji f j = ψ i+1,i... ψ j 1,j 2 ψ j,j 1 ) f j = ψ i+1,i... ψ j 1,j 2 ) ψ j,j 1 f j ) = ψ i+1,i... ψ j 1,j 2 ) f j 1 φ j,j 1 ) = ψ i+1,i... f j 2 φ j 1,j 2 φ j,j 1. = f i φ i+1,i... φ j 1,j 2 φ j,j 1 ) = f i φ ji. The converse is trivial. Remark 3.3. Thefamily{T i M} i N withtheconnectingmorphismsπ i+1,i := π i form a projective system of Banach manifolds. The connecting morphisms for the model spaces are ρ i+1,i : E i+1 = E 2i+1 E i = E 2i ; x,y) E 2 i x E i, i N, and the projective family of charts is given by {U αi,φ αi )} i N with the limit U α = limu αi,φ α = limφ αi ). The limit of this family is denoted by T M := limt i M and it is called the infinite order iterated tangent bundle of M.

9 Complete lift of vector fields and sprays to T M 9 Proposition 3.4. Let X XTM) and set 12) X c 1 := X c = Dκ 2 κ 3 DX κ 2 and, for j N, X c j := X c j 1 ) c with X c 0 = X. The following statements hold true. i) D 2 π 0 X c 1 = X Dπ 0. ii) For any i N D 2 π i X c i+1 = X c i Dπ i. iii) For any i,j N with j i we have 13) D 2 π j,i X c j = X c i Dπ j,i, where π j,i := π i π i+1... π j 1 : T j M T i M. Proof. i.) Using equations 2) with r = 1 and 12) we see that DDπ 0 X c 1 = Dπ 1 κ 2 ) X c 1 = Dπ 1 Dκ 2 Dκ 2 κ 3 DX κ 2 = Dπ 1 κ 3 DX κ 2 = π 2 DX κ 2 = X π 1 κ 2 = X Dπ 0. ii.) For the natural number i we see that D 2 π i X c i+1 = Dπ i+1 κ i+2 ) X c i+1 = Dπ i+1 Dκ i+2 Dκ i+2 κ i+3 DX c i κ i+2 = Dπ i+1 κ i+3 DX c i κ i+2 = π i+2 DX c i κ i+2 = X c i π i+1 κ i+2 = X c i Dπ i which proves the second assertion. Equivalently, the following diagram is commutative. Dπ i TT i+1 M) TT i Dπ M) TTM) 0 TM X c i+1 X c i X c 1 X T 2 T i+1 D M) 2 π i T 2 T i M) T 2 D TM) 2 π 0 T 2 M iii.) The last part of the proposition can be deduced from part ii) and Lemma 3.2. More precisely we have the following commutative diagram. TT j M) X c j T 2 T j M) Dπ j,i TT i M) X c i D 2 π j,i T 2 T i M) Asaconsequence, {X c i } i N formaprojectivesystemmapsfrom{tt i M), Dπ i } i N to {T 2 T i M),D 2 π i } i N. Therefore we can define X c = limx c i from TT M = lim{tt i M), Dπ i } to T 2 T M) = lim{t 2 T i M),D 2 π i } See also [10] p. 5 or [3] p. 6 ).

10 10 A. SURI AND S. RASTEGARZADEH Theorem 3.5. X c = lim X c i exists and is a vector field on TT M. Proof. The family of vector bundles {E i,p i,n i ) := T 2 T i M),π i+1,tt i M))} i N form a strong projective systems of vector bundles in the sense of [3] Def. 4.1). More precisely, the fibre type of the bundle E i,p i,n i ), i N, is E 2i+1 with the corresponding connecting morphism λ i+1,i : E 2i 1 ) 4 = E 2 i+1 = E 2i 1 ) 2 = E 2 i x,y,x,y) x,x). As a consequence we get, φ αi+1 D 2 π i 1 = Dπ i 1 λ i+1,i ) φ αi+2 where φ αi+k, k = 1,2, are the local charts of T i+k M. Then, according to proposition 4.4 of [3], T 2 T M := limt 2 T i M) admits a generalized Fréchet vector bundle structure over TT M := limtt i M). However, π i+1 D 2 π i = Dπ i π i+2 for any i N [6], p. 2123). Dπ i TT i+1 M) TT i Dπ M) TTM) 0 TM π i+2 π i+1 π 2 π 1 T 2 T i+1 D M) 2 π i T 2 T i M) T 2 D TM) 2 π 0 T 2 M This last means that the limit map limπ i+1 exists and locally maps x,y,x, Y) T 2 φ α ) 1 U α ) onto x,y). As a consequence limπ i+1 exists and lim π i+1 : T 2 T M) TT M) is equal to π TT M. Moreover the resulting vector bundle is a generalized vector bundle isomorphic to π TT M : T 2 T M) TT M) the tangent bundle of TT M)). According to [5], if X c i 1 XTT i 1 M)) then X c i XTT i M)). Consequently, for any TT M), we have π TT M X c ) = lim π i+1 X c ) = π i+1 X c i i ) ) i N = i) i N which means that X c is a vector field on TT M Flow of X c. In closing this section, despite of the lack of a general solvability and uniqueness theorem for ordinary differential equations on non-banach Fréchet manifolds [11]), we prove an existence theorem for the flow of X c. Let i N, X XT i M) and F : DX) T i M R T i M be its flow see e.g. [13]). We remark that for T i M, F,.) : I) R T i M; t F t ) := F,t), is an integral curve of X with F 0) = and I) is its maximal domain lifetime) in R. Suppose that F : DX) T i M and F c : DX c ) T i+1 M are the flows of X and X c respectively. According to [5] theorem 3.6, we have Dπ i 1 id R )DX c ) = DX) and for any,t) DX c ), Ft c) = κ i+1 DF t κ i+1 ) where DF t is the differential of the map F t : F t ). Note that the model spaces of manifolds in [5] are finite dimensional Euclidean spaces. However, the proof of theorem 3.6. is valid for the Banach modeled manifolds as well. Let X XTM) and F : DX) TM R TM be its flow. For i N, set X c i = X c i 1 ) c and F c i = F c i 1 ) c.

11 Complete lift of vector fields and sprays to T M 11 Theorem 3.6. For i N, suppose that F c i : DX c i ) TT i M) R TT i M) be the flow of X c i. Then the following statements hold true. i.) {DX c i ) TT i M) R,Dπ i id R ) DX c i) } i N form a projective system of open sets. ii.) F c = limf c i exists. iii.) F c is the flow of X c. Proof. i.) Since {T i M,π ji } is a projective system, then {TT i M),Dπ ji } is a projective system with the limit isomorphic to TT M). It is easy to check that {DX c i ) T T i M) R,Dπ ji id R ) DX c i) } also form a projective system. Set DX c ) := limdx c i ). DX c ) is an open subset of TT M) R with respect to the projective topology of TT M). ii.) For any i N and any = x,y,x,y) TT i+1 M) we have Dπ i F c i+1 t,) = Dπ i F c i+1 t x,y,x,y) = Dπ i κ i+2 DF c i t κ i+2 x,y,x,y) = π i+1 κ i+2 ) κ i+2 DF c i t x,x,y,y) = π i+1 F c i t x,x),dfc i t x,x)y,y )) = F c i t x,x) and F c i Dπ i id R ),t) = F c i t Dπ i x,y,x,y) = F c i t x,x) that is the following diagram is commutative. DX c i+1 ) Dπ i id R DX c i ) F c i+1 TT i+1 M) Dπ i F c i TT i M) As a consequence of lemma 3.2, F c := limf c i : limdx c i ) TT M) can be defined. iii.) Finally, we claim that F c : DX c ) := limdx c i ) TT M) is the flow of X c. For the latter we note that F c : I) R TT M is an integral curve for X c, for all,t) DX c ), since d d dt Fc t) = lim dt Fc i i t) = limx c i F c i i t) ) = X c F c t) ). Itmay beworthremindingthereader that avector field iscalled complete if, all of its integral curves admit the lifetime,+ ). Corollary 3.7. If X is a complete vector field on M, then X c is a complete vector field on TT M) too. With the notations as in theorem 3.6, we have the following useful result. Corollary 3.8. For any = i ) i N TT M), the unique integral curve F c = limf c i i : I) TT M) with F c 0) = exists. Remark 3.9. Let f C M). Set f c 1 = f c and f c i = f ci 1c. Then according to definition 2.2, f c i = df c i 1 ) κ i.

12 12 A. SURI AND S. RASTEGARZADEH If we consider the projective systems {T i M,π i } i N and {R,id R } i N with the limits T M = limt i M and R = limr respectively, then f c i π i id R f c i+1. In fact for any x,y,x,y) T i+1 M while f c i π i x,y,x,y) = f c i x,y) id R f c i+1 x,y,x,y) = df c i κ i+1 x,y,x,y) = df c i x,x,y,y) = 1 f c i x,x)y + 2 f c i x,x)y. As a consequence, the sequence {f c i } i N is not a projective system of maps and consequently we can not define f c as the limit limf c i. Similarly one can show that, the iterated vertical lift of functions and lift of forms, generally, do not form projective systems. We refer to [1] p. 39, [4] p. 204 and [22] p. 549 for special classes of functions and forms on projective limits of manifolds Lift of semisprays to T M. In this section, for a given semispray on M we shall try to lift it to a semispray on T M. Proposition For a given semispray S on M its iterated complete lift S c is a semispray on T M. Proof. Since S is a vector field on TM, then proposition 3.4 ensures us that {S c i : TT i M) T 2 T i M)} forms a projective system of vector fields with the limit S c XTT M)). Proposition 2.5 shows that for any i N, S c i = S c i 1 ) c is a semispray on T i M. Moreover one can check that {Dπ i } i N form a projective system maps with the limit Dπ T M where π T M = limπ i : TT M T M is the tangent bundle of T M. Consequently for any T M, Dπ S c ) = lim Dπi S c i i ) ) = lim i ) =, which completes the proof. Let S be a semispray on T M. Keeping the formalism of section 2.2, a geodesic with respect to S is a curve γ : ǫ,ǫ) R T M such that γ t) = Sγ t)), ǫ > 0 and t ǫ,ǫ). Now suppose that S be a semispray on M and S c be its lift to T M given by proposition Theorem For any x = x i ) i N T M, = i ) i N T x T M, there exists a unique geodesic γ : ǫ,ǫ) T M for S c such that γ 0) = x, γ 0) =. Moreover γ = limγ i where γ i : ǫ,ǫ) TT i M) is a geodesic of S c i with γ i 0) = x i and γ i 0) = i, i N. Proof. Accordingtocorollary3.8thereexistsauniquecurveF c : ǫ,ǫ) TT M) such that d dt Fc t) = S c F c t)), F c 0) = and F = limf c i i. Set γ = π T M F : ǫ,ǫ) T M. We claim that γ is the desired geodesic. Since d dt γ t) = d dt π T M F c )t) = Dπ T M d dt Fc t) = Dπ T M S c F c t)) = F c t)

13 and F c Complete lift of vector fields and sprays to T M 13 is the integral curve of S c, we conclude that d 2 dt 2γ t) = S c d dt γ t)). Moreover γ 0) = π T M F c 0) = π T M) = x and d dt γ t) t=0 = d dt π T M F c )t) t=0 = Dπ T M d dt Fc t) t=o = Dπ T M S c F c t)) t=0 = Dπ T M S c ) = Lift of sprays to T M. There is a very close relations between linear connections and a special type of semisprays known as sprays [5, 13, 7, 19]. Definition A semispray S on T i M is called a 2-homogeneous) spray if for any α I, λ R and x,) U αi E i, G α x,λ) = λ 2 G α x,). Proposition The following statements hold true. i) The complete lift of a spray is a spray. ii) If S is a spray on M, then S c is a spray on T M. Proof. i.) Let S be a spray on T i M. Then, S is a semispray. According to proposition2.5, S c is a semispray on T i+1 M. Now, it suffices to show that the local components of S c are 2-homogeneous. Locally the semispray S c maps = x,y,x,y) TT i+1 M) to ) x,y,x,y;x,y, 2G v α), 2G c α). However, for any λ R and TT i+1 M), and G v αx,y,λx,λy) = G α x,λx) = λ 2 G α x,x) = λ 2 G v αx,y,x,y), G c αx,y,λx,λy) = dg α x,λx)y,λy ) = d dt G α x+ty,λx +ty) ) t=0 = d dt λ2 G α x+ty,x +ty) t=0 = λ 2 d dt G αx+ty,x +ty) t=0 = λ 2 dg α x,x)y,y) = λ 2 G c αx,y,x,y). ii.) Due to proposition 3.10 S c is a semispray on T M with the local components G α := lim Gi α which maps ) x i ) i N,y i ) i N U α E to ) x,y,y,g α x,y) Part one implies that for any i N, S c i is a spray on T i M. Let {G i α } be the family of local components of S c i. Then, G α x,λy) = lim Gi α x i,λy i ) = λ 2 lim G i α x i,y i ) = λ 2 G α x,y)

14 14 A. SURI AND S. RASTEGARZADEH for any λ R and x,y) U α E. Remark Suppose that at any step we have a metric spray S c i with a compatible Riemannian metric g i for more details see [13]). Then, the meaning of a geodesic for the spray S c on T M would be a local) length minimizer of the sup and sum metrics, in the topological sense see [17] p. 1485, def. 3.5 and section 5). More precisely at any stage we have a metric space T i M,d i ), where d i is the metric induced by g i. Now, if γ = limγ i is a geodesic of S c, then at every step we have a minimizer γ i of d i. As a consequence γ is a minimizer of the sup and sum metrics that is, the length minimizers on T M are geodesics of S c 4. Applications and examples In this section we state an examples to reveal the benefits of working with Banach manifolds and our results. Example 4.1. Let M, g) be an n-dimensional Riemannian manifold and I = [0,1]. An H 1 loop c : I R n is an absolutely continuous curve for which ċt) exists almost everywhere and ċ is square integrable and c0) = c1) [12] p. 159). A loop c : I M is called of class H 1 if, for any chart U,φ) of M the mapping φ c : I c 1 U) R n is H 1. Then H 1 I,M), formed by the loops c : I M of class H 1, admits a Hilbert manifold structure modeled on the Hilbert space H := H 1 c TM) [9, 12]. The space of vector fields along c is isomorphic with the space of sections Γc TM) of the pullback c TM and it is identified with the tangent space T c H 1 I,M). The scalar product on T c H 1 I,M) is given by < u,v > c = 1 0 gut),vt))dt g D dt ut), D dt vt)) dt for any u,v T c H 1 I,M). For a detailed study about the geometry of H 1 I,M) we refer to [12].) However, one may consider the C k maps and construct a Banach manifold structure space using the sup-norm instead of using L 2 norms [8]. Let f : M N be a differentiable map between finite dimensional Riemannian manifolds. Then there is a natural pointwise) differentiable map H 1 f) : H 1 I,M) H 1 I,N) whereh 1 f)c)t) = fct)), t [0,1]. Moreover TH 1 I,M) = H 1 I,TM) that is H 1 commutes with the functor T and for the smooth map g : L M, H 1 f g) = H 1 f) H 1 g) [9, 12]. For any semi)spray S on M we claim that H 1 S : TH 1 I,M) T 2 H 1 I,M) is a semi)spray on H 1 I,M) and H 1 S) c = H 1 S c ). Tothisend, wefirstshowthathκ i ) istheinvolution mapoft i H 1 I,M), i N. For the case i = 1 the problem is trivial. Suppose that i 2 and γ : ǫ,ǫ) 2 T i 2 H 1 I,M) = H 1 I,T i 2 M) be a smooth curve and k H1 i : T i H 1 I,M) T i H 1 I,M) be the involution map that is k H1 i s1 s2 γs 1,s 2 ) = s2 s1 γs 1,s 2 ). Then, for any t [0,1] we have H 1 κ i s1 s2 γs 1,s 2 ) ) t) = κ i s1 s2 γs 1,s 2,t) = s2 s1 γs 1,s 2,t) = s2 s1 γs 1,s 2 )t)

15 Complete lift of vector fields and sprays to T M 15 that is H 1 κ i = κ H1 i. As a consequence κ H1 2 H 1 S = H 1 κ 2 ) H 1 S) = H 1 κ 2 S) = H 1 S. Moreover, H 1 S) c = Dκ H1 2 κ H1 3 DH 1 S κ H1 2 = DH 1 κ 2 H 1 κ 3 DH 1 S H 1 κ 2 = H 1 Dκ 2 H 1 κ 3 H 1 DS H 1 κ 2 = H 1 Dκ 2 κ 3 DS κ 2 ) = H 1 S c ). ConsequentlyH 1 S) c i = H 1 S c i )foranyi N. Ontheotherhand,T i H 1 I, M) = H 1 I,T i M). These last two equalities motivate us to define T H 1 I,M) = lim T i H 1 I,M) and H 1 S c := H 1 S) c. However, we are not sure about the existence a reasonable manifold structure on H 1 I,T M) since the manifold structure in the classical case i.e. H 1 I,N)) deeply depends on the notion of the exponential mapping and the Riemannian metric) on the target manifold which is not guaranteed in our case [8, 11]. In fact, on Fréchet modeled manifolds, an inverse function theorem is not always available and only under certain conditions like tameness [11]) a version of the inverse function theorem and consequently an exponential mapping) is available. Since for any i N, H 1 I,T i M) = T i H 1 I,TM) we can also define H 1 I,T M) := T H 1 I,TM). Using the terminologies of Lang [13] or Klingenberg [12], one can show that if S is a spray then H 1 S is also an spray. Now, proposition 3.13 implies that H 1 S c = H 1 S) c is a spray on TH 1 I,M) = H 1 I,TM) and H 1 S c i = H 1 S) c i, for any i N. Finally, using remark 3.1 and the techniques of proposition 4.1 of [19], enable us to lift a connection form the finite dimensional manifold M to the manifold T i H 1 I,M), i N { }. References [1] M.C. Abbati, A. Mania, On differential structure for projective limits of manifolds, J. Geom. Phys. Vol. 29, 1999) pp [2] R. Abraham, J.E. Marsden and T. Ratiu, Manifolds, Tensor Analysis, and Applications, Springer-Verlag, [3] M. Aghasi and A. Suri, Splitting theorems for the double tangent bundles of Fréchet manifolds. Balkan journal of geometry and its applications, No. 15-2, 2010, [4] A. Ashtekar and J. Lewandowski, Differential geometry on the space of connections via graphs and projective limits, J. Geom. Phys. Vol. 17, No ) pp [5] I. Bucataru, M.F. Dahl, A complete lift for semisprays, Int. J. Geom. Methods Mod. Phys. 7 2), 2010, [6] I. Bucataru and M.F. Dahl, k-parameter geodesic variations, J. Geom. Phys. Vol. 62, 2012, [7] Del Riego, L. and Parker, P.E., Geometry of nonlinear connections, J. Nonlinear Analysis, 63, 2005, [8] H.I. Eliasson, Geometry of manifolds of maps, J. Differential Geom. 1, 1967,

16 16 A. SURI AND S. RASTEGARZADEH [9] P. Flaschel and W. Klingenberg, Riemannsche Hilbertmannigfaltigkeiten. Periodische Geodätische, Lecture Notes in Mathematics 282, Berlin-Heidelberg-New York, Springer-Verlag, [10] G.N. Galanis, Differential and Geometric Structure for the Tangent Bundle of a Projective Limit Manifold, Rendiconti del Seminario Matematico di Padova, Vol. 112, [11] R.S. Hamilton, The inverse functions theorem of Nash and Moser, Bull. of Amer. Math. Soc., 7, 1982, [12] W. Klingenberg, Riemannian geometry, Walter de Gruyter, [13] S. Lang, Fundamentals of differential geometry, Graduate Texts in Mathematics, vol. 191, Springer-Verlag, [14] A. Kriegel, P.W. Michor, The convenient Setting of Global Analysis, AMS Mathematical Surveys and Monographs, 53, [15] R. Miron, The geometry of higher order Lagrange spaces applications to Mechanics and Physics, Kluwer Academic publishers, [16] A. Morimoto, Liftings of tensor fields and connections to tangent bundles of higher order,, Nagoya Math. J., Vol. 40, 1970, [17] O. Müller, A metric approach to Fréchet geometry, J. Geom. Phys., Vol ), pp [18] H. H. Schaefer, Topological Vector Spaces, Springer-Verlag, [19] A. Suri and M. Aghasi, Connections and Second order differential equations on infinite dimensional manifolds, Int. Electron. J. Geom., 6, 2), 2013, [20] A. Suri, Higher order tangent bundles, [21] A. Suri, Isomorphism classes for higher order tangent bundles, [22] F. Takens, A global version of the inverse problem of the calculus of variation, J. Diff. Geom., 14, 1979, [23] K. Yano and S. Ishihara, Tangent and Cotangent Bundles, Marcel Dekker, Inc., [24] K. Yano and S. Kobayashi, Prolongations of tensor fields and connections to tangent bundles, I. General theory, J. Math. Soc. Japan, 18, , Department of Mathematics, Faculty of Sciences, Bu-Ali Sina University, Hamedan 65178, Iran address: a.suri@basu.ac.ir & a.suri@math.iut.ac.ir & ali.suri@gmail.com Department of Mathematics, Faculty of Sciences, Bu-Ali Sina University, Hamedan 65178, Iran address: rastegarzade.math@yahoo.com