Most books on commutative algebra explain Grobner bases in the non graded case and minimal free resolutions in the local case. I like projective geometry and want to compute the minimal free resolution of a coherent sheaf on projective space. What follows is my understanding of how this should work, along with some points at which I am confused:
We are given a coherent sheaf $ \mathscr{F}$ on $ \mathbb{P}^n$ via generators and relations. That is, we have an exact sequence $$ \oplus \mathscr{O}(-b^2_{p}) \to \oplus \mathscr{O}(-b^1_{p}) \to \mathscr{F} \to 0 $$ with $ b^2_{p} \geq b^1_{q} $ for each $ p,q$. The first map in this sequence is given by a matrix $ (F_{ij})$ of homogeneous polynomials such that $ F_{ij}$ has degree $ b^2_j - b^1_i$. For the resolution which we are going to compute to be minimal we want $b_p^2 > b^1_q$ for each $p,q$. This brings us to our first question:
Question 1: How can we modify the presentation so that $ b^2_p > b_q^1$?
Lets continue assuming that $ b_p^2 > b_q^1 $. Write $ S$ for the homogeneous coordinate ring of $ \mathbb{P}^n$. Then we have a map $ (F_{ij}) : \oplus S \to \oplus S $. Suppose that we run Schreyer's Algorithm as explained on page 338 of Eisenbud's book. This gives us a matrix $(G_{ij}) : \oplus S \to \oplus S $ such that $$ \oplus S \xrightarrow{(G_{ij})} \oplus S \xrightarrow{(F_{ij})} \oplus S $$ Is exact.
Question 2: If we run the version of Schreyer's Algorithm from Eisenbud's book, then will it be true that the $ G_{ij}$ are homogeneous? Also, is there any way to modify the algorithm to ensure that the $G_{ij}$ all have positive degree?
Suppose that now we have produced a free resolution $ \oplus S \to \oplus S \to \dots \to \oplus S $ where the matrix entries are all homogeneous with positive degree. By modifying the gradings on all the copies of $S$, we do not destroy exactness, so we have an exact sequence of graded maps $$ \oplus S (-b^d_p) \to \dots \to \oplus S(-b^2_p) \to \oplus S(-b^1_p) $$ where $b_p^i > b_q^{i-1}$ for all $p,q$. Applying the graded $ \tilde{} $ functor gives us a free resolution of $ \mathscr{F}$.
Question 3: Is the overall picture correct?
One of the main things I am worried about if forgetting the grading when we actually do the Grobner bases computation, but if we try and carry it along then things get really messy (at least for a human). OK, I guess that is it. Thanks for reading all that!