19
$\begingroup$

Is there a universal property for the smash product (of pointed spaces or pointed CW-complexes or something of that ilk)? I've seen the smash product of spectra defined with a universal property in terms of the smash product of pointed-spaces, but I was wondering if there was just some simple universal property you could put on these somewhat mysterious (to me) space-level operations.

EDIT: I was hoping for something more satisfying than the internal Hom adjoint. The tensor product can be defined similarly, but I find the universal product in terms of bilinear maps more intuitive (although, when unraveled, they are the same thing). I was hoping for something similar for smash.

$\endgroup$
9
  • 3
    $\begingroup$ The smash product is left adjoint to the internal hom. This is already explained on the Wikipedia article. $\endgroup$ Aug 28, 2012 at 20:05
  • 23
    $\begingroup$ $X \wedge Y$ represents maps from $X \times Y$ that are base-point-preserving separately in each variable, just as the tensor product represents maps that are linear separately in each variable. $\endgroup$ Aug 29, 2012 at 0:03
  • 5
    $\begingroup$ @Rune Why don't you post your comment as an answer? It is clear, on topic, and directly answers the question that was asked. $\endgroup$ Aug 29, 2012 at 7:45
  • 10
    $\begingroup$ I am unhappy that this question, which is a basic one and has at least the two relatively straightforward answers appearing in these comments, resulted in a brief conflict between members over the nature of an answer. I am even less happy that the site's readers appear to be using their votes and comments to take sides and prolong the conflict (despite the principals moving to an off-site discussion). The fact that this is not the only recent incident, even in the topology category, is depressing. Please have consideration for those who you're writing about. $\endgroup$ Aug 29, 2012 at 13:15
  • 6
    $\begingroup$ Akhil just taught me by email how to get a comment prompt. I apologize for my stupidity and will try not to err that way again. I don't mind a few negative votes. I have tried to give a mathematically convincing comment How to Answer re smash products of spectra. I agree with Tyler about consideration. While this is way off topic, I urge readers to look up the user list. You will see a remarkable paucity of women. I've talked with many, and I have often gotten the response that they dislike the general tone. Way too much showing off, too little helpful teaching. $\endgroup$
    – Peter May
    Aug 29, 2012 at 13:55

5 Answers 5

32
$\begingroup$

$X \wedge Y$ represents maps from $X \times Y$ that are base-point-preserving separately in each variable, just as the tensor product represents maps that are linear separately in each variable.

$\endgroup$
2
  • 2
    $\begingroup$ I'm confused: $X \wedge Y$ represents or corepresents? $\endgroup$
    – ykm
    Jan 1, 2014 at 19:25
  • $\begingroup$ @ykm: "Corepresents", since we're discussing a property of maps out of $X \wedge Y$. $\endgroup$ Nov 21, 2016 at 21:44
18
$\begingroup$

There is a universal property of pointed spaces and the smash product, in an $\infty$-categorical sense. Let $S_*$ be the $\infty$-category of pointed spaces. Then the functor $S_\ast \times S_\ast \to S_\ast$ is the unique colimit-preserving functor which satisfies $S^0 \wedge S^0 = S^0$. Since you mention spectra, this property is analogous to the characterization of the smash product of spectra as the unique functor which preserves colimits (in each variable) and such that $S^0 \wedge S^0 = S^0$ (for $S^0$ here the sphere spectrum).

One reason you should expect such a functor to a) exist and b) give an interesting symmetric monoidal structure is the following. The $\infty$-category $S_\ast$ is the free pointed $\infty$-category on an object: that is, given a pointed $\infty$-category $\mathcal{C}$ with all colimits, there is an equivalence $\mathrm{Fun}^L(S_\ast, \mathcal{C}) \simeq \mathcal{C}$ between colimit-preserving functors $S_* \to \mathcal{C}$ and objects of $\mathcal{C}$ (given by evaluation on $S^0$). This is a toy analog of the fact that $\mathrm{Fun}^L(Sp, \mathcal{C}) \simeq \mathcal{C}$ for a stable $\infty$-category $\mathcal{C}$ with all colimits: that is, spectra are the free stable $\infty$-category on one object.

