History of tag 08DS
Go back to the tag's page.
| type |
time |
link |
|
changed the label to lemma-support-proper-over-base-pushforward
|
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...
|
|
changed the statement and the proof
|
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...
|
|
changed the statement
|
2016-11-10 |
41845f9 |
Missing capitalization fixed
|
|
changed the statement
|
2014-04-21 |
1d46c85 |
Upgrade to results from lemmas to propositions
Namely, Grothendieck's result on vanishing of cohomology on Noetherian
topological space and Grothendieck's result on proper pushforward of
coherent sheaves
|
|
changed the statement
|
2012-12-19 |
47e4921 |
D_{Coh}(O_X) for spaces
|
|
assigned tag 08DS
|
2012-12-19 |
f85564a
|
Tags: Added new tags
|
|
created statement with label remark-scheme-theoretic-support-proper in coherent.tex
|
2012-12-18 |
7f365b9 |
Add missing proof
This is a bit amateurish, but at least is works.
|