×

Local homology and cohomology on schemes. (English) Zbl 0894.14002

Let \(X\) be a quasi-compact separated scheme, and let \(X = \bigcup X_\alpha\) be its open covering. Suppose that a closed subscheme \(Z\) is proregular embedded in \(X.\) Thus, the defining ideal of \(Z\) is generated by a proregular sequence of sections from \(\bigcup \Gamma(X_\alpha, {\mathcal O}_{X_\alpha})\) [see J. P. C. Greenless and J. P. May, J. Algebra 149, No. 2, 438-453 (1992; Zbl 0774.18007)]. In the case where \(X\) is noetherian any closed subscheme is proregular embedded in \(X.\) For the pair \((X,Z)\) the authors describe a universal functorial duality expressed in terms of the right and left derived of the homomorphism and completion functors, respectively, which gives a sort of adjointness between the local cohomology and local homology supported in \(Z.\) In fact, using these results the authors generalize GM-duality (loc.cit.), the Peskine-Szpiro duality sequence [C. Peskine and L. Szpiro, Publ. Math., Inst. Hautes Étud. Sci. 42 (1972), 47-119 (1973; Zbl 0268.13008)], affine and formal duality theorems of Hartshorne [R. Hartshorne, “Residues and duality”, Lect. Notes Math. 20 (1996; Zbl 0212.26101)], and others.

MSC:

