Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 091V

Go back to the tag's page.

type time link
changed the proof 2020-12-04 0d98256
extended alternating Cech complex in more-algebra
changed the proof 2017-06-23 c7e0208
More consistent notation for RHom_A(-, -)

Of course in the end it is hopeless to have good notation...
changed the statement 2016-01-24 e6b3a04
Fixed the spelling of Cech
changed the statement 2014-07-26 384aece
Slogan by Bhargav Bhatt
http://stacks.math.columbia.edu/tag/091V#comment-855
changed the statement and the proof 2014-05-10 129b120
Equivelence beteen torsion and derived complete modules

Wonderful!

Thanks to Bhargav Bhatt for pointing out that this is helpful for the
formulation of Grothendieck's duality statement in local cohomology
(coming up soon).

Many people use the torsion picture to think about derived complete
objects (for example in work of Dan Halperin-Leistner and Antoly
Preygel) and they know this is the same thing as the correspondence is
in Jacob Lurie's work somewhere. Another reference is

Dwyer, W. G. and Greenlees, J. P. C.
Complete modules and torsion modules

which appears to treat a more general question.
assigned tag 091V 2013-06-11 855db3b
Tags: Added new tags
created statement with label lemma-derived-completion in more-algebra.tex 2013-05-15 5708673
How to turn Rlim(- \otimes_A^L E_n) into a functor