The Leech lattice occupies a central place in exceptional mathematics and coding theory, but because it is 24-dimensional, its geometric structure is difficult to visualize. We elucidate a coordinate system employed in Conway’s and Sloane’s Sphere Packings, Lattices and Groups to describe and to illustrate the environs of the Leech lattice’s deep holes but never explained in that book. By using this coordinate system for the deep holes, we are able to provide colorful diagrams for the environs of several deep holes. The most interesting of those deep holes is E83, and we describe a new E83 -based coordinate system for the Leech lattice. We enumerate the Delaunay cells of the Leech lattice immediately neighboring a Delaunay cell of type E83, neighboring in the sense of intersecting the latter cell in a 23-dimensional face. There are 729 such faces, but fewer isometry classes of neighboring cells, including both deep holes and shallow holes. We also enumerate the Delaunay cells of the Leech lattice in close proximity to a Delaunay cell of type E83, close in the sense of having all vertices less than √2.2 distant from the center of E83; the latter’s circumradius is √2. Neither of the two classes of Delaunay cells enumerated below is a subset of the other. We next consider conjectures about the Leech lattice and the several lattices with similar properties, most especially the lattices ℤ , A2, ℤ 2, D4, and E8. Other lattices sharing fewer optimality properties include the Coxeter-Todd lattice K12 and the Barnes-Wall lattice Λ16. The properties of greatest interest are those involving various measures of high degrees of symmetry, as well as various measures of high efficiency in packing and covering. Our culminating theorem is a partial classification of lattices that have very strong properties similar to those of the Leech lattice.
| Published in | Pure and Applied Mathematics Journal (Volume 14, Issue 3) |
| DOI | 10.11648/j.pamj.20251403.12 |
| Page(s) | 34-68 |
| Creative Commons |
This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited. |
| Copyright |
Copyright © The Author(s), 2025. Published by Science Publishing Group |
Leech Lattice, E8 Lattice, 24 Dimensions, Coxeter Diagram, Delaunay Cell
| [1] | Conway, J. H., Curtis, R. T., Norton, S. P., Parker, R. A., Wilson, R. A. Wilson: ATLAS of Finite Groups, Oxford University Press, 1985. |
| [2] |
BBC. The Museum of Curiosity. Available from:
http://www.bbc.co.uk/radio4/comedy/museumofcuriosity_gallery_20080319.shtml (accessed 16 July 2025). |
| [3] | Borcherds, R. E.: The Leech lattice, Proceedings of the Royal Society A 398(1985), 365-376. |
| [4] | Borcherds, R. E.: Lattices like the Leech lattice, Journal of Algebra 130(1990), 219-234. |
| [5] | Nebe, G., Sloane, N. J. A.: A Catalogue of Lattices, |
| [6] | Coxeter, H. S. M., Few, L., Rogers, C. A.: Covering space with equal spheres, Mathematika 6(1959), 147-157. |
| [7] | Conway, J. H., Sloane, N. J. A.: Complex and integral laminated lattices, Transactions of the American Mathematical Society 280(1983), 463-490. |
| [8] | Cohen, A. M.: Finite complex reflection groups, Annales Scientifiques de l’École Normale Supérieure 9(1976), 379-436. |
| [9] | Cohen, A. M.: Finite quaternionic reflection groups, Journal of Algebra 64(1980), 293-324. |
| [10] | Conway, J. H.: private communication. |
| [11] | Coxeter, H. S. M.: Regular Polytopes, Dover, 3rd edition, 1973. |
| [12] | Crowe, D. W.: A regular quaternion polygon, Canadian Mathematical Bulletin 2(1959), 77-79. |
| [13] | du Sautoy, M.: Symmetry: A Journey into the Patterns of Nature, Harper, 2008. |
| [14] | Kabatiansky, G. A., Levenshtein, V. I.: Bounds for packings on a sphere and in space, Problems of Information Transmission 14(No. 1, 1978), 1-17. |
| [15] | Conway, J. H., Sloane, N. J. A.: Low-dimensional lattices V: Integral coordinates for integral lattices, Proceedings of the Royal Society A 426(1989), 211-232. |
| [16] | Conway, J. H., Sloane, N. J. A.: Low-dimensional lattices VI: Voronoi reduction of three-dimensional lattices, Proceedings of the Royal Society A 436(1991), 55-68. |
| [17] |
University of California at Santa Barbara. Exceptional Mathematics. Available from:
https://web.math.ucsb.edu/~jon.mccammond/math/ex.html (accessed 16 July 2025). |
| [18] | Nebe, G.: An even unimodular 72-dimensional lattice of minimum 8: |
| [19] | The Online Encyclopedia of Integer Sequences, A330586: |
| [20] | Switkay, H. M.: The Periodic Table of Numbers (unpublished). |
| [21] | Conway, J. H., Smith, D. A.: On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry, Peters, 2003. |
| [22] | Rankin, R. A.: The closest packing of spherical caps in n dimensions, Proceedings of the Glasgow Mathematical Association 2(1955), 139-144. |
| [23] | Rogers, C. A.: The packing of equal spheres, Proceedings of the London Mathematical Society 8(1958), 609-620. |
| [24] | Conway, J. H., Sloane, N. J. A.: Sphere Packings, Lattices and Groups, 3rd edition, Springer-Verlag, 1999. |
| [25] | Schürmann, A., Vallentin, F.: Computational Approaches to Lattice Packing and Covering Problems, Discrete and Computational Geometry 35(2006), 73-116. |
| [26] | Schürmann, A., Vallentin, F.: Local Covering Optimality of Lattices: Leech Lattice versus Root Lattice E8, International Mathematics Research Notices 32(2005), 1937-1955. |
| [27] | Thompson, J. G.: Finite groups and even lattices, Journal of Algebra 38(1976), 523-524. |
| [28] | Thompson, T. M.: From Error-Correcting Codes through Sphere Packings to Simple Groups, Mathematical Association of America, 1983. |
| [29] | Tits, J.: Quaternions over Q [√5], Leech’s lattice and the sporadic group of Hall-Janko, Journal of Algebra 63(1980), 56-75. |
| [30] | Leijenhorst, N., De Laat, D.: Solving Clustered Low-Rank Semidefinite Programs Arising from Polynomial Optimization: |
APA Style
Switkay, H. M. (2025). Mapping the Geometric Structure of the Leech Lattice. Pure and Applied Mathematics Journal, 14(3), 34-68. https://doi.org/10.11648/j.pamj.20251403.12
ACS Style
Switkay, H. M. Mapping the Geometric Structure of the Leech Lattice. Pure Appl. Math. J. 2025, 14(3), 34-68. doi: 10.11648/j.pamj.20251403.12
Share This Article
Twitter
Linked In
Facebook
Copy
Download@article{10.11648/j.pamj.20251403.12,
author = {Hal M. Switkay},
title = {Mapping the Geometric Structure of the Leech Lattice
},
journal = {Pure and Applied Mathematics Journal},
volume = {14},
number = {3},
pages = {34-68},
doi = {10.11648/j.pamj.20251403.12},
url = {https://doi.org/10.11648/j.pamj.20251403.12},
eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.pamj.20251403.12},
abstract = {The Leech lattice occupies a central place in exceptional mathematics and coding theory, but because it is 24-dimensional, its geometric structure is difficult to visualize. We elucidate a coordinate system employed in Conway’s and Sloane’s Sphere Packings, Lattices and Groups to describe and to illustrate the environs of the Leech lattice’s deep holes but never explained in that book. By using this coordinate system for the deep holes, we are able to provide colorful diagrams for the environs of several deep holes. The most interesting of those deep holes is E83, and we describe a new E83 -based coordinate system for the Leech lattice. We enumerate the Delaunay cells of the Leech lattice immediately neighboring a Delaunay cell of type E83, neighboring in the sense of intersecting the latter cell in a 23-dimensional face. There are 729 such faces, but fewer isometry classes of neighboring cells, including both deep holes and shallow holes. We also enumerate the Delaunay cells of the Leech lattice in close proximity to a Delaunay cell of type E83, close in the sense of having all vertices less than √2.2 distant from the center of E83; the latter’s circumradius is √2. Neither of the two classes of Delaunay cells enumerated below is a subset of the other. We next consider conjectures about the Leech lattice and the several lattices with similar properties, most especially the lattices ℤ , A2, ℤ 2, D4, and E8. Other lattices sharing fewer optimality properties include the Coxeter-Todd lattice K12 and the Barnes-Wall lattice Λ16. The properties of greatest interest are those involving various measures of high degrees of symmetry, as well as various measures of high efficiency in packing and covering. Our culminating theorem is a partial classification of lattices that have very strong properties similar to those of the Leech lattice.},
year = {2025}
}
TY - JOUR T1 - Mapping the Geometric Structure of the Leech Lattice AU - Hal M. Switkay Y1 - 2025/07/28 PY - 2025 N1 - https://doi.org/10.11648/j.pamj.20251403.12 DO - 10.11648/j.pamj.20251403.12 T2 - Pure and Applied Mathematics Journal JF - Pure and Applied Mathematics Journal JO - Pure and Applied Mathematics Journal SP - 34 EP - 68 PB - Science Publishing Group SN - 2326-9812 UR - https://doi.org/10.11648/j.pamj.20251403.12 AB - The Leech lattice occupies a central place in exceptional mathematics and coding theory, but because it is 24-dimensional, its geometric structure is difficult to visualize. We elucidate a coordinate system employed in Conway’s and Sloane’s Sphere Packings, Lattices and Groups to describe and to illustrate the environs of the Leech lattice’s deep holes but never explained in that book. By using this coordinate system for the deep holes, we are able to provide colorful diagrams for the environs of several deep holes. The most interesting of those deep holes is E83, and we describe a new E83 -based coordinate system for the Leech lattice. We enumerate the Delaunay cells of the Leech lattice immediately neighboring a Delaunay cell of type E83, neighboring in the sense of intersecting the latter cell in a 23-dimensional face. There are 729 such faces, but fewer isometry classes of neighboring cells, including both deep holes and shallow holes. We also enumerate the Delaunay cells of the Leech lattice in close proximity to a Delaunay cell of type E83, close in the sense of having all vertices less than √2.2 distant from the center of E83; the latter’s circumradius is √2. Neither of the two classes of Delaunay cells enumerated below is a subset of the other. We next consider conjectures about the Leech lattice and the several lattices with similar properties, most especially the lattices ℤ , A2, ℤ 2, D4, and E8. Other lattices sharing fewer optimality properties include the Coxeter-Todd lattice K12 and the Barnes-Wall lattice Λ16. The properties of greatest interest are those involving various measures of high degrees of symmetry, as well as various measures of high efficiency in packing and covering. Our culminating theorem is a partial classification of lattices that have very strong properties similar to those of the Leech lattice. VL - 14 IS - 3 ER -
Department of Arts and Sciences, Goldey-Beacom College, Wilmington, USA
Information