With the quotient convention, projective space represents the functor of surjections from a rank- free sheaf to a line bundle, modulo isomorphisms of the target compatible with the map. On an affine base the target may be a nontrivial rank-one projective module, so a tuple of elements generating the unit ideal is only the description when that target is trivial. Where the image of the th basis vector generates the target, divide the other images by it to get the usual affine coordinates. Infinitesimal variations of the quotient form and give the Euler sequence.
Articles by others on the same topic
There are currently no matching articles.