Cohomologie de De Rham

En mathématiques, la cohomologie de De Rham est un outil de topologie différentielle, c'est-à-dire adapté à l'étude des variétés différentielles. Il s'agit d'une théorie cohomologique fondée sur des propriétés algébriques des espaces de formes différentielles sur la variété. Elle porte le nom du mathématicien Georges de Rham.

Le théorème de De Rham (en) affirme que le morphisme naturel, de la cohomologie de De Rham d'une variété différentielle vers sa cohomologie singulière^[1] à coefficients réels, est bijectif^[2].

Définitions[modifier | modifier le code]

Soit M une variété différentielle, décrivons l'algèbre différentielle graduée (en) (Ω*(M), d) de ses formes différentielles. Pour tout entier naturel p :

$\Omega ^{p}(M)$ est l'espace des formes différentielles de degré p sur M.
$\mathrm {d} ^{p}:\Omega ^{p}(M)\rightarrow \Omega ^{p+1}(M)$ est l'opérateur de différentiation extérieure sur les formes différentielles de degré p.

On note dω la dérivée extérieure de ω quand on ne veut pas préciser son degré ; il faut alors sous-entendre d^pω où p est le degré de ω.

L'étude de la cohomologie de De Rham est l'étude de la "conservation" de certaines propriétés algébriques le long de la chaîne:

\Omega ^{0}(M)\ {\overset {\mathrm {d} }{\longrightarrow }}\ \Omega ^{1}(M)\ {\overset {\mathrm {d} }{\longrightarrow }}\ \dots \ {\overset {\mathrm {d} }{\longrightarrow }}\ \Omega ^{n-1}(M)\ {\overset {\mathrm {d} }{\longrightarrow }}\ \Omega ^{n}(M)

dans un certain sens expliqué plus bas.

Formes fermées, formes exactes[modifier | modifier le code]

Lorsque $\mathrm {d} \omega =0$ (i.e. $\omega \in {\rm {Ker\ d}}$ ), on dit que la forme différentielle $\omega$ est fermée.

Lorsqu’il existe une forme $\alpha$ telle que $\omega ={\rm {d\alpha }}$ (i.e. $\omega \in \mathrm {Im\ d}$ ), on dit que la forme différentielle $\omega$ est exacte.

Théorie locale (lemme de Poincaré)[modifier | modifier le code]

On a pour tout p la relation d^p ∘ d^{p – 1} = 0, souvent abrégé en $\mathrm {d} ^{2}=0$ . On en déduit le :

Théorème — Toute forme différentielle exacte est fermée.

Le lemme de Poincaré permet de montrer que la réciproque est vraie localement :

Lemme de Poincaré — Toute forme différentielle fermée est localement exacte.

Plus précisément, pour toute forme fermée définie sur un ouvert U de M contenant x, il existe un voisinage de x contenu dans U sur lequel la restriction de la forme est exacte.

En effet, si M ⊂ ℝⁿ est un ouvert étoilé, ou un ouvert difféomorphe à un ouvert étoilé, un calcul montre que toute forme fermée est exacte. Maintenant si M est quelconque, tout point admet un voisinage difféomorphe à une boule et on est ramené au cas précédent.

Théorie globale[modifier | modifier le code]

Un lemme de Poincaré global n'existe pas. Par exemple, sur le plan ℝ² privé de l'origine, la forme ${\tfrac {x\mathrm {d} y-y\mathrm {d} x}{x^{2}+y^{2}}}$ est fermée, mais non exacte.

Dans le cas général, le p-ième groupe de cohomologie de De Rham mesure l'obstruction pour une forme fermée à être exacte.

Notations[modifier | modifier le code]

Pour tout entier naturel p, on note :

$Z^{p}(M)=\mathrm {Ker\ d} ^{p}$ l'espace des p-formes fermées.
$B^{p}(M)=\mathrm {Im\ d} ^{p-1}$ l'espace des p-formes exactes.

Comme $\mathrm {d} ^{2}=0$ , on a $\mathrm {Im\ d} ^{p-1}\subseteq \mathrm {Ker\ d} ^{p}$ , donc :

B^{p}(M)\subseteq Z^{p}(M)

l'espace des formes exactes est un sous-espace des formes fermées.

Définition : groupes de cohomologie (de De Rham)[modifier | modifier le code]

On définit l'algèbre graduée H*(M) — la cohomologie de De Rham de M — comme l'homologie du complexe de cochaînes de De Rham associé à l'algèbre différentielle graduée (Ω*(M), d).

Sa composante de degré p est donc l'espace vectoriel quotient de Z^p(M) par B^p(M) :

H^{p}(M)\ =\ Z^{p}(M)\,/\,B^{p}(M),

c'est-à-dire l'espace des p-formes fermées modulo le sous-espace des p-formes exactes.

H^p(M) = 0 si p < 0 ou si p est strictement supérieur à la dimension de M.

Si M est compacte, chaque H^p(M) est de dimension finie^[3].

La dimension de H^p(M) s'appelle le p-ième nombre de Betti (réel), noté b_p(M).

