No label defined (Q4513079)

The authors develop a certain cohomology theory for algebraic schemes, which allows to formulate (and to tackle) the conjectural motivic cohomology theory à la A. Beilinson in a suitable way. The precursor of this so-called ``bivariant cycle cohomology'' elaborated here is the graded Chow group \(A_*(X)\) of a scheme \(X\) over a field \(k\) together with S. Bloch's higher \(K\)-theory in algebraic geometry and H. B. Lawson's more topological homology theory for complex algebraic varieties. A less sophisticated version of this bivariant cohomology theory had been briefly introduced in 1993 by E. Friedlander and O. Gabber, but the refined theory developed here turns out to be much more powerful and fundamental. The authors construct bivariant cycle cohomology groups \(A_{r,i}(Y,X)\) defined for pairs \((Y,X)\) of schemes of finite type over a field \(k\), which admit numerous good properties (localization property, duality property, etc.), including a suitable ``moving lemma''. The development of this bivariant cycle cohomology theory requires a good deal of the machinery of algebraic cycles, pretheories and Chow sheaves à la Suslin-Voevodsky, and homology vanishing theorems [cf. chapters 2 and 3 of the present volume under review: \textit{A. Suslin} and \textit{V. Voedvodsky}, Ann. Math. Stud. 143, 10-86 (2000; Zbl 1019.14004) and \textit{V. Voedvodsky}, ibid. 87-137 (2000; Zbl 1019.14010)]. Concludingly, in the final section of this paper, the authors present a formulation of motivic cohomology and homology (in the sense of A. Beilinson) in terms of their bivariant cycle cohomology groups \(A_{*,*}(Y,X)\), and that in various possible versions. The following paper in this volume [Chapter 5: ``Triangulated categories of motives over a field, written by \textit{V. Voevodsky}, ibid. 188-238 (2000; Zbl 1019.14009)] continues these studies and culminates, after applying the results of the foregoing three papers in this volume, in establishing a very promising candidate for a motivic cohomology theory à la Beilinson-Lichtenbaum. For the entire collection see [Zbl 1021.14006].