Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X=\operatorname{Proj}(R)$ be a projective scheme with a $k$-algebra $R$. Let $\mathcal{M} \in \operatorname{Coh}(X)$ be a coherent sheaf on $X$ whose Hilbert polynomial $\chi(\mathcal{M})$ is a constant integer $n>0$. My questions are following;

  1. Is it true that $\mathcal{M}$ is necessarily of the form $\mathcal{O}_Z$ for some subscheme $Z\subset X$ consisting of "$n$ points" (taking multiplicity into account)?
  2. Is it true that $H^0(X,\mathcal{M}(d))=n$ for all $d\ge0$, i.e. the Hilbert polynomial stabilizes in the very beginning?

Motivation: There is an equivalence of categories $$ \operatorname{Coh}(X)\cong \operatorname{gr}(A)/\operatorname{tor}(A), $$ where $\operatorname{gr}(A)$ is the categories of f. g. graded modules and $\operatorname{tor}(A)$ is its subcategory consisting of torsion modules. I want to characterize the module $\mathcal{M}$ above in $\operatorname{gr}(A)/\operatorname{tor}(A)$. A naive guess is that a module $M \in \operatorname{gr}(A)$ with $\dim_k M_d=n$ that are generated in degree $0$ yields such $\mathcal{M} \in \operatorname{Coh}(X)$. I would appreciate any help or comments.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.