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.
|