0
$\begingroup$

Let $(X,\mathcal{O}_X)$ be a ringed space with soft structure sheaf. Moreover let $X$ be paracompact.

Let $U$ be an open subset on $X$ and let $E$ be a finite dimensional vector bundle on $U$, i.e. $E$ is a finitely generated locally free sheaf of $\mathcal{O}_X$-modules on $U$.

$\textbf{My question}$ is: can we always extend $E$ to get a vector bundle on $X$? I believe the statement is true but I cannot find any reference on it.

$\endgroup$

1 Answer 1

6
$\begingroup$

No, this is false. Take $X=\mathbb{R}^3$ and $U=\mathbb{R}^3\smallsetminus\{0\} $, with $\mathcal{O}_X$ the sheaf of complex $C^{\infty}$ functions. Line bundles on $U$ are parametrized by $H^1(U, \mathcal{O}_U^*)$, which is isomorphic to $H^2(U,\mathbb{Z})=\mathbb{Z}$ by the exponential exact sequence. Similarly $H^1(X, \mathcal{O}_X^*)\cong H^2(X,\mathbb{Z})=0$, so there are nontrivial line bundles on $U$ which do not extend to $X$.

$\endgroup$
1
  • 4
    $\begingroup$ It is easy to write down such a vector bundle. Take the tangent bundle of the sphere and pull it back via $x \mapsto x/|x|$. $\endgroup$
    – Ben McKay
    Apr 5, 2016 at 18:38

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.