- Cohomologie de Dolbeault
-
En géométrie complexe et en géométrie différentielle, la cohomologie de Dolbeault (de) est une généralisation aux variétés complexes de la cohomologie de De Rham.
Définition du complexe de cochaines
Pour un fibré vectoriel holomorphe E sur une variété complexe M, les formes différentielles sur M à valeurs dans E se définissent comme les sections du fibré . Parmi ces formes différentielles se distinguent celles qui sont linéaires en les p premières variables et antilinéaires en les q suivantes, dites de bidegré (p,q). On note usuellement Ωp,q(M,E) l'espace vectoriel complexe des formes différentielles de bidegré (p,q) à valeurs dans E. Ces espaces sont en somme orthogonale et :
. Si E est le fibré en droites complexes trivial sur M, on s'empresse de l'oublier dans les notations. En particulier :
. Pour une forme différentielle φ de bidegré (p,q), on note la partie de degré (p,q + 1) de suivant la décomposition ci-dessus. Si ξ est une section holomorphe (locale) de E, alors définit une forme différentielle de bidegré (p,q) à valeurs dans E, et on définit :
. Comme E est localement engendré par ses sections holomorphes, se prolonge en un opérateur sur Ωp,q(M,E) à valeurs dans Ωp,q + 1(M,E), appelé opérateur de Cauchy-Riemann. L'expression ci-dessus ne reste valable que pour des sections holomorphes de E. On dispose donc de flèches :
. Comme , on dispose d'un complexe de cochaines , dont le q-ième groupe de cohomologie est appelé (p,q)-groupe de Dolbeault :
. Théorème de Dolbeault
Le théorème de De Rham affirme que les complexes de De Rham et les complexes de cohomologie singulière d'une variété différentielle réelle sont homotopes. Le théorème de Dolbeault peut être vu comme un analogue complexe.
Théorème de Dolbeault — Le (p,q)-ième groupe de cohomologie de Dolbeault du fibré holomorphe E est canoniquement isomorphe au q-ième groupe de cohomologie de Cech du faisceau des p-formes holomorphes sur M à valeurs dans E :
PreuveDans l'identité ci-dessus, , qui est un fibré holomorphe sur M, est identifié au faisceau de ses sections holomorphes. On introduit le faisceau des formes différentielles de bidegré (p,q) à valeurs dans E. Le lemme de Poincaré permet d'affirmer que la suite suivante est une suite exacte de faisceaux :
. L'exactitude signifie dans la situation présente que les suites correspondantes des espaces des sections globales sur les ouverts contractibles sont des suites exactes d'espaces vectoriels. Cela ne signifie en aucun cas que la suite des espaces des sections globales sur la variété soit exacte. En oubliant le premier terme, on dispose d'un complexe de cochaines :
qui n'est autre justement que le complexe définissant les groupes de cohomologie de Dolbeault. Le théorème de Dolbeault se déduit d'un résultat général en cohomologie de Cech concenant les résolutions acycliques. On donne ici une démonstration adaptée au cas étudié.
La suite exacte se scinde en des suites exactes courtes de faisceaux :
et pour r > 0, où Fp,r désigne l'image de ou, par exactitude, le noyau de . De fait, c'est le faisceau des formes différentielles de bigré (p,q) à valeurs dans E et -fermées. Remarquons que est exactement le noyau de . L'image de est contenue dans .
Ces suites exactes courtes induisent des suites exactes longues en cohomologie de Cech (qu'on se garde d'expliciter ici). Comme les faisceaux sont acycliques (existence de partitions de l'unité sur toute variété réelle), un terme sur quatre de cette suite exacte longue est nulle. Les morphismes de bord apparaissent presque tous comme des isomorphismes, ce qui donne les identités suivantes :
- Pour q > 0, et r > 0, ;
- Pour r > 0, ;
- Pour q > 0, ;
- Puis ;
- Et enfin .
La combinaison de ces isomorphismes fournit le résultat recherché. La naturalité (ou fonctorialité) des isomorphes obtenus découle immédiatement des propriétés de fonctorialité des suites exactes longues de groupes de cohomologie de Cech en fonction des suites exactes courtes. La démonstration du théorème de Dolbeault est terminée.
Catégories :- Théorie d'homologie
- Géométrie complexe
- Topologie différentielle
- Forme différentielle
Wikimedia Foundation. 2010.