Suppose $c$ a simplex such that it is the join of two of its faces, say $c=a\ast b$. Let $S$ be defined as S=\left\{\sigma\in \partial(c')\big\vert \ \sigma \textrm{ has no vertex in } a\cup b\right\} where c' is the baricentric subdivision of $c$. I would like to show that $S$ is homotopic to a sphere.
Now, this is my idea, that I am not able to complete: a simplex $\sigma$ in $S$ can be written as a sequence of proper inclusions $\sigma\equiv \alpha_0\subsetneq\ldots\subsetneq\alpha_k$ such that the $\alpha_i$ are proper faces of $c$ and none of them is contained in $a\cup b$. If I'm not wrong, this space should be equal to the following: take the boundary of $c$ (which is a sphere) and subdivide it, obtaining a sphere again. Now remove $a$ and $b$ (which should be disjoint, as $c$ is the join of them) and "collapse" what you get over the maximum subcomplex that remains. This should be homotopic to a sphere with 2 points removed, so it should be again homotopic to a sphere.
Probably I'm completely wrong, but the other paths I've tried to follow led me to non-sense conclusions.
Thanks in advance, bye