A triangulation of a topological manifold $\mathcal{M}$ possibly with boundary is an abstract simplicial complex $\Delta$ together with a homeomorphism $\varphi:\vert\Delta\vert\to\mathcal{M}$, where $\vert\Delta\vert$ denotes the geometric realization and where an abstract simplicial complex is a collection of simplices with the property that $\sigma\in\Delta$ and $\tau\subset\sigma$ implies $\tau\in\Delta$.
Now, for simplicial complexes one can define the following extra properties:
- $\Delta$ is "pure", i.e. every simplex $\sigma\in\Delta$ of dimension $<d$ is the face of some $d$-simplex.
- $\Delta$ is "non-branching", i.e. every $(d-1)$-simplex is face of exactly one or two $d$-simplices.
- $\Delta$ is "strongly-connected", i.e. for every pair of $d$-simplices $\sigma,\tau\in\Delta_{d}$, there is a sequence of $d$-simplices $\sigma=\sigma_{1},\sigma_{2},\dots,\sigma_{k}=\tau$ such that the intersection $\sigma_{l}\cap\sigma_{l+1}$ is a $(d-1)$-simplex for every $l\in\{1,\dots,k-1\}$.
An abstract simplicial complex with these properties is usually called a "pseudomanifold (possibly with boundary)". Now, I know that every piecewise-linear manifold, i.e. a manifold with a triangulation satisfying the extra property that the links of every vertex is a sphere or ball (or equivalently a manifold with a piecewise-linear atlas), is a pseudomanifold. This is stated in many resources and is clear I think.
However, on the other side, there are examples of triangulation for dimension $d>4$, which are not piecewise-linear. In fact, there are even triangulations of manifolds (like for $S^{5}$) whose links are not even manifolds. However, do these complexes still have the properties above? I think they should at least be pure, since this property is needed in order to define the boundary of a simplicial complex and I think this should be possible for arbitrary triangulations of manifold with boundary. On the other hand, triangulations of manifolds should be non-branching, I guess, since this is needed in order to define orientability of simplicial complexes.
In some sense, I am asking if the concept of pseudomanifold generalizes the concept of PL-manifolds or of general triangulazible manifolds.