Skip to main content
Link to @WillSawin's remark, while this is on the front page
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

In general, we have the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.

Edit (following Will's remarkremark): The projection formula yields in the case of an open immersion $i:U \subset X$ the following identity : $i_* i^* F \simeq i_*\mathcal O_U \otimes F$. Therefore, if $U$ has codimension at least 2 in $X$, then $i_* i^* F\simeq F$ by normality of $X$.

In general, we have the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.

Edit (following Will's remark): The projection formula yields in the case of an open immersion $i:U \subset X$ the following identity : $i_* i^* F \simeq i_*\mathcal O_U \otimes F$. Therefore, if $U$ has codimension at least 2 in $X$, then $i_* i^* F\simeq F$ by normality of $X$.

In general, we have the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.

Edit (following Will's remark): The projection formula yields in the case of an open immersion $i:U \subset X$ the following identity : $i_* i^* F \simeq i_*\mathcal O_U \otimes F$. Therefore, if $U$ has codimension at least 2 in $X$, then $i_* i^* F\simeq F$ by normality of $X$.

added 276 characters in body
Source Link
Henri
  • 2.7k
  • 1
  • 18
  • 17

YesIn general, this follows e.g. fromwe have the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.

Edit (following Will's remark): The projection formula yields in the case of an open immersion $i:U \subset X$ the following identity : $i_* i^* F \simeq i_*\mathcal O_U \otimes F$. Therefore, if $U$ has codimension at least 2 in $X$, then $i_* i^* F\simeq F$ by normality of $X$.

Yes, this follows e.g. from the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.

In general, we have the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.

Edit (following Will's remark): The projection formula yields in the case of an open immersion $i:U \subset X$ the following identity : $i_* i^* F \simeq i_*\mathcal O_U \otimes F$. Therefore, if $U$ has codimension at least 2 in $X$, then $i_* i^* F\simeq F$ by normality of $X$.

Source Link
Henri
  • 2.7k
  • 1
  • 18
  • 17

Yes, this follows e.g. from the socalled projection formula: if $f:X\to Y$ is a morphism of ringed spaces, $\mathcal F$ an $\mathcal O_X$-module, and $E$ be a locally-free $\mathcal O_Y$ module of finite rank, then $f_* (\mathcal F \otimes f^{*} E) \simeq f_{*}\mathcal F \otimes E$.