Loading [MathJax]/jax/output/HTML-CSS/config.js

The Stacks project

History of tag 07Y1

Go back to the tag's page.

type time link
changed the statement 2016-11-06 7a43b50
Strong formal effectiveness => openness versality

Actually not hard to prove and you only need to check on first order
thickenings.

Bhargav's example from c31011d shows that strong formal effectiveness
does not always hold. But what about strong formal effectiveness
where the thickenings are always first order (between any two, not
just between consecutive indices)? This is the only thing needed for
the argument here, so it would be nice if it was true for algebraic
stacks in general.
assigned tag 07Y1 2012-07-03 3fe4cf9
Tags: Added new tags
created statement with label proposition-spaces-diagonal-representable in artin.tex 2012-06-22 b40a0c4
First version of Artin's theorems

	This monster commit contains the first version of Artin's
	theorems on representability of stacks and spaces. It is still a
	bit rough.