Skip to main content
1 of 2
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 99

The "motivic motivation" is that by idempotent completing correspondences over a finite field one obtains a category of homological motives where Kunneth decompositions of diagonals are available. Moreover, over any field the category of numerical motives is abelian semi-simple.

The proof of the latter statement is relatively simple, and can probaly be generalized to other relevant settings. Yet I do not think that there exists any "deep" and general yoga that says that idempotent completions are crucially important.

Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 99