In general such "free" objects tend to admit symmetric monoidal structures. Here's one way to get the monoidal structure: by the above, pointed spaces are precisely the same thing as colimit-preserving functors $S_\ast \to S_\ast$ (i.e., any such is given by smashing with a pointed space). So the smash product of spaces comes from composing functors; in other words, the monoidal structure comes from composition on $\mathrm{Fun}^L(S_\ast, S_\ast)$. Another approach, which gives the symmetric monoidal structure, is to use Lurie's "tensor product" of presentable $\infty$-categories. I don't understand this very well, but I think the idea is that tensoring a presentable $\infty$-category with $S_*$ corresponds to taking the "pointed envelope," and so tensoring with $S_\ast$ is actually an idempotent operation on presentable $\infty$-categories.

This point of view is useful with spectra; there the point is that spectra are the free stable presentable $\infty$-category on one object. There you have to replace "pointed" with "stable" throughout. Most of this is in Lurie's papers and his book "Higher Algebra." One upshot of this is that you can use it define the smash product of spectra, in a manner analogous to the tensor product of abelian groups.

$\endgroup$
5
  • 2
    $\begingroup$ That is perhaps the one downside of Peter's comment. I did not read it in its entirety, but I have always found everything worded and phrased in a kind welcoming manner. While I agree with a bit of the content of Peter's content, I would hope you not take offense in any way. $\endgroup$ Aug 29, 2012 at 3:41
  • 1
    $\begingroup$ I'm thinking about pointed sets. The smash product is symmetric: why on earth should the composition of two cocontinuous functors $S_* \to S_*$ be commutative? $\endgroup$
    – fosco
    Apr 25, 2020 at 11:30
  • $\begingroup$ Just to be sure, these are colimits and not homotopy colimits? Does the same hold for homotopy colimits? $\endgroup$ Feb 7 at 6:19
  • $\begingroup$ @fosco Given a symmetric monoidal category, the End of unit upgrades to a commutative algebra. Here we take the (very large) symmetric monoidal category of (potentially large) pointed categories with colimits, and small-colimit-preserving functors between them. $\endgroup$
    – Z. M
    Feb 7 at 23:04
  • $\begingroup$ @Cayley-Hamilton They are "homotopy colimits" if you like, since the category in question is the category of pointed homotopy types (aka. anima). $\endgroup$
    – Z. M
    Feb 7 at 23:06
12
$\begingroup$

This is NOT an answer. I would like to answer Akhil's last question to me in a comment, but I just don't see any place to comment: no place to click in sight anywhere. I'm not technologically adept. That is the only reason I've given past "answers'' where comments would be appropriate. The definition of "the'' smash product of spectra (admittedly off topic: I agree that Rune gave the best answer to the original space level question) is subtle. There is a beautiful model theoretic characterization in Brooke Shipley's paper "Monoidal uniqueness of stable homotopy theory". Advances in Math. 160 (2001), 217--240. For the construction, done in terms of diagram categories (symmetric or orthogonal spectra), there is information packed into the domain category $\mathcal{D}$ that has to be accounted for and is more that can reasonably be described in terms of stable cells and gluing. The first such constructions were two step, first a Kan extension to build a smash product of $\mathcal{D}$-spaces, which are in no sense spectra, and then a coequalizer "tensor product'' construction to (loosely) build in the spheres. By enlarging $\mathcal{D}$ so as to pack more information into it, one can get a one-step construction, as explained in Mandell, May, Schwede, and Shipley "Model categories of diagram spectra". Proc. London Math. Soc. (3) 82(2001), 441--512. Still, the universal property that is the characterization is not helpfully thought of in terms of gluing cells. Rather, there is a simple naive construction of an external smash product that goes from $\mathcal{D}$-spectra to $(\mathcal{D}\times\mathcal{D})$-spectra, and then the role of Kan extension is to internalize it, using a choice of $\mathcal{D}$ that is itself symmetric monoidal. The whole problem is to build the symmetric monoidal structure. That, on the space level, is already characterized by the function space adjunction. On the spectrum level, defining function spectra is just as subtle as defining smash products. Internalizing an obvious external smash product is also the theme in the $S$-module construction. This is intrinsic to the mathematics, at least on the level of actual categories.

