There are two different notions of triangulations for a manifold $\mathcal{M}$:
- A (simplicial) triangulation is an abstract simplicial complex $\Delta$ such that $\vert\Delta\vert\cong \mathcal{M}$.
- A combinatorial triangulation is an abstract simplicial complex $\Delta$ such that $\vert\Delta\vert\cong \mathcal{M}$ with the extra property that the link of every vertex is PL-homeomorphic to the standard PL-sphere, i.e. the boundary of a single $d$-simplex. (or in the case of manifolds with boundary, the link of a vertex is also allowed to be PL-homeomorphic to the standard PL-ball, i.e. a single $d$-simplex; In this case, the corresponding vertex is on the boundary).
Now, in sufficient high dimensions there are well-known examples of triangulations of manifolds, which are not combinatorial, like the famous example of $S^{5}$ constructed using the suspension theorem.
However, I have often found the following claim (i.e. on wikipedia):
Every triangulation of a $d$-dimensional manifold with $d\leq 4$ is combinatorial.
For $d=1$ the claim is of course trivial. Now, I have in essence two (very closely related) questions:
Often, it is stated that the case $d=2,3$ is a consequence of the famous triangulation theorems of Rado and Moise-Bing. However, I can't understand why. These theorems "just" say that every $2$ (resp. 3)-dimensional manifold has a piecewise-linear structure (equivalently a combinatorial triangulation), which is unique up to PL-homeomorphism. Why does this imply that every triangulation is a combinatorial one? Do I miss something, or are there other, stricter results of these Theorems of which I am not aware of?
What about the case $d=4$? Does anyone know a reference for this? I have heard somewhere that this case is equivalent to Poincare's conjecture, however, I do no remember where. I know that not every $4$-manifolds admits a triangulation (like $E_{8}$). Furthermore, I know that in $d=4$, the smooth and PL-category are equivalent, but I do not know if this helps.