5
$\begingroup$

Roughly, a cubical complex is like a simplicial complex except all the pieces glued together are combinatorial cubes of various dimensions. A cubical sphere is a cubical complex that is homeomorphic to a sphere. I have encountered papers that distinguish between cubical spheres and cubical polytopes, but I do not understand the distinction. Is there a distinction already in $\mathbb{R}^3$? If so, could anyone provide an example? A reference to clear definitions would suffice as well. Thanks!

My understanding is that, say, the rhombic triacontahedron is both a cubical polytope and a cubical sphere in $\mathbb{R}^3$:
           Rhombic triacontahedron
          Image from Wikipedia article

  • 0
    So a combinatorial cube is something that has the same inclusions among its faces as the usual $n$-cube?2011-07-21

2 Answers 2

1

(Too long for a comment): Here are some thoughts on this circle of ideas though I am not sure what distinctions have been made with these terms in the literature. The diagram you show is a 3-polytope whose surface is built up of 2-dimensional combinatorial cubes, namely 4--gons. However, it is not clear that this 3-polytope or similar 3-polytopes including their interior points can be always be decomposed as 3-cubes that meet along faces. The note on this page which talks about combinatorial cubes: http://www.york.cuny.edu/~malk/tidbits/n-cube-tidbit.html shows a diagram of as 4-cube but it also can be thought of a 3-cube whose interior has been cut up into other combinatorial 3-cubes. As regards the torus, there are some graphs which will not embed on a sphere but will embed on a torus. Now one can ask if one can embed in 3-space a surface (topologically a torus) with flat faces so that the vertex edge graph of this surface is the given graph. When this is possible it is common to call the resulting surface a toroidal polytope. The adjective toroidal overcomes the usage of polytope to be something convex.

  • 0
    Thanks, Joe, I will look at it! (Sorry for not revisiting this in so long...)2011-08-28
1

I am assuming the cubical polytopes are convex - otherwise it's easy to come up with counterexamples - say cubulated tori.

In this case the distinction can be framed as follows. Say you have a cubical convex polytope - this is homeomorphic to a ball so its boundary always gives you a cubical sphere. So the set of cubical polytopes are contained in the set of cubical spheres (in the sense of combinatorial equivalence of their face lattice). The more interesting question is whether each cubical sphere is combinatorially equivalent to the boundary of a convex cubical polytope.

In three dimensions (or equivalently for $2$-spheres) cubical polytopes and cubical spheres coincide. Given any cubical $2$-sphere, its $1$-skeleton is a 3-connected planar graph so we can use Steinitz's Theorem to construct a polytope with the same combinatorial type.

Things get trickier in higher dimensions. I do not know of an explicit example of a non-polytopal $3$-sphere in the cubical case but the simplicial case has been studied extensively. There are many examples of simplicial $3$-spheres that are not combinatorially equivalent to the boundary of any $4$ simplicial polytope. The typical construction uses a knot on $3$ edges inside the simplicial sphere. If the knot is non-trivial the corresponding sphere will be non-shellable and thus not polytopal since every polytope is shellable. See Theorem 1 and 2 here. In the same paper Lutz gives a small example of a non-polytopal sphere on $13$ vertices. I think one could use the same ideas starting from Furch's knotted cube to get a non-shellable cubical 3-sphere.