Un théorème qui établit un isomorphisme canonique entre la cohomologie de De Rham d'une variété lisse (cohomologie construite à partir des formes différentielles modulo les formes exactes) et sa cohomologie singulière à coefficients réels, identifiant ainsi les invariants issus des formes différentielles aux classes cohomologiques topologiques.

Principe

L'isomorphisme provient de l'intégration des formes fermées sur des chaînes singulières combinée au lemme de Poincaré et aux partitions de l'unité ; il organise l'interaction entre topologie et analyse en montrant que les formes différentielles fermées détectent la même information cohomologique que les cochaînes singulières à coefficients réels.

Démonstration

Sur le cercle S1, toute 1-forme fermée a une intégrale constante autour du cercle ; l'espace des 1-formes fermées modulo les formes exactes est de dimension un sur R, ce qui coïncide avec H1(S1; R) ≅ R, montrant l'accord entre groupes de De Rham et singuliers par intégration.

Mauvaise application

Supposer que le même isomorphisme vaut à coefficients entiers, sur des espaces non lisses ou pour des espaces topologiques pathologiques sans partitions de l'unité ; par exemple, remplacer R par Z fait échouer le théorème car les formes différentielles donnent naturellement des invariants à valeurs réelles.

Conséquence

Les invariants topologiques des variétés lisses peuvent être calculés analytiquement à l'aide des formes différentielles ; cela permet de transférer des problèmes entre géométrie différentielle, analyse et topologie algébrique et sous-tend des résultats ultérieurs comme la théorie de Hodge.

Inversion

Vu à l'inverse, les classes de cohomologie singulière à coefficients réels admettent des représentants par des formes différentielles lisses ; en d'autres termes, l'information topologique détermine des représentants analytiques modulo formes exactes, même si le représentant n'est pas unique sans structure supplémentaire.

Limite

Valable pour les variétés lisses (C∞) et les coefficients réels ; requiert la paracompacticité pour utiliser des partitions de l'unité et échoue en général pour les espaces singuliers, les non-variétés ou pour des coefficients autres que R sauf si des structures additionnelles sont présentes.

Tension sémantique

Proche mais distinct du théorème de Hodge : De Rham fournit un isomorphisme algébrique/topologique sur R, tandis que Hodge identifie des représentants harmoniques canoniques grâce à une métrique riemannienne ; les deux sont liés mais répondent à des questions différentes.

Synthèse

Le théorème de De Rham relie de manière cohérente les formes différentielles et la topologie algébrique en montrant que la cohomologie analytique construite à partir des formes fermées modulo les formes exactes reproduit la cohomologie singulière réelle de la variété, permettant de calculer les invariants topologiques par des méthodes analytiques.