×

A generalization of Voronoi’s reduction theory and its application. (English) Zbl 1186.11040

Summary: We consider Voronoi’s reduction theory of positive definite quadratic forms, which is based on Delone subdivision. We extend it to forms and Delone subdivisions having a prescribed symmetry group. Even more generally, the theory is developed for forms that are restricted to a linear subspace in the space of quadratic forms. We apply the new theory to complete the classification of totally real, thin algebraic number fields which was recently initiated by E. Bayer-Fluckiger [J. Number Theory 121, No. 2, 305–323 (2006; Zbl 1130.11066)] and E. Bayer-Fluckiger and G. Nebe [J. Théor. Nombres Bordx. 17, No. 2, 437–454 (2005; Zbl 1161.11032)]. Moreover, we apply it to construct new best-known sphere coverings in dimensions \(9,\ldots,15\)

MSC:

11H55 Quadratic forms (reduction theory, extreme forms, etc.)
52C17 Packing and covering in \(n\) dimensions (aspects of discrete geometry)

Software:

CARAT; Magma
PDFBibTeX XMLCite
Full Text: DOI arXiv Euclid

References:

[1] V. Alexeev, Complete moduli in the presence of semiabelian group action , Ann. of Math. (2) 155 (2002), 611–708. JSTOR: · Zbl 1052.14017 · doi:10.2307/3062130
[2] -, Compactified Jacobians and Torelli map , Publ. Res. Inst. Math. Sci. 40 (2004), 1241–1265. · Zbl 1079.14019 · doi:10.2977/prims/1145475446
[3] -, “Higher-dimensional analogues of stable curves” in International Congress of Mathematicians, Vol. II (Madrid, 2006) , Eur. Math. Soc., Zürich, 2006, 515, –536. · Zbl 1102.14023
[4] V. Alexeev, C. Birkenhake, and K. Hulek, Degenerations of Prym varieties , J. Reine Angew. Math. 553 (2002), 73–116. · Zbl 1008.14004 · doi:10.1515/crll.2002.103
[5] M. M. Anzin, On the density of a lattice covering for \(n=11\) and \(n=14\) (in Russian), Uspekhi Mat. Nauk 57 , no. 2 (2002), 187–188.; English translation in Russian Math. Surveys 57 (2002), 407–409. · Zbl 1118.11304
[6] -, personal communication, Oct. 2003.
[7] A. Ash, D. Mumford, M. Rapoport, and Y. Tai, Smooth Compactification of Locally Symmetric Varieties , Lie Groups: History, Frontiers and Applications 4 , Math. Sci. Press, Brookline, Mass., 1975. · Zbl 0334.14007
[8] E. P. Baranovskiĭ [Baranovskii], The perfect lattices \(\Gamma(\mathfrak A^ n)\) , and the covering density of, \(\Gamma(\mathfrak A^ 9)\), European J. Combin. 15 (1994), 317–323. · Zbl 0805.52010 · doi:10.1006/eujc.1994.1036
[9] E. P. Baranovskii [Baranovskiĭ] and V. Grishukhin, Non-rigidity degree of a lattice and rigid lattices , European J. Combin. 22 (2001), 921–935. · Zbl 0995.52009 · doi:10.1006/eujc.2001.0510
[10] E. P. Baranovskiĭ [Baranovskii] and S. S. RyšKov [Ryshkov], Classical methods of the theory of lattice packings (in Russian), Uspekhi Mat. Nauk 34 , no. 4 (1979), 3–63.; English translation in Russian Math. Surveys 34 (1979), 1–68.
[11] E. Bayer-Fluckiger, Upper bounds for Euclidean minima of algebraic number fields , J. Number Theory 121 (2006), 305–323. · Zbl 1130.11066 · doi:10.1016/j.jnt.2006.03.002
[12] E. Bayer-Fluckiger and G. Nebe, On the Euclidean minimum of some real number fields , J. Théor. Nombres Bordeaux 17 (2005), 437–454. · Zbl 1161.11032 · doi:10.5802/jtnb.500
[13] A.-M. Bergé, J. Martinet, and F. Sigrist, “Une généralisation de l’algorithme de Voronoĭ pour les formes quadratiques” in Journées Arithmétiques, 1991 (Geneva, 1991) , Astérisque 209 , Soc. Math. France, Montrouge, 1992, 137–158. · Zbl 0812.11037
[14] A. BjöRner, M. Las Vergnas, B. Sturmfels, N. White, and G. M. Ziegler, Oriented Matroids , 2nd ed., Encyclopedia Math. Appl. 46 , Cambridge Univ. Press, Cambridge, 1999.
[15] W. Bosma, J. Cannon, and C. Playoust, “The Magma algebra system, I: The user language” in Computational Algebra and Number Theory (London, 1993) , J. Symbolic Comput. 24 , Elsevier, Amsterdam, 1997, 235–265. · Zbl 0898.68039 · doi:10.1006/jsco.1996.0125
[16] H. Brown, J. NeubüSer, and H. Zassenhaus, On integral groups, III: Normalizers , Math. Comp. 27 (1973), 167–182. JSTOR: · Zbl 0255.20031 · doi:10.2307/2005259
[17] J.-P. Cerri, Euclidean minima of totally real number fields: Algorithmic determination , Math. Comp. 76 (2007), 1547–1575. · Zbl 1209.11110 · doi:10.1090/S0025-5718-07-01932-1
[18] J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups , Grundlehren Math. Wiss. 290 , Springer, New York, 1988. · Zbl 0634.52002
[19] H. S. M. Coxeter, Extreme forms , Canadian J. Math. 3 (1951), 391–441. · Zbl 0044.04201 · doi:10.4153/CJM-1951-045-8
[20] H. S. M. Coxeter, L. Few, and C. A. Rogers, Covering space with equal spheres , Mathematika 6 (1959), 147–157. · Zbl 0094.35301 · doi:10.1112/S0025579300002059
[21] B. N. Delone, The geometry of positive quadratic forms (in Russian), Uspekhi Mat. Nauk 3 (1937), 16–62.
[22] B. N. Delone, N. P. Dolbilin, S. S. RyšKov [Ryshkov], and M. I. šTogrin, A new construction of the theory of lattice coverings of an \(n\) -dimensional space by congruent balls (in Russian), Izv. Akad. Nauk SSSR Ser. Mat. 34 (1970), 289–298.; English translation in Math. USSR-Izv. 4 (1970), 293–302.
[23] M. DUtour Sikirić, A. SchüRmann, and F. Vallentin, Complexity and algorithms for computing Voronoi cells of lattices , in preparation. · Zbl 1215.11067 · doi:10.1090/S0025-5718-09-02224-8
[24] P. M. Gruber and C. G. Lekkerkerker, Geometry of Numbers , 2nd ed., North-Holland Math. Library 37 , North-Holland, Amsterdam, 1987. · Zbl 0611.10017
[25] P. M. Gruber and S. S. RyšKov [Ryshkov], Facet-to-facet implies face-to-face , European J. Combin. 10 (1989), 83–84. · Zbl 0664.52011 · doi:10.1016/S0195-6698(89)80035-6
[26] K. Hulek and G. K. Sankaran, “The geometry of Siegel modular varieties” in Higher Dimensional Birational Geometry (Kyoto, 1997) , Adv. Stud. Pure Math. 35 , Math. Soc. Japan, Tokyo, 2002. · Zbl 1074.14021
[27] D.-O. JAquet-Chiffelle, “Trois théorèmes de finitude pour les \(G\)-formes” in Les Dix-huitièmes Journées Arithmétiques (Bordeaux, 1993) , J. Théor. Nombres Bordeaux 7 , Univ. Bordeaux I, Talence, France, 1995, 165–176.
[28] H. W. Lenstra Jr., Euclidean number fields of large degree , Invent. Math. 38 (1976/77), 237–254. · Zbl 0328.12007 · doi:10.1007/BF01403131
[29] J. Martinet, Perfect Lattices in Euclidean Spaces , Grundlehren Math. Wiss. 327 , Springer, Berlin, 2003. · Zbl 1017.11031
[30] I. Nakamura, On moduli of stable quasi abelian varieties , Nagoya Math. J. 58 (1975), 149–214. · Zbl 0295.14018
[31] Y. Namikawa, A new compactification of the Siegel space and degeneration of Abelian varieties, I , Math. Ann. 221 (1976), 97–141.; II , 201–241. Mathematical Reviews (MathSciNet): · Zbl 0306.14016 · doi:10.1007/BF01433145
[32] T. Oda and C. S. Seshadri, Compactifications of the generalized Jacobian variety , Trans. Amer. Math. Soc. 253 (1979), 1–90. · Zbl 0418.14019 · doi:10.2307/1998186
[33] J. Opgenorth, Dual cones and the Voronoi algorithm , Experiment. Math. 10 (2001), 599–608. · Zbl 1007.20046 · doi:10.1080/10586458.2001.10504679
[34] -, Normalisatoren und Bravaismannigfaltigkeiten endlicher unimodularer Gruppen , Ph.D. dissertation, Technical University of Aachen, Aachen, Germany, 1995.
[35] J. Opgenorth, W. Plesken, and T. Schulz, Crystallographic algorithms and tables , Acta Cryst. Sect. A 54 (1998), 517–531. · Zbl 1176.20051 · doi:10.1107/S010876739701547X
[36] W. Plesken and B. Souvignier, “Computing isometries of lattices” in Computational Algebra and Number Theory (London, 1993) , J. Symbolic Comput. 24 , Elsevier, Amsterdam, 1997, 327–334. · Zbl 0882.11042 · doi:10.1006/jsco.1996.0130
[37] V. Reiner, Equivariant fiber polytopes , Doc. Math. 7 (2002), 113–132. · Zbl 1141.52309
[38] S. S. RyšKov [Ryshkov] and E. P. Baranovskiĭ [Baranovskii], Solution of the problem of the least dense lattice covering of five-dimensional space by equal spheres (in Russian), Dokl. Akad. Nauk SSSR 222 , no. 1 (1975), 39–42.; English translation in Soviet Math. Dokl. 16 (1975), 586–590.
[39] A. SchüRmann, Computational geometry of positive definite quadratic forms , Habilitationsschriff, Universität Magdeburg, Magdeburg, Germany, 2007.
[40] A. SchüRmann and F. Valentin, Local covering optimality of lattices: Leech lattice versus root lattice \(E_8\) , Int. Math. Res. Not. 2005 , no. 32, 1937–1955. · Zbl 1156.11324 · doi:10.1155/IMRN.2005.1937
[41] -, Computational approaches to lattice packing and covering problems , Discrete Comput. Geom. 35 (2006), 73–116. · Zbl 1091.52009 · doi:10.1007/s00454-005-1202-2
[42] -, rmd (rigorous maxdet) , http://www.math.uni-magdeburg.de/lattice_geometry/
[43] C. L. Siegel, Lectures on the Geometry of Numbers , Springer, Berlin, 1989. · Zbl 0691.10021
[44] W. D. Smith, Studies in computational geometry motivated by mesh generation , Ph.D. dissertation, Princeton University, Princeton, 1989.
[45] L. Vandenberghe, S. Boyd, and S.-P. Wu, Determinant maximization with linear matrix inequality constraints , SIAM J. Matrix Anal. Appl. 19 (1998), 499–533. · Zbl 0959.90039 · doi:10.1137/S0895479896303430
[46] G. F. Voronoï [Voronoi], Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Premier Mémoire: Sur quelques propriétés des formes quadratiques positives parfaites , J. für Math. 133 (1908), 97–178. · JFM 38.0261.01
[47] -, Nouvelles applications des paramètres continus à la théorie des formes quadratiques. Deuxième Mémoire: Recherches sur les paralléloèdres primitifs , J. für Math. 134 (1908), 198–287.; 136 (1909), 67–181. · JFM 39.0274.01
[48] H. Weyl, Elementare Theorie der konvexen Polyeder , Comment. Math. Helv. 7 (1934), 290–306. · Zbl 0011.41104 · doi:10.1007/BF01292722
[49] S.-P. Wu, L. Vandenberghe, and S. Boyd, MAXDET, http://www.stanford.edu/\(\sim\)boyd/old_software/MAXDET.html G. M. Ziegler, Lectures on Polytopes , Grad. Texts in Math. 152 , Springer, New York, 1995.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.