The category of effective pure Chow motives , , is the idempotent completion of the category whose objects are smooth projective varieties over some field , and whose hom-sets are Chow groups in the product of two varietes (see for instance Vishik09, def. 2.1).
Hence a morphism in is an equivalence class of linear combinations of correspondences/spans of the form
If one furthermore inverts the Lefschetz motive then one obtains the category of pure Chow motives
This was introduced by Grothendieck. See e.g. (Vishik09, p. 6), (Mazza-Voevodsky-Weibel, p. 181).
This is a special case of the more general notion of pure motives. See there for more.
There is a full and faithful functor from the category of Chow motives into that of Voevodsky motives:
(e.g Mazza-Voevodsky-Weibel, prop. 20.1)
The relation between Chow motives and noncommutative Chow motives is recalled as theorem 4.6 in (Tabuada 11).
This relation is best understood via K-motives, see there.
The definition of Chow motives in algebraic geometry is somewhat analogous to the construction of KK-theory in noncommutative topology. See at KK-theory – Relation to motives.
A quick and complete statement of the definition is in
See also
A review of noncommutative Chow motives is in section 4 of
Discussion of how the derived category of a scheme determines its commutative and noncommutative Chow motive is in
Last revised on September 1, 2022 at 02:38:56. See the history of this page for a list of all contributions to it.