Low-dimensional lattices. VI. Voronoi reduction of three-dimensional lattices

The aim of this paper is to describe how the Voronoi cell of a lattice changes as that lattice is continuously varied. The usual treatment is simplified by the introduction of new parameters called the vonorms and conorms of the lattice. The present paper deals with dimensions n ≼ 3; a sequel will treat four-dimensional lattices. An elegant algorithm is given for the Voronoi reduction of a three-dimensional lattice, leading to a new proof of Voronoi’s theorem that every lattice of dimension n ≼ 3 is of the first kind, and of Fedorov’s classification of the three-dimensional lattices into five types. There is a very simple formula for the determinant of a three-dimensional lattice in terms of its conorms.

[1]  Eduard Selling,et al.  Ueber die binären und ternären quadratischen Formen. , 1874 .

[2]  N. Sloane,et al.  The Optimal Lattice Quantizer in Three Dimensions , 1983 .

[3]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[4]  E. P. Baranovskii,et al.  CLASSICAL METHODS IN THE THEORY OF LATTICE PACKINGS , 1979 .

[5]  Georges Voronoi.  Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Deuxième mémoire. Recherches sur les parallélloèdres primitifs. , 1908 .

[6]  N. J. A. Sloane,et al.  Sphere Packings, Lattices and Groups , 1987, Grundlehren der mathematischen Wissenschaften.

[7]  B. M. Fulk.  MATH , 1992 .

[8]  Voronoi parallelohedra for certain unimodular lattices , 1985 .

[9]  Mikhail Ivanovich Shtogrin.  Regular Dirichlet-Voronoĭ partitions for the second triclinic group , 1975 .

[10]  Sergeĭ Sergeevich Ryshkov.  The geometry of positive quadratic forms , 1983 .

[11]  Sergeĭ Sergeevich Ryshkov,et al.  C-types of n-dimensional lattices and 5-dimensional primitive parallelohedra : with application to the theory of coverings , 1978 .

[12]  E. S. Barnes.  The Covering Of Space By Spheres , 1956, Canadian Journal of Mathematics.

[13]  H. Davenport,et al.  The covering of space by spheres , 1952 .

[14]  Neil J. A. Sloane,et al.  Low-dimensional lattices. I. Quadratic forms of small determinant , 1988, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.