Mathematics – Commutative Algebra
Scientific paper
1995-03-30
Mathematics
Commutative Algebra
DVI file pub/lipman/homology.dvi (214776K, 38 pages) available via anonymous ftp (binary) at ftp.math.purdue.edu, AMSLaTeX v 1
Scientific paper
We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for example, any separated noetherian scheme and any closed subscheme---there is a sort of sheafified adjointness between local cohomology supported in Z and left-derived completion along Z. In particular, the i-th left-derived completion functor is the "local homology" sheaf $Ext^i(\R\Gamma_Z\O_X, -)$. Sheafified generalizations of a number of duality theorems scattered about the literature result, e.g., the Peskine-Szpiro duality sequence (generalizing local duality), the Warwick Duality theorem of Greenlees, the Affine Duality theorem of Hartshorne. Using Grothendieck Duality, we also get a generalization of a Formal Duality theorem of Hartshorne, and of a related local-global duality theorem. In a sequel we will develop the latter results further, to study Grothendieck duality and residues on formal schemes.
Alonso Leovigildo
Jeremías Ana
Lipman Joseph
No associations
LandOfFree
Local Homology and Cohomology on Schemes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Local Homology and Cohomology on Schemes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Local Homology and Cohomology on Schemes will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-96906