We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen equivalent to simplicial model categories. A simplicial model category provides higher order structure such as composable mapping spaces and homotopy colimits. We also show that certain homotopy invariant functors can be replaced by weakly equivalent simplicial, or `continuous', functors. This is used to show that if a simplicial model category structure exists on a model category then it is unique up to simplicial Quillen equivalence.
We consider the category whose objects are filtered, or complete, $L_\infty$-algebras and whose morphisms are $\infty$-morphisms which respect the filtrations. We then discuss the homotopical properties of the Getzler-Hinich simplicial Maurer-Cartan functor which associates to each filtered $L_\infty$-algebra a Kan simplicial set, or $\infty$-groupoid. In previous work with V. Dolgushev, we showed that this functor sends weak equivalences of filtered $L_\infty$-algebras to weak homotopy equivalences of simplicial sets. Here we sketch a proof of the fact that this functor also sends fibrations …
The so called Čech and Vietoris-Rips simplicial filtrations are designed to capture information about the topological structure of metric datasets. These filtrations are two of the workhorses in the field of topological data analysis. They enjoy stability with respect to the Gromov-Hausdorff (GH) distance, and this stability property allows us to estimate the GH distance between finite metric space representations of the underlying datasets. Via the concept of Gromov's curvature sets we construct a rich theoretical framework of valuation-induced stable filtration functors. This framework inclu…
We prove that the Goodwillie tower of a weak equivalence preserving functor from spaces to spectra can be expressed in terms of the tower for stable mapping spaces. Our proof is motivated by interpreting the functors P_n and D_n as pseudo-differential operators which suggests certain `integral' presentations based on a derived Yoneda embedding. These models allow one to extend computational tools available for the tower of stable mapping spaces. As an application we give a classical expression for the derivative over the basepoint.
We characterize simplicial localization functors among relative functors from relative categories to simplicial categories as any choice of homotopy inverse to the delocalization functor of Dwyer and the second author.
We extend Goodwillie's classification of finitary linear functors to arbitrary small functors. That is we show that every small linear simplicial functor from spectra to simplicial sets is weakly equivalent to a filtered colimit of representable functors represented in cofibrant spectra. Moreover, we present this classification as a Quillen equivalence of the category of small functors from spectra to simplicial sets equipped with the linear model structure and the opposite of the pro-category of spectra with the strict model structure.
The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into homotopy equivalent differential modules with $\infty$-simplicial faces.
It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists a homeomorphism between these geometric realizations. We also discuss the naturality of these homoemorphisms. The inclusion of the category of small categories to the category of simplicially enriched categories, the cofibrant replacement of simplicially enriched categories, and the geometric realization of simplicially enriched categories are three composab…
Given a simplicial group G, there are two known classifying simplicial set constructions, the Kan classifying simplicial set Wbar G and Diag N G, where N denotes the dimensionwise nerve. They are known to be weakly homotopy equivalent. We will show that Wbar G is a strong simplicial deformation retract of Diag N G. In particular, Wbar G and Diag N G are simplicially homotopy equivalent.
In this note we prove that the simplicial derived functors introduced by Tierney and Vogel [TV69] are naturally isomorphic to the cubical derived functors introduced by the author in [P09]. We also explain how this result generalizes the well-known fact that the simplicial and cubical singular homologies of a topological space are naturally isomorphic.
Given a bisimplicial set, there are two ways to extract from it a simplicial set: the diagonal simplicial set and the less well known total simplicial set of Artin and Mazur. There is a natural comparison map between these two simplicial sets, and it is a theorem due to Cegarra and Remedios and independently Joyal and Tierney, that this comparison map is a weak equivalence for any bisimplicial set. In this paper we will give a new, elementary proof of this result. As an application, we will revisit Kan's simplicial loop group functor G. We will give a simple formula for this functor, which is …
Extending the model of the interval, we explicitly define for each $n\ge 0$ a free complete differential graded Lie algebra $\mathfrak{L}_n$ generated by the simplices of $Δ^n$, with desuspended degrees, in which the vertices are Maurer-Cartan elements and the differential extends the simplicial chain complex of the standard $n$-simplex. The family $\{\mathfrak{L}_\bullet\}_{n\ge 0}$ is endowed with a cosimplicial differential graded Lie algebra structure which we use to construct a pair of adjoint functors between the categories of simplicial sets and complete differential graded Lie algebras…
We formulate and prove a chain rule for the derivative, in the sense of Goodwillie, of compositions of weak homotopy functors from simplicial sets to simplicial sets. The derivative spectrum dF(X) of such a functor F at a simplicial set X can be equipped with a right action by the loop group of its domain X, and a free left action by the loop group of its codomain Y = F(X). The derivative spectrum d(E o F)(X)$ of a composite of such functors is then stably equivalent to the balanced smash product of the derivatives dE(Y) and dF(X), with respect to the two actions of the loop group of Y. As an …
Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the $\infty$-categorical localisation of the former at the objectwise weak homotopy equivalences. This builds on a Quillen equivalence between the projective and covariant model structures associated to $C$ due to Heuts-Moerdijk, as well as Cisinski's theory of $\infty$-categorical localisations. We use the localisation functor to give simplified proofs that the left (…
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 previo…
This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets, or presheaves on the category of finite, positive cardinals. We show here how this homotopy theory can be extended to the topos itself, !Smp. As a crucial advantage, the fundamental groupoid functor !Smp --> Gpd is left adjoint to a natural functor Gpd --> !Smp, the symmetric nerve of a groupoid, and preserves all colimits - a strong van Kampen property. Sim…
Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a discrete calculus tower for functors from an unbased simplicial model category to chain complexes over a fixed commutative ring. Much of the construction of the Taylor tower for functors to spectra carries over to this context. However, one of the essential steps in the construction requires proving that a particular functor is part of a cotriple. For this, one ne…
In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify small contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we show that every small contravariant functor from spaces to spaces which takes coproducts to products up to homotopy and takes homotopy pushouts to homotopy pullbacks is naturally weekly equivalent to a representable functor. The second representability theorem states: every contravariant continuous functor from the …
We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category of topological spaces and prove an analogue of the approximation theorem. Namely, under certain conditions such a functor can be approximated by a tower of (appropriately adapted) polynomial functors.
We show that the Strong Novikov Conjecture for the maximal C*-algebra C*(G) of a discrete group G is equivalent to a statement in topological K-theory for which the corresponding statement in algebraic K-theory is always true. We also show that for any group G, rational injectivity of the full assembly map for the topological K-theory of C*(G) follows from rational injectivity of the restricted assembly map.
In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor for groups in the category of spaces over a fixed space B. Additionally, we prove that the fiberwise geometric realization functor sends a large class of simplicial parametrized principal bundles to ordinary parametrized principal bundles. As an application we show that the fiberwise geometric realization of the universal simplicial principal bundle for a simp…
Let $A$ be either a simplicial complex $K$ or a small category $\mathcal C$ with $V(A)$ as its set of vertices or objects. We define a twisted structure on $A$ with coefficients in a simplicial group $G$ as a function $$ δ\colon V(A)\longrightarrow \operatorname{End}(G), \quad v\mapsto δ_v $$ such that $δ_v\circ δ_w=δ_w\circ δ_v$ if there exists an edge in $A$ joining $v$ with $w$ or an arrow either from $v$ to $w$ or from $w$ to $v$. We give a canonical construction of twisted simplicial group as well as twisted homology for $A$ with a given twisted structure. Also we determine the homotopy t…
In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for homotopy theories. We then give a characterization, up to weak equivalence, of complete Segal spaces arising from these functors.
If $D$ is a Reedy category and $M$ is a model category, the category $M^{D}$ of $D$-diagrams in $M$ is a model category under the Reedy model category structure. If $C \to D$ is a Reedy functor between Reedy categories, then there is an induced functor of diagram categories $M^{D} \to M^{C}$. Our main result is a characterization of the Reedy functors $C \to D$ that induce right or left Quillen functors $M^{D} \to M^{C}$ for every model category $M$. We apply these results to various situations, and in particular show that certain important subdiagrams of a fibrant multicosimplicial object are…
The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the $n$-homogeneous model structure, the $n$-th derivative is a Quillen functor to the category of spectra with $Σ_n$-action. After taking into account only finitary functors -- which …
The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy theories, giving a Quillen equivalence between the model structures for quasi-categories and simplicial categories. The functor C also gives a cofibrant replacement for ordinary categories, regarded as trivial simplicial categories. However, the hom-spaces of the simplicial category CX arising from a quasi-category X are not well understood. We show that when X is…
In this paper three results are established: firstly, that the homotopy function complexes of Dwyer and Kan can be defined as certain total right derived functors; secondly, that they functorially compute the homotopy type of the hom-spaces in the simplicial localisation; and thirdly, that they can be computed by fibrant replacements in a suitable left Bousfield localisation of the projective model structure on simplicial presheaves.
This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between simplicial model categories satisfying mild hypotheses.
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.
We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models.
Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second model structure, the fibrant objects are reduced Segal categories. We then generalize the proof to relate simplicial categories with a fixed object set to Segal categories with the same fixed set in de…
We construct a zig-zag of Quillen adjunctions between the homotopy theories of differential graded and simplicial categories. In an intermediate step we generalize Shipley-Schwede's work on connective DG algebras by extending the Dold-Kan correspondence to a Quillen equivalence between categories enriched over positive graded chain complexes and simplicial k-modules. As an application we obtain a conceptual explanation of Simpson's homotopy fiber construction.
We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and $\infty$-operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structu…
We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of simplicial sets over the nerve of O. Fritsch and Golasinski claimed that these four categories have equivalent homotopy categories but, in fact, their proof contains an error and the homotopy categories are not equivalent with the weak equivalences they use in the comma categories. We show here that the correct weak equivalences are the ``weak fibre homotopy e…
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.
We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the cyclic homology of group algebras to show they can be non-zero.
In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a relative category that has the two out of six property and admits a 3-arrow calculus. We then show that Charles Rezk's result that the simplicial space obtained from a simplicial model category by taking a Reedy fibrant replacement of its simplicial nerve is a complete Segal space also holds for these partial model categories. We also note that conversely ever…
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences between them and higher morphisms are higher correspondences. We will obtain this as a corollary of a more general result which classifies all simplicial maps between ordinary simplicial sets in a similar fashion. Correspondences between simplicial sets (and $\infty$-categories) are a generalization of the concept of profunctor (or bimodule) pertaining to categor…
We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen equivalent to Rezk's model structure, thus internal category are another model for $(\infty,1)$-categories.
In this paper we introduce a functor, called the simplicial nerve of an A-infinity category, defined on the category of (small) A-infinity categories with values in simplicial sets. We prove that the simplicial nerve of any A-infinity category is an infinity category. This construction extends functorially the nerve construction for differential graded categories proposed by J.Lurie in Higher Algebra. We prove that if a differential graded category is pretriangulated in the sense of A.I.Bondal-M.Kapranov, then its nerve is a stable infinity category in the sense of J.Lurie.
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex (resp. real) topological K-theory. The key ingredient in our proof is a generalized Waldhausen comparison theorem.
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the category of simplicial sets which satisfy a stronger universal property than the customary homotopy localization functors do.
We study some basic properties of schematic homotopy types and the schematization functor. We describe two different algebraic models for schematic homotopy types: co-simplicial Hopf alegbras and equivariant co-simplicial algebras, and provide explicit constructions of the schematization functor for each of these models. We also investigate some standard properties of the schematization functor helpful for the description of the schematization of smooth projective complex varieties. In a companion paper these results are used in the construction of a non-abelian Hodge structure on the schemati…
The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented here is of a simplicial nature and uses Steiner's theory of augmented directed complexes. In a subsequent paper, we will prove the same result by purely $\infty$-categorical methods.
This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier and Porter's homotopy coherent nerve, and show that this faithfully represents complicial Gray-categories as weak complicial sets. The category of weak complicial sets may itself be canonically enriched to a compl…
We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model category of simplicial operads to the model category structure for infinity-operads on the category of dendroidal sets. By slicing over the monoidal unit, this also gives the Quillen equivalence between Segal categories and simplicial categories proved by J. Bergner, as well as the Quillen equivalence between quasi-categories and simplicial categories proved by …
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order to get a model for the motivic homotopy category.
