Formes Différentielles

Les formes différentielles sont des objets antisymétriques qui peuvent être intégrés sur des variétés orientées, et la dérivée extérieure, associée au théorème de Stokes, unifie les théorèmes classiques du calcul vectoriel en une seule affirmation.

Definition

Une k-forme différentielle sur une variété lisse est un champ lisse de fonctions k-linéaires alternées sur les espaces tangents ; les formes peuvent être additionnées, multipliées par le produit extérieur, différentiées par la dérivée extérieure et intégrées sur des sous-variétés orientées de dimension k.

Scope

Ce sujet développe l'algèbre extérieure des formes différentielles, le produit extérieur, la dérivée extérieure et le pullback (image réciproque) sous des applications lisses. Il définit l'orientation et l'intégration des formes de degré maximal, culminant avec le théorème de Stokes généralisé, et introduit la cohomologie de de Rham comme l'obstruction à ce qu'une forme fermée soit exacte. Le produit intérieur, la dérivée de Lie via la formule magique de Cartan, et les applications au volume et au flux complètent le tableau, reliant la géométrie différentielle à la topologie.

Core questions

• Pourquoi l'antisymétrie est-elle la condition appropriée pour des objets qui peuvent être intégrés indépendamment des coordonnées ?
• Comment la dérivée extérieure généralise-t-elle simultanément le gradient, le rotationnel et la divergence ?
• Comment le théorème de Stokes unifie-t-il le théorème fondamental du calcul, les théorèmes de Green, de Gauss et le théorème de Stokes classique ?
• Que mesure la cohomologie de de Rham concernant les formes fermées qui ne sont pas exactes ?

Key concepts

• Algèbre extérieure et produit extérieur
• Dérivée extérieure et pullback (image réciproque)
• Orientation et intégration des formes
• Théorème de Stokes généralisé
• Cohomologie de de Rham et formes fermées versus exactes

Clinical relevance

Les formes différentielles constituent le langage naturel de l'électromagnétisme (les équations de Maxwell comme équations de formes), de la mécanique hamiltonienne (formes symplectiques) et de la théorie de jauge, et elles relient la géométrie différentielle à la topologie algébrique via le théorème de de Rham.

History

S'appuyant sur l'algèbre extérieure de Grassmann, Cartan a développé le calcul des formes différentielles au début du XXe siècle ; le théorème de de Rham (1931) a lié leur cohomologie à la topologie de la variété, rendant les formes centrales à la fois pour la géométrie et la topologie.

Key figures

• Élie Cartan
• Georges de Rham
• Hermann Grassmann

Seminal works

• lee2012
• tu2011

Frequently asked questions

Pourquoi les formes doivent-elles être antisymétriques ?

L'antisymétrie encode l'orientation et rend l'intégration sur les variétés orientées indépendante des coordonnées — le jacobien du changement de variables apparaît précisément comme le déterminant produit par le produit extérieur.

Quelle est la différence entre une forme fermée et une forme exacte ?

Une forme fermée a une dérivée extérieure nulle ; une forme exacte est la dérivée extérieure d'une autre forme. Toute forme exacte est fermée, et la cohomologie de de Rham mesure le nombre de formes fermées qui ne sont pas exactes.