Blow up, ideal sheaf and direct image: can I prove this result by induction?

243 Views Asked by At

Let $Y\subset X$ be smooth schemes and let $\widetilde{X}$ denote the blowup of $X$ along $Y$. In this question it was shown that $$\pi_{*}\mathcal{O}_{\widetilde{X}}(-nE) = I_{Y/X}^{n}$$ for $n \geq 1$. I would like to prove this by induction.

Consider the exact sequence $$0 \longrightarrow \mathcal{O}_{\widetilde{X}}(-E) \longrightarrow \mathcal{O}_{\widetilde{X}} \longrightarrow \mathcal{O}_{E} \longrightarrow 0 \tag{$*$}$$

This handles the case $n = 1 $.

Twisting the exact sequence $(*)$ by $\mathcal{O}_{\widetilde{X}}(-E)$ and applying the direct image by $\pi$, we have:

$$0 \rightarrow \pi_{*}\mathcal{O}_{\widetilde{X}}(-2E) \rightarrow \pi_{*}\mathcal{O}_{\widetilde{X}}(-E) \rightarrow \pi_{*}\mathcal{O}_{E}(-E)\rightarrow R^{1}\pi_{*}\mathcal{O}_{\widetilde{X}}(-2E) \rightarrow \cdots \tag{$**$}$$

Can I use this to prove that $\pi_*\mathcal{O}_\widetilde{X}(-nE)=I^n_{Y/X}$ by induction? If so, how can I put together the inductive step from the exact long sequence $(**)$?

Suggestions are very welcome.

Since already thank you very much.