0
$\begingroup$

Let $S:=k[X_1,\ldots,X_n]$ be a polynomial ring over a field $k$, with its natural grading, and let $\mathfrak{p}$ be a homogeneous prime ideal of $S$. Also, let $M:=\bigoplus_{i} M_i$ be a finitely generated graded $(S/\mathfrak{p})$-module. Write $\mathcal{F}_P$ for the coherent sheaf on $\mathrm{Proj}\:\:\: S/\mathfrak{p}$ associated to $M$, and $\mathcal{F}_A$ for the coherent sheaf on $\mathrm{Spec}\:\:\:S/\mathfrak{p}$ associated to $M$, where in the later case we forget about all gradings.

Question: Is there any relation between rank of $\mathcal{F}_P$ at the generic point of $\mathrm{Proj}\:\:\: S/\mathfrak{p}$ and rank of $\mathcal{F}_A$ at the generic point of $\mathrm{Spec}\:\:\: S/\mathfrak{p}$?

$\endgroup$

2 Answers 2

2
$\begingroup$

The ranks are the same. Since $M$ is a finitely generated $(S/\mathfrak{p})$-module you can write down a finite presentation of $M$ by twisted (in the sense of twisting the grading) copies of $S/\mathfrak{p}$:

$$ \oplus_j (S/\mathfrak{p})(-b_j) \stackrel{\Phi}{\longrightarrow} \oplus_{i=1}^k (S/\mathfrak{p})(-a_i) \longrightarrow M \longrightarrow 0.$$

Passing to $\operatorname{Proj} S/\mathfrak{p}$ this becomes a presentation of $\mathcal{F}_{P}$ with the terms $(S/\mathfrak{p})(-a_i)$ (respectively $-b_j$) replaced by copies of the structure sheaf twisted by $-a_i$ (respectively $-b_j$). Thus the rank of $\mathcal{F}_P$ at a generic point of $\operatorname{Proj} S/\mathfrak{p}$ is $k$ minus the rank of the map $\Phi$ at a generic point of the $\operatorname{Proj}$.

On the other hand, passing to $\operatorname{Spec} S/\mathfrak{p}$, the presentation above becomes a presentation of $\mathcal{F}_A$ with the terms $(S/\mathfrak{p})(-a_i)$ (respectively $-b_j$) replaced by the structure sheaf. The rank of $\mathcal{F}_P$ at a generic point of $\operatorname{Proj} S/\mathfrak{p}$ is again $k$ minus the rank of the map $\Phi$ at a generic point of the $\operatorname{Spec}$.

The scheme $\operatorname{Spec} S/\mathfrak{p}$ is the affine cone over $\operatorname{Proj} S/\mathfrak{p}$, and any point on the $\operatorname{Proj}$ gives rise to a line on the $\operatorname{Spec}$. The rank of $\Phi$ at any point of the $\operatorname{Proj}$ is equal to the rank of $\Phi$ at every point of the corresponding line in the $\operatorname{Spec}$ (except possibly the origin). Thus the rank of $\Phi$ at a generic point of the $\operatorname{Proj}$ is the same as the rank of $\Phi$ at a generic point of the $\operatorname{Spec}$, and therefore the ranks of $\mathcal{F}_P$ and $\mathcal{F}_A$ at the respective generic points are also the same.

$\endgroup$
2
  • $\begingroup$ (At the generic point) rank of $M$ is not rank of $\Phi$, it's rank of $\bigoplus_i(S/\mathfrak{p})(-a_i)-\mathrm{rank}\ \mathrm{of}\ \Phi$. $\endgroup$ Jan 11, 2012 at 1:03
  • $\begingroup$ Dear Mahdi -- thank you for catching that error, I will edit the response to fix it. $\endgroup$
    – Mike Roth
    Jan 11, 2012 at 15:47
3
$\begingroup$

The ranks are the same: $\mathscr F_A$ is the pull back to $\mathrm{Spec} S/\mathfrak p\setminus\{\text{vertex of the cone}\}$ of $\mathscr F_P$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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