The Voronoi conjecture for parallelohedra with simply connected \(\delta\)-surfaces (Q2340405): Difference between revisions

A \(d\)-dimensional polytope is called a parallelohedron if \({\mathbb R}^d\) can be tiled by nonoverlapping translates of the polytope. In 1908 G.~Voronoi conjectured that every \(d\)-dimensional parallelohedron is affinely equivalent to a Dirichlet-Voronoi polytope of some full-rank lattice \({\mathbb R}^d\). In this paper the authors prove that the Voronoi conjecture is true for parallelohedra with simply connected \(\delta\)-surfaces. (Recall that the \(\delta\)-surface is the a manifold obtained by removing all closed non-primitive faces of codimension 2 from the boundary of the polytope.) They also show that every parallelohedron with simply connected \(\delta\)-surface satisfies the condition on the homology group of \(\delta\)-surface with antipodal points identified (which is possible since \(\delta\)-surfaces are centrally symmetric).