Transport parallèlevignette|Transport parallèle d'un vecteur autour d'une boucle fermée (de A à N à B et retour en A) sur une sphère. L'angle par lequel il a tourné est proportionnel à l'aire intérieure à la boucle. En mathématiques, et plus précisément en géométrie différentielle, le transport parallèle est une façon de définir une relation entre les géométries autour de points le long d'une courbe définie sur une surface, ou plus généralement sur une variété.
Connexion de KoszulEn géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950 et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.
2-forme de courbureLa 2-forme de courbure est une forme différentielle induite par une forme de connexion sur un fibré principal dans le domaine de la géométrie différentielle. Soient : un groupe de Lie ; l'algèbre de Lie de ; une variété différentielle ; un -fibré principal sur ; la représentation adjointe de sur son algèbre de Lie ; le fibré adjoint de sur ; le produit extérieur sur les -formes différentielles réelles sur ; le crochet de Lie sur l'algèbre de Lie ; le produit wedge-crochet sur les -formes différentielles à valeurs en sur , défini par les combinaisons linéaires de : une 1-forme de connexion sur .
Jet bundleIn differential topology, the jet bundle is a certain construction that makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant form. Jets may also be seen as the coordinate free versions of Taylor expansions. Historically, jet bundles are attributed to Charles Ehresmann, and were an advance on the method (prolongation) of Élie Cartan, of dealing geometrically with higher derivatives, by imposing differential form conditions on newly introduced formal variables.
Cartan connectionIn the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the geometry of the principal bundle is tied to the geometry of the base manifold using a solder form. Cartan connections describe the geometry of manifolds modelled on homogeneous spaces. The theory of Cartan connections was developed by Élie Cartan, as part of (and a way of formulating) his method of moving frames (repère mobile).
Dérivée covarianteEn géométrie différentielle, la dérivée covariante est un outil destiné à définir la dérivée d'un champ de vecteurs sur une variété. Dans le cas où la dérivée covariante existe, il n'existe pas de différence entre la dérivée covariante et la connexion, à part la manière dont elles sont introduites. (Cela est faux quand la dérivée covariante n'existe pas en revanche ).
