Dolbeault-Poincaré lemma

On a sufficiently small polydisc in a complex manifold, every $\bar{\partial }$-closed $(p,q)$-form with $q>0$ is locally $\bar{\partial }$-exact. A coefficientwise one-variable integral operator and induction over the coordinates prove the result.

For a $\bar{\partial }$-closed positive-antiholomorphic-degree differential form of type (p, q) on a polydisc, write $\phi =d{\bar{z}}_j\wedge \alpha +\beta$ with no $d{\bar{z}}_j$ in $\alpha ,\beta$. Apply the Cauchy-Green operator in coordinate $j$ to the coefficients of $\alpha$. Subtracting its Dolbeault operator derivative removes every $d{\bar{z}}_j$ term. Closedness then makes the remaining coefficients holomorphic in $z_j$. Eliminating successive coordinates preserves holomorphicity in earlier coordinates and produces a local primitive after finitely many steps.

On a polydisc, a $\partial$-closed differential form of type (p, q) with $p>0$ is $\partial$-exact. Apply the Dolbeault-Poincaré lemma to its complex conjugate, whose antiholomorphic degree is $p$.

On a disc $D\subset \mathbb{C}$, the Cauchy-Green operatoris a right inverse to $\partial /\partial \bar{z}$ in the interior: ${\partial }_{\bar{z}}Tg=g$. Applying it to coefficients gives the local homotopy operator used in the Dolbeault-Poincaré lemma.