Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 03BN

Go back to the tag's page.

type time link
changed the proof 2010-12-14 2018418
Small edit in bootstrap.tex
moved the statement to file bootstrap.tex 2010-01-25 79c5606
Bootstrap: Added new chapter

	It seems better to discuss the bootstrap theorems in a separate
	chapter following the discussion of the basic material on
	algebraic spaces. This can then be used in the chapter on
	algebraic stacks when discussing presentations and what not.

	The goal is to prove the theorem that an fppf sheaf F for which
	there exists a scheme X and a morphism f : X --> F such that
		f is representable by algebraic spaces
		f is flat, surjective and locally of finite presentation
	is automatically an algebraic space. We have almost all the
	ingredients ready except for a slicing lemma -- namely somehow
	lemma 3.3 part (1) of Keel-Mori.
changed the statement and the proof 2010-01-25 79c5606
Bootstrap: Added new chapter

	It seems better to discuss the bootstrap theorems in a separate
	chapter following the discussion of the basic material on
	algebraic spaces. This can then be used in the chapter on
	algebraic stacks when discussing presentations and what not.

	The goal is to prove the theorem that an fppf sheaf F for which
	there exists a scheme X and a morphism f : X --> F such that
		f is representable by algebraic spaces
		f is flat, surjective and locally of finite presentation
	is automatically an algebraic space. We have almost all the
	ingredients ready except for a slicing lemma -- namely somehow
	lemma 3.3 part (1) of Keel-Mori.
assigned tag 03BN 2009-09-24 8e43b57
Tags: added new tags to the project

	modified:   tags/tags
created statement with label lemma-morphism-spaces-is-representable-by-spaces in spaces.tex 2009-09-22 9ac213f
Collection of small changes

	Small addition in algebra.tex
	Invariant opens, representable quotients in groupoids
	Finite monomorphism of schemes is closed immersion
	Separation axioms added to spaces-properties
	Morphism between algebraic spaces is representable by algebraic
		spaces

	modified:   algebra.tex
	modified:   groupoids.tex
	modified:   morphisms.tex
	modified:   spaces-properties.tex
	modified:   spaces.tex