English

Chains of model structures arising from modules of finite Gorenstein dimension

Representation Theory 2025-05-27 v4

Abstract

For any integer n0n\ge 0 and any ring RR, \ (PGFn, PnPGF)(\mathcal {PGF}_n, \ \mathcal P_n^\perp \cap \mathcal {PGF}^{\perp}) proves to be a complete hereditary cotorsion pair in RR-Mod, where PGF\mathcal {PGF} is the class of PGF modules, introduced by J. \v{S}aroch and J. \v{S}\'{t}ov\'{i}\v{c}ek, and \ PGFn\mathcal {PGF}_n is the class of RR-modules of PGF dimension n\le n. For any Artin algebra RR, \ (GPn, PnGP)(\mathcal {GP}_n, \ \mathcal P_n^\perp \cap \mathcal {GP}^{\perp}) proves to be a complete and hereditary cotorsion pair in RR-Mod, where GPn\mathcal {GP}_n is the class of modules of Gorenstein projective dimension n\le n. These cotorsion pairs induce two chains of hereditary Hovey triples \ (PGFn, Pn, PGF)(\mathcal {PGF}_n, \ \mathcal P_n^\perp, \ \mathcal {PGF}^{\perp}) and \ (GPn, Pn, GP)(\mathcal {GP}_n, \ \mathcal P_n^\perp, \ \mathcal {GP}^{\perp}), and the corresponding homotopy categories in the same chain are the same. It is observed that some complete cotorsion pairs in RR-Mod can induce complete cotorsion pairs in some special extension closed subcategories of RR-Mod. Then corresponding results in exact categories PGFn\mathcal {PGF}_n, \ GPn\mathcal {GP}_n, \ GFn\mathcal {GF}_n, \ PGF<\mathcal {PGF}^{<\infty}, \ GP<\mathcal {GP}^{<\infty} and GF<\mathcal {GF}^{<\infty}, are also obtained. As a byproduct, PGF=GP\mathcal{PGF} = \mathcal {GP} for a ring RR if and only if PGFGPn=Pn\mathcal{PGF}^\perp\cap\mathcal{GP}_n=\mathcal P_n for some nn.

Keywords

Cite

@article{arxiv.2403.05232,
  title  = {Chains of model structures arising from modules of finite Gorenstein dimension},
  author = {Nan Gao and Xue-Song Lu and Pu Zhang},
  journal= {arXiv preprint arXiv:2403.05232},
  year   = {2025}
}