History of tag 0GC7
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2021-03-18 |
462416a |
Down the rabbit hole: rig-everything
Got caught up in infinite regression having to do with the availablility
of basic notions on rig-descent... Namely, I want to
(a) show that if we have X -> Y -> Z with X -> Y rig-smooth +
rig-surjective then Y is rig-smooth over Z if and only if X is so
(b) this requires me to check that the sequence of naive cotangent
complexes in the rig setting has a 0 on the left of the 6-term sequence
(c) this in turn requires me to check that a rig-smooth morphism is sort
of a rig-flat rig-complete-intersection morphism
(d) this made me look into the notion of rig-flatness and this made me
realize that it isn't actually as straightforward as you might think
because actually it's easy to make mistakes. In fact I think the BL
papers don't do enough checks to see that their notion even makes
sense. Of course, it does make sense if you always take sufficiently
small neighbourhoods on your formal scheme... but I'm not sure if they
literally say this correctly.
ARGHHHH!!!
|
|
assigned tag 0GC7
|
2021-02-08 |
bce5e9c
|
Tags: added new tags
|
|
changed the statement and the proof
|
2021-02-07 |
4047864 |
Small changes related to cross references
|
|
changed the proof
|
2021-02-05 |
ba8b323 |
Flat morphisms of loc Noe formal alg spaces
Complain now or forever hold your peace
|
|
created statement with label lemma-finite-type-red-morphisms in restricted.tex
|
2021-02-04 |
0bbf9d1 |
More on formal algebraic spaces
Almost all of this is utterly trivial. It is only when you chain 100 or
so of these lemmas together that you get something recognizable as
geometry.
|