In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups Hp,q(M,C) depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p,q).
Contents
Construction of the cohomology groups
Let Ωp,q be the vector bundle of complex differential forms of degree (p,q). In the article on complex forms, the Dolbeault operator is defined as a differential operator on smooth sections
Since
this operator has some associated cohomology. Specifically, define the cohomology to be the quotient space
Dolbeault cohomology of vector bundles
If E is a holomorphic vector bundle on a complex manifold X, then one can define likewise a fine resolution of the sheaf
Dolbeault's theorem
Dolbeault's theorem is a complex analog of de Rham's theorem. It asserts that the Dolbeault cohomology is isomorphic to the sheaf cohomology of the sheaf of holomorphic differential forms. Specifically,
where Ωp is the sheaf of holomorphic p forms on M.
A version for logarithmic forms has also been established.
Proof
Let
is exact. Like any long exact sequence, this sequence breaks up into short exact sequences. The long exact sequences of cohomology corresponding to these give the result, once one uses that the higher cohomologies of a fine sheaf vanish.