The quasi-compactness of gives a finite cover by the affine principal neighbourhoods constructed above. Because at every point some is a unit in the local ring, the map of coherent sheavesis surjective. Its kernel is a coherent submodule of the trivial bundle, so by part (a). The long exact sequence in sheaf cohomology makes the map on global sections surjective. Lifting suppliesThis is the unit-ideal certificate from a principal affine cover.
Articles by others on the same topic
There are currently no matching articles.