Characterizing Cohen-Macaulay local rings by Frobenius maps

Abstract

Let R be a commutative noetherian local ring of prime characteristic. Denote by e R the ring R regarded as an R-algebra through e-times composition of the Frobenius map. Suppose that R is F-finite, i.e., 1 R is a finitely generated R-module. We prove that R is Cohen-Macaulay if and only if the R-modules e R have finite Cohen-Macaulay dimensions for infinitely many integers e.