Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 22 2 Solution Created 2026-10-03 Updated 2026-10-14
On a complex manifold, holomorphic coordinates give the decomposition , withFor , the conjugate Dolbeault operator and the Dolbeault operator are explicitlyThese are the type components of the intrinsic exterior derivative, so are independent of coordinates. The identity , separated by type, gives and . A holomorphic p-form on a complex manifold is a -form whose coefficients are holomorphic functions; equivalently it is a -form killed by the Dolbeault operator.
A rank- holomorphic vector bundle has local trivializations whose changes are , with holomorphic. These transition functions of a vector bundle satisfy and . Equivalently, for local frames we use the convention . A holomorphic section is a section having holomorphic coordinate functions in every such holomorphic local frame; the condition is unchanged by the holomorphic invertible transitions.
The holomorphic cotangent bundle has local frames . Under another holomorphic coordinate system , the chain rule givesThe Jacobian matrix is holomorphic and invertible, with holomorphic inverse supplied by the inverse coordinate change. These are precisely holomorphic bundle transitions. A section written as is holomorphic exactly when every is holomorphic, sothe space of holomorphic one-forms. In particular, being a holomorphic section is not the same as being a -closed one-form on an arbitrary complex manifold.
The complex tautological line bundle isOn use the nowhere-zero frame . Its components are holomorphic affine coordinates and the constant one in position . On overlapsso the frame changes are nowhere-zero holomorphic functions. This proves that is a holomorphic line bundle, and its inclusion into the trivial bundle is a holomorphic bundle map.
A global holomorphic section composed with that inclusion has component holomorphic functions on compact connected Complex projective space. Each is constant: its absolute value attains a maximum; in a coordinate ball the one-variable maximum modulus principle along complex lines makes it locally constant, and connectedness propagates that constant globally. Thus the section is a fixed vector lying in every fibre, namely every line . For the intersection of all these lines is zero. HenceThe positive-dimension convention is necessary: is one point and this section space is .