The Grothendieck construction for model categories

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.

Model structures on commutative monoids in general model categories

Homotopic Descent over Monoidal Model Categories

A generalization of Quillen's small object argument

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies the method used by the author in (Trans Am Math Soc 356(8) 3369–3390, 2004) and (Trans Am Math Soc 358(7), 2855–2874, 2006) to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves over a ringed space. Indeed, much of the paper is dedicated to showing that in any Grothendieck category $$\mathcal{G}$$ , any nice enough class of objects $$\mathcal{F}$$ induces a model structure on the category Ch( $$\mathcal{G}$$ ) of chain complexes. The main technical requirement on $$\mathcal{F}$$ is the existence of a regular cardinal κ such that every object $$F \in \mathcal{F}$$ satisfies the following property: Each κ-generated subobject of F is contained in another κ-generated subobject S for which $$S, F/S \in \mathcal{F}$$ . Such a class $$\mathcal{F}$$ is called a Kaplansky class. Kaplansky classes first appeared in Enochs and Lopez-Ramos (Rend Sem Mat Univ Padova 107, 67–79, 2002) in the context of modules over a ring R. We study in detail the connection between Kaplansky classes and model categories. We also find simple conditions to put on $$\mathcal{F}$$ which will guarantee that our model structure is monoidal. We will see that in several categories the class of flat objects form such Kaplansky classes, and hence induce monoidal model structures on the associated chain complex categories. We will also see that in any Grothendieck category $$\mathcal{G}$$ , the class of all objects is a Kaplansky class which induces the usual (non-monoidal) injective model structure on Ch( $$\mathcal{G}$$ ).

The Grothendieck construction establishes an equivalence between fibrations, a.k.a. fibred categories and indexed categories and is one of the fundamental results of category theory. Cockett and Cruttwell introduced the notion of fibrations into the context of tangent categories and proved that the fibres of a tangent fibration inherit a tangent structure from the total tangent category. The main goal of this paper is to provide a Grothendieck construction for tangent fibrations. Our first attempt will focus on providing a correspondence between tangent fibrations and indexed tangent categories, which are collections of tangent categories and tangent morphisms indexed by the objects and morphisms of a base tangent category. We will show that this construction inverts Cockett and Cruttwell’s result, but it does not provide a full equivalence between these two concepts. In order to understand how to define a genuine Grothendieck equivalence in the context of tangent categories, inspired by Street’s formal approach to monad theory we introduce a new concept: tangent objects. We show that tangent fibrations arise as tangent objects of a suitable $2$ -category and we employ this characterisation to lift the Grothendieck construction between fibrations and indexed categories to a genuine Grothendieck equivalence between tangent fibrations and tangent indexed categories.

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and$\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of$\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available atarXiv:1410.5699v2.

Offering a unique resource for advanced graduate students and researchers, this book treats the fundamentals of Quillen model structures on abelian and exact categories. Building the subject from the ground up using cotorsion pairs, it develops the special properties enjoyed by the homotopy category of such abelian model structures. A central result is that the homotopy category of any abelian model structure is triangulated and characterized by a suitable universal property – it is the triangulated localization with respect to the class of trivial objects. The book also treats derived functors and monoidal model categories from this perspective, showing how to construct tensor triangulated categories from cotorsion pairs. For researchers and graduate students in algebra, topology, representation theory, and category theory, this book offers clear explanations of difficult model category methods that are increasingly being used in contemporary research.

In this work we study the homotopy theory of coherent group actions from a global point of view, where we allow both the group and the space acted upon to vary. Using the model of Segal group actions and the model categorical Grothendieck construction we construct a model category encompassing all Segal group actions simultaneously. We then prove a global rectification result in this setting. We proceed to develop a general truncation theory for the model-categorical Grothendieck construction and apply it to the case of Segal group actions. We give a simple characterization of n-truncated Segal group actions and show that every Segal group action admits a convergent Postnikov tower built out of its n-truncations.

