Cofibrantly generated model structures for functor calculus
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Goodwillie calculus and functor calculus (18F50) Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
This paper uses the model structure for discrete calculus developed here to recast existing compariosns between the homotopy functor and discrete calculi, such as [\textit{K. Bauer} et al., Trans. Am. Math. Soc. 367, No. 9, 6671--6718 (2015; Zbl 1332.55005)], in model-theoretic terms, and develops a model category classification of homogeneous degree functors similar to [\textit{G. Biedermann} and \textit{O. Röndigs}, Algebr. Geom. Topol. 14, No. 5, 2853--2913 (2014; Zbl 1307.55009)]. This paper is structured around the following two theorems, showing how to use them to build cofibrantly generated model structures corresponding to both the homotopy functor and discrete calculi.\N\NTheorem. (Theorem 4.2 and Corollary 4.4) Let \(\mathcal{M}\) be a right proper model category together with an endofunctor \(Q:\mathcal{M}\rightarrow\mathcal{M}\) and a natrual transformation \(\eta:\mathrm{id}\Longrightarrow Q\) abiding the following conditions:\N\N\begin{itemize}\N\item[1.] the endofunctor \(Q\) preserves weak equivalences in \(\mathcal{M}\);\N\item[2.] the maps \(\eta_{QX},Q\left(\eta_{X}\right):QX\rightarrow Q^{2} X\) are both weak equivalences in \(\mathcal{M}\);\N\item[3.] \(Q\) preserves homotopy pullback squares.\N\end{itemize}\N\NThen there exists a right proper model structure, denoted by \(\mathcal{M}_{Q}\), on the same underlying category as \(\mathcal{M}\) with the same cofibrations as \(\mathcal{M}\) and in which \(X\rightarrow Y\) is a weTh\N\NTheorem. (Theorem 8.3) Suppose that \(\mathrm{Fun}\left( \mathcal{C},\mathcal{D}\right)\) is a cofibrantly generated right proper model structure on a category of simplicial functors in which all fibrations are also levelwise fibrations, with some modest additional asuumptions on \(\mathcal{C}\) and \(\mathcal{D}\). If \(Q\) is a Bousfield endofunctor of \(\mathrm{Fun}\left(\mathcal{C},\mathcal{D}\right)\) that admits a collection of test morphisms, then the model structure on \(\mathrm{Fun}\left(\mathcal{C},\mathcal{D} \right)_{Q}\) is cofibrantly generated.\N\NThe synopsis of the paper goes as follows:\N\N\begin{itemize}\N\item[\S 2] reviews properties of right proper and simplicial model categories, looking more specifically at simplicial model categories of functors.\N\N\item[\S 3] summarizes both the homotopy functor calculus of \textit{T. G. Goodwillie} [\(K\)-Theory 4, No. 1, 1--27 (1990; Zbl 0741.57021); \(K\)-Theory 5, No. 4, 295--332 (1992; Zbl 0776.55008); Geom. Topol. 7, 645--711 (2003; Zbl 1067.55006)] and the discrete functor calculus of \textit{K. Bauer} et al. [Trans. Am. Math. Soc. 367, No. 9, 6671--6718 (2015; Zbl 1332.55005)].\N\N\item[\S 4] recalls the approach to localization for model categories [\textit{A. K. Bousfield} and \textit{E. M. Friedlander}, Lect. Notes Math. 658, 80--130 (1978; Zbl 0405.55021)].\N\N\item[\S 5] applies Theorem 4.2 to obtain a model structure on \(\mathrm{Fun}\left(\mathcal{C},\mathcal{D}\right)\) in which the fibrant objects are homotopy functors, or functors that preserve weak equivalences.\N\N\item[\S 6] establishes the existence theorem of a model structure on the category \(\mathrm{Fun}\left(\mathcal{C},\mathcal{D}\right)\) whose fibrant objects are the \(n\)-excisive functors for a given \(n\).\N\N\item[\S 7] turns to the discrete functor, demonstrating that one can equip \(\mathrm{Fun}\left(\mathcal{C},\mathcal{D}\right)\) with a degree \(n\) model structure via the degree \(n\) approximation \(\Gamma\).\N\N\item[\S 8] presents the main theorem (Theorem 8.3).\N\N\item[\S 9] applies Theorem 8.3 to the \(n\)-excisive model structure.\N\N\item[\S 10] applies Theorem 8.3 to the degree \(n\) model structure.\N\end{itemize}
- Calculus of functors and model categories
- Calculus of functors and model categories. II
- Calculus. II: Analytic functors
- Calculus. III: Taylor series
- Capturing Goodwillie's derivative
- Comparing the orthogonal and homotopy functor calculi
- Comparing the orthogonal and unitary functor calculi
- Cross effects and calculus in an unbased setting
- Cubical homotopy theory
- Deriving calculus with cotriples
- Directional derivatives and higher order chain rules for abelian functor calculus
- Embeddings from the point of view of immersion theory. I
- Embeddings from the point of view of immersion theory. II
- Enriched functor categories for functor calculus
- Enriched functors and stable homotopy theory
- Enriched model categories and presheaf categories
- Goodwillie towers and chromatic homotopy: an overview
- Homologie nicht-additiver Funktoren. Anwendungen
- Homology Theories for Multiplicative Systems
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3629842 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 595200 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- Lie algebras and v_n-periodic spaces
- Linearization, Dold-Puppe stabilization, and Mac Lane’s 𝑄-construction
- Localisation homotopique et tour de Taylor pour une catégorie abélienne
- Model categories for orthogonal calculus
- Note on a theorem of Bousfield and Friedlander
- On the groups \(H(\Pi,n)\). II
- On the telescopic homotopy theory of spaces
- Orthogonal Calculus
- Rational Pontryagin classes and functor calculus
- Relative algebraic \(K\)-theory and topological cyclic homology
- Simplicial homotopy theory
- Stable \(K\)-theory and topological Hochschild homology
- Taylor towers for -modules
- The Goodwillie tower and the EHP sequence
- The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres
- The rational homology of spaces of long knots in codimension \(> 2\)
- The Taylor towers for rational algebraic \(K\)-theory and Hochschild homology
- The topology of spaces of knots: cosimplicial models
- The Whitehead conjecture, the tower of \(S^{1}\) conjecture, and Hecke algebras of type A
- Unitary functor calculus with reality
This page was built for publication: Cofibrantly generated model structures for functor calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6871624)
