We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.NT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Number Theory

Title: 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 ${\rm O}(L)$ of $L$. A key step is the determination of the number of elements in ${\rm 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 $\leq 2$ in dimension $n \leq 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 ${\rm G}(R)$-conjugacy classes of the elements of the "umbral" subgroup ${\rm O}(L)/{\rm W}(R)$ of ${\rm G}(R)$, where ${\rm G}(R)$ is the automorphism group of the Dynkin diagram of $R$, and ${\rm 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$.
Comments: 14 tables, 42 pages. See this http URL for an associated homepage containing other tables, auxiliary data, and a PARI/GP source code of our algorithms
Subjects: Number Theory (math.NT); Group Theory (math.GR)
MSC classes: 11F, 11F55, 11H55, 11H56, 11H71, 20D08, 22C05
Cite as: arXiv:2002.03707 [math.NT]
  (or arXiv:2002.03707v1 [math.NT] for this version)

Submission history

From: Gaëtan Chenevier [view email]
[v1] Mon, 10 Feb 2020 13:12:22 GMT (50kb)

Link back to: arXiv, form interface, contact.