Holomorphic projectivization by lines 2026-10-06
For a holomorphic vector bundle, projectivize each fibre using lines. The transition acts holomorphically by . Thus local products define a complex manifold with holomorphic projection to the base. The lines convention gives the relative tautological line bundle of fibre degree , and its dual has degree .
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 17 2 b Solution Created 2026-10-03 Updated 2026-10-06
In a local trivialization, identify the lines in each fibre with . On overlaps glue byThis action is well defined because is invertible and scaling does not change the resulting line. It is holomorphic: in affine projective coordinates it is a ratio of holomorphic functions on the open set where its denominator is nonzero. The transition maps satisfy the cocycle condition and have holomorphic inverses. They give the holomorphic projectivization by lines its complex-manifold atlas, of dimension , on the usual projective-bundle topology. Points over different base points are separated by base neighborhoods; points over the same base point are separated inside a common local product chart. A countable trivializing cover and the standard charts of the complex projective line give second countability.
Define the relative tautological line bundle by . Its local construction is holomorphic, and its restriction to a fibre is . The required relative hyperplane line bundle is thereforeThis fixes the lines convention for projectivization and the sign of the fibre degree.
Relative hyperplane line bundle 2026-10-06
Dualize the relative tautological line bundle to obtain the positive relative hyperplane line bundle. It restricts to on each projective fibre. This sign depends on the convention that projectivization parametrizes lines; fixing the convention avoids confusing it with the tautological line itself.