The Stacks project

45.1 Introduction

In this chapter we discuss Weil cohomology theories for smooth projective schemes over a base field. Briefly, for us such a cohomology theory $H^*$ is one which has Künneth, Poincaré duality, and cycle classes (with suitable compatibilities). We warn the reader that there is no universal agreement in the literature as to what constitutes a “Weil cohomology theory”.

Before reading this chapter the reader should take a look at Categories, Section 4.42 and Homology, Section 12.17 where we define (symmetric) monoidal categories and we develop just enough basic language concerning these categories for the needs of this chapter. Equipped with this language we construct in Section 45.3 the symmetric monoidal graded category whose objects are smooth projective schemes and whose morphisms are correspondences. In Section 45.4 we add images of projectors and invert the Lefschetz motive in order to obtain the symmetric monoidal Karoubian category $M_ k$ of Chow motives. This category comes equipped with a contravariant functor

\[ h : \{ \text{smooth projective schemes over }k\} \longrightarrow M_ k \]

As we will see below, a key property of a Weil cohomology theory is that it factors over $h$.

First, in the case of an algebraically closed base field, we define what we call a “classical Weil cohomology theory”, see Section 45.7. This notion is the same as the notion introduced in [Section 1.2, Kleiman-cycles] and agrees with the notion introduced in [page 65, Kleiman-motives]. However, our notion does not a priori agree with the notion introduced in [page 10, Kleiman-standard] because there the author adds two Lefschetz type axioms and it isn't known whether any classical Weil cohomology theory as defined in this chapter satisfies those axioms. At the end of Section 45.7 we show that a classical Weil cohomology theory is of the form $H^* = G \circ h$ where $G$ is a symmetric monoidal functor from $M_ k$ to the category of graded vector spaces over the coefficient field of $H^*$.

In Section 45.8 we prove a couple of lemmas on cycle groups over non-closed fields which will be used in discussing Weil cohomology theories on smooth projective schemes over arbitrary fields.

Our motivation for our axioms of a Weil cohomology theory $H^*$ over a general base field $k$ are the following

  1. $H^* = G \circ h$ for a symmetric monoidal functor $G$ from $M_ k$ to the category of graded vector spaces over the coefficient field $F$ of $H^*$,

  2. $G$ should send the Tate motive (inverse of the Lefschetz motive) to a $1$-dimensional vector space $F(1)$ sitting in degree $-2$,

  3. when $k$ is algebraically closed we should recover the notion discussion in Section 45.7 up to choosing a basis element of $F(1)$.

First, in Section 45.9 we analyze the first two conditions. After developing a few more results in Section 45.10 in Section 45.11 we add the necessary axioms to obtain property (3).

In the final Section 45.14 we detail an alternative approach to Weil cohomology theories, using a first Chern class map instead of cycle classes. It is this approach that will be most suited for proving that certain cohomology theories are Weil cohomology theories in later chapters, see de Rham Cohomology, Section 50.22.


Comments (2)

Comment #5928 by Bjorn Poonen on

In the last paragraph:

cycles classes --> cycle classes

cohomoly --> cohomology

(Also, it would be better to remove "namely, " and to change the first "will be" to "is".)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FFH. Beware of the difference between the letter 'O' and the digit '0'.