Lemma 38.43.7. In Situation 38.43.1 let $b : X' \to X$ be the morphism of Lemma 38.43.6. Consider the effective Cartier divisor $D' = b^{-1}D$ with ideal sheaf $\mathcal{I}' \subset \mathcal{O}_{X'}$. Then $Q = L\eta _{\mathcal{I}'}Lb^*M$ is a perfect object of $D(\mathcal{O}_{X'})$.

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