No Arabic abstract
There are many ways to present model categories, each with a different point of view. Here wed like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular applications of model categories, Quillen used this technology as a way to construct resolutions in non-abelian settings; for example, in his work on the homology of commutative algebras, it was important to be very flexible with the notion of a free resolution of a commutative algebra. Similar issues arose in the paper on rational homotopy theory. (This paper is the first place where the now-traditional axioms of a model category are enunciated.) Were going to emphasize the analog of projective resolutions, simply because these are the sort of resolutions most people see first. Of course, the theory is completely flexible and can work with injective resolutions as well.
In many scientific and technological contexts we have only a poor understanding of the structure and details of appropriate mathematical models. We often, therefore, need to compare different models. With available data we can use formal statistical model selection to compare and contrast the ability of different mathematical models to describe such data. There is, however, a lack of rigorous methods to compare different models emph{a priori}. Here we develop and illustrate two such approaches that allow us to compare model structures in a systematic way {by representing models in terms of simplicial complexes}. Using well-developed concepts from simplicial algebraic topology, we define a distance between models based on their simplicial representations. Employing persistent homology with a flat filtration provides for alternative representations of the models as persistence intervals, which represent the structure of the models, from which we can also obtain the distances between models. We then expand on this measure of model distance to study the concept of model equivalence in order to determine the conceptual similarity of models. We apply our methodology for model comparison to demonstrate an equivalence between a positional-information model and a Turing-pattern model from developmental biology, constituting a novel observation for two classes of models that were previously regarded as unrelated.
We prove the uniqueness, the functoriality and the naturality of cylinder objects and path objects in closed simplicial model categories.
We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenzas result that the categories of topological presheaves indexed by the orbit category of a fixed topological group $G$ and the category of $G$-spaces can be endowed with Quillen equivalent model category structures. We prove an analogous result for any cofibrantly generated model category and discrete group $G$, under certain conditions on the fixed point functors of the subgroups of $G$. These conditions hold in many examples, though not in the category of chain complexes, where we nevertheless establish and generalize to collections an equivariant Whitehead Theorem `{a} la Kropholler and Wall for the normalized chain complexes of simplicial $G$-sets.
Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups computed from these resolutions. We also give an alternative description of the morphism sets in terms of Yoneda Ext groups.
This is the fifth article in the Derived Langlands series which consists of one monograph and four articles. In this article I describe the Hopf algebra and Positive Selfadjoint Hopfalgebra (PSH) aspects to classification of a number of new classes of presentations and admissibility which have appeared earlier in the series. The paper begins with a very estensive. partly hypothetical, of the synthesis of the entire series. Many of the proofs and ideas in this series are intended to be suggestive rather than the finished definitive product for extenuating circumstances explained therein.