History of tag 0DXP
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-11-14 |
7bc368d |
esthablished -> established
Thanks to Will Chen
https://stacks.math.columbia.edu/tag/0DNZ#comment-5424
|
|
moved the statement to file algebraization.tex
|
2018-04-26 |
0d14b46 |
New chapter 'Algebraic and Formal Geometry'
|
|
changed the proof
|
2018-04-26 |
0d14b46 |
New chapter 'Algebraic and Formal Geometry'
|
|
changed the statement
|
2018-01-15 |
9cfc5c1 |
First very rough version bootstrap
Trickier than I thought. It seems there is a small error in the proof of
Proposition 1.6 in Mme Raynaud on page 10 because x is not an element of
H^0_t in general... It seems fixable by stratifying by codimension... as
we do in lemma-zero in this commit...
|
|
changed the proof
|
2018-01-12 |
c00f689 |
Cleanup in local-cohomology
Remove obsolete material.
|
|
changed the proof
|
2018-01-09 |
d97e927 |
Fix an argument
In the proof of the main lemma on algebraization of formal sections we
didn't check the isomorphism property in cohomological degree $0$ and in
fact the argument we gave doesn't go through. But with the new material
on derived completion of local cohomology, this is now easy and more
general!
|
|
assigned tag 0DXP
|
2017-06-12 |
e74fb6d
|
Tags: Added new tags
|
|
created statement with label lemma-algebraize-local-cohomology in local-cohomology.tex
|
2017-06-09 |
eea2704 |
Algebraization formal sections
Local case. Too much fun!
|