Weil Conjectures - Weil Cohomology

Weil Cohomology

Weil suggested that the conjectures would follow from the existence of a suitable "Weil cohomology theory" for varieties over finite fields, similar to the usual cohomology with rational coefficients for complex varieties. His idea was that if F is the Frobenius automorphism over the finite field, then the number of points of the variety X over the field of order qm is the number of fixed points of Fm (acting on all points of the variety X defined over the algebraic closure). In algebraic topology the number of fixed points of an automorphism can be worked out using the Lefschetz fixed point theorem, given as an alternating sum of traces on the cohomology groups. So if there were similar cohomology groups for varieties over finite fields, then the zeta function could be expressed in terms of them.

The first problem with this is that the coefficient field for a Weil cohomology theory cannot be the rational numbers. To see this consider the case of a supersingular elliptic curve over a finite field of characteristic p. The endomorphism ring of this is an order in a quaternion algebra over the rationals, and should act on the first cohomology group, which should be a 2 dimensional vector space over the coefficient field by analogy with the case of a complex elliptic curve. However a quaternion algebra over the rationals cannot act on a 2 dimensional vector space over the rationals. The same argument eliminates the possibility of the coefficient field being the reals or the p-adic numbers, because the quaternion algebra is still a division algebra over these fields. However it does not eliminate the possibility that the coefficient field is the field of l-adic numbers for some prime l ≠ p, because over these fields the division algebra splits and becomes a matrix algebra, which can act on a 2-dimensional vector space. Grothendieck and Michael Artin managed to construct suitable cohomology theories over the field of l-adic numbers for each prime l ≠ p, called l-adic cohomology.