Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 03Y0

Go back to the tag's page.

type time link
changed the statement 2014-08-10 86f2c98
Slogan by Kestutis Cesnavicius
http://stacks.math.columbia.edu/tag/03Y0#comment-894
changed the statement 2011-08-11 f496b59
LaTeX: \Sch

	Introduced a new macro

	\def\Sch{\textit{Sch}}

	and replaced all the occurences of \textit{Sch} with \Sch.
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 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 03Y0 2010-01-03 92b033f
Tags: added new tags
created statement with label lemma-base-change-transformation in spaces-morphisms.tex 2009-12-23 2f54d62
Morphisms of Spaces: Bootstrap, second version

	OK, so now the proof is complete. Of course the chapter on
	morphisms on algebraic spaces has a curious selection of topics
	at the moment, since we've tried to work towards the bootstrap
	theorem, and have not developped in a straightforward way. For
	example, we have at this point defined what an etale morphism of
	algebraic spaces is, but not what a morphism of finite
	presentation is!

	This will be fixed over time.