Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915209513271296 |
|---|---|
| author | Lipman, Joseph |
| author_facet | Lipman, Joseph |
| contents | Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on category-theoretic considerations. It is not obvious that the two resulting theories are essentially the same. This is a semi-expository account of the connection between these approaches, a nontrivial matter involving some alluring relations, for instance among differential forms, residues and duality. In particular, it emerges that the culminating Ideal Theorem in Hartshorne's "Residues and Duality" holds for arbitrary essentially-finite-type maps of noetherian schemes and bounded-below complexes with quasi-coherent cohomology. What appears in this first part mostly concerns pseudo-coherent finite maps. The rest is being prepared. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1908_09372 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps Lipman, Joseph Algebraic Geometry 14F05 Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on category-theoretic considerations. It is not obvious that the two resulting theories are essentially the same. This is a semi-expository account of the connection between these approaches, a nontrivial matter involving some alluring relations, for instance among differential forms, residues and duality. In particular, it emerges that the culminating Ideal Theorem in Hartshorne's "Residues and Duality" holds for arbitrary essentially-finite-type maps of noetherian schemes and bounded-below complexes with quasi-coherent cohomology. What appears in this first part mostly concerns pseudo-coherent finite maps. The rest is being prepared. |
| title | Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps |
| topic | Algebraic Geometry 14F05 |
| url | https://arxiv.org/abs/1908.09372 |