Welcome to MathOverflow

Question

3

2

Weil cohomologies seem to be "natural" and useful cohomology theories. Wikipedia lists Betti, De Rham, l-adic etale, and crystalline cohomologies as examples of Weil cohomology. Do we have more of them? and is it plausible to classify all or some Weil cohomologies? Or more generally, classify these really good Grothendieck sites?

flag	asked Jun 4 2010 at 5:28 natura 892●3●13

Torsten Ekedahl · Answer 1 · 2010-06-04 06:10:04Z UTC

3

If we believe in the standard conjectures (or something similar) so that the category of motives is Tannakian, then a Weil cohomology theory is just a fibre functor and as such twists of each other (that does not quite give the multiplicative structure however) which gives, more or less, a classification. Note that your question on Grothendieck sites is only vaguely related, the whole point of the notion of Weil cohomology theory is that there is no site in sight (pun intended).

Addendum: This is a little bit simple minded as the requirements for a Weil cohomology theory to be a fibre functor go beyond the standard conjectures I think. Also one would need to define motives using cohomological equivalence. However, I think the statements I made are philosophically OK and one cannot hope to get anything in the way of a more precise classification.

edited Jun 4 2010 at 6:10

answered Jun 4 2010 at 5:59

Torsten Ekedahl
18k●1●42●68

Torsten, I'm probably reading too much into your choice of words, but I'd disagree that "the whole point of the notion of Weil cohomology theory is that there is no site in sight". I might say that since the definition of Weil cohomology theory doesn't involve a choice of site, it would be particularly satisfying if, when the universal Weil cohomology theory is discovered, it can be constructed without any particular choice of site. I might even disagree with that, because all definitions of scheme (or algebraic space) essentially involve some choice of site. – James Borger Jun 4 2010 at 6:08

My comment was more referring to what I believe to be Grothendieck's motivation. Finding a natural way to interpret Weil cohomology theories as the cohomology with respect to some topology (and some sheaf in it) would be an a posteriori fact (and a wonderful one at that). – Torsten Ekedahl Jun 4 2010 at 6:13

would any of the listed four functors serve as a kind of special functors? or they are just "one of them"? By the way, do you know more examples of Weil cohomologies? Thank you. – natura Jun 4 2010 at 6:35

2

An interesting (yet curious) example is an ultraproduct of etale coomology with $\mathbb Z/\ell$-coefficients over all $\ell$ different from the characteristic. It was used by Gabber to show that $\ell$-adic cohomology is torision free for all but a fini for a finite number of $\ell$ (and for a fixed smooth and projective variety). – Torsten Ekedahl Jun 4 2010 at 12:50

1

I can't remember if Weil cohomology theories are allowed to take values in categories more general than vector spaces over a field of characteristic 0, but modulo this issue, big de Rham-Witt cohomology is another example. Unfortunately, nothing about it has appeared in the literature yet, but you won't have to wait long. – James Borger Jun 5 2010 at 1:26

Is it possible to classify all Weil cohomologies?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.