Finiteness criteria for Gorenstein flat dimension and stability

Projectively coresolved Gorenstein flat modules were introduced recently by Saroch and Stovicek and were shown to be Gorenstein projective. While the relation between Gorenstein projective and Gorenstein flat modules is not well understood, the class of projectively coresolved Gorenstein flat modules is contained in the class of Gorenstein flat modules. This paper proves necessary and sufficient conditions for a module of finite Gorenstein flat dimension to be projectively coresolved Gorenstein flat, or of finite flat dimension. Stability results for the class of projectively coresolved Gorenstein flat modules are also established.