Isoperimetric inequalities in crystallography

Given a cubic space group (viewed as a finite group of isometries of the torus ), we obtain sharp isoperimetric inequalities for -invariant regions. These inequalities depend on the minimum number of points in an orbit of and on the largest Euler characteristic among nonspherical -symmetric surfaces minimizing the area under volume constraint (we also give explicit estimates of this second invariant for the various crystallographic cubic groups ). As an example, we prove that any surface dividing into two equal volumes with the same (orientation-preserving) symmetries as the A. Schoen minimal Gyroid has area at least (the conjectured minimizing surface in this case is the Gyroid itself whose area is ).