Forme de connexionEn géométrie différentielle, une 1-forme de connexion est une forme différentielle sur un -fibré principal qui vérifie certains axiomes. La donnée d'une forme de connexion permet de parler, entre autres, de courbure, de torsion, de dérivée covariante, de relevé horizontal, de transport parallèle, d'holonomie et de théorie de jauge. La notion de forme de connexion est intimement reliée à la notion de connexion d'Ehresmann. Soient : un groupe de Lie ; l'élément identité de ; l'algèbre de Lie de ; la représentation adjointe de sur ; une variété différentielle ; un -fibré principal sur .
Théorie de jaugeEn physique théorique, une théorie de jauge est une théorie des champs basée sur un groupe de symétrie locale, appelé groupe de jauge, définissant une « invariance de jauge ». Le prototype le plus simple de théorie de jauge est l'électrodynamique classique de Maxwell. L'expression « invariance de jauge » a été introduite en 1918 par le mathématicien et physicien Hermann Weyl. La première théorie des champs à avoir une symétrie de jauge était la formulation de l'électrodynamisme de Maxwell en 1864 dans .
Connexion d'EhresmannEn géométrie différentielle, une connexion d'Ehresmann (d'après le mathématicien français Charles Ehresmann qui a le premier formalisé ce concept) est une version de la notion de connexion qui est définie sur des fibrés. En particulier, elle peut être non-linéaire, puisqu'un espace fibré n'a pas de notion de linéarité qui lui soit naturellement adaptée. Cependant, une connexion de Koszul (parfois aussi appelée connexion linéaire) en est un cas particulier.
Tenseur de RicciDans le cadre de la relativité générale, le champ de gravitation est interprété comme une déformation de l'espace-temps. Celle-ci est exprimée à l'aide du tenseur de Ricci. Le tenseur de Ricci est un champ tensoriel d'ordre 2, obtenu comme la trace du tenseur de courbure complet. On peut le considérer comme le laplacien du tenseur métrique riemannien dans le cas des variétés riemaniennes. Le tenseur de Ricci occupe une place importante notamment dans l'équation d'Einstein, équation principale de la relativité générale.
Tenseur électromagnétiqueLe tenseur électromagnétique, ou tenseur de Maxwell est le nom de l'objet mathématique décrivant la structure du champ électromagnétique en un point donné. Le tenseur électromagnétique est aussi connu comme : le tenseur d'intensité du champ électromagnétique ; le tenseur du champ magnétique ; le tenseur de Maxwell ; le tenseur de Faraday. Ce tenseur est défini dans le cadre du formalisme mathématique de la relativité restreinte, où aux trois dimensions spatiales est adjointe une dimension temporelle.
Vector-valued differential formIn mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms. An important case of vector-valued differential forms are Lie algebra-valued forms. (A connection form is an example of such a form.) Let M be a smooth manifold and E → M be a smooth vector bundle over M.
Connection (principal bundle)In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal G-connection on a principal G-bundle P over a smooth manifold M is a particular type of connection which is compatible with the action of the group G. A principal connection can be viewed as a special case of the notion of an Ehresmann connection, and is sometimes called a principal Ehresmann connection.
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é.
Tenseur de Riemannvignette|Motivation de la courbure de Riemann pour les variétés sphériques. En géométrie riemannienne, le tenseur de courbure de Riemann-Christoffel est la façon la plus courante d'exprimer la courbure des variétés riemanniennes, ou plus généralement d'une variété disposant d'une connexion affine, avec ou sans torsion. Soit deux géodésiques d'un espace courbe, parallèles au voisinage d'un point P. Le parallélisme ne sera pas nécessairement conservé en d'autres points de l'espace.
Courburevignette|Le déplacement d'une Dictyostelium discoideum dont la couleur du contour est fonction de la courbure. Échelle : 5 μm ; durée : 22 secondes. Intuitivement, courbe s'oppose à droit : la courbure d'un objet géométrique est une mesure quantitative du caractère « plus ou moins courbé » de cet objet. Par exemple : dans le plan euclidien, une ligne droite est un objet à une dimension de courbure nulle et un cercle un objet de courbure constante positive, valant 1/R (inverse du rayon) ; dans l'espace euclidien usuel à trois dimensions, un plan est un objet à deux dimensions de courbure nulle, et une sphère est un objet à deux dimensions de courbure constante positive.
Courbure scalaireEn géométrie riemannienne, la courbure scalaire (ou scalaire de Ricci) est un des outils de mesure de la courbure d'une variété riemannienne. Cet invariant riemannien est une fonction qui affecte à chaque point m de la variété un simple nombre réel noté R(m) ou s(m), portant une information sur la courbure intrinsèque de la variété en ce point. Ainsi, on peut décrire le comportement infinitésimal des boules et des sphères centrées en m à l'aide de la courbure scalaire.
Tenseur d'EinsteinEn géométrie différentielle, le tenseur d'Einstein est utilisé pour exprimer la courbure d'une variété pseudo-riemannienne. En relativité générale, il apparaît dans l'équation du champ d'Einstein, pour décrire comment le champ gravitationnel est affecté par la présence de matière. L'éponyme du tenseur d'Einstein est le physicien Albert Einstein (-) qui l'a construit au cours de l'élaboration de la relativité générale.
Introduction aux mathématiques de la relativité généraleLes mathématiques de la relativité générale sont complexes. Dans la théorie du mouvement de Newton, la longueur d'un objet et la vitesse à laquelle le temps s'écoule restent constantes même lorsque l'objet accélère. Cela signifie que de nombreux problèmes de mécanique newtonienne peuvent être résolus uniquement en utilisant l'algèbre. Mais en relativité, la longueur d'un objet et la vitesse à laquelle le temps s'écoule changent sensiblement à mesure que la vitesse de l'objet se rapproche de la vitesse de la lumière.
Exterior covariant derivativeIn the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection. Let G be a Lie group and P → M be a principal G-bundle on a smooth manifold M. Suppose there is a connection on P; this yields a natural direct sum decomposition of each tangent space into the horizontal and vertical subspaces. Let be the projection to the horizontal subspace.
HolonomieEn mathématiques, et plus précisément en géométrie différentielle, l'holonomie d'une connexion sur une variété différentielle est une mesure de la façon dont le transport parallèle le long de boucles fermées modifie les informations géométriques transportées. Cette modification est une conséquence de la courbure de la connexion (ou plus généralement de sa "forme"). Pour des connexions plates, l'holonomie associée est un type de monodromie, et c'est dans ce cas une notion uniquement globale.
