Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GGS

Go back to the tag's page.

type time link
assigned tag 0GGS 2021-04-01 287eac1
Tags: added new tags
changed the proof 2021-03-18 6986278
Finish descent rig-smooth / rig-etale

All of this nonsense just to prove this damn lemma
created statement with label lemma-rig-flat-local-etale in restricted.tex 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!!!