motive

Last modified date: <%+ tp.file.last_modified_date() %>



motive

A conjectural geometric object associated to a smooth projective variety which is meant to capture the relationships between

along with their relevant filtrations and comparison maps.

attachments/Pasted%20image%2020220515020128.png

Meant to make sense of equations like \([{\mathbf{P}}^1] = [{\mathbf{A}}^1] + [{\mathbf{A}}^0]\) where \({\mathbf{A}}^0\coloneqq{\operatorname{pt}}\) and \([{\mathbf{P}}^2] = [{\mathbf{A}}^2] + [{\mathbf{A}}^1] + [{\mathbf{A}}^0]\).

Special motives:

  • Chow motives
  • Lefschetz motive
  • Tate motive.

There is a conjecture tensor category of mixed motives where taking $\operatorname{Ext} $ recovers motivic cohomology, which should coincide with something predicted by algebraic K theory. Constructing this involves motivic homotopy theory.

Results condition on the Standard conjectures, Tate conjecture, and Hodge conjecture: attachments/Pasted%20image%2020220515020219.png

Motivic invariants

attachments/Pasted%20image%2020220410185024.png attachments/Pasted%20image%2020220410185049.png attachments/Pasted%20image%2020220410185102.png # Intuition

attachments/Pasted%20image%2020220410215743.png attachments/Pasted%20image%2020220410215928.png attachments/Pasted%20image%2020220410215944.png

From the transgressions in the Serre spectral sequence:

attachments/Pasted%20image%2020220403192047.png attachments/Pasted%20image%2020220403192059.png

attachments/Pasted%20image%2020220410224855.png attachments/Pasted%20image%2020220410224909.png attachments/Pasted%20image%2020220410224922.png attachments/Pasted%20image%2020220410225017.png

Links to this page
#motivic