scientific article; zbMATH DE number 1526534

Authors Eric M. Friedlander, Vladimir Voevodsky, Andrei A. Suslin

Publication date 6 November 2000

motivic cohomology groups motivic cohomology theory

Algebraic cycles (14C25) Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Motivic cohomology; motivic homotopy theory (14F42)

Review text

In this introduction to the volume under review the authors begin with a short reminder of \textit{A. Beilinson}'s formulation of what is generally called ``motivic cohomology theory. Then they proceed to briefly summarize the topic and contents of the following five individual papers in the volume. The concept of motivic cohomology grew out of the works of A. Beilinson [cf. \textit{A. Beilinson}, \textit{R. MacPherson} and \textit{V. Schechtman}, Duke Math. J. 54, 679-710 (1987; Zbl 0632.14010) and S. Lichtenbaum [cf. \textit{S. Lichtenbaum} in: The Grothendieck Festschrift. Vol. III, Prog. Math. 88, 35-55 (1990; Zbl 0809.14004)], where the following conjecture was formulated and described: Let \(k\) be a field and \(Sm/k\) denote the category of smooth schemes over \(k\). Then there should exist certain complexes \(\mathbb{Z}(n)\) of sheaves, \(n\geq 0\), which have the following properties: 1. \(\mathbb{Z}(0)\) is the constant sheaf \(Z\). 2. \(\mathbb{Z}(1)\) is the sheaf \({\mathcal O}^*\) placed in cohomological degree 1. 3. For a field \(L\) over \(k\), one has \(H^n(\text{Spec}(L), \mathbb{Z}(n))= K^M_n(L)\), where \(K^M_n(L)\) denotes the \(n\)-th Milnor \(K\)-group of the field \(L\). 4. For a smooth scheme \(X\) over \(k\), one has \(H^{2n}_{Zar} (X,\mathbb{Z}(n))= A^n(X)\), where \(A^n(X)\) denotes the Chow group of cycles of codimension \(n\) on \(X\) modulo rational equivalence. 5. For any smooth scheme \(X\) over \(k\), there is a natural spectral sequence with \(E_2\)-term of the form \(E_2^{p,q}= H^p_{Zar} (X, \mathbb{Z}(q))\) and differentials \(d_r:E^{p,q}_2\to E_r^{p+r-1,q+2r-1}\), which converges to Quillen's \(K\)-groups \(K^Q_{2q-p}(X)\). Moreover, after tensoring with \(\mathbb{Q}\), this spectral sequence degenerates and one has \[ H^i_{Zar} (X, \mathbb{Z} (n))\otimes \mathbb{Q}=\text{gr}^n_\gamma K^Q_{2n-i} (X)\otimes\mathbb{Q}, \] where the groups on the right hand side are quotients of the \(\gamma\)-filtration in Quillen's \(K\)-theory of \(X\). The hypercohomology groups \(H_{Zar}^i(X, \mathbb{Z} (n))\), with respect to the Zariski topology on \(Sm/k\), are usually denoted by \(H^i_M(X, \mathbb{Z}(n))\) and called ``motivic cohomology groups of \(X\). Whereas A. Beilinson, in the above formulation of motivic cohomology, has focused on the Zariski topology, S. Lichtenbaum has suggested axioms for the étale analogue of Beilinson's conjectural theory. In the course of the present volume, the authors focus on Beilinson's approach and construct a motivic cohomology theory that satisfies properties (1)--(4). Then the comparison with the theory of higher Chow groups, together with the recent construction of a ``motivic spectral sequence by S. Bloch and S. Lichtenbaum [cf. \textit{S. Bloch} and \textit{S. Lichtenbaum}, ``A spectral sequence for motivic cohomology (Preprint 1994)] and some work in progress by E. Friedlander, M. Levine, A. Suslin and M. Walker is expected to give also property (5), thereby providing an affirmative answer to Beilinson's conjecture on the existence of a motivic cohomology theory. The authors' construction is carried out in the following four papers of this same volume, while the fifth and last paper discusses the link between the motivic cohomology theory developed here and S. Bloch's approach via higher Chow groups. For the entire collection see [Zbl 1021.14006].

Recommendations

Cited in

(19)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4513076)