Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 19 2 Solution Created 2026-10-03 Updated 2026-10-14
On a complex manifold, the exterior derivative splits by type as . The conjugate Dolbeault operator raises holomorphic degree by one and the Dolbeault operator raises antiholomorphic degree by one. Their identities areUse the convention for the d c operator; then . The alternative convention with a factor changes this last factor only. Complex conjugation of differential-form type interchanges and without reversing the wedge order. Thus, for a real form ,The resulting form is real, independently of the degree or type components of .
The Dolbeault cohomology isIn degree there is no incoming image, and the kernel consists of global holomorphic functions. On a compact connected , attains a maximum. In a coordinate polydisc around a maximizing point, the one-variable maximum modulus principle applied successively along the coordinate directions makes constant on a smaller polydisc. Alternatively the same argument shows the maximum set is open; it is closed and nonempty, so connectedness makes it all of , and the local constancy then makes globally constant. Consequently
A holomorphic p-form on a complex manifold is a form of type with holomorphic coordinate coefficients, equivalently one killed by . For degree , it is -closed: its vanishes by holomorphicity and its has impossible bidegree . Its conjugate is also closed.
The key positivity behind nonzero holomorphic top forms are not exact is explicit. If , complex orientation givesThis is nonnegative everywhere and positive on some open set when , so its integral on the compact manifold is strictly positive. If , closedness of and the Stokes theorem would giveHere Stokes is used on a compact oriented manifold without boundary, and complex-valued forms are handled by linearity. The contradiction proves a nonzero holomorphic top form is not -exact. For dimension zero the same nonexactness follows directly from the absence of degree forms.
Now take a compact complex surface, with no Kähler metric assumed. For a holomorphic one-form , the form has type and is holomorphic, since . It is exact. The top-form result forces , proving closedness. This establishes holomorphic forms on a compact complex surface are closed by an argument which does not require a Kähler identity.
If a holomorphic one-form were exact, write for a global smooth complex function. Comparing types gives . The preceding compactness argument makes constant on every connected component, hence . Holomorphic two-forms are closed and nonexact unless zero by the top-form result. Holomorphic zero-forms are constant on each component, and a nonzero zero-form is never exact because there are no negative-degree forms. Degrees above two contain only zero forms. Therefore every holomorphic form on a compact complex surface is closed, and a nonzero one is never exact.