Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 08I1

Go back to the tag's page.

type time link
changed the statement 2019-11-06 cfe0afc
Duals in D(O_X) on a ringed space
changed the statement 2015-07-08 5df1243
Changes regarding the dual perfect complex

We should always use \vee and not \wedge for this otherwise it might
conflict with the derived completion
changed the proof 2014-05-11 c9793b8
More results on hom complexes

Utterly completely totally standard
assigned tag 08I1 2013-01-28 0a1fd45
Tags: Added new tags

Also fixed some references
created statement with label lemma-dual 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.