Lemma 42.62.1. The product defined above is associative. More precisely, let $k$ be a field, let $X$ be smooth over $k$, let $Y, Z, W$ be schemes locally of finite type over $X$, let $\alpha \in \mathop{\mathrm{CH}}\nolimits _*(Y)$, $\beta \in \mathop{\mathrm{CH}}\nolimits _*(Z)$, $\gamma \in \mathop{\mathrm{CH}}\nolimits _*(W)$. Then $(\alpha \cdot \beta ) \cdot \gamma = \alpha \cdot (\beta \cdot \gamma )$ in $\mathop{\mathrm{CH}}\nolimits _*(Y \times _ X Z \times _ X W)$.
Proof. By Lemma 42.61.5 we have $(\alpha \times \beta ) \times \gamma = \alpha \times (\beta \times \gamma )$ in $\mathop{\mathrm{CH}}\nolimits _*(Y \times _ k Z \times _ k W)$. Consider the closed immersions
\[ \Delta _{12} : X \times _ k X \longrightarrow X \times _ k X \times _ k X, \quad (x, x') \mapsto (x, x, x') \]
and
\[ \Delta _{23} : X \times _ k X \longrightarrow X \times _ k X \times _ k X, \quad (x, x') \mapsto (x, x', x') \]
Denote $\Delta _{12}^!$ and $\Delta _{23}^!$ the corresponding bivariant classes; observe that $\Delta _{12}^!$ is the restriction (Remark 42.33.5) of $\Delta ^!$ to $X \times _ k X \times _ k X$ by the map $\text{pr}_{12}$ and that $\Delta _{23}^!$ is the restriction of $\Delta ^!$ to $X \times _ k X \times _ k X$ by the map $\text{pr}_{23}$. Thus clearly the restriction of $\Delta _{12}^!$ by $\Delta _{23}$ is $\Delta ^!$ and the restriction of $\Delta _{23}^!$ by $\Delta _{12}$ is $\Delta ^!$ too. Thus by Lemma 42.54.8 we have
\[ \Delta ^! \circ \Delta _{12}^! = \Delta ^! \circ \Delta _{23}^! \]
Now we can prove the lemma by the following sequence of equalities:
\begin{align*} (\alpha \cdot \beta ) \cdot \gamma & = \Delta ^!(\Delta ^!(\alpha \times \beta ) \times \gamma ) \\ & = \Delta ^!(\Delta _{12}^!((\alpha \times \beta ) \times \gamma )) \\ & = \Delta ^!(\Delta _{23}^!((\alpha \times \beta ) \times \gamma )) \\ & = \Delta ^!(\Delta _{23}^!(\alpha \times (\beta \times \gamma )) \\ & = \Delta ^!(\alpha \times \Delta ^!(\beta \times \gamma )) \\ & = \alpha \cdot (\beta \cdot \gamma ) \end{align*}
All equalities are clear from the above except perhaps for the second and penultimate one. The equation $\Delta _{23}^!(\alpha \times (\beta \times \gamma )) = \alpha \times \Delta ^!(\beta \times \gamma )$ holds by Remark 42.61.4. Similarly for the second equation. $\square$
Comments (0)
There are also: