Gorenstein cotorsion pairs induced by balanced pairs
Abstract
Let (π³,π΄) be an admissible balanced pair in a locally presentable abelian category π, and let β° be its induced exact structure. We study the class G(π³) of cycles of two-sided complexes with terms in π³ that are both right and left π³-acyclic. If π³ is closed under direct summands and finite direct sums and is ΞΊ-Kaplansky for every sufficiently large regular cardinal ΞΊ, we prove that (G(π³),G(π³)β₯ *) is a hereditary cotorsion pair relative to β°. For relative purity determined by finitely presented modules, we give two criteria for functorial completeness and show that relative periodic modules generate a functorially complete hereditary cotorsion pair. We also compute the relative Gorenstein objects, their right orthogonal, and explicit approximations for a family of exact structures over Dedekind domains.
Related
- Cotorsion pairs and model structures induced by resolution dimensions relative to Frobenius pairs
- A parity obstruction to completeness of object cotorsion pairs
- Higher Cotorsion Pairs on Image-Nilpotent Ξ·-Extensions
- Construction of n-cotorsion pairs in some abelian categories
- Ideal balanced pairs in n-exangulated categories
BibTeX
@misc{golfis2026gorenstein,
title = {{Gorenstein cotorsion pairs induced by balanced pairs}},
author = {Konstantinos Golfis},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.31729},
eprint = {2609.31729},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.31729},
}
RIS
TY - UNPB
TI - Gorenstein cotorsion pairs induced by balanced pairs
AU - Konstantinos Golfis
PY - 2026
DA - 2026/10/09
PB - arXiv
DO - 10.48550/arxiv.2609.31729
UR - https://arxiv.org/abs/2609.31729
AB - Let (π³,π΄) be an admissible balanced pair in a locally presentable abelian category π, and let β° be its induced exact structure. We study the class G(π³) of cycles of two-sided complexes with terms in π³ that are both right and left π³-acyclic. If π³ is closed under direct summands and finite direct sums and is ΞΊ-Kaplansky for every sufficiently large regular cardinal ΞΊ, we prove that (G(π³),G(π³)^β₯ *) is a hereditary cotorsion pair relative to β°. For relative purity determined by finitely presented modules, we give two criteria for functorial completeness and show that relative periodic modules generate a functorially complete hereditary cotorsion pair. We also compute the relative Gorenstein objects, their right orthogonal, and explicit approximations for a family of exact structures over Dedekind domains.
ER -