The reader will find here a detailed description of the methods and algorithms used in order to prove that there are only 33 classes of perfect septenary forms, as well as a recapitulative table of the results.
He will find in particular a generalization of Voronoï’s algorithm applied in depth, recursively, to the faces of the domains.
Le lecteur trouvera ici une description détaillée des méthodes et algorithmes utilisés pour démontrer qu’il n’y a que 33 classes de formes parfaites en dimension 7, ainsi qu’un tableau récapitulatif des résultats.
Il trouvera, en particulier, une généralisation de l’algorithme de Voronoï appliquée en profondeur, récursivement, aux faces des domaines
@article{AIF_1993__43_1_21_0, author = {Jaquet-Chiffelle, David-Olivier}, title = {\'Enum\'eration compl\`ete des classes de formes parfaites en dimension 7}, journal = {Annales de l'Institut Fourier}, pages = {21--55}, publisher = {Institut Fourier}, address = {Grenoble}, volume = {43}, number = {1}, year = {1993}, doi = {10.5802/aif.1320}, mrnumber = {94d:11048}, zbl = {0769.11028}, language = {fr}, url = {http://www.numdam.org/articles/10.5802/aif.1320/} }
TY - JOUR AU - Jaquet-Chiffelle, David-Olivier TI - Énumération complète des classes de formes parfaites en dimension 7 JO - Annales de l'Institut Fourier PY - 1993 SP - 21 EP - 55 VL - 43 IS - 1 PB - Institut Fourier PP - Grenoble UR - http://www.numdam.org/articles/10.5802/aif.1320/ DO - 10.5802/aif.1320 LA - fr ID - AIF_1993__43_1_21_0 ER -
%0 Journal Article %A Jaquet-Chiffelle, David-Olivier %T Énumération complète des classes de formes parfaites en dimension 7 %J Annales de l'Institut Fourier %D 1993 %P 21-55 %V 43 %N 1 %I Institut Fourier %C Grenoble %U http://www.numdam.org/articles/10.5802/aif.1320/ %R 10.5802/aif.1320 %G fr %F AIF_1993__43_1_21_0
Jaquet-Chiffelle, David-Olivier. Énumération complète des classes de formes parfaites en dimension 7. Annales de l'Institut Fourier, Volume 43 (1993) no. 1, pp. 21-55. doi : 10.5802/aif.1320. http://www.numdam.org/articles/10.5802/aif.1320/
[Ba1]Note on extreme forms, Can. J. Math., 7 (1955), 150-154. | MR | Zbl
,[Ba2]The perfect and extreme senary forms, Can. J. Math., 9 (1957), 235-242. | MR | Zbl
,[Ba3]The complete enumeration of extreme senary forms, Phil. Trans. R. Soc. Lond., A, 249 (1957), 461-506. | MR | Zbl
,[Ba4]On a theorem of Voronoï, Proc. Camb. Phil. Soc., 53 (1957), 537-539. | MR | Zbl
,[Ba5]Criteria for extreme forms, J. Aust. Math. Soc., 1 (1959), 17-20. | MR | Zbl
,[BM1]Sur la constante d'Hermite (étude historique), Sém. de Th. des Nombres de Bordeaux 2, Exposé 8, pp. 8-01-8-15 (1985-1986). | MR | Zbl
& ,[BM2]Sur un problème de dualité lié aux sphères en géométrie des nombres, J. of Number Theory, Vol. 32, No. 1 (1989), 14-42. | MR | Zbl
& ,[Be1]Géométrie 3 / convexes et polytopes, polyèdres réguliers, aires et volumes. Cedic, Fernand Nathan (publié avec le concours du C.N.R.S.) (1978). | Zbl
,[Bl1]On the minimum value of positive real quadratic forms in 6 variables, Bull. Am. Math. Soc., 31, 386 (1925). | JFM
,[Bl2]The minimum value of quadratic forms, and the closest packing of spheres, Math. Annalen, 101 (1929), 605-608. | JFM
,[Bl3]The minimum values of quadratic forms in six, seven and eight variables, Math. Z., 39 (1935), 1-15. | JFM | Zbl
,[CS1]Sphere-packings, lattices and groups. Grundlehren der mathematischen Wissenschaften 290, Springer-Verlag, 1988. | Zbl
& ,[CS2]Low-dimensional lattices. III. Perfect forms, Proc. R. Soc. Lond., A, 418 (1988), 43-80. | MR | Zbl
& ,[Co1]Extreme forms, Can. J. Math., 3 (1851), 391-441. | Zbl
,[GS1]Common LISP : The Language. Digital Press, 1984, 465 pages.
& ,[JS1]Formes quadratiques contiguës à D7, C. R. Acad. Sci. Paris, t. 309, Série I (1989), 641-644. | MR | Zbl
& ,[Ja1]Domaines de Voronoï et algorithme de réduction des formes quadratiques définies positives. Sém. de Th. des Nombres de Bordeaux 2 (1990), 163-215. | Numdam | MR | Zbl
,[Ja2]Classification des réseaux dans (via la notion de formes parfaites), Astérisque, Soc. Math. de France, 198-199-200 (1991), 177-185. | Numdam | MR | Zbl
,[Kn1]Two remarks on extreme forms, Can. J. Math., 7 (1955), 145-149. | MR | Zbl
,[KZ1]Sur les formes quadratiques, Math. Annalen, 6 (1873), 336-389.
& ,[KZ2]Sur les formes quadratiques positives, Math. Annalen, 11 (1877), 242-292. | JFM
& ,[La1]The enumeration of perfect forms. Dans &”Computers in number theory&” (A. O. L. Atkin & B. J. Birch editors), pp. 237-239, New York, Academic Press 1971. | Zbl
,[Mo1]Observation on the minimum of a positive quadratic form in eight variables, J. Lond. Math. Soc., 19 (1944), 3-6. | MR | Zbl
,[Oe1]Empilements de sphères. Sém. N. Bourbaki 42, Exposé 727, Vol. 1989-90 (1990). | Numdam | MR | Zbl
,[Sc1]On perfect and extreme forms. Thesis, Department of Mathematics, Univ. of Adelaide (1963).
,[Sc2]On perfect and extreme forms, J. Aust. Math. Soc., 4 (1964), 56-77. | MR | Zbl
,[Sc3]The construction of perfect and extreme forms, Can. J. Math., Vol. 18 (1966), 147-158. | MR | Zbl
,[Se1]Cours d'arithmétique. 2e édition, Presses Univ. de France, Paris, 1977. | MR | Zbl
,[Si1]Formes quadratiques encapsulées. Sém. de Th. des Nombres de Bordeaux, 2 (1990), 425-429. | Numdam | MR | Zbl
,[Su1]Voronoï neighborhood of perfect form Ø15 (x1, x2, ..., x7), Vop. Vychisl. Prikl. Mat., 77 (1985), 48-56. | Zbl
,[St1]The enumeration of perfect quadratic forms in seven variables, Ph. D. Dissertation, University of Oxford, 1973.
,[St2]The enumeration of perfect septenary forms, J. Lond. Math. Soc. (2) 10 (1975), 97-104. | MR | Zbl
,[St3]The perfect septenary forms with Δ4 = 2, J. Aust. Math. Soc., (A) 22 (1976), 144-164. | MR | Zbl
,[Sti1] Über positive Lösungen homogener linearer Gleichungen, Math. Annalen, 76 (1915), 340-342. | JFM
,[Ve1]Uniqueness of the classes of positive quadratic forms on which the values of Hermite constants are attained for 6 ≤ n ≤ 8, Trudy Mat. Inst. Imeni V. A. Steklova, 152 (1980), 34-86. (traduction anglaise dans Proc. Steklov Inst. Math. (3) (1982), 37-95. | Zbl
,[Vo1]Sur quelques propriétés des formes quadratiques positives parfaites, J. reine angew. Math., 133 (1908), 97-178. | JFM
,[Wa1]On the minimum of a positive quadratic form in n(≤ 8) variables (verification of Blichfeldt's calculation), Proc. Camb. Phil. Soc., 62 (1966), 719. | MR | Zbl
,[Wa2]On the minimal points of perfect septenary forms, Mathematika, 16 (1969), 170-177. | MR | Zbl
,[Wa3] Integral quadratic forms, Cambridge, University Press, 1970.
,[Wa4] On the minimal points of a positive quadratic form, Mathematika, 18 (1971), 60-70. | MR | Zbl
,[Wa5]The number of minimum points of a positive quadratic form, Dissertationes Math., 84 (1971), 1-46. | MR | Zbl
,[Wa6]The number of minimum points of a positive quadratic form having no perfect binary section with the same minimum, Proc. Lond. Math. Soc. (3) 24 (1972), 625-646. | MR | Zbl
,Cited by Sources: