The $(\infty, 1)$ category $Sp$ of spectra as defined by Lurie in Higher Algebra has the structure of a symmetric monoidal category. Although I know the definition of symmetric monoidal category in the $(\infty, 1)$ setting and can reasonably follow Lurie's arguments in Higher Algebra as to why $Sp$ has such a structure, I don't understand it well enough to think about it intuitively.

So my question is, what does the symmetric monoidal structure on $Sp$ look like? How is this related to the symmetric monoidal structure on symmetric or orthogonal spectra in the ordinary categorical setting? How may I picture ring spectra and other such objects arising from the monoidal structure?

  • 1
    $\begingroup$ On objects it's determined by the condition that it preserves ($\infty$-)colimits in each variable and has unit the sphere spectrum. This is tightly analogous to the way the tensor product of abelian groups is determined by the condition that it preserves colimits in each variable and has unit $\mathbb{Z}$. Is this the sort of thing you're asking for? I don't really know what would qualify as an answer to this question. $\endgroup$ – Qiaochu Yuan Dec 29 '17 at 3:22
  • $\begingroup$ @QiaochuYuan A sufficient answer would be some kind of concrete description of the object $X \wedge Y$, or at least what it looks like in the homotopy category (is it just the ordinary smash product for symmetric spectra?) $\endgroup$ – leibnewtz Dec 29 '17 at 3:25
  • 2
    $\begingroup$ As others have answered, the product itself is constructed very easily and explicitly, and coincides with the classic products on the category of spectra. The bulk of Lurie's proof goes to construct the $E_\infty$-structure, i.e. provide all required associators, commutators, twistors and higher coherences between different products. Even stating it precisely isn't simple, thus a very abstract approach is required. The classical theories encode $E_\infty$-action in explicit geometric objects like actions of orthogonal or symmetric groups, so remaining structure is commutative "on the nose". $\endgroup$ – Anton Fetisov Dec 29 '17 at 14:44

Lurie characterizes the symmetric monoidal structure on $\mathsf{Sp}$ by a universal property (HA. it is uniquely determined up to a contractible space of choices by the property that $S^0$ is the unit and $\wedge$ commutes with homotopy colimits in both variables.

I think on first glance this sounds like one of those formal things that doesn't help you 'compute' anything, but I claim that (i) you can get all the computational mileage out of this that you usually get from model categories of spectra and (ii) if you like, you can easily show that your favorite symmetric monoidal model category of spectra models this symmetric monoidal structure.

We'll start with (ii) since that's what you asked about, and it's easier. Suppose you have a model category $\mathbf{M}$ which models spectra (which is something else that can be checked easily from universal properties by its relationship to some model for $\mathsf{Spaces}$, for example). Suppose further that it's a symmetric monoidal model category. Then the underlying $\infty$-category $\mathsf{M}[W^{-1}] \cong \mathsf{Sp}$ inherits a symmetric monoidal structure. To compare it with the 'universal' one, one needs to check that the tensor product commutes with homotopy colimits and that the unit is weakly equivalent to the sphere spectrum. The unit requirement is just always satisfied (otherwise what sort of spectra are you using??) and the homotopy colimit requirement is also always satisfied, because part of the definition of being a symmetric monoidal model category is that $\otimes$ be a left Quillen bifunctor- and that forces the tensor product to commute with homotopy colimits in both variables.

Now let's talk about (i). What does it even mean to 'understand' the smash product of spectra? Well, usually the way a spectrum is handed to us is as a sequence of (say, pointed) spaces $(X_k)$ and maps $\Sigma X_k \to X_{k+1}$. Every model ever includes at least that much data, often with all sorts of extra requirements and structure. But in any case, this data presents a spectrum $X = \mathrm{hocolim}_k \Sigma^{-k}\Sigma^{\infty}X_k$. So, from the universal property we learn that $$ X \wedge Y = \underset{j,k}{\mathrm{hocolim}}\, \Sigma^{-j-k}\left( \Sigma^{\infty}X_j \wedge \Sigma^{\infty}Y_k\right). $$ So now we'd better figure out how to compute $\Sigma^{\infty}A \wedge \Sigma^{\infty} B$ for pointed spaces $A$ and $B$. It's possible to argue very abstractly that $\Sigma^{\infty}$ must be symmetric monoidal, using the methods in HA.4.8.2, but you can also argue as follows: first reduce to the unpointed case, so we want to compute $\Sigma^{\infty}_+A \wedge \Sigma^{\infty}_+B$. But $A$ and $B$ are homotopy colimits of constant diagrams shaped like $A$ and $B$, respectively. And $\Sigma^{\infty}_+$ commutes with homotopy colimits. A little string of equivalences and the fact that $\Sigma^{\infty}_+(*) = S^0$ is the unit gives the result.

Excellent, so just from nonsense we learn that $\Sigma^{\infty}$ is symmetric monoidal. Moving back to our original formula we learn that a 'concrete' computation for the smash product is:

$$X \wedge Y = \underset{j,k}{\mathrm{hocolim}}\, \Sigma^{-j-k}\left( \Sigma^{\infty}X_j \wedge \Sigma^{\infty}Y_k\right) = \underset{j,k}{\mathrm{hocolim}}\, \Sigma^{-j-k}\left( \Sigma^{\infty}(X_j \wedge Y_k)\right).\quad (1)$$

If you like, then at this point you could pick your favorite cofinal copy of $\mathbb{N}$ inside $\mathbb{N} \times \mathbb{N}$ and present this smash product as a sequence of spaces with maps from the suspension of one to the next.

This way of thinking about the smash product is the very original one, going back to Boardman and Adams. Of course they ran into all sorts of technical issues verifying all the properties they wanted out of a symmetric monoidal structure. What happened to those? Well, when dealing with a symmetric monoidal structure one would like (a) properties and (b) the ability to 'compute' what the thing does. The original approach was to begin with (b) and then work hard to verify (a). In the present situation, one begins with (a) using various levels of sophistication and then deduces (b). Of course, lots of technical work went into producing the symmetric monoidal $\infty$-category $\mathsf{Sp}$! But the work pays off: you get a much stronger theorem and a more flexible theory.

Let me go into a bit more detail about comparing with, say, the formula for the smash product one finds for orthogonal spectra. I claim that it is a particular model-categorical presentation of precisely the formula (1). To justify that, I'm going to compare the two formulae directly. So I'll need to review a bit about orthogonal spectra. Recall that an orthogonal spectrum consists of a sequence of pointed spaces $X_n$ equipped with $O(n)$-actions together with compatible, $O(n)\times O(m)$-equivariant, based maps $X_n \wedge S^m \to X_{n+m}$. Given an orthogonal spectrum, one would like to know how to describe the corresponding object in $\mathsf{Sp}$ and how to understand smash products.

We'll take the $\infty$-category $\mathsf{Spaces}$ as 'understood' and the functor $\Sigma^{\infty}$ as also understood. Then an orthogonal spectrum $(X_k)$ presents an object of $\mathsf{Sp}$ by the formula $$X = \underset{\mathbb{N}}{\mathrm{hocolim}}\, \Sigma^{-k}\Sigma^{\infty}X_k$$ Of course, we ignored the orthogonal group action. Luckily, here's a fun fact:

Fun fact. Let $\mathsf{Orth}$ denote the $\infty$-category of real inner product spaces and isometric embeddings. Then the inclusion $\mathbb{N} \to \mathsf{Orth}$ is homotopy final.

It follows that we may compute the homotopy colimit either over $\mathsf{Orth}$ or over $\mathbb{N}$. That's important, because the formula for the smash product of orthogonal spectra is really trying to be a formula for a homotopy colimit over $\mathsf{Orth} \times \mathsf{Orth}$. I won't bother typesetting the formula here (see page 5 of Schwede's book, for example) but unless I'm mistaken one arrives at this formula as follows:

  1. Take the formula in (1) and replace the homotopy colimit over $\mathbb{N} \times \mathbb{N}$ by a homotopy colimit over $\mathsf{Orth} \times \mathsf{Orth}$.
  2. To compute that homotopy colimit, we are free to first left Kan extend along $\oplus: \mathsf{Orth} \times \mathsf{Orth} \to \mathsf{Orth}$.
  3. Stare at the pointwise formula for the left Kan extension evaluated at $\mathbb{R}^n$, and you become interested in a homotopy colimit along all pairs $p+q = n$ together with actions of $O(p) \times O(q)$ etc.
  4. Now suspend everything n times, erase the $\Sigma^{\infty}$'s, and use one of the standard formulas for computing a homotopy colimit as an ordinary colimit in some model category, and you should get (with cofibrancy conditions if you want the right homotopy type) the previously mentioned formula in the linked book.

The same thing works in symmetric spectra, except that the claim about finality is false. Instead, one uses a cofibrancy condition that allows a lemma of Bökstedt to apply so you can replace $\mathbb{N}$ with the category of finite sets and injections.

  • 1
    $\begingroup$ Wow this is exactly the kind of answer I was looking for! Thank you $\endgroup$ – leibnewtz Dec 29 '17 at 4:34
  • 5
    $\begingroup$ Just a quick comment on the history. Boardman's original approach in his thesis was conceptually very close to Lurie's, just using much earlier categorical technology. It is very different from that taken by Adams, which Boardman knew about and explicitly rejected. This is discussed in the polemical preamble to LMS, Equivariant stable homotopy theory. math.uchicago.edu/~may/BOOKS/equi.pdf $\endgroup$ – Peter May Dec 29 '17 at 13:48

Let me add a short observation to Dylan's fantastic answer. There is indeed a more concrete construction of the symmetric monoidal structure on the $\infty$-category of spectra: it is the localized Day convolution.

Let me backtrack one second: we identify spectra as the reduced 1-excisive functor $E:\mathrm{Space}^{fin}_*\to\mathrm{Space}$, that is those functors such that

  • $E(*)=*$;
  • If $X'\to X\to X''$ is a cofiber sequence, then $E(X')\to E(X)\to E(X'')$ is a fiber sequence.

This is essentially identifying one spectrum $E$ with the functor $X\mapsto \Omega^\infty(E\wedge \Sigma^\infty X)$, in particular $E(S^n)$ is the $n$-th space of the spectrum.

If $C$ is a small symmetric monoidal $\infty$-category and $D$ is a cocomplete symmetric monoidal $\infty$-category where $\otimes$ commutes with colimits in eqch variable, the $\infty$-category $\mathrm{Fun}(C,D)$ comes equipped with a canonical symmetric monoidal structure, called Day convolution with the following properties:

  1. The tensor product is given by the formula $$ (F\otimes G)(c)={\mathrm{colim}\\ {\scriptsize c'\otimes c''\to c}} F(c')\otimes G(c'')\,;$$
  2. The unit is the left Kan extension of the inclusion of the unit of $D$ along the inclusion of the unit of $C$. In particular if $D$ is the $\infty$-category of spaces the unit is given by $\mathrm{Map}_C(1_C,-)$;
  3. The tensor product commutes with colimits separately in each variable;
  4. $O$-algebras in this symmetric monoidal structure correspond to $O$-monoidal functors from $C$ to $D$, for any ($\infty$-)operad $O$

(see Higher Algebra, 2.2.6 or Glasman's Day convolution for ∞-categories).

Now $\mathrm{Sp}\subseteq\mathrm{Fun}(\mathrm{Space}^{fin}_*,\mathrm{Space})$ is closed under homotopy limits, and so it is a reflective subcategory, that is the inclusion has a left adjoint $\partial_1$. Moreover $\partial_1$ is compatible with the symmetric monoidal structure: for every $F$, the functor $F\otimes-$ sends $\partial_1$-equivalences to $\partial_1$-equivalences (this requires some work to prove but it's not too hard). So by HA., this equips $\mathrm{Sp}$ with a symmetric monoidal structure where the unit is the sphere spectrum (which is easily seen to just be $\partial_1$ of the identity) and such that $$E\wedge E' = \partial_1(E\otimes E')\,.$$

How do we know that this coincides with the symmetric monoidal structure that we were able to construct by abstract means as in Dylan's answer? Well, the unit is the sphere spectrum, and $E\wedge-=\partial_1(E\otimes -)$ manifestly commutes with colimits (after all $\partial_1$ is a left adjoint), but there is only one symmetric monoidal structure with these properties!

  • $\begingroup$ Shouldn't $\partial_1$ be right adjoint to the inclusion? $\endgroup$ – Drew Heard Dec 29 '17 at 10:12
  • $\begingroup$ @Drew No, the inclusion doesn't have a right adjoint and the n-th excisive approximation is a left adjoint (there's a map $F\to P_nF$) $\endgroup$ – Denis Nardin Dec 29 '17 at 11:48
  • $\begingroup$ Then how do you define 'localizing subcategory'? $\endgroup$ – Drew Heard Dec 29 '17 at 12:24
  • $\begingroup$ @DrewHeard Ah that's a typo. It should have been "reflective subcategory", let me correct it. $\endgroup$ – Denis Nardin Dec 29 '17 at 13:04

I thought it might be worth mentioning, as an addendum to the other nice answers, that there is also an $\infty$-categorical approach to the smash product that looks more like the traditional constructions: namely, you can just redo the most classical construction of the smash product on the stable homotopy category (as in Adams's book) using $\infty$-categories. (I suppose this might count as a "folk theorem", and unfortunately I don't think it's been written down in detail anywhere; I learned the idea from Justin Noel.)

Start with the $\infty$-category $\mathrm{PSp}$ of "prespectra", meaning sequences of pointed spaces $X_n$ with maps $\Sigma X_n \to X_{n+1}$. Using the smash product of pointed spaces you can enhance this to an $\infty$-operad: a multimorphism $(X, Y) \to Z$ is given by maps $X_n \wedge Y_m \to Z_{n+m}$ compatible with the structure maps in $X,Y,Z$ (and similarly for multimorphisms with more inputs).

Now consider the subcategory $\mathrm{Sp}$ of "spectra" (or "$\Omega$-spectra"), meaning prespectra $X$ where the adjoint maps $X_n \to \Omega X_{n+1}$ are equivalences. If you restrict the operad structure to this subcategory, I claim you get a symmetric monoidal $\infty$-category: for spectra $X$, $Y$, $Z$, multimorphisms $(X,Y) \to Z$ are represented by maps $X \wedge Y \to Z$ for a spectrum $X \wedge Y$. This spectrum you can define by choosing sequences $i_n$, $j_n$ with $i_n+j_n = n$ (with both unbounded) and setting $(X \wedge Y)_n := X_{i_n} \wedge Y_{j_n}$ - what Adams calls a "handicrafted smash product", if I recall correctly.

Actually working this out precisely would take a fair bit of (probably quite annoying) work, however, and in terms of applications I doubt it would have any advantages over the constructions Dylan and Denis describe.

  • $\begingroup$ Of course this is secretly the localized Day convolution again (with a different indexing category) $\endgroup$ – Denis Nardin Dec 29 '17 at 11:53
  • $\begingroup$ That seems plausible, but what indexing category do you use? I guess you could replace finite spaces by finite sets and get something like an $\infty$-version of symmetric spectra, but can you literally recover this definition? $\endgroup$ – Rune Haugseng Dec 29 '17 at 17:03
  • $\begingroup$ @RuneHagseng I'll confess I haven't checked all details, but I think you can use the category $I$ where the objects are the natural numbers $0,1,\dots$ and $\mathrm{Map}(i,j)=S^{j-i}$ (or empty if $i>j$) and composition is given by the collapse on the top cell $S^{j-i}\times S^{k-j}\to S^{k-i}$. Of course when you localize you'll also have to specify that the map $S^{j-i}\times X_i\to X_j$ restricts to the constant one on $S^{j-i}\vee X_i$. $\endgroup$ – Denis Nardin Dec 29 '17 at 17:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.