5
$\begingroup$

For a variety over a finite field Deligne define weights by looking at the eigenvalues of the Frobenius. On the other hand, if we take a variety over $\mathbb{Q}$, at least for its constant sheaf we have the weight filtration which gives the mixed Hodge structure. How are these two comparable? Can someone point out some references?

Say we have a variety $X$ defined over $\mathbb{Z}[\frac{1}{p}]$. We can consider $p$-etale sheaves on $X$, or rather, the bounded derived category of constructible sheaves. If $F$ belongs to this category, for each prime $q\neq p$ we get a complex in the derived category of the fiber, which is a variety over a finite field, for which we have a weight filtration. Could we patch together these weights theories to get a weight filtration on $F$? Then I would like this weight filtration to induce the filtration of Mixed Hodge theory after restriction to generic fiber and extension of scalars.

Thank you very much.

EDIT: I should specify I want $F$ to induce a mixed sheaf on the fiber over each $q\neq p$.

$\endgroup$

1 Answer 1

4
$\begingroup$

For constant coefficients, the comparison statement, along with a sketch, appears in Deligne's ICM talk, Poids dans la cohomologie....

For things to work the way you seem to want in your second paragraph, you're going to need a lot more structure for $F$ than what you've given. At the very least, when $F$ is a local system (lisse), you need the weights with respect to the various Frobenius's, at different primes, to be compatible, and you would also need to specify an admissible variation of mixed Hodge structures on $X(\mathbb{C})$ plus appropriate compatibilities with the Hodge theoretic weights. Take a look at Saito's paper Arithmetic mixed sheaves in Inventiones for a general framework.

$\endgroup$
2
  • $\begingroup$ Thank you very much, I will have a look at the references you posted and try to get a better understanding; though my knowledge of mixed Hodge modules is very poor at the moment. The question behind the second paragraph was: is it possible to imitate Deligne's definition for the weights of the Frobenius to get a similar theory of mixed complexes for varieties over $\mathbb{Z}[\frac{1}{p}]$? $\endgroup$
    – S. S.
    Commented May 7, 2017 at 19:08
  • $\begingroup$ I made an edit. Even if you ignore the Hodge theoretic aspects, you would need to make sure that weights for different primes are compatible... $\endgroup$ Commented May 7, 2017 at 21:49

You must log in to answer this question.

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