The Stacks project

Lemma 45.7.10. Let $k$ be an algebraically closed field. Let $F$ be a field of characteristic $0$. Let $H^*$ be a classical Weil cohomology theory. Then we can construct a $\mathbf{Q}$-linear functor

\[ G : M_ k \longrightarrow \text{graded }F\text{-vector spaces} \]

of symmetric monoidal categories such that $H^*(X) = G(h(X))$.

Proof. By Lemma 45.4.8 it suffices to construct a functor $G$ on the category of smooth projective schemes over $k$ with morphisms given by correspondences of degree $0$ such that the image of $G(c_2)$ on $G(\mathbf{P}^1)$ is an invertible graded $F$-vector space. Since every smooth projective scheme is canonically a disjoint union of smooth projective varieties, it suffices to construct $G$ on the category whose objects are smooth projective varieties and whose morphisms are correspondences of degree $0$. (Some details omitted.)

Given a smooth projective variety $X$ we set $G(X) = H^*(X)$.

Given a correspondence $c \in \text{Corr}^0(X, Y)$ between smooth projective varieties we consider the map $G(c) : G(X) = H^*(X) \to G(Y) = H^*(Y)$ given by the rule

\[ a \longmapsto G(c)(a) = \text{pr}_{2, *}(\gamma (c) \cup \text{pr}_1^*a) \]

It is clear that $G(c)$ is additive in $c$ and hence $\mathbf{Q}$-linear. Compatibility of $\gamma $ with pullbacks, pushforwards, and intersection products given by axioms (C)(a), (C)(b), and (C)(c) shows that we have $G(c' \circ c) = G(c') \circ G(c)$ if $c' \in \text{Corr}^0(Y, Z)$. Namely, for $a \in H^*(X)$ we have

\begin{align*} (G(c') \circ G(c))(a) & = \text{pr}^{23}_{3, *}(\gamma (c') \cup \text{pr}^{23, *}_2(\text{pr}^{12}_{2, *}(\gamma (c) \cup \text{pr}^{12, *}_1a))) \\ & = \text{pr}^{23}_{3, *}(\gamma (c') \cup \text{pr}^{123}_{23, *}(\text{pr}^{123, *}_{12}(\gamma (c) \cup \text{pr}^{12, *}_1 a))) \\ & = \text{pr}^{23}_{3, *} \text{pr}^{123}_{23, *}( \text{pr}^{123, *}_{23}\gamma (c') \cup \text{pr}^{123, *}_{12}\gamma (c) \cup \text{pr}^{123, *}_1 a) \\ & = \text{pr}^{23}_{3, *} \text{pr}^{123}_{23, *}( \gamma (\text{pr}^{123, *}_{23}c') \cup \gamma (\text{pr}^{123, *}_{12}c) \cup \text{pr}^{123, *}_1 a) \\ & = \text{pr}^{13}_{3, *} \text{pr}^{123}_{13, *}( \gamma (\text{pr}^{123, *}_{23}c' \cdot \text{pr}^{123, *}_{12}c) \cup \text{pr}^{123, *}_1 a) \\ & = \text{pr}^{13}_{3, *}( \gamma (\text{pr}^{123}_{13, *}( \text{pr}^{123, *}_{23}c' \cdot \text{pr}^{123, *}_{12}c)) \cup \text{pr}^{13, *}_1 a) \\ & = G(c' \circ c)(a) \end{align*}

with obvious notation. The first equality follows from the definitions. The second equality holds because $\text{pr}^{23, *}_2 \circ \text{pr}^{12}_{2, *} = \text{pr}^{123}_{23, *} \circ \text{pr}^{123, *}_{12}$ as follows immediately from the description of pushforward along projections given in Lemma 45.7.6. The third equality holds by Lemma 45.7.1 and the fact that $H^*$ is a functor. The fourth equalith holds by axiom (C)(a) and the fact that the gysin map agrees with flat pullback for flat morphisms (Chow Homology, Lemma 42.59.5). The fifth equality uses axiom (C)(c) as well as Lemma 45.7.1 to see that $\text{pr}^{23}_{3, *} \circ \text{pr}^{123}_{23, *} = \text{pr}^{13}_{3, *} \circ \text{pr}^{123}_{13, *}$. The sixth equality uses the projection formula from Lemma 45.7.1 as well as axiom (C)(b) to see that $ \text{pr}^{123}_{13, *} \gamma (\text{pr}^{123, *}_{23}c' \cdot \text{pr}^{123, *}_{12}c) = \gamma (\text{pr}^{123}_{13, *}( \text{pr}^{123, *}_{23}c' \cdot \text{pr}^{123, *}_{12}c))$. Finally, the last equality is the definition.

To finish the proof that $G$ is a functor, we have to show identities are preserved. In other words, if $1 = [\Delta ] \in \text{Corr}^0(X, X)$ is the identity in the category of correspondences (see Lemma 45.3.3 and its proof), then we have to show that $G([\Delta ]) = \text{id}$. This follows from the determination of $\gamma ([\Delta ])$ in Lemma 45.7.7 and Lemma 45.7.6. This finishes the construction of $G$ as a functor on smooth projective varieties and correspondences of degree $0$.

It follows from axioms (A)(c) and (A)(d) that $G(\mathop{\mathrm{Spec}}(k)) = H^*(\mathop{\mathrm{Spec}}(k))$ is canonically isomorphic to $F$ as an $F$-algebra. The K√ľnneth axiom (B) shows our functor is compatible with tensor products. Thus our functor is a functor of symmetric monoidal categories.

We still have to check that the image of $G(c_2)$ on $G(\mathbf{P}^1)$ is an invertible graded $F$-vector space (in particular we don't know yet that $G$ extends to $M_ k$). By axiom (A)(d) the map $\int _{\mathbf{P}^1} : H^2(\mathbf{P}^1) \to F$ is an isomorphism. By axiom (A)(b) we see that $\dim _ F H^0(\mathbf{P}^1) = 1$. By Lemma 45.7.8 and axiom (A)(c) we obtain $2 - \dim _ F H^1(\mathbf{P}^1) = c_1(T_{\mathbf{P}^1}) = 2$. Hence $H^1(\mathbf{P}^1) = 0$. Thus

\[ G(\mathbf{P}^1) = H^0(\mathbf{P}^1) \oplus H^2(\mathbf{P}^1) \]

Recall that $1 = c_0 + c_2$ is a decomposition of the identity into a sum of orthogonal idempotents in $\text{Corr}^0(\mathbf{P}^1, \mathbf{P}^1)$, see Example 45.3.7. We have $c_0 = a \circ b$ where $a \in \text{Corr}^0(\mathop{\mathrm{Spec}}(k), \mathbf{P}^1)$ and $b \in \text{Corr}^0(\mathbf{P}^1, \mathop{\mathrm{Spec}}(k))$ and where $b \circ a = 1$ in $\text{Corr}^0(\mathop{\mathrm{Spec}}(k), \mathop{\mathrm{Spec}}(k))$, see proof of Lemma 45.4.4. Since $F = G(\mathop{\mathrm{Spec}}(k))$, it follows from functoriality that $G(c_0)$ is the projector onto the summand $H^0(\mathbf{P}^1) \subset G(\mathbf{P}^1)$. Hence $G(c_2)$ must necessarily be the projection onto $H^2(\mathbf{P}^1)$ and the proof is complete. $\square$

Comments (0)

There are also:

  • 2 comment(s) on Section 45.7: Classical Weil cohomology theories

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 0FH2. Beware of the difference between the letter 'O' and the digit '0'.