FPn-Injective, FPn-Flat Covers and Preenvelopes, and Gorenstein AC-Flat Covers

We prove that, for any n 〉 2, the classes of FPn-injective modules and of FPn-flat modules are both covering and preenveloping over any ring R. This includes the case of FP∞-injective and FP∞-flat modules （i.e., absolutely clean and, respectively, level modules）. Then we consider a generalization of the class of （strongly） Gorenstein flat modules, i.e., the （strongly） Gorenstein AC-flat modules （cycles of exact complexes of flat modules that remain exact when tensored with any absolutely clean module）. We prove that some of the properties of Gorenstein fiat modules extend to the class of Gorenstein AC-flat modules; for example, we show that this class is precovering over any ring R. We also show that （as in the case of Gorenstein flat modules） every Gorenstein AC-flat module is a direct summand of a strongly Gorenstein AC-flat module. When R is such that the class of Gorenstein AC-flat modules is closed under extensions, the converse is also true. Moreover, we prove that if the class of Gorenstein AC-flat modules is closed under extensions, then it is covering.

Acyclic Complexes and Gorenstein Rings

For a given class of modules A,let A be the class of exact complexes having all cycles in A,and dw(A)the class of complexes with all components in A.Denote by GL the class of Gorenstein injective modules.We prove that the following are equivalent over any ring R:every exact complex of injective modules is totally acyclic;every exact complex of Gorenstein injective modules is in every complex in dw(GL)is dg-Gorenstein injective.The analogous result for complexes of flat and Gorenstein flat modules also holds over arb计rary rings.If the ring is n-perfect for some integer n≥0,the three equivalent statements for flat and Gorenstein flat modules are equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules.We also prove the following characterization of Gorenstein rings.Let R be a commutative coherent ring;then the following are equivalent:(1)every exact complex of FP-injective modules has all its cycles Ding injective modules;(2)every exact complex of flat modules is F-totally acyclic,and every R-modulc M such that M^(+)is Gorenstein flat is Ding injective;(3)every exact complex of injectives has all its cycles Ding injective modules and every R-module M such that is Gorenstein flat is Ding injective.If R has finite Krull dimension,statements(1)-(3)are equivalent to(4)R is a Gorenstein ring(in the sense of Iwanaga).

Gorenstein injective sheaves

We define Gorenstein injective quasi-coherent sheaves, and prove that the notion is local in case the scheme is Gorenstein. We also give a new characterization of a Gorenstein scheme in terms of the total acyclicity of every acyclic complex of injective quasi-coherent modules.