Given a graph $G$, a realization of $G$ as a polytope is a convex polytope $P\subseteq \Bbb R^n$ with $G$ as its 1-skeleton.

A realization $P\subseteq \Bbb R^n$ is said to realize the symmetries of $G$, if for each graph-automorphism $\phi\in\mathrm{Aut}(G)$ there is an isometry of $\Bbb R^n$ inducing the same automorphism on the edges and vertices of $P$.

Question: Let $G$ be the 1-skeleton of a polytope. Is there a realization of $G$ that realizes all its symmetries?

Note that if we know $G$ to be the skeleton of an $n$-polytope, then the symmetric realization does not have to be of the same dimension. In fact, this is not always possible. The complete graph $K_n,n\ge 6$ is realized as a neighborly 4-polytope, but its only symmetric realization is the simplex in $n-1\ge5$ dimensions. However, this is the only example I know of.

One way to construct a counter-example would be to find an $n$-polytope with a skeleton $G$ that is not more than $n$-connected (e.g. $n$-regular), but where $\mathrm{Aut}(G)$ is no subgroup of the point group $O(n)$. Its symmetric realization must be in dimension $\ge n+1$, but it cannot be because of Balinski's theorem.

There is an example of Bokowski, Ewald and Kleinschmidt of a 4-polytope with a certain symmetry of the graph that cannot be realized geometrically. The combinatorial construction is due to Kleinschmidt and the method for realizing it as a polytope were developed by Bokowski and Ewald. (Positive answer for d=3 and when the number of vertices is $d+3$ were fist proved by Mani and Perles respectively.)

correction:

What is known in BEK's example is that a certain automorphism $\phi$ of the combinatrial structure cannot be realized geometrically. It is possible that for other polytopes with the same graph the graph automorphism described by $\phi$ can be realized geometrically. (See comments below.)

  • 3
    It seems the set up of Bokowski et al. is slightly different than what the question asks for: the question allows the same 1-skeleton to be realized by a polytope in higher dimensions. In fact, in the Bowkowski et al. paper it seems they only consider polytopes combinatorially equivalent to the given polytope (not just with the same 1-skeleton), which is a big restriction. – Sam Hopkins Aug 16 at 17:49
  • 4
    Dear Sam, you are right but one can expect that the Bokowski et als example applies to the question here. Also, it suffices for a negative answer to consider simple 4 polytopes so the dual of the barycentric subdivision of the BEK polytope might work. (The graphs of simple 4 polytopes determine the combinatorial structure, and it cannot serve as the graph of a d-polytope for d>4. It also contains $K_5$ so it is not the graph of 3-polytopes. – Gil Kalai Aug 17 at 8:37
  • 1
    @GilKalai: the dual of the barycentric subdivision of the BEK polytope will have a much higher dimensional space of realizations, so it's not clear why the symmetries couldn't be preserved... – Ian Agol Aug 17 at 17:47
  • Hmm, that's correct. BEK's example may still work (I am not sure if the graph supports other polytopes) and also I am not aware off-hand of a simple example. I will ask around... – Gil Kalai Aug 18 at 17:55

This is true for 2- and 3-dimensional polytopes. The 2-dimensional case is the trivial observation that there exists regular polygons.

For the 3-dimensional case, Steinitz' theorem characterizes 1-skeleta of 3-dimensional polyhedra as 3-connected planar graphs. Whitney proved that a 3-connected graph has a unique planar embedding. Hence any symmetry of the graph extends to a combinatorial symmetry of the polyhedron.

The circle packing proof of Steinitz' theorem implies that there is a realization of a polyhedron which is unique up to projective transformations preserving the sphere on which the circle packing lies.

enter image description here

This is $PO(3,1;\mathbb{R})\leq PGL_4(\mathbb{R})$, the isometries of hyperbolic space. There is an associated hyperbolic polyhedron whose faces lie in geodesic planes bounding the circles corresponding to the vertices and faces of the planar graph embedding, and has right angles and ideal vertices. Taking the barycenter of this polyhedron at the center of the ball model of hyperbolic space gives a polyhedral realization in which all symmetries are rotations. Hence the symmetry group of the graph extends to this polyhedron.

Addendum: As pointed out in Gil Kalai's answer, this was originally proved here:

Mani, P., Automorphismen von polyedrischen Graphen, Math. Ann. 192, 279-303 (1971). ZBL0206.51402. MR0296808.

Your Answer

 
discard

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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