History of tag 0A0K
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-17 |
0930990 |
fix small typos
|
|
moved the statement to file algebraization.tex
|
2018-04-26 |
0d14b46 |
New chapter 'Algebraic and Formal Geometry'
|
|
changed the proof
|
2018-01-29 |
61dce31 |
Fix a couple of double word mistakes
|
|
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 proof
|
2015-07-08 |
1ea99eb |
Fix typo in proetale.tex
|
|
assigned tag 0A0K
|
2014-03-04 |
00d2aaa
|
Tags: Added new tags
Also fixed two small things found by scripts
|
|
changed the statement and the proof
|
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.
|
|
created statement with label lemma-derived-completion-pseudo-coherent in proetale.tex
|
2014-03-03 |
b1ebb6e |
Slightly better version of remark from previous commit
|