On the structure of the canonical module of the Rees algebra and the associated graded ring of an ideal (Q2366869)

In this article, the author first shows: Proposition (1.1). Let \((A,m)\) be a local ring and \(I \subset A\) be an ideal of \(A\) with \(\text{ht}(I)>0\). Assume that the Rees algebra \(R(I)\) is Cohen-Macaulay and has a canonical module \(K_{R(I)}\). Put \((K_{R(I)})_ + = \bigoplus_{n \geq 2} (K_{R(I)})_ n\). Then there exists a morphism of graded \(R(I)\)-modules \(\Gamma : (K_{R(I)})_ + \to K_{R(I)}\) such that: (i) \(\Gamma\) is injective of degree \(-1\). (ii) For any \(n < - a(\text{gr}_ A(I))\), \(\Gamma |_{(K_{R(I)})_{n + 1}} : (K_{R(I)})_{n + 1} \to (K_{R(I)})_ n\) is bijective. (iii) For any element \(\beta \in (K_{R(I)})_ +\), \(\Gamma (\beta)\) is the only element in \(K_{R(I)}\) such that \(s \beta = (ts) \Gamma (\beta)\) for any \(s \in IR (I)\). (iv) For any \(r \geq 1\) and any \(\alpha \in K_{R(I)}\), \(\Gamma ((t^ ry) \alpha) = (t^{r-1} y) \alpha\) for any \(y \in I^ r\). (v) There is an isomorphism \(\bigoplus_{n \geq 2} (K_{\text{gr}_ A(I)})_ n \simeq (K_{R(I)}/ \Gamma ((K_{R(I)})_ +)) (-1)\), where \(a\) means the \(a\)-invariant of a graded module. Then as its applications, the author shows the results due to Herzog-Simis- Vasconcelos and to Ikeda: Theorem (2.1). Let \((A,m)\) be a local ring and \(I \subset A\) be an ideal of \(A\) with \(\text{ht}(I) \geq 1\). Assume that \(R(I)\) is Cohen-Macaulay and has a canonical module. Let \(a = - a(\text{gr}_ A(I))\). Then the following are equivalent: (i) \(K_{\text{gr}_ A(I)} \simeq \text{gr}_{K_ A} (I)(-a)\). (ii) \(K_{R(I)} \simeq K_ A (1,t)^{a-2} (-1)\). Theorem (2.2). Let \((A,m)\) be a local ring and \(I\) be an ideal of \(A\). Suppose that \(R(I)\) is Cohen-Macaulay and \(I^{-1} = A\). Then the following conditions are equivalent: (i) \(R(I)\) is Gorenstein. (ii) \(K_ A \simeq A\) and \(K_{\text{gr}_ A(I)} \simeq \text{gr}_ A (I)(-2)\).