Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 22 5 Solution Created 2026-10-03 Updated 2026-10-14
Let , and use the complex orientation. Write for the real Riemannian metric underlying the Hermitian metric. Its fundamental form of a Hermitian manifold iswhere in this convention. It is real and of type , since . Choose an adapted real orthonormal frame and its dual coframe . Then , giving the Riemannian volume form
We use the complex-linear Hodge star operator, the extension of the real metric star characterized on equal-degree forms byIt maps -forms to -forms and satisfies . It is distinct from the conjugate-linear map . In the adapted coframe the star of is the wedge product of all the other two-dimensional factors, with positive sign. Summing proves the Hodge star of the fundamental Hermitian form formulaThis computation uses no closedness assumption on .
Use the integrated Hermitian inner product . The formal adjoints and are defined by and ; compact manifolds here have no boundary. The Hodge Laplacian and Dolbeault Laplacian areThe Dolbeault Hodge decomposition on a compact Hermitian manifold states thatis an orthogonal direct sum, with finite-dimensional . Each Dolbeault cohomology classhas a unique representative in . A form is harmonic exactly when both and vanish, since its Laplacian inner product is the sum of their squared norms.
Now let be the Hermitian Lefschetz operator and let be its pointwise adjoint. For of total degree and of degree , the defining inner products giveThe wedge pairing is nondegenerate, so . Apply another star to the degree- form and use that the star and commute with conjugation. This yieldsFor degrees below two both sides vanish. The argument also identifies its bidegree as and does not require the Kähler condition.
Assume now that , so the metric is a Kähler metric. Start with the supplied Kähler identities relation . Since is real, conjugation gives , henceThe commutators are ordinary commutators because has even degree. Using we obtain, by direct expansion,Conjugation gives as well. Expanding the two unmixed Laplacians and using gives the same operator:Finally expand and ; the mixed terms just proved zero disappear. This derives the Kähler Laplacian identity
The Dolbeault Laplacian preserves bidegree. Thus the complex -harmonic forms of total degree split into their harmonic parts. The allowed real Hodge theorem, followed by complexification, givesThe real operator commutes with conjugation, which exchanges and . Therefore . For odd , no summand has , so they pair off in equal dimensions. This proves that all odd Betti numbers are even.
For , the Kähler form power is closed. If it were exact, say , thenby Stokes theorem. But has strictly positive integral on the nonempty compact manifold. Hence the powers of a compact Kähler form have nonzero cohomology classes, and
For an example take the Hopf surfaceThe dilation action is free and properly discontinuous: on a compact subset the radii are bounded above and away from zero, so only finitely many dilations can meet it. It is holomorphic, giving a complex manifold quotient; the annulus covers the quotient, proving compactness. The mapis a diffeomorphism . The Künneth theorem gives . This violates the necessary odd-degree parity, so this compact complex surface admits no Kähler metric.