Given two abstract simplicial complexes $\mathcal{K}$ and $\mathcal{L}$, what is the definition of their product $\mathcal{K} \times \mathcal{L}$, as another abstract simplicial complex? Basically I'm looking for the definition of "product" such that $|\mathcal{K} \times \mathcal{L}|$ is homeomorphic to $|\mathcal{K}| \times |\mathcal{L}|$, if that makes sense ($|\cdot|$ denotes geometric realization; not sure if this is standard usage). I understand how to obtain their product when considering their geometric realizations, but is there a nice combinatorial definition of the product of two abstract simplicial complexes?
For example, it doesn't make sense to simply take their Cartesian product $\mathcal{K} \times \mathcal{L}$ as sets. So then what do we do with $\mathcal{K}$ and $\mathcal{L}$?
Best Answer
This is more subtle than it might first appear. First of all, how do we triangulate $\Delta^n \times \Delta^m$? One answer is to use barycentric subdivision: see Q5 here. However, there is also a triangulation whose vertices are pairs of vertices in the two factors. Either way, once have decided on a coherent procedure for triangulating $\Delta^n \times \Delta^m$, it is a relatively straightforward matter to extend this to a procedure for triangulating products of abstract simplicial complexes in general.
Let me describe the second option in more detail. Let $K$ and $L$ be abstract simplicial complexes and choose a linear ordering of the vertices. We define $K \otimes L$ to be the following abstract simplicial complex:
For example, $\Delta^1 \otimes \Delta^1$ corresponds to $⧄$. (If we had neglected the ordering, we would instead get $\Delta^3$!) There are evident simplicial maps $K \otimes L \to K$ and $K \otimes L \to L$, and their geometric realisations induce a homeomorphism $| K \otimes L | \to | K | \times | L |$, as required. (As before, first verify the claim for the standard simplices.)