Lemma 45.7.6. Let $H^*$ be a classical Weil cohomology theory (Definition 45.7.3). Let $X$ and $Y$ be smooth projective varieties. Then $\text{pr}_{2, *} : H^*(X \times Y) \to H^*(Y)$ sends $a \otimes b$ to $(\int _ X a) b$.

Proof. This is equivalent to the result of Lemma 45.7.5. $\square$

Comment #7510 by Hao Peng on

This one is jot trivial though. You need to use Poincare duality to deduce it from tag 0FGX.

Comment #7646 by on

It is indeed the case that sometimes the proofs in the Stacks project aren't trivial and the reader has to think a little bit. In this case I think the statement more or less tells you what to try.

There are also:

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

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).