I am investigating the Leech lattice. Lately I have discovered following. Some lattices decompose into distinct set of orthonormal frames. For example E8 lattice which contains 240 unitary vectors in dimension 8 decompose into 15 sets of 16 vectors in each set. Each set contain 16 vectors of +- orthonormal basis of R^8.
The numbers are:
- 24 = 3 * 8, lattice in four dimension call it d4 lattice with vectors e1..e4, 1/2* *Sum(+-ei), i=1..4; it is root system of Lie algebra D4.
- 240 = 15*16, E8 lattice
- 196560 = 4095*48; Leech lattice.
My question is whether anybody knows similar decomposition of Leech lattice. I am trying to obtain one but no luck so far. Maybe it is already known fact.
Obviously each element of Conway group Co0 transform one orthonormal frame of Leech into another. So if I know the matrix representation of Co0 then I know many examples of such frames. Each element of Co0 would define permutation on 4095 points i.e. sets of orthonormal frames, so we would have homomorphism from Co0 to S4095.
mim_ (at) op.pl