Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 118 4 c Solution Created 2026-10-03 Updated 2026-10-05
The assertion is pointwise, so choose an oriented orthonormal real coframe compatible with the complex structure, with Kähler form . Real forms have a four-dimensional space; imposing leaves the three-dimensional space spanned byThese are precisely the real primitive differential forms on a Kähler manifold of type in dimension two. Complexifying spans all complex primitive forms.
Using the complex orientation , the Hodge star operator exchanges with , sends to , and exchanges with . Thus , , and . By complex linearity,This is the fact that primitive (1,1)-forms on a Kähler surface are anti-self-dual.