Skip to main content
added 612 characters in body
Source Link
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$.

EDIT. In case $X = A^n$, $A = \{0\}$ we can take $E = O^n$, $s = (x_1,\dots,x_n)$, where $x_i$ are the coordinates. Then $P_X(E) = A^n\times P^{n-1}$ and $Q = T_{P^{n-1}}(-1)$. So, $i_*Lf^*M$ is quasiisomorphic to the following complex $$ M\boxtimes\Omega^{n-1}(n-1) \to \dots \to M\boxtimes\Omega^2(2) \to M\boxtimes\Omega^1(1) \to M\boxtimes O. $$ For example, if $M$ is a skyscraper in $0$ then the above complex is supported on the exceptional divisor $P^{n-1} \subset Y$ and all differential vanish, so one concludes that $L_pf^*M \cong j_*\Omega^p(p)$, where $j:P^{n-1} \to Y$ is the embedding.

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

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

EDIT. In case $X = A^n$, $A = \{0\}$ we can take $E = O^n$, $s = (x_1,\dots,x_n)$, where $x_i$ are the coordinates. Then $P_X(E) = A^n\times P^{n-1}$ and $Q = T_{P^{n-1}}(-1)$. So, $i_*Lf^*M$ is quasiisomorphic to the following complex $$ M\boxtimes\Omega^{n-1}(n-1) \to \dots \to M\boxtimes\Omega^2(2) \to M\boxtimes\Omega^1(1) \to M\boxtimes O. $$ For example, if $M$ is a skyscraper in $0$ then the above complex is supported on the exceptional divisor $P^{n-1} \subset Y$ and all differential vanish, so one concludes that $L_pf^*M \cong j_*\Omega^p(p)$, where $j:P^{n-1} \to Y$ is the embedding.

Source Link
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$.