The isoperimetric problem for four-dimensional parallelohedra

Abstract: We show that the regular $24$-cell uniquely minimizes surface area among four-dimensional parallelohedra of fixed volume. As a consequence, it also minimizes surface area among parallelohedra containing a fixed ball. Moreover, we establish quadratic Hausdorff stability, and we derive a second-variation formula valid across changes of Voronoi type, which identifies which root-lattice Voronoi cells are strict local minima under metric and affine perturbations.