Loading [MathJax]/extensions/tex2jax.js

The Stacks project

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!