×

K-theory and intersection theory revisited. (English) Zbl 0651.14001

If X is a nonsingular variety over k the Bloch-Quillen isomorphism \(\eta: CH\;p(X)\simeq H\;p(X,{\mathcal K}_ p({\mathcal O}_ X))\) describes the Chow group of codimension p cycles modulo rational equivalence in terms of sheaf cohomology. The following theorem is proved: “Let X be a smooth variety over k, Y, Z two integral subschemes of codimension p and q, respectively, which intersect properly on X. If \(Y\cdot Z\) is the intersection cycle, then \(\eta (Y\cdot Z)=(-1)^{pq}\eta (Y)\eta (Z)\in H^{p+q}(X,{\mathcal K}_{p+q}({\mathcal O}_ X))9.\) Unlike the former proofs of Grayson and of the author, this proof is essentially a formal argument using natural properties of Quillen’s spectral sequence, the K-theory product, cycle classes and the classical intersection product. It is obtained as a corollary that the Bloch-Quillen isomorphism is compatible with inverse images.

MSC:

14C17 Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry
14C35 Applications of methods of algebraic \(K\)-theory in algebraic geometry
14C05 Parametrization (Chow and Hilbert schemes)
14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Deligne, P.: La Classe de cohomologie associée à un cycle, in SGA41/2. Lecture Notes in Math. 569, Springer-Verlag, Berlin (1977).
[2] Fulton, W.: Rational equivalence on singular varieties, Publ. Math. IHES 45 (1975), 147-167. · Zbl 0332.14002
[3] Gillet, H.: Riemann-Roch Theorems for higher Algebraic K-theory, Adv. Math. 40 (1981), 203-289. · Zbl 0478.14010 · doi:10.1016/S0001-8708(81)80006-0
[4] Gillet, H.: Comparison of K-theory spectral sequences, with applications, in Algebraic K-theory, Evanston, 1980. Lecture Notes in Math. 854, Springer-Verlag, Berlin. (1981), pp. 141-167.
[5] Godement, R.: Topologie algébrique et théorie des faisceaux Hermann, Paris (1958). · Zbl 0080.16201
[6] Grayson, D.: Products in K-theory and intersecting algebraic cycles, Invent. Math. 47 (1978), 71-84. · Zbl 0394.14004 · doi:10.1007/BF01609480
[7] Hartshorne, R.: On the DeRham Cohomology of Algebraic varieties, Publ. Math. IHES 45, (1975) 5-99. · Zbl 0326.14004
[8] Quillen, D.: Higher algebraic K-theory, I, in H. Bass, ed., Algebraic K-theory I. Lecture Notes in Math. 341, Springer-Verlag, Berlin (1973). · Zbl 0292.18004
[9] Serre, J. P.: Algèbre Local, Multiplicités, Lecture Notes in Math. 11, 3rd edn. Springer-Verlag, Berlin, (1975).
[10] Waldhausen, F.: Algebraic K-theory of generalized free products, Ann. Math. 108 (1978), 135-256. · Zbl 0397.18012 · doi:10.2307/1971165
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.