Skip to main content
1 of 2
Sasha
  • 39.3k
  • 2
  • 54
  • 104

The easiest way to compute is the following. Assume that $A$ is the zero locus of a regular section $s$ of a vector bundle $E$ on $X$ (this is always the case locally). Then there is an embedding $i:Y \to P_X(E)$ over $X$. Then $i_*O_Y$ has a nice resolution.

Indeed, consider the relative Grothendieck line bundle $O(-1)$ on $P_X(E)$. We have a natural embedding $O(-1) \to p^*E$, where $p:P_X(E) \to X$ is the projection. Consider the cokernel of this morphism, $Q$ (in fact $Q$ is isomorphic to the relative tangent bundle up to a twist). On the other hand, $p^*$ is a section of $p^*E$, so it gives a section $s'$ of $Q$. Then $i(Y)$ is the zero locus of $s'$ on $P_X(E)$. Moreover, this section is regular, so we have the following Koszul resolution $$ 0 \to \Lambda^{r-1}Q^* \to \dots \to \Lambda^2Q^* \to Q^* \to O_{P_X(E)} \to i_*O_Y \to 0. $$ This resolution can be used to compute $i_*Lf^*M$ for any quasicoherent sheaf $M$ on $X$. Indeed, we have $$ i_*Lf^*M = i_*Li^*Lp^*M = Lp^*M\otimes^L i_*O_Y. $$ Since $i$ is a closed embedding this gives a nice control over $Lf^*M$.

Sasha
  • 39.3k
  • 2
  • 54
  • 104