Tenseur de torsionEn géométrie différentielle, la torsion constitue, avec la courbure, une mesure de la façon dont une base mobile évolue le long des courbes, et le tenseur de torsion en donne l'expression générale dans le cadre des variétés, c'est-à-dire des « espaces courbes » de toutes dimensions. La torsion se manifeste en géométrie différentielle classique comme une valeur numérique associée à chaque point d'une courbe de l'espace euclidien.
Solder formIn mathematics, more precisely in differential geometry, a soldering (or sometimes solder form) of a fiber bundle to a smooth manifold is a manner of attaching the fibers to the manifold in such a way that they can be regarded as tangent. Intuitively, soldering expresses in abstract terms the idea that a manifold may have a point of contact with a certain model Klein geometry at each point. In extrinsic differential geometry, the soldering is simply expressed by the tangency of the model space to the manifold.
Vertical and horizontal bundlesIn mathematics, the vertical bundle and the horizontal bundle are vector bundles associated to a smooth fiber bundle. More precisely, given a smooth fiber bundle , the vertical bundle and horizontal bundle are subbundles of the tangent bundle of whose Whitney sum satisfies . This means that, over each point , the fibers and form complementary subspaces of the tangent space . The vertical bundle consists of all vectors that are tangent to the fibers, while the horizontal bundle requires some choice of complementary subbundle.
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 .
Lie algebra-valued differential formIn differential geometry, a Lie-algebra-valued form is a differential form with values in a Lie algebra. Such forms have important applications in the theory of connections on a principal bundle as well as in the theory of Cartan connections. A Lie-algebra-valued differential -form on a manifold, , is a smooth section of the bundle , where is a Lie algebra, is the cotangent bundle of and denotes the exterior power.
Fibré adjointEn géométrie différentielle, le fibré adjoint est un fibré vectoriel associé particulier d'un -fibré principal. Il joue un rôle important en théorie de jauge où les transformations de jauge infinitésimales, les vecteurs tangents à l'espace des formes de connexions et la 2-forme de courbure sont toutes des formes différentielles à valeurs dans le fibré adjoint. Soient : un groupe de Lie ; l'algèbre de Lie de ; une variété différentielle ; un -fibré principal sur ; l'action de groupe à droite de sur ; la représentation adjointe de sur son algèbre de Lie .
Groupe de jaugeEn géométrie différentielle, le groupe de jauge d'un fibré principal est le sous-groupe du groupe des automorphismes du fibré principal qui envoient ses fibres en elles-mêmes. La notion de groupe de jauge joue un rôle primordial en théorie de jauge. En particulier, son action de groupe sur un espace de formes de connexions donne lieu à la notion d'espace de module de connexions, nécessaire à la définition de l'homologie de Floer d'instantons. Soit un -fibré principal sur une variété différentielle et soit son action de groupe agissant par la droite.
Metric connectionIn mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to: A connection for which the covariant derivatives of the metric on E vanish. A principal connection on the bundle of orthonormal frames of E. A special case of a metric connection is a Riemannian connection; there is a unique such which is torsion free, the Levi-Civita connection.
