On local reduction numbers and \(a\)-invariants of Rees algebras of good filtrations (Q1577611)

The purpose of this paper is to give conditions for the Rees algebra of a filtration to be Cohen-Macaulay in terms of the associated graded ring and the reduction number of the filtration. Let \(A\) be a Noetherian local ring of dimension \(d>0\) with infinite residue field, and let \(F=\{I_n\}_{n\geq 0}\) be a good filtration of \(A\) with \(\text{ht}(I_1)>0\) such that the Rees algebra \(R(F)=\bigoplus_{n\geq 0}I_nt^n\) is a Noetherian ring of dimension \(d+1\). We denote the maximal graded ideal of \(R(F)\) by \(M\) and the associated graded ring of \(F\) by \(G(F)\). Then the main theorem is as follows: \(R(F)\) is Cohen-Macaulay if and only if (i) \([H_M^i(G(F))]_n=0\) for all \(n\neq-1\), \(i<d\), and (ii) \(r(F_p) \leq \text{ht}(p)-1\) for every prime ideal \(p \supseteq I_1\) with \(l((I_1)_p)=\text{ht}(p)\), where \(r(\cdot)\) is the reduction number and \(l(\cdot)\) the analytic spread (theorem 4.1). In the preceding section 3, the author introduces the notion of local reduction numbers and shows some results concerning the local reduction numbers and the \(a\)-invariants of Rees algebras satisfying certain conditions, which are used in proving the main theorem.