5
$\begingroup$

Let $X$ be a smooth complex projective variety. Let $Y$ be a smooth divisor on $X$, and let $\mathfrak X$ be the formal completion of $X$ along $Y$.

Question. If $\mathcal L$ is a line bundle on $X$ which restricts to a trivial line bundle on $\mathfrak X$, can we say that $\mathcal L$ is trivial on an open subset $U\subset X$ (Zariski or Euclidean) containing $Y$?

I am particularly interested in the case the normal bundle of $Y$ is trivial or, more generally, numerically trivial.

$\endgroup$
1
  • $\begingroup$ If $X$ is of dimension at least $4$ and $Y$ is ample, this follows from the Grothendieck-Lefschetz theorem for Picard groups. $\endgroup$ Jun 9, 2014 at 3:50

0

Your Answer

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