Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0A6W

Go back to the tag's page.

type time link
changed the statement 2020-11-12 cde0349
Add a slogan

Thanks to MAO Zhouhang
https://stacks.math.columbia.edu/tag/0A6V#comment-5357
changed the proof 2015-03-30 881f484
Try to make usage of RHom more uniform
changed the proof 2015-02-21 134d26d
Fixed minor typos

"succesive" to "successive"
changed the proof 2014-09-03 c0402a7
Fix the first FIXME in restricted.tex

Finally we have a good approach to the remark on higher Exts from an
I-power torsion module into an arbitrary module. Also, now the
treatement of the derived category of complexes with torsion cohomology
modules parallels better the treatement of derived complete complexes.
assigned tag 0A6W 2014-05-10 9e227cd
Tags: Added new tags
changed the statement and the proof 2014-05-10 0bfe5e2
Fix references
created statement with label lemma-complete-and-local in dualizing.tex 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.