5

3

What's the relation between Voevodsky's motivic cohomology and Quillen K-theory of a scheme?

flag

2 Answers

6

You should look at Marc Levine's preprint "K-theory and motivic cohomology of schemes, I". The version on the UIUC K-theory server seems to be older than the version on his website .

Roughly speaking, the motivic spectral sequence starts from motivic cohomology and converges to algebraic K-theory. This spectral sequence was conjectured by Beilinson and first written down for nice fields by Bloch and Lichtenbaum (pre-print on the UIUC server), and was extended to more general schemes by Friedlander and Suslin (Ann. Sci. École Norm. Sup. (4) 35 (2002), no. 6, 773--875). I think these papers were written before the bulk of Voevodsky's work, and the E_2 term was described in terms of Bloch's higher Chow groups. The correspondence between motivic cohomology and higher Chow groups is Theorem 1.2 in Levine's paper, and is due to Voevodsky ("Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic," Int. Math. Res. Not. 2002, no. 7, 351--355).

link|flag
The spectral sequence exists for all schemes (say, over a field) if one uses higher Chow groups and K'-theory. It then gives the desired result for smooth schemes because higher Chow groups are isomorphic to motivic cohomology and K'-theory to K-theory. Also, Marc Levine has several papers where he gives a proof of the spectral sequence without referring to the Bloch-Lichtenbaum paper which never appeared. – Thomas Geisser Sep 25 at 8:19
1

I found that for a smooth quasi-projective variety $k$: $CH^q(X,p)_\mathbf{Q} = K_p(X)^{(q)}_\mathbf{Q}$, where $CH^q(X,p) = H^{2q-p,q}(X)$ are Bloch's higher Chow groups.

link|flag

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.