Are the global sections of a vector bundle a projective module? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T06:33:49Z http://mathoverflow.net/feeds/question/113937 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/113937/are-the-global-sections-of-a-vector-bundle-a-projective-module Are the global sections of a vector bundle a projective module? Lennart Meier 2012-11-20T12:45:52Z 2012-11-20T16:13:17Z <p>Given a scheme $X$ with structure sheaf $\mathcal{O}_X$, we can associate to each $\mathcal{O}_X$-module $\mathcal{F}$ its global sections $\Gamma(\mathcal{F})$, which gets the structure of a $\Gamma(\mathcal{O}_X)$-module. </p> <blockquote> <p>Suppose $\mathcal{F}$ is a vector bundle on $X$. Is then $\Gamma(\mathcal{F})$ a projective $\Gamma(\mathcal{O}_X)$-module of finite rank?</p> </blockquote> <p>Here are two examples, where it works:</p> <ul> <li>If $X$ is an affine scheme, then a quasi-coherent sheaf is a vector bundle iff its global sections are a projective $\Gamma(\mathcal{O}_X)$-module [of finite rank, as Fred Rohrer pointed out]. </li> <li>If $X$ is a projective scheme over some field $K$ and $\mathcal{F}$ an arbitrary coherent sheaf on $X$, then $\Gamma(\mathcal{F})$ is a free module of finite rank over the ring of global sections $\Gamma(\mathcal{O}_X) \cong K$. Under some restrictions, we can here also replace the field $K$ by a more general ring. </li> </ul> <p>I would guess that it works in general if the natural map $X \to Spec \Gamma(\mathcal{O}_X)$ is locally free of finite rank [edit: and surjective] or something like this. Probably this fails in general, but I have not yet a (reasonable) counter-example. I am mainly interested here in the case of a quasi-projective scheme over a (not-necessarily algebraically closed) field of characteristic zero, so I would not only be interested in counter-examples but also positive answers to my question for a reasonable subclass of schemes. </p> http://mathoverflow.net/questions/113937/are-the-global-sections-of-a-vector-bundle-a-projective-module/113938#113938 Answer by Jason Starr for Are the global sections of a vector bundle a projective module? Jason Starr 2012-11-20T13:06:13Z 2012-11-20T13:06:13Z <p>This is not always a projective module. Here is the simplest counterexample I can think of, but there are plenty of others. Let $Y$ be $\text{Spec} k[x,y,z]$, where $k$ is a field. Let $X$ be the complement of the closed point $\langle x,y,z \rangle$. Then $\Gamma(X,\mathcal{O}_X)$ equals $k[x,y,z]$ since $k[x,y,z]$ is $S_2$.</p> <p>Let $M$ be the $k[x,y,z]$-module that is the kernel of the homomorphism of finite free modules $k[x,y,z]^{\oplus 3} \to k[x,y,z]$ with matrix $[x,y,z]$. Using the Koszul complex, $M$ is also the cokernel of the transpose of this matrix. This is not a locally free module since the rank of $M/\langle x,y,z \rangle$ is $3$, whereas the rank of $M\otimes_{k[x,y,z]} k(x,y,z)$ equals $2$. The coherent sheaf $\widetilde{M}$ on $Y$ is not locally free. However, its restriction to the open subset $X$ is locally free. Moreover, $\Gamma(X,\widetilde{M}|_X)$ is just $M$ since $M$ is $S_2$. </p> http://mathoverflow.net/questions/113937/are-the-global-sections-of-a-vector-bundle-a-projective-module/113951#113951 Answer by Mahdi Majidi-Zolbanin for Are the global sections of a vector bundle a projective module? Mahdi Majidi-Zolbanin 2012-11-20T15:34:36Z 2012-11-20T16:13:17Z <p>Here is another example that wont work (another variant of Jason Starr's example): consider a local ring $(R,\mathfrak{m})$ and let <code>$U=\mathrm{Spec}\:R-\{\mathfrak{m}\}$</code> be its punctured spectrum. Assume that $\mathrm{depth}\:R\geq2$ and $\mathrm{Pic}(U)\neq0$. Now $U\hookrightarrow\mathrm{Spec}\:\Gamma(\mathcal{O}_U)$ is locally an isomorphism (the depth condition implies $\Gamma(\mathcal{O}_U)=R$). Now take a nontrivial line bundle $\mathcal{L}$ on $U$. To say that $\Gamma(\mathcal{L})$ is a projective $\Gamma(\mathcal{O}_U)$-module means $\Gamma(\mathcal{L})$ is a free $R$-module (over local rings projective = free). But this is not true because we assumed $\mathcal{L}$ to be a nontrivial line bundle.</p> http://mathoverflow.net/questions/113937/are-the-global-sections-of-a-vector-bundle-a-projective-module/113953#113953 Answer by Will Sawin for Are the global sections of a vector bundle a projective module? Will Sawin 2012-11-20T15:46:08Z 2012-11-20T15:46:08Z <p>Obviously, "locally free of finite rank" and surjective doesn't work. Compose Jason Star's morphism with the map $(x,y,z) \to ( (x+1)^2,y,z)$. It is still locally free of finite rank, but is now surjective.</p>