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


Is there a proof that the push forward by a proper morphism of Noetherian schemes sends coherent sheaves to coherent ones, without passing in the argument through projective morphisms?

Thank you, Sasha

share|cite|improve this question
Well, you can use Chow's lemma, the result for projective morphisms, and the Leray spectral sequence to get it. Or you can find a different proof here EGA III 3.2.1 here: – Parsa Dec 6 '11 at 15:38
@Parsa: If you use Chow's lemma, you are using the result for projective morphisms, which is what Sasha wants to avoid? – Timo Keller Dec 6 '11 at 17:22
If your schemes are locally of finite type over a field k, Antoine Ducros gave a proof that meets your requirements (see arXiv:math/0612521). Basically, the result is known for proper rigid analytic spaces (it is a theorem of Kiehl), so one also gets it for analytifications of proper morphisms (analytifications are to be taken in Berkovich sense, over k endowed with the trivial absolute value) and for proper morphisms themselves. – Jérôme Poineau Dec 6 '11 at 22:35
@Timo: I wasn't sure what he meant by "without passing in the argument through projective morphisms" so I gave an approach assuming proper but not projective (allowing the result for projective) and referenced another proof using only proper. – Parsa Dec 7 '11 at 0:21
Thank you very much for all the references. – Sasha Dec 18 '11 at 19:26
up vote 3 down vote accepted

Gerd Faltings, Finiteness of coherent cohomology for proper fppf stacks, J. Algebraic Geometry 12 (2003) 357–366

share|cite|improve this answer
Thank you for the reference. – Sasha Dec 18 '11 at 19:26

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.