Object ideals and idempotent completeness
Abstract
We construct an idempotent complete Frobenius exact category with an idempotent complete stable category in which a complete ideal cotorsion pair of object ideals induces a cotorsion pair of objects that fails to be complete. This gives a negative answer to the question of Fu, Guil Asensio, Herzog and Torrecillas under idempotent completeness. The construction uses a lemma on dense triangulated subcategories and an example of Bondarko and Sosnilo in which a weight structure fails to extend to the idempotent completion. The induced cotorsion pair is hereditary, and every object admits an ordinary precover from its left class and an ordinary preenvelope into its right class. We characterize which objects admit special precovers and which admit special preenvelopes.
Related
- A parity obstruction to completeness of object cotorsion pairs
- A Counterexample to the Open Question on Object Ideals
- The variety generated by all additively idempotent semirings of order four
- Idempotent radicals and factorization systems
- Congruence-simple multiplicatively idempotent semirings and multiplicative divisibility
BibTeX
@misc{he2026object,
title = {{Object ideals and idempotent completeness}},
author = {Jing He and Yixia Zhang},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.07505},
eprint = {2611.07505},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.07505},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Object ideals and idempotent completeness
AU - Jing He
AU - Yixia Zhang
PY - 2026
DA - 2026/11/05
PB - arXiv
DO - 10.48550/arxiv.2611.07505
UR - https://arxiv.org/abs/2611.07505
AB - We construct an idempotent complete Frobenius exact category with an idempotent complete stable category in which a complete ideal cotorsion pair of object ideals induces a cotorsion pair of objects that fails to be complete. This gives a negative answer to the question of Fu, Guil Asensio, Herzog and Torrecillas under idempotent completeness. The construction uses a lemma on dense triangulated subcategories and an example of Bondarko and Sosnilo in which a weight structure fails to extend to the idempotent completion. The induced cotorsion pair is hereditary, and every object admits an ordinary precover from its left class and an ordinary preenvelope into its right class. We characterize which objects admit special precovers and which admit special preenvelopes.
ER -