MathOverflow is a question and answer site for professional mathematicians. 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

In EGAIV$_3$ 8.9.1 it is written: "Si $\mathcal F$ est un $O_X$-Module quasi-cohérent de présentation finie[...]"

Is "$\mathcal F$ de présentation finie" not the same as "$\mathcal F$ admet une présentation finie" of EGAI 5.2.5., like the first one is global(can't really imagine that) and the second one local or something like that?

If it the same then de présentation finie imply quasi-cohérent. I'm confused!

share|cite|improve this question
Logically it is redundant, but philosophically it is not: faithfully flat descent theory concerns quasi-coherent sheaves of modules, and so in any questions of descent with sheaves of modules (even without flatness) it is natural to always first say that one's sheaf of modules is quasi-coherent and to then impose whatever extra conditions one wishes on top of that (e.g., to characterize among the quasi-coherent sheaves which ones arise by base change from coherent sheaves on a descent of the scheme to a noetherian subring of the base ring). – BCnrd Sep 21 '10 at 17:05

Well, a finitely presented sheaf of $\mathcal{O}_X$-modules is a cokernel of a map between quasi-coherent $\mathcal{O}_X$-modules, so it is itself quasi-coherent. So yes, the "quasi-coherent" is redundant in your sentence.

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.