DOCSLIB.ORG

On the Existence of a Riemannian Manifolds at a Given Connection

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On the Existence of a Riemannian Manifolds at a Given Connection Research Article Journal of Volume 14:3, 2020 DOI: 10.37421/glta.2020.14.306 Generalized Lie Theory and Applications ISSN: 1736-4337 Open Access On the Existence of a Riemannian Manifolds at a Given Connection Manelo Anona* and Ratovoarimanana Hasina Department of Mathematics and Computer Science, University of Antananarivo, Antananarivo 101, PB 906, Madagascar Abstract We give necessary and sufficient conditions for a linear connection without torsion to come from a Riemannian metric. The nullity space and the image space of the curvature are involved in the formulation of the results. Mathematics Subject Classification (2010) 53XX, 53C08, 53B05. Keywords: Riemannian manifolds • Linear connection • Spray • Nijenhuis tensor • Nullity space of connection Introduction eigenvalue +1, v the vertical projector corresponding to the eigenvalue-1. The curvature of G is defined by 1 A Riemannian manifold defines a unique linear connection without R= [,] hh (2.2) torsion and conservative. By studying the properties of the space of nullity 2 and images of the curvatures, we reduce the resolution of the inverse The vector 2-form R is also called the Nijenhuis tensor of h. The scalar problem to a system of linear equations with some properties of the 2-form allows to define a metric g on the vertical bundle by curvatures quite simple to verify. g(JX, JY) = Ω (JX, Y) The formalism used is that of [1] and [2] and the formulas are those of [3], the method following [4]. for all X, Y∈ χ () TM , where χ()TM denotes the set of vector fields on TM. Canonical Connection of a Riemannian There exists, [2], one and only one metric lift D of the canonical connection such that: Manifold 1. DJ=0; Let M be a n dimensional differentiable paracompact manifold and of 2. DC=v, (C being the Liouville canonical field on TM); class ∞ , J is the natural tangent structure of the tangent bundle: TM → M. 3. DG=0; The derivation dJ [5] is defined by dJ=[iJ, d]. 4. Dg=0. Definition 1 The D connection is called the Cartan connection. We have We call the Riemannian manifold, [1], the couple (M, E): DJY= [,], JJYX DJY= [,]. hJYX (2.3) • M a differentiable manifold JX hX + ∞ With the linear connection D, we associate a curvature • E a function of =TM −{0} in , with E(0)=0, on , 2 on the null section, and homogeneous of degree two such that ddJE has ℜ=(,)XYZ DDJZhX hY − DDJZ hY hX − D[,]hX hY JZ, a maximum rank for all X,, Y Z∈ χ ( TM ). The relation between the curvatures ℜ and The application E is called energy function, the fundamental scalar R is [2]: 2-form Ω=dd E defines a spray S [6]: J ℜ= − + + (XYZ , ) JZRXY [ , ( , )] [ JZRXY , ( , )] R ([ JZX , ], Y ) RX ( ,[ JZY , ]). iSJ dd E= − dE, (2.1) (2.4) the derivation is being the inner product with respect to S. The vector In particular, 1-form G=[J, S] is called canonical connection. The connection G thus defined is an almost product structure: G2=I, I is the vector 1-form identity. ℜ=−(,)XYS RXY (,). (2.5) By asking In natural local coordinates on an open set U of M, (xi, yi ) ∈ TU, i, j ∈ 11 { 1,...,n}. The energy function is written [1] p.330 h=() I +G and v = () I −G , 22 1 E= g( x1 ,..., xn ) yy ij h is the horizontal projector, projector of the proper subspace at the 2 ij 1 n where gij (x ,…, x ) are symmetric positive functions such that the matrix 1 n i dd E= − dE *Address for Correspondence: Manelo Anona, Department of Mathematics (gij (x ,…, x )i,j) is invertible. And the relation SJ gives the spray S and Computer Science, Faculty of Sciences, University of Antananarivo, ∂∂ Antananarivo 101, PB 906, Madagascar, E-mail: [email protected]. S= yi − 2 Gx in (11 ,..., x , y ,..., y n ) ∂∂xyii Copyright: © 2020 Manelo A, et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits with unrestricted use, distribution, and reproduction in any medium, provided the 1 ij original author and source are credited. G= yyγ k 2 ikj Received 30 July, 2020; Accepted 08 August, 2020; Published 25 August, 2020 Manelo A, et al. J Generalized Lie Theory Appl, Volume 14:3, 2020 where g(ℜ (XYZJT , ) , ) =−ℜ g ( ( XYTJZ , ) , ); (3.1) ∂∂ 1 ggkj ∂gik ij γ ikj =( +−). ℜ(,)XYZ +ℜ (,) YZX +ℜ (,) ZXY = 0; (3.2) 2 ∂∂∂xxxi jk By asking g(ℜ (, TXYJZ ), ) +ℜ g ( (,), TYZJX ) +ℜ g ( (, TZXJY ) , ) = 0;(3.3) k kl g((,),ℜ=ℜ XYZJT ) g ((,), ZTXJY ). (3.4) γγij= g ilj i, j, k, l∈ {1,…,n}, we have Properties of the Horizontal Nullity 1 Gk= yy i jkγ . Space of Curvatures 2 ij j lj From the properties of the curvatures given above and by posing: We note G=Gi (,xy ) yil () x, the horizontal projector is written: N={ X ∈χχ () TM suchthat R (,)0,()}, X Y= ∀∈ Y TM ∂∂ ∂ ∂ R = −Gj = hh()iii j, ( j ) 0. =∈χχ ℜ =∀∈ ∂∂xx ∂ y ∂ y Nℜ { X () TM suchthat (,)0,, X Y Z Y Z ()}; TM The vertical projector becomes we have ∂j ∂ ∂∂ ⊥ ⇔∈ = ∈χ (4.1) vv( )=G= ,( ) . JX ImR X KerR ( R iRS ), X ( TM ); ∂xii ∂ y j ∂∂ yy ii JX ⊥ ImR ⇔R ( S, X) Y = 0, X ∈χχ( TM), ∀∈ Y ( TM ); 1 The curvature R= 2 [h, h] is then (4.2) 1 ki j ∂ R= R dx ∧⊗ dx X∈⇔ NR JX ⊥ R ( S, Y) Z , X ∈χχ( TM), ∀ Y, Z ∈( TM ); ij ∂ k 2 y (4.3) with kkkk ∂G ∂G X∈⇔ Nℜ JX ⊥ R ( Y, Z) T , X ∈χχ( TM), ∀ Y, Z , T ∈( TM ); k∂Giijjll∂G Rij = − +Gi −Gj ,i , jkl , ,∈ {1,..., n }. (4.4) ∂∂xxji ∂ y l ∂ y l Proposition 1 X∈⇔ Nℜ R ( YZ,) X =∀∈ 0, YZ, χ ( TM). (4.5) Let E be an energy function, G a connection such that G=[J,S]. The Properties of the Nullity Space and the following two relationships are equivalent: Curvature Image Space i. iSJ dd E= − dE ; . Let H=Imh the horizontal space, V=Imv the vertical space and ImR ii. dEh = 0 (respectively Imℜ ) the module on F(TM) generated by the image of the curvature R (respectivelyℜ ). Proof: We notice that if we have the relation (i), we get Proposition 2 iSS i dd J E=0. = LS E (2.6) On a Riemannian manifold (M, E) the following properties are verified: We can write successively, taking into account that E is homogeneous ℜ⊕ = of degree 2 and that JS=C, 1) Im ℜ and JNℜ are orthogonal and Im JNℜ V ; 2) ImR and JNR+{C} are orthogonal; ImR Å {JNR+{C}}=V; iS dd J E=−() L S di S d J E = L SJ d E −=− 2 dE dE 3) = or NNR ℜ 4) At the neighborhood of a point z of TM, the subspaces LSJ d E= dE. (2.7) NR∩∩ HN,ℜℜ HN ,,,R N hN RR ⊕ JN , ImR and Im ℜ are involutive From the formula Ld−= dL d , we have SJ JS[S, J ] Proof: The property 1) follows from the relation (4.4). LdE= d E + dLE =(2 dE −+ dE ) dLE . SJ[S, J ] JS h JS According to the relation (4.2), JX ^ ImR if and only if According to the two relations (2.6) and (2.7), we find ℜ(S , X ) Y = 0, ∀∈ Yχ ( TM ). From the relation (2.4), we have dEh = 0. ℜ=(SXY , ) JYRX [ , ( )] − [ JYRX , ( )] + RJYSX ([ , ], ) + R ([ JYX , ]) = 0. [,]JS+ I Conversely, if we have dEh = 0 , by definition h = , we can Taking into account the relation (4.1), the relation 2 write J[ JY ,] S= JY , ∀∈ Yχ ( TM )and that the curvature R is semi-basic, we d[,]JS E+= dE 0. get RXY( , )= R [ JYX , ], ∀∈ Yχ ( TM ) (5.1) By noting that hS= S and LES = 0 , we can go up the calculation and one obtains As R is alternating bilinear on the vector fields of χ()TM considered as (TM)-module, the relation is not possible unless X=S or, if X ∈ N , and i dd E= − dE R SJ if X is generated by projectable vector fields in the nullity space of R. The converse is immediate according to the relations (4.2), (4.3) and (3.3). Properties of the Curvature R of a ℜ The property NR =NR follows from the link between and R given Riemannian Manifold by the relation (2.4) and from the above remark that NR is generated by projectable vector fields in NR. At the neighborhood of a point z of TM, the From the properties of the connection stated above, we obtain the ∩ subspaces NR Ç H, NHℜ , are involutive. These are well known results following classic results: for all X,,, Y Z T∈ χ ( TM ) see [7]. Page 2 of 6 Manelo A, et al. J Generalized Lie Theory Appl, Volume 14:3, 2020 Let us now show that hN Å JN is involutive. You just have to check jj R R ∂G ∂G on the generators of hN and JN . Since hN is generated by projectable Xl( li− lk +Gsj G −G s G j) = 0,i , jkls , , ,∈ {1,..., n }. R R R ∂∂xxkili sk lk si vector fields in hNR and, hNR is involutive, then JNR is generated by the commutative generators in JN . JN is therefore involutive. It is the same R R This condition is none other than X ∈ hNR. Hence the result. for [X, JY] with X∈ hNR andY∈ JN .
Load more

