Skip to main content
2 of 3
deleted 58 characters in body; edited tags; deleted 24 characters in body; added 2 characters in body
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98

Does this motivic complex split canonically?

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, 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 sheaves are $G_m$ and $Pic$. So, as an object of $DM^{eff}_-$ $C$ is isomorphic to a cone of a homomorphism from $\mathbb{Z}(1)[2]$ to $G_m[2]=\mathbb{Z}(1)[3]$. Since $Hom(\mathbb{Z}(1)[2], \mathbb{Z}(1)[3])\cong Hom(\mathbb{Z}, \mathbb{Z}[1])=0$, this complex should be quasi-isomorphic to the direct sum of its cohomology sheaves. Is there an explicit quasi-isomorphism here?

Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98