Remark 45.7.2. Let $X$ be a smooth projective variety. We obtain maps

$H^*(X) \otimes _ F H^*(X) \longrightarrow H^*(X \times X) \xrightarrow {\Delta ^*} H^*(X)$

where the first arrow is as in axiom (B) and $\Delta ^*$ is pullback along the diagonal morphism $\Delta : X \to X \times X$. The composition is the cup product as pullback is an algebra homomorphism and $\text{pr}_ i \circ \Delta = \text{id}$. On the other hand, given cycles $\alpha , \beta$ on $X$ the intersection product is defined by the formula

$\alpha \cdot \beta = \Delta ^!(\alpha \times \beta )$

In other words, $\alpha \cdot \beta$ is the pullback of the exterior product $\alpha \times \beta$ on $X \times X$ by the diagonal. Note also that $\alpha \times \beta = \text{pr}_1^*\alpha \cdot \text{pr}_2^*\beta$ in $\mathop{\mathrm{CH}}\nolimits ^*(X \times X)$ (we omit the proof). Hence, given axiom (C)(a), axiom (C)(c) is equivalent to the statement that $\gamma$ is compatible with exterior product in the sense that $\gamma (\alpha \times \beta )$ is equal to $\text{pr}_1^*\gamma (\alpha ) \cup \text{pr}_2^*\gamma (\beta )$. This is how axiom (C)(c) is formulated in .

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