History of tag 0CXS
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
2020-09-05 |
d1729e5 |
Move a lemma to obsolete chapter
Due to the reorganization of the proof in the previous commit
|
|
changed the proof
|
2020-09-05 |
d1729e5 |
Move a lemma to obsolete chapter
Due to the reorganization of the proof in the previous commit
|
|
changed the proof
|
2020-09-05 |
6776803 |
Still didn't fix it correctly. Sigh!
Thanks to æä¸ç¬
OK, I will try not to make a habit of fixing things wrong...
|
|
changed the proof
|
2020-09-04 |
3e7633b |
Split out a lemma in artin and apply it
Thanks to æä¸ç¬
Since finite type points aren't closed there can be specializations
between them. Thus we can ask if versality of objects "generalizes".
We missed this point in the proof of 0CXU as well as another one which
we will fix in the next commit
|
|
changed the proof
|
2017-07-05 |
d25f0c0 |
Fix internal reference
|
|
assigned tag 0CXS
|
2016-11-06 |
0a3bfd5
|
Tags: Added new tags
|
|
created statement with label lemma-infinite-sequence 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.
|