Toute application différentiable f : M → N entre deux variétés induit un morphisme d'algèbres différentielles graduées Ω(f) : Ω*(N) → Ω*(M) donc un morphisme d'algèbres graduées f* : H*(N) → H*(M). On vérifie facilement que H* est un foncteur (contravariant).

Invariance par homotopie[modifier | modifier le code]

Si deux applications différentiables f, g : M → N sont homotopes, elles le sont différentiablement^[4]. On parvient alors à construire^[5]^,^[6]^,^[7] un opérateur L : Ω(N) → Ω(M) de degré –1 tel que Ω(g) – Ω(f) = d∘L + L∘d, ce qui prouve que g* = f*.

Toute application continue de M dans N est homotope à une application différentiable^[8]^,^[9]. Elle détermine donc encore un morphisme de H*(N) dans H*(M)^[10].

Exemples[modifier | modifier le code]

H⁰(M) ≃ ℝ^c, où c désigne le nombre de composantes connexes de M.
Si M est une variété lisse compacte connexe et orientable de dimension n, alors Hⁿ(M) est de dimension 1.
Un isomorphisme explicite est donné par l'intégration des formes différentielles

de degré maximum : une orientation de M étant donnée, l'application

\omega \mapsto \int _{M}\omega

de $\Omega ^{n}(M)$ dans R est nulle sur les formes exactes d'après le théorème de Stokes. Elle passe donc au quotient en une application de Hⁿ(M) dans R, et l'on démontre^[11] qu'on obtient ainsi un isomorphisme.

Si M n'est pas orientable ou n'est pas compacte (les autres hypothèses restant les mêmes), Hⁿ(M) = 0.
H^k(Sⁿ) = 0 pour 0 < k < n.

Théorème de Hodge-de Rham[modifier | modifier le code]

Un élément de H^p(M) est une classe d'équivalence de formes différentielles de degré p, qui n'admet pas a priori de représentant privilégié. La situation change si M est munie d'une métrique riemannienne g. On peut alors définir un opérateur de divergence

\delta _{g}^{p}:\Omega ^{p}(M)\rightarrow \Omega ^{p-1}(M).

Soit alors

{\mathcal {H}}^{p}(M)=\{\omega \in \Omega ^{p}(M)\mid d^{p}\omega =0\ \mathrm {et} \,\delta _{g}^{p}\omega =0\}.

Ces formes sont dites harmoniques.

Le théorème de Hodge-de Rham^[12] assure que si M est compacte ${\mathcal {H}}^{p}(M)$ est isomorphe à H^p(M).

Exemples[modifier | modifier le code]

Si G est un groupe de Lie compact muni d'une métrique riemannienne bi-invariante, les formes harmoniques sont les formes différentielles bi-invariantes. En particulier, $b_{p}(T^{n})={n \choose p}$ .
Soit S une surface de Riemann compacte. La donnée de la structure complexe équivaut à celle d'une classe de métriques riemanniennes conformes, et les formes harmoniques de degré 1 ne dépendent que de la structure conforme. Ce sont les parties réelles des formes différentielles holomorphes de degré 1. Ainsi $b_{1}(S)=2\gamma$ où $\gamma$ est le genre de S.

Notes et références[modifier | modifier le code]

↑ Plus précisément : la cohomologie singulière de l'espace topologique sous-jacent, supposé ici paracompact.
↑ Henri Cartan, « Les travaux de Georges de Rham sur les variétés différentiables », dans Œuvres - Collected Works, vol. III, Springer, 1979 (ISBN 978-3-54009189-9, lire en ligne), p. 1448-1458, « 1. Le théorème de De Rham ».
↑ Claude Godbillon, Éléments de topologie algébrique [détail de l’édition], p. 189, th. 2.6.
↑ Godbillon, p. 67, prop. 4.11.
↑ Godbillon, p. 164-165 (th. 2.5) : L = K∘Ω(H), où H : M×ℝ → N est une homotopie différentiable de f à g et K : Ω^p(M×ℝ) → Ω^p-1(M) est l'intégration de 0 à 1 le long des fibres de la projection M×ℝ → M.
↑ (en) Ieke Moerdijk et Gonzalo E. Reyes, Models for Smooth Infinitesimal Analysis, Springer, 2013 (lire en ligne), p. 168.
↑ (en) Theodore Voronov, « Differentiable Manifolds — §8: De Rham cohomology », 2011, p. 9-10.
↑ Godbillon, p. 64-66, th. 4.5 et prop. 4.6.
↑ (en) Raoul Bott et Loring W. Tu, Differential Forms in Algebraic Topology, coll. « GTM » (n^o 82) (lire en ligne), p. 213.
↑ Claude Godbillon, Éléments de topologie algébrique [détail de l’édition], p. 166.
↑ Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions], chapitre 7.
↑ Georges de Rham, Variétés différentiables – Formes, courants, formes harmoniques, Paris, Hermann, 1973, 3^e éd., 198 p. (ISBN 978-2-7056-1222-1).

Voir aussi[modifier | modifier le code]

