Remark 50.14.2. In the situation of Proposition 50.14.1 we get moreover that the map

is an isomorphism in $D(X, (X \to S)^{-1}\mathcal{O}_ X)$ as follows immediately from the application of Proposition 50.13.3. Note that the arrow for $t = 0$ is simply the canonical map $c_{P/X} : \Omega ^\bullet _{X/S} \to Rp_*\Omega ^\bullet _{P/S}$ of Section 50.2. In fact, we can pin down this map further in this particular case. Namely, consider the canonical map

of Remark 50.4.3 corresponding to $c_1^{dR}(\mathcal{O}_ P(1))$. Then

is the map of Remark 50.4.3 corresponding to $c_1^{dR}(\mathcal{O}_ P(1))^ t$. Tracing through the choices made in the proof of Proposition 50.13.3 we find the value

for the restriction of our isomorphism to the summand $\Omega ^\bullet _{X/S}[-2t]$. This has the following simple consequence we will use below: let

viewed as subcomplexes of the source of the arrow $\tilde\xi $. It follows formally from the discussion above that

is an isomorphism and that the diagram

commutes where $\text{id} : K \to M[2]$ identifies the summand corresponding to $t$ in the deomposition of $K$ to the summand corresponding to $t + 1$ in the decomposition of $M$.

## Comments (0)