Un isomorphisme de comparaison reliant la cohomologie de Betti (singulière/topologique) d'une variété algébrique ou d'une variété complexe adéquate à sa cohomologie de de Rham algébrique ou analytique, souvent après tensorisation par C, identifiant les intégrales sur des cycles aux périodes des formes différentielles.

Principe

L'intégration de formes différentielles algébriques sur des cycles topologiques induit un isomorphisme entre la cohomologie de de Rham (calculée à partir des formes) et la cohomologie de Betti à coefficients complexes pour les variétés lisses et propres (et dans d'autres cadres avec hypothèses), fondant la théorie de Hodge et les relations de périodes.

Démonstration

Pour une courbe projective lisse complexe, la comparaison identifie H^1(X(C), C) avec H^1_dR(X)⊗C ; des bases explicites de différentielles holomorphes intégrées sur une base d'homologie fournissent la matrice des périodes classique.

Mauvaise application

Supposer une comparaison entière (à coefficients Z) sans tensoriser par C ou appliquer l'isomorphisme à des espaces singuliers qui n'ont pas la lissité/propreté requise ; confondre Betti–de Rham avec des comparaisons étale–de Rham valables dans d'autres contextes arithmétiques.

Conséquence

Relie invariants topologiques et structures algébriques/différentielles, permet le calcul de périodes et de structures de Hodge, et constitue le pont utilisé en questions de transcendance et de comparaisons entre réalisations motiviques.

Inversion

La réciproque — retrouver les formes de de Rham uniquement à partir de classes de Betti sans structure analytique ni coefficients appropriés — échoue sans le complexe de de Rham ; on a besoin des données de formes différentielles pour établir l'isomorphisme.

Limite

Valable sous des hypothèses telles que la lissité et la propreté (ou avec des modifications adaptées pour croissance/coefficients) ; elle n'est pas vraie en général pour des variétés singulières ou des schémas sur des corps non complexes sans remplacer la cohomologie de Betti par un analogue approprié.

Tension sémantique

Tension entre la comparaison Betti–de Rham et d'autres théorèmes de comparaison (par ex. étale–de Rham, comparaisons p‑adiques) : chacun identifie des réalisations cohomologiques différentes selon le corps de base et la topologie, d'où la nécessité de choisir la comparaison adéquate.

Synthèse

La comparaison Betti–de Rham identifie les classes cohomologiques topologiques aux formes différentielles algébriques par intégration, fournissant un isomorphisme (après tensorisation adéquate) qui révèle que topologie géométrique et calcul de de Rham sont deux aspects d'un même invariant cohomologique.