On the computation of Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring (Q2318394)

\textit{D. Eisenbud} and \textit{B. Ulrich} [Proc. Am. Math. Soc. 140, No. 4, 1221--1232 (2012; Zbl 1246.13016)] proposed the following conjecture. Let \(A\) be a polynomial ring over a ring \(k\), \(\mathfrak{m}\) be the maximal graded ideal of \(A\), and \(I\) an equigenerated homogeneous \(\mathfrak{m}\)-primary ideal. Denote by \(R(I)=\bigoplus_{n\ge 0} I^n\) the Rees algebra of \(I\) and by \(F(I)= \bigoplus_{n\ge 0} I^n/\mathfrak{m}I^n\) the fiber ring. Then, the Castelnuovo-Mumford regularities of \(R(I)\) and \(F(I)\) are equal. The author provides an algorithm to calculate the Castelnuovo-Mumford regularity for monomial ideals in two variables. This procedure relies on the method given in [\textit{V. Crispin Quiñonez}, Contemp. Math. 423, 43--50 (2006; Zbl 1116.13006)] to compute the Ratliff-Rush closure of these ideals, combined with [\textit{M. E. Rossi} et al., J. Algebra 504, 568--586 (2018; Zbl 1412.13015)]. With this algorithm the author is able to find a counterexample for the above conjecture. Later a formal proof is provided, together with some sufficient arithmetic conditions that \(I\) must fulfill so that the conjecture does not hold for \(I\).