For hereditary complete cotorsion pairs generated by a set in a Grothendieck category, the coderived category of the left class is equivalent to the contraderived category of the right class, and for sandwiched pairs this flat-type behavior is equivalent to two periodicity properties.
The stable category of Gorenstein flat sheaves on a noetherian scheme
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules.
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity
For hereditary complete cotorsion pairs generated by a set in a Grothendieck category, the coderived category of the left class is equivalent to the contraderived category of the right class, and for sandwiched pairs this flat-type behavior is equivalent to two periodicity properties.