In this chapter, we introduce the notions of 1-Segal and 2-Segal objects in a combinatorial model category C. If further C admits the structure of a left proper, tractable, symmetric monoidal model category, then we introduce model structures for 1-Segal and 2-Segal objects which arise as enriched Bousfield localizations of the injective model structure on CΔ. For \( {\mathbf C} = {\mathbb S}\), the model structure for 1-Segal objects in \({\mathbb S}\) recovers the Rezk model structure for 1-Segal spaces introduced in Rezk (Trans Am Math Soc 353(3):973–1007, 2001).

We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [Algebras and modules in monoidal model categories, Proc. London Math. Soc. 80 (2000), 491-511]. As an application we extend the Dold-Kan equivalence to show that the model categories of simplicial rings, modules and algebras are Quillen equivalent to the associated model categories of connected differential graded rings, modules and algebras. We also show that our classification results from [Stable model categories are categories of modules, Topology, 42 (2003) 103-153] concerning stable model categories translate to any one of the known symmetric monoidal model categories of spectra.

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in specializing C to several different contexts. First of all, when C=k-Mod is the category of modules over a ring k, with the trivial model structure, we show that our notion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod, the model category of simplicial k-modules, and obtain this way a notion of geometric derived stacks which are the main geometric objects of Derived Algebraic Geometry. We give several examples of derived version of classical moduli stacks, as for example the derived stack of local systems on a space, of algebra structures over an operad, of flat bundles on a projective complex manifold, etc. Finally, we present the cases where C=(k) is the model category of unbounded complexes of modules over a char 0 ring k, and C=Sp^{\Sigma} the model category of symmetric spectra. In these two contexts, called respectively Complicial and Brave New Algebraic Geometry, we give some examples of geometric stacks such as the stack of associative dg-algebras, the stack of dg-categories, and a geometric stack constructed using topological modular forms.

A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider monoids and modules over a given monoid. We would like to be able to study the homotopy theory of these monoids and modules. This question was first addressed by Stefan Schwede and Brooke Shipley in Algebras and modules in monoidal model categories, who showed that under certain conditions, there are model categories of monoids and of modules over a given monoid. This paper is a follow-up to that one. We study what happens when the conditions of Schwede-Shipley do not hold. This will happen in any topological situation, and in particular, in topological symmetric spectra. We find that, with no conditions on our monoidal model category except that it be cofibrantly generated and that the unit be cofibrant, we still obtain a homotopy category of monoids, and that this homotopy category is homotopy invariant in an appropriate sense.

Quantile hydrologic model selection and structure deficiency assessment is applied in three case studies. The performance of quantile model selection problem is rigorously evaluated using a model structure on the French Broad river basin data set. The case study shows that quantile model selection encompasses model selection strategies based on summary statistics and that it is equivalent to maximum likelihood estimation under certain likelihood functions. It also shows that quantile model predictions are fairly robust. The second case study is of a parsimonious hydrological model for dry land areas in Western India. The case study shows that an intuitive improvement in the model structure leads to reductions in asymmetric loss function values for all considered quantiles. The asymmetric loss function is a quantile specific metric that is minimized to obtain a quantile specific prediction model. The case study provides evidence that a quantile-wise reduction in the asymmetric loss function is a robust indicator of model structure improvement. Finally a case study of modeling daily streamflow for the Guadalupe River basin is presented. A model structure that is least deficient for the study area is identified from nine different model structures based on quantile structural deficiency assessment. The nine model structures differ in interception, routing, overland flow and base flow conceptualizations. The three case studies suggest that quantile model selection and deficiency assessment provides a robust mechanism to compare deficiencies of different model structures and helps to identify better model structures. In addition to its novelty, quantile hydrologic model selection is a frequentist approach that seeks to complement existing Bayesian approaches to hydrological model uncertainty.

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.