Related papers: Goodwillie Calculus and Geometric Stacks
For a finite dimensional real vector space V with inner product, let F(V) be the block structure space, in the sense of surgery theory, of the projective space of V. Continuing a program launched in part I, we investigate F as a functor on…
Given a finite group $G$ acting on a ring $R$, Merling constructed an equivariant algebraic $K$-theory $G$-spectrum, and work of Malkiewich and Merling, as well as work of Barwick, provides an interpretation of this construction as a…
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…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
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…
This mostly expository paper records some basic facts about towers of homotopy fiber sequences. We give a proof that a pairing of towers induces a pairing of associated spectral sequences, for towers of spaces and towers of spectra.
We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the…
We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…
This paper describes grope and Whitney tower filtrations on the set of concordance classes of classical links in terms of class and order respectively. Using the tree-valued intersection theory of Whitney towers, the associated graded…
Scannell and Sinha considered a spectral sequence to calculate the rational homotopy groups of spaces of long knots in n-dimensional Euclidean space, for n greater than or equal to 4. At the end of their paper they conjecture that when n is…
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…
We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
Let $\mathbf{S}_k$ denote a maximal torus in the complex Lie group $\mathbf{G} = \mathrm{SL}_n(\mathbb{C})/C_k$ and let $T_k$ denote a maximal torus in its compact real form $\mathrm{SU}_n(\mathbb{C})/C_k$, where $k$ divides $n$. Let $W$…
In Goodwillie calculus, unpublished work of Dwyer and Rezk provides a classification of reduced filtered colimit preserving $d$-excisive functors from pointed spaces to spectra as spectrum-valued functors on the category of finite sets of…
A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex…
We give details of models for rational torus equivariant homotopy theory based on (a) all subgroups, connected subgroups or dimensions of subgroups and (b) on pairs or general flags. We provide comparison functors and show the models are…
Several model structures related to the homotopy theory of locally constant factorization algebras are constructed. This answers a question raised by D. Calaque in his habilitation thesis. Our methods also solve a problem related to…
Our results are of three types. First we describe a general procedure of adjoining polynomial variables to $A_\infty$-ring spectra whose coefficient rings satisfy certain restrictions.A host of examples of such spectra is provided by…
Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect…