[Math] Derived Algebraic Geometry and Chow Rings/Chow Motives

ag.algebraic-geometryhigher-category-theorymotives

I recently heard a talk about Chow motives and also read Milne's exposition on motives. If I understand it correctly, the naive definition of the Chow ring would be that it simply consists of all algebraic cycles, but to define a multiplication one needs to impose a certain equivalence relation, either rational or numerical equivalence.

I wondered myself if an alternative definition using derived algebraic geometry would be possible. Regardless which framework of derived algebraic geometry you use, a feature should be that you can get always the correct intersection/fiber product. Therefore, one might try to define a derived Chow ring by considering 'derived algebraic cycles' (without any equivalence relation). One would probably get a space out of this instead of a set, but this wouldn't necessarily be a bad thing. Also, the associated category of 'derived Chow motives' would then be a simplicial category (or $(\infty,1)$-category).

What I would like to know is the following: Has somebody tried to build such a theory and if not, what are the problems of it or why is it perhaps a bad idea right from the start?

Best Answer

I don't know much about this stuff, so instead of answering the question, I try to formulate more precise questions, in the hope someone else will take up these questions:

One of the main reason to look for cycles is that they give realizations (their fundamental class) in all cohomology theories, which happen to have special properties (e.g., are Hodge cycles or Tate cycles), and anytime you see a Hodge (or Tate) cycle in cohomology, you expect that it comes from an algebraic cycle (the Hodge or Tate conjecture) and hence similar phenomena should occur in all cohomology theories (i.e., there is a Hodge (or Tate) cycle in all realizations).

Now, if the following were true:

1) Any 'derived algebraic cycle' gives rise to virtual fundamental classes in all cohomology theories, which again are Hodge or Tate cycles.

2) It is not clear that the virtual fundamental classes of 'derived algebraic cycles' are already fundamental classes of real algebraic cycles,

then one might formulate a 'derived' Hodge or Tate conjecture, which would have the same consequences.

Your question has another aspect, which regards a possible framework for working with these motives; I leave this aside as I understand even less about how this should work.

Related Question