History of tag 08DQ
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-09-17 |
ddca7d6 |
Some evaluation map is an iso
in the perfect case
|
|
changed the statement and the proof
|
2019-11-06 |
cfe0afc |
Duals in D(O_X) on a ringed space
|
|
changed the statement and the proof
|
2019-11-04 |
3a64997 |
Sign rules
Sigh!
|
|
changed the statement and the proof
|
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 statement
|
2015-03-13 |
15d352d |
A bit more about the projection formula
In particular for closed immersions it is true in general
|
|
changed the proof
|
2014-06-01 |
3627ee7 |
Typo in cohomology.tex
Thanks to Daniel Litt
http://stacks.math.columbia.edu/tag/08CL#comment-637
|
|
changed 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 and the proof
|
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 08DQ
|
2012-12-19 |
f85564a
|
Tags: Added new tags
|
|
created statement with label lemma-dual-perfect-complex in cohomology.tex
|
2012-12-18 |
5c6026c |
Towards the desired application
|