The Stacks project

LaTeX: get rid of useless brackets

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Tags: New tags added

Properties of Spaces: Split out arguments on points of spaces

	The purpose of this commit is to work out in more detail the
	arguments that lead to the result that a reasonable algebraic
	space X has a sober space of points |X|.

	In this reworking we discover the notion of an ``almost
	reasonable space''. An algebraic space X is almost reasonable if
	for every affine scheme U and etale morphism U --> X the fibres
	of U --> X are universally bounded.

	Later we will encouter the following question: Suppose given a
	fibre square diagram

		X' --> X
		|      |
		v      V
		V' --> V

	with V' --> V a surjective etale morphism of affine schemes,
	such that X' is reasonable. Is X reasonable? If you know how to
	(dis)prove this then please email stacks.project@gmail.com

	Anyway, the corresponding result for ``almost reasonable''
	spaces is easy. Moreover, an almost reasonable space is a
	colimit of quasi-separated algebraic spaces.

	But on the other hand, we do not know how to prove that an
	almost reasonable space X has an open dense subspace which is a
	scheme, nor do we know how to prove that |X| is sober.