Year: 2026
Type: preprint
Abstract: This paper studies orthogonal model structures, i.e., model structures such that a lifting in the Lifting axiom is unique. Cofibrant (fibrant) objects are defined without initial (terminal) objects. For an orthogonal model structure on a category with enough cofibrant objects and fibrant objects, it is proved that the homotopy category is equivalent to the full subcategory of cofibrant-fibrant objects. TTF model structures, bi-reflective model structures, and torsion model structures, are introduced. They are all orthogonal. One to one correspondences between TTF model structures and TTF triples in an abelian category, bi-reflective model structures and bi-reflective pairs in any category, and torsion model structures and twin torsion pairs in an abelian category, are established in a constructive way. Torsion model structures on a poset, on the category of $G$-sets, and on the category of topological groups, are also constructed. The homotopy categories of all these model structures are computed. In particular, the homotopy category of a TTF model structure is an abelian category.
Source: arXiv (Cornell University)
Authors: Gao, Yang, Yang, Yu-xiao, Zhang, Pu
Institution: Shanghai Jiao Tong University
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G4656525603
OpenAlex ID: W7215090049