Non-rigidity degree of a lattice and rigid lattices (Q5949030)

Voronoi defined a partition of the cone of positive semidefinite \(n\)-ary forms into \(L\)-type domains. Each \(L\)-type domain is an open polyhedral cone of dimension \(k\), \(1\leq k\leq{n(n+1)\over 2}\), where \(n\) is the number of variables and dimension of the corresponding lattice. The authors define a non-rigidity degree of a lattice as the dimension of the \(L\)-type domain containing the lattice. They prove that the non-rigidity degree of a lattice equals the corank of a system of equalities connecting norms of minimal vectors of cosets of \(2L\) in \(L\). A lattice of non-rigidity degree 1 is called rigid. A lattice is rigid if any of its sufficiently small deformations distinct from a homothety change its \(L\)-type. Using the list of 84 zone-contracted Voronoi polytopes in \(\mathbb{R}^5\) given by \textit{P. Engel} [Proc. Inst. Math. Natl. Acad. Sci. Ukr., Math. Appl. 21, No. 2, 22-60 (1998; Zbl 0955.51011)], the authors give a complete list of seven five-dimensional rigid lattices.