8
$\begingroup$

Shellability of a simplicial sphere tells us that we can build up the complex one facet at a time such that at each step (except the last step) the complex is a PL-ball. At the last step it is of course a PL-sphere.

Lickorish showed that there exist non-shellable d-spheres for $d \geq 3$.

My question, perhaps a cynical one, is 'Are there any practical implications for why someone would care to have a shellable simplicial sphere, rather than just a PL-sphere?

$\endgroup$
3
  • $\begingroup$ Well, it rules out a naive approach to the PL Poincare conjecture. You might have hoped to prove it by showing that a PL manifold that had the same homotopy type as the sphere was shellable, but you can't even do this for certain triangulations of the sphere. $\endgroup$
    – Jim Conant
    Sep 21, 2015 at 13:54
  • $\begingroup$ There may be nice uses for a non-shellable sphere, but I think the main way one would use the theorem in practice is as an affirmation that you can't assume that some random triangulation that someone hands you is shellable. $\endgroup$
    – Jim Conant
    Sep 21, 2015 at 14:03
  • $\begingroup$ Ah, my comments above were directed at why Lickorish's theorem is important, but I see that this is not the question. $\endgroup$
    – Jim Conant
    Sep 21, 2015 at 15:12

2 Answers 2

5
$\begingroup$

Read the first paragraph of Gunter Ziegler's nice paper.

$\endgroup$
2
$\begingroup$

I think the question is slightly missing the point, in a way that it may be useful to explain. Frequently, the reason you would want to show something is a shellable simplicial sphere is in order to be able to deduce that it is a sphere at all. Given some crazy simplicial complex, it is not obvious whether it is a sphere or not, but for a shellable complex, it's much easier to tell.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.