For a degree-zero rational function regular on an open subset of projective space, each derivative is a regular homogeneous rational function of degree . These derivatives define a derivation with values in , hence a map from the Kähler differential sheaf. The last map is . On , put and use frame . The derivative of has coordinate vector with at , at and zero elsewhere. Those vectors form a free basis of the kernel of , proving exactness directly in every characteristic.
Dualize the Euler sequence on complex projective space and tensor by the hyperplane line bundle to obtain . On global sections the last map sends to , an isomorphism onto the linear forms. Left exactness of sheaf cohomology therefore gives the asserted vanishing. No higher-cohomology assumption is needed for this final kernel calculation.

Articles by others on the same topic (0)

There are currently no matching articles.