3
$\begingroup$

Let $X$ be a normal projective (or, quasi-projective) variety over $\mathbb{C}$. Let $U \subset X$ be an open subscheme whose complement $Z = X \setminus U$ has codimension at least $2$ in $X$. Let $L$ be a line bundle on $U$. Is it possible to extend $L$ to a line bundle $\widetilde{L}$ on $X$ such that $\widetilde{L}\vert_U \cong L$?

Edit: If this is true, can we get $\textrm{Pic}(X) \cong \textrm{Pic}(U)$?

$\endgroup$

1 Answer 1

9
$\begingroup$

As explained here Extending vector bundles on a given open subscheme the only possible such extension is $$ \tilde{L} = (i_*L)^{\vee\vee}, $$ where $i \colon U \to X$ is the embedding. The sheaf $\tilde{L}$ is a reflexive sheaf of rank 1 on $X$. So, if $X$ is locally factorial (i.e., every Weil divisor on $X$ is Cartier) then $\tilde{L}$ is a line bundle. Otherwise, this is not necessarily true. For example, let $X$ be the 2-dimensonal quadratic cone, $U$ its smooth locus, and $\tilde{L}$ the ideal of a line on $X$. Then $L = i^*\tilde{L}$ is a line bundle, but its unique reflexive extension $\tilde{L}$ is not.

For any normal variety one has $Cl(U) = Cl(X)$, so you get $Pic(U) = Pic(X)$ if and only if $X$ is locally factorial along the complement $X \setminus U$.

$\endgroup$
3
  • 1
    $\begingroup$ I trust your argument but don't understand one thing: why would not Pic remain unchanged if all (possible, arbitrarily bad) singularities of $X$ are inside $U$? $\endgroup$ Commented Nov 20, 2018 at 5:17
  • $\begingroup$ @მამუკაჯიბლაძე: you are completely right, my last sentence was incorrect (I presumed that $U$ is the smooth locus of $X$), but now I fixed that. $\endgroup$
    – Sasha
    Commented Nov 20, 2018 at 19:03
  • $\begingroup$ I see, thank you. Actually I only now noticed that the question is about normal $X$, so that all singularities would be of codimension $>1$ anyway... $\endgroup$ Commented Nov 20, 2018 at 19:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.