×

Universal cycle classes. (English) Zbl 0538.14009

The objective of the paper is to prove the following theorem: For each positive integer \(p\geq 1\), there exists a smooth simplicial scheme \(BL^ p_.\), with a smooth, closed subsimplicial scheme \(Z^ p_.\) of codimension p in each degree, having the property that if X is any noetherian scheme and \(Y\subset X\) any codimension p subscheme locally a complete intersection in X, then there exists an open cover \(\{U_{\alpha}\}\) of X and a map of simplicial schemes \(\chi_ Y: N_.\{U_{\alpha}\}\to BL^ p_.\) such that \(\chi_ Y^{-1}(Z^ p_.)=N_.\{U_{\alpha}\cap Y\}\subset N_.\{U_{\alpha}\}.\) Furthermore the subscheme \(Z^ p_.\) has cycle classes in three cohomology theories: The K-theoretic version of the Chow ring, étale cohomology and crystalline cohomology, which one may regard as universal cycle classes for local complete intersections. - The primary motivation for proving these results is to improve the understanding of intersection theory on singular varieties and schemes.
Reviewer: A.Conte

MSC:

14C35 Applications of methods of algebraic \(K\)-theory in algebraic geometry
14F30 \(p\)-adic cohomology, crystalline cohomology
14C17 Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry
14F20 Étale and other Grothendieck topologies and (co)homologies
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] P. Berthelot : Cohomologie cristalline des schemas de caracteristique p > 0 . Lecture Notes in Math. 407 (1976), Springer-Verlag. · Zbl 0298.14012
[2] S. Bloch : K2 and algebraic cycles . Ann. of Math. 99 (1974) 349-379. · Zbl 0298.14005 · doi:10.2307/1970902
[3] P. Baum , W. Fulton and R. Macpherson : Riemann-Roch for singular varieties . Publ. Math. IHES 45 (1975) 107-146. · Zbl 0332.14003 · doi:10.1007/BF02684299
[4] P. Berthelot and A. Ogus : Notes on Crystalline Cohomology . Math. Notes 21 (1978). Princeton Univ. Press. · Zbl 0383.14010 · doi:10.1515/9781400867318
[5] L. Burch : On ideals of finite homological dimension in local rings . Proc. Camb. Phil. Soc. 64 (1968) 941-946. · Zbl 0172.32302
[6] P. Deligne : Theorie de Hodge, III . Publ. Math. IHES 44 (1974) 5-78. · Zbl 0237.14003 · doi:10.1007/BF02685881
[7] P. Deligne : La classe de cohomologie associee a un cycle . Lecture Notes in Math. 569 (1977) 129-153. Springer-Verlag. · Zbl 0349.14012
[8] J. Eagon and D. Northcott : Ideals defined by matrices and a certain complex associated to them . Proc. Royal. Soc. a269 (1962) 188-204. · Zbl 0106.25603 · doi:10.1098/rspa.1962.0170
[9] E. Friedlander : Etale homotopy theory of simplicial schemes . Preprint. · Zbl 0538.55001 · doi:10.1515/9781400881499
[10] W. Fulton : Rational equivalence on algebraic varieties . Publications Mathématiques IHES 45 (1975) 147-165. · Zbl 0332.14002 · doi:10.1007/BF02684300
[11] W. Fulton and R. Macpherson : Bivariant theories . Preprint (1980).
[12] H. Gillet : The applications of algebraic K-theory to intersection theory , Harvard Thesis (1978).
[13] R. Godement : Topologie algebrique et theorie des faisceux , Hermann (Paris) 1958. · Zbl 0080.16201
[14] D. Grayson : The K-theory of Hereditary Categories . J. of Pure and Appl. Alg. 11 (1977) 67-74. · Zbl 0372.18004 · doi:10.1016/0022-4049(77)90041-X
[15] D. Grayson : Products in K-theory and intersecting algebraic cycles . Inventiones Math. 12 (1978). · Zbl 0394.14004 · doi:10.1007/BF01609480
[16] H.I. Green : Chern classes for coherent cheaves . Preprint, Univ. of Warwick.
[17] P. Griffiths and J. Adams : Topics in algebraic and analytic geometry . Notes from a course taught at Princeton, Princeton U. Press (1974). · Zbl 0302.14003 · doi:10.1515/9781400869268
[18] R. Hartshorne : Ample subvarieties of algebraic varieties . Lecture Notes in Math. 156 (1970). Springer-Verlag. · Zbl 0208.48901 · doi:10.1007/BFb0067839
[19] R. Hartshorne : Residues and duality . Lecture Notes in Math. 20 (1966). Springer-Verlag. · Zbl 0212.26101 · doi:10.1007/BFb0080482
[20] J.P. May : Simplicial Objects in Algebraic Topology . Van Nostrand (1967). · Zbl 0165.26004
[21] D. Quillen : Higher algebraic K-theory I . L.N.M. 341 (1973) 85-147. Springer-Verlag. · Zbl 0292.18004 · doi:10.1007/BFb0067053
[22] D. Toledo and Y.-L. Tong : A paramatrix for \partial and Riemann-Roch in Cech Theory . Topology 15 (1976) 273-302. · Zbl 0355.58014 · doi:10.1016/0040-9383(76)90022-7
[23] J.-L. Verdier : Seminaire Bourbaki , No. 464 (1974-75). · Zbl 0349.14001
[24] F. Waldhausen : Algebraic K-theory of generalized free products, I and II . Ann. Math. 108 (1978) 135-256. · Zbl 0407.18009 · doi:10.2307/1971166
[25] J.P. Serre : Algebrè Local, Multiplicités . Lecture Notes in Math. 11 (3rd edition, 1975). Springer-Verlag, Berlin. · Zbl 0296.13018
[26] S. Lubkin : A p-adic proof of Weil’s conjectures . Ann. of Math. 87 (1968) 105-255. · Zbl 0188.53004 · doi:10.2307/1970596
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.