19
$\begingroup$

I've got a question concerning sheaves created by global sections. Serre's vanishing theorem says:

Let $X$ be a projective scheme over a noetherian ring $A$ with a very ample invertible sheaf $\mathcal{O}_X(1)$ on $X$ over $\text{Spec}\ A$. Let $\mathcal{F}$ be a coherent sheaf. Then $H^i(X,F(n))=0$ for $i\ge 1$ and sufficiently large $n$.

There is another theorem by Serre saying that:

If $X$ is a projective scheme over a noetherian ring $A$, let $\mathcal{O}_X (1)$ denote a very ample invertible sheaf on $X$. Then there is a $d_0$ for each coherent sheaf $\mathcal{F}$ on $X$ so that $F(d)$ is generated by its global sections, whenever $d ≥ d_0$ .

Are these theorems related in the way that one of them follows from the other one? Especially: Is it true that for every sheaf created by global sections the higher cohomology vanishes?

Thanks

Betti

$\endgroup$

2 Answers 2

10
$\begingroup$

No, it is not true that the higher cohomology vanishes for any sheaf generated by its global sections. Consider the structure sheaf itself: for a smooth genus $g$ curve $C$, for example, $H^1(C, \mathcal{O}_C) = g$.

$\endgroup$
3
  • $\begingroup$ Nice answer on the second question...should have known this myself... Any ideas on the first question? $\endgroup$ Commented Nov 6, 2012 at 12:21
  • $\begingroup$ QiL's answer provides the relevent reference, except for a typo: it should be Hartshorne, III, Prop. 5.3. (I can only comment here...) $\endgroup$
    – Rhys
    Commented Nov 7, 2012 at 9:44
  • $\begingroup$ Thanks @Rhys for pointing out the typo! $\endgroup$
    – user18119
    Commented Nov 7, 2012 at 22:26
9
$\begingroup$

The first result implies the second one. You can find a proof in Hartshorne, III, Prop. 5.3 ((ii) implies (i)). Also the second result characterizes the ample sheaves (see the same reference).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .