Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-18/4/c/solution

A positive holomorphic line bundle admits a Hermitian metric whose Chern connection curvature satisfies that is a positive real (1, 1)-form. In a local holomorphic local frame with squared length , the local formula for the Chern connection on a line bundle gives , so positivity means is positive definite. Its closedness makes a Kähler form; use this form to define the operators below.
Let , choose a Hermitian metric on , and equip with the tensor-product metric. The curvature of a tensor product connection gives
On -valued zero-forms, the Lefschetz commutator is . Thus the Bochner-Kodaira-Nakano identity gives
This last operator is a fixed smooth self-adjoint bundle endomorphism. Compactness supplies a finite such that at every point. For a holomorphic section of , and by degree, so integrating the identity gives
Choose an integer with . Then . The threshold depends on the fixed bundle , as the curvature bound makes explicit. Positive complex dimension is necessary: on a zero-dimensional manifold positivity is vacuous and a nonzero fibre has nonzero sections for every twist.

New to topics? Read the docs here!