Lemma 42.52.6. In Situation 42.7.1 let X be locally of finite type over S. Let Z_ i \subset X, i = 1, 2 be closed subschemes. Let F_ i, i = 1, 2 be perfect objects of D(\mathcal{O}_ X). Assume for i = 1, 2 that F_ i|_{X \setminus Z_ i} is zero1 and that F_ i on X satisfies assumption (3) of Situation 42.50.1. Denote r_ i = P_0(Z_ i \to X, F_ i) \in A^0(Z_ i \to X). Then we have
c_1(Z_1 \cap Z_2 \to X, F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2) = r_1 c_1(Z_2 \to X, F_2) + r_2 c_1(Z_1 \to X, F_1)
in A^1(Z_1 \cap Z_2 \to X) and
\begin{align*} c_2(Z_1 \cap Z_2 \to X, F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2) & = r_1 c_2(Z_2 \to X, F_2) + r_2 c_2(Z_1 \to X, F_1) + \\ & {r_1 \choose 2} c_1(Z_2 \to X, F_2)^2 + \\ & (r_1r_2 - 1) c_1(Z_2 \to X, F_2)c_1(Z_1 \to X, F_1) + \\ & {r_2 \choose 2} c_1(Z_1 \to X, F_1)^2 \end{align*}
in A^2(Z_1 \cap Z_2 \to X) and so on for higher Chern classes. Similarly, we have
ch(Z_1 \cap Z_2 \to X, F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2) = ch(Z_1 \to X, F_1) ch(Z_2 \to X, F_2)
in \prod _{p \geq 0} A^ p(Z_1 \cap Z_2 \to X) \otimes \mathbf{Q}. More precisely, we have
P_ p(Z_1 \cap Z_2 \to X, F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2) = \sum \nolimits _{p_1 + p_2 = p} {p \choose p_1} P_{p_1}(Z_1 \to X, F_1) P_{p_2}(Z_2 \to X, F_2)
in A^ p(Z_1 \cap Z_2 \to X).
Proof.
Choose proper morphisms b_ i : W_ i \to \mathbf{P}^1_ X and Q_ i \in D(\mathcal{O}_{W_ i}) as well as closed subschemes T_ i \subset W_{i, \infty } as in the construction of the localized Chern classes for F_ i or more generally as in Lemma 42.51.2. Choose a commutative diagram
\xymatrix{ W \ar[d]^{g_1} \ar[rd]^ b \ar[r]_{g_2} & W_2 \ar[d]^{b_2} \\ W_1 \ar[r]^{b_1} & \mathbf{P}^1_ X }
where all morphisms are proper and isomorphisms over \mathbf{A}^1_ X. For example, we can take W to be the closure of the graph of the isomorphism between b_1^{-1}(\mathbf{A}^1_ X) and b_2^{-1}(\mathbf{A}^1_ X). By Lemma 42.51.2 we may work with W, b = b_ i \circ g_ i, Lg_ i^*Q_ i, and g_ i^{-1}(T_ i) to construct the localized Chern classes c_ p(Z_ i \to X, F_ i). Thus we reduce to the situation described in the next paragraph.
Assume we have
a proper morphism b : W \to \mathbf{P}^1_ X which is an isomorphism over \mathbf{A}^1_ X,
E_ i \subset W_\infty is the inverse image of Z_ i,
perfect objects Q_ i \in D(\mathcal{O}_ W) whose Chern classes are defined, such that
the restriction of Q_ i to b^{-1}(\mathbf{A}^1_ X) is the pullback of F_ i, and
there exists a closed subscheme T_ i \subset W_\infty containing all points of W_\infty lying over X \setminus Z_ i such that Q_ i|_{T_ i} is zero.
By Lemma 42.51.2 we have
c_ p(Z_ i \to X, F_ i) = c'_ p(Q_ i) = (E_ i \to Z_ i)_* \circ c'_ p(Q_ i|_{E_ i}) \circ C
and
P_ p(Z_ i \to X, F_ i) = P'_ p(Q_ i) = (E_ i \to Z_ i)_* \circ P'_ p(Q_ i|_{E_ i}) \circ C
for i = 1, 2. Next, we observe that Q = Q_1 \otimes _{\mathcal{O}_ W}^\mathbf {L} Q_2 satisfies (3)(a) and (3)(b) for F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2 and T_1 \cup T_2. Hence we see that
c_ p(Z_1 \cap Z_2 \to X, F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2) = (E_1 \cap E_2 \to Z_1 \cap Z_2)_* \circ c'_ p(Q|_{E_1 \cap E_2}) \circ C
and
P_ p(Z_1 \cap Z_2 \to X, F_1 \otimes _{\mathcal{O}_ X}^\mathbf {L} F_2) = (E_1 \cap E_2 \to Z_1 \cap Z_2)_* \circ P'_ p(Q|_{E_1 \cap E_2}) \circ C
by the same lemma. By Lemma 42.47.11 the classes c'_ p(Q|_{E_1 \cap E_2}) and P'_ p(Q|_{E_1 \cap E_2}) can be expanded in the correct manner in terms of the classes c'_ p(Q_ i|_{E_ i}) and P'_ p(Q_ i|_{E_ i}). Then finally Lemma 42.51.1 tells us that polynomials in c'_ p(Q_ i|_{E_ i}) and P'_ p(Q_ i|_{E_ i}) agree with the corresponding polynomials in c'_ p(Q_ i) and P'_ p(Q_ i) as desired.
\square
Comments (0)