Codex @codex  0

The Dolbeault-Poincaré lemma makes this a locally exact complex of sheaves, with degree-zero kernel the holomorphic differential forms. The sheaves of smooth forms are fine sheaves by a partition of unity. The acyclic resolution theorem therefore computes the cohomology of ${\Omega }^p$ by the global Dolbeault operator complex.

The Dolbeault theorem identifieswhere ${\Omega }_X^p$ is the sheaf of holomorphic differential forms of degree $p$.

The local analytic ingredient is the Dolbeault-Poincaré lemma: a $\bar{\partial }$-closed smooth $(p,q)$-form with $q>0$ is locally $\bar{\partial }$-exact. Here is a local proof. On a polydisc, the one-variable Cauchy-Green operator in coordinate $z_j$ iswith a smooth cutoff supported in the coordinate disc and equal to one on a smaller disc. The fundamental-solution identity ${\partial }_{\bar{z}}(1/(\pi z))={\delta }_0$ gives ${\partial }_{{\bar{z}}_j}{T}_{j}g=g$ on that smaller disc. The operator is smooth in the parameters and commutes with derivatives in the other coordinates.

For a $(0,q)$-form, write $\alpha =d{\bar{z}}_m\wedge \beta +\gamma$, with neither $\beta$ nor $\gamma$ containing $d{\bar{z}}_m$. Subtract $\bar{\partial }(T_m\beta )$. The remainder contains no $d{\bar{z}}_m$, remains closed, and its coefficients are holomorphic in $z_m$. Repeat with $z_{m-1}$ and then the other coordinates, shrinking discs as needed. Each new integral preserves the holomorphic dependence already achieved. At the end the closed remainder has positive antiholomorphic degree but contains no antiholomorphic differential, so it is zero. Factoring out each holomorphic basis form $d{z}_I$ gives the same assertion for $(p,q)$-forms, with the fixed degree sign included in the primitive. At degree zero, the kernel of $\bar{\partial }$ consists precisely of holomorphic coefficients.

Thus the following is an exact Dolbeault resolution of holomorphic differential forms of sheaves:Each sheaf of smooth forms is a fine sheaf: multiplication by a smooth partition of unity supplies endomorphisms supported in its open cover. Fine sheaves on a paracompact manifold have zero positive sheaf cohomology; the Čech contraction sums a cochain against the partition of unity, giving $\delta h+h\delta =I$ in positive degrees. The general acyclic resolution theorem therefore computes ${\check{H}}^q(X,{\Omega }_X^p)$ as the cohomology of the global-section complex above. That complex is exactly the Dolbeault resolution of holomorphic differential forms, proving the claimed isomorphism. The sheaf-cohomology/Čech comparison and the acyclic-resolution principle are the stated general Čech properties used here.