The Stacks project

More standard use of "partial ordering"

Thanks to Wei Xu
http://stacks.math.columbia.edu/tag/00CR#comment-588
and to Keenan Kidwell
http://stacks.math.columbia.edu/tag/00D3#comment-2102

LaTeX

Introduced a new macro

\def\Coker{\text{Coker}}

and replaced all occurrences of \text{Coker} by \Coker

Tags: Added new tags

Characterizing affine algebraic spaces by vanishing of cohomology

	If X is a qc + qs algebraic space and H^1 of any quasi-coherent
	module on X is zero then X is an affine scheme. The hard part of
	the proof is to show that X is separated, since then it follows
	in a rather straightforward way that X is quasi-finite over
	Spec(O(X)) and we can use an earlier result (namely that a qf +
	sep morphism is representable).

	Let me know if there is a much easier way of doing this. Even in
	the Noetherian case it doesn't seem easy to me.

Helper lemma to prove limit result on qs + qc spaces