Serre’s condition 𝑅_{𝑘} for associated graded rings (Q4252909)

The authors prove the following theorem: Let \(R\) denote a Noetherian ring, let \(I\) be an ideal of finite projective dimension. If the form ring \(G = \bigoplus_{n \geq 0} I^n/I^{n+1}\) satisfies the Serre condition \(R_k\) on \(\text{Proj} G,\) then there is the following bound of the analytic spread \[ l(I_{\mathfrak p}) \leq \max \{ \text{ht} I_{\mathfrak p}, \dim R_{\mathfrak p} - k - 1\} \] for all \({\mathfrak p} \in V(I).\) This remarkable result is -- in a certain sense -- the converse to a result shown by \textit{C. Huneke} [Ill. J. Math. 26, 121-137 (1982; Zbl 0479.13008)] where he characterized the condition \(R_k\) for \(G\) in terms of the condition \(R_k\) for \(R/I\) for ideals \(I\) satisfying the above local bounds on the analytic spread. As an application it turns out that for a locally complete intersection ideal \(I\) of finite projective dimension in a Cohen-Macaulay ring \(R\) the form ring \(G\) satisfies \(R_k\) if and only if \(R/I\) satisfies \(R_k\) and \(l(I_{\mathfrak p}) \leq \max \{ \text{ht} I_{\mathfrak p}, \dim R_{\mathfrak p} - k - 1\}\) for all \({\mathfrak p} \in V(I).\) As application there are results on the integrality, respectively the quasi-Gorensteinness, of some form rings.