A conjugacy theorem for subgroups of containing the group of diagonal matrices
We show that the unimodular lattice associated to the rank 20 quaternionic matrix group is a fourth example of an 80-dimensional extremal lattice. Our method is to use the positivity of the -series in conjunction with an enumeration of all the norm 10 vectors. The use of Aschbacher’s theorem on subgroups of finite classical groups (reliant on the classification of finite simple groups) provides one proof that this lattice is distinct from the previous three, while computing the inner product...