$\endgroup$
2
  • 2
    $\begingroup$ +1. Although you say it's not an answer, I still think there's a lot of good, useful information being relayed here. $\endgroup$
    – Todd Trimble
    Aug 29, 2012 at 13:53
  • 1
    $\begingroup$ Thank you for these additional remarks, and the two references. $\endgroup$ Aug 29, 2012 at 13:57
8
$\begingroup$

Akhil, as one of those who struggled, I'd like to point out that nobody in a million years would have first come up with such an esoteric construction (if it is one) of the smash product of spectra, and nobody who actually understands their calculational role would dream of thinking that to be the primary version of the construction, or its most important property, or something that one would actually use as "the'' smash product. It may arguably be a useful point of view, even a very useful one, but not for algebraic topology as a calculationally intensive subject. It sheds no light on many of the calculationally central features of the smash product. There are different categories of spectra with different good constructions of "the" smash product, and it doesn't help to give the idea that the notion is solely the $\infty$-category version. It is not. And it really is too bad to try to tell people that "stability is an idea that you need $\infty$-categories to make sense of''. That idea has been very well understood since before I started out 50 years ago. You are referring narrowly to stability of $\infty$-categories, so you only ``need'' it when that is all that you are referring to. Not everything in life (I mean mathematics, no, I mean algebraic topology) is $\infty$-categories, not by a long shot. End of lecture.

$\endgroup$
21
  • 13
    $\begingroup$ @Peter: While I agree that grumpiness is a reasonable reaction to some of the more enthusiastic and less restrained proponents of the $\infty$-category point of view, I don't think Akhil's answer falls in that camp. Unless I missed something, he didn't claim to be describing the "primary version" or best version of the construction; he simply described a version, without any claims that it was better than alternatives. And he took the time to describe it non-tersely, so as to be useful to a wider audience. $\endgroup$ Aug 29, 2012 at 2:56
  • 9
    $\begingroup$ For those who come here and see this as the top answer and are as confused as I was (Why is Peter May not answering the question? Why is he referring to Joseph Victor as 'Akhil'?), this is a comment to Akhil's answer below. Probably just didn't fit into a comment. $\endgroup$ Aug 29, 2012 at 3:02
  • 7
    $\begingroup$ Or perhaps it would be more accurate to say that it's okay to comment on other answers in one's answer, but it should be in such a way as to shed light on the topic at hand. Again, with respect to Professor May, his reaction, however interesting it may be, was not directly pertinent to OP's question. I don't understand all the up-votes, except maybe as some kind of emotional or philosophical agreement with his general reaction. $\endgroup$
    – Todd Trimble
    Aug 29, 2012 at 5:53
  • 15
    $\begingroup$ This answer amounts to a collection of acrimonious opinions, backed up by Peter May's weighty reputation rather than any kind of mathematical reasoning. I don't find it helpful for understanding the smash product of pointed spaces. Peter, if you would edit some math into your answer, I'm sure many people would appreciate it. $\endgroup$ Aug 29, 2012 at 5:58
  • 8
    $\begingroup$ Akhil's answer describes a particular formalization of the idea that the smash product is characterized by: do what you expect on (stable) cells, and then glue up. If no one in a millions years would have come up with that, we are all in trouble. $\endgroup$ Aug 29, 2012 at 6:50
2
$\begingroup$

I have found in my work that it is often useful to generalise from pointed spaces to pairs of spaces. This is what led me to the gluing theorem for homotopy equivalences published in my 1968 book "Elements of Modern topology", now "Topology and Groupoids".

Instead of pairs one can also do $M$-ads, where $M$ is an indexing set; there is a product, and a smash product, and an exponential law using the latter, see section 4 of my 1964 paper "Function spaces and product topologies" Quart. J. Math. (1964). As explained there: " However, the smashed product as defined here of spaces with base point $ X, Y$ is a 2-ad but is not a space with base point."

There should be some relation with the notion of Carrier, see Spanier and Whitehead, "Carriers and S-theory" so maybe there is a stable theory of carriers?

Also I do think the exponential law which is really about monoidal closed categories, not known, at least to me, in 1964, should be seen as implying a notion of bimorphism.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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