Regularity over homomorphisms and a Frobenius characterization of Koszul algebras

Let R be a standard graded algebra over an F  -finite field of characteristic p>0p>0. Let ϕ:R→Rϕ:R→R be the Frobenius endomorphism. For each finitely generated graded R-module M  , let Mϕ be the abelian group M with the R-module structure induced by the Frobenius endomorphism. The R  -module Mϕ has a natural grading given by deg⁡x=jdeg⁡x=j if x∈Mjp+ix∈Mjp+i for some 0≤i≤p−10≤i≤p−1. In this paper, we prove that R is Koszul if and only if there exists a non-zero finitely generated graded R-module M   such that regRMϕ<∞. This result supplies another instance for the ability of the Frobenius in detecting homological properties, as exemplified by Kunz's famous regularity criterion. The main technical tool is the notion of Castelnuovo–Mumford regularity over certain homomorphisms between NN-graded algebras. The latter notion is a common generalization of the relative and absolute Castelnuovo–Mumford regularity of modules.