15
$\begingroup$

In the search for a Weil cohomology theory $H$ over a field $K$ (with $\text{char}(K)=0$) for varieties in characteristic $p$, a classical argument by Serre shows that the coefficient field cannot be a subfield of $\mathbb{R}$ or of $\mathbb{Q}_p$; an obvious choice is to take $\mathbb{Q}_\ell$ for a prime $\ell \neq p$.

Now, we can try to make a Weil cohomology theory by taking the sheaf cohomology with constant sheaves with the Zariski topology, but this does not work as all cohomology vanishes.
Grothendieck's insight was that we can find a different topology, for example the étale topology. Then we can build a Weil cohomology theory with coefficients in $\mathbb{Q}_\ell$ by taking cohomology with coefficients in the constant sheaves $\mathbb{Z}/ \ell^n\mathbb{Z}$ and then taking the inverse limit with respect to $n$ and tensor with $\mathbb{Q}_\ell$: this gives $\ell$-adic cohomology.

But it is not so clear to me why the étale topology is best suited at this task. What happens if we repeat the above procedure on other sites? Does the cohomology theory we get fail to be a Weil cohomology theory?

P.S.: Information for fields other than $\mathbb{Q}_\ell$ would also be nice!

$\endgroup$
8
  • $\begingroup$ Also, does anyone know of a reference for Serre's argument? $\endgroup$ Feb 21, 2010 at 18:19
  • 8
    $\begingroup$ The point is that for a supersingular curve E over a finite field, $End(E)\otimes Q$ is a quaternion algebra (skew field of degree 4 over Q). It can't act on a two-dimensional space over a field F unless F splits the algebra (i.e., tensoring with F gives a matrix algebra). Since $End(E)\otimes Q$ isn't split by R or Q_p, there can't be a Weil cohomology with coefficients in those fields. This is always credited to Serre because he put it in print, but was surely common knowledge, e.g., Weil surely knew it. $\endgroup$
    – JS Milne
    Feb 21, 2010 at 18:29
  • 1
    $\begingroup$ I'm a bit confused by the statement that "there can't be a Weil cohomology with coefficients in those fields." Perhaps I am mis-remembering what the axiomatic definition of a Weil cohomology is, but isn't rigid cohomology supposed to be a Weil cohomology? $\endgroup$
    – B. Cais
    Feb 21, 2010 at 19:05
  • 10
    $\begingroup$ @B. Cais, Sam D: The argument of Serre shows that a you can't have a Weil cohomology over say $\mathbf{F}_{p^2}$ which takes values in $\mathbf{Z}_p$. The argument breaks down for a supersingular curve over $\mathbf{F}_p$ because not all of its endomorphism ring is defined over $\mathbf{F}_p$. So for instance crystalline (resp. rigid) cohomology takes values in W(F) (resp. W(f)[1/p]) $\endgroup$ Feb 21, 2010 at 19:34
  • 2
    $\begingroup$ Actually, I have a question. Nowhere in the axioms of a Weil cohomology theory are any sort of comparison theorems specified. Why is it necessarily the case that H^1 of an elliptic curve should be of dimension 2? Of course, I think it is entirely reasonable to ask for comparison theorems, but it seems the usual definition does not have them, which leaves me wondering. In the framework of motives, it becomes even clearer that H^1 should be of dimension 2 (viewing Jacobians of curves as tightly related to their motives), so maybe that is the correct context, instead of Weil cohomology theories? $\endgroup$ Apr 25, 2010 at 5:01

1 Answer 1

15
$\begingroup$

As observed, the Zariski topology has too few open subsets to compute cohomology with constant coefficients. It had already been observed by Serre that etale covers were enough to trivialize principal bundles for many algebraic groups. That suggested using etale covers. The etale "topology" is the coarsest for which the inverse function theorem holds. The flat topology also gives Weil cohomologies (the same ones as the etale topology), but why use flat covers when etale covers are enough.

$\endgroup$
7
  • $\begingroup$ As I understand it, we want the inverse function theorem to hold so that the étale cohomology compares favourably to singular cohomology in the complex analytic case; in particular they are isomorphic for finite coefficient abelian groups, which is what we need to set up $\ell$-adic cohomology. Will this necessarily fail if we have a topology in which the inverse function theorem fails? $\endgroup$ Feb 21, 2010 at 18:57
  • 6
    $\begingroup$ The group $H^1(X,A)$ with A a finite commutative group, should classify the A-torsors over X. In order for it to do this, the topology must split the torsors. This means you must allow etale covers, and the miracle is once you do that you get the "correct" cohomology groups in all degrees. $\endgroup$
    – JS Milne
    Feb 21, 2010 at 19:26
  • 6
    $\begingroup$ I think the best explanation for this miracle is homotopy-theoretic. The insufficiency of a topology for calculating the homotopy type of a space loosely amounts to the lack of "good covers", that is covers by contractible open sets (given good covers, one recovers the homotopy type from the combinatorics of a suitable hypercover by good opens). Now, in this sense, the Zariski topology is not too far from giving the right homotopy type: [cont'd] $\endgroup$ Feb 21, 2010 at 20:15
  • 9
    $\begingroup$ as Artin shows in SGA, every variety (over C say) has a Zariski cover by varieties which iteratively fiber down to the point in hyperbolic curves, and thus, while not contractible, have vanishing higher homotopy groups: they are K(pi,1)'s. Then when we allow ourselves etale covers as well, we can take any finite covering space of these K(pi,1)'s (Riemann existence). Thus, though we can't make etale covers completely contractible, we can make them contractible enough for the purposes of finite coefficient systems. $\endgroup$ Feb 21, 2010 at 20:15
  • 1
    $\begingroup$ @Qfwfq The topological "contractible" does not make sense here. There are several more abstract notrions that make sense. For example you could ask for the cohomology to vanish locally. Or you use the fact that every smooth point of a variety has an étale neighbourhood that looks like affine space. Then you need to find a meaningful way to say that affine space is contractible. One possibility is to work in Morel-Voevodsky's A1-homotopy theory where affine space is contractible (i.e. weakly equivalent to a point) by definition. $\endgroup$ Feb 5, 2015 at 8:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.