# Weil cohomology

Cohomology of algebraic varieties with coefficients in a field of characteristic zero, with formal properties required to obtain the Lefschetz formula for the number of fixed points. The necessity for such a theory was pointed out by A. Weil , who showed that the rationality of the zeta-function and $L$- function of a variety over a finite field follow from the Lefschetz formula, whereas the remaining hypotheses about the zeta-function can naturally be formulated in cohomological terms. Let the variety $X$ be a projective smooth connected scheme over a fixed algebraically closed field $k$ and let $K$ be a field of characteristic zero. Then Weil cohomology with coefficient field $K$ is a contravariant functor $X \rightarrow H ^ {*} ( X)$ from the category of varieties into the category of finite-dimensional graded anti-commutative $K$- algebras, which satisfies the following conditions:

1) If $n= { \mathop{\rm dim} } ( X)$, then $H ^ {2n} ( X)$ is isomorphic to $K$, and the mapping

$$H ^ {i} ( X) \times H ^ {2n-} i ( X) \rightarrow H ^ {2n} ( X) ,$$

defined by the multiplication in $H ^ {*} ( X)$, is non-degenerate for all $i$;

2) $H ^ {*} ( X) \otimes _ {K} H ^ {*} ( Y) \widetilde \rightarrow H ^ {*} ( X \times Y)$( Künneth formula);

3) Mapping of cycles. There exists a functorial homomorphism $\gamma _ {X}$ from the group $C ^ {p} ( X)$ of algebraic cycles in $X$ of codimension $p$ into $H ^ {2p} ( X)$ which maps the direct product of cycles to the tensor product and is non-trivial in the sense that, for a point $P$, $\gamma _ {P}$ becomes the canonical imbedding of $\mathbf Z$ into $K$. The number

$$b _ {i} ( X) = \mathop{\rm dim} _ {K} H ^ {i} ( X)$$

is known as the $i$- th Betti number of the variety $X$.

Examples. If $k = \mathbf C$, classical cohomology of complex manifolds with coefficients in $\mathbf C$ is a Weil cohomology. If $l$ is a prime number distinct from the characteristic of the field $k$, then étale $l$- adic cohomology

$$X \mapsto \left [ \lim\limits _ {\\vec{nu} } H _ {et} ^ {*} ( X, \mathbf Z / l ^ \nu \mathbf Z ) \right ] \otimes _ {\mathbf Z _ {l} } \mathbf Q _ {l}$$

is a Weil cohomology with coefficients in the field $\mathbf Q _ {l}$.

The Lefschetz formula

$$\langle u \cdot \Delta \rangle = \sum _ { i= } 0 ^ { 2n } (- 1) ^ {i} \mathop{\rm Tr} ( u _ {i} )$$

is valid for Weil cohomology. In the above formula, $\langle u \cdot \Delta \rangle$ is the intersection index in $X \times X$ of the graph $\Gamma$ of the morphism $u : X \rightarrow X$ with the diagonal $\Delta \subset X \times X$, which may also be interpreted as the number of fixed points of the endomorphism $u$, while ${ \mathop{\rm Tr} } ( u _ {i} )$ is the trace of the endomorphism $u _ {i}$ which is induced by $u$ in $H ^ {i} ( X)$. Moreover, this formula is also valid for correspondences, i.e. elements $u \in H ^ {2n} ( X \times X)$.

How to Cite This Entry:
Weil cohomology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weil_cohomology&oldid=53648
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article