History of tag 08IF
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2017-04-11 |
04fef69 |
New macro: \Ext
|
|
changed the proof
|
2017-04-02 |
283ede5 |
Better Ext + f^*F for spaces
|
|
changed the statement and the proof
|
2017-04-01 |
1428e09 |
Better Ext + f^*F
Could have been said ages ago...
|
|
changed the statement
|
2016-11-12 |
6fc5d29 |
Largish set of changes: "proper over"
This is just a neurotic set of changes, making sure it makes sense to
say that a closed subset of X is proper over the base S in case X --> S
is a morphism which is locally of finite type...
Use this in the chapter on derived categories of schemes
Next up: Make similar changes for the case of algebraic spaces...
|
|
assigned tag 08IF
|
2013-01-28 |
0a1fd45
|
Tags: Added new tags
Also fixed some references
|
|
changed 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.
|
|
created statement with label lemma-compute-ext in perfect.tex
|
2013-01-24 |
32fe68c |
Computing Ext's groups by a perfect complex on the base
This following a discussion on the blog at
http://math.columbia.edu/~dejong/wordpress/?p=2896
Thanks to Jack Hall for pointing out that the necessary approximation
results were already available in the paper by Lipman and Neeman.
|