Cotangent Euler sequence in homogeneous coordinates
ID: cotangent-euler-sequence-in-homogeneous-coordinates
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.
New to topics? Read the docs here!