Tangent categories of algebras over operads

0 downloads 0 Views 524KB Size Report
Feb 26, 2018 - metric monoidal model category, P a colored symmetric operad in M ...... M. Hovey, Spectra and symmetric spectra in general model categories, ...
arXiv:1612.02607v1 [math.AT] 8 Dec 2016

Tangent categories of algebras over operads Yonatan Harpaz, Joost Nuiten and Matan Prasma Abstract The abstract cotangent complex formalism, as developed in the ∞-categorical setting by Lurie, brings together classical notions such as parametrized spectra, obstruction theory and deformation theory in a unified setting. When the ∞-category at hand consists of algebras over a nice ∞-operad in a stable ∞-category, the target category of the abstract cotangent complex can be identified with the associated ∞-category of operadic modules, by work of Basterra–Mandell, Schwede and Lurie. In this paper we develop the model categorical counterpart of this identification and extend it to the case of algebras over an enriched operad which is not necessarily simplicial, taking values in a model category which is not necessarily stable. Such a comparison result can be used, in particular, to identify the cotangent complex and Quillen cohomology of enriched categories, an application we take up in a subsequent paper. Contents 1 Introduction 2 Stabilization of model categories 2.1 The stable model structure . . . . . . . . . . . 2.2 The ∞-categorical stabilization . . . . . . . . 2.3 Suspension spectra . . . . . . . . . . . . . . . . 2.4 Differentiable model categories and Ω-spectra 3 Tangent categories and tangent bundles 3.1 Preliminaries . . . . . . . . . . . . . . . . . . . 3.2 Tangent bundles . . . . . . . . . . . . . . . . . 3.3 Tensor structures on the tangent bundle . . . 3.4 Tangent bundles of functor categories . . . . 4 Stabilization of algebras over operads 4.1 Preliminaries on colored operads . . . . . . . 4.2 The comparison theorem . . . . . . . . . . . . 4.3 Tangent categories of algebras and modules . 4.4 The ∞-categorical comparison . . . . . . . . . Appendix A. The filtration on a free algebra References

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

1 6 7 10 13 14 18 18 22 23 27 29 29 32 39 40 42 47

1. Introduction A ubiquitous theme in mathematics is the contrast between linear and non-linear structures. In algebraic settings, linear objects such as vector spaces, abelian groups, and modules tend to 2010 Mathematics Subject Classification 55P42, 18G55, 18D50

Yonatan Harpaz, Joost Nuiten and Matan Prasma have a highly structured and accessible theory, while non-linear objects, such as groups, rings, or algebraic varieties are more wild, and harder to analyze. For example, understanding maps X Ð→ Y between algebraic varieties is a complicated non-linear problem, but to understand the sections of a vector bundle on X is much more accessible. Non-linear objects often admit interesting linear invariants which are fairly computable and easy to manipulate. Homological algebra then typically enters the picture, extending a given invariant to a collection of derived ones. An extremely useful idea which can be applied in a variety of contexts is to try to translate a non-linear problem into a collection of linear problems. For example, maps f ∶ X Ð→ Y of algebraic varieties which are very close to a fixed map f0 ∶ X Ð→ Y can be understood by studying linear problems involving the pulled back tangent bundle f0∗T Y . In a different direction, many problems involving solvable groups can be reduced to an iteration of linear problems involving abelian groups. To streamline this idea one would like to have a formal framework to understand what linear objects are and how one can “linearize” a given non-linear object. One way to do so is the following. Let Ab denote the category of abelian groups. A locally presentable category C is called additive if it is tensored over Ab. We note that in this case the tensoring is essentially unique and induces a natural enrichement of C in Ab. If D is a locally presentable category then there exists a universal additive category Ab(D) receiving a colimit preserving functor Z ∶ D Ð→ Ab(D). The category Ab(D) can be described explicitly as the category of abelian group objects in D, namely, objects M ∈ D equipped with maps u ∶ ∗D Ð→ M , m ∶ M ×M Ð→ M and inv ∶ M Ð→ M satisfying (diagramatically) all the axioms of an abelian group. We may then identify Z ∶ D Ð→ Ab(D) with the functor which sends A to the free abelian group ZA generated from A, or the abelianization of A. Although this yields a procedure for replacing objects in a category by linear objects, such linear approximations tend to be too coarse if one is studying maps between objects, rather than the objects themselves. Instead, when studying maps f ∶ B Ð→ A one is often interested in linear invariants of B over A. A way to do this formally was developed by Beck in [Bec67], where he defined the notion of a Beck module over an object A (say, in a locally presentable category D) to be an abelian group object of the slice category D/A . Simple as it is, this definition turns out to capture many well-known instances of “linear objects over a fixed object A”. For example, if G is a group and M is a G-module then the semi-direct product M ⋊G carries a natural structure of an abelian group object in Grp/G . One can then show that the association M ↦ M ⋊G determines an equivalence between the category of G-modules and the category of abelian group objects in Grp/G . If D = Ring is the category of associative unital rings then one may replace the formation of semi-direct products with that of square-zero extensions, yielding an equivalence between the notion of a Beck module over a ring R and the notion of an R-bimodule, i.e., an abelian group equipped with compatible left and right actions of R (see [Qui70]). When R is a commutative ring the corresponding notion of a Beck module reduces to the usual notion of an R-module. For an example of a different nature, if D is a Grothendieck topos and X ∈ D is an object then D/X is also a topos and there exists a small site TX ⊆ D/X such that D/X is equivalent to the category of sheaves of sets on TX . A Beck module over X then turns out to be the same as a sheaf of abelian groups on TX . We can therefore summarize by saying that the notion of a Beck module provides one with a robust abstract framework which indicates, in a given non-linear context, what are the relevant linearized counterparts. In the realm of algebraic topology, one linearizes spaces by evaluating cohomology theories

2

Tangent categories of algebras over operads on them. This approach is closely related to the approach of Beck: indeed, by the classical Dold-Thom theorem one may identify the ordinary homology groups of a space X with the homotopy groups of the free abelian group generated from X (considered, for example, as a simplicial abelian group). The quest for more refined invariants has led to the consideration of generalized cohomology theories and their classification via homotopy types of spectra. The extension of cohomological invariants from ordinary cohomology to generalized cohomology therefore highlights spectra as a natural extension of the notion of “linearity” provided by abelian groups. The passage from abelian groups to spectra is a substantial one, even from the homotopytheoretic point of view. Indeed, one should observe that in a homotopical context there is a natural notion of an E∞ -group object, obtained by interpreting the axioms of an abelian group not strictly, but up to coherent homotopy. For spaces, it turns out that specifying an E∞ -group structure on a given space X0 is equivalent to specifying, for every n ≥ 1, an (n − 1)-connected ≃ space Xn , together with a weak equivalence Xn−1 Ð→ ΩXn . Such a datum is also known as a connective spectrum, and naturally extends to the general notion of a spectrum by removing the connectivity conditions on Xn . This passage from connective spectra (or E∞ -group objects) to spectra should be thought of as an extra linearization step that is possible in a homotopical setting, turning additivity into stability. It has the favorable consequence that kernels and cokernels of maps become equivalent up to a shift. Using stability as the fundamental form of linearity is also the starting point for the theory of Goodwillie calculus, which extends the notion of stability to give meaningful analogues to higher order approximations, derivatives and Taylor series for functors between ∞-categories. Replacing the category of abelian groups with the ∞-category of spectra means we should replace the notion of an additive category with the notion of a stable ∞-category. The operation associating to a locally presentable category D the additive category Ab(D) of abelian group objects in D is now replaced by the operation which associates to a presentable ∞-category D its ∞-category Sp(D) of spectrum objects in D, which is the universal stable presentable ∞-category receiving a colimit preserving functor Σ∞ + ∶ D Ð→ Sp(D). The construction of Beck modules as a form of linearization and the homotopical notion of linearization through spectra were brought together in [Lur14, §7.3] under the the framework of the abstract cotangent complex formalism. Given a presentable ∞-category D and an object A ∈ D, one may define the analogue of a Beck module to be a spectrum object in the slice ∞-category D/A . With a geometric analogy in mind, if we consider objects B Ð→ A of D/A as paths in D, then we may consider spectrum objects in D/A as “infinitesimal paths”, or “tangent vectors” at A. As in [Lur14], we will consequently refer to Sp(D/A ) as the tangent ∞-category at A, and denote it by TA D. Just like the tangent space is a linear object, we may consider TA D as linear, being a stable ∞-category. This analogy is helpful in many of the contexts in which linearization plays a significant role. Furthermore, it is often useful to assemble the various tangent categories into a global object, which is then known as the tangent bundle ∞-category TD. An important consequence of the linearization process encompassed in the cotangent complex formalism is that it allows one to produce cohomological invariants of a given object A ∈ D in a universal way. The resulting cohomology groups are known as Quillen cohomology groups, and take their coefficients in the tangent ∞-category TA D. In order to study Quillen cohomology effectively one should therefore understand the various tangent ∞-categories TA D in reasonably concrete terms.

3

Yonatan Harpaz, Joost Nuiten and Matan Prasma One of the main theorems of [Lur14, §7.3] identifies the tangent categories of algebras in a presentable stable ∞-category over a given (unital, coherent) ∞-operad with the corresponding operadic module categories. Earlier results along these lines were obtained in [Sch97] and [BM05]. We note that this is indeed analogous to what happens in the discrete case of Beck modules. For example, if C is the ∞-category of E∞ -ring spectra then the above results identify the tangent ∞-category TA C at a given E∞ -ring spectrum A with the ∞-category of A-modules in spectra. This allows one, for example, to identify the Quillen cohomology theory of E∞ -ring spectra with topological Andr´e-Quillen cohomology. Our main motivation in this paper is to generalize these results to the setting where the algebras take values in an ∞-category which is not necessarily stable. This allows one, in principle, to compute tangent categories in much more general algebraic settings, and consequently identify the category of coefficients for the associated Quillen cohomology. For example, it allows one to compute tangent categories and Quillen cohomology of objects such as simplicial categories, or more generally enriched categories, an application which is described in a subsequent paper [HNP16]. For various reasons we found it convenient to work in the setting of combinatorial model categories. Using this setting our main result can be formulated as follows (see Corollary 4.3.1 below). Theorem 1.0.1. Let M be a differentiable, left proper, combinatorial symmetric monoidal model category and let P be an admissible colored symmetric operad in M. Let A be a fibrant P-algebra such that the enveloping operad PA is stably admissible and Σ-cofibrant. Then the Quillen adjunction TA AlgP (M) o



/

TA ModPA (M)

(1.0.1)

induced by the free-forgetful adjunction is a Quillen equivalence. When every object in M is cofibrant and P is a cofibrant single-colored operad then the enveloping operad PA is stably admissible and Σ-cofibrant for every P-algebra A by work of Fresse ([Fre09], see Remark 4.2.2). This is also true when M is the category of simplicial sets and P is an arbitrary cofibrant colored open by work of Rezk ([Rez02]). The construction of stabilizations in the model categorical setting can be done in many ways (see [Hov01],[Lyd98]). However, most constructions assume given a self Quillen adjunction realizing the loop-suspension adjunction. Unfortunately, such a structure is not always readily available. With an eye toward future applications we hence chose to dedicate the first section of this paper to setting up a more flexible model for the stabilization (based on ideas of Heller and Lurie) in which one does not need to assume such additional structures. Theorem 1.0.1 identifies, under suitable assumptions, the tangent model category at a given operadic algebra A with the tangent category to A in the model category of A-modules. This latter tangent category can be further simplified into something which resembles a functor category with stable codomain. To make this idea precise it is useful to exploit the global point of view obtained by assembling the various tangent categories into a tangent bundle. This can be done in the model categorical setting by using the machinary of [HP15], and is carried out in §3. The final identification of TA AlgP (M) then takes the following form (see Corollary 4.3.4 below): Corollary 1.0.2. Let M, P and A be as in Theorem 1.0.1. Then we have a natural Quillen

4

Tangent categories of algebras over operads equivalence TA AlgP (M) o

≃ ⊤

/

A FunM /M (P1 , TM)

M A where PA 1 is the enveloping category of A and Fun/M (P1 , TM) denotes the category of M-enriched lifts

TM = PA 1 of the underlying A-module A ∶

PA 1

Ð→ M.

A

 /M

Theorem 1.0.1, while pertaining to model categories, can also be used to obtain results in the ∞-categorical setting, using the rectification results of [PS14] and [NS15]. This is worked out in §4.4, where the following ∞-categorical analogue of the above result is established (see Theorem 4.4.3): Theorem 1.0.3. Let C be a closed symmetric monoidal, differentiable presentable ∞-category and let O⊗ = N⊗ (P) be the operadic nerve a fibrant simplicial operad. Then the forgetful functor induces an equivalence of ∞-categories TA AlgO (C) Ð→ TA ModO A (C). ≃

Here ModO A (C) is the ∞-category of A-modules in C, which is closely related to the ∞-operad of A-modules defined in [Lur14, §3.3] (see Section 4.4). In the special case where C is stable the conclusion of Theorem 1.0.3 reduces to the following result of Lurie [Lur14, Theorem 7.3.4.13]: Corollary 1.0.4. If, in addition to the above assumptions, C is stable, then there is an equivalence of ∞-categories TA AlgO (C) Ð→ ModO A (C). ≃

While Theorem 1.0.3 is only applicable to ∞-operads which are nerves of simplicial operads (these are most likely all of them, see [CHH16],[HHM15]), it also applies to ∞-operads which are not necessarily unital or coherent, as is assumed in [Lur14, Theorem 7.3.4.13]. We also note that the model categorical statement Theorem 1.0.1 can handle not only simplicial operads, but also operads which are enriched in M. For example, this allows one to consider operads such as the Lie or Poisson operad, which do not come from simplicial operads, and thus are not covered by [Lur14, Theorem 7.3.4.13]. Such statements would most likely be translatable to an ∞-categorical language as soon as a suitable theory of enriched ∞-operads is set up. This is a first in a series of papers concerned with the abstract cotangent complex formalism and its applications. In a subsequent paper [HNP16] we will further develop the aspects of the theory pertaining to Quillen cohomology and obstruction theory. We then use the main comparison results of this paper to study the tangent categories and Quillen cohomology of enriched categories and ∞-categories. For example, using Theorem 1.0.1 we obtain following corollary in loc. cit.: Theorem 1.0.5. Let C be an ∞-category. Then TC Cat∞ is naturally equivalent to the ∞-category of functors Tw(C) Ð→ Spectra from the twisted arrow category of C to spectra.

5

Yonatan Harpaz, Joost Nuiten and Matan Prasma Acknowledgements The first author was supported by the FSMP. The second author was supported by NWO. The third author was supported by Spinoza and ERC 669655 grants. 2. Stabilization of model categories The aim of this section is to associate to a – sufficiently nice – pointed model category M a model category Sp(M) of spectrum objects in M which presents the universal stable ∞-category associated to the ∞-category underlying M. When M is a simplicial model category, one can use the suspension and loop functors induced by the simplicial (co)tensoring to give explicit models for spectrum objects in M by means of Bousfield-Friedlander spectra or symmetric spectra (see [Hov01]). In non-simplicial contexts this can be done as soon as one chooses a Quillen adjunction realizing the loop-suspension adjunction. For the purposes of this paper it is desirable to have a uniform description of stabilization which does not depend on a simplicial structure or any other specific model for the loop-suspension adjunction. We will consequently follow a variant of the approach suggested by Heller in [Hel97], and describe spectrum objects in terms of (N × N)diagrams (see also [Lur06, §8]). Let us begin with an informal discussion outlining the approach. Let M be a pointed model category, let X ∈ M be a cofibrant object and Y ∈ M a fibrant object. The key idea is that specifying a map of the form ΣX Ð→ Y , or equivalently, a map X Ð→ ΩY , is essentially equivalent to giving a commuting square X

/Z





(2.0.2) Z



/Y

in M in which the objects Z and Z ′ are weakly contractible. The square (2.0.2) is homotopy coCartesian if and only if the corresponding map ΣX Ð→ Y is an equivalence, and is homotopy Cartesian if and only if the adjoint map X Ð→ ΩY is an equivalence. One can therefore describe pre-spectra as (N × N)-diagrams X00

/ X01

/⋯

X10



 / X11

/⋯









in which all the off-diagonal entries are weakly contractible, so that the diagonal squares witness the structure maps of the pre-spectrum. Such a pre-spectrum is called a suspension spectrum if all diagonal squares Xn,n

/ Xn,n+1





(2.0.3) / Xn+1,n+1

Xn+1,n

are homotopy coCartesian and an Ω-spectrum if all these squares are homotopy Cartesian.

6

Tangent categories of algebras over operads 2.1 The stable model structure We shall now make the approach outlined above more precise. Recall that a zero object in a category is an object which is both initial and terminal and that a weak zero object in a model category M is an object whose image in Ho(M) is a zero object. We will say that M is strictly (resp. weakly) pointed if it admits a zero object (resp. weak zero object). Definition 2.1.1. Let M be a weakly pointed model category. We will say that an (N × N)diagram X●,● ∶ N × N Ð→ M is (1) a pre-spectrum if all its off-diagonal entries are weak zero objects in M; (2) an Ω-spectrum if it is a pre-spectrum and for each n ≥ 0, the diagonal square (2.0.3) is homotopy Cartesian; (3) a suspension spectrum if it is a pre-spectrum and for each n ≥ 0, the diagonal square (2.0.3) is homotopy coCartesian. Remark 2.1.2. Let ι ∶ [1] × [1] Ð→ N × N be the full inclusion of a square in N × N. The functor ι has the property that for any (i, j) ∈ N × N, the comma category ι/(i, j) is either empty or has a terminal object. Using this, one easily checks that the left Kan extension functor ι! ∶ M[1]×[1] Ð→ MN×N preserves levelwise (trivial) cofibrations. Similarly, the comma categories (i, j)/ι are either empty or have an initial object, from which it follows that the right Kan extension functor ι∗ ∶ M[1]×[1] Ð→ MN×N preserves levelwise (trivial) fibrations. If X is injectively fibrant (resp. projectively cofibrant), it follows that each diagonal square (2.0.3) is an injectively fibrant (resp. projectively cofibrant) square in M. Consequently, an injectively fibrant pre-spectrum X is an Ω-spectrum if and only if the fibration Xn,n Ð→ Xn+1,n ×Xn+1,n+1 Xn,n+1 is a trivial fibration in M. Dually, a projectively cofibrant pre-spectrum is a suspension spectrum if and only if each cofibration Xn+1,n ∐ Xn,n+1 Ð→ Xn+1,n+1 Xn,n

is a trivial cofibration. The notion of an Ω-spectra leads to a natural notion of a stable equivalence. Definition 2.1.3. Let M be a weakly pointed combinatorial model category. We will say that a map f ∶ X Ð→ Y in MN×N is a stable equivalence if for every Ω-spectrum Z the induced map Maph (Y, Z) Ð→ Maph (X, Z)

is a weak equivalence of spaces. Here the derived mapping spaces can be computed using either the projective or the injective model structure on MN×N , which are Quillen equivalent. We note that a stable equivalence between Ω-spectra is always a levelwise equivalence Definition 2.1.4. Let M be a weakly pointed combinatorial model category. The projective stable model structure on the category MN×N – if it exists – is the model structure whose cofibrations are the projective cofibrations and whose weak equivalences are the stable equivalences. Similarly, the injective stable model structure on the category MN×N is the model structure whose cofibrations are the levelwise cofibrations and whose weak equivalences are the stable equivalences. When they exist we will denote these model structures by Spproj (M) and Spinj (M) respectively. Omitting an explicit indication the notation Sp(M) will refer by default 7

