English

Gorensteinness from duality pairs induced via Foxby equivalences

Rings and Algebras 2025-12-25 v1 Category Theory

Abstract

We define and study induced duality pairs under Foxby equivalences. Given a semidualizing (S,R)(S,R)-bimodule SCR{}_S C_R, if (AC(R),BC(Rop))(\mathcal{A}_C(R),\mathcal{B}_C(R^{\rm op})) and (AC(Sop),BC(S))(\mathcal{A}_C(S^{\rm op}),\mathcal{B}_C(S)) denote the duality pairs formed by the corresponding classes of Auslander and Bass modules, and if (M,N)(\mathcal{M,N}) is a duality pair over RR, we study the duality pair formed by the essential images of the restricted Foxby equivalences (CR)AC(R)M(C \otimes_R \sim)|_{\mathcal{A}_C(R) \cap \mathcal{M}} and HomRop(C,)BC(Rop)N\mathrm{Hom}_{R^{\rm op}}(C,\sim) |_{\mathcal{B}_C(R^{\rm op}) \cap \mathcal{N}}, denoted by MC(S)\mathcal{M}^C(S) and NC(Sop)\mathcal{N}^C(S^{\rm op}). We investigate which additional properties of the duality pair (M,N)(\mathcal{M,N}) are transferred to (MC(S),NC(Sop))(\mathcal{M}^C(S),\mathcal{N}^C(S^{\rm op})). We also study several versions of Gorenstein injective and Gorenstein flat modules relative to the pairs (AC(R)M,BC(Rop)N)(\mathcal{A}_C(R) \cap \mathcal{M},\mathcal{B}_C(R^{\rm op}) \cap \mathcal{N}) and (MC(S),NC(Sop))(\mathcal{M}^C(S),\mathcal{N}^C(S^{\rm op})). For instance, we explore the relation between these classes of modules under Foxby equivalences and under Pontryagin duality.

Keywords

Cite

@article{arxiv.2512.20764,
  title  = {Gorensteinness from duality pairs induced via Foxby equivalences},
  author = {Víctor Becerril and Marco A. Pérez},
  journal= {arXiv preprint arXiv:2512.20764},
  year   = {2025}
}

Comments

28 pages, 20 diagrams. Comments are welcome