Model structure from one hereditary complete cotorsion pair

DOI10.1016/J.JPAA.2025.107958MaRDI QIDQ6968380zbMATH OpenFDO

Authors Jian Cui, Xuesong Lu, Pu Zhang

Publication date 24 June 2025

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JPAA.2025.107958

zbMATH Keywords

(abelian, exact, weakly projective, projective) model structure(complete, hereditary) cotorsion pair(weakly idempotent complete) exact categoryhomotopy category

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Representations of quivers and partially ordered sets (16G20) Cohen-Macaulay modules in associative algebras (16G50) Homotopical algebra, Quillen model categories, derivators (18N40)

Review text

The construction of weakly projective model structures on abelian categories from a single hereditary complete cotorsion pair was first established by \textit{A. Beligiannis} and \textit{I. Reiten} [Homological and homotopical aspects of torsion theories. Providence, RI: American Mathematical Society (AMS) (2007; Zbl 1124.18005)]. In this paper, the authors extend this construction to weakly idempotent complete exact categories. Specifically, given two full additive subcategories \(\mathcal{X}\) and \(\mathcal{Y}\) of a weakly idempotent complete exact category \(\mathcal{A}\), then \((\mathrm{CoFib}_\omega, \mathrm{Fib}_\omega, Weq_\omega)\), where \(\omega =\mathcal{XY}\), is a model structure in \(\mathcal{A}\) if and only if \((\mathcal{X},\mathcal{Y})\) is a hereditary complete cotorsion pair in \(\mathcal{A}\) and \(\omega\) is contrarianly finite in \(\mathcal{A}\).\N\NNext, a characterization of weakly projective model structures is provided. Moreover, the bijection of Beligiannis and Reiten for abelian categories -- between the class of hereditary comoplete cotorsion pair with \(\omega\) contravariantly finite and the class of weakly projective module structures -- is shown to hold for weakly idempotent complete exact categories.

Cites work

• Applications of contravariantly finite subcategories
• Chain complexes and stable categories
• Cotorsion pairs and model structures on Morita rings
• Cotorsion pairs, model category structures, and representation theory
• Exact categories
• Exact categories and vector space categories
• Exact model categories, approximation theory, and cohomology of quasi-coherent sheaves
• Higher algebraic K-theory: I
• Homological and homotopical aspects of torsion theories
• Homological Theory of Representations
• Homotopical algebra
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Model structures on exact categories
• Models for singularity categories.
• Rational homotopy theory

Cited in

(3)

• Cotorsion pairs in extensions of abelian categories
• Model structure arising from one hereditary complete cotorsion pair on extriangulated categories
• Induced complete hereditary cotorsion pairs in \(\mathrm{D}(R)\) with respect to Cartan-Eilenberg exact sequences

This page was built for publication: Model structure from one hereditary complete cotorsion pair

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6968380)