Motivic stuff

Cohomology, homotopy theory, and arithmetic geometry

Weil cohomology

Posted by Andreas Holmstrom on March 18, 2009

The most useful and natural notion of cohomology for smooth projective varieties is given by the set of axioms known as Weil cohomology. When studying more general varieties (see this post), we need different notions of cohomology – will come back to this in the future. For the basic definitions and properties of Weil cohomology, I will simply refer to this excellent short note by de Jong. There are a few slightly different ways to define Weil cohomology, but I don’t want to get into a lot of details of this at the moment. The most significant difference between de Jong’s note and some other references is that some authors omit the notion of Tate twist. However, from the point of number theory this is  a bad thing to do.

Looking at varieties over a field k say, we have a range of Weil cohomology theories, each with its own coefficient field. The term “coefficient field” simply means the field K over which our cohomology groups are vector spaces. We list here the most well-known Weil cohomology theories, for various fields k.

For every prime number \ell different from the characteristic of k, we have the \ell-adic cohomology, sometimes referred to as \ell-adic étale cohomology, or just étale cohomology. The coefficient field for \ell-adic cohomology is the field \mathbf{Q}_{\ell} of \ell-adic numbers, so the cohomology groups are vector spaces over this field.

If char(k) = 0, we have algebraic de Rham cohomology, with coefficient field k itself.

If \sigma: k \to \mathbf{C} is an embedding of k into the field of complex numbers, we have the so called Betti cohomology associated to \sigma, which is just the singular cohomology of the variety viewed as a complex variety by means of the embedding \sigma. The singular cohomology here is taken with rational coefficients, so the coefficient field of Betti cohomology is the field \mathbf{Q} of rational numbers.

If k is the field \mathbf{Q}_{p} of p-adic numbers for some prime number p, we have p-adic étale cohomology. (This can also be defined for more general fields similar to \mathbf{Q}_{p} – more about this in a future post.)

If k is a perfect field of characteristic $p > 0$, we have crystalline cohomology. The coefficient field in this case is the fraction field of the ring of Witt vectors of k.

All of these cohomologies come with rich extra structure (in addition to being K-vector spaces), such as for example Galois action or Hodge structure. In coming posts we will try to look at each of these cohomology theories in some detail, with their extra structure, and also define all of the terms left undefined above. We will also look at Grothendieck’s idea of pure motives as a “universal Weil cohomology theory”.

6 Responses to “Weil cohomology”

  1. […] 6.  There is a “cycle” map which associates to any codimension k cycle on X a class in (If you want to be precise it lands in ).  This is true for any appropriate cohomology theory, including singular cohomology if X is a complex manifold.  For more information about such things, see this post. […]

  2. […] Comments (RSS) « Weil cohomology […]

  3. […] Weil cohomology […]

  4. Alberto said


    de Jong note on Weil cohomology has moved. Here’s the new link:

    Click to access note_on_weil_cohomology.pdf

  5. […] of cohomology functor in this context is given by the axioms for a Weil cohomology theory, see this blog post of mine for more […]

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: