12
$\begingroup$

There is a really interesting comment in this question that I was unable to find a reference...

Under the "Tate conjectures, then every motive belongs to the tensor category generated by motives of curves."

I would like to know where I should go to learn more about this...

Many thanks,

$\endgroup$

1 Answer 1

20
$\begingroup$

This phenomenon is specific to the fields $\mathbb F_q$ (in this case you need the Artin motives as well) and $\bar{\mathbb F}_q$. Roughly, the outline is as follows.

If the Tate conjecture is true and the Frobenius action is semisimple, then the homological standard conjecture is true. Then Jannsen's Motives, numerical equivalence, and semi-simplicity implies that the category of motives with homological equivalence is semisimple. Moreover, the Tate conjecture gives a description of the simple objects in terms of the characteristic polynomial of Frobenius. Then Honda–Tate theory constructs all such characteristic polynomials inside the cohomology of an abelian variety. These are always dominated by Jacobians, so all desired Frobenius eigenvalues occur in the $H^1$ of a curve.

A great general reference for motives is the AMS Proceedings of Symposia in Pure Mathematics Vol. 55.1: Motives. See here for the AMS ebook collection version (you might be able to access this from within your institution). See in particular Proposition 2.6 and Remark 2.7 of Milne's chapter Motives over finite fields (preprint here).

Remark. As I understand it, the same is not expected to hold over basically any other type of field. For example, it should be "easy" to write down a Hodge structure that is not in the full abelian tensor subcategory generated by the Hodge structures of weight $1$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .