Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GAQ

Go back to the tag's page.

type time link
assigned tag 0GAQ 2021-02-01 52667c8
Tags: added new tags
changed the statement and the proof 2021-02-01 1c5a8de
Fix use of newer version lemma

Fallout from 39133674
changed the statement and the proof 2021-01-26 d040146
Algebraization rig-smooth in the G-ring case

Finally! The proof is actually much better than before as we now do not
worry about the cotangent complex for the nearby algebra and instead
worry only about very course properties of it. Thus the approximation
needs only approximate the generators of the ideal and the relations
between them and nothing else...
changed the statement and the proof 2021-01-25 ec7a085
Clean up material on rig-smooth maps a bit more
changed the statement and the proof 2021-01-24 993b267
More cleanup of recent material

This is just horrible of course. It all works fine though.
created statement with label lemma-get-morphism-general-better in restricted.tex 2021-01-16 efd24a4
Rough discussion of rig-smooth maps

Very rough discussion. The material in this commit will gives us a
strengthening of 0AK9 to rig-smooth maps and moreover it corrects the
mistake of the proof of that lemma!