3
$\begingroup$

Let $A$ be a graded ring satisfying the usual finiteness conditions of EGA II (for example $A_0$ is noetherian, $A_1$ is finite over $A_0$ and $A$ is generated by finitely many elements of $A_1$ as an $A_0$-algebra), and consider the projective scheme $P:=\mathrm{Proj}(A)$. Then every coherent sheaf $F$ on $P$ may be written as the cokernel of some map of the form $\delta : \oplus_j \mathcal{O}(m_j) \to \oplus_i \mathcal{O}(n_i)$, which can also be seen as a matrix of homogeneous elements of certain degrees. I would like to call this a (twisted) presentation of $F$.

My main question is: How can we explicitly compute $H^0(P,F)$ in terms of $\delta$? If $\delta$ is injective, we can use the long exact sequence of cohomology groups since we know the cohomology groups of the Serre twists. But what about the general case? For my purposes it would be enough to write $H^0(P,F)$ as an extension of known modules.

Here is what I've done so far: Since we can present $\mathcal{O}$ with sufficiently "small" twists, it suffices to compute $H^0(P,F(k))$ for large enough $k$. If $K$ denotes the kernel of $\oplus_i \mathcal{O}(n_i) \to M$, we have $H^1(P,K(k))=0$ for large enough $k$, so by changing notation we may assume $H^1(P,K)=0$, which means that $0 \to H^0(P,K) \to H^0(P,\oplus_i \mathcal{O}(n_i)) \to H^0(P,F) \to 0$ is exact. Therefore it suffices to describe $H^0(P,K)$. By induction and some other short exact sequences it is enough to consider the case $K \subseteq \mathcal{O}(n)$ for some $n \geq 0$. What can we say about $H^0(P,K)$ then?

My background is that I would like to prove the Main Theorem of Artin-Zhang's paper on noncommutative projective schemes for abelian $\otimes$-categories, instead of abelian categories, which seems quite natural.

$\endgroup$
3
  • $\begingroup$ It is not completely clear to me what you are asking. I guess you are trying to solicit a number of responses, and then you will decide which one is most likely to extend to the more general context you have in mind (which I do not completely understand from your description). Here is one suggestion: transform $\delta$ into a presentation of graded $A$-modules, and then compute using local cohomology of $A$ with respect to the ideal $A_+$. $\endgroup$ Aug 7, 2013 at 9:53
  • $\begingroup$ I just would like to know an explicit "formula" for $H^0(P,F)$ in terms of $\delta$ and $A$. You suggest a description involving local cohomology, but I wonder if there is something more explicit. $\endgroup$ Aug 7, 2013 at 12:20
  • $\begingroup$ How explicit? If you write $A$ as $\text{Sym}^*_{A_0}(A_1)/I$, and if you have explicit generators for $I$, then together with the entries of the matrix $\delta$, this is all you need to compute all of the cohomology groups using Gröbner basis methods. $\endgroup$ Aug 7, 2013 at 13:16

0

Your Answer

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