14B15 Local cohomology and algebraic geometry
32C37 Duality theorems for analytic spaces
14B20 Formal neighborhoods in algebraic geometry
14F20 Étale and other Grothendieck topologies and (co)homologies
18E30 Derived categories, triangulated categories (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI arXiv Numdam EuDML

References:

[1] M. BÖKSTEDT and A. NEEMAN , Homotopy limits in triangulated categories (Compositio Math., Vol. 86, 1993 , pp. 209-234). Numdam | MR 94f:18008 | Zbl 0802.18008 · Zbl 0802.18008
[2] J. P. C. GREENLEES , Tate cohomology in commutative algebra (J. Pure and Applied Algebra, Vol. 94, 1994 , pp. 59-83). MR 95j:13012 | Zbl 0822.13009 · Zbl 0822.13009 · doi:10.1016/0022-4049(94)90006-X
[3] J. P. C. GREENLEES and J. P. MAY , Derived functors of I-adic completion and local homology (J. Algebra, Vol. 149, 1992 , pp. 438-453). MR 93h:13009 | Zbl 0774.18007 · Zbl 0774.18007 · doi:10.1016/0021-8693(92)90026-I
[4] R. GODEMENT , Théorie des faisceaux (Act. Sci. et Industrielles, no. 1252, Hermann Paris, 1964 ). · Zbl 0202.41103
[5] A. GROTHENDIECK , Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2) (North-Holland Amsterdam, 1962 ). MR 57 #16294 | Zbl 0197.47202 · Zbl 0197.47202
[6] A. GROTHENDIECK and J. DIEUDONNÉ , Éléments de Géométrie Algébrique III (Publications Math. IHES, 11, 1961 ). Numdam · Zbl 0203.23301
[7] A. GROTHENDIECK and J. DIEUDONNÉ , Éléments de Géométrie Algébrique I (Springer Verlag, New York, 1971 ). Zbl 0203.23301 · Zbl 0203.23301
[8] R. HARTSHORNE , Residues and Duality (Lecture Notes in Math., no. 20, Springer-Verlag, New York, 1966 ). MR 36 #5145 | Zbl 0212.26101 · Zbl 0212.26101 · doi:10.1007/BFb0080482
[9] R. HARTSHORNE , Affine duality and cofiniteness (Inventiones Math., Vol. 9, 1970 , pp. 145-164). MR 41 #1750 | Zbl 0196.24301 · Zbl 0196.24301 · doi:10.1007/BF01404554
[10] R. HARTSHORNE , On the de Rham cohomology of algebraic varieties (Publications Math. IHES, Vol. 45, 1976 , pp. 5-99). Numdam | MR 55 #5633 | Zbl 0326.14004 · Zbl 0326.14004 · doi:10.1007/BF02684298
[11] R. HÜBL and E. KUNZ , Integration of differential forms on schemes (J. reine angew. Math., Vol. 410, 1990 , pp. 53-83). Article | MR 92a:14014 | Zbl 0712.14006 · Zbl 0712.14006 · doi:10.1515/crll.1990.410.53
[12] R. HÜBL and P. SASTRY , Regular differential forms and relative duality (American J. Math., Vol. 115, 1993 , pp. 749-787). MR 94i:14022 | Zbl 0796.14012 · Zbl 0796.14012 · doi:10.2307/2375012
[13] L. ILLUSIE , Existence de Résolutions Globales , Théorie des Intersections et Théorème de Riemann-Roch (SGA 6) (Lecture Notes in Math., no. 225 Springer-Verlag, New York, 1971 , pp. 160-221). MR 50 #7133 | Zbl 0241.14002 · Zbl 0241.14002
[14] G. R. KEMPF , Some elementary proofs of basic theorems in the cohomology of quasi-coherent sheaves , Rocky Mountain (J. Math, Vol. 10, 1980 , pp. 637-645). MR 81m:14015 | Zbl 0465.14008 · Zbl 0465.14008 · doi:10.1216/RMJ-1980-10-3-637
[15] R. KIEHL , Ein “Descente”-Lemma und Grothendiecks Projektionssatz für nichtnoethersche Schemata (Math. Annalen, Vol. 198, 1972 , pp. 287-316). MR 52 #3165 | Zbl 0246.14002 · Zbl 0246.14002 · doi:10.1007/BF01419561
[16] J. LIPMAN , Notes on Derived Categories and Derived Functors , preprint.
[17] J. LIPMAN , Desingularization of two-dimensional schemes (Annals of Math., Vol. 107, 1978 , pp. 151-207). MR 58 #10924 | Zbl 0349.14004 · Zbl 0349.14004 · doi:10.2307/1971141
[18] J. LIPMAN , Dualizing Sheaves, Differentials, and Residues on Algebraic Varieties (Astérisque, vol. 117, Soc. Math. de France, 1984 ). MR 86g:14008 | Zbl 0562.14003 · Zbl 0562.14003
[19] W. LÜTKEBOHMERT , On compactification of schemes (Manuscripta Math., Vol. 80, 1993 , pp. 95-111). Article | MR 94h:14004 | Zbl 0822.14010 · Zbl 0822.14010 · doi:10.1007/BF03026540
[20] E. MATLIS , The Koszul complex and duality (Communications in Algebra, Vol. 1, 1974 , pp. 87-144). MR 49 #8980 | Zbl 0277.13011 · Zbl 0277.13011 · doi:10.1080/00927877408548611
[21] E. MATLIS , The higher properties of R-sequences (J. Algebra, Vol. 50, 1978 , pp. 77-112). MR 80a:13013 | Zbl 0384.13002 · Zbl 0384.13002 · doi:10.1016/0021-8693(78)90176-X
[22] Z. MEBKHOUT Le théorème de positivité de l’irregularité pour les Dx-modules (The Grothendieck Festschrift, Volume III, Birkhäuser Boston, 1990 , pp. 83-132). MR 92j:32031 | Zbl 0731.14007 · Zbl 0731.14007
[23] A. NEEMAN , The Grothendieck duality theorem via Bousfield’s techniques and Brown representability (Jour. Amer. Math. Soc., Vol. 9, 1996 , pp. 205-236). MR 96c:18006 | Zbl 0864.14008 · Zbl 0864.14008 · doi:10.1090/S0894-0347-96-00174-9
[24] C. PESKINE and L. SZPIRO , Dimension projective finie et cohomologie locale (Publications Math. IHES, Vol. 42, 1973 , pp. 47-119). Numdam | MR 51 #10330 | Zbl 0268.13008 · Zbl 0268.13008 · doi:10.1007/BF02685877
[25] N. SPALTENSTEIN , Resolutions of unbounded complexes (Compositio Mathematica, Vol. 65, 1988 , pp. 121-154). Numdam | MR 89m:18013 | Zbl 0636.18006 · Zbl 0636.18006
[26] R. STREBEL , On homological duality (J. Pure and Applied Algebra, Vol. 8, 1976 , pp. 75-96). MR 54 #5319 | Zbl 0331.18021 · Zbl 0331.18021 · doi:10.1016/0022-4049(76)90024-4
[27] J.-L VERDIER , Base change for twisted inverse image of coherent sheaves (Algebraic Geometry, Bombay Colloquium, 1968 , Oxford University Press, London, 1969 , pp. 393-408). MR 43 #227 | Zbl 0202.19902 · Zbl 0202.19902
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.