On the regularity over positively graded algebras (Q2470389)

First some notation: Let \(R=\bigoplus_{i \geq 0}R_i\) be a (positively graded) commutative noetherian algebra over a field \(K\) such that \(R_0=K\). For a non-trivial finitely generated \(\mathbb{Z}\)-graded \(R\)-module \(M=\bigoplus_{i \in \mathbb{Z}}M_i\), the author considers to notions of regularity: (1) The Tor-regularity, \(\text{reg}^T_R(M)\), defined as the infimum over integers \(r\) for which \(\text{Tor}^R_i(M,K)_{i+s}=0\) for all \(i \geq 0\) and all \(s>r\); (2) The local regularity, \(\text{reg}^L_R(M)\), defined as the infimum over integers \(r\) for which \(H_{\mathfrak{m}}(M)_{s-i}=0\) for all \(i \geq 0\) and all \(s>r\) (here \(\mathfrak{m}=\bigoplus_{i>0}R_i\) is the irrelevant maximal ideal of \(R\)). It is well-known that if \(R=K[x_1,\ldots,x_n]\) is a polynomial ring, then \(\text{reg}^T_R(M)=\text{reg}^L_R(M)\) (the Castelnuovo--Mumford regularity of \(M\)) for all \(R\)--modules \(M\). This paper is studies the relationship between \(\text{reg}^T_R(M)\) and \(\text{reg}^L_R(M)\) for general \(R\) and \(M\). It follows by results of \textit{P. Jørgensen} [Compos. Math. 140, No. 4, 1053--1058 (2004; Zbl 1073.16007)] that \(\text{reg}^L_R(M) - \text{reg}^L_R(R) \leq \text{reg}^T_R(M)\), but the author provides an alternative proof. The author also shows that \(\text{reg}^T_R(M) \leq \text{reg}^L_R(M)+\text{reg}^T_R(K)\) provided that \(R\) is generated in degree one. The paper then moves on to study what the author calls ``the borderline cases''. Interestingly, it turns out that if \(R\) is generated in degree one, then \(R \cong K[x_1,\ldots,x_n]\) if and only if equality holds (for all \(M\)) in either of the two inequalities above; and furthermore, these conditions are equivalent to \(\text{reg}^T_R(M)=\text{reg}^L_R(M)\) (for all \(M\)). The paper ends by establishing the equality \(\text{reg}^L_R(M) - \text{reg}^L_R(R) = \text{reg}^T_R(M)\) if \(R\) is generated in degree one, and \(M\) has finite projective dimension.