7
$\begingroup$

A primary parallelohedron is a polyhedron that can fill space with infinite translated copies.

It is known (e.g., Coxeter, H. S. M. Regular Polytopes, 3rd ed. New York: Dover, pp. 29-30, 1973; or, Tutton, A. E. H. Crystallography and Practical Crystal Measurement, 2nd ed. London: Lubrecht & Cramer, 1964.) that the primary parallelohedra are the cube, hexagonal prism, elongated dodecahedron, rhombic dodecahedron, and truncated octahedron.

Is there is a classification for any higher dimensions? What are the primary d-parallelotopes?

The following is a conjecture of mine regarding the case of $d=4$.

Conjecture: There are exactly 7 primary 4-parallelotopes:

(1) Hypercube

(2) 16-cell

(3) 24-cell

(4) Hexagonal Square Duoprism

(5) Prismatic Elongated Dodecahedron

(6) Prismatic Rhombic Dodecahedron

(7) Prismatic Truncated Octahedron

EDIT: Based upon the recent answer, an improved question would concern the classification of combinatorial equivalence classes of Voronoi cells of lattices. Have these been classified or are there known classifications which could prove or disprove my conjecture?

Improve this question
$\endgroup$
1
  • $\begingroup$ The 16-cell isn’t a parallelotope… $\endgroup$
    – Daniel Sebald
    Commented Oct 5, 2022 at 3:03

1 Answer 1

Reset to default
11
$\begingroup$

Voronoi conjectured that every parallelotope is combinatorially equivalent to a Voronoi cell of a lattice. The conjecture was proved for $d\le 4$ by Delone.

Reference: Handbook of Convex Geometry, P. M. Gruber and J. M. Wills (eds.) page 1005

To answer the added question: there are 52 inequivalent Voronoi cells in 4 dimensions. I do not know whether this classification proves or refutes your stated conjecture, but it should not be hard to check.

Reference: Computational Geometry of Positive Definite Quadratic Forms, A. Schuermann, page 60

Improve this answer
$\endgroup$
2
  • $\begingroup$ In order to complete the question then, is there a classification of the combinatorial equivalence classes of Voronoi cells generated by lattices? Any comment on my conjecture? $\endgroup$
    – Samuel Reid
    Commented Nov 17, 2015 at 21:47
  • $\begingroup$ Thank you for your very succinct and complete answer, I'll post another answer if I end up finishing a paper on the Voronoi conjecture for $d>4$ and the combinatorial classification of primary $d$-parallelotopes. $\endgroup$
    – Samuel Reid
    Commented Nov 17, 2015 at 22:06

You must log in to answer this question.

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