Differential of the projective quotient map

ID: differential-of-the-projective-quotient-map

In the chart of Complex projective space, differentiate the quotient coordinates to obtain this formula for . The kernel is the radial line . A degree-one homogeneous vector field on the punctured cone descends to a holomorphic vector field, since its scaling cancels the inverse scaling of . This gives the fiberwise construction of the Euler sequence on complex projective space.

New to topics? Read the docs here!