Free resolutions over commutative Koszul algebras (Q2275687)

Let \(Q\) be a finitely generated commutative positively graded Koszul \(k\)-algebra (\(k:=Q_0\) is a field), \(J\subseteq Q_{>0}^2\) a homogeneous nonzero ideal and \(R := Q/J\). This paper is about of some numerical invariants coming from the graded minimal free resolution of \(R\) over \(Q\), e.g., \(\text{reg}_Q R\) the regularity of \(R\) over \(Q\), slope, rate, \(t^Q_i(M):=\text{end}(\text{Tor}_i^Q(k, M))\) and \(\text{pd}_QR\) the projective dimension of \(R\) over \(Q\). Slope of a graded module \(M\) with \(M_n=0\) for \(n\ll 0\) is defined by \(\text{slope}_QM:= \sup\{\frac{t^Q_i(M)-t^Q_0(M)}{i}\mid i\geq1\}\). Rate defined by \(\text{Rate}(Q):=\text{slope}_Q(Q_{>0})\). Set \(c := \text{Rate}(R)\). The authors prove the following: 1) \(\max(c, 2) \leq \text{slope}_Q(R)\leq c+1\). 2) If \(\text{pd}_QR<\infty\), then \(c < \text{slope}_QR\). 3) If \(t^Q_i (R) = i(c+1)\) for some \(i\geq1\), then \(t^Q_h (R) = h(c+1)\) for all \(1\leq h \leq i\). 4) If \(\text{pd}_QR<\infty\), then \(t^Q_i (R) < i(c + 1)\) when \(i > \dim Q - \dim R\). 5) \(\text{reg}_Q R\leq c \text{pd}_Q R\). 6) Suppose \(Q\) is a standard graded polynomial ring. The equality in 5) holds if and only if \(J\) is generated by a \(Q\)-regular sequence of forms of degree \(c + 1\). The proof uses the theory of a (graded) minimal model of \(Q \to R\), its connection with acyclic closure (Tate resolution) of \(k\) over \(R\) and a change of rings (spectral sequence). The proof of the final part uses a theorem Wiebe.