2
$\begingroup$

Let $X$ be a quasi-projective scheme over a noetherian ring, $\mathcal F$ a coherent sheaf of $\mathcal O_X$-modules, and $U$ an arbitrary open subset of $X$. Is $\Gamma(U,\mathcal F)$ a $\Gamma(U,\mathcal O_X)$-module of finite type?

$\endgroup$

1 Answer 1

5
$\begingroup$

I think the answer is no: take $X=\mathbb{P}^2_{k}$, $U=\mathbb{P}^2\setminus \{ p \}$ for a closed point $p$ and $\mathcal{F}=i_*\mathcal{O}_L$, where $i\colon L\hookrightarrow\mathbb{P}^2$ is line passing through $p$. Then $\Gamma(U,\mathcal{F})\cong k[X]$ is not finitely generated over $\Gamma(U,\mathcal{O}_X)=k$.

$\endgroup$
3
  • $\begingroup$ Thank you. I'm now interested in the case when $\mathcal F$ is invertible, but I will open another question so that I can accept the new answer. $\endgroup$
    – A.G
    May 30, 2016 at 17:08
  • $\begingroup$ You're welcome :) $\endgroup$
    – Daniele A
    May 30, 2016 at 17:10
  • $\begingroup$ Bravo for this simple and clever counterexample: +1 $\endgroup$ Jun 2, 2016 at 11:07

You must log in to answer this question.

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