## restriction of sheaf

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

suppose X is a smooth variety and F is a locally free sheaf on X. Let U be an open subset of X and i denote the inclusion map. Is i_*i^*F equal to F ?

thanks.

-

## 3 Answers

No. For example, let $X = P^1$, $U = A^1$ and $F = O_X$. Then $i^*F = O_U$ and the global sections of $i^*F$ is the algebra of polynomials $k[t]$. Therefore $\Gamma(X,i_*i^*F) = \Gamma(U,i^*F) = k[t]$, while $\Gamma(X,F) = k$.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

This is true if and only if the complement of $U$ has codimension at least $2$. To see that this condition is sufficient see this MO answer. To see that it is necessary, see Sasha's example, or take any $X$ and any Cartier divisor $D$ on $X$ and note that for $U=X\setminus \mathrm{Supp}D$, $i^*\mathscr O_X(mD)\simeq \mathscr O_U\simeq i^*\mathscr O_X(nD)$ for any $m,n\in \mathbb Z$, so `$i_*i^*F$` can't be $F$ for both choices.

Remark for the codimension $2$ condition, you don't actually need smoothness. See the liked answer for more.

-

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

-

2
You need the assumption $f_* \mathcal O_U=\mathcal O_X$, which is not satisfied for all open immersions. – Will Sawin Nov 21 at 8:39
Thanks, you are perfectly right! (I had in mind a morphism with connected fibers) So here here one can just say that $i_*i^*F= i_* \mathcal O_X \otimes F$. – Henri Nov 21 at 10:06

1
In particular, as $X$ is smooth hence normal, the desired property holds as soon as $U$ has codimension at least $2$. – Henri Nov 21 at 10:11
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 35, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9237768650054932, "perplexity_flag": "head"}