Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Grothendieck wrote in his letter to Serre(Nov. 12,1957) that every coherent algebraic sheaf on a non-singular algebraic variety(not necessarily quasi-projective) is a quotient of a direct sum of sheaves defined by divisors. I think "sheaves defined by divisors" means locally free sheaves of rank one(i.e. invertible sheaves). How do you prove this?

share|cite|improve this question
up vote 3 down vote accepted

This is proved for any noetherian separated regular schemes in SGA 6, exposé II, Corollaire (I learn this result from a comment here: such schemes are "divisorial".) To see that this answers your question, look at op. cit. Définition 2.2.3(ii).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.