Model Category Structure Research Articles

Coderived and contraderived categories of locally presentable abelian DG-categories

The concept of an abelian DG-category, introduced by the first-named author in Positselski (Exact DG-categories and fully faithful triangulated inclusion functors. arXiv:2110.08237 [math.CT]), unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker (Adv Math 254:187–232, 2014. arXiv:1205.4473 [math.CT]) and by the present authors (Positselski and Št’ovíček in J Pure Appl Algebra 226(#4):106883, 2022. arXiv:2101.10797 [math.CT]), we define the contraderived category of a locally presentable abelian DG-category B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{B}$$\\end{document} with enough projective objects and the coderived category of a Grothendieck abelian DG-category A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{A}$$\\end{document}. We construct the related abelian model category structures and show that the resulting exotic derived categories are well-generated. Then we specialize to the case of a locally coherent Grothendieck abelian DG-category A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{A}$$\\end{document}, and prove that its coderived category is compactly generated by the absolute derived category of finitely presentable objects of A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{A}$$\\end{document}, thus generalizing a result from the second-named author’s preprint (Št’ovíček in On purity and applications to coderived and singularity categories. arXiv:1412.1615 [math.CT]). In particular, the homotopy category of graded-injective left DG-modules over a DG-ring with a left coherent underlying graded ring is compactly generated by the absolute derived category of DG-modules with finitely presentable underlying graded modules. We also describe compact generators of the coderived categories of quasi-coherent matrix factorizations over coherent schemes.

New model category structures for algebraic quantum field theory

New model category structures for algebraic quantum field theory

Equivariant dendroidal sets and simplicial operads

We establish a Quillen equivalence between the homotopy theories of equivariant Segal operads and equivariant simplicial operads with norm maps. Together with previous work, we further conclude that the homotopy coherent nerve is a right-Quillen equivalence from the model category of equivariant simplicial operads with norm maps to the model category structure for equivariant-$\infty$-operads in equivariant dendroidal sets.

Projective and Reedy Model Category Structures for (Infinitesimal) Bimodules over an Operad

We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we build explicit cofibrant and fibrant replacements. We show that these categories are right proper and under some conditions left proper. We also study the extension/restriction adjunctions.

Model category structures on multicomplexes

We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral sequence. Corresponding model structures are given for truncated versions of multicomplexes, interpolating between bicomplexes and multicomplexes. For a fixed stage of the spectral sequence, the model structures on all these categories are shown to be Quillen equivalent.

Koszul duality for compactly generated derived categories of second kind

For any dg algebra A we construct a closed model category structure on dg A -modules such that the corresponding homotopy category is compactly generated by dg A -modules that are finitely generated and free over A (disregarding the differential). We prove that this closed model category is Quillen equivalent to the category of comodules over a certain, possibly nonconilpotent dg coalgebra, a so-called extended bar construction of A . This generalises and complements certain aspects of dg Koszul duality for associative algebras.

Model categories from resolution dimensions

We discuss model category structures on abelian categories arising from resolution dimensions. In particular, suppose the subcategory of projective objects is an injective cogenerator of X \mathcal {X} , where X \mathcal {X} is a resolving subcategory contained in the subcategory of Gorenstein projective objects. We can conclude that X \mathcal {X} is Frobenius and the stable category is given by the homotopy category of a corresponding model structure.

Homotopy theory of homotopy algebras

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The method consists in using the operadic calculus to endow the category of coalgebras over the Koszul dual cooperad or the bar construction with a new type of model category structure, Quillen equivalent to that of algebras. We provide an explicit homotopy equivalence for infinity-morphisms, which gives a simple description of the homotopy category, and we endow the category of homotopy algebras with an infinity-category structure.

Model categories of quiver representations

Gillespie's Theorem gives a systematic way to construct model category structures on C(M), the category of chain complexes over an abelian category M.We can view C(M) as the category of representations of the quiver ⋯→2→1→0→−1→−2→⋯ with the relations that two consecutive arrows compose to 0. This is a self-injective quiver with relations, and we generalise Gillespie's Theorem to other such quivers with relations. There is a large family of these, and following Iyama and Minamoto, their representations can be viewed as generalised chain complexes.Our result gives a systematic way to construct model category structures on many categories. This includes the category of N-periodic chain complexes, the category of N-complexes where ∂N=0, and the category of representations of the repetitive quiver ZAn with mesh relations.

Model category structures and spectral sequences

AbstractLet R be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of R-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a quasi-isomorphism at a certain fixed stage of the associated spectral sequence. For filtered complexes, we relate the different model structures obtained, when we vary the stage of the spectral sequence, using the functors shift and décalage.

Homotopy theory of unital algebras

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved coalgebras, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen equivalent to that of unital algebras. To prove such a result, we use recent methods based on presentable categories. This allows us to describe the homotopy properties of unital algebras in a simpler and richer way. Moreover, we endow the various model categories with several enrichments which induce suitable models for the mapping spaces and describe the formal deformations of morphisms of algebras.

Reedy Diagrams in V-Model Categories

We study the category of Reedy diagrams in a $\mm$-model category. Explicitly, we show that if K is a small category, V is a closed symmetric monoidal category and C is a closed V-module, then the diagram category V^K is a closed symmetric monoidal category and the diagram category C^K is a closed V^K-module. We then prove that if further K is a Reedy category, V is a monoidal model category and C is a V-model category, then with the Reedy model category structures, V^K is a monoidal model category and C^K$ is a $\mm^K-model category provided that either the unit 1 of V is cofibrant or V is cofibrantly generated.

A criterion for existence of right‐induced model structures

Suppose that F : N → M is a functor whose target is a Quillen model category. We give a succinct sufficient condition for the existence of the right-induced model category structure on N in the case when F admits both adjoints. We give several examples, including change-of-rings, operad-like structures, and anti-involutive structures on infinity categories. For the last of these, we explore anti-involutive structures for several different models of ( ∞ , 1 ) -categories and show that known Quillen equivalences between base model categories lift to equivalences.

AC-GORENSTEIN RINGS AND THEIR STABLE MODULE CATEGORIES

We introduce what is meant by an AC-Gorenstein ring. It is a generalized notion of Gorenstein ring that is compatible with the Gorenstein AC-injective and Gorenstein AC-projective modules of Bravo–Gillespie–Hovey. It is also compatible with the notion of $n$ -coherent rings introduced by Bravo–Perez. So a $0$ -coherent AC-Gorenstein ring is precisely a usual Gorenstein ring in the sense of Iwanaga, while a $1$ -coherent AC-Gorenstein ring is precisely a Ding–Chen ring. We show that any AC-Gorenstein ring admits a stable module category that is compactly generated and is the homotopy category of two Quillen equivalent abelian model category structures. One is projective with cofibrant objects that are Gorenstein AC-projective modules while the other is an injective model structure with fibrant objects that are Gorenstein AC-injectives.

A homotopy-theoretic model of function extensionality in the effective topos

We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the underlying topos to be cocomplete. The resulting model category structure gives rise to a model of homotopy type theory with identity types, Σ- and Π-types, and functional extensionality. We apply the method to the effective topos with the interval object ∇2. In the resulting model structure we identify uniform inhabited objects as contractible objects, and show that discrete objects are fibrant. Moreover, we show that the unit of the discrete reflection is a homotopy equivalence and the homotopy category of fibrant assemblies is equivalent to the category of modest sets. We compare our work with the path object category construction on the effective topos by Jaap van Oosten.

Homotopy theory of complete Lie algebras and Lie models of simplicial sets

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential graded Lie algebras. This paper is a follow up of this work. We show that when X is a finite connected simplicial set, then the realization of the model of X is the disjoint union of the Bousfield-Kan completion of X with an external point. We also define a model category structure on the category of complete differential graded algebras making the two previous functors a Quillen pair, and we construct an explicit cylinder. In particular, these functors preserve homotopies and weak equivalences and therefore, this gives the basis for developing a Lie rational homotopy theory for all spaces.

Frobenius pairs in abelian categories

In this work, we revisit Auslander-Buchweitz Approximation Theory and find some relations with cotorsion pairs and model category structures. From the notions of relatives generators and cogenerators in Approximation Theory, we introduce the concept of left Frobenius pairs $(\mathcal{X},\omega)$ in an abelian category $\mathcal{C}$. We show how to construct from $(\mathcal{X},\omega)$ a projective exact model structure on $\mathcal{X}^\wedge$, as a result of Hovey-Gillespie Correspondence applied to two compatible and complete cotorsion pairs in $\mathcal{X}^\wedge$. These pairs can be regarded as examples of what we call cotorsion pairs relative to a thick subcategory of $\mathcal{C}$. We establish some correspondences between Frobenius pairs, relative cotorsion pairs, exact model structures and Auslander-Buchweitz contexts. Finally, some applications of these results are given in the context of Gorenstein homological algebra by generalizing some existing model structures on the categories of modules over Gorenstein and Ding-Chen rings, and by encoding the stable module category of a ring as a certain homotopy category. We also present some connections with perfect cotorsion pairs, covering classes, and cotilting modules.

The dendroidal category is a test category

AbstractWe prove that the category of trees Ω is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that this model category structure, up to a change of cofibrations, can be obtained as an explicit left Bousfield localisation of the operadic model category structure.

The Quillen model category of topological spaces

We give a complete and careful proof of Quillen’s theorem on the existence of the standard model category structure on the category of topological spaces. We do not assume any familiarity with model categories.

A necessary and sufficient condition for induced model structures

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalences along a left adjoint. For either technique to define a valid model category, there is a well-known necessary "acyclicity" condition. We show that for a broad class of "accessible model structures" - a generalization introduced here of the well-known combinatorial model structures - this necessary condition is also sufficient in both the right-induced and left-induced contexts, and the resulting model category is again accessible. We develop new and old techniques for proving the acyclity condition and apply these observations to construct several new model structures, in particular on categories of differential graded bialgebras, of differential graded comodule algebras, and of comodules over corings in both the differential graded and the spectral setting. We observe moreover that (generalized) Reedy model category structures can also be understood as model categories of "bialgebras" in the sense considered here.