Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0A0L

Go back to the tag's page.

type time link
moved the statement to file algebraization.tex 2018-04-26 0d14b46
New chapter 'Algebraic and Formal Geometry'
moved the statement to file local-cohomology.tex 2017-06-08 7535e63
Move two sections
changed the statement and the proof 2016-09-29 9f33b90
Derived completion on locally Noetherian schemes

Improve the exposition a bit
changed the statement 2014-04-05 278e600
Fix typo in proetale.tex

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/0A0H#comment-531
assigned tag 0A0L 2014-03-04 00d2aaa
Tags: Added new tags

Also fixed two small things found by scripts
created statement with label lemma-sections-derived-completion-pseudo-coherent in proetale.tex 2014-03-04 ed4803c
Theorem of formal functions via derived completion

Thanks to Anatoly Preygel
Thanks to Daniel Halpern-Leistner
Thanks to Bhargav Bhatt

This is my attempt at working out what Anatoly, Dan, and Bhargav
suggested is true (in a talk and a conversation). It is made a tad more
difficult perhaps than they intended in that I tried to put it into the
framework of derived completion. On the other hand, one can state a more
general version of the principle in the new section, for example because
one can work with pseudo-coherent complexes everywhere.

What I am not quite sure about is how derived completion behaves when
one doesn't work over a Noetherian scheme and/or when one doesn't work
with pseudo-coherent complexes.