Smash product
From Wikipedia, the free encyclopedia
In mathematics, the smash product of two pointed spaces (topological spaces with distinguished basepoints) X and Y is the quotient of the product space X × Y under the identifications (x, y0) ∼ (x0, y) for all x ∈ X and y ∈ Y. The smash product is usually denoted X ∧ Y. The smash product obviously depends on the choice of basepoints (unless, of course, both X and Y are homogeneous).
One can think of X and Y as sitting inside X × Y as the subspaces X × {y0} and {x0} × Y. These subspaces intersect at a single point: (x0, y0), the basepoint of X × Y. So the union of these subspaces can be identified with the wedge sum X ∨ Y. The smash product is then the quotient
.
The smash product is important in homotopy theory, a branch of algebraic topology. One reason why is that the smash product makes the homotopy category into a symmetric monoidal category, with the 0-sphere (two points) as unit. Symmetric here means that the smash product of spaces is commutative up to homotopy. Thus smash product behaves somewhat like the tensor product of modules. Furthermore, the suspension functor can be represented by smashing with a circle.
[edit] Examples
- The smash product of two spheres Sm and Sn is homeomorphic to the sphere Sm+n. In particular, for m = n = 1, the smash product of two circles is a quotient of the torus homeomorphic to the 2-sphere.
[edit] 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 is left adjoint to the internal Hom functor as follows:
In the category of pointed topological spaces, the smash product plays the same role of the tensor product:
,
where A is locally compact and Hausdorff.
In particular, the suspension functor is left adjoint to the loop space functor.
