In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Associated to a finite group, a CW-complex on which this group acts and a covariant coefficient system in the sense of Bredon, we functorially construct a topological abelian group by the coend construction. Then we prove that the homotopy groups of this topological abelian group are naturally isomorphic to the Bredon equivariant homology of the CW-complex. At the end we present several examples of this result.
We develop a functorial approach to the study of the homotopy groups of spheres and Moore spaces $M(A,n)$, based on the Curtis spectral sequence and the decomposition of Lie functors as iterates of simpler functors such as the symmetric or exterior algebra functors. The discussion takes place over the integers, and includes a functorial description of the derived functors of certain Lie algebra functors, as well as of all the main cubical functors (such as the degree 3 component $SP^3$ of the symmetric algebra functor). As an illustration of this method, we retrieve in a purely algebraic manne…
Fix a prime $p$. Since their definition in the context of Localization Theory, the homotopy functors $P_{B\Z/p}$ and $CW_{B\Z/p}$ have shown to be powerful tools to understand and describe the mod $p$ structure of a space. In this paper, we study the effect of these functors on a wide class of spaces which includes classifying spaces of compact Lie groups and their homotopical analogues. Moreover, we investigate their relationship in this context with other relevant functors in the analysis of the mod $p$ homotopy, such as Bousfield-Kan completion and Bousfield homological localization.
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $Ω': Top*\to Mon$ after we have localized $Mon$ with respect to all homomorphisms whose underlying maps are homotopy equivalences and $Top*$ with respect to all based maps which are (not necessarily based) homotopy equivalences. It is well-known that this localization of $Top*$ exists, and we show that the localization of $Mon$ is the category of monoids and homotopy classes of homotopy homomorphisms. To make this …
Goodwillie's homotopy functor calculus constructs a Taylor tower of approximations to F, often a functor from spaces to spaces. Weiss's orthogonal calculus provides a Taylor tower for functors from vector spaces to spaces. In particular, there is a Weiss tower associated to the functor which sends a vector space V to F evaluated at the one-point compactification of V. In this paper, we give a comparison of these two towers and show that when F is analytic the towers agree up to weak equivalence. We include two main applications, one of which gives as a corollary the convergence of the Weiss Ta…
We first show that simply connected co-$H$-spaces and connected $H$-spaces can be uniquely decomposed into prime factors in the homotopy category of pointed $p$-local spaces of finite type, which is used to develop a $p$-local version of Gray's correspondence between homotopy types of prime co-$H$-spaces and homotopy types of prime $H$-spaces, and the split fibration which connects them as well. Further, we use the unique decomposition theorem to study the homotopy rigidity problem for classic functors. Among others, we prove that $ΣΩ$ and $Ω$ are homotopy rigid on simply connected $p$-local c…
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 …
To every homotopy n-nilpotent group, defined in earlier work by Dwyer and the author, we associate an endofunctor of pointed spaces and prove that it is looped and n-excisive. As a tool we prove that $ΩP_n({\rm id})$ commutes with sifted colimits of connected spaces.
This is a (slightly edited) version of the PhD dissertation of the author, submitted to Brown University in July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory. More precisely, given a homotopy functor between any of the categories of differential graded vector spaces (DG), reduced differential graded vector spaces, differential graded Lie algebras (DGL), and differential graded coalgebras (DGC), we show that there is an associated approximating "rational Taylor tower" of excisive functors. The fibers in this tower a…
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we show that Kan and faint derived functors coincide when we use the classical Kan homotopy category, and when we use the Quillen homotopy category, Kan and strong derived functors coincide. Our comparison results are based on the fact that the Kan homotopy category is a weak localization and that the Quillen homotopy category is a strict localization.
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 …
Let G be a discrete group for which the classifying space for proper G-actions is finite-dimensional. We find a space W such that for any such G, the classifying space PBG for proper G-bundles has the homotopy type of the W-nullification of BG. We use this to deduce some results concerning PBG and in some cases where there is a good model for PBG we obtain information about the BZ/p-nullification of BG.
We show that every small homotopy functor from spectra to spectra 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 spectra equipped with the homotopy model structure and the opposite of the pro-category of spectra with the strict model structure.
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy Colimit Theorem (Thomason), Theorems A and B (Quillen), or the Homotopy Cofinality Theorem (Hirschhorn).
This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit Theorem to 2-functors.
We introduce a computationally tractable way to describe the $\mathbb Z$-homotopy fixed points of a $C_{n}$-spectrum $E$, producing a genuine $C_{n}$ spectrum $E^{hn\mathbb Z}$ whose fixed and homotopy fixed points agree and are the $\mathbb Z$-homotopy fixed points of $E$. These form a piece of a contravariant functor from the divisor poset of $n$ to genuine $C_{n}$-spectra, and when $E$ is an $N_{\infty}$-ring spectrum, this functor lifts to a functor of $N_{\infty}$-ring spectra. For spectra like the Real Johnson--Wilson theories or the norms of Real bordism, the slice spectral sequence pro…
The category of topological spaces endowed with two marked points is equipped with two families $\mathbf F_n$ and $\mathbf H_n$ of functors to the category of abelian groups, indexed by a nonnegative integer $n$: namely, the functor $\mathbf F_n$ takes the object $(X,x,y)$ to the quotient of $\mathbb Zπ_1(X,x,y)$ by an abelian subgroup associated with the $n+1$-st power of the augmentation ideal of the group algebra $\mathbb Zπ_1(X,x)$, and the functor $\mathbf H_n$ takes the same object to the $n$-th singular homology group of $X^n$ relative to a subspace defined in terms of partial diagonals…
In this paper, we investigate the properties of the category of equivariant diagram spectra indexed on the category W_G of based G-spaces homeomorphic to finite G-CW-complexes for a compact Lie group G. Using the machinery of Mandell, May, Schwede, and Shipley, we show that there is a "stable model structure" on this category of diagram spectra which admits a monoidal Quillen equivalence to the category of orthogonal G-spectra. We construct a second "absolute stable model structure" which is Quillen equivalent to the "stable model structure". Our main result is a concrete identification of the…
We survey and extend the theory of Tambara functors. These are algebraic structures similar to Mackey functors, but with multiplicative norm maps as well as additive transfer maps, and a rule governing their interaction that is most easily formulated in an abstract categorical framework. Examples include Burnside rings, representation rings, and homotopy groups of equivariant E-infinity ring spectra in stable homotopy theory. Some other examples are related to Witt rings in the sense of Dress and Siebeneicher.
We establish natural splittings for the values of global Mackey functors at orthogonal, unitary and symplectic groups. In particular, the restriction homomorphisms between the orthogonal, unitary and symplectic groups of adjacent dimensions are naturally split epimorphisms. The interest in the splitting comes from equivariant stable homotopy theory. The equivariant stable homotopy groups of every global spectrum form a global Mackey functor, so the splittings imply that certain long exact homotopy group sequences separate into short exact sequences. For the real and complex global Thom spectra…
It is well known that the zeroth stable homotopy group of a genuine equivariant commutative ring spectrum has multiplicative transfers (norms), making it into a Tambara functor. We prove here that all Tambara functors can be obtained in this way. In fact, we prove that the homotopy category of Eilenberg MacLane commutative ring spectra is equivalent to the category of Tambara functors. Several algebraic results on Tambara functors are derived as corollaries. Finally, we rule out the existence of a lax symmetric monoidal construction for Eilenberg MacLane spectra when the group is nontrivial.
We call attention to the intermediate constructions $\T_n F$ in Goodwillie's Calculus of homotopy functors, giving a new model which naturally gives rise to a family of towers filtering the Taylor Tower of a functor. We also establish a surprising equivalence between the homotopy inverse limits of these towers and the homotopy inverse limits of certain cosimplicial resolutions. This equivalence gives a greatly simplified construction for the homotopy inverse limit of the Taylor tower of a functor $F$ under general assumptions.
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.
The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space $X$. The homotopy type of $\mathfrak{X}$ should be the classifying space $B \mathbb{X}$. The choice of an atlas is not part of the data of a stack and hence it is not immediately clear why this construction of a homotopy type is well-defined, let alone functorial. The purpose of this note is to give an elementary construction of such a homotopy-type functor.
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.
In the mid 1980's, Pete Bousfield and I constructed certain p--local `telescopic' functors Phi_n from spaces to spectra, for each prime p and each positive integer n. These have striking properties that relate the chromatic approach to homotopy theory to infinite loopspace theory: roughly put, the spectrum Phi_n(Z) captures the v_n periodic homotopy of a space Z. Recently there have been a variety of new uses of these functors, suggesting that they have a central role to play in calculations of periodic phenomena. Here I offer a guide to their construction, characterization, application, and c…
We show that the spectrum constructed by Everitt and Turner as a possible Khovanov homotopy type is a product of Eilenberg-MacLane spaces and is thus determined by Khovanov homology. By using the Dold-Thom functor it can therefore be obtained from the Khovanov homotopy type constructed by Lipshitz and Sarkar.
We call a diagram D absolutely cartesian if F(D) is homotopy cartesian for all homotopy functors F. This is a sensible notion for diagrams in categories C where Goodwillie's calculus of functors may be set up for functors with domain C. We prove a classification theorem for absolutely cartesian squares of spaces and state a conjecture of the classification for higher dimensional cubes.
We study the subcategory of topological operads $P$ such that $P(0) = *$ (the category of unitary operads in our terminology). We use that this category inherits a model structure, like the category of all operads in topological spaces, and that the embedding functor of this subcategory of unitary operads into the category of all operads admits a left Quillen adjoint. We prove that the derived functor of this left Quillen adjoint functor induces a left inverse of the derived functor of our category embedding at the homotopy category level. We deduce from this result that the derived mapping sp…
We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the étale realization functor of Isaksen. We apply these ideas to define an étale homotopy type functor $\mathrm{\acute{e}t}(\mathcal{X})$ for Berkovich's non-archimedean analytic spaces $\mathcal{X}$ over a complete non-archimedean field $K$ and prove some properties of the construction. We compare the étale homotopy types coming from Tate's rigid spaces, Huber's adic spaces, and rigid model…
In this note we compare the fracture squares from genuine equivariant stable homotopy theory and the fracture squares which appear in the Goodwillie tower for the norm functor.
To various kinds of quadratic functors, homotopy types of two stage spaces are assigned. It is investigated what kind of homotopy types are obtainable in this way.
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left adjoints. These characterizations generalize to an abstract notion of "stability relative to a class of functors", which includes in particular pointedness, semiadditivity, and ordinary stability. To prove them, we develop the theory of derivators enriched over monoidal left derivators and weighted homotopy limits and colimits therein.
By analogy with methods of Spivak, there is a realization functor which takes a persistence diagram $Y$ in simplicial sets to an extended pseudo-metric space (or ep-metric space) $Re(Y)$. The functor $Re$ has a right adjoint, called the singular functor, which takes an ep-metric space $Z$ to a persistence diagram $S(Z)$. We give an explicit description of $Re(Y)$, and show that it depends only on the $1$-skeleton $sk_{1}Y$ of $Y$. If $X$ is a totally ordered ep-metric space, then there is an isomorphism $Re(V_{\ast}(X)) \cong X$, between the realization of the Vietoris-Rips diagram $V_{\ast}(X…
We adopt semimodel categories to extend fundamental results related to Bousfield localizations of model categories. More specifically, we generalize Bousfield-Friedlander Theorem and Hirschhorn Localization Theorem of cellular model categories to settings where their classical formulation does not apply. We use such results to answer, in the world of semimodel categories, an open problem posed by May-Ponto about the existence of Bousfield localizations for Hurewicz and mixed type model structures.
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
In \cite{CompTheo} we studied the indeterminacy of the value of a derived functor at an object using different definitions of a derived functor and different types of fibrant replacement. In the present work we focus on derived or homotopy limits, which of course depend on the model structure of the diagram category under consideration. The latter is not necessarily unique, which is an additional source of indeterminacy. In the case of homotopy pullbacks, we introduce the concept of full homotopy pullback by identifying the homotopy pullbacks associated with three different model structures of…
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…
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…
By considering labeled configurations of ``bounded multiplicity'', one can construct a functor that fits between homology and stable homotopy. Based on previous work, we are able to give an equivalent description of this labeled construction in terms of loop space functors and symmetric products. This yields a direct generalization of the May-Milgram model for iterated loop spaces, and answers questions of Carlsson and Milgram posed in the handbook. We give a classifying space formulation of our results hence extending an older result of Segal. We finally relate our labeled construction to a t…
We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and Strickland, such as the homotopy category of spectra or the derived category of a commutative ring. We prove that cellularization functors preserve modules over connective rings but they do not preserve rings in general (even if the ring is connective or the cellularization functor is triangulated). As an application of these results, we describe the cellularizatio…
Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called $G$-diagrams. When $\mathscr{C}$ is a sufficiently nice model category we define a model structure on the category of $G$-diagrams in $\mathscr{C}$. There are natural $G$-actions on Bousfield-Kan style homotopy limits and colimits of $G$-diagrams. We prove that weak equivalences between point-wise (co)fibrant $G$-diagrams induce weak $G$-equivalences on hom…
The purpose of this paper is mainly to record how certain homotopy-theoretical constructions on ordinary G-equivariant cohomology spectra HM for a Mackey functor M, in particular products and duality, can be described on chain level. We will also discuss certain facts about modules over the constant Green functor $\underline{\mathbb{Z}}$.
We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to interpret this in terms of left Bousfield localization of categories of diagrams with values in a combinatorial model category. At last, we explain how the theory of homotopy Kan extensions in derivators can be used to understand locally constant functors.
This paper proves that the q-model structures of Moore flows and of multipointed $d$-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects are q-fibrant). As an application, we provide a new proof of the fact that the categorization functor from multipointed $d$-spaces to flows has a total left derived functor which induces a category equivalence between the homotopy categories. The new proof sheds light on the internal structure of the categorization functor which is neither a …
These are notes, by Z. Fiedorowicz, from lectures given by J. Frank Adams at the University of Chicago in spring of 1973. They give an elegant axiomatic presentation of localization and completion in algebraic topology. The construction of localization and completion functors with respect to an arbitrary generalized homology theory is derived from the axioms by using the Brown representability theorem. These notes were never formally published, due to an apparent flaw in the proof. The relevant representable functors could not be shown to be set-valued, as opposed to class-valued. Subsequent w…
Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C. Examples include finding spaces with given homology or homotopy groups.
In this talk, I will explain the importance of the homotopy branching space functor (and of the homotopy merging space functor) in dihomotopy theory. The paper is a detailed abstract of math.AT/0304112 and math.AT/0305169.
In this paper, we show that Goodwillie calculus, as applied to functors from stable homotopy to itself, interacts in striking ways with chromatic aspects of the stable category. Localized at a fixed prime p, let T(n) be the telescope of a v_n self map of a finite S--module of type n. The Periodicity Theorem of Hopkins and Smith implies that the Bousfield localization functor associated to T(n) is independent of choices. Goodwillie's general theory says that to any homotopy functor F from S--modules to S--modules, there is an associated tower under F, {P_dF}, such that F --> P_dF is the univers…
The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally a cocommutative bialgebra, has an antipode, i.e. it is a cocommutative Hopf algebra. We prove that a continuous map of path connected pointed spaces $f: X\to Y$ is a weak homotopy equivalence if and only if $\mathbf{C}_*(f): \mathbf{C}_*(X)\to \mathbf{C}_*(Y)$ is an $\mathbfΩ$-quasi-isomorphism, i.e. a quasi-isomorphism of dg algebras after applying the cob…
