Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 118 4 d Solution Created 2026-10-03 Updated 2026-10-05
Use the usual connected-manifold convention for this assertion. Suppose, for contradiction, that . The Dolbeault theorem gives , and the Hodge decomposition theorem for compact Kähler manifolds and its conjugation symmetry give . Hence every real class in has a real harmonic differential form of type as its representative.
The intersection form is . Its value on the Kähler class is positive: . Every real harmonic form splits uniquely as , with primitive and constant. Indeed, is a harmonic function, hence constant by connectedness, and ; subtracting kills , and part (b) makes primitive.
Part (c) gives , while . ThusThis proves the Hodge index theorem for compact Kähler surfaces in this case: has signature .
On the alleged two-dimensional totally isotropic subspace , the linear functional has a nonzero vector in its kernel. Its harmonic differential form representative is primitive, so the preceding negative-definiteness statement gives , contradicting the vanishing of on . ThereforeConnectedness is essential if one's definition of a manifold allows disconnected spaces. For , with , one has . Take on each component the pullback of the degree-two class from its first factor. Each class has square zero, and their mutual pairing is zero because their supports lie on different components. Their span is then a two-dimensional totally isotropic subspace, disproving the unqualified disconnected version.