Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.