Timeline for Is it possible to classify all Weil cohomologies?
Current License: CC BY-SA 2.5
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 5, 2010 at 1:26 | comment | added | JBorger | 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. | |
| Jun 4, 2010 at 12:50 | comment | added | Torsten Ekedahl | 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). | |
| Jun 4, 2010 at 6:35 | comment | added | natura | 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. | |
| Jun 4, 2010 at 6:13 | comment | added | Torsten Ekedahl | 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). | |
| Jun 4, 2010 at 6:10 | history | edited | Torsten Ekedahl | CC BY-SA 2.5 |
Partial retraction
|
| Jun 4, 2010 at 6:08 | comment | added | JBorger | 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. | |
| Jun 4, 2010 at 6:06 | history | undeleted | Torsten Ekedahl | ||
| Jun 4, 2010 at 6:04 | history | deleted | Torsten Ekedahl | ||
| Jun 4, 2010 at 5:59 | history | answered | Torsten Ekedahl | CC BY-SA 2.5 |