Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 118 2 a Solution Created 2026-10-03 Updated 2026-10-06
For the nonnegative Hodge Laplacian , the Kähler Laplacian identity gives . If is a holomorphic function, then , while by degree. ThereforeThe divergence-of-gradient convention printed in part (b) is on functions. The sign changes no kernel, so the requested harmonicity of holomorphic functions on a Kähler manifold isHolomorphic functions are harmonic without any compactness assumption. This is a local identity from the Kähler Laplacian identity, not an integration argument requiring a compact manifold.