2 problems

Let $A$ be the two-dimensional normal local ring under consideration, let $I\subset A$ be a $p_g$-ideal, and let $\mathcal{R}(I)=\bigoplus_{n\geq 0}I^nt^n$ denote its Rees algebra…

Gorensteinness conjecture. If $\mathcal{R}(I)$ is an almost Gorenstein graded ring, then $A$ is a Gorenstein ring.