Keywords:
tables,
reduced, regular, primitive, positive definite, quinary,
quadratic forms,
five-dimensional lattices,
automorphism group,
mass,
genus,
genera,
Hasse symbol
These tables were computed by Gordon L. Nipp
(gnipp@calstatela.edu),
of the Department of Mathematics,
California State University,
Los Angeles, CA 90032, USA,
and are included here with his permission.
About these tables
About this Catalogue of Lattices
The format of these tables
Discriminants 2 to 256
Discriminants 257 to 270
Discriminants 271 to 300
Discriminants 301 to 322
Discriminants 323 to 345
Discriminants 346 to 400
Discriminants 401 to 440
Discriminants 441 to 480
Discriminants 481 to 500
Discriminants 501 to 513
Format of these files
These are tables of reduced regular primitive positive-definite
quinary quadratic forms over the rational integers.
They were computed by Gordon L. Nipp (see above) and are included here with his permission.
These tables contain one 5-variable quadratic form from each primitive class of such forms through discriminant d=513. The classes are grouped into genera; the mass of each genus has been computed, and, for each prime p dividing 2d, Hasse symbols are given. In addition, the number of automorphs for each form has been computed, so that the well-known relationship between the mass of the genus and the number of automorphs of each class serves as a check on the accuracy of the tables.
Based on results of Minkowski [1] and van der Waerden [6] and beginning with the quaternary forms through discriminant 1296 contained in Nipp [2] (ample to ensure completeness), we generated successive large collections of reduced quinary forms containing forms in all possible quinary classes through d=513 (the discriminant is that of Watson [7]). Grouping into classes and choosing a representative of each class was accomplished using a well-tested computer program described for the quaternary case in [2], and a similar program was used to compute the number of automorphs for each such representative. The classes were then separated into genera using an upgrade of a program described in [2] and based on results contained in O'Meara's book [3]. The 2-adic density a_2 of each form was computed as in Watson's article [8], and for primes p dividing d, p >2, p-adic densities a-p were calculated using Pall's results [4]. Following Siegel [5] and Pall [4], the mass was computed according to the formula
d^3 Product (1-p^{-2})(1-p^{-4}), p|d, p>2
M = --------------------------------------------------
128 Product a_p, p|2d
As an example of the format of the tables, we include the eleventh (of twelve) genera of discriminant 120:
D= 120; GENUS# 11; MASS= 5/ 64; HASSE SYMBOLS ARE 1-1-1 1 1 1 3 4 0 0 0 0 0 0 1 1 1 3; 192 1 2 2 2 3 0 0 0 1 2 2 0 0 2 1; 32 1 2 2 2 3 0 0 2 1 2 0 0 2 0 1; 24Here the mass of the genus is 5/64, the Hasse symbols are 1, -1, and -1 at primes 2, 3, and 5 respectively, and the three classes in the genus have 192, 32, and 24 automorphs respectively. The first class is represented by the form
x11^2 + x22^2 + x33^2 + 3x44^2 + 4x55^2 + x1x5 + x2x5 + x3x5 + 3x4x5
In general, the coefficients for a quinary form are given in the order a11,a22,a33,a44,a55,a12,a13,a23,a14,a24,a34,a15,a25,a35,a45 where aij is the coefficient of xixj. As a check one notes that the mass, computed using the formula above, is 5/64=1/192+1/32+1/24, the sum over the classes of the reciprocals of the number of automorphs.
The computations were performed on the California State University Cyber 960 and on the CSU Sacramento Multiflow Trace machine.
About these tables | About this Catalogue of Lattices