English

Acyclic complexes and Gorenstein rings

Rings and Algebras 2020-01-22 v1

Abstract

For a given class of modules A\mathcal{A}, we denote by A~\widetilde{\mathcal{A}} the class of exact complexes XX having all cycles in A\mathcal{A}, and by dw(A)dw(\mathcal{A}) the class of complexes YY with all components YjY_j in A\mathcal{A}. We use the notations GI\mathcal{GI} (GF,GP)(\mathcal{GF}, \mathcal{GP}) for the class of Gorenstein injective (Gorenstein flat, Gorenstein projective respectively) RR-modules, DI\mathcal{DI} for Ding injective modules, and PGF\mathcal{PGF} for projectively coresolved Gorenstein flat modules (see section 2 for definitions). We prove that the following are equivalent over any ring RR: (1) Every exact complex of injective modules is totally acyclic. (2) Every exact complex of Gorenstein injective modules is in GI~\widetilde{\mathcal{GI}}. (3) Every complex in dw(GI)dw(\mathcal{GI}) is dg-Gorenstein injective. We show that the analogue result for complexes of flat and Gorenstein flat modules also holds over arbitrary rings. if moreover, the ring is nn-perfect for some integer n0n \ge 0, then the three equivalent statements for flat and Gorenstein flat modules are also equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules. We also prove the following characterization of Gorenstein rings: Let RR be a commutative coherent ring. The following statements are equivalent: (1) every exact complex of FP-injective modules has all its cycles Ding injective modules. (2) every exact complex of injectives has all its cycles Ding injective modules and every RR-module M such that M+M^+ is Gorenstein flat is Ding injective. If moreover the ring RR has finite Krull dimension then statements (1), (2) above are also equivalent to (3) RR is a Gorenstein ring (in the sense of Iwanaga).

Keywords

Cite

@article{arxiv.2001.06480,
  title  = {Acyclic complexes and Gorenstein rings},
  author = {Sergio Estrada and Alina Iacob and Holly Zolt},
  journal= {arXiv preprint arXiv:2001.06480},
  year   = {2020}
}

Comments

16 pages, to appear in Algebra Colloquium. arXiv admin note: text overlap with arXiv:1603.03850

R2 v1 2026-06-23T13:14:19.413Z