Recommended publications
  • On the Projective Geometry of Sprays
    Differential Geometry and its Applications 12 (2000) 185–206 185 North-Holland View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector On the projective geometry of sprays J. Szilasi1 and Sz. Vattam´any Institute of Mathematics and Informatics, Lajos Kossuth University, H-4010 Debrecen, P.O.B. 12, Hungary Communicated by M. Modugno Received 8 March 1999 Abstract: After a careful study of the mixed curvatures of the Berwald-type (in particular, Berwald) connec- tions, we present an axiomatic description of the so-called Yano-type Finsler connections. Using the Yano connection, we derive an intrinsic expression of Douglas’ famous projective curvature tensor and we also represent it in terms of the Berwald connection. Utilizing a clever observation of Z. Shen, we show in a coordinate-free manner that a “spray manifold” is projectively equivalent to an affinely connected manifold iff its Douglas tensor vanishes. From this result we infer immediately that the vanishing of the Douglas tensor implies that the projective Weyl tensor of the Berwald connection “depends only on the position”. Keywords: Horizontal endomorphisms, Berwald endomorphisms, sprays, Finsler connections, Berwald-type connections, Yano-type connections, Douglas tensor, projective Weyl tensor. MS classification: 53C05, 53C60. Introduction In the context of affinely connected manifolds, i.e., in manifolds endowed with a linear con- nection, a “projective curvature tensor” with zero trace has already been constructed by H. Weyl [18]. The vanishing of this famous tensor, called Weyl tensor, characterizes the “projec- tively flat manifolds”. The nonlinear generalizations of the affinely connected manifolds, i.e., manifolds endowed with a nonlinear connection, have also been playing an increasing role in differential geometry and its applications since the twenties.
    [Show full text]
  • Landsberg Curvature, S-Curvature and Riemann Curvature
    Riemann{Finsler Geometry MSRI Publications Volume 50, 2004 Landsberg Curvature, S-Curvature and Riemann Curvature ZHONGMIN SHEN Contents 1. Introduction 303 2. Finsler Metrics 304 3. Cartan Torsion and Matsumoto Torsion 311 4. Geodesics and Sprays 313 5. Berwald Metrics 315 6. Gradient, Divergence and Laplacian 317 7. S-Curvature 319 8. Landsberg Curvature 321 9. Randers Metrics with Isotropic S-Curvature 323 10. Randers Metrics with Relatively Isotropic L-Curvature 325 11. Riemann Curvature 327 12. Projectively Flat Metrics 330 13. The Chern Connection and Some Identities 333 14. Nonpositively Curved Finsler Manifolds 337 15. Flag Curvature and Isotropic S-Curvature 341 16. Projectively Flat Metrics with Isotropic S-Curvature 342 17. Flag Curvature and Relatively Isotropic L-Curvature 348 References 351 1. Introduction Roughly speaking, Finsler metrics on a manifold are regular, but not neces- sarily reversible, distance functions. In 1854, B. Riemann attempted to study a special class of Finsler metrics | Riemannian metrics | and introduced what is now called the Riemann curvature. This infinitesimal quantity faithfully reveals the local geometry of a Riemannian manifold and becomes the central concept of Riemannian geometry. It is a natural problem to understand general regu- lar distance functions by introducing suitable infinitesimal quantities. For more than half a century, there had been no essential progress until P. Finsler studied the variational problem in a Finsler manifold. However, it was L. Berwald who 303 304 ZHONGMIN SHEN first successfully extended the notion of Riemann curvature to Finsler metrics by introducing what is now called the Berwald connection. He also introduced some non-Riemannian quantities via his connection [Berwald 1926; 1928].
    [Show full text]
  • Constrained Optimization on Manifolds
    Constrained Optimization on Manifolds Von der Universit¨atBayreuth zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigte Abhandlung von Juli´anOrtiz aus Bogot´a 1. Gutachter: Prof. Dr. Anton Schiela 2. Gutachter: Prof. Dr. Oliver Sander 3. Gutachter: Prof. Dr. Lars Gr¨une Tag der Einreichung: 23.07.2020 Tag des Kolloquiums: 26.11.2020 Zusammenfassung Optimierungsprobleme sind Bestandteil vieler mathematischer Anwendungen. Die herausfordernd- sten Optimierungsprobleme ergeben sich dabei, wenn hoch nichtlineare Probleme gel¨ostwerden m¨ussen. Daher ist es von Vorteil, gegebene nichtlineare Strukturen zu nutzen, wof¨urdie Op- timierung auf nichtlinearen Mannigfaltigkeiten einen geeigneten Rahmen bietet. Es ergeben sich zahlreiche Anwendungsf¨alle,zum Beispiel bei nichtlinearen Problemen der Linearen Algebra, bei der nichtlinearen Mechanik etc. Im Fall der nichtlinearen Mechanik ist es das Ziel, Spezifika der Struktur zu erhalten, wie beispielsweise Orientierung, Inkompressibilit¨atoder Nicht-Ausdehnbarkeit, wie es bei elastischen St¨aben der Fall ist. Außerdem k¨onnensich zus¨atzliche Nebenbedingungen ergeben, wie im wichtigen Fall der Optimalsteuerungsprobleme. Daher sind f¨urdie L¨osungsolcher Probleme neue geometrische Tools und Algorithmen n¨otig. In dieser Arbeit werden Optimierungsprobleme auf Mannigfaltigkeiten und die Konstruktion von Algorithmen f¨urihre numerische L¨osungbehandelt. In einer abstrakten Formulierung soll eine reelle Funktion auf einer Mannigfaltigkeit minimiert werden, mit der Nebenbedingung
    [Show full text]
  • An Brief Introduction to Finsler Geometry
    An brief introduction to Finsler geometry Matias Dahl July 12, 2006 Abstract This work contains a short introduction to Finsler geometry. Special em- phasis is put on the Legendre transformation that connects Finsler geometry with symplectic geometry. Contents 1 Finsler geometry 3 1.1 Minkowski norms . 4 1.2 Legendre transformation . 6 2 Finsler geometry 9 2.1 The global Legendre transforms . 9 3 Geodesics 15 4 Horizontal and vertical decompositions 19 4.1 Applications . 22 5 Finsler connections 25 5.1 Finsler connections . 25 5.2 Covariant derivative . 26 5.3 Some properties of basic Finsler quantities . 27 6 Curvature 29 7 Symplectic geometry 31 7.1 Symplectic structure on T ∗M n f0g . 33 7.2 Symplectic structure on T M n f0g . 34 1 Table of symbols in Finsler geometry For easy reference, the below table lists the basic symbols in Finsler ge- ometry, their definitions (when short enough to list), and their homogene- ity (see p. 3). However, it should be pointed out that the quantities and notation in Finsler geometry is far from standardized. Some references (e.g. [Run59]) work with normalized quantities. The present work follows [She01b, She01a]. Name Notation Homogeneity (co-)Finsler norm F; H; h 1 1 @2F 2 gij = 2 @yi @yj 0 ij g = inverse of gij 0 1 @gij 1 @3F 2 Cartan tensor Cijk = 2 @yk = 4 @yi @yj @yk −1 i is Cjk = g Csjk −1 @Cijk Cijkl = @yl −2 Geodesic coefficients Gi 2 G i @ i @ Geodesic spray = y @xi − 2G @yi no i @Gi Non-linear connection Nj = @yj 1 δ @ s @ Horizontal basis vectors δxi = @xi − Ni @ys no i i @Nj @2Gi Berwald connection Gjk = @yk = @yj @yk 0 Chern-Rund connection Γijk 0 i is Γjk = g Γsjk 0 Landsberg coefficients Lijk m Curvature coefficients Rijk 0 m Rij 1 m kL −1 Rij = Rijky m 2 i ij Legendre transformation L = h ξj 1 L ∗ L −1 j : T M ! T M i = gijy 1 2 1 Finsler geometry Essentially, a Finsler manifold is a manifold M where each tangent space is equipped with a Minkowski norm, that is, a norm that is not necessarily induced by an inner product.
    [Show full text]
  • PDF (Chapter 2)
    2. Hamiltonian Systems. This lecture contains some of the basic facts about Hamiltonian systems. Some additional material will be brought in later as it is needed. Motivation. To motivate the development, let us briefly consider Hamilton's equations. The starting point is Newton's second law which states that a particle of mass m > 0 moving in a potential V(x) , x E R~ moves along a curve x(t) such that = -grad V(x) . If we introduce the momentum p = m& and the energy H(x, p) = 1 then Newton's law becomes Hamilton's Equations -2m /p12 + V(n) One now is interested in studying this system of first order equations for given H . To do this, we introduce the matrix J = - @ where I is the n x n identity and note that the equations become 5 = J grad H(5) where 5 = (x, p) . (In complex notation, setting z = x + ip , they may be written as = 2iaHfa;). Suppose we make a change of coordinates w = f(1) where 2n 2n f : R R is smooth. If <(t) satisfies Hamilton's equations, the equations satisfied by w(t) are 25 = AP = AJ grad H(<) = 5 ki*tgradw~(S(w)) where A = (awi/aE') is the Jacobian of f . The equations for w will be Hamiltonian with energy K(w) = H(?(w)) if -1. MA'' = J . A transformation satisfying this condition is called canonical or symp lec tic. 3 The space R x R3 of the 5's is called the phase space. For a system of N particles we would use R3N X R3N .
    [Show full text]
  • Affine Vector Fields on Finsle Manifolds
    AFFINE VECTOR FIELDS ON FINSLER MANIFOLDS LIBING HUANG AND QIONG XUE Abstract. We give characterizations of affine transformations and affine vec- tor fields in terms of the spray. By utilizing the Jacobi type equation that characterizes affine vector fields, we prove some rigidity theorems of affine vec- tor fields on compact or forward complete non-compact Finsler manifolds with non-positive total Ricci curvature. 1. Introduction It is well kown that every affine vector field on a compact orientable Riemannian manifold is a Killing vector field [5]. In the noncompact case, Junichi Hano proved that if the length of an affine vector field in a complete Riemannian manifold is bounded, then its affine vector field is a Killing vector field [4]. This result was generalized later by Shinuke Yorozu, who proved that every affine vector field with finite norm on a complete noncompact Riemannian manifold is a Killing vector field. Moreover, if the Riemannian manifold has non-positive Ricci curvature, then every affine vector field with finite global norm on it is a parallel vector field [9]. We generalize this result to Finsler manifolds. We investigate affine vector fields on Finsler manifolds and prove some rigidity theorems of affine vector fields on compact and forward complete non-compact Finsler manifolds with non-positive total Ricci curvature. Theorem 1.1. Let (M, F ) be an n-dimensional compact Finsler manifold with non-positive total Ricci curvature. Then every affine vector field V on M is a linearly parallel vector field. Theorem 1.2. Let (M, F ) be an n-dimensional forward complete non-compact Finsler manifold with non-positive total Ricci curvature and bounded reversibility.
    [Show full text]
  • On Sprays and Connections
    WSGP 9 László Kozma On sprays and connections In: Jarolím Bureš and Vladimír Souček (eds.): Proceedings of the Winter School "Geometry and Physics". Circolo Matematico di Palermo, Palermo, 1990. Rendiconti del Circolo Matematico di Palermo, Serie II, Supplemento No. 22. pp. [113]--116. Persistent URL: http://dml.cz/dmlcz/701466 Terms of use: © Circolo Matematico di Palermo, 1990 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz ON SPRAYS AND CONNECTIONS by László Kozma A path structure is a pair (M}S) where M is a differentiable manifold of class C°°, S is a spray on M, S : TM —+ TTM is a second order differentiable equation on M with homogeneity condition of order 2: (1) [S,C\ = S, where C: TM —• TTM denotes the Liouville vertical vector field on TM. * Without the assumption of the homogeneity (1) we speak of a semi-spray, or a semi-path structure,resp. If /f is of class C°° on all TM, then the path structure is called as a quadratic one. A curve (p : I —• Af is a paM citrwe of the spray when (p -= S o «p,i.e. y> is integral curve of the vector field S. Consider now a connection structure in TM [2], or what is the same, a parallelism structure in TM • In a natural way, the autoparallel curves of the connection determine a path structure, called the geodesic spray of the connection.
    [Show full text]
  • And Configuration Space Quantization
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 305, Number 2, February 1988 THE DENSITY MANIFOLD AND CONFIGURATION SPACE QUANTIZATION JOHN D. LAFFERTY ABSTRACT. The differential geometric structure of a Fréchet manifold of den- sities is developed, providing a geometrical framework for quantization related to Nelson's stochastic mechanics. The Riemannian and symplectic structures of the density manifold are studied, and the Schrödinger equation is derived from a variational principle. By a theorem of Moser, the density manifold is an infinite dimensional homogeneous space, being the quotient of the group of diffeomorphisms of the underlying base manifold modulo the group of diffeo- morphisms which preserve the Riemannian volume. From this structure and symplectic reduction, the quantization procedure is equivalent to Lie-Poisson equations on the dual of a semidirect product Lie algebra. A Poisson map is obtained between the dual of this Lie algebra and the underlying projective Hubert space. 1. Introduction. The configuration space for a physical problem is a differen- tiable manifold M, and the appropriate phase space is the cotangent bundle T*M, which is furnished with a canonical symplectic structure. The quantum state space is the complex Hubert space U = L2(p) divided by the multiplicative action of C*, where p is an appropriate measure on M. The classical Hamiltonian generates a group of symplectic automorphisms of T*M, but does not act naturally on M. The term quantization refers to the problem of establishing a correspondence between the two mathematical frameworks. Let us briefly adopt the language of categories to discuss this problem in more detail (see [22]).
    [Show full text]
  • On Connections, Geodesics and Sprays in Synthetic Differential Geometry Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 25, No 3 (1984), P
    CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES MARTA BUNGE PATRICE SAWYER On connections, geodesics and sprays in synthetic differential geometry Cahiers de topologie et géométrie différentielle catégoriques, tome 25, no 3 (1984), p. 221-258 <http://www.numdam.org/item?id=CTGDC_1984__25_3_221_0> © Andrée C. Ehresmann et les auteurs, 1984, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ CAHIERS DE TOPOLOGIE Vol. XXV-3 (1984) ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES ON CONNECTIONS, GEODESICS AND SPRA YS IN SYNTHETIC DIFFERENTIAL GEOMETRY by Marta BUNGE and Patrice SA W YER R6sum6. Cet article traite de la th6orie des connexions en G6o- metric diff6rentielle synth6tique. Il possede deux principales fa- cettes. Nous discutons d’abord de plusieurs notions classiques de fagon synth6tique. Nous utilisons ensuite ces pr6liminaires pour 6tablir 1’equivalence, sous certaines conditions des concepts sui- vants : connexion et fonction de connexion, connexion et gerbe, et leurs g6od6siques respectives. Nous comparons enfin deux no- tions synth6tiques de gerbes dues à Joyal’ et à Lawvere. 0. INTRODUCTION. A synthetic definition of what a connexion is has already been given by Kock and Reyes [4] ; they also partially compare it therein with the notion of a connection map in the sense of Dombrowski and Patterson [7].
    [Show full text]
  • On Geodesics in Riemannian Geometry
    Lectures on Geodesics Riemannian Geometry By M. Berger Lectures on Geodesics Riemannian Geometry By M. Berger No part of this book may be reproduced in any form by print, microfilm or any other means with- out written permission from the Tata Institute of Fundamental Research, Colaba, Bombay 5 Tata Institute of Fundamental Research Bombay 1965 Introduction The main topic of these notes is geodesics. Our aim is twofold. The first is to give a fairly complete treatment of the foundations of rieman- nian geometry through the tangent bundle and the geodesic flow on it, following the path sketched in [2] and [19]. We construct the canonical spray of a riemannian manifold (M, g) as the vector field G on T(M) defined by the equation 1 i(G) dα = dE, · −2 where i(G) dα denotes the interior product by G of the exterior deriva- · tive dα of the canonical form α on (M, g) (see (III.6)) and E the energy (square of the norm) on T(M). Then the canonical connection is intro- duced as the unique symmetric connection whose associated spray is G. The second is to give global results for riemannian manifolds which are subject to geometric conditions of various types; these conditions involve essentially geodesics. These global results are contained in Chapters IV, VII and VIII. Chapter IV contains first the description of the geodesics in a symmetric compact space of rank one (called here an S.C.-manifold) and the de- scription of Zoll’s surface (a riemannian manifold, homeomorphic to the two-dimensional sphere, non isometric to it and all of whose geodesics through every point are closed).
    [Show full text]
  • CONNECTIONS by ROBERT ALEXANDER NICOLSON B.Sc
    CONNECTIONS by ROBERT ALEXANDER NICOLSON B.Sc, University of British Columbia, 1969 A THESIS SUBMITTED IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in the Department of MATHEMATICS We accept this thesis as conforming to the required standard THE UNIVERSITY OF BRITISH COLUMBIA APRIL, 1972 In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the Head of my Department or by his representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission. Department of /l7j^L^mo3xA/) The University of British Columbia Vancouver 8, Canada Date ttfal 7 if 72 [ii] Supervisor; Dr„ J. Gamst ABSTRACT The main purpose of this exposition is to explore the relations between the notions of covariant deriva• tive,, connection, and spray. We begin by introducing the basic definitions and then use a method of Gromoll, Klingenberg and Meyer to show that covariant derivatives and connections on vector bundles are in a natural one-to-one correspondence. We conclude by showing that on the tangent bundle of a manifold, sprays and "symmetric" connections are in a natural one-to-one correspondence. Although we use a different method, this re-establishes a result of Ambrose, Palais, and Singer. TABLE OF CONTENTS Introduction 1 Chapter 1. COVARIANT DERIVATIVES 6 1.1 Definition 6 1.2 Local Coordinates 7 1.03 Parallel Transport 11 1.4 The Difference Between Two Covariant Derivatives 13 1.5 Covariant Derivatives on Manifolds 14 lo6 Geodesies 16 1.7 Difference and Torsion 17 Chapter 2.
    [Show full text]
  • A Crash Course in Geometric Mechanics Tudos Ratiu
    A Crash Course in Geometric Mechanics Tudos Ratiu To cite this version: Tudos Ratiu. A Crash Course in Geometric Mechanics. 3rd cycle. Monastir (Tunisie), 2005, pp.134. cel-00391890 HAL Id: cel-00391890 https://cel.archives-ouvertes.fr/cel-00391890 Submitted on 5 Jun 2009 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. V A Crash Course in Geometric Mechanics T.S. Ratiu, R. Tudoran, L. Sbano, E. Sousa Dias & G. Terra Notes of the courses given by Tudor Ratiu 1 Introduction These lecture notes are the direct result of presentations held in two consec- utive years (2000 and 2001) at the Peyresq Conference Center, in the Alpes de Haute Provence, North of Nice. These summer schools were organized in conjunction with the Research Training Network MASIE (Mechanics and Symmetry in Europe) of the Fifth Framework Program of the European Com- mission and were intended for graduate students and postdocs who needed a crash course in geometric mechanics. They were also tailored to link with the other lectures and provide the necessary background for them. There are already many books on this subject and its links to symplectic and Poisson geometry (see, e.g.
    [Show full text]