arXiv++ Combinatorics

A simplicial complex is said to be {\em critical} (or {\em forbidden}) for the 3-sphere $S^3$ if it cannot be embedded in $S^3$, but becomes embeddable upon removing the open star of any simplex in its second barycentric subdivision. We show that if a regular multibranched surface cannot be embedded in $S^3$, then it contains a critical complex consisting of a multibranched surface and, possibly, a graph. We classify all critical complexes for $S^3$ that are contained in the $K_5 \times S^1$ and $K_{3,3} \times S^1$ families. Additionally, we classify all critical complexes for $S^3$ that decompose as $(G \times S^1) \cup H$, where $G$ and $H$ are graphs whose intersection $G \cap H$ consists solely of vertices of $H$. Nevertheless, some complexes cannot be embedded in $S^3$ and yet do not contain any critical subcomplex. Motivated by such examples, we define an equivalence relation on the set of simplicial complexes $\mathcal{C}$, leading to a partially ordered set $(\mathcal{C}/\mathord\sim; \subseteqq)$, and refine the definition of critical. According to the refined definition of criticality, we prove that if a 2-dimensional complex $X$ cannot be embedded in $S^3$, then there exists $[X']\subseteqq [X]$ such that $[X']$ is critical for $[S^3]$.