History of tag 08DM
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-06-05 |
5c88c43 |
K -> I
Thanks to nkym
https://stacks.math.columbia.edu/tag/08DM#comment-8625
|
|
changed the statement and the proof
|
2021-09-11 |
814db06 |
Pullback RSheafHom
|
|
changed the statement and the proof
|
2014-05-06 |
9900b0c |
Fix some indices
TODO: We need to change the order of some of the tensor products
in a few places to conform to the standard that
Hom(V, W) = W* \otimes V
|
|
changed the statement
|
2013-01-26 |
5348388 |
Clean up the material from last commit
The claims on duals of pseudo-coherent complexes were too optimistic. As
a replacement we directly construct a base change map for pushforwards
of internal homs. Then we show this is a qis by the induction principle.
We also fixed the proof of the lemma on duals of perfect objects as the
previous one was nonsense.
Finally, we improve the (trivial) lemma on vanishing of Ext groups
between objects of the derived category.
|
|
assigned tag 08DM
|
2012-12-19 |
f85564a
|
Tags: Added new tags
|
|
created statement with label lemma-Rhom-strictly-perfect in cohomology.tex
|
2012-12-17 |
0e6139e |
Internal hom in D(O_X)
Easy peasy lemon squeezy...
|