Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05ZX

Go back to the tag's page.

type time link
assigned tag 05ZX 2011-04-01 755497d
Tags: Added new tags
created statement with label lemma-infinitesimal-neighbourhood-conormal in spaces-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...