Smooth lattices over quadratic integers (Q2463382)

The purpose of the paper under review is to study quadratic forms with ``good reduction'' modulo all maximal ideals in the ring of integers in number fields. By ``good reduction'' is meant that the rank of the form is unchanged when its coefficients are reduced modulo any maximal ideal in the ring of integers over which the form is defined. These forms are also called smooth forms. Over the rationals smooth forms can be characterized using well-known results on the classification of quadratic forms with small discriminant. The authors of the paper under review study smooth forms over quadratic number fields \({\mathbb{Q}}(\sqrt \Delta)\), where \(\Delta\) is a square-free integer. The construction gives a representative of the genus of such lattices as an orthogonal sum of ``standard'' pieces of ranks 1--4 and covers the case of the discriminant of the real quadratic number field congruent to 1 modulo 8 for which a general construction was not known. The appendix consists of an algorithm for constructing minimal over-orders of Gorenstein quaternion orders over Dedekind domains. This algorithm is used to construct the lattices.