Pinches Dirnfeld

Base Change Along the Frobenius Endomorphism and the Gorenstein Property

Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a contracting) endomorphism has finite injective dimension then $R$ is Gorenstein.