A Fitting criterion for quasi-Gorenstein local rings

Abstract

Let $(R,\mathfrak m)$ be a Noetherian local ring admitting a canonical module $\omega_R$. We prove that $R$ is quasi-Gorenstein if and only if $\operatorname{Fitt}_1^R(\omega_R)\cong\omega_R$. When $R$ is Cohen-Macaulay, the same condition characterizes the Gorenstein property, confirming an expectation of Eisenbud, Ficarra, Herzog, and Moradi and extending their result for canonical ideals in local Cohen--Macaulay domains of type at most two.