Smash product

In topology, a branch of mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) Template:Math and Template:Math is the quotient of the product space Template:Math under the identifications Template:Math for all Template:Mvar in Template:Mvar and Template:Mvar in Template:Mvar. The smash product is itself a pointed space, with basepoint being the equivalence class of Template:Math The smash product is usually denoted Template:Math or Template:Math. The smash product depends on the choice of basepoints (unless both X and Y are homogeneous).

One can think of Template:Mvar and Template:Mvar as sitting inside Template:Math as the subspaces Template:Math} andTemplate:Math These subspaces intersect at a single point: Template:Math the basepoint of Template:Math So the union of these subspaces can be identified with the wedge sum $X\vee Y=(X⨿Y)/\sim$. In particular, Template:Math in Template:Math is identified with Template:Mvar in $X\vee Y$, ditto for Template:Math} and Template:Mvar. In $X\vee Y$, subspaces Template:Mvar and Template:Mvar intersect in the single point $x_0\sim y_0$. The smash product is then the quotient

$X\wedge Y=(X\times Y)/(X\vee Y).$

The smash product shows up in homotopy theory, a branch of algebraic topology. In homotopy theory, one often works with a different category of spaces than the category of all topological spaces. In some of these categories the definition of the smash product must be modified slightly. For example, the smash product of two CW complexes is a CW complex if one uses the product of CW complexes in the definition rather than the product topology. Similar modifications are necessary in other categories.

Examples

A visualization of $S^1\wedge S^1$ as the quotient $(S^1\times S^1)/(S^1\vee S^1)$.

• The smash product of any pointed space X with a 0-sphere (a discrete space with two points) is homeomorphic to X.
• The smash product of two circles is a quotient of the torus homeomorphic to the 2-sphere.
• More generally, the smash product of two spheres S^m and Sⁿ is homeomorphic to the sphere S^m+n.
• The smash product of a space X with a circle is homeomorphic to the reduced suspension of X: $$\mathrm{\Sigma }X\cong X\wedge S^1.$$
• The k-fold iterated reduced suspension of X is homeomorphic to the smash product of X and a k-sphere $${\mathrm{\Sigma }}^{k}X\cong X\wedge S^k.$$
• In domain theory, taking the product of two domains (so that the product is strict on its arguments).

As a symmetric monoidal product

For any pointed spaces X, Y, and Z in an appropriate "convenient" category (e.g., that of compactly generated spaces), there are natural (basepoint preserving) homeomorphisms

$\begin{array}{cc}X\wedge Y& \cong Y\wedge X,\\ (X\wedge Y)\wedge Z& \cong X\wedge (Y\wedge Z).\end{array}$

However, for the naive category of pointed spaces, this fails, as shown by the counterexample $X=Y=\mathbb{Q}$ and $Z=\mathbb{N}$ found by Dieter Puppe. A proof due to Kathleen Lewis that Puppe's counterexample is indeed a counterexample can be found in the book of Johann Sigurdsson and J. Peter May.

These isomorphisms make the appropriate category of pointed spaces into a symmetric monoidal category with the smash product as the monoidal product and the pointed 0-sphere (a two-point discrete space) as the unit object. One can therefore think of the smash product as a kind of tensor product in an appropriate category of pointed spaces.

Adjoint relationship

Adjoint functors make the analogy between the tensor product and the smash product more precise. In the category of R-modules over a commutative ring R, the tensor functor $(-{\otimes }_{R}A)$ is left adjoint to the internal Hom functor $\mathrm{H}\mathrm{o}\mathrm{m}(A,-)$, so that

$\mathrm{H}\mathrm{o}\mathrm{m}(X\otimes A,Y)\cong \mathrm{H}\mathrm{o}\mathrm{m}(X,\mathrm{H}\mathrm{o}\mathrm{m}(A,Y)).$

In the category of pointed spaces, the smash product plays the role of the tensor product in this formula: if $A,X$ are compact Hausdorff then we have an adjunction

$\mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}(X\wedge A,Y)\cong \mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}(X,\mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}(A,Y))$

where $\mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}$ denotes continuous maps that send basepoint to basepoint, and $\mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}(A,Y)$ carries the compact-open topology.

In particular, taking $A$ to be the unit circle $S^1$, we see that the reduced suspension functor $\mathrm{\Sigma }$ is left adjoint to the loop space functor $\mathrm{\Omega }$:

$\mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}(\mathrm{\Sigma }X,Y)\cong \mathrm{M}\mathrm{a}\mathrm{p}{\mathrm{s}}_{\mathrm{*}}(X,\mathrm{\Omega }Y).$

References

• Template:Hatcher AT