Let XX be a . For a , the has only two type components. The Dolbeault operators are their projections:

∂:Ωp,q(X)→Ωp+1,q(X),∂ˉ:Ωp,q(X)→Ωp,q+1(X),d=∂+∂ˉ.\partial:\Omega^{p,q}(X)\to\Omega^{p+1,q}(X), \qquad \bar\partial:\Omega^{p,q}(X)\to\Omega^{p,q+1}(X), \qquad d=\partial+\bar\partial.

They are complex-linear first-order differential operators. Since d2=0d^2=0 and the three resulting bidegrees are distinct, they satisfy ∂2=0\partial^2=0, ∂ˉ2=0\bar\partial^2=0, and ∂∂ˉ+∂ˉ∂=0\partial\bar\partial+\bar\partial\partial=0. Thus each operator is intrinsic to the complex structure and independent of the chosen holomorphic coordinates.

Local formulas

In holomorphic coordinates z1,…,znz^1,\ldots,z^n, for a smooth function ff,

∂f=∑j∂f∂zj dzj,∂ˉf=∑j∂f∂zˉj dzˉj.\partial f=\sum_j\frac{\partial f}{\partial z^j}\,dz^j, \qquad \bar\partial f=\sum_j\frac{\partial f}{\partial\bar z^j}\,d\bar z^j.

The operators extend to forms by the graded Leibniz rule. A smooth complex-valued function is holomorphic exactly when ∂ˉf=0\bar\partial f=0.

Dolbeault complexes

For fixed pp, the identity ∂ˉ2=0\bar\partial^2=0 makes

Ωp,0(X)→∂ˉΩp,1(X)→∂ˉΩp,2(X)⟶⋯\Omega^{p,0}(X)\xrightarrow{\bar\partial}\Omega^{p,1}(X) \xrightarrow{\bar\partial}\Omega^{p,2}(X)\longrightarrow\cdots

a . Its cohomology is . The analogous ∂\partial-complex fixes qq, and complex conjugation interchanges the two operators.

Integrability and scope

On an almost-complex manifold, dd may have additional components of bidegrees (2,−1)(2,-1) and (−1,2)(-1,2). Their disappearance is equivalent to , so the two-term formula above uses the complex-manifold hypothesis.

References
  1. R. O. Wells Jr., Differential Analysis on Complex Manifolds, 3rd ed., Springer, 2008. DOI record. Relevant: Chapter I, §3, the operators ∂\partial and ∂ˉ\bar\partial.
  2. C. Voisin, Hodge Theory and Complex Algebraic Geometry I, Cambridge University Press, 2002. DOI record. Relevant: §2.1, bidegrees and Dolbeault complexes.