7
$\begingroup$

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.

Suppose $\mathcal{F}$ is a vector bundle on $X$. Is then $\Gamma(\mathcal{F})$ a projective $\Gamma(\mathcal{O}_X)$-module of finite rank?

Here are two examples, where it works:

  • 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].
  • 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.

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.

$\endgroup$
  • $\begingroup$ Dear @Lennart, your statement about affine schemes contradicts an example given in EGA I.1.4.4.1 (1970 edition). $\endgroup$ – Fred Rohrer Nov 20 '12 at 13:04
  • $\begingroup$ What do you mean by "the natural map $X\to\mathrm{spec}\Gamma(\mathcal{O}_X)$ is locally free of finite rank"? $\endgroup$ – Qfwfq Nov 20 '12 at 13:11
  • $\begingroup$ I would define a map $f: X \to Y$ to be locally free of finite rank if for every $x\in X$, the local ring $\mathcal{O}_{X,x}$ is free of finite rank over $\mathcal{O}_{Y,f(x)}$. $\endgroup$ – Lennart Meier Nov 20 '12 at 13:49
  • $\begingroup$ @Lennart: With your definition, my morphism $X\hookrightarrow Y$ below is "locally free of finite rank". Yet I give a locally free $\mathcal{O}_X$-module $\widetilde{M}|_X$ such that $\Gamma(X,\widetilde{M}|_X)$ is not a locally free module over $\Gamma(X,\mathcal{O}_X)$. $\endgroup$ – Jason Starr Nov 20 '12 at 14:05
9
$\begingroup$

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

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

$\endgroup$
1
$\begingroup$

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.

$\endgroup$
1
$\begingroup$

Here is another example that wont work (another variant of Jason Starr's example): consider a local ring $(R,\mathfrak{m})$ and let $U=\mathrm{Spec}\:R-\{\mathfrak{m}\}$ 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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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