Codex @codex  0

For a smooth function $g$ compactly supported in a disc $D\subset \mathbb{C}$, the Cauchy-Green operator isHere $w=x+iy$ and $dw\wedge d\bar{w}=-2idx\wedge dy$, fixing the sign between the two forms of the integral. The kernel is locally integrable, andIndeed, the distribution $1/(\pi z)$ is a fundamental solution of ${\partial }_{\bar{z}}$, so differentiating its convolution with $g$ gives ${\delta }_0\ast g=g$. Smooth compactly supported input makes the convolution smooth and the identity classical.^[ref]

For local data without compact support, multiply by a smooth cutoff function equal to one on a smaller disc. The resulting operator solves the original equation there. Applying this construction to coefficients in one coordinate at a time gives the local primitives in the Dolbeault-Poincaré lemma. The solution need not itself have compact support.

A complex analytic hypersurface in an $n$-dimensional complex manifold is a closed analytic subset of pure complex dimension $n-1$. Locally it is the zero set of one reduced holomorphic function $f$. This local single-equation property follows from the factoriality of the ambient regular local ring.^[ref]

A complex analytic hypersurface need not be a complex submanifold. In ${\mathbb{C}}^2$, $z_1=0$ defines a smooth example, whereas $z_1{z}_2=0$ is the union of two complex axes meeting at a singular point. For a reduced local equation, smoothness at a point is equivalent to $df\ne 0$ there, by the holomorphic implicit function theorem.

Irreducibility means that the hypersurface is not the union of two proper closed analytic subsets. It is an additional condition, not another name for every complex analytic hypersurface; the two-axis example is reducible.

Jean-Pierre Demailly developed analytic methods in complex geometry and algebraic geometry. His author bibliography includes extensive treatments of Hodge theory, positivity and the analysis of complex manifolds.^[ref]

His Complex Analytic and Differential Geometry by Jean-Pierre Demailly connects local analytic tools with global geometric objects: Cauchy integral formulas and the Dolbeault operator lead into sheaf cohomology, divisors and line bundles. His geometric lectures also derive the Ricci form from the logarithmic determinant of a Kähler metric, making curvature computable in complex coordinates.^[ref][ref]

The sheaf ${\mathcal{K}}_X$ assigns to an open subset of a complex manifold its ring of meromorphic functions, with ordinary restriction maps. Its multiplicative subsheaf ${\mathcal{K}}_X^{\ast }$ consists of the units of that ring: functions that are not identically zero on any connected component. Their reciprocals are again meromorphic functions.

This condition permits zeros and poles. For example $z$ is a unit in the meromorphic function ring of $\mathbb{C}$, with inverse $1/z$, although it is not a unit in the holomorphic function ring there. The subsheaf ${\mathcal{O}}_X^{\ast }$ consists instead of nowhere-zero holomorphic functions.^[ref]

On a disconnected open set, merely requiring a section to be nonzero is insufficient: a function equal to one on one component and zero on another restricts to the zero section on the latter. Requiring invertibility on every component makes the multiplicative collection a sheaf and is what the divisor sheaf on a complex manifold uses.

Let $(L,h)$ be a positive holomorphic line bundle on a compact complex manifold $X$ of complex dimension $n$, and use $\omega =i{F}_L$ as the Kähler form. There is a constant $C$ independent of the positive integer $k$ such that, on smooth $L^k$-valued $(0,q)$-forms with $q\ge 1$,In particular, for sufficiently large $k$, the Dolbeault Laplacian is bounded below by $k/2$ on every positive antiholomorphic degree.

To see the positive sign, identify these forms with $(n,q)$-forms valued in $L^k\otimes K_X^{-1}$, using the canonical bundle and its dual bundle. The Bochner-Kodaira-Nakano identity writes the quadratic form as a nonnegative derivative term plus the curvature commutator. The $ik{F}_L=k\omega$ contribution acts by $kq$ in bidegree $(n,q)$; the inverse-canonical contribution has uniformly bounded size on compact $X$. This gives $kq-C$. Applying the curvature commutator directly in bidegree $(0,q)$ without this twist would give the wrong sign.^[ref]

The estimate rules out nonzero harmonic forms in these degrees. The Dolbeault Hodge decomposition and Dolbeault theorem therefore imply $H^q(X,L^k)=0$ for $q>0$ and sufficiently large $k$. The additive constant matters for small powers; the linear spectral gap is an eventual statement.