History of tag 08I4
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 08I4
|
2013-01-28 |
0a1fd45
|
Tags: Added new tags
Also fixed some references
|
|
created statement with label remark-fancy-base-change in cohomology.tex
|
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.
|