Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 118 3 c Solution Created 2026-10-03 Updated 2026-10-05
The Dolbeault theorem identifies with . It vanishes by hypothesis, and complex conjugation in the Hodge decomposition theorem for compact Kähler manifolds makes vanish too. Thus every real degree-two cohomology class has type .
Let be a Kähler form. Choose a rational cohomology class sufficiently close to . More concretely, using harmonic differential forms as representatives for a fixed Kähler metric, the harmonic form representing is close to in every smooth norm: harmonic differential forms constitute a finite-dimensional vector space. It is a real closed form, and is positive if sufficiently close to , by compactness. This is the openness of the Kähler cone. Multiplying by a positive integer gives an integral Kähler class .
The holomorphic exponential sequence contains the cohomology segmentChoose an integral lift of . Exactness gives a holomorphic line bundle having that First Chern class. We must ensure that it has a positive metric, rather than merely a positive representative of its class.
Choose any Hermitian metric and let be its normalized curvature form of a Hermitian holomorphic line bundle. If is the positive form representing , then is an exact real form. The ddbar lemma gives a real smooth function withReplace by . Its normalized curvature is , so is a positive holomorphic line bundle. The Kodaira embedding theorem now applies: sufficiently many sections of a sufficiently high tensor power define the desired embedding. Therefore