25
$\begingroup$
  • Does every convex polyhedron have a combinatorially isomorphic counterpart whose faces all have rational areas?
  • Does every convex polyhedron have a combinatorially isomorphic counterpart whose edges all have rational lengths?
  • Does every convex polyhedron have a combinatorially isomorphic counterpart whose vertices all have rational $x,y,z$ coordinates?

Can multiple conditions above be combined?

Update: all polyhedra in question are in $\mathbb{R}^3$.

$\endgroup$
2
  • 11
    $\begingroup$ Somewhat related to this question: the answer mathoverflow.net/questions/23478/… and comments below. $\endgroup$ Commented May 4, 2013 at 21:48
  • 2
    $\begingroup$ According to Ziegler's Lectures on Polytopes, question 2 is an open problem. See page 123, question 4.18. But I don't know if it is still open. $\endgroup$ Commented Jan 10, 2014 at 16:14

3 Answers 3

19
$\begingroup$

The answer to the third question is no. This is a rather counter-intuitive discovery of Micha Perles from the sixties. See this paper of Ziegler, for a simpler construction and other pertinent information. However, for polytopes in dimension $3$, the answer is yes, as mentioned in the same paper of Ziegler.

$\endgroup$
5
  • 7
    $\begingroup$ In case the original question was for dimension $3$, however, the answer is yes, as I think is mentioned in that paper. $\endgroup$ Commented May 4, 2013 at 23:10
  • $\begingroup$ Thanks Douglas. Yes, it is indeed mentioned in Ziegler's paper. $\endgroup$
    – Tony Huynh
    Commented May 4, 2013 at 23:12
  • 5
    $\begingroup$ However, note that there are nonrational, nonconvex polyhedral surfaces in $\mathbb{R}^3$, due to Ulrich Brehm. $\endgroup$ Commented May 5, 2013 at 1:09
  • 1
    $\begingroup$ @Joseph O'Rourke: Could you please give a reference? $\endgroup$ Commented May 5, 2013 at 1:25
  • 2
    $\begingroup$ I only know this via G. Ziegler's paper already cited, "Non-rational configurations, polytopes, and surfaces." I am not certain if Ulrich published it separately, as he was more concentrated on his universality theorem ("A universality theorem for realization spaces of maps"). $\endgroup$ Commented May 5, 2013 at 2:15
5
$\begingroup$

The answer to the first question is yes for simple polyhedra (those with degree $3$ at each vertex). Actually it follows pretty quickly from Minkowski's existence theorem for convex polyhedra that simple convex polyhedra with rational face areas are dense in the space of simple convex polyhedra.

To start, let us recall Minkowski's theorem: there exists a convex polyhedron $P$ with face areas $a_i$ and outward unit normals $n_i$ if and only if $$ \sum_{i=1}^k a_i n_i=0, $$ where we assume that $n_i$ are distinct and span $R^3$. Further $P$ is unique, up to a rigid motion. The proof of Minkowski's theorem also makes it clear that $P$ depends continuously on $a_i$ and $n_i$.

Now suppose we are given a simple convex polyhedron $P$ with face areas $a_i$ and outward unit normals $n_i$, $i=1,\dots,k$. Let $a_i'$ be rational numbers with $|a_i-a_i'|\leq\epsilon$, and set $$ n_i':=n_i \;\text{for}\; i<k,\quad\quad\text{and}\quad\quad n'_k:=\frac{-1}{a_k'}\sum_{i=1}^{k-1}a_i'n_i'. $$ Then we have $$ \sum_{i=1}^k a_i' n_i'=0. $$ So there exists a convex polyhedron $P'$ with (rational) face areas $a_i'$ and outward unit normals $n_i'$. Since $a_i'$, $n_i'$ are close to $a_i$, $n_i$, it follows (from the uniqueness part of Minkowski's theorem) that the planes of the faces of $P'$ are close to those of $P$. Hence, since $P$ is simple, it follows that $P'$ is isomorphic to $P$.

$\endgroup$
2
  • $\begingroup$ This argument works for simple polyhedra but not in general: Convex polyhedra close to each other need not be isomorphic. $\endgroup$
    – Misha
    Commented Oct 6, 2017 at 11:35
  • $\begingroup$ OK, thanks. I added this condition. $\endgroup$ Commented Oct 6, 2017 at 12:15
3
$\begingroup$

The answer to the second question is yes for simplicial polyhedra, i.e., those with triangular faces. Indeed one may use Alexandrov's isometric embedding theorem to show that simplicial polyhedra with rational edge lengths are dense in the space of simplicial polyhedra, as discussed below.

Let $\ell_i$ be the edge lengths of a given simplicial convex polyhedron $P$ and $\ell_i'$ be rational numbers with $|\ell_i'-\ell_i|\leq\epsilon$. For each face $F_i$ of $P$ let $F_i'$ be the triangle with edge lengths $\ell_{i1}',\ell_{i2}',\ell_{i3}'$, where $\ell_{i1},\ell_{i2},\ell_{i3}$ are edge lengths of $F_i$. Assuming $\epsilon$ is small, the sum of the angles of $F_i'$ around each vertex will be less than $2\pi$ if $F_i'$ are glued together the same way that $F_i$ are. Thus, by Alexandrov's theorem, gluing $F_i'$ yields a convex polyhedron $P'$. By the uniqueness part of Alexandrov's theorem, $P'$ is close to $P$, after a rigid motion, and is therefore isometric to it since $P$ is simplicial. This in turn yields that the edges of $P'$ coincide with those of $F_i'$, because edges of $F_i'$ are the unique geodesics in $P'$ connecting their end points. So $P'$ has rational edge lengths as desired.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .