Dolbeault-Kohomologie

Die Dolbeault-Kohomologie ist eine mathematische Konstruktion aus dem Bereich der Differentialtopologie und der komplexen Geometrie. Benannt wurde sie nach dem Mathematiker Pierre Dolbeault, der sie 1953 definierte und untersuchte. Die Dolbeault-Kohomologie ist eine spezielle Kohomologietheorie. Als Analogon zur De-Rham-Kohomologie auf komplexen Mannigfaltigkeiten ist sie ebenfalls zentral in der Hodge-Theorie.

Dolbeault-Komplex

Im Folgenden werde mit ${𝒜}^{p,q}$ die Menge der $(p,q)$-Differentialformen bezeichnet. Sei $M$ eine $n$-dimensionale komplexe Mannigfaltigkeit, $U\subset M$ eine offene Teilmenge und

$\bar{\partial }:{𝒜}^{p,q}(U)\to {𝒜}^{p,q+1}(U)$

der Dolbeault-Quer-Operator. Dann heißt die Sequenz

$0⟶{𝒜}^{p,0}(U)\stackrel{{\bar{\partial }}_0}{⟶}{𝒜}^{p,1}(U)\stackrel{{\bar{\partial }}_1}{⟶}{𝒜}^{p,2}(U)\stackrel{{\bar{\partial }}_2}{⟶}\dots \stackrel{{\bar{\partial }}_{n-1}}{⟶}{𝒜}^{p,n}(U)⟶0$

$p$-ter Dolbeault-Komplex. Dieser Komplex ist ein Kokettenkomplex, denn es gilt ${\bar{\partial }}_{k+1}\circ {\bar{\partial }}_k=0.$ Da die zugrundeliegende Mannigfaltigkeit endlichdimensional ist, bricht der Komplex nach $n$ Schritten ab. Außerdem ist der Dolbeault-Komplex elliptisch, das heißt der Kokettenkomplex der Hauptsymbole von $\bar{\partial }$ ist exakt.

Dolbeault-Kohomologie

Aus diesem $p$-ten Kokettenkomplex erhält man auf gewohnte Weise eine Kohomologie. Diese Kohomologie heißt $p$-te Dolbeault-Kohomologie und wird durch $H_{\bar{\partial }}^p(U)$ notiert. Die $q$-te Kohomologiegruppe der $p$-ten Dolbeault-Kohomologie oder kurz die $(q,p)$-te Dolbeault-Gruppe ist also definiert als

$H_{\bar{\partial }}^{p,q}(U)=\mathrm{K}\mathrm{e}\mathrm{r}\mathrm{n}\left({\bar{\partial }}_q\right)/\mathrm{B}\mathrm{i}\mathrm{l}\mathrm{d}\left({\bar{\partial }}_{q-1}\right).$

Genauso wie bei der De-Rham-Kohomologie sind die Kohomologiegruppen auch Vektorräume.

Vorlage:Anker Satz von Dolbeault

Der Satz von Dolbeault ist ein komplexes Analogon zum Satz von de Rham. Mit ${\mathrm{\Omega }}^p(M)$ wird die Garbe der holomorphen $p$-Formen auf der komplexen Mannigfaltigkeit $M$ bezeichnet. Der Satz von Dolbeault besagt nun, dass die $q$-te Garbenkohomologiegruppe mit Werten in den holomorphen $p$-Formen $H_G^q(M,{\mathrm{\Omega }}^p(M))$ isomorph zur $q$-ten Kohomologiegruppe der $p$-ten Dolbeault-Kohomologie $H_{\bar{\partial }}^{p,q}(M)$ ist. In mathematischer Kürze bedeutet dies

$H_{\bar{\partial }}^{p,q}(M)\cong H_G^q(M,{\mathrm{\Omega }}^p(M)).$

Literatur

• P. Dolbeault: Sur la cohomologie des variétés analytiques complexes. In: Comptes rendus hebdomadaires des séances de l'Académie des Sciences. 236, 1953, Vorlage:ISSN, S. 175–277.
• Klaus Fritzsche, Hans Grauert: From Holomorphic Functions to Complex Manifolds. Springer-Verlag, New York NY 2002, ISBN 0-387-95395-7 (Graduate Texts in Mathematics 213).