The almost Gorenstein Rees algebras of parameters (Q5964501): Difference between revisions

In the context of one dimensional analytically unramified local rings, the class of almost Gorentein local rings was introduced by \textit{V. Barucci} and \textit{R. Fröberg} [J. Algebra 188, No. 2, 418--442, Art. No. JA966837 (1997; Zbl 0874.13018)]. In 2015, Goto, Takahashi and Taniguchi [\textit{S. Goto} et al., J. Pure Appl. Algebra 219, No. 7, 2666--2712 (2015; Zbl 1319.13017)] generalized this concept for local and graded rings of any dimension. In the graded case, the relevant case for our discussion, if \(R=\oplus_{n \geq 0}R_n\) is a graded Cohen-Macaulay ring, \(R_0\) is local, and \(R\) has a canonical module \(K_R\), then \(R\) is said to be almost Gorenstein if there exists an exact sequence \(0 \to R \to K_R(-a) \to C \to 0\) with \(a=a(R)\), the \(a\)-invariant of \(R\), such that the multiplicity of \(C\) with respect to the maximal homogeneous ideal of \(R\) coincides with the minimal number of generators for \(C\). In this paper the authors study when the Rees algebras of certain classes of ideals are almost Gorenstein. In the first case, if \(A\) is a local Gorenstein ring, \(a_1,\ldots, a_r\) (\(r \geq 3\)) are part of a system of parameters and \(I=(a_1,\ldots, a_r)\), the authors prove that the Rees algebra \(A[It]\) is an almost Gorenstein graded ring if and only if \(A\) is a regular local ring and \(a_1,\ldots, a_r\) are part of a regular system of parameters. In the second case, if \((A,m)\) is a regular local ring with infinite residue field and dimension \(d \geq 3\) , \(Q\) is a parameter ideal (\(Q \neq m\)), and \(I=Q:m\), then the Rees algebra \(A[It]\) is an almost Gorenstein graded ring if and only if either \(I=m\) or \(d=3\) and \(I=(x) + m^2\) for some regular parameter \(x\).