Remark 42.34.7. Let $(S, \delta )$ be as in Situation 42.7.1. Let $Z \to X$ be a closed immersion of schemes locally of finite type over $S$ and let $p \geq 0$. In this setting we define

Then $A^{(p)}(Z \to X)$ canonically comes equipped with the structure of a graded algebra. In fact, more generally there is a multiplication

In order to define these we define maps

For the first we use composition of bivariant classes. For the second we use restriction $A^ i(X) \to A^ i(Z)$ (Remark 42.33.5) and composition $A^ i(Z) \times A^ j(Z \to X) \to A^{i + j}(Z \to X)$. For the third, we send $(c, c')$ to $res(c) \circ c'$ where $res : A^ i(Z \to X) \to A^ i(Z)$ is the restriction map (see Remark 42.33.5). We omit the verification that these multiplications are associative in a suitable sense.

## Comments (0)

There are also: