Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05YV

Go back to the tag's page.

type time link
changed the proof 2012-05-21 f258fb9
move a chapter and rename a chapter

	We moved the chapter "Cohomology of Algebraic Spaces" earlier so
	we can use the results earlier in the treatment of algebraic
	spaces. Also, we finally renamed the chapter "Coherent
	Cohomology" to "Cohomology of Schemes" which is better.
changed the proof 2011-08-10 65ce54f
LaTeX: \Spec

	Introduced the macro

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

	and changed all the occurences of \text{Spec} into \Spec.
assigned tag 05YV 2011-04-01 755497d
Tags: Added new tags
created statement with label lemma-first-order-thickening in more-morphisms.tex 2011-03-29 ee75333
Bunch of changes

	(1) Starting to write about thickenings of algebraic spaces
	(2) Change Omega^1_{X/S} to Omega_{X/S}
	(3) Introduced universal homeomorphisms for algebraic spaces
	(4) If X ---> Y is a surjective, integral morphism of schemes
	and X is an affine scheme, then Y is an affine scheme
	(4) Topological invariance of the site X_{spaces, etale} of an
	algebraic space X (proof unfinished}

	In order to see that also X_{etale} is a topological invariant
	we (I think) need to prove the following result: If X --> Y is a
	integral, universally injective, surjective morphism of
	algebraic spaces then X is a scheme if and only if Y is a
	scheme. There are two proofs of this result in the literature
	(one by David Rydh and one by Brian Conrad); both reduce the
	result to the Noetherian case by limit arguments. I would
	prefer a more direct argument...