The Characteristic Masses of Niemeier Lattices

Abstract

Let $L$ be an integral lattice in the Euclidean space ${\mathbb{R}}^n$ and $W$ an irreducible representation of the orthogonal group of ${\mathbb{R}}^n$. We give an implemented algorithm computing the dimension of the subspace of invariants in $W$ under the isometry group $\mathrm{O}(L)$ of $L$. A key step is the determination of the number of elements in $\mathrm{O}(L)$ having any given characteristic polynomial, a datum that we call the {\it characteristic masses} of $L$. As an application, we determine the characteristic masses of all the Niemeier lattices, and more generally of any even lattice of determinant $\le 2$ in dimension $n\le 25$. For Niemeier lattices, as a verification, we provide an alternative (human) computation of the characteristic masses. The main ingredient is the determination, for each Niemeier lattice $L$ with non-empty root system $R$, of the $\mathrm{G}(R)$-conjugacy classes of the elements of the "umbral" subgroup $\mathrm{O}(L)/\mathrm{W}(R)$ of $\mathrm{G}(R)$, where $\mathrm{G}(R)$ is the automorphism group of the Dynkin diagram of $R$, and $\mathrm{W}(R)$ its Weyl group. These results have consequences for the study of the spaces of automorphic forms of the definite orthogonal groups in $n$ variables over $\mathbb{Q}$. As an example, we provide concrete dimension formulas in the level $1$ case, as a function of the weight $W$, up to dimension $n=25$.

arXiv comment14 tables, 42 pages. See http://gaetan.chenevier.perso.math.cnrs.fr/charmasses/index.html for an associated homepage containing other tables, auxiliary data, and a PARI/GP source code of our algorithms