Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0CXP

Go back to the tag's page.

type time link
changed the statement and the proof 2017-04-24 a5929e7
Generalize section on infinitesimal deformations

We want to use the definitions even when the base scheme is not
necessarily Noetherian.

We also removed the requirement in (RS*) that the affine schemes in
question map into an affine open of the base scheme. This is never
needed when one actually verifies a given stack has (RS*) and in
fact this more general notion is always a consequence of the
original restricted one.
assigned tag 0CXP 2016-11-06 0a3bfd5
Tags: Added new tags
changed the proof 2016-11-06 a430d85
Fix small things in artin
created statement with label lemma-algebraic-stack-RS-star in artin.tex 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.