Remark 36.13.12. The proof of Lemma 36.13.11 shows that
\[ R|_ U = P \oplus P^{\oplus n_1}[1] \oplus \ldots \oplus P^{\oplus n_ m}[m] \]
for some $m \geq 0$ and $n_ j \geq 0$. Thus the highest degree cohomology sheaf of $R|_ U$ equals that of $P$. By repeating the construction for the map $P^{\oplus n_1}[1] \oplus \ldots \oplus P^{\oplus n_ m}[m] \to R|_ U$, taking cones, and using induction we can achieve equality of cohomology sheaves of $R|_ U$ and $P$ above any given degree.
Comments (0)