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
|