Leech Lattice Article Index for
Leech
Website Links For
Leech
 

Information About

Leech Lattice




  • It is Unimodular ; i.e., it can be generated by the columns of a certain 24×24 Matrix with Determinant 1.

  • It is even; i.e., the square of the length of any vector in Λ is an even integer.

  • The shortest length of any non-zero vector in Λ is 2.


The last condition means that unit balls centered at the points of Λ do not overlap. Each is tangent to 196,560 neighbors, and this is known to be the largest number of non-overlapping 24-dimensional unit balls that can simultaneously touch a single unit ball (compare with 6 in dimension 2, as the maximum number of pennies which can touch a central penny; see Kissing Number ). It seems to be expected that this configuration also gives the densest Packing Of Balls in 24-dimensional space, but this is still open.
Cohn and Kumar showed that it is the densest ''lattice'' packing
in 24-dimensional space.

The Leech lattice can be explicitly constructed as the set of vectors of the form 2−3/2(''a''1, ''a''2, ..., ''a''24) where the ''ai'' are integers such that

:a_1+a_2+\cdots+a_{24}\equiv 4a_1\equiv 4a_2\equiv\cdots\equiv4a_{24}\pmod{8}

and the set of coordinates ''i'' such that ''a''i belongs to any fixed residue class (mod 4) is a word in the Binary Golay Code .

The Leech lattice can also be constructed as w^\perp/w
where ''w'' is the norm 0 vector

:(0,1,2,3,\dots,22,23,24; 70)

in the 26-dimensional even Lorentzian Unimodular Lattice ''II 25,1''.

The Leech lattice is highly symmetrical. Its Automorphism Group is the double cover of the Conway Group Co1; its order is 8,315,553,613,086,720,000. Many other Sporadic Simple Group s
can be constructed as the stabilizers of various configurations of
vectors in the Leech lattice.

The covering radius of the Leech lattice is \sqrt 2;
in other words, if we put a closed ball of this radius around each lattice point, then these just cover Euclidean space. The points at distance
at least \sqrt 2 from all lattice points are called the ''deep holes''
of the Leech lattice. There are 23 orbits of them, and they correspond
to the 23 Niemeier Lattices other than the Leech lattice.

Conway showed that the Leech lattice is isometric to the Dynkin Diagram
of the Reflection Group of the 26-dimensional even Lorentzian Unimodular Lattice ''II 25,1''.


SEE ALSO



REFERENCES