Purity, ascent, and periodicity for Gorenstein flat cotorsion modules

Abstract

We investigate purity within the Frobenius category of Gorenstein flat cotorsion modules, which can be seen as an infinitely generated analogue of the Frobenius category of Gorenstein projective objects. As such, the associated stable category can be viewed as an alternative approach to a big singularity category, which is equivalent to Krause's when the ring is Gorenstein. We study the pure structure of the stable category, and show it is fundamentally related to the pure structure of the Gorenstein flat modules. Following that, we give conditions for extension of scalars to preserve Gorenstein flat cotorsion modules. In this case, one obtains an induced triangulated functor on the stable categories. We show that under mild conditions that these functors preserve the pure structure, both on the triangulated and module category level. Along the way, we consider particular phenomena over commutative rings, the cumulation of which is an extension of Kn\"{o}rrer periodicity, giving a triangulated equivalence between Krause's big singularity categories for a complete hypersurface singularity and its twofold double-branched cover.