English

Cotorsion pairs in extensions of abelian categories

Representation Theory 2025-06-25 v2

Abstract

Let B\mathcal{B} be an abelian category with enough projective objects and enough injective objects and let A=BηF\mathcal{A}=\mathcal{B}\ltimes_\eta\mathsf{F} be an η\eta-extension of B\mathcal{B}. Given a cotorsion pair (X,  Y)(\mathcal{X},\;\mathcal{Y}) in B\mathcal{B}, we construct a cotorsion pair (U1(Y),U1(Y))(^{\perp}{\mathsf{U}^{-1}(\mathcal{Y})}, \mathsf{U}^{-1}(\mathcal{Y})) in A\mathcal{A} and a cotorsion pair (Δ(X),  Δ(X))(\Delta(\mathcal{X}),\;\Delta(\mathcal{X})^\perp) in A\mathcal{A} for F2=0\mathsf{F}^2=0. In addition, the heredity and completeness of these cotorsion pairs are studied. Finally, we give some applications and examples in comma categories, some Morita context rings and trivial extensions of rings.

Keywords

Cite

@article{arxiv.2506.17898,
  title  = {Cotorsion pairs in extensions of abelian categories},
  author = {Dongdong Hu},
  journal= {arXiv preprint arXiv:2506.17898},
  year   = {2025}
}

Comments

21 pages