Remark 42.34.5. Let $(S, \delta )$ be as in Situation 42.7.1. Let $f : X \to Y$ be a morphism of schemes locally of finite type over $S$. Let $X = \coprod _{i \in I} X_ i$ and $Y = \coprod _{j \in J} Y_ j$ be the decomposition of $X$ and $Y$ into their connected components (the connected components are open as $X$ and $Y$ are locally Noetherian, see Topology, Lemma 5.9.6 and Properties, Lemma 28.5.5). Let $a(i) \in J$ be the index such that $f(X_ i) \subset Y_{a(i)}$. Then $A^ p(X \to Y) = \prod A^ p(X_ i \to Y_{a(i)})$ by Lemma 42.34.4. In this setting it is convenient to set

$A^*(X \to Y)^\wedge = \prod \nolimits _ i A^*(X_ i \to Y_{a(i)})$

as a kind of natural completion of the graded $\mathbf{Z}$-module $A^*(X \to Y)$ of bivariant classes (we omit specifying the precise sense in which this is a completion). As a special case we set

$A^*(X)^\wedge = \prod A^*(X_ i)$

If $Y \to Z$ is a second morphism, then the composition $A^*(X \to Y) \times A^*(Y \to Z) \to A^*(X \to Z)$ extends to a composition $A^*(X \to Y)^\wedge \times A^*(Y \to Z)^\wedge \to A^*(X \to Z)^\wedge$ of completions.

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