History of tag 07K7
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2020-06-06 |
88ff1e3 |
Stuff about boundedness of Rf_!
Move along, nothing to see here...
|
|
changed the proof
|
2015-06-05 |
3cc35c6 |
Use new terminology and fix indices
Try to be more consistent with convergence and all. It turns out to be
basically impossible, because already the statements are not precise
enough. The trouble is that one needs to always assume the spectral
sequence comes from a filtered complex (somewhere somehow) and then one
is using the definition as now given in homology.tex
Thanks to Dingxin Zhang for pointing out wrong signs in shifts
http://stacks.math.columbia.edu/tag/015X#comment-1479
|
|
changed the proof
|
2015-02-09 |
5e8f96f |
Add missing hypothesis
The proof of the lemma was wrong and without the assumption it is
likely wrong.
Thanks to JuanPablo who also pointed out other ways to fix it.
http://stacks.math.columbia.edu/tag/07K6#comment-1292
|
|
changed the proof
|
2013-10-25 |
ad3f531 |
Fixed two typos in proof of Tag 07K5 (lemma-unbounded-right-derived).
|
|
assigned tag 07K7
|
2012-03-21 |
4e265af
|
Tags: Added new tags
|
|
created statement with label lemma-unbounded-right-derived in derived.tex
|
2012-03-06 |
c5a2df5 |
Bounded coh dim and existence RF
The easy case where RF exists on the unbounded derived category.
Somehow we hadn't yet discussed this.
|