By definition, Voevodsky's motivic complex (an object of his $DM^{eff}_-$) is a complex of sheaves with transfers whose cohomology sheaves are homotopy invariant. Now, I consider the complex (of functors) $C=X\mapsto (k(X)^*\to Div(X))$. As far as I understand, this is a complex of sheaves with transfers; its cohomology presheaves are $G_m$ and $Pic$. So, it seems to be a motivic complex indeed.

In the previous version of this question I thought that $Pic$ gives a contribution of $\mathbb{Z}(1)[2]$ here. This seems to be very silly of me; since $Pic$ is given by the first (Zariski) cohomology of $G_m$, its Zariski (or Nisnevich) sheafification is zero, isn't it? So we just get $C\cong G_m$.

Besides, $X\mapsto H^iC(X)$ is a cohomology theory for varieties that satisfies the Mayer-Viertoris property (since both $X\mapsto k(X)^*$ and $X\mapsto Div(X)$ have this property). It seems to follow that the Zariski hypercohomology of $C$ coincides with its cohomology, though I don't know an easy proof.

Your Answer


By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.