The almost Gorenstein Rees algebras over two-dimensional regular local rings (Q284958)

Let \((R,\mathfrak m)\) be a Cohen-Macaulay local ring with the canonical module \(K_R\). Then \(R\) is called an \textit{almost Gorenstein local ring} if there exists an exact sequence \[ 0\to R \to K_R \to C \to 0 \] of \(R\)-modules such that the minimal number of generators of \(C\) equals the multiplicity of \(C\) with respect to \(\mathfrak{m}\). One can similarly define \textit{almost Gorenstein graded rings}. Almost Gorenstein rings are considered as ``a new class of Cohen-Macaulay rings, which are not necessarily Gorenstein, but still good, possibly next to Gorenstein rings.'' The idea of almost Gorensteinness can be traced back to [\textit{V.~Barucci} and \textit{R.~Fröberg}, J. Algebra 188, 418--442 (1997; Zbl 0874.13018)]. It was extended by [\textit{S. Goto} et al., J. Algebra 379, 355--381 (2013; Zbl 1279.13035] and later by [\textit{S. Goto} et al., J. Pure Appl. Algebra 219, 2666--2712 (2015; Zbl 1319.13017)] into the current definition. The main result of the current paper is Theorem 1.3: Let \((R,\mathfrak m)\) be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra \(\mathcal{R}(I)=\bigoplus_{n\geq 0}I^n\) of \(I\) is an almost Gorenstein graded ring for every \(\mathfrak m\)-primary integrally closed ideal \(I\) of \(R\). In Section 3, the authors explained why almost Gorenstein algebras might be rare in dimension greater than two, by considering linearly presented perfect ideals over power series rings. In Section 4, the authors considered the socle ideal \(I=Q:\mathfrak m\), where \(Q\) is a parameter ideal in a two-dimensional regular local ring \((R,\mathfrak m)\). They showed that the Rees algebra \(\mathcal{R}(I)\) is almost Gorenstein if and only if the order of \(Q\) is at most \(2\).