Cyclotomic quadratic forms
Journal de théorie des nombres de Bordeaux, Tome 12 (2000) no. 2, pp. 519-530.

L’algorithme de Voronoï est un procédé permettant d’obtenir la liste complète des formes quadratiques positives parfaites à n variables. Sa généralisation aux G-formes permet de classer les formes G-parfaites, avec l’avantage de se dérouler dans un espace de dimension plus petite (G est un sous-groupe fini de GL(n,)). On étudie ici la représentation standard du groupe cyclique G=C m en dimension φ(m), de polynôme caractéristique Φ m (x) (polynôme cyclotomique). Une forme G-invariante est dite forme cyclotomique. Toute les formes G-parfaites sont données pour φ(m)<16, de même que pour m=17, où la forme cyclotomique la plus dense est entièrement nouvelle. On obtient ainsi une constante d’Hermite cyclotomique, qui s’avère être souvent meilleure que la constante d’Hermite habituelle. C’est le cas pour m=5,7,11,13,16,17,36, et vraisemblablement 32 (les calculs pour m=32 sont en cours, et ont déjà fourni 4600 formes C 32 -parfaites). Les résultats complets sont disponibles à http://www.unine.ch/math.

Voronoï ’s algorithm is a method for obtaining the complete list of perfect n-dimensional quadratic forms. Its generalization to G-forms has the advantage of running in a lower-dimensional space, and furnishes a finite, and complete, classification of G-perfect forms (G is a finite subgroup of GL(n,)). We study the standard, φ(m)-dimensional irreducible representation of the cyclic group C m of order m, and give the, often new, densest G-forms. Perfect cyclotomic forms are completely classified for φ(m)<16 and for m=17. As a consequence, we obtain precise upper bounds for the Hermite invariant of cyclotomic forms in this range. These bounds are often better than the known or conjectural values of the Hermite constant for the corresponding dimensions ; this is indeed the case for m=5,7,11,13,16,17,36. The complete results can be taken from http://www.unine.ch/math.

@article{JTNB_2000__12_2_519_0,
     author = {Sigrist, Fran\c{c}ois},
     title = {Cyclotomic quadratic forms},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     pages = {519--530},
     publisher = {Universit\'e Bordeaux I},
     volume = {12},
     number = {2},
     year = {2000},
     mrnumber = {1823201},
     zbl = {0977.11029},
     language = {en},
     url = {http://www.numdam.org/item/JTNB_2000__12_2_519_0/}
}
TY  - JOUR
AU  - Sigrist, François
TI  - Cyclotomic quadratic forms
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2000
SP  - 519
EP  - 530
VL  - 12
IS  - 2
PB  - Université Bordeaux I
UR  - http://www.numdam.org/item/JTNB_2000__12_2_519_0/
LA  - en
ID  - JTNB_2000__12_2_519_0
ER  - 
%0 Journal Article
%A Sigrist, François
%T Cyclotomic quadratic forms
%J Journal de théorie des nombres de Bordeaux
%D 2000
%P 519-530
%V 12
%N 2
%I Université Bordeaux I
%U http://www.numdam.org/item/JTNB_2000__12_2_519_0/
%G en
%F JTNB_2000__12_2_519_0
Sigrist, François. Cyclotomic quadratic forms. Journal de théorie des nombres de Bordeaux, Tome 12 (2000) no. 2, pp. 519-530. http://www.numdam.org/item/JTNB_2000__12_2_519_0/

[Ba-Ba] C. Bachoc, C. Batut, Etude algorithmique de réseaux construits avec la forme trace. J. Exp. Math. 1 (1992), 183-190. | MR | Zbl

[Bay-M] E. Bayer-Fluckiger, J. Martinet, Formes quadratiques liées aux algèbres semi-simples. J. reine angew. Math. 451 (1994), 51-69. | MR | Zbl

[B-M] A.-M. Bergé, J. Martinet, Réseaux extrêmes pour un groupe d'automorphismes. Astérisque 198-200 (1992), 41-66. | Numdam | Zbl

[B-M-S] A.-M. Bergé, J. Martinet, F. Sigrist, Une généralisation de l'algorithme de Voronoï pour les formes quadratiques. Astérisque 209 (1992), 137-158. | Zbl

[C-S] J.H. Conway, N.J.A. Sloane, Sphere Packings, Lattices, and Groups. Springer-Verlag (1992). | Zbl

[JCa] D.-O. Jaquet-Chiffelle, Enumération complète des classes de formes parfaites en dimension 7. Ann. Inst. Fourier 43 (1993), 21-55. | Numdam | MR | Zbl

[JCb] D.-O. Jaquet-Chiffelle, Trois théorèmes de finitude pour les G-formes. J. Théor. Nombres Bordeaux 7 (1995), 165-176. | Numdam | MR | Zbl

[Mar] J. Martinet, Les réseaux parfaits des espaces euclidiens. Masson (1996). | MR | Zbl

[Vor] G. Voronoï, Sur quelques propriétés des formes quadratiques positives parfaites. J. reine angew. Math. 133 (1908), 97-178. | JFM