Lien externe[modifier | modifier le code]

Oscar Burlet, Souvenirs de Georges de Rham

Bibliographie[modifier | modifier le code]

Ouvrages de mathématiques[modifier | modifier le code]

(en) Glen E. Bredon (en), Topology and Geometry [détail de l’édition]
(en) William Fulton, Algebraic Topology : A First Course, Springer, coll. « GTM » (n^o 153), 1995, 430 p. (ISBN 978-0-387-94327-5, lire en ligne)
(en) Lars Gårding, Encounter with Mathematics, Springer Verlag, New York, Heidelberg, Berlin, 1977 (ISBN 978-0-387-90229-6), p. 164-166
Alexandru Dimca, Sheaves in topology, Berlin, Springer-Verlag, coll. « Universitext », 2004, 236 p. (ISBN 978-3-540-20665-1, MR 2050072, lire en ligne)

Ouvrages de physique théorique[modifier | modifier le code]

(en) Yvonne Choquet-Bruhat et Cécile DeWitt-Morette, Analysis, Manifolds and Physics - Part I: Basics, North-Holland, 1989 (ISBN 978-0-44486017-0)
(en) Theodore Frankel (en), The Geometry of Physics - An Introduction, Cambridge University Press, 2004, 2^e éd. révisée et illustrée (ISBN 978-0-52153927-2)
(en) Mikio Nakahara, Geometry, Topology and Physics, Institute of Physics Publishing, 2003, 2^e éd. illustrée (ISBN 978-0-75030606-5)
(en) Charles Nash et Siddhartha Sen, Topology & Geometry for Physicists, Academic Press, 1983 (ISBN 978-0-12514080-5)

Portail des mathématiques

[1] Plus précisément : la cohomologie singulière de l'espace topologique sous-jacent, supposé ici paracompact.

[2] Henri Cartan, « Les travaux de Georges de Rham sur les variétés différentiables », dans Œuvres - Collected Works, vol. III, Springer, 1979 (ISBN 978-3-54009189-9, lire en ligne), p. 1448-1458, « 1. Le théorème de De Rham ».

[3] Claude Godbillon, Éléments de topologie algébrique [détail de l’édition], p. 189, th. 2.6.

[4] Godbillon, p. 67, prop. 4.11.

[5] Godbillon, p. 164-165 (th. 2.5) : L = K∘Ω(H), où H : M×ℝ → N est une homotopie différentiable de f à g et K : Ω^p(M×ℝ) → Ω^p-1(M) est l'intégration de 0 à 1 le long des fibres de la projection M×ℝ → M.

[6] (en) Ieke Moerdijk et Gonzalo E. Reyes, Models for Smooth Infinitesimal Analysis, Springer, 2013 (lire en ligne), p. 168.

[7] (en) Theodore Voronov, « Differentiable Manifolds — §8: De Rham cohomology », 2011, p. 9-10.

[8] Godbillon, p. 64-66, th. 4.5 et prop. 4.6.

[9] (en) Raoul Bott et Loring W. Tu, Differential Forms in Algebraic Topology, coll. « GTM » (n^o 82) (lire en ligne), p. 213.

[10] Claude Godbillon, Éléments de topologie algébrique [détail de l’édition], p. 166.

[11] Jacques Lafontaine, Introduction aux variétés différentielles [détail des éditions], chapitre 7.

[12] Georges de Rham, Variétés différentiables – Formes, courants, formes harmoniques, Paris, Hermann, 1973, 3^e éd., 198 p. (ISBN 978-2-7056-1222-1).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

v · m Homologie et cohomologie
Conjectures	Conjecture de Hodge Conjecture de Tate (en) Conjectures de Weil Conjectures standard (en)
Axiomatisations	Axiomes d'Eilenberg-Steenrod Cohomologie de Weil Cohomologie de Bloch-Ogus Cohomologie de Brown-Peterson (en)
Théories homologiques et cohomologiques	Homologie singulière Homologie cellulaire Homologie simpliciale Homologie de Borel-Moore (en) Homologie de Khovanov (en) Homologie de Morse Homologie de Floer Homologie de Hochschild Homologie des groupes Homologie de Steenrod Homologie d'intersection (en) Cohomologie galoisienne Cohomologie d'Alexander-Spanier Cohomologie elliptique (en) Cohomologie de De Rham Cohomologie de Dolbeault Cohomologie de Čech Cohomologie de Hodge Cohomologie étale Cohomologie ℓ-adique Cohomologie cristalline Cohomologie à support compact (en) Cohomologie motivique K-théorie topologique
Outils	Cap-produit Classe fondamentale (en) Complexe différentiel Cup-produit Cycle algébrique Suite exacte Suite spectrale Théorème des coefficients universels Théorème de Künneth
Dualités	Dualité d'Alexander Dualité de Hodge Dualité d'Isbell (en) Dualité de Lefschetz (en) Dualité de Poincaré Dualité de Pontriaguine Dualité de Serre Dualité de Spanier-Whitehead (en) Dualité de Verdier (en)