Yonatan Harpaz, Joost Nuiten and Matan Prasma to the projective stable model structure. We will refer to any of these model structures as the stabilization of M. The following lemma shows that the projective (res. injective) stable model structure, when it exists, is a left Bousfield localization of the projective (resp. injective) model structure on MN×N at a concrete set of maps. N×N Remark 2.1.5. Since the derived mapping spaces in MN×N proj and Minj coincide the question of whether an object in Z ∈ MN×N is local with respect to a given map does not depend on whether we work in the injective or the projective model structure.

Because M is combinatorial there exists a set D of cofibrant objects of M such that a map f ∶ X Ð→ Y in M is a weak equivalence if and only if the induced map MaphM (D, X) Ð→ MaphM (D, Y ) is a weak equivalence of spaces for every D ∈ D (see e.g. [Dug01, Proposition 4.7]). For (n, m) ∈ N × N let us denote by hn,m = hom((m, n), −) ∶ N × N Ð→ Set the associated corepresentable functor. We will denote by ⊗ the natural tensoring of M over sets. Lemma 2.1.6. Let M be a weakly pointed combinatorial model category and let D be a set of objects as above. Let Z ∈ MN×N be an object. Then the following statements hold: (1) Z is a pre-spectrum if and only if Z is local with respect to the set of maps (∗)

∅ Ð→ hn,m ⊗ D

for every D ∈ D and n ≠ m, (2) Z is an Ω-spectrum if and only if it is a pre-spectrum which is furthermore local with respect to the set of maps ⎡ ⎤ ⎢ ⎥ ⎢ (∗∗) ⎢hn+1,n ∐ hn,n+1 ⎥ ⎥ ⊗ D Ð→ hn,n ⊗ D ⎢ ⎥ hn+1,n+1 ⎣ ⎦ for every D ∈ D and every n ≥ 0. Proof. The association Z ↦ Zm,n is a right Quillen functor MN×N Ð→ M (with respect either the injective or the projective model structure) whose left adjoint sends A to hn,m ⊗A. By adjunction Z is local with respect to the first set of maps if and only if each Zm,n ∈ M with m ≠ n is local with respect to ∅ Ð→ D for every D. By the characteristic property of D (and since M is weakly pointed) this is the same as saying that Zm,n is a weak zero object. To prove (2), consider the functor Rn ∶ MN×N inj Ð→ M given by Rn (Z) = Zn+1,n ×Zn+1,n+1 Zn,n+1 . This is a right Quillen functor whose left adjoint Ln ∶ M Ð→ MN×N sends an object A ∈ M inj to the diagram [hn+1,n ∐hn+1,n+1 hn,n+1 ] ⊗ A (indeed, the latter clearly sends cofibrations trivial cofibrations to injective cofibrations and trivial cofibrations, respectively). Using adjunction and Remark 2.1.2 we get Maph (Ln (Acof ), Z) ≃ Maph (A, Rn (Z fib )) ≃ Maph (A, Zn,n+1 ×hZn+1,n+1 Zn+1,n ) where Z Ð→ Z fib is an injective fibrant replacement of Z. Now the characteristic property of D shows that Z is local with respect to all maps [hn+1,n ∐hn+1,n+1 hn,n+1 ] ⊗ D Ð→ hn,n ⊗ D if and only if the natural map Zn,n Ð→ Zn,n+1 ×hZn+1,n+1 Zn+1,n

is a weak equivalence, i.e., if and only if the (2.0.3) is homotopy Cartesian.

8

Tangent categories of algebras over operads Corollary 2.1.7. Let M be a weakly pointed combinatorial model category. (1) The projective (resp. injective) stable model structure exists if and only if the left Bousfield localization of the projective (resp. injective) model structure on MN×N with respect to the maps (∗) and (∗∗) exists, in which case they coincide. (2) If M is left proper then both the injective and the projective stable model structures on ≃

inj ⊥ MN×N exist, and the identity adjunction is a Quillen equivalence Spproj (M) Ð→ ←Ð Sp (M). (3) If either the projective or the injective stabilization exists, then there is a Quillen adjunction

Σ∞ ∶ M o



/

Sp(M) ∶ Ω∞

where Σ∞ (X) is the constant diagram with value X and Ω∞ X●● = X0,0 . Proof. Claim (1) is an immediate consequence of Lemma 2.1.6. Claim (2) follows from (1) and the classical existence theorems of left Bousfield localizations (see [Hir03]). For Claim (3) it is enough to check that Ω∞ is a right Quillen functor with respect to the projective model structure on MN×N , which is clear. Remark 2.1.8. For any object X ∈ M we call Σ∞ X the suspension spectrum of X. At the moment Σ∞ X does not resemble the classical notion of a suspension spectrum and is not even a suspension spectrum in the sense of Definition 2.1.1. We will show in Lemma 2.3.1 that Σ∞ X is stably equivalent to a suspension spectrum whose zeroth object is X. Remark 2.1.9. When the projective (resp. injective) stable model structure does not exist, the class of projective (resp. injective) cofibrations which are also stable equivalences is not closed under pushouts. However, this class is closed under pushouts along maps with a levelwise cofibrant domains and codomains (indeed, such pushouts are always homotopy pushouts MN×N inj and hence N×N in Mproj as well). Remark 2.1.10. Any levelwise cofibrant object X ∈ MN×N admits a stable equivalence X Ð→ E to an Ω-spectrum. This either follows formally from inspecting the proof of the existence of Bousfield localizations in the left proper case, or – under some mild restrictions – from the explicit constructions in Remark 2.3.4 and Corollary 2.4.6. ⊥ Proposition 2.1.11. Any Quillen pair L ∶ M Ð→ ←Ð N ∶ R between weakly pointed left proper combinatorial model categories fits into a commuting diagram of Quillen adjunctions

Sp(M) o O

Σ



⊣ Ω



Mo



Sp(L) ⊥

/

Sp(N) O

Sp(R) Σ L ⊥ R



/

⊣ Ω∞

N



where the top horizontal Quillen pair is a Quillen equivalence if L ⊣ R is such.

Ð→ N×N N×N ⊥ Proof. Clearly L ⊢ R induces a Quillen pair LN×N ∶ MN×N between the respective proj ←Ð Nproj ∶ R projective model structures, which is a Quillen equivalence if L ⊢ R is such. By standard Bousfield localization techniques ([Hir03, Section 3], see also Lemma 3.1.2 below), this Quillen adjunction descends to the stable model structure because RRN×N preserves Ω-spectra. Furthermore, when L ⊢ R is a Quillen equivalence RRN×N also detects Ω-spectra, and the induced Quillen adjunction between the stable model structures is a Quillen equivalence. The compatibility with Σ∞ and Ω∞ is immediate from the definitions.

9

Yonatan Harpaz, Joost Nuiten and Matan Prasma Remark 2.1.12. The statement of Proposition 2.1.11 holds for the injective stable model structures as well, with the exact same proof. 2.2 The ∞-categorical stabilization Recall that any model category M (and in fact any relative category) has a canonically associated ∞-category M∞ , obtained by formally inverting the weak equivalences of M (see e.g. [Hin13] for a thorough account, or alternatively, the discussion in [BHH16, §2.2]). Furthermore, a Quillen Ð→ ⊥ ⊥ adjunction L ∶ M Ð→ ←Ð N ∶ R induces an adjunction of ∞-categories L∞ ∶ M∞ ←Ð N∞ ∶ R∞ ([Hin13, Proposition 1.5.1]). Definition 2.2.1. A model category M is a stable model category if M∞ is stable in the sense ⊥ of [Lur14], i.e. if M∞ is pointed and the adjunction of ∞-categories Σ ∶ M∞ Ð→ ←Ð M∞ ∶ Ω is an adjoint equivalence. Remark 2.2.2. Alternatively, one can characterize the stable model categories as those weakly pointed model categories in which a square is homotopy Cartesian if and only if it is homotopy coCartesian (see [Lur14]). Remark 2.2.3. An adjunction between ∞-categories is an equivalence if and only if the induced adjunction on homotopy categories is an equivalence (indeed, both statements just depend on wheather the unit and counit are equivalences). Consequently, a model category M is stable ⊥ if and only it is weakly pointed and Σ ∶ Ho(M) Ð→ ←Ð Ho(M) ∶ Ω is an equivalence of categories (cf. [Hov01]). Our next goal is to show that the ∞-category associated to the stabilization Sp(M) of a model category M presents the universal stable ∞-category associated to M∞ , in the sense of [Lur14, Proposition 1.4.2.22]. For this it will be useful to consider the operation of stabilization in the not-necessarily pointed setting. Recall that if C is a presentable ∞-category then the ∞-category def C∗ = C∗/ of objects under the terminal object is the universal pointed presentable ∞-category receiving a colimit preserving functor from C. Since any stable ∞-category is necessarily pointed we see that any colimit preserving functor from C to a stable presentable ∞-category factors uniquely through C∗ . The composition C Ð→ C∗ Ð→ Sp(C∗ ) thus exhibits Sp(C∗ ) as the universal stable presentable ∞-category admitting a colimit preserving functor from C. Given a left proper combinatorial model category M we will therefore consider Sp(M∗ ) also as the stabilization of M, where M∗ = M∗/ is equipped with the coslice model structure. We note that when M is ≃

⊥ already weakly pointed we have a Quillen equivalence M∗ Ð→ ←Ð M and so this poses no essential Ð→ ∞ ∞ ⊥ ambiguity. We will denote by Σ+ ∶ M ←Ð Sp(M∗ ) ∶ Ω+ the composition of Quillen adjunctions

Σ∞ +

(−) ∐ ∗

∶Mo

/

U

Σ∞

M∗ o





/

Sp(M∗ ) ∶ Ω∞ + .

We note that the above construction is only appropriate if M∗ is actually a model for the ∞category (M∞ )∗ . We shall begin by addressing this issue. Lemma 2.2.4. Let M be a combinatorial model category and X ∈ M an object. Assume either that X is cofibrant or that M is left proper. Then the natural functor of ∞-categories (MX/ )∞ Ð→ (M∞ )X/ is an equivalence. Proof. If M is left proper then any weak equivalence f ∶ X Ð→ X ′ induces a Quillen equivalence ∗ ⊥ f! ∶ MX/ Ð→ ←Ð MX ′ / ∶ f and hence an equivalence between the associated ∞-categories. Similarly,

10

Tangent categories of algebras over operads for any model category the adjunction f! ⊣ f ∗ is a Quillen equivalence when f is a weak equivalence between cofibrant objects. It therefore suffices to prove the lemma under the assumption that X is fibrant-cofibrant. ⊥ Note that for any Quillen equivalence L ∶ N Ð→ ←Ð M ∶ R and a fibrant object X ∈ M, the Ð→ ⊥ M induced Quillen pair NR(X)/ ←Ð X/ is a Quillen equivalence as well (see Construction 3.1.4 and Remark 3.1.6). By [Dug01] there exists a simplicial, left proper combinatorial model category ⊥ M′ , together with a Quillen equivalence M′ Ð→ ←Ð M. We may therefore reduce to the case where M is furthermore simplicial and X ∈ M is fibrant-cofibrant, in which case the result follows from [Lur09, Lemma 6.1.3.13]. Proposition 2.2.5. Let M be a left proper combinatorial model category. Then the functor (Ω∞ + )∞ ∶ Sp(M∗ )∞ Ð→ M∞ exhibits Sp(M∗ )∞ as the stabilization of M∞ (in the sense of the universal property of [Lur14, Proposition 1.4.2.23]). Proof. Since M is left proper, Lemma 2.2.4 implies that the natural functor (M∗ )∞ Ð→ (M∞ )∗ is an equivalence. It therefore suffices to show that for a weakly pointed model category M, the map (Ω∞ )∞ ∶ Sp(M)∞ Ð→ M∞ exhibits Sp(M)∞ as the stabilization of the pointed ∞-category M∞ . Since Sp(M) is a left Bousfield localization of MN×N proj (Corollary 2.1.7) it follows that the underlying ∞-category Sp(M)∞ is equivalent to the full subcategory of (MN×N proj )∞ spanned by the local objects, i.e., by the Ω-spectra. By [Lur09, Proposition 4.2.4.4] the natural map (MN×N )∞ Ð→ (M∞ )N×N

is an equivalence of ∞-categories. We may therefore conclude that Sp(M)∞ is equivalent to the full subcategory Sp′ (M∞ ) ⊆ (M∞ )N×N spanned by those diagrams F ∶ N × N Ð→ M∞ such that F(n, m) is zero object for n ≠ m and F restricted to each diagonal square is Cartesian. We now claim that the evaluation at (0, 0) functor ev(0,0) ∶ Sp′ (M∞ ) Ð→ M∞ exhibits Sp′ (M∞ ) as the stabilization of M∞ . By [Lur14, Proposition 1.4.2.24] it will suffice to show that ev(0,0) lifts to an equivalence between Sp′ (M∞ ) and the homotopy limit of the tower ⋯ Ð→ M∞ Ð→ M∞ Ð→ M∞ Ω



(2.2.1)

The proof of this fact is completely analogous to the proof of [Lur06, Proposition 8.14]. Indeed, one may consider for each n the ∞-category D′n of (N≤n × N≤n )-diagrams in M∞ which are contractible off-diagonal and have Cartesian squares on the diagonal. It follows from Lemma 8.12 and Lemma 8.13 of [Lur06] (as well as [Lur09, Proposition 4.3.2.15]) that the functor ev(n,n) ∶ D′n Ð→ M∞ is a trivial Kan fibration (hence a categorical equivalence). Under these equivalences, the restriction functor D′n+1 Ð→ D′n is identified with the loop functor Ω ∶ M∞ Ð→ M∞ . It follows that the homotopy limit of the tower 2.2.1 can be identified with the homotopy limit of the tower of restriction functors {⋯ Ð→ D′2 Ð→ D′1 Ð→ D′0 }. Since these restriction functors are categorical fibrations between ∞-categories, the homotopy limit agrees with the actual limit, which is the ∞-category Sp′ (M∞ ). The next two corollaries follow immediately from the universal property of the ∞-categorical stabilization: Corollary 2.2.6. Let M be a weakly pointed left proper combinatorial model category. Then Sp(M) is a stable model category.

11

Yonatan Harpaz, Joost Nuiten and Matan Prasma Corollary 2.2.7. If M is a stable model category, then the adjunction Σ∞ ⊣ Ω∞ of Corollary 2.1.7 is a Quillen equivalence. Remark 2.2.8. Instead of invoking Proposition 2.2.5 to establish Corollary 2.2.6, one can prove directly at the model-categorical level that Ω ∶ Ho(Sp(M)) Ð→ Ho(Sp(M)) is an equivalence. For this, it will be convenient to make use of the shift functors [−n] ∶ Sp(M) o

/

Sp(M) ∶ [n]

n≥0

given by X[n]●● ∶= X●+n,●+n and X[−n]●,● = X●−n,●−n (where Xi,j = ∅ when i < 0 or j < 0). These form a Quillen pair since the functor [−n] preserves levelwise weak equivalences and cofibrations, while [n] preserves Ω-spectra. One can now easily check that Ω ○ R[1] and R[1] ○ L[−1] are both naturally isomorphic to the identity functor on Ho(Sp(M)), from which the result follows. Remark 2.2.9. Even if M is a (weakly pointed, combinatorial) model category which is not left proper we can still consider the full relative subcategory Sp′ (M) ⊆ MN×N spanned by Ω-spectra (with weak equivalences the levelwise weak equivalences). The composite functor Sp′ (M)∞ Ð→ ∼ (MN×N )∞ Ð→ (M∞ )N×N identifies Sp′ (M)∞ with the full sub-∞-category Sp′ (M∞ ) ⊆ (M∞ )N×N spanned by those diagrams which are contractible off diagonal and have Cartesian diagonal squares. The proof of Proposition 2.2.5 now implies that for any weakly pointed combinatorial model category M, the stabilization of M∞ can be modeled by the relative category Sp′ (M). Remark 2.2.10. One may also model the stabilization of M∞ by the relative category Sp′′ (M) ⊆ MN×N spanned by pre-spectrum objects and stable weak equivalences between them. This follows from the fact that one can functorially replace a levelwise cofibrant pre-spectrum X by an Ω-spectrum X Ω equipped with a stable equivalence X Ð→ X Ω (see Remark 2.1.10) and the fact that a stable weak equivalence between Ω-spectra is a levelwise equivalence. Of course, when the stable model structure exists this is just a direct corollary of the fact that every object in Sp(M) is stably equivalent to a pre-spectrum (see Remark 2.3.4 below). Remark 2.2.11. By [Rob12, Proposition 4.15] the stabilization of model categories via BousfieldFriedlander spectra ([Hov01]) is also a model for the ∞-categorical stabilization. Since both are combinatorial model categories, any equivalence of the underlying ∞-categories can be expressed as a zig-zag of Quillen equivalences (see [Lur09, Remark A.3.7.7]). In particular, for a strictly pointed, left proper, simplicial combinatorial model category M, the stabilization Sp(M) is Quillen equivalent to the model category of Bousfield-Friedlander spectra in M. Remark 2.2.12. Another closely related model is that of reduced excisive functors (see e.g. [Lyd98]). Let Sfin ∗ denote the relative category of finite simplicial sets. When M is left proper and combinatorial we may form the left Bousfield localization Exc(M) of the projective fin model structure on MS∗ in which the local objects are the relative reduced excisive functors. ∗ Restriction along ι ∶ {S 0 } ↪ Sfin ∗ then yields a right Quillen functor ι ∶ Exc(M) Ð→ M. Using [Lur09, Proposition 4.2.4.4] and [Lur14, §1.4.2] one may then show that the induced functor ι∗∞ ∶ Exc(M)∞ Ð→ M∞ exhibits Exc(M)∞ as the stabilization of M∞ . In this case one can even construct a direct Quillen equivalence between Sp(M) and Exc(M). Indeed, let f ∶ N × N Ð→ Sfin ∗ be a suspension spectrum object such that f (0, 0) ≅ S 0 . Then restriction along f determines a right Quillen functor f ∗ ∶ Exc(M) Ð→ Sp(M) such that Ω∞ ○ f ∗ ≅ ι∗ . To show that f ∗ is a right ∗ Quillen equivalence it is enough to check that the induced functor f∞ ∶ Exc(M)∞ Ð→ Sp(M)∞ is an equivalence of ∞-categories. But this now follows formally from the universal property shared by both sides.

12

Tangent categories of algebras over operads 2.3 Suspension spectra ∞ ⊥ The canonical adjunction Σ∞ ∶ M Ð→ appearing in Corollary 2.1.7 is a model for ←Ð Sp(M) ∶ Ω the classical “suspension-infinity/loop-infinity” adjunction. This might seem surprising at first sight as the object Σ∞ (X) is by definition a constant (N × N)-diagram, and not a suspension spectrum. In this section we will prove a convenient replacement lemma showing that up to a stable equivalence every constant spectrum object can be replaced with a suspension spectrum, which is unique in a suitable sense (see Remark 2.3.2). This can be used, for example, in order to functorially replace Σ∞ (X) with a suspension spectrum, whenever the need arises (see Corollary 2.3.3 below). While mostly serving for intuition purposes in this paper, Lemma 2.3.1 is also intended for more direct applications in a subsequent paper [HNP16]. Lemma 2.3.1. Let M be a combinatorial model category. Let f ∶ X Ð→ Y be a map in MN×N such that X is constant and levelwise cofibrant and Y is a suspension spectrum. Then there

exists a factorization X Ð→ X ′ Ð→ Y of f such that X ′ is a suspension spectrum, f ′ is a stable ′ ′ equivalence and f0,0 ∶ X0,0 Ð→ X0,0 is a weak equivalence. In particular, if f0,0 ∶ X0,0 Ð→ Y0,0 is already a weak equivalence then f is a stable equivalence. f′

f ′′

Proof. Let us say that an object Z●● ∈ Sp(M) is a suspension spectrum up to n if Zm,k is weakly contractible whenever m ≠ k and min(m, k) < n and if the m’th diagonal square is a pushout square for m < n. In particular, the condition of being a suspension spectrum up to 0 is vacuous. We will now construct a sequence of levelwise cofibrations and stable equivalences X = P0 Ð→ P1 Ð→ ⋯ Ð→ Pn Ð→ Pn+1 Ð→ ⋯ over Y such that each Pn is a levelwise cofibrant suspension spectrum up to n and the map def (Pn )m,k Ð→ (Pn+1 )m,k is an isomorphism whenever min(m, k) < n or m = k = n. Then X ′ = colimn Pn ≃ hocolimn Pn is a suspension spectrum by construction and the map f ∶ X Ð→ X ′ satisfies the required conditions (see Remark 2.1.9). Given a cofibrant object Z ∈ M equipped with a map Z Ð→ Yn,n , let us denote the cone of the composed map Z Ð→ Yn,n Ð→ Yn,n+1 by Z Ð→ Cn,n+1 (Z) Ð→ Yn,n+1 and the cone of the map Z Ð→ Yn,n Ð→ Yn+1,n by Z Ð→ Cn+1,n (Z) Ð→ Yn+1,n . Since Y is weakly contractible off diagonal it follows that Cn,n+1 (Z) and Cn+1,n (Z) are weak zero objects. Let ΣY (Z) ∶= Cn,n+1 (Z) ∐Z Cn+1,n (Z) be the induced model for the suspension of Z in M. By construction the object ΣY (Z) carries a natural map ΣY (Z) Ð→ Yn+1,n+1 . Let us now define Qn,n+1 (Z), Qn+1,n (Z) and Qn+1 (Z) by forming the following diagram in MN×N /Y :

hn+1,n ⊗ Z 

hn+1,n ⊗ Cn+1,n (Z)

hn,n+1 ⊗ Z

/ hn,n+1 ⊗ Cn,n+1 (Z)

 / hn,n ⊗ Z

✤ ❴  / Qn,n+1 (Z)

✤ ❴



/ Qn+1,n (Z)

✤ ❴

 / Qn+1 (Z).

Since all objects in this diagram are levelwisewise cofibrant and the top right horizontal map is a levelwise cofibration and a stable equivalence, all the right horizontal maps are levewise cofibrations and stable equivalences (see Remark 2.1.9). Similarly, since the left bottom vertical map is a levelwise cofibration and a stable equivalence the same holds for all bottom vertical maps. It then follows that hn,n ⊗Z Ð→ Qn+1 (Z) is a levelwise cofibration and a stable equivalence 13

Yonatan Harpaz, Joost Nuiten and Matan Prasma over Y . We note that by construction the shifted diagram Qn+1 (Z)[n + 1] is constant on ΣY (Z) (see Remark 2.2.8). Let us now assume that we have constructed Pn Ð→ Y such that Pn is a suspension spectrum up to n and such that the shifted object Pn [n] (Remark 2.2.8) is a constant diagram. This is def clearly satisfied by P0 = X. We now define Pn+1 inductively as the pushout hn,n ⊗ (Pn )n,n

/ Qn+1 ((Pn )n,n ) ✤ ❴

 / Pn+1



Pn

Since the left vertical map becomes an isomorphism after applying the shift [n], so does the right vertical map in the above square. It follows that Pn+1 [n + 1] is constant and that the n’th diagonal square of Pn+1 is homotopy coCartesian by construction. This means that Pn+1 is a suspension spectrum up to n. Furthermore, by construction the map Pn Ð→ Pn+1 is a levelwise cofibration and a stable equivalence which is an isomorphism at (m, k) whenever at least one of m, k is smaller than n or k = m = n. Remark 2.3.2. Given an injective cofibrant constant spectrum object X, Lemma 2.3.1 provides a stable equivalence X Ð→ X ′ from X to a suspension spectrum which induces an equivalence in degree 0, 0. These “suspension spectrum replacements” can be organized into a category, and Lemma 2.3.1 can be used to show that the nerve of this category is weakly contractible. We may hence consider a suspension spectrum replacement in the above sense as essentially unique. Corollary 2.3.3. Let X ∈ M be a cofibrant object. Then there exists a stable equivalence Σ∞ X Ð→ Σ∞ X whose codomain is a suspension spectrum. Furthermore, Σ∞ X can be chosen to depend functorially on X and Σ∞ X 0,0 ≅ X. Remark 2.3.4. A similar but simpler construction replaces any levelwise cofibrant (N×N)-diagram X by a weakly equivalent pre-spectrum: let X (0) = X and inductively define X (k+1) such that X (k) Ð→ X (k+1) is a pushout along ∐

m+n=k,m≠n

(k) hm,n ⊗ Xm,n Ð→



m+n=k,m≠n

(k) hm,n ⊗ C(Xm,n ).

The map X (k) Ð→ X (k+1) is then an isomorphism below the line m + n = k and replaces the offdiagonal entries on that line by their cones. It is a levelwise cofibration and a stable equivalence, being the pushout of such a map with cofibrant target (see Remark 2.1.9). The (homotopy) colimit of the resulting sequence of stable equivalences yields the desired pre-spectrum replacement. 2.4 Differentiable model categories and Ω-spectra Our goal in this subsection is to give a description of the fibrant replacement of a pre-spectrum, which resembles the classical fibrant replacement of spectra (see [Hov01], or [Lur06, Corollary 8.17] for the ∞-categorical analogue). This description requires some additional assumptions on the model category at hand, which we first spell out. Let f ∶ I Ð→ M be a diagram in a combinatorial model category M. Recall that a cocone f ∶ I▷ Ð→ M over f is called a homotopy colimit diagram if for some projectively cofibrant replacement f cof Ð→ f , the composed map colim f cof (i) Ð→ colim f (i) Ð→ f (∗) is a weak equivalence (where ∗ ∈ I▷ denotes the cone point). A functor G ∶ M Ð→ N preserving weak equivalences is said to preserve I-indexed homotopy colimits if it maps I▷ -indexed homotopy colimit diagrams to homotopy colimit diagrams.

14

Tangent categories of algebras over operads Definition 2.4.1 cf. [Lur14, Definition 6.1.1.6]. Let M be a model category and let N be the poset of non-negative integers as above. We will say that M is differentiable if for every finite category I the right derived limit functor R lim ∶ MI Ð→ M preserves N-indexed homotopy ⊥ colimits. We will say that a Quillen adjunction L ∶ M Ð→ ←Ð N ∶ R is differentiable if M and N is differentiable and RR preserves N-indexed homotopy colimits. Remark 2.4.2. The condition that M be differentiable can be equivalently phrased by saying that the derived colimit functor L colim ∶ MN Ð→ N preserves finite homotopy limits. This means, in particular, that if M is differentiable then the collection of Ω-spectra in MN×N is closed under N-indexed homotopy colimits. Example 2.4.3. Recall that a combinatorial model category M is called finitely combinatorial if the underlying category of M is compactly generated and there exist sets of generating cofibrations and trivial cofibrations whose domains and codomains are compact (see [RR15]). The classes of fibrations and trivial fibrations, and hence the class of weak equivalences, are then closed under filtered colimits. Such a model category M is differentiable because filtered colimit diagrams in M are already filtered homotopy colimit diagrams, while the functor colim ∶ MN Ð→ M preserves finite limits and fibrations (and hence finite homotopy limits). Lemma 2.4.4. Let M be a weakly pointed combinatorial model category and let f ∶ X Ð→ Y be a map of pre-spectra such that X is levelwise cofibrant and Y is an injective fibrant Ω-spectrum at m, i.e. the square Ym,m

/ Ym,m+1





(2.4.1)

/ Ym+1,m+1

Ym+1,m

is homotopy Cartesian. Then we may factor f as X Ð→ X ′ Ð→ Y such that f′

f ′′

′ ′ (1) f ′ is a levelwise cofibration and a stable equivalence and the map fn,k ∶ Xn,k Ð→ Xn,k is a weak equivalence for every n, k except (n, k) = (m, m). (2) X ′ is an Ω-spectra at m.

Proof. We first note that we may always factor f as an injective trivial cofibration X Ð→ X ′′ followed by an injective fibration X ′′ Ð→ Y . Replacing X with X ′′ we may assume without loss of generality that f is an injective fibration. Let Xm,m Ð→ P Ð→ Ym,m ×[Y

m,m+1 ×Ym+1,m+1 Ym+1,m ]

[Xm,m+1 ×Xm+1,m+1 Xm+1,m ]

be a factorization in M into a cofibration followed by a trivial fibration. By our assumption on Y the map Ym,m Ð→ Ym,m+1 ×Ym+1,m+1 Ym+1,m is a trivial fibration and hence the composed map P Ð→ Xm,m+1 ×Xm+1,m+1 Xm+1,m is a trivial fibration as well. Associated to the cofibration j ∶ Xm,m Ð→ P is now a square of (N × N)-diagrams (hm,m+1 ∐hm+1,m+1 hm+1,m ) ⊗ Xm,m

/ (hm,m+1 ∐ hm+1,m+1 hm+1,m ) ⊗ P





(2.4.2) hm,m ⊗ Xm,m

/ hm,m ⊗ P

The rows of these diagarms are stable equivalences and levelwise cofibrations between levelwise cofibrant objects. It follows that the induced map im ◻ j ∶ Q Ð→ hm,m ⊗ P from the (homotopy)

15

Yonatan Harpaz, Joost Nuiten and Matan Prasma pushout to hm,m ⊗ P is a stable equivalence and a levelwise cofibration (see Remark 2.1.9). One can easily check that im ◻ j is an isomorphism in every degree, except in degree (m, m) where it is the inclusion Xm,m Ð→ P . We now define X ′ as the pushout Q

/ hm,m ⊗ P



 / X′

X

where the left vertical map is the natural map. Since Q and X are levelwise cofibrant, the resulting map X Ð→ X ′ is a stable equivalence and an isomorphism in all degrees, except in degree (m, m) where it is the cofibration Xm,m Ð→ P . we now see that the map X Ð→ X ′ satisfies properties (1) and (2) above by construction. Corollary 2.4.5. Let M be a weakly pointed combinatorial model category and let f ∶ X Ð→ Y be a map in MN×N between pre-spectra such that X is levelwise cofibrant and Y is an injective fibrant Ω-spectrum below n, i.e., it is an Ω-spectrum at m for every m < n. Then we may factor

f as X Ð→ Ln X Ð→ Y such that f ′ is a levelwise cofibration and a stable equivalence, Ln X is an Ω-spectrum below n and the induced map f ′ [n] ∶ X[n] Ð→ Ln X[n] (see Remark 2.2.8) is a levelwise weak equivalence of pre-spectra. In particular, if the induced map f [n] ∶ X[n] Ð→ Y [n] is already a levelwise weak equivalence then f is a stable equivalence. f′

f ′′

Proof. Apply Lemma 2.4.4 consecutively for m = n − 1, ..., 0 to construct the factorization X Ð→ Ln X Ð→ Y with the desired properties. Note that if f [n] ∶ X[n] Ð→ Y [n] is a levelwise equivalence then the induced map Ln X[n] Ð→ Y [n] is a levelwise equivalence and since both Ln X and Y are Ω-spectra below n the map Ln X Ð→ Y must be a levelwise equivalence. It then follows that f ∶ X Ð→ Y is a stable equivalence. Corollary 2.4.6. Let M be a weakly pointed differentiable combinatorial model category and let f ∶ X Ð→ Y be a map in MN×N such that X is levelwise cofibrant pre-spectrum and Y is an injective fibrant Ω-spectrum. Then there exists a sequence of levelwise cofibrations and stable equivalences X Ð→ L1 X Ð→ L2 X Ð→ ⋯

over Y such that for each n the map X[n] Ð→ Ln X[n] is a levelwise weak equivalence and Ln X def is an Ω-spectrum below n. Furthermore, the induced map X Ð→ L∞ X = colim Ln X is a stable equivalence and L∞ X is an Ω-spectrum. Proof. Define the objects Ln X inductively by requiring Ln X Ð→ Ln+1 X to be the map from Ln X to an Ω-spectrum below n + 1 constructed in Corollary 2.4.5. The resulting sequence is easily seen to have all the mentioned properties. Since all the maps Ln X Ð→ Ln+1 X are levelwise cofibrations between levelwise cofibrant objects it follows that the map X Ð→ L∞ X is the homotopy colimit in MN×N of the maps X Ð→ Ln X. Since the collection of stable equivalences between pre-spectra is closed under homotopy colimits we may conclude that the map X Ð→ L∞ X is a stable equivalence between pre-spectra. The assumption that M is differentiable implies that for each m the collection of Ω-spectra at m is closed under sequential homotopy colimits. We may therefore conclude that L∞ X is an Ω-spectrum at m for every m, i.e., an Ω-spectrum. Remark 2.4.7. Since the map Xn,n Ð→ (Ln X)n,n is a weak equivalence in M and Ln X is a pre-spectrum and an Ω-spectrum below n it follows that the space (Ln X)0,0 is a model for n16

Tangent categories of algebras over operads fold loop object Ωn Xn,n in M. The above result then asserts that for any pre-spectrum X, its Ω-spectrum replacement L∞ X is given in degree (k, k) by hocolimn Ωn Xk+n,k+n . In particular RΩ∞ X ≃ hocolimn Ωn Xn,n . Corollary 2.4.8. Let R ∶ M Ð→ N be a differentiable right Quillen functor between weakly pointed combinatorial model categories. Then the right derived Quillen functor RRN×N ∶ MN×N proj Ð→ N×N Nproj preserves stable equivalences between pre-spectra. If in addition RR detects weak equivalences then RRN×N detects stable equivalences between pre-spectra. Proof. Let f ∶ X Ð→ Y be a stable equivalence between pre-spectra. We may assume without loss of generality that X is levelwise cofibrant. Let Y Ð→ L1 Y Ð→ L2 Y Ð→ ⋯

be constructed as in Corollary 2.4.6 with respect to the map Y Ð→ ∗ and let Y∞ = colimn Ln Y . Similarly, let X Ð→ L1 X Ð→ L2 X Ð→ ⋯

be a sequence as in Corollary 2.4.6 constructed with respect to the map X Ð→ Y∞ , and let X∞ = colimn Ln X. Since Ln X is an Ω-spectrum below n it follows that RRN×N (Ln X) is an Ω-spectrum below n. Furthermore, since the map RRN×N (X)[n] Ð→ RRN×N (Ln X)[n] is a levelwise equivalence it follows from the final part of Corollary 2.4.5 that the map RRN×N (X) Ð→ RRN×N (Ln X) is a stable equivalence. By the same argument the map RRN×N (Y ) Ð→ RRN×N (Ln Y ) is a stable equivalences. Since the maps Ln X Ð→ Ln+1 X are levelwise cofibrations between levelwise cofibrant objects it follows that X∞ ≃ hocolim Ln X and Y∞ ≃ hocolimn Ln Y . Since RR preserves sequential homotopy colimits by assumption we may conclude that the maps RRN×N (X) Ð→ RRN×N (X∞ ) and RRN×N (Y ) Ð→ RRN×N (Y∞ ) are stable equivalences. Now since X∞ Ð→ Y∞ is a stable equivalence between Ω-spectra it is also a levelwise weak equivalence. We thus conclude that the map RRN×N (X∞ ) Ð→ RRN×N (Y∞ ) is a levelwise equivalence. The map RRN×N (X) Ð→ RRN×N (Y ) is hence a stable equivalence in NN×N by the 2-out-of-3 property.

Ð→ ⊥ N ∶ R be a differentiable Quillen pair of weakly pointed left Corollary 2.4.9. Let L ∶ M ←Ð proper combinatorial model categories and let n ≥ 0 be a natural number.

(1) If the derived unit ux ∶ X Ð→ RR(LX) either has the property that Ωn ux is an equivalence for every cofibrant X or Σn ux is an equivalence for every cofibrant X, then the derived unit of Sp(L) ⊣ Sp(R) is weak equivalence for every levelwise cofibrant pre-spectrum. (2) If the derived counit νx ∶ LL(RY ) Ð→ Y either has the property that Ωn νx is an equivalence for every fibrant Y or Σn νy is an equivalence for every fibrant Y , then the derived counit of Sp(L) ⊣ Sp(R) is weak equivalence for every levelwise fibrant pre-spectrum. Proof. We will only prove the first claim; the second claim follows from a similar argument. Let A ∈ MN×N be a levelwise cofibrant pre-spectrum object in M. Since R is differentiable we have by Corollary 2.4.8 that RRN×N preserves stable equivalences between pre-spectra. It follows that the derived unit map is equivalent to the map uA ∶ A Ð→ R (L(A)proj ) which is given levelwise by the derived unit map of the adjunction L ⊣ R. If this unit map is levelwise given by a map which becomes an equivalence upon applying Σn , then the entire unit map becomes a levelwise equivalence after suspending n times (recall that suspension in Sp(M), like all homotopy colimits, can be computed levelwise). Since Sp(M) is stable this means that uA is itself an equivalence. Now assume that uA is given levelwise by a map which becomes an equivalence after applying n Ω . Since L ⊣ R is a Quillen adjunction between weakly pointed model categories, the above

17

Yonatan Harpaz, Joost Nuiten and Matan Prasma map is a map of pre-spectra. It therefore suffices to check that the induced map Afib Ð→ R (L(A)proj )

fib

on the (explicit) fibrant replacements provided by Corollory 2.4.6 is a levelwise equivalence. By Remark 2.4.7 this map is given at level (k, k) by the induced map hocolimi Ωi Ai+k,i+k Ð→ hocolimi Ωi RR(L(Ak+i,k+i )).

This map is induced from a map of sequences which is a weak equivalence for all i ≥ n by our assumption, and so the desired result follows. 3. Tangent categories and tangent bundles In §2 we have set up a convenient formalism for stabilizing model categories. In this section we will use this formalism in order to define and study the tangent model categories of a given model category. Definition 3.0.1. Let M be a left proper combinatorial model category and A ∈ M and object. We will denote by TA M = Sp(MA//A ) def

the stabilization of MA//A , and refer to it as the tangent category to M at A. Here MA//A ∶= (M/A )id / = (M/A )∗ is the (combinatorial, left proper) model category of over-under A-objects A in M, with its induced model structure. Example 3.0.2. When M is the category of simplicial sets endowed with the Kan-Quillen model structure and X ∈ M is a simplicial set then the tangent category TX M is a model for the theory of parametrized spectra over X (see[MS06], [ABG11, §B] and the discussion in [HNP16, §2.3]). Example 3.0.3. When M is a sufficiently nice model for commutative ring spectra (such as the one constructed in [Shi04]), and R is a given commutative ring spectrum, then the tangent model category TR M is Quillen equivalent to the model category of R-modules, see [BM05] (which works in the topological setting of S-algebras and the Bousfield-Friedlander stabilization). By Proposition 2.2.5 we may consider TA M as a model for the tangent ∞-category of M∞ at the object A, in the sense of [Lur14, §7.3.1]. Our goal in this section is to use the formalism of [HP15] in order to assemble the various tangent categories TA M into a global category TM = ∫M Sp(MA//A ) with a suitable model structure, yielding a model for the tangent bundle ∞-category TM∞ . We will begin in §3.1 with recalling the formalism of [HP15] and establishing some preliminary results. These will be used in §3.2 and §3.3 to construct the tangent bundle TM as a model category and establish its basic properties. We will then explain in §3.4 how this global point of view can be used to describe the tangent categories of functor categories. 3.1 Preliminaries Recall that a suitable variant of the classical Grothendieck correspondence asserts that if C is a category, then the data of a (pseudo-)functor from C to the (2, 1)-category of categories and adjunctions is equivalent to the data of a functor D Ð→ C which is simultaneously a Cartesian and a coCartesian fibration. In this paper we will make use of the model categorical analogue of this result, as developed in [HP15]. Let ModCat be the (2, 1)-category of model categories and Quillen adjunctions and let F ∶ M Ð→ ModCat be a functor whose domain M carries a

18

Tangent categories of algebras over operads ∗ ⊥ model structure. Given a map f ∶ A Ð→ B in M, we will denote by f! ∶ F(A) Ð→ ←Ð F(B) ∶ f the ∗ Quillen adjunction associated to f by F. We will say that F is relative if f! ⊣ f is a Quillen equivalence whenever f is a weak equivalence. We will say that F is left proper if f! preserves weak equivalences whenever f is a trivial cofibrations. Dually, we will say that F is right proper if f ∗ preserves weak equivalences whenever f is a trivial fibration. Finally, we will say that F is proper if it is both left proper and right proper. Theorem 3.0.12 of [HP15] asserts that the notion of a proper relative functor F ∶ M Ð→ ModCat is equivalent to a suitable notion of a model fibration π ∶ N Ð→ M. In particular, the underlying category of N is the Cartesian-coCartesian fibration associated to the underlying functor from M to categories and adjunctions. We will refer to the model structure on N ≅ ∫M F determined by this correspondence as the integral model structure. This model structure enjoys many favorable formal properties. For example, the projection π is both a left and a right Quillen functor and the integral model structure is compatible with base change. In this section we will establish some general results showing that the class of proper relative functors (or, equivalently, the class of model fibrations) is closed under various operations, which we will need in order to construct tangent bundles.

Lemma 3.1.1. Let M be a model category and F ∶ M Ð→ ModCat be a proper relative functor such that each F(A) is a combinatorial model category for every A ∈ M. Then for any small I I category I, the functors Finj (A) = (F(A)I )inj and Fproj (A) = (F(A)I )proj are proper and relative. I If I is a Reedy category then the functor FReedy (A) = (F(A)I )Reedy is proper and relative as well.

Proof. This follows directly from the fact that Quillen equivalences induces Quillen equivalences on functor categories and that weak equivalences in functor categories are levelwise. ⊥ Lemma 3.1.2. Let L ∶ M Ð→ ←Ð N ∶ R be a Quillen adjunction and let LM, LN be left Bousfield ⊥ localizations of M and N respectively. Assume that RR preserves local objects. Then L Ð→ ←Ð R Ð→ ⊥ LN ∶ R. Furthermore descends uniquely to a Quillen adjunction L ∶ LM ←Ð

(i) If RR preserves and detects local objects and L ⊣ R is a Quillen equivalence then L ⊣ R is a Quillen equivalence.

(ii) If L preserves weak equivalences then L preserves weak equivalence. If R preserves weak equivalences and L ⊣ R is a Quillen equivalence then R preserves weak equivalences. Ð→ ⊥ ⊥ Proof. The fact that L Ð→ ←Ð R descends to L ←Ð R follows from [Hir03, Theorem 3.1.6]. Claim (1) is now a combination of Proposition [Hir03, Proposition 3.1.12] and Lemma [Hir03, Theorem 3.3.20]. Let us prove Claim (2). Since cofibrant replacements in M and LM are the same it follows that if L preserves weak equivalences then L ≃ LL and hence L preserves weak equivalences. Now suppose that R preserves weak equivalences and that L ⊣ R is a Quillen equivalence. By (1) we know L ⊣ R is a Quillen equivalence and hence LL ≃ LL detects local equivalences. It will hence suffice to show that if X, Y are fibrant in N and f ∶ X Ð→ Y is a local weak equivalence then the induced map L(R(X)cof ) Ð→ L(R(Y )cof ) is a local weak equivalence. But this now follows from the fact that the derived counit map of L ⊣ R is a weak equivalence.

Corollary 3.1.3 (Localization in families). Let M be a model category and F ∶ M Ð→ ModCat be a proper relative functor. Let Floc ∶ M Ð→ ModCat be a functor together with a natural transformation F ⇒ Floc which is a component-wise left Bousfield localization (of model categories). ∼ Suppose that Floc satisfies the following condition: for every weak equivalence f ∶ A Ð→ B ∈ M, Rf ∗ preserves and detects local objects. Then Floc is proper and relative.

19

Yonatan Harpaz, Joost Nuiten and Matan Prasma Proof. Let f ∶ A Ð→ B be a weak equivalence. By Lemma 3.1.2(1) the Quillen equivalence f! ⊣ f ∗ loc ∗ loc loc ⊥ is relative. To descends to a Quillen equivalence f!loc ∶ Floc (A) Ð→ ←Ð F (B) ∶ (f ) , and so F loc finish the proof we note that if f is a trivial cofibration then f! preserves weak equivalences by ∗ ⊥ Lemma 3.1.2(2) and if f is a trivial fibration then f! Ð→ ←Ð f is a Quillen equivalence and hence (f ∗ )loc preserves weak equivalences by Lemma 3.1.2(2). It follows that Floc is proper as well. We shall now consider the operation of forming slice and coslice categories. ⊥ Construction 3.1.4. Let L ∶ C Ð→ ←Ð D ∶ R be an adjunction between categories which admit finite limits and colimits. Consider a map in D of the form f ∶ L(A) Ð→ B and let f ad ∶ A Ð→ R(B) be its adjoint. Then one obtains an induced adjunction ⊥ L/f ∶ C/A Ð→ ←Ð C/B ∶ R/f ,

where L/f (X Ð→ A) is the composed map L(X) Ð→ L(A) Ð→ B and R/f (Y Ð→ B) is the projection R(Y ) ×R(B) A Ð→ A (where the pullback is done along the map f ad ∶ A Ð→ R(B)). Similairely, one obtains an induced adjunction f

⊥ Lf / ∶ CA/ Ð→ ←Ð CB/ ∶ Rf / ,

where Lf / (A Ð→ X) = B Ð→ L(X) ∐L(A) B and Rf / (B Ð→ Y ) is the composed map A Ð→ R(B) Ð→ R(Y ). It is not hard to check that if L ⊣ R is a Quillen adjunction between model categories then L/f ⊣ R/f and Lf / ⊣ Rf / are Quillen adjunctions as well with respect to the corresponding slice/coslice model structures. f ad

Remark 3.1.5. In construction 3.1.4, if A is initial or B is terminal then the choice of f is unique. ⊥ In particular, any adjunction L ⊣ R induces canonical adjunctions L∗ ∶ C∗ Ð→ ←Ð D∗ ∶ R∗ and Ð→ ⊥ D Laug ∶ Caug ←Ð aug ∶ Raug , where for a category E we denote by E∗ = E∗/ the category of pointed objects (i.e., objects under the terminal obejct) and by Eaug = E/∅ the category of augmented objects (i.e., objects over the initial object). Remark 3.1.6. In the setting of construction 3.1.4 we have a natural isomorphism U/B ○ L/f ≅ L○U/A of left Quillen functors where U/A ∶ M/A Ð→ M and U/B ∶ N/B Ð→ N are the corresponding forgetful functors. If f ad ∶ A Ð→ R(B) is an isomorphism then we also have an isomorphism U/A ○ R/f ≅ R ○ U/B . Since U/A and U/B detect weak equivalences it follows that if L ⊣ R is a Quillen equivalence and f is an isomorphism then L/f ⊣ R/f is a Quillen equivalence. Similarly, if L ⊣ R is a Quillen equivalence and f ∶ L(A) Ð→ B is an isomorphism then Lf / ⊣ Rf / is a Quillen equivalence. Under suitable hypothesis the content of Remark 3.1.6 can be strengthened: ⊥ Lemma 3.1.7. Let L ∶ M Ð→ ←Ð N ∶ R be a Quillen adjunction between left proper (resp. right proper) model categories and let f ∶ L(A) Ð→ B be a map in N. Then:

(1) If the composed map f ′ ∶ L(Acof ) Ð→ L(A) Ð→ B be a weak equivalence and L ⊣ R is a Quillen equivalence then Lf / ⊣ Rf / (resp. L/f ⊣ R/f ) is a Quillen equivalences.

(2) If R (resp. L) preserves weak equivalences then Rf / (resp. L/f ) preserves weak equivalences. If L (resp. R) preserves weak equivalences and f ∶ L(A) Ð→ B (resp. f ad ∶ A Ð→ R(B)) is a trivial cofibration (resp. trivial fibration) then Lf / preserves weak equivalences .

20

Tangent categories of algebras over operads Proof. Let us prove the case where M and N are left proper. The right proper case can be op ⊥ deduced by applying the same argument to the opposite adjunction Mop Ð→ ←Ð N . To prove Ð→ ⊥ ⊥ (1), we first note that the composed MAcof / Ð→ ←Ð MA/ ←Ð NB/ is naturally isomorphic to the adjunction associated by Construction 3.1.4 to f ′ ∶ L(Acof ) Ð→ B. Since M is left proper the ⊥ adjunction MAcof / Ð→ ←Ð MA/ is a Quillen equivalence. It will hence suffice to prove the claim for ′ ⊥ f . We now note that Lf ′ / ∶ MAcof / Ð→ ←Ð NA/ is naturally isomorphic to the composed adjunction Ð→ Ð→ ⊥ ⊥ MAcof / ←Ð NL(Acof )/ ←Ð NB/ . By our assumption f ′ is a weak equivalence and since N is left ⊥ proper the adjunction NL(Acof )/ Ð→ ←Ð NB/ is a Quillen equivalence. It will hence suffice to show Ð→ ⊥ that the adjunction MAcof / ←Ð ML(Acof )/ is a Quillen adjunction. In other words, we have reduced to the case where A is cofibrant and f is the identity. But this now follows from Remark 3.1.6. Let us now prove (2). First it is clear that if R preserves weak equivalence then Rf / which is defined by Rf / (L(A) Ð→ Y ) = A Ð→ R(L(A)) Ð→ R(Y ) preserves weak equivalences. Now assume that L preserves weak equivalences and that f ∶ L(A) Ð→ B is a trivial cofibration. Then we can write Lf / as a composition MA/ Ð→ ML(A)/ Ð→ MB/ where the first functor clearly preserve weak equivalences and the second preserves weak equivalences because it is given by a pushout along a trivial cofibration. Definition 3.1.8. Let M be a model category and F ∶ M Ð→ ModCat be a proper relative functor. Let π ∶ ∫F M Ð→ M be the model fibration associated to F and let s ∶ M Ð→ ∫M F be a section of π (not necessarily left or right Quillen). We will denote by Fs/ ∶ M Ð→ ModCat the functor which is given on the level of objects by Fs/ (A) = F(A)s(A)/ and on the level of morphisms by the adjunctions Fs/ (f ∶ A Ð→ B) = (f! )s(f )/ ∶ F(A)s(A)/

Ð→ ⊥ ←Ð

F(B)s(B)/ ∶ (f ∗ )s(f )/ .

of Construction 3.1.4. Similarly, we define F/s ∶ M Ð→ ModCat using the associated slice categories. Corollary 3.1.9 (Slicing in families). Let M be a model category and F ∶ M Ð→ ModCat be a proper relative functor such that F(A) is left proper (resp. right proper) for every A ∈ M. Let π ∶ ∫F M Ð→ M be the model fibration associated to F and let s ∶ M Ð→ ∫M F be a section of π (not necessarily left or right Quillen) such that s preserves weak equivalences and trivial cofibrations (resp. trivial fibrations). Then the functor Fs/ (resp. F/s ) of Definition 3.1.8 is proper and relative. Proof. This follows directly from Lemma 3.1.7. Corollary 3.1.10. Let M be a model category and F ∶ M Ð→ ModCat be a proper relative functor satisfying the following conditions: (1) F(A) is a left proper combinatorial model category for every A ∈ M.

(2) If f ∶ A Ð→ B is a trivial cofibration in M then the terminal map f! (∗) Ð→ ∗ is a trivial cofibration. Then the functor F∗ (A) = F(A)∗ is proper and relative.

Proof. Let s ∶ M Ð→ ∫M F be the terminal section. Then s sends trivial cofibrations to trivial cofibrations by Condition (2) above. Furthermore, if f ∶ A Ð→ B is a weak equivalence then f! is a left Quillen equivalence and hence the composed map f! (∗cof ) Ð→ f! (∗) Ð→ ∗ is a weak 21

Yonatan Harpaz, Joost Nuiten and Matan Prasma equivalence in F(B). It follows that s(f ) is a weak equivalence in ∫M F and so the desired result is now a particular case of Corollary 3.1.9. 3.2 Tangent bundles Our goal in this section is to use the formalism of [HP15] in order to assemble the various tangent categories TA M into a global category TM = ∫M Sp(MA//A ) with a suitable model structure, yielding a model for the tangent bundle ∞-category TM∞ . We begin by observing that the constructions developed in the previous section allow us to form the stabilization of a proper and relative functor: Proposition 3.2.1. Let M be a model category and F ∶ M Ð→ ModCat a proper relative functor satisfying the assumptions of Corollary 3.1.10. Then the functor A ↦ Sp(F∗ (A)) is proper and relative. Proof. Combine Corollary 3.1.10, Lemma 3.1.1 and Corollary 3.1.3 (where the assumptions of Corollary 3.1.3 are satisfied since any levelwise right Quillen equivalence between (N × N)-functor categories preserves and detects Ω-spectra). We will apply the above proposition to the family of model categories A ↦ M/A where M is a combinatorial proper model category. We first recall the following: Lemma 3.2.2. Let M be a proper combinatorial model category. Then the functor M Ð→ ModCat given by A ↦ M/A is proper and relative and satisfies the conditions of Corollary 3.1.10. Proof. The first part is [HP15, §6.1]. The second part follows from the fact that if f ∶ A Ð→ B is a map in A then the map f! (∗) Ð→ ∗ in M/B can be identified with f itself. Corollary 3.2.3. Let M be a proper combinatorial model category. Then the functor M Ð→ ModCat given by A ↦ Sp(MA//A ) = Sp((M/A )∗ ) is proper and relative. Remark 3.2.4. Proper combinatorial model categories include the category S of simplicial sets, as well as every simplicial presheaf category, and every left exact localization thereof. On the algebraic side, a theorem of Rezk ([Rez02, Theorem A]) shows that the model category of algebras over any cofibrant simplicial multi-sorted algebraic theory (and in particular, the theory of simplicial algebras over a cofibrant simplicial operad) is proper. On a similar note, if M is a proper model category in which every object is cofibrant and P is a cofibrant single-colored operad in M then the work of Fresse ([Fre09, §17.4]) shows that the model category of P-algebras in M is proper (see Remark 4.2.2). Definition 3.2.5. Let M be a proper combinatorial model category. We will refer to the model category arising from Corollary 3.2.3 as the tangent model category of M and denote it by TM ∶= ∫

A∈M

Sp(MA//A )

We will refer to the model fibration π ∶ TM Ð→ M as the tangent model fibration of M. Ð→ ∞ ⊥ Recall that for every A ∈ M we have a canonical adjunction Σ∞ + ∶ M/A ←Ð Sp(M/A ) ∶ Ω+ ∞ (see §2.2). The collection of right Quillen functors Ω+ ∶ Sp(MA//A ) Ð→ M/A yields a right Quillen morphism Sp (M(−)//(−) ) ⇒ M/(−) in the sense of [HP15, §4] and hence an induced right Quillen functor TM Ð→ ∫A∈M M/A = M[1] over M.

22

Tangent categories of algebras over operads Proposition 3.2.6. The diagram (TM)∞

❍❍ ❍❍ ❍❍ π∞ ❍❍❍ $

M∞

/ (M∞ )[1] ✉✉ ✉✉ ✉ev ✉ ✉ 1 z✉ ✉

(3.2.1)

exhibits (TM)∞ as the tangent bundle to M∞ in the sense of [Lur14, Definition 7.3.1.9]. Proof. By [HP15, Proposition 3.1.2] the map π∞ is a coCartesian map whose fibers are the underlying ∞-categories of Sp(MA//A ). By [Lur09, Proposition A.3.7.6] these fibers are presentable and by Corollary 2.2.6 they are also stable. Proposition 2.2.5 now implies that the map (∫M Sp(MA//A ))∞ Ð→ (M∞ )[1] is a stable envelope of (M∞ )[1] Ð→ M∞ in the sense of [Lur14, Definition 7.3.1.1] and hence exhibits (∫M Sp(MA//A ))∞ as the tangent bundle of M∞ . Proposition 3.2.7. A Quillen pair L ∶ M o ⊥ N ∶ R of proper combinatorial model categories / induces a Quillen pair TL ∶ TM o ⊥ TN ∶ TR such that the following diagram of Quillen functors commutes: /

TM o

/



TN

πM

πN



Mo

/ 

N



Proof. For any object A ∈ M, the Quillen adjunction L ⊣ R induces a Quillen adjunction Sp (MA//A ) o



/

Sp (NLA//LA )

which fits into a left Quillen morphism Sp (M(−)//(−) ) ⇒ Sp (N(−)//(−) ) in the sense of [HP15, / §4]. We then get a Quillen adjunction TL ∶ TM o ⊥ TN ∶ TR which is compatible with the corresponding tangent model fibrations (see [HP15, Theorem 4.1.3]). 3.3 Tensor structures on the tangent bundle Let M be a proper combinatorial model category which is tensored over a combinatorial symmetric monoidal (or SM for short) model category S. Our goal in this section is to show that in favorable cases the tangent bundle TM inherits a natural tensor structure over S. Such a structure is useful when considering the tangent bundles of (enriched) functor categories, as we will see in§3.4. Recall that if A is a set then A∗ = A ∪ {∗} is the free pointed set generated from A. We note that the functor A ↦ A∗ is a monoidal functor from sets with Cartesian products to pointed sets with smash product. In particular, if I is a category, then we may apply the functor (−)∗ to all its hom sets and obtain a category enriched in pointed sets. We may consider such a category as a category in which all hom sets are equipped with a distinguished 0-morphism, such that the composition of a 0-morphism and any other morphism is again a 0-morphism. We will denote by I∗ the category obtained from I by first freely adding an object ∗ and then pointifying all the hom sets as above. More explicitly, the object set of I∗ is Ob(I) ∪ {∗}, and we have HomI∗ (i, j) = HomI (i, j)∗ for every i, j ∈ I, and HomI∗ (i, ∗) = HomI∗ (∗, i) = {∗} for every i ∈ I. We may consider I∗ as obtained from I by freely adding a zero object.

23

Yonatan Harpaz, Joost Nuiten and Matan Prasma Now suppose that I = (I, I+ , I− ) is a Reedy category (see [Hov99, Definition 5.2.1]). Then it is easy to see that I∗ is again a Reedy category, where we consider ∗ ∈ I∗ as being the unique object of degree 0 and such that for every i the unique map ∗ Ð→ i is in I+∗ = (I∗ )+ and the unique map i Ð→ ∗ is in I−∗ . Lemma 3.3.1. Let I be a Reedy category and M a proper model category. Then we have a natural equivalence of categories I∗ ∫ (MA//A )Reedy ≃ MReedy I

M

identifying the integral model structure on the left with the Reedy model structure on the right. Proof. One can easily verify that the functor ev∗ ∶ MI∗ Ð→ M is a biCartesian fibration which is classified by the functor M Ð→ Cat sending A to (MA//A )I . It follows that the two model categories have equivalent underlying categories. It therefore suffices to show that they have the same cofibrations and trivial cofibrations. We will treat the case of cofibrations. The same proof applies as well to trivial cofibrations.

Let ϕ ∶ F Ð→ G be a map in MI∗ which projects to f ∶= ev∗ (ϕ) ∶ F(∗) Ð→ G(∗) and let f! be the induced functor between the fibers of ev∗ . Under the equivalence of the previous paragraph, the induced map f! F Ð→ G corresponds to a map F′ Ð→ G∣I of functors from I to MG(∗)//G(∗) , where F′ is simply given by F′ (i) = F(i) ∐F(∗) G(∗). Since the forgetful functor (MA//A )I Ð→ MI preserves and detects Reedy (trivial) cofibrations, unwinding the definitions it suffices to show the following: if f is a cofibration, then ϕ is a Reedy cofibration if and only if the induced map F′ Ð→ G∣I is a Reedy cofibration in MI .

For an object i ∈ I let us denote by LIi ∶ MI Ð→ M and LIi ∗ ∶ MI∗ Ð→ M the corresponding i’th latching object functors. Our goal is to show that for i ∈ I, the map LIi ∗ (G) ∐ F(i) Ð→ G(i)

(3.3.1)

LIi ∗ (F)

is a cofibration if and only if the map LIi (G∣I ) ∐ F′ (i) Ð→ G(i)

(3.3.2)

LIi (F′ )

is a cofibration. For an object i ∈ I let I+/i ⊆ I/i be subcategory whose objects are the non-identity maps j → i in I+ and whose morphisms are maps in I+ over i, and let I+∗/i be the defined similarly. Note that I+∗/i is obtained from I+/i by freely adding an initial object. Consequently, the data of a diagram F ∶ I+∗/i Ð→ M is equivalent (by adjunction) to the data of a diagram F ∶ I+/i Ð→ MF(∗)/ . It follows that ⎤ ⎡ ⎥ ⎢ I∗ ⎥ ⎢ F(∗) = LIi (F∣I ) ∐ F(∗) F(j) F(j) = colim Li (F) = colim ∐ ⎥ ⎢ + j→i∈I j→i∈I+ ⎥ colim F(∗) ⎢ /i ∗/i LIi (F(∗)) ⎦ ⎣ + j→i∈I/i

and similarly LIi ∗ (G) = LIi (G∣I )



LIi (G(∗))

G(∗)

where by abuse of notation we considered F(∗) and G(∗) as constant functors I+ Ð→ M. We now

24

Tangent categories of algebras over operads see that both 3.3.1 and 3.3.2 can be identified with the colimit of the diagram LIi (F∣I )

F(i) o O

Id

O

/ LI (F∣I ) i O Id

F(∗) o

LIi (F(∗))

/ LI (F∣I ) i



LIi (G(∗))



 / LI (G∣I ) i

G(∗) o

in the category M/G(i) : for 3.3.1 we first compute the rows and for 3.3.2 we start with the columns, using that LIi preserves colimits for the middle column. Now let M be a proper combinatorial model category. Since N×N is a Reedy category with only increasing maps, the Reedy and the projective model strucures on (MA//A )N×N agree. We now N×N claim that TM can be viewed as a left Bousfield localization of ∫M (MA//A )N×N proj ≅ ∫M (MA//A )Reedy . Indeed, under the equivalence of Lemma 3.3.1 it suffices to identify TM with a left Bousfield (N×N) localization of the Reedy functor category MReedy ∗ . To describe a set of maps inducing this left

Bousfield localization, observe that a Reedy fibrant object X∗ Ð→ X●● Ð→ X∗ in M(N×N)∗ is fibrant in TM if and only if the map Xn,m Ð→ X∗ is a weak equivalence for every n ≠ m and for every n ≥ 0 the square Xn,n

/ Xn+1,n





(3.3.3) / Xn+1,n+1

Xn+1,n

is homotopy Cartesian (indeed, since X∗ is fibrant this is the same as saying that 3.3.3 is homotopy Cartesian when considered as a square in MX∗ //X∗ ). Since M is combinatorial there exists a set of objects D such that a map f ∶ A Ð→ B in M is a weak equivalence if and only if MaphM (D, A) Ð→ MaphM (D, B) is a weak equivalence of spaces for every D ∈ D. We may now define STM to be the set of maps h∗ ⊗ D Ð→ hn,m ⊗ D

n ≠ m, D ∈ D

together with the maps ⎡ ⎤ ⎢ ⎥ ⎢hn+1,n ∐ hn,n+1 ⎥ ⊗ D Ð→ hn,n ⊗ D n ≥ 0, D ∈ D ⎢ ⎥ ⎢ ⎥ h n+1,n+1 ⎣ ⎦ where for x ∈ (N×N)∗ we denote by hx ∶ (N×N)∗ Ð→ Set the corresponding corepresentable functor and ⊗ denotes the natural tensoring of M over sets. Arguing as in the proof of Lemma 2.1.6 (N×N) we see that the integral model structure on TM is the left Bousfield localization of MReedy ∗ with respect to STM . Remark 3.3.2. The above remarks allow one to define the tangent bundle TM for a left proper model category M which is not necessarily right proper. Indeed, one just defines TM as the (N×N) left Bousfield localization of MReedy ∗ with respect to the set of maps STM . The resulting model category comes with a natural left and right Quillen functor π ∶ TM Ð→ M, evaluating on ∗. Although π is not always a model fibration when M is not right proper the induced map of ∞-categories π∞ ∶ TM∞ Ð→ M∞ still exhibits TM∞ as a tangent bundle to M∞ (in the sense of

25

Yonatan Harpaz, Joost Nuiten and Matan Prasma Proposition 3.2.6). Indeed, let j ∶ [1] Ð→ (N × N)∗ be the inclusion of the arrow (0, 0) Ð→ ∗ in (N × N)∗ . Restriction along j induces a diagram of right Quillen functors TM❏

❏❏ ❏❏ π ❏❏$

j∗

M.

/ M[1] proj rr r r ev yrr 1

This induces a triangle of ∞-categories of the form (3.2.1). To see that this realizes TM∞ as the tangent bundle to M∞ , let TM′ ⊆ TM be the full relative subcategory on those fibrant objects in TM whose image under π is fibrant-cofibrant and let M′[1] ⊆ M[1] be the full subcategory of fibrations with fibrant-cofibrant codomain. Both of these inclusions are equivalences of relative categories, with homotopy inverse given by fibrant-cofibrant replacement. Now observe that TM′ is the Grothendieck construction of the relative functor T(−) M ∶ (Mfib − cof )op Ð→ RelCat, associating to each fibrant object in M the relative category TA Mfib . Similarly M′ is obtained by integrating A ↦ (M/A )fib over all fibrant-cofibrant A and j ∗ ∶ TM′ Ð→ M′[1] is obtained by fib integrating the natural relative functor Ω∞ Ð→ (M/A )fib . The result then follows from + ∶ TA M Proposition 2.2.5 and [Hin13, Proposition 2.1.4]. Now suppose that M is tensored over a combinatorial SM model category S, so that M(N×N)∗ inherits a natural levelwise tensor structure (see [Bar07]). The following proposition shows that if S is tractable, i.e., combinatorial and such that the domains of the generating (trivial) cofibrations are cofibrant, then there is a simple criterion for determining when a tensor structure over S descends to a given left Bousfield localization. Proposition 3.3.3. Let S be a SM tractable model category with generating cofibrations I = {Kα Ð→ Lα } and M a left proper combinatorial model category which is tensored and cotensored over S. Let LS M be a left Bousfield localization of M at a set of maps S between cofibrant objects. If cotensoring with a cofibrant object in S preserves S-local objects in M then the tensor-cotensor structure of M over S is compatible with the localized model structure. In particular, LS M inherits a tensor-cotensor structure over S. Proof. It is enough to check that the pushout-product of a map i ∶ Kα Ð→ Lα in I against a trivial cofibration X Ð→ Y in LS M is a local weak equivalence. If cotensoring with a cofibrant object K ⊥ K in S preserves S-local objects in M, then the Quillen adjunction K ⊗ (−) ∶ M Ð→ ←Ð M ∶ (−) Ð→ K ⊥ descends to a Quillen pair K ⊗ (−) ∶ LS M ←Ð LS M ∶ (−) by Lemma 3.1.2. Since the objects Kα and Lα are cofibrant by tractability of S, the maps Kα ⊗ X Ð→ Kα ⊗ Y and Lα ⊗ X Ð→ Lα ⊗ Y are trivial cofibrations in LS M. Since the cobase change of a trivial cofibration is again a trivial cofibration, it follows from the 2-out-of-3 property in LS M that the pushout-product map Kα ⊗ Y ∐ Lα ⊗ X Ð→ Lα ⊗ Y Kα ⊗X

is a weak equivalence in LS M. Corollary 3.3.4. Let M be a combinatorial proper model category which is tensored and cotensored over a tractable SM model category S. Then TM is naturally tensored and cotensored over S, where the tensor structure is given by K ⊗ (B Ð→ X●● Ð→ B) = K ⊗ B Ð→ K ⊗ X●● Ð→ K ⊗ B and the cotensor is given by (B Ð→ X●● Ð→ B)K = B K Ð→ (X●● )K Ð→ B K .

26

Tangent categories of algebras over operads Proof. By [Bar07, Lemma 4.2] the levelwise tensor-cotensor structure over S is compatible with the Reedy model structure on M(N×N)∗ . To verify the condition of Proposition 3.3.3, is suffices to prove that cotensoring with a cofibrant object K ∈ S preserves fibrant objects in TM, i.e. Ω-spectra. But this follows from the fact that cotensoring with K preserves weak equivalences between fibrant objects and homotopy Cartesian squares involving fibrant objects, since (−)K ∶ M Ð→ M is a right Quillen functor. Example 3.3.5. If M is a simplicial combinatorial proper model category then TM is naturally a simplicial model category. Example 3.3.6. If M is an SM tractable proper model category then TM is naturally tensored over M. 3.4 Tangent bundles of functor categories Let S be tractable SM model category and let M be a left proper combinatorial model category tensored over S. As described in the previous section, if M is also right proper then we can construct the tangent bundle TM model category using the machiniary of [HP15], in which case the resulting category can be identified with a suitable left Bousfield localization of a Reedy functor category of the form M(N×N)∗ . As explained in Remark 3.3.2, when M is not right proper we may simply define TM to be the the above functor category. The canonical projection TM Ð→ M is then not necessarily a model fibration, but is still a model for the ∞-categorical tangent bundle. Let I be a small S-enriched category. By Corollory 3.3.4 the model category TM inherits a natural S-enrichement, and we may hence consider the category FunS (I, TM) of S-enriched functors I Ð→ TM. Unless otherwise stated we will consider categories of enriched functors as endowed with the projective model structure. We then have the following proposition: Proposition 3.4.1. We have a natural equivalence of categories over FunS (I, M): T FunS (I, M) ≅ FunS (I, TM).

(3.4.1)

In other words, the tangent bundle of a functor category into M (endowed with the projective model structure) is the category of functors into the tangent bundle of M (endowed with the projective model structure). Proof. By Lemma 3.3.1 and the discussion following it we may identify the left hand side of 3.4.1 with suitable left Bousfield localizations of the iterated projective model structure on FunS (I, M)(N×N)∗ , and the right hand side with a suitable left Bousfield localization of the iterated projective model structure on FunS (I, M(N×N)∗ ). Both of these categories (before localization) can be identified with the category of enriched functors I ⊗ (N × N)+ Ð→ M, endowed with the projective model structure. Here the tensor product of an enriched category by a discrete category is given by the Cartesian product on object sets and by the natural tensoring of S over sets on mapping objects. Under this identification we now see that the two left Bousfield localizations coincide. Indeed, a levelwise fibrant enriched functor F ∶ I ⊗ (N × N)+ Ð→ M is local in either the left or the right hand side of 3.4.1 if and only if for every i ∈ I the restriction F∣i×(N×N) is an Ω-spectrum object of MF(i,∗)//F(i,∗) . Remark 3.4.2. Since the equivalence 3.4.1 is an equivalence over FunS (I, M) we obtain for every F ∶ I Ð→ M an induced equivalence of categories Sp(FunS (I, M)F//F ) Ð→ FunS/M (I, TM) ≅

27

(3.4.2)

Yonatan Harpaz, Joost Nuiten and Matan Prasma where FunS/M (I, TM) denotes the category S-enriched lifts

I



TM ⑤>





π



/M

F

By transport of structure one obtains a natural model structure FunS/M (I, TM), which coincides, in this case, with the corresponding projective model structure (i.e., where weak equivalences and fibrations are defined objectwise). When M is furthermore stable the situation becomes even simpler. Indeed, in this case FunS (I, M) is stable and is Quillen equivalent to both sides of (3.4.2) under mild assumptions. This follows from Corollary 2.2.7 and the following lemma: Lemma 3.4.3. Let M be a stable model category equipped with a strict zero object 0 ∈ M and let A ∈ M be an object. Assume that either A is cofibrant or M is left proper and that either A is fibrant or M is right proper. Then the adjunction ⊥ (−) ∐ A ∶ M Ð→ ←Ð MA//A ∶ ker

induced by applying Construction 3.1.4 twice to the map 0 Ð→ A is a Quillen equivalence. Proof. The functor ker sends an object A Ð→ C Ð→ A over under A to the object ker(p) = C ×A 0, while its left adjoint sends an object B to the object A Ð→ B ∐ A Ð→ A, where the first map is the inclusion of the second factor and the second map restricts to the identity on A and to the 0-map on B. p

Let B ∈ M be a cofibrant object and A Ð→ C Ð→ A a fibrant object of MA//A . We have to show that a map f ∶ B ∐ A Ð→ C over-under A is a weak equivalence if and only if the adjoint map f ad ∶ B Ð→ C ×A 0 is a weak equivalence. These two maps fit into a diagram in M of the form p

0

/B



 / B ∐A

A

f ad

/ C ×A 0

f

 /C

/0 p

 /A

where the left square is coCartesian and the right square is Cartesian. Under the assumption that A is cofibrant or M is left proper the left square is homotopy coCartesian. Under the assumption that A is fibrant or M is right proper the right square is homotopy Cartesian. Since the external rectangle is clearly homotopy Cartesian and coCartesian and since M is stable, it follows from Remark 2.2.2 and the pasting lemma for homotopy (co)Cartesian squares that all squares in this diagram are homotopy Cartesian and coCartesian. This means in particular that the top middle horizontal map is an equivalence iff the bottom middle horizontal map is one. Corollary 3.4.4. Let M be a proper combinatorial strictly pointed stable model category. Then MA//A is stable as well, and we may identify Σ∞ + (A) ∈ Sp(MA//A ) ≃ MA//A with A ∐ A. In

particular, the image of Σ∞ + (A) under the composed equivalence Sp(MA//A ) Ð→ MA//A Ð→ M is just A itself. ≃



Corollary 3.4.5. Let M be a proper combinatorial strictly pointed stable model category. Then

28

Tangent categories of algebras over operads the Quillen equivalences of Lemma 3.4.3 assemble to a Quillen equivalence ≃

⊥ M × Sp(M) Ð→ ←Ð TM.

In particular, TM is Quillen equivalent to M × M.

Proof. Apply [HP15, Theorem 4.1.3] and Corollary 2.2.7. Corollary 3.4.6. Let M be a proper combinatorial strictly pointed stable model category tensored over a tractable SM model category S. Then for every S-enriched functor F ∶ I Ð→ M the tangent model category TF FunS (I, M) is Quillen equivalent to FunS (I, M). 4. Stabilization of algebras over operads In this section we will turn our attention to the case of algebras over colored operads and establish the main results of this paper, as described in the introduction. We will begin in §4.1 by recalling preliminaries and establishing notation concerning colored symmetric operads and their algebras. In §4.2 we will prove the main core results, relating the the stabilization of the category of augmented algebras over an operad P to the stabilization of the category of algebras over a suitable 1-skeleton P≤1 of P. Our proof makes use of a well-known filtration on free algebras, but requires a somewhat detailed variant thereof, which we develop in the appendix A. We then show in §4.3 how this comparison result can be used to equate the tangent categories of algebras with tangent categories of modules. The latter can then be described explicitly as suitable categories of enriched lifts, using §3.4. In the last section §4.4 we show how to harness the results of §4.2 to obtain analogous results in the ∞-categorical setting. 4.1 Preliminaries on colored operads Throughout this section, let M be a symmetric monoidal (SM) locally presentable category in which the tensor product distributes over colimits. Definition 4.1.1. Let Σ be the skeleton of the groupoid of finite sets and bijections between them consisting of the sets n = {1, ..., n} for every n (where 0 = ∅ by convention). In particular, the automorphism group Aut(n) can be identified with the symmetric group on n elements. For every n we will denote by n+ = n ∐{∗} = {∗, 1, ..., n}. We consider the association n ↦ n+ as a functor ι ∶ Σ Ð→ Set. For a set W we will denote by ΣW = Σ ×Set Set/W the comma category associated to ι. More explicitly, we may identity objects of ΣW with pairs (n, w) where n is an object of Σ and w ∶ n+ Ð→ W is a map of sets. We think if w as a vector of elements of W indexed n+ and will denote the individual components by w∗ , w1 , ..., wn . We will refer to n as the arity of the object w. We will generally abuse notation and refer to the object (n, w) simply by w, suppressing the explicit reference to the arity. We note that ΣW is a groupoid and denote the automorphism group of w by Aut(w). If w has arity n then Aut(w) can be identified with the subgroup of Aut(n) consisting of those permutations σ such that w ○ σ = w. Definition 4.1.2. A W -symmetric sequence in M is a functor X ∶ ΣW Ð→ M. We will denote by SymSeqW (M) the category of W -symmetric sequences. Recall that the category SymSeqW (M) admits a (non-symmetric) monoidal product known as the composition product, which can be described as follows: consider the groupoid Ar

29

Yonatan Harpaz, Joost Nuiten and Matan Prasma whose objects are (not necessarily bijective) maps of finite sets φ ∶ k Ð→ n and whose morphisms are natural bijections between such maps. There is a functor dom ∶ Ar Ð→ Set sending φ ∶ k Ð→ n to k+ and a functor sum ∶ Ar Ð→ Set sending φ ∶ k Ð→ n to (k ∐ n)+ Let DecW = Ar ×Set Set/W be the comma category associated to the functor sum. Explicitly, the objects of DecW are given by tuples (φ, v) consisting of a map of finite sets φ ∶ k Ð→ n and a map v ∶ (k ∐ n)+ Ð→ W . We will denote by φ+ ∶ k ∐ n Ð→ n the map which restricts to φ on k and to the identity on n. We note that the identity n Ð→ n induces a natural section of φ+ , and so we may consider φ+ as a pointed object of Set/n . In particular, for every i = 1, ..., n the inverse −1 image φ−1 + (i) = φ (i) ∪ {i} is naturally a pointed set with base point i. If v ∶ (k ∐ n)+ Ð→ W is ∶ φ−1 an object of ΣW then we may consider v∣φ−1 + (i) Ð→ W as a map from a the pointification + (i) −1 of φ (i) to W . Since Σ is a skeleton of the category of finite sets and bijection we can consider the association (φ ∶ k Ð→ n, v) ↦ (φ−1 (i), v∣φ−1 ) as a functor DecW Ð→ ΣW . + (i) If X and Y are two W -symmetric sequences, one defines their composition product by X ○Y = Lanπ (X ⊠ Y ) where X ⊠ Y ∶ DecW Ð→ M is given by ) (φ ∶ k Ð→ n, v) ↦ X(v∣n+ ) ⊗ ⊗ Y (v∣φ−1 + (i) i∈n

Explicitly, for w of arity k, the composition product is given by the formula: ⎤ ⎡ ⎥ ⎢ ⎢ )⎥ ⊗Aut(φ,v) Aut(w) (4.1.1) (X ○ Y )(w) = ∐ ⎢X(v∣n+ ) ⊗ ⊗ Y (v∣φ−1 + (i) ⎥ ⎥ i∈n [(φ,v)] ⎢ ⎦ ⎣ where the coproduct runs over all isomorphism classes of objects (φ ∶ k Ð→ n, v ∶ (k ∐ n)+ Ð→ W ) ∈ DecW such that v∣k+ = w, while Aut(φ, v) is the automorphism group (φ, v) in DecW . We refer the reader to [PS14] for more details on the composition product (which is called the “substitution product” in loc.cit.). Definition 4.1.3. A W -colored (symmetric) operad P is a monoid object in SymSeqW (M) with respect to the composition product described above. We will usually not mention the term “symmetric” explicitly when discussing such operads, and will omit the term “W -colored” whenever W is clear in the context. We will denote by OpW (M) the category of W -colored operads in M. Explicitly, a W -colored operad P consists of objects P(w), considered as parametrizing n-ary operations from w1 , ..., wn to w∗ , and for every φ ∶ k Ð→ n and v ∶ (k ∐ n)+ Ð→ W as above, a composition operation ) Ð→ P(v∣k+ ), P(v∣n+ ) ⊗ ⊗ P (v∣φ−1 + (i) i∈n

subject to the natural equivariance, associativity and unitality conditions. Definition 4.1.4. Let P be a W -colored operad in M. A left (resp. right) module over P is a W -symmetric sequence in M which is a left (resp. right) module over P with respect to the composition product above. A P-algebra is a left P-module A ∈ SymSeqW (M) which is concentrated in arity 0, i.e., such that A(w) = ∅M whenever w is of arity n > 0. Explicitly, a P-algebra is given by an object A ∈ MW , together with maps P(w) ⊗ A(w1 ) ⊗ ... ⊗ A(wn ) Ð→ A(w∗ ) 30

Tangent categories of algebras over operads subject to the natural equivariance, associativity and unitality constraints. We denote by AlgP (M) the category of P-algebras and algebra maps. When there is no possibility of confusion we will also denote AlgP (M) simply by AlgP . The groupoid ΣW can be decomposed as a disjoint union ΣW ≅ ∐n≥0 ΣnW where ΣnW is the full subgroupoid consisting of objects of arity n. Let jn ∶ ΣnW Ð→ ΣW be the inclusion of ΣnW and m tn ∶ Σ≤n W Ð→ ΣW the inclusion of ∐m≤n ΣW . Definition 4.1.5. Let P be a W -colored symmetric sequence in M. We define the arity n part of P to be the W -symmetric sequence Pn ∶= Lanjn jn∗ P and the n-skeleton of P to be the W symmetric sequence P≤n ∶= Lantn t∗n P. When n = 0, we denote by P+0 the free W -colored operad generated from the W -symmetric sequence P0 = P≤0 . Explicitly, the symmetric sequence Pn (resp. P≤n ) is given by Pn (w) = P(w) for w of arity n (resp. artiry ≤ n) and Pn (w) = ∅ for w of arity ≠ n (resp. arity > n). The operad P+0 has no non-trivial m-ary operations for m > 1 (i.e., the corresponding objects of m-ary operations are all initial), while P+0 (w) = P0 (w) for w of arity 0 and its 1-ary operations are only identity maps. Let P be a W -colored operad. Then P≤1 and P1 inherit from P a natural operad structure. Furthermore, Pn inherits from P the structure of a P1 -bimodule and P≤n inherits from P the structure of a P≤1 -bimodule. Similarly, P0 = P≤0 inherits from P the structure of a P-bimodule, and is in particular a P-algebra. As such, it is the initial P-algebra. An augmented P-algebra in M is a P-algebra A equipped with a map of P-algebras A Ð→ = (AlgP )/P0 the P0 , where P0 is considered as the initial P-algebra. We will denote by Algaug P category of augmented P-algebras. We note that by construction the category Algaug P is pointed. Example 4.1.6. A W -colored operad in M with only 1-ary operations is precisely an M-enriched category with W as its set of objects. Consequently, if P is an operad in M then we will often consider P1 as an M-enriched category, and will refer to it as the underlying category of P. When P is an M-enriched category (i.e., when P = P1 ), a P-algebra is simply an enriched functor P Ð→ M. Every morphism of W -coloured operads f ∶ P Ð→ Q induces an extension-restriction adjunction

f! ∶ AlgP o ⊥ AlgQ ∶ f ∗. Let ∫P∈Op AlgP be the Grothendieck construction of the functor P ↦ AlgP and f ↦ f! . As in [BM09, Definition 1.5], one may consider the functor /

OpW Ð→ ∫

P∈Op

AlgP

sending a W -colored operad P to the pair (P, P0 ) consisting of P and its initial P-algebra. This functor admits a left adjoint Env ∶ ∫

P∈OpW

AlgP Ð→ OpW def

associating to a pair (P, A) of an operad P and a P-algebra A a new operad PA = Env(P, A) ∈ OpW . Following [BM09] we will refer to PA as the enveloping operad of A, and refer to the A M-enriched category PA 1 as the enveloping category of A. The category of algebras over P is equivalent to the category (AlgP )A/ of P-algebras under A (see [PS14, Proposition 4.4(iv)]). When A = P0 is the initial P-algebra the natural map P Ð→ PA is an isomorphism ([PS14, Proposition 4.4(i)]).

31

Yonatan Harpaz, Joost Nuiten and Matan Prasma Definition 4.1.7. Let P be an operad and A a P-algebra. An A-module is an algebra over PA 1, i.e., an M-enriched functor from the enveloping category of A to M. We will denote by ModPA (M) the category of A-modules in M. When there is no possibility of confusion we will also denote ModPA (M) simply by ModPA . Unwinding the definition, one find that a module over a P-algebra A is given by an object M ∈ MW together with action maps ⎡ ⎤ ⎢ ⎥ ⎢ P(w) ⊗ ⎢ ⊗ A(wi )⎥ ⎥ ⊗ M (wk ) ⎢i∈n∖{k} ⎥ ⎣ ⎦

/ M (w∗ )

subject to natural equivariance, associativity and unitality conditions (cf. [BM09, Definition 1.1] for the 1-colored case). Remark 4.1.8. If P is an operad concentrated in arity ≤ 1 then P is naturally isomorphic to the enveloping operad (P1 )P0 of P0 as a P1 -algebra. Considering P1 an an M-enriched category and P0 ∶ P1 Ð→ M as an enriched functor we may then identify AlgP≤1 with the coslice category Fun(P1 , M)P0 / . For example, if A is a P-algebra then the category of PA ≤1 -algebras is equivalent A to the category of PA -algebras under P , i.e. A-modules M equipped with a map of A-modules 1 0 A,+ A + A Ð→ M . Similarly, the operad P≤0 = (P )≤0 is the operad whose algebras are objects V ∈ MW equipped with a map A Ð→ V in MW . 4.2 The comparison theorem In this section we will specialize to the case where M is not just an SM locally presentable category, but a combinatorial SM model category. Recall that an operad P is called admissible if the model structure on M transfers to the category AlgP of P-algebras. When P is admissible we will also consider the category Algaug of augmented algebras as a model category with its P slice model structure. We will say that P is stably admissible if it is admissible and in addition the stable model structure on Sp(Algaug P ) exists. One case where stable admissibility is easy to verify is when P is 1-skeletal, i.e., P = P≤1 . Indeed, recall from Remark 4.1.8 that a 1-skeletal operad P is simply an M-enriched category P1 together with an enriched functor P0 ∶ P1 Ð→ M. The category of P-algebras is then equivalent to the category Fun(P1 , M)P0 / of enriched functors P1 Ð→ M under P0 . In this case we can endow Fun(P1 , M)P0 / with the coslice model structure associated to the projective model structure on Fun(P1 , M). Under the equivalence of categories AlgP ≅ Fun(P1 , M)P0 / this model structure is the one transferred from MW . In particular, any 1-skeletal operad in M is admissible. Furthermore, if M is left proper then Algaug P ≅ Fun(P1 , M)P0 //P0 is left proper and hence P is stably admissible. Our goal in this section is to prove the core comparison results of this paper, which relate the stabilization of Algaug to the stabilization of the simpler category Algaug P P≤1 . First recall that the map ϕ ∶ P≤1 Ð→ P induces an adjunction ϕaug ∶ Algaug ! P≤1 o

/



Algaug ∶ ϕ∗aug P

on augmented algebras (see Remark 3.1.5) and hence an adjunction aug aug ϕSp ! ∶= Sp(ϕ! ) ∶ Sp(AlgP≤1 ) o



/

∗ ∗ Sp(Algaug P ) ∶ Sp(ϕaug ) =∶ ϕSp

on spectrum objects. Finally, recall that an operad P is called Σ-cofibrant if the underlying

32

Tangent categories of algebras over operads symmetric sequence of P is projectively cofibrant. Our main theorem can then be formulated as follows: Theorem 4.2.1. Let M be a differentiable, left proper, combinatorial SM model category and let P be a Σ-cofibrant stably admissible operad in M. Assume either that M is right proper or that P0 is fibrant. Then the induced Quillen adjunction aug ϕSp ! ∶ Sp(Alg P≤1 ) o

/



∗ Sp(Algaug P ) ∶ ϕSp

is a Quillen equivalence. Remark 4.2.2. If every object in M is cofibrant and P is a single-colored cofibrant operad then P is admissible ([PS14, Theorem 1.0.2]) and the association A ↦ PA preserves weak equivalences ([Fre09, 17.4.B(b)]). This implies that AlgP (as well as Algaug P ) is left proper and hence that P is stably admissible. The work of [Rez02] gives the same conclusion for a colored cofibrant operad when M is the category of simplicial sets. It seems very likely that this statement holds for every cofibrant colored operad and every combinatorial model category M in which every object is cofibrant. The key ingredient in Theorem 4.2.1 is embodied in the following proposition, which does not assume that P is stably admissible. Proposition 4.2.3. Let M be a differentiable, left proper, combinatorial SM model category and let P be a Σ-cofibrant operad in M. Assume either that M is right proper or that P0 is fibrant. Consider the induced Quillen adjunction on N × N-diagrams, (abusively) denoted by N×N ϕaug ∶ (Algaug ! P≤1 )inj o



/

N×N ∗ (Algaug P )inj ∶ ϕaug .

Then the following two statements hold: (1) the right derived functor Rϕ∗aug preserves and detects stable equivalences between prespectra. h (2) for any levelwise cofibrant pre-spectrum object X●● in Algaug P≤1 , the derived unit map uX ∶ aug ∗ X●● Ð→ Rϕaug ϕ! X●● is a stable equivalence. We note that Theorem 4.2.1 is a direct consequence of Proposition 4.2.3. With an eye towards future applications, Proposition 4.2.3 was designed to give a slightly more general result, mostly in the sense that it does not require the assumption that the stable model structure on Sp(Algaug P ) exists. To describe an analogue of Theorem 4.2.1 in this more general setting let us recall some notation from §2. For a weakly pointed combinatorial model category N let us denote by Sp′ (N) ⊆ NN×N the full subcategory spanned by Ω-spectra, considered as a relative category with respect to levelwise equivalences, and by Sp′′ (M) ⊆ NN×N the full subcategory spanned by pre-spectra, considered as a relative category with respect to stable equivalences. We recall that the inclusion Sp′ (N) ⊆ Sp′′ (N) is an equivalence of relative categories and that the underlying ∞-categories of both Sp′ (N) and Sp′′ (N) model the ∞-categorical stabilization Sp(N∞ ) (see Remarks 2.2.9 and 2.2.10). Corollary 4.2.4. Let M be a differentiable, combinatorial SM model category and let P be a Σ-cofibrant operad in M. Assume either that M is right proper or that P0 is fibrant. Then the functor aug ′ Sp′ (Algaug P ) Ð→ Sp (Alg P≤1 )

33

Yonatan Harpaz, Joost Nuiten and Matan Prasma induced by the forgetful functor is an equivalence of relative categories. In particular, Sp(Algaug P≤1 ) aug is a model for the stabilization of (AlgP )∞ Ð→ (Algaug preserves Ω-spectra it follows Proof. Since the functor Rϕ∗aug ∶ (Algaug P≤1 ) P ) aug that Lϕ! preserves stable equivalences. By Proposition 4.2.3(1) Rϕ∗aug preserves stable equivalences between pre-spectra. It follows that Lϕaug and Rϕ∗aug induce relative functors between ! aug aug ′′ ′′ Sp (AlgP ) and Sp (AlgP≤1 ). Combining (1) and (2) of Proposition 4.2.3 we may conclude that the compositions Rϕ∗aug ○Lϕaug and Lϕaug ○Rϕ∗aug are both related to the corresponding identities ! ! aug ′′ by chains of natural weak equivalences. In particular, Rϕ∗aug ∶ Sp′′ (Algaug P ) Ð→ Sp (Alg P≤1 ) is aug ′ an equivalence of relative categories and hence Sp′ (Algaug P ) Ð→ Sp (Alg P≤1 ) is an equivalence of relative categories as well. N×N

N×N

The rest of this section is devoted to the proof of Proposition 4.2.3. We begin with some preliminary lemmas. We will say that a map f ∶ X Ð→ Y is null-homotopic if its image in Ho(M) factors through the zero object 0. Definition 4.2.5. Let M1 , ..., Mn , N be weakly pointed model categories and let F ∶ ∏i Mi Ð→ N be a functor (of ordinary categories). We will say that F is multi-reduced if F(X1 , ..., Xn ) is a weak zero object of N whenever all the Xi are cofibrant and at least one of them is a weak zero object. Lemma 4.2.6 (cf. [Lur14, Proposition 6.1.3.10]). Let M1 , ..., Mn and N b e combinatorial differentiable weakly pointed model categories and let F ∶ ∏i Mi Ð→ N be a multi-reduced functor. For i 1 n every collection Z●● ∈ MN×N of levelwise cofibrant pre-spectrum objects, the object F(Z●● , ..., Z●● ) i is stably equivalent to a weak zero object. Proof. For simplicity we will prove the claim for n = 2. The proof in the general case is similar. i i Since F is multi-reduced we have that F(X, Zk,m ) and F(Zm,k , X) are weak zero objects for every i = 1, 2, k ≠ m and any cofibrant X ∈ M. Consider the following commutative diagram 2 1 ) , Zn,n F(Zn,n

2 / F(Z 1 n,n+1 , Zn,n )







2 / F(Z 1 n,n+1 , Zn,n+1 ) ≃

1 2 ) F(Zn+1,n , Zn,n

2 / F(Z 1 n+1,n+1 , Zn,n )



2 n+1,n+1 , Zn,n+1 )

/ F(Z 1





1 2 F (Zn+1,n , Zn+1,n )



 2 / F(Z 1 n+1,n+1 , Zn+1,n )

 2 / F(Z 1 n+1,n+1 , Zn+1,n+1 )

We first note that all off-diagonal items in this diagram are weak zero objects. The external 1 2 1 2 square induces a map fn ∶ ΣF(Zn,n , Zn,n ) Ð→ F(Zn+1,n+1 , Zn+1,n+1 ) in the homotopy category Ho(N), which factors as 2 1 2 1 2 1 ) , Zn+1,n+1 ) Ð→ F(Zn+1,n+1 , Zn,n ) Ð→ F(Zn+1,n+1 , Zn,n ΣF(Zn,n

where the first map is induced from the top left square. Since the second map is null-homotopic, 1 2 it follows that the map fn is null-homotopic as well. By Corollary 2.4.6 F(Z●● , Z●● ) is stably equivalent to an Ω-spectrum whose value at the place (m, m) can be computed as a homotopy colimit of the form 2 2 1 1 2 1 ) Ð→ ... ) Ð→ Ω2 F(Zm+2,m+2 , Zm+2,m+1 , Zm+1,m+1 ) Ð→ ΩF(Zm+1,m+1 , Zm,m F(Zm,m gm+1

gm

34

Tangent categories of algebras over operads where the image of gi in Ho(N) is adjoint to fi and hence null-homotopic for every i ≥ m. Since a homotopy colimit of a sequence of null-homotopic maps is a weak zero object the desired result follows. Recall that for any map f ∶ X Ð→ Y in a category with a zero object 0, the cofiber of f , denoted cof(f ), is the object sitting in the pushout square X

f

/Y

(4.2.1) 



/ cof(f )

0

Lemma 4.2.7. Let M be a strictly pointed combinatorial model category and suppose that f ∶ X Ð→ Y is a levelwise cofibration between levelwise cofibrant pre-spectra in M. Then f is a stable equivalence if and only if the map 0 Ð→ cof(f ) is a stable equivalence. Proof. Under the assumptions of lemma the square 4.2.1 is homotopy coCartesian in MN×N . It follows that if f is a stable equivalence then 0 Ð→ cof(f ) is a stable equivalence. We shall now show that if 0 Ð→ cof(f ) is a stable equivalence then f is a stable equivalence. Note that if the model structure on Sp(M) exists then this is simply a consequence of Corollary 2.2.6 which implies that 4.2.1 becomes homotopy Cartesian when considered in Sp(M). If the stable model structure on Sp(M) does not exist one can see this formally by extending 4.2.1 to a diagram X 

0

f

/Y

/ Z1

 / cof(f )

✤❴  / X′



✤❴  /Y′

Z2

in which all the squares are homotopy coCartesian and Z1 , Z2 are weak zero objects. If 0 Ð→ cof(f ) is a stable equivalence then the map cof(f ) Ð→ Z2 is a stable equivalence and hence the map X ′ Ð→ Y ′ is a stable equivalence. On the other hand, since the external rectangles are homotopy coCartesian it follows that the map X ′ Ð→ Y ′ is a model for the induced map ΣX Ð→ ΣY on suspensions. Now for every Ω-spectra W we have Maph (X ′ , W [1]) ≃ Maph (X, ΩW [1]) ≃ Maph (X, W ) and the same for Y ′ . Since X ′ Ð→ Y ′ is a stable equivalence it now follows that f ∶ X Ð→ Y is a stable equivalence. Corollary 4.2.8. Let M be a combinatorial differentiable SM model category and let A1 , ..., An ∈ i M be a collection of cofibrant objects (with n ≥ 2). For each i = 1, ..., n let Ai Ð→ X●● Ð→ Ai be a levelwise cofibrant pre-spectrum object in MAi //Ai . Then the levelwise pushout-product i f●●

1 n 1 n ⊗n f●● ◻ ... ◻ f●● ∶ Q(f●● , ..., f●,● ) Ð→ X●●

is a stable equivalence and levelwise cofibration between levelwise cofibrant pre-spectrum objects in MA1 ⊗...⊗An //A1 ⊗...⊗An . n 1 is a levelwise cofibration ◻ ... ◻ f●● Proof. The pushout-product axiom in M implies that f●● between levelwise cofibrant objects. By Lemma 4.2.7 it will now suffice to show that the cofiber of this map is stably equivalent to the zero pre-spectrum in MA1 ⊗...⊗An //A1 ⊗...⊗An .

35

Yonatan Harpaz, Joost Nuiten and Matan Prasma Consider the functor G ∶ ∏ni=1 MAi //Ai Ð→ MA1 ⊗...⊗An //A1 ⊗...⊗An given by G(A1 Ð→ X 1 Ð→ A1 , ..., An Ð→ X n Ð→ An ) = cof(f 1 ◻ ... ◻ f n ). f1

fn

This functor is multi-reduced: indeed, the cofiber cof(f 1 ◻ ... ◻ f n ) is a levelwise weak zero object if at least one of the f i is a trivial cofibration in M, by the pushout-product axiom. Lemma 4.2.6 1 n now implies that the cofiber of the map f●● ◻ ... ◻ f●● is stably equivalent to a zero object, as desired. Let us now fix a combinatorial SM model category M, a set of colors W and a W -colored operad P in M. We will be interested in the following maps of operads ρ

O = P+≤0

❑❑❑ ❑❑ ψ %

P≤1

/P ⑦> ⑦ ⑦ ⑦⑦ ϕ

(4.2.2)

where ϕ is the natural ‘inclusion’ and ψ is induced from the map of symmetric sequences P≤0 Ð→ P≤1 . Upon passing to operadic algebras, this sequence yields a sequence of adjunctions: ψ! ⊥

AlgO o

ψ∗

/

AlgP≤1 o

ϕ! ⊥ ϕ∗

/

AlgP

(4.2.3)

By Remark 4.1.8 we may identify P≤1 -algebras with enriched functors P1 Ð→ M under P0 and O-algebras with objects in MW under P0 . Now if X is an O-algebra then the map of P≤1 -algebras P≤1 ○O X Ð→ P ○O X can be factored as a transfinite composition (see §A) P≤1 ○O X Ð→ P≤2 ○O X Ð→ ... Ð→ P≤n ○O X Ð→ ...

(4.2.4)

such that for every n ≥ 2 we have a pushout square P≤1 -algebras of the form / R+ (X) n

Rn− (X)

✤ ❴



P≤n−1 ○O X

(4.2.5) 

/ P≤n ○O X

where Rn− (X) and Rn+ (X) are described in § A. Now let X be an augmented O-algebra, so that X is equipped with a map X Ð→ O0 ≅ P0 to the initial O-algebra. We note that the free functor ρ! ∶ AlgO Ð→ AlgP is a left adjoint and hence preserves initial objects and augmented objects. In particular, ρ! (X) = P ○O X carries a natural map to the initial P-algebra P ○O O0 ≅ P0 . We note that P0 is also initial as a P≤1 -algebra, and hence the augmentation of P ○O X induces (by composition) an augmentation on each P≤n ○O X and on each Rn− (X), Rn+ (X). As a result, we may (and will) naturally consider 4.2.4 to be a filtration of ϕ∗aug ρaug ! (X) = P ○O X as an augmented P≤1 -algebra and the squares 4.2.5 to be pushout squares of augmented P≤1 -algebras. N×N Proposition 4.2.9. Let X●● ∈ (Algaug be a levelwise cofibrant pre-spectrum object in augO ) mented O-algebras. If P is Σ-cofibrant then the induced map

u ∶ P≤1 ○O X●● Ð→ P ○O X●● N×N is a stable weak equivalence in (Algaug . P≤1 )

Proof. Recall that the initial O-algebra O0 is the free O-algebra O ○ ∅ on the initial object in M. It follows that P≤n ○O O0 = P≤n ○O (O○∅) = P0 so that each P≤n ○O X●● is a pre-spectrum in Algaug P≤1 . 36

Tangent categories of algebras over operads Furthermore, since each Xm,k is levelwise cofibrant as an O-algebras we get that P≤1 ○O Xm,k is levelwise cofibrant as an P≤1 -algebra. Identifying P≤1 -algebras with functors P1 Ð→ M under P0 (and the transferred model structure with the cosliced projective one) we may conclude that the underlying O-algebra of P1 ○O Xm,k is cofibrant as well. Now the map u is a transfinite composition of the maps P≤1 ○O X●● Ð→ P≤2 ○O X●● Ð→ ... Ð→ P≤n ○O X●● Ð→ ... u2

u3

un

∗ N×N N×N Let ψaug ∶ (Algaug Ð→ (Algaug be the induced right Quillen functor. By ProposiP≤1 ) O ) ∗ ∗ tion 4.2.10 the functor ψaug is differentiable. Since ψaug preserves and detects weak equivalences, ∗ the second part of Corollary 2.4.8 implies that ψaug detects weak equivalences between pre∗ (P≤1 ○O X●● ) is levelwise cofibrant it will hence suffice spectra. By Remark 2.1.9 and since ψaug to prove that the maps ∗ ∗ (P≤n ○O X●● ) (P≤n−1 ○O X●● ) Ð→ ψaug ψaug

are stable equivalences and levelwise cofibrations of pre-spectra Algaug O .

We note that the functor ψ ∗ ∶ AlgP≤1 Ð→ AlgO is simply the induced restriction MPP10 / Ð→ MW P0 / ∗ and hence admits both a left and a right adjoint. It follows that ψaug preserves colimits and in particular the pushout square 4.2.5. By Remark 2.1.9 it will now suffice to show that for every w0 ∈ W the map ∗ ∗ (Rn+ (X●● ))(w0 ) (Rn− (X●● ))(w0 ) Ð→ ψaug ψaug

(4.2.6)

is a stable equivalence and a levewise cofibration between levelwise cofibrant pre-spectrum objects in MP0 (w0 )//P0 (w0 ) . Let us now fix a color w0 ∈ W and a number n ≥ 1. Let Σnw0 ⊆ ΣnW the full subgroupoid spanned by those w ∈ ΣnW such that w∗ = w0 (see §4.1, §A). We have the injectively cofibrant n ⊗n functor P⊗n 0 ∶ Σw0 Ð→ M given by P0 (w) = ⊗i∈n P0 (wi ). For k, m ∈ N consider the functors ⊗n n ⊗n Xk,m , Qk,m ∶ Σw0 Ð→ M with Xk,m (w) = ⊗i∈n Xk,m (wi ) and such that Qk,m(w) is the codomain of the pushout-product of the maps P0 (wi ) Ð→ Xk,m (wi ) for i = 1, ..., n. Corollary 4.2.8 now implies that the natural map ⊗n Q(X●● ) Ð→ X●●

(4.2.7)

is a stable equivalence and a levelwise cofibration between levelwise cofibrant pre-spectrum obΣn w jects in (Minj 0 )P⊗n //P⊗n . 0

0

Now recall that the coend operation Mproj0 × Minj 0 Ð→ M, which we will denote by F, G ↦ F ⊗Σnw G, is a left Quillen bifunctor (see, e.g., [Lur09, Remark A.2.9.27]). Let Pnw0 ∶ Σnw0 Ð→ M 0 be the functor w ↦ P(w). Since P is Σ-cofibrant we have that Pnw0 is projectively cofibrant, and so we may consider the left Quillen functor L given by the composition Σn w

Σn w

L∶

Pn (−) w0 ⊗Σn w0 Σn w0 / (Minj )P⊗n / 0

MPnw

0

⊗Σn P⊗n 0 / w 0

/M

P0 (w0 )/

where the second functor is the cobase change along the map Pnw0 ⊗Σnw P⊗n 0 Ð→ P0 (w0 ) induced 0 by the P-algebra structure of P0 . Corollary A.0.4 now tells us that the map (4.2.6) is obtained by levelwise applying (the augmented version of) L to the map (4.2.7), and is hence a stable equivalence and a levelwise cofibration between levelwise cofibrant pre-spectra, as desired. We are now almost ready to prove Proposition 4.2.3. Before that, let us quickly recall the following result, which is essentially contained in [PS14]:

37

Yonatan Harpaz, Joost Nuiten and Matan Prasma Proposition 4.2.10. Let M be a differentiable SM model category and let f ∶ P Ð→ Q be a map of Σ-cofibrant admissible operads in M.

∗ Then the derived forgetful functor Rfaug ∶ Algaug Ð→ Algaug preserves and detects weak Q P ∗ equivalences and preserves and detects sifted homotopy colimits. Furthermore, the functor faug is differentiable and the induced adjunction of ∞-categories

(f!aug )∞ ∶ (Algaug P )∞ o

/



∗ (Algaug Q )∞ ∶ (faug )∞

(4.2.8)

is monadic. Proof. Since the model structures on both AlgP and AlgQ are transferred from M we see that ∗ faug preserves and detects weak equivalences. By [PS14, Proposition 7.8] both derived forgetful functors AlgP Ð→ MW and AlgQ Ð→ MW preserve and detect sifted homotopy colimits. Since the forgetful functors Algaug Ð→ AlgP and Algaug Ð→ AlgQ preserves and detect homotopy P Q ∗ preserves colimits indexed by weakly contractible categories we may now conclude that faug and detects sifted homotopy colimits. Furthermore, since sequentual diagrams are in particular aug sifted and M is differentiable we now get that Algaug are differentiable and that f! ⊣ f ∗ P , Alg P is a differentiable Quillen adjunction. The last claim is just an application of the ∞-categorical Barr-Beck theorem (see [Lur14, Theorem 4.7.4.5]). aug Proof of Proposition 4.2.3. By 4.2.10 the right Quillen functor ϕ∗ ∶ Algaug P Ð→ Alg P≤1 is differenaug N×N N×N tiable and hence by Corollary 2.4.8 the right derived functor Rϕ∗aug ∶ (Algaug P )inj Ð→ (AlgP≤1 )inj preserves stable weak equivalences between pre-spectra. This proves Claim (1). Let us now prove (2).

We first note that by Remark 2.3.4 every (N × N)-diagram is stably equivalent to a prespectrum object. Furthermore, the collection of pre-spectra and the collection of stable weak equivalences are both closed under homotopy colimits of (N×N)-diagrams. By Proposition 4.2.10 we have that Rϕ∗aug preserves sifted homotopy colimits (since these are computed levelwise). This means that the collection of levelwise cofibrant pre-spectra X●● ∈ (Algaug P≤1 ) derived unit

N×N

for which the

uhX ∶ X●● Ð→ Rϕ∗aug ϕaug ! X●●

N×N

is a stable weak equivalence is closed under sifted homotopy colimits in (Algaug Since hoP≤1 ) motopy colimits and weak equivalences in functor categories are computed levelwise Proposition 4.2.10 implies that the free-forgetful adjunction N×N

(Algaug O )∞

o



/

(Algaug P≤1 )

N×N

(4.2.9)



is a monadic adjunction of ∞-categories. We note that both functors in this adjunction preserves pre-spectrum objects. Since the collection of pre-spectrum objects is closed under homotopy colimits it follows that 4.2.9 induces a monadic adjunction on the corresponding full subcategories spanned by pre-spectra. This means that every pre-spectrum object of (Algaug P≤1 )

N×N

can be written

a preas a sifted homotopy colimit of pre-spectra of the form P≤1 ○O X●● for X●● ∈ spectrum object. It will hence suffice to show that uhP≤1 ○O X●● is a stable weak equivalence for N×N (Algaug O )

N×N

every cofibrant pre-spectrum X●● ∈ (Algaug O )

. Since ϕ∗N×N preserves weak equivalences it will

38

Tangent categories of algebras over operads suffice to prove that the actual unit map uP≤1 ○O X●● ∶ P≤1 ○O X●● Ð→ ϕ∗Sp ϕSp ! (P≤1 ○O X●● ) = P ○P≤1 P≤1 ○O X●● = P ○O X●● is a stable weak equivalence. But this is exactly the content of Proposition 4.2.9, and so the proof is complete. 4.3 Tangent categories of algebras and modules Let M be a left proper combinatorial differentiable SM model category and let P be an admissible operad in M. Let A ∈ M be a fibrant algebra such that the tangent model structure TA AlgP = Sp((AlgP )A//A ) exists. Our goal in this section is to explain how Theorem 4.2.1 can be used to identify TA AlgP with the stabilization of a suitable module category, or alternatively, as a suitable category of enriched lifts. If the stable model structure on TA AlgP does not exists one may still ′ consider the relative category TA AlgP = Sp′ ((AlgP )A//A ) (see Remark 2.2.9) which is always a model for the associated tangent ∞-category. In this case the discussion below can be applied ′ instead to TA AlgP . Recall the enveloping operad PA = Env(P, A) (see§4.1) whose characteristic property is a natural equivalence of categories AlgPA ≅ (AlgP )A/ . Under this equivalence, the identity map A Ð→ A exhibits A as the initial PA -algebra, so that Algaug A ≃ (Alg P )A//A . We may hence write aug P the tangent model category at A as TA AlgP = Sp(AlgPA ). ). The category AlgPA is Theorem 4.2.1 now gives a Quillen equivalence TA AlgP ≃ Sp(Algaug PA (ModPA )A/

just the category the following corollary:

≤1

≤1

of A-modules in M under A (see Remark 4.1.8). We hence obtain

Corollary 4.3.1. Let M be a differentiable, left proper, combinatorial SM model category and let P be an operad. Let A be a P-algebra such that PA is a stably admissible and Σ-cofibrant operad, and assume either that A is fibrant or that M is right proper. Then restriction along A ϕ ∶ PA ≤1 Ð→ P yields a right Quillen equivalence ϕ∗Sp ∶ TA AlgP = Sp((AlgP )A//A )



P / Sp((ModP ) A A//A ) = TA ModA .

(4.3.1)

Removing the conditions that M is left proper and that PA is stably admissible and replacing Theorem 4.2.1 by Corollary 4.2.4 we obtain the following variant of Corollary 4.2.4: Corollary 4.3.2. Let M be a differentiable combinatorial SM model category and let P be an operad. Let A be a P-algebra such that PA is Σ-cofibrant operad, and assume either that A is A fibrant or that M is right proper. Then restriction along ϕ ∶ PA ≤1 Ð→ P induces an equivalence of relative categories ′ ϕ∗Sp ∶ TA AlgP = Sp′ ((AlgP )A//A )



P ′ / Sp′ ((ModP ) A A//A ) = TA ModA .

(4.3.2)

Remark 4.3.3. Work of Fresse ([Fre09]) shows that when every object in M is cofibrant and P is a cofibrant single colored operad then the enveloping operad PA is stably admissible and Σ-cofibrant for every P-algebra A (see also Remark 4.2.2). This is also true when P is a colored cofibrant operad and M is the category of simplicial sets by work of Rezk ([Rez02]). In a different direction, if we assume that A is a cofibrant algebra, then PA is Σ-cofibrant as soon as P as is Σ-cofibrant (see [BM09, Proposition 2.3]). However, in this case one does not expect PA to be stably admissible in general.

39

Yonatan Harpaz, Joost Nuiten and Matan Prasma To further simplify Corollary 4.3.1 we may use Remark 3.4.2 to rewrite the right hand side M A A of (4.3.2) as the full subcategory FunM /M (P1 , TM) ⊆ Fun (P1 , TM) consisting of those enriched A A functors F ∶ PA 1 Ð→ TM which lie above the functor P0 ∶ P1 Ð→ M (corresponding to the underlying A-module of A). We may hence rewrite Corollary 4.3.1 as follows, identifying the tangent category at A with a suitable category of M-enriched lifts: Corollary 4.3.4. Let M, P and A be as in Corollary 4.3.1. Then we have a natural right Quillen equivalence ≃

A TA AlgP Ð→ FunM /M (P1 , TM).

Remark 4.3.5. When M is stable and strictly pointed the situation simplifies. Indeed, in this case ModPA (M) ≅ FunM (PA 1 , M) is stable, so that Lemma 3.4.3 yields a right Quillen equivalence ≃ ≃ P ker ∶ ModA (M)A//A Ð→ ModPA (M) and hence a a right Quillen equivalence TA ModPA Ð→ ModPA . Corollary 4.3.6. Let M, P and A be as in Corollary 4.3.1 and assume in addition that M is stable and strictly pointed. Let K ∶ AlgPA//A Ð→ (ModPA )A//A Ð→ ModPA be the composition of the forgetful functor and the kernel functor appearing in Remark 4.3.5. Then the functors ker

TA AlgP

KSp ≃

/ Sp(ModP ) A

Ω∞ ≃

/ ModP A

are right Quillen equivalence. 4.4 The ∞-categorical comparison Our goal in this section is to formulate and prove an ∞-categorical counterpart of Corollary 4.3.1. For this it will be useful to consider another approach for the theory of modules, where one considers the collection of pairs (A, M ) of a P-algebra A and an A-module M as algebras over another operad MP. We shall henceforth follow the approach of [Hin15]. Let Com be the commutative operad and let M Com be the operad (in sets) with two colors W = {a, m} and such that the set of operations (w1 , ..., wn ) ↦ w0 is either a singleton, if w0 = m and exactly one of the wi ’s is m or if w0 = a and all the wi ’s are a, and empty otherwise. There are natural maps Com Ð→ M Com Ð→ Com where the first one sends the only object of Com to a and the second is the terminal map. One can then easily verify that the data of an M Com-algebra in a symmetric monoidal category C is the same as a pair (A, M ) where A is a commutative algebra in C and M is an A-module. Restriction along the map Com Ð→ M Com induces the projection (A, M ) ↦ A. Given a simplicial operad P we will denote by MP = M Com ×Com P the associated fiber product in the category of simplicial operads. If C is a simplicial model category then one can easily verify that the data of an MP-algebra in C is the same as a pair (A, M ) where A is a P-algebra in C and M is an A-module. We will denote by M Com⊗ = N⊗ (M Com) the operadic nerve of M Com. Given an ∞-operad O⊗ we will denote by MO⊗ = M Com⊗ ×Com⊗ O⊗

the associated (homotopy) fiber product in the model category of pre-operads. Since the operadic nerve preserves fiber products we have that if P is a simplicial operad then N⊗ (MP) ≅ MN⊗ (P).

Definition 4.4.1 [Hin15, Def. 5.2.1]. Let O⊗ be an ∞-operad and C⊗ a symmetric monoidal ∞-category. Let A ∈ AlgO (C) be an O-algebra object in C. The ∞-category ModO A (C) is defined 40

Tangent categories of algebras over operads as the fiber product

ModO A (C) = AlgMO (C) ×AlgO (C) {A}

We will refer to ModO A (C) as the ∞-category of A-modules in C. When the ∞-operad O is unital and coherent, Proposition B.1.2 in [Hin15] establishes a natural equivalence from ModO A (C) ⊗ (C) of A-modules of [Lur14, to the underlying ∞-category of the O-monoidal ∞-category ModO A §3.3.3]. Furthermore, the following variation on the arguments of [Hin15] shows how such Amodules in the ∞-categorical sense can be strictified. Proposition 4.4.2. Let M be a combinatorial simplicial SM model category and let P be a Σ-cofibrant admissable simplicial operad such that MP is admissable as well. For any cofibrant A in AlgP (M), there is an equivalence of ∞-categories ModPA (M)∞

/ ModN(P) (M∞ ). A



Proof. If P is Σ-cofibrant and admissable, then the associated simplicial operad MP is Σ-cofibrant and admissable as well. By [PS14, Theorem 7.10], the map of operads P Ð→ MP, obtained as the base change of the map Com Ð→ M Com, induces a commuting square of ∞-categories AlgMP (M)∞



/ Alg MN(P) (M∞ )

p

q



AlgP (M)∞

(4.4.1)





/ Alg N(P) (M∞ )

in which the horizontal maps are equivalences of ∞-categories. Now observe that the left vertical map p of ∞-categories is obtained by localization from the functor of relative categories π ∶ AlgMP (M)′ Ð→ AlgP (M)cof

whose domain AlgMP (M)′ is the relative subcategory of AlgMP (M) on those pairs (A, M ) of algebras and modules whose algebra A is cofibrant. To see that the ∞-category AlgMP (M)′∞ is equivalent to AlgMP (M)∞ , note that AlgMP (M)cof is a relative subcategory of AlgMP (M)′ and that the inclusion AlgMP (M)cof Ð→ AlgMP (M)′ is part of a left homotopy deformation retract, with retraction given by a cofibrant replacement functor in AlgMP (M). We may now identify AlgMP (M)′ with the Grothendieck construction of the functor ModP ∶ op (AlgP (M)cof ) Ð→ RelCat sending a cofibrant P-algebra A to the relative category ModPA (M) of A-modules and a map f ∶ A Ð→ B of cofibrant P-algebras to the restriction functor f ∗ ∶ ModPB (M) Ð→ ModPA (M) between module categories. We note that the functor ModP sends weak equivalences of cofibrant algebras to equivalences of relative categories by [BM09, Theorem 2.6]. We may hence apply [Hin13, Proposition 2.1.4] to the map π op and deduce that for every cofibrant P-algebra A we have an equivalence of ∞-categories ModPA (M)∞ = π −1 (A)∞ Ð→ p−1 (A) Ð→ q −1 (A) = ModA ≃



N(P)

(M∞ )

where the second map is the induced map on fibers arising from (4.4.1), and thus an equivalence.

Theorem 4.4.3. Let C be a closed SM, differentiable presentable ∞-category and let O⊗ = N⊗ (P) be the operadic nerve of a fibrant simplicial operad. Then the forgetful functor induces an equivalence of ∞-categories TA AlgO (C) Ð→ TA ModO A (C). ≃

41

Yonatan Harpaz, Joost Nuiten and Matan Prasma Proof. Since weakly equivalent fibrant simplicial operads have equivalent associated ∞-operads, we may assume that P is Σ-cofibrant. By [NS15, Theorem 1.1] there exists a left proper, combinatorial simplicial SM model category M together with a symmetric monoidal equivalence of ∞-categories (M⊗ )∞ ≃ C⊗ . Furthermore, M has the property that any simplicial operad is admissible [NS15, Theorem 2.5]. Since C is assumed to be differentiable, the model category M is differentiable as well. Consider the commutative diagram of ∞-categories Sp′ (AlgP (M)A//A )∞

/ Sp ((Alg (M)∞ ) A//A ) P

/ Sp (Alg (C) A//A ) O



 / Sp ((ModP (M)∞ ) A//A ) A

 / Sp (ModO (C) A//A ) A



Sp

(ModPA (M)A//A )∞

where, as in the previous section, for a model category N we denote by Sp′ (N) ⊆ NN×N the full relative subcategory spanned by the Ω-spectra. Now the horizontal maps in the right square are equivalences, because they are equivalences before stabilization and before slice-coslicing by the rectification result of [PS14, Theorem 7.10] and by Proposition 4.4.2. The horizontal maps in the left square are equivalences by Remark 2.2.9. Finally, the left vertical map is an equivalence by Corollary 4.3.2. It then follows that the right vertical map is an equivalence, as desired. When C is stable, the ∞-category ModO A (C) is stable (Remark 4.3.5) and the kernel functor O of Lemma 3.4.3 yields an equivalence TA ModO A (C) ≃ ModA (C) for every A. In this case the conclusion of Theorem 4.4.3 reduces to the following generalization of [Lur14, Theorem 7.3.4.7] to the case of ∞-operads which are not necessarily unital or coherent (but which do arise as nerves of simplicial operads): Corollary 4.4.4. Let C be a closed SM, stable presentable ∞-category and let O⊗ = N⊗ (P) be the operadic nerve of a fibrant simplicial operad. Then the functor ker ∶ AlgO (C)A//A Ð→ ModO A (C) induces an equivalence of ∞-categories TA AlgO (C) Ð→ ModO A (C). ≃

Appendix A. The filtration on a free algebra In this appendix we will recall the natural filtration on the free algebra over a colored operad P generated by an object X together with a map P0 Ð→ X, i.e. the free P-algebra where the nullary operations have already been specified. This is a special case of the filtration on a pushout of P-algebras along a free map P ○ X Ð→ P ○ Y (see, e.g., [PS14],[BM09] and [Cav14]) in the case where X = P0 and the pushout is taken along P ○ P0 Ð→ P0 . For our purposes we need a somewhat more specific formulation of these results, in which the filtration is directly associated to a natural skeletal filtration on P. In particular, while the filtration we discuss in this appendix is not new, its formulation in terms of skeletal filtration makes it fairly amenable to various manipulations, and may be of independent interest. Let M be a closed symmetric monoidal category and let P be a W -colored symmetric sequence in M. Recall from §4.1 that P≤n is the W -colored symmetric sequence which agrees with P in arities ≤ n and whose higher entries are all ∅M (see Definition 4.1.5). We consider P≤n as an nskeleton of P. Similarly, we denote by Pn the symmetric sequence which agrees with P in arity n and whose entries are ∅M in arities ≠ n. We note that if P is an operad then the 1-skeleton

42

Tangent categories of algebras over operads def

P≤1 carries a canonical operad structure (but not the other skeleta). We will denote by O = P+≤0 the operad freely generated from P≤0 . We now recall that Pn inherits from P the structure of a P1 -bimodule and P≤n inherits from P the structure of a P≤1 -bimodule. In particular, there is a canonical map Pn Ð→ P≤n of left P1 -modules, which induces a map Pn ○ O Ð→ P≤n of P1 − O-bimodules. Lemma A.0.1. Let P be a W -colored operad in M. Then for every n ≥ 2 there is a pushout square of P1 − O-bimodules (Pn ○ O)≤n−1

/ Pn ○ O





(A.0.2) / P≤n .

P≤n−1

Proof. The composition product (X, Y ) ↦ X ○ Y preserves colimits in the first argument, and colimits in the second argument if X is concentrated in arity 1. This implies that the forgetful functor from P1 − O-bimodules to W -symmetric sequences preserves and detects colimits, and so it suffices to show that the above square is a pushout square in the category of W -symmetric sequences. Since all objects are trivial in arities > n and both horizontal maps are isomorphisms in arities < n, it remains to prove that the square in arity n is a pushout square. Indeed, in arity n the left vertical map is an isomorphism between initial objects and the right vertical map is an isomorphism because O coincides with the monoidal unit in arities ≥ 1. Let us now consider the natural operad maps O Ð→ P≤1 Ð→ P. The inclusion ρ = ϕ○ψ ∶ O Ð→ P induces a free functor ρ! ∶ AlgO Ð→ AlgP . When X is an O-algebra (i.e. an object of MW equipped with a map from P0 ), ρ! (X) is given by the relative composition product P ○O X (which, as a W -colored symmetric sequence, is concentrated in arity 0). The above lemma shows that the underlying left P≤1 -module of the free P-algebra ρ! (X) can be written as a colimit ρ! (X) = P ○O X = colim P≤n ○O X where each step n ≥ 2 can be understood in terms of a pushout ψ

ϕ

n≥1

square of left P1 -modules

(Pn ○ O)≤n−1 ○O X

/ Pn ○ X





(A.0.3) P≤n−1 ○O X

/ P≤n ○O X.

However, this filtration is somewhat non-satisfactory: while P○O X = colimn P≤n ○O X is a filtration of P ○O X as a left P≤1 -module (or a P≤1 -algebra), the consecutive steps A.0.3 are only pushout squares of left P1 -modules. We note that the difference between the two notions is not big. Since P≤1 = PP1 0 (see Remark 4.1.8) we see that if we consider P0 as a left P≤1 -module then the category of left P≤1 -modules is naturally equivalent to the category of left P1 -modules under P0 . We may hence fix the situation by performing a mild “cobase change”. Definition A.0.2. Let X be an O-algebra. We define the map Rn− (X) Ð→ Rn+ (X) by forming the following pushout diagram in the category of left P1 -modules (Pn ○ O)0

/ (Pn ○ O)≤n−1 ○O X

/ Pn ○ X



✤ ❴  / R− (X) n

✤ ❴  / R+ (X) n

P0

43

Yonatan Harpaz, Joost Nuiten and Matan Prasma As Rn− (X) and Rn+ (X) are left P1 -modules which carry a map of left P1 -modules from P0 we may naturally consider both of them as left P≤1 -modules. We also remark that Rn− (X) and Rn+ (X) are concentrated in arity 0 (since all the other objects in the square are), and we may hence consider them also as P≤1 -algebras. Lemma A.0.3. Let X be an O-algebra. Then for every n ≥ 2 there is a pushout square of P≤1 algebras / R+ (X) n

Rn− (X)

✤ ❴



P≤n−1 ○O X

(A.0.4) 

/ P≤n ○O X.

Proof. We have a commutative diagram of left P1 -modules (Pn ○ O)0

/ (Pn ○ O)≤n−1 ○O X

/ Pn ○ X





✤❴  / P≤n .

/ P≤n−1

P0

(A.0.5)

Using the universal property of pushouts we may extend A.0.5 to a commutative diagram of the form (Pn ○ O)0

/ (Pn ○ O)≤n−1 ○O X

/ Pn ○ X



✤ ❴  / R− (X)

✤ ❴  / R+ (X) n



 / P≤n

P0

n

P≤n−1

(A.0.6)

where the upper rectangle is the one defining Rn− (X) Ð→ Rn+ (X). The right vertical rectangle is just A.0.3, and is hence a pushout rectangle. It then follows that the bottom right square is a pushout square of left P1 -modules, as desired. Our goal in the remainder of this section is to compute the map of symmetric sequences underlying Rn− (X) Ð→ Rn+ (X) (see Corollary A.0.4). For w0 ∈ W let us denote by Σnw0 ⊆ ΣnW the full subgroupoid spanned by those w ∈ ΣnW such that w∗ = w0 . If we consider w0 as an object of ΣW of arity 0 then the w0 -part of Pn ○ X is simply given by (Pn ○ X)(w0 ) =

colim P(w) ⊗ ⊗ X(wi )

w∈Σn W (w0 )

i∈n

where the coproduct is taken over all isomorphism classes of w ∈ Σnw0 . The object (Pn ○O)≤n−1 ○O X has a more complicated description. By definition it is given as the coequilizer of the diagram (Pn ○ O)≤n−1 ○ O ○ X

//

(Pn ○ O)≤n−1 ○ X

where one of the arrows is induced from the left O-module structure of X and the second from the right O-module structure of (Pn ○ O)≤n−1 .

Consider the full subgroupoid Decn−1 w0 ⊆ DecW (see §4.1) spanned by those objects (φ ∶ k Ð→ n, v ∶ (k ∐ n)+ Ð→ W ) ∈ DecW such that k ≤ n − 1 and v∗ = w0 . Since Pn is concentrated in arity 44

Tangent categories of algebras over operads n and X is concentrated in arity 0 we may readily compute that ⎤ ⎡ ⎥ ⎢ ⎥. ⎢ ) ⊗ X(v ) ((Pn ○ O)≤n−1 ○ X)(w0 ) = colim ⎢Pn (v∣n+ ) ⊗ ⊗ O (v∣φ−1 ⊗ i ⎥ (i) + (φ,v)∈ ⎢ ⎥ i∈n i∈k n−1 ⎣ ⎦ Decw

(A.0.7)

0

For a fixed w of arity n, let Decw ⊆ Decn−1 w0 be the full subgroupoid spanned by those objects (φ ∶ k Ð→ n, v) such that k ≤ n − 1, φ is injective and v is given by the composition (k ∐ n)+ Ð→ n+ Ð→ W . Since O contains only identities and 0-ary operations (the latter being the 0-ary n−1 operations of P), the colimit in A.0.7 is supported on the full subgroupoid ∐[w] Decw ⊆ Decw . 0 w

We now observe that an object (φ, v) of Decw is completely determined, up to isomorphism, by the image I = Im (φ) ⊊ n, and that the automorphism group of such a (φ, v) is exactly the subgroup of Aut(n) which preserves I as a set. We may hence identify Decw with the action groupoid associated to the action of Aut(w) on the set of proper subsets of n. Our computation then unfolds as: ⎡ ⎤ ⎢ ⎥ ⎢Pn (w) ⊗ ⊗ O (v∣ −1 ) ⊗ ⊗ X(vi )⎥ ((Pn ○ O)≤n−1 ○ X)(w0 ) = colim colim ⎢ ⎥ φ+ (i) n w∈Σw0 (φ,v)∈Decw ⎢ ⎥ i∈n i∈k ⎣ ⎦ ⎡ ⎡ ⎤⎤ ⎢ ⎢ ⎥⎥ ⎢Pn (w) ⊗ ⎢ ∐ ⊗ P0 (wj ) ⊗ ⊗ X(wi )⎥⎥ = colim ⎢ ⎢ ⎥⎥ n w∈Σw0 ⎢ ⎢I⊊n j∈n∖I ⎥⎥ i∈I ⎣ ⎣ ⎦⎦ ⎡ ⎤ ⎢ ⎥ ⎢Pn (w) ⊗ ∐ FX (w, I)⎥ = colim ⎢ ⎥ w∈Σn ⎥ w0 ⎢ I⊊n ⎣ ⎦ where we have set FX (w, I) = ⊗j∈n∖I P0 (wj ) ⊗ ⊗i∈I X(wi ). Similarly we may compute def

⎡ ⎡ ⎤⎤ ⎢ ⎢ ⎥⎥ ⎢ ⎢ ⎥ ((Pn ○ O)≤n−1 ○ O ○ X)(w0 ) = colim Pn (w) ⊗ ⎢ ∐ ⊗ P0 (wj ) ⊗ ⊗(P0 (wi ) ∐ X(wi ))⎥ ⎢ ⎥⎥ n w∈Σw0 ⎢ ⎢I⊊n j∈n∖I ⎥ ⎥ i∈I ⎣ ⎣ ⎦⎦ ⎡ ⎡ ⎤⎤ ⎢ ⎢ ⎥⎥ ⎢ ⎢ ⎥⎥ ⊗ P (w) X(w ) (w ) ⊗ P P (w ) ⊗ = colim ∐ ⊗ ⊗ ⊗ n i 0 j 0 j ⎢ ⎢ ⎥⎥ w∈Σn ′ ′ ⎢I ′ ⊆I⊊n j∈n∖I ⎥⎥ w0 ⎢ i∈I j∈I∖I ⎣ ⎣ ⎦⎦ ⎤ ⎡ ⎥ ⎢ ⎢Pn (w) ⊗ ∐ FX (w, I ′ )⎥ . ≅ colim ⎥ ⎢ w∈Σn ⎥ w0 ⎢ I ′ ⊆I⊊n ⎦ ⎣

At this point it makes sense to define the object Q(X, w) to be the coequalizer of the diagram ′ ∐ FX (w, I )

//

I ′ ⊆I⊊n

∐ FX (w, I)

I⊊n

where one of the maps sends the component FX (w, I ′ ) to the same component on the right hand side, while the other map sends it to the component FX (w, I) using the structure maps P0 (wi ) Ð→ X(wi ) for i ∈ I ∖ I ′ . We note that Q(X, w) carries a natural action of Aut(w) and our computation above boils down to ((Pn ○ O)≤n−1 ○ X)(w0 ) =

colim Pn (w) ⊗ Q(X, w).

w∈Σn W (w0 )

Finally, we note the the coequilizer defining Q(X, w) is exactly the coequlizer computing the colimit of the functor Sub0 (n) Ð→ M given by I ↦ F(w, I), where Sub0 (n) is the poset of proper 45

Yonatan Harpaz, Joost Nuiten and Matan Prasma subsets of n. In particular, we have Q(X, w) = colim F(w, I) I∈Sub0 (n)

and we may hence identify the natural map Q(X, w) Ð→ ⊗ X(wi ) with the pushout-product i∈n

f (wi ) ◻ ... ◻ f (wi ) where f (wi ) ∶ P0 (wi ) Ð→ X(wi ) is the relevant component of the structure map P0 ∐ X = O ○ X Ð→ X. Corollary A.0.4. For each w0 ∈ W we may identify the map ((Pn ○ O)≤n−1 ○ O ○ X)(w0 ) Ð→ (Pn ○ X)(w0 ) with the map

⎤ ⎡ ⎥ ⎢ ⎥ ⎢ colim (A.0.8) ⊗ Q(X, w)] Ð→ colim ⊗ X(w ) P (w) [P (w) ⊗ i n n ⎥ ⎢ w∈Σn w∈Σn ⎥ w0 w0 ⎢ i∈n ⎦ ⎣ induced by the pushout-product f (wi ) ◻ ... ◻ f (wi ) ∶ Q(X, w) Ð→ ⊗ X(wi ). For each w0 ∈ W we i∈n

may hence identify the map ϕw0 ∶ Rn− (X)(w0 ) Ð→ Rn+ (X)(w0 ) with the cobase change of A.0.8 along the map ⎤ ⎡ ⎥ ⎢ ⎢ Pn (w) ⊗ ⊗ P0 (wi )⎥ colim ⎥ Ð→ P0 (w0 ) ⎢ n w∈Σw0 ⎢ ⎥ i∈n ⎦ ⎣

46

Tangent categories of algebras over operads References ABG11 M. Ando, A. J. Blumberg, D. Gepner, Parametrized spectra, multiplicative Thom spectra, and the twisted Umkehr map, preprint arXiv:1112.2203, 2011. Bar07 C. Barwick, On Reedy model categories, preprint arXiv:0708.2832, 2007. Bec67 J. Beck, Triples, algebras and cohomology, Ph.D. thesis, Columbia University, 1967, Reprints in Theory and Applications of Categories, 2, 2003, p. 1–59. BHH16 I. Barnea, Y. Harpaz, G. Horel, Pro-categories in homotopy theory, Algebraic and Geometric Topology, to appear. BM05 M. Basterra and M. A. Mandell, Homology and cohomology of E∞ ring spectra, Mathematische Zeitschrift 249(4), pp. 903–944 (2005). BM09 C. Berger, I. Moerdijk. On the derived category of an algebra over an operad, Georgian Mathematical Journal, 16(1), p. 13–28 (2009). Cav14 G. Caviglia, A model structure for enriched coloured operads, preprint arXiv:1401.6983, 2014. CHH16 H. Chu, R. Haugseng, G. Heuts, Two models for the homotopy theory of ∞-operads, preprint arXiv:1606.03826, 2016. Dug01 D. Dugger, Combinatorial model categories have presentations, Advances in Mathematics, 1.164, 2001, p. 177–201. Fre09 B. Fresse, Modules over operads and functors, Springer, 2009. Hel97 A. Heller, Stable homotopy theories and stabilization, Journal of Pure and Applied Algebra, 115.2, 1997, p. 113–130. HHM15 G. Heuts, V. Hinich, I. Moerdijk, On the equivalence between Lurie’s model and the dendroidal model for infinity-operads, preprint arXiv:1305.3658, 2013. Hin13 V. Hinich, Dwyer-Kan localization revisited, preprint arXiv:1311.4128 (2013). Hin15 V. Hinich, Rectification of algebras and modules, Documenta Mathematica 20, 2015, p. 879–926. Hir03 P. S. Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs, 99. American Mathematical Society, Providence, RI, xvi+457 pp. (2003). HNP16 Y. Harpaz, J. Nuiten, M. Prasma, The abstract cotangent complex and Quillen cohomology of enriched categories, preprint, 2016. Hov99 M. Hovey, Model categories, No. 63. American Mathematical Soc., 1999. Hov01 M. Hovey, Spectra and symmetric spectra in general model categories, Journal of Pure and Applied Algebra, 165.1, 2001, p. 63–127. HP15 Y. Harpaz and M. Prasma, The Grothendieck construction for model categories, Advances in Mathematics, 2015. Lur06 J. Lurie, Stable infinity categories, arXiv preprint math/0608228 (2006). Lur09 J. Lurie, Higher topos theory, No. 170. Princeton University Press, (2009). Lur14 J. Lurie, Higher Algebra, preprint, available at Author’s Homepage (2011). Lyd98 M. Lydakis, Simplicial functors and stable homotopy theory, Sonderforschungsbereich 343, 1998. MS06 J. P. May, J. Sigurdsson, Parametrized homotopy theory. No. 132. American Mathematical Soc., 2006. NS15 T. Nikolaus, S. Sagave, Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories, preprint arXiv:1506.01475, 2015. PS14 D. Pavlov, J. Scholbach, Admissibility and rectification of colored symmetric operads, preprint arXiv:1410.5675, 2014. Qui70 D. Quillen, On the (co-)homology of commutative rings, Proc. Symp. Pure Math. Vol. 17. No. 2. 1970. Shi04 B. Shipley, A convenient model category for commutative ring spectra, Contemporary Mathematics, 346, 2004, p. 473–484.

47

Tangent categories of algebras over operads Rez02 C. Rezk, Every homotopy theory of simplicial algebras admits a proper model, Topology and its Applications, 119.1, 2002, p. 65–94. Rob12 M. Robalo, Noncommutative motives i: A universal characterization of the motivic stable homotopy theory of schemes, preprint arXiv:1206.3645 (2012). RR15 G. Raptis, J. Rosick´ y, The accessibility rank of weak equivalences, Theory and Applications of Categories, 30.19, 201, p. 687–703. Sch97 S. Schwede, Spectra in model categories and applications to the algebraic cotangent complex, Journal of Pure and Applied Algebra, 120.1, 1997, p. 77–104.

Yonatan Harpaz [email protected] ´ Institut des Hautes Etudes Scientifiques, Le Bois-Marie 35, route de Chartres, 91440, Buressur-Yvette, France. Joost Nuiten [email protected] Mathematical Institute, Utrecht University, P.O. Box 80010, 3508 TA Utrecht, The Netherlands. Matan Prasma [email protected] Einstein Institute of Mathematics, Edmond J. Safra campus, The Hebrew University of Jerusalem, Givat Ram, Jerusalem, 9190401 , Israel.

48