Cancellation Theorem

  • Vladimir Voevodsky

    School of Mathematics Institute for Advanced Study Princeton NJ 08540 USA


We give a direct proof of the fact that for any schemes of finite type over a Noetherian scheme the natural map of presheaves with transfers is a (weak) -homotopy equivalence. As a corollary we deduce that the Tate motive is quasi-invertible in the triangulated categories of motives over perfect fields.