Let be an integral lattice in an -dimensional Euclidean space and an irreducible representation of the orthogonal group of . We give an implemented algorithm computing the dimension of the subspace of invariants in under the isometry group of . A key step is the determination, for any polynomial , of the proportion of elements in with characteristic polynomial , a collection of rational numbers that we call the characteristic masses of . As an application, we determine the characteristic masses of all the Niemeier lattices, and more generally of any even lattice of determinant in dimension .
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 with non-empty root system , of the -conjugacy classes of the elements of the “umbral” subgroup of , where is the automorphism group of the Dynkin diagram of , and its Weyl group.
These results have consequences for the study of the spaces of automorphic forms of the definite orthogonal groups in variables over . As an example, we provide concrete dimension formulas in the level case, as a function of the weight , up to .
Soient un réseau entier d’un espace euclidien de dimension et une représentation irréductible du groupe orthogonal de . Nous donnons un algorithme calculant la dimension du sous-espace des éléments de invariants par le groupe des isométries de . Une étape clef est de déterminer, pour tout polynôme , la proportion des éléments de de polynôme caractéristique , une collection de nombres rationnels que nous appelons les masses caractéristiques de . En guise d’application, nous déterminons les masses caractéristiques de tous les réseaux de Niemeier, et plus généralement de tous les réseaux pairs de déterminant en dimension .
Pour les réseaux de Niemeier, en guise de vérification, nous donnons une méthode alternative (et humaine) pour calculer leurs masses caractéristiques. L’ingrédient principal est la détermination, pour chaque réseau de Niemeier de système de racines non vide, des -classes de conjugaison d’éléments du sous-groupe « ombral » de , où est le groupe des automorphismes du diagramme de Dynkin de , et son groupe de Weyl.
Ces résultats ont des applications à l’étude des espaces de formes automorphes des groupes orthogonaux de formes quadratiques sur définies positives : nous donnons des formules concrètes pour la dimension de ces espaces en niveau , comme fonction du poids , en tout rang .
Revised:
Accepted:
Published online:
Keywords: Euclidean lattices, isometry groups, Niemeier lattices, automorphic forms
@article{JTNB_2020__32_2_545_0, author = {Chenevier, Ga\"etan}, title = {The characteristic masses of {Niemeier} lattices}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {545--583}, publisher = {Soci\'et\'e Arithm\'etique de Bordeaux}, volume = {32}, number = {2}, year = {2020}, doi = {10.5802/jtnb.1134}, language = {en}, url = {http://www.numdam.org/articles/10.5802/jtnb.1134/} }
TY - JOUR AU - Chenevier, Gaëtan TI - The characteristic masses of Niemeier lattices JO - Journal de théorie des nombres de Bordeaux PY - 2020 SP - 545 EP - 583 VL - 32 IS - 2 PB - Société Arithmétique de Bordeaux UR - http://www.numdam.org/articles/10.5802/jtnb.1134/ DO - 10.5802/jtnb.1134 LA - en ID - JTNB_2020__32_2_545_0 ER -
%0 Journal Article %A Chenevier, Gaëtan %T The characteristic masses of Niemeier lattices %J Journal de théorie des nombres de Bordeaux %D 2020 %P 545-583 %V 32 %N 2 %I Société Arithmétique de Bordeaux %U http://www.numdam.org/articles/10.5802/jtnb.1134/ %R 10.5802/jtnb.1134 %G en %F JTNB_2020__32_2_545_0
Chenevier, Gaëtan. The characteristic masses of Niemeier lattices. Journal de théorie des nombres de Bordeaux, Volume 32 (2020) no. 2, pp. 545-583. doi : 10.5802/jtnb.1134. http://www.numdam.org/articles/10.5802/jtnb.1134/
[1] Definite unimodular lattices having an automorphism of given characteristic polynomial, Comment. Math. Helv., Volume 59 (1984), pp. 509-538 | DOI | MR | Zbl
[2] Automorphisms of even unimodular lattices and equivariant Witt groups (2017) (https://arxiv.org/abs/1708.05540, to appear in J. Eur. Math. Soc.)
[3] Classification of positive definite lattices, Duke Math. J., Volume 105 (2000) no. 3, pp. 525-567 | DOI | MR | Zbl
[4] Groupes et algèbres de Lie, Chapitres 4, 5 et 6, Éléments de mathématique, Masson, 1981 | Zbl
[5] Conjugacy classes in the Weyl group, Compos. Math., Volume 25 (1972), pp. 1-59 | Numdam | MR | Zbl
[6] Characteristic masses of lattices (http://gaetan.chenevier.perso.math.cnrs.fr/charmasses)
[7] Corps de nombres peu ramifiés et formes automorphes autoduales, J. Am. Math. Soc., Volume 22 (2009) no. 2, pp. 467-519 | DOI | Zbl
[8] Automorphic forms and even unimodular lattices, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 69, Springer, 2019 | MR | Zbl
[9] Level one algebraic cusp forms of classical groups of small rank, Memoirs of the American Mathematical Society, 1121, American Mathematical Society, 2015 | Zbl
[10] Siegel modular forms of weight and the Leech lattice (2019) (https://arxiv.org/abs/1907.08781)
[11] Discrete series multiplicities for classical groups over Z and level 1 algebraic cusp forms, Publ. Math., Inst. Hautes Étud. Sci., Volume 131 (2020), pp. 261-323 | DOI | MR | Zbl
[12] Umbral moonshine and the Niemeier lattices, Res. Math. Sci., Volume 1 (2014), 3, 81 pages | MR | Zbl
[13] Finite complex reflection groups, Ann. Sci. Éc. Norm. Supér., Volume 9 (1976), pp. 379-436 erratum in ibid. 11 (1978), no. 4, p. 613 | DOI | Numdam | MR | Zbl
[14] Finite quaternionic reflection groups, J. Algebra, Volume 64 (1980), pp. 293-324 | DOI | MR | Zbl
[15] A group of order 8,315,553,613,086,720,000, Bull. Lond. Math. Soc., Volume 1 (1979), pp. 79-88 | DOI | MR | Zbl
[16] Atlas of finite groups. Maximal subgroups and ordinary characters for simple groups, Oxford University Press, 1985, xxxiv+252 pages (with computational assistance from J. G. Thackray) | Zbl
[17] Low-dimensional lattices. IV. The mass formula, Proc. R. Soc. Lond., Ser. A, Volume 419 (1988) no. 1857, pp. 259-286 | MR | Zbl
[18] Sphere packings, lattices and groups, Grundlehren der Mathematischen Wissenschaften, 290, Springer, 1999 | MR | Zbl
[19] On the computation of algebraic modular forms on compact inner forms of , Math. Comput., Volume 83 (2014) no. 288, pp. 1931-1950 | DOI | MR | Zbl
[20] A simple trace formula for algebraic modular forms, Exp. Math., Volume 22 (2013) no. 2, pp. 123-131 | DOI | MR | Zbl
[21] Lattices and Codes. A course partially based on lectures by F. Hirzebruch, Advanced Lectures in Mathematics, Vieweg, 2002 | Zbl
[22] Groups of automorphisms of 24-dimensional even unimodular lattices, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova, Volume 116 (1982), pp. 68-73 | MR | Zbl
[23] Improved methods for calculating vectors of short length in a lattice, including a complexity analysis, Math. Comput., Volume 44 (1985), pp. 463-471 | DOI | MR | Zbl
[24] Über die Charaktere der mehrfach transitiven Gruppen, Berl. Ber., Volume 1904 (1904), pp. 558-571 | Zbl
[25] Representation theory. A first course, Graduate Texts in Mathematics, 129, Springer, 1991 | Zbl
[26] GAP — Groups, Algorithms, and Programming, Version 4.10.2, 2019 (http://www.gap-system.org)
[27] Lattice methods for algebraic modular forms on classical groups, Computations with modular forms (Contributions in Mathematical and Computational Sciences), Volume 6, Springer, 2014, pp. 147-179 | DOI | MR | Zbl
[28] Automorphisms of even unimodular lattices and unramified Salem numbers, J. Algebra, Volume 257 (2002) no. 2, pp. 265-290 | DOI | MR | Zbl
[29] Note on the Mathieu group , Arch. Math., Volume 13 (1962), p. 334-240 | DOI | MR
[30] Conjugacy classes algorithms in finite permutation groups via homomorphic images, Math. Comput., Volume 69 (2000) no. 232, pp. 1633-1651 | DOI | MR | Zbl
[31] A note on determinants, Bull. Am. Math. Soc., Volume 43 (1937), pp. 579-580 | DOI | MR | Zbl
[32] Klassenzahlen definiter quadratischer formen, Arch. Math., Volume 8 (1957), pp. 241-250 | DOI | MR | Zbl
[33] Young-diagrammatic methods for the representation theory of the classical groups of type , , , J. Algebra, Volume 107 (1987), pp. 466-511 | DOI | Zbl
[34] Lie Algebra Cohomology and the Generalized Borel-Weil Theorem, Ann. Math., Volume 74 (1961), pp. 320-387 | MR | Zbl
[35] Hecke algebras and automorphic forms, Compos. Math., Volume 130 (2002) no. 1, pp. 21-48 | DOI | MR | Zbl
[36] Explicit Calculations of Automorphic Forms for Definite Unitary Groups, LMS J. Comput. Math., Volume 11 (2010), pp. 326-342 | DOI | MR | Zbl
[37] On automorphisms of extremal even unimodular lattices, Int. J. Number Theory, Volume 9 (2013) no. 8, pp. 1933-1959 | DOI | MR | Zbl
[38] Definite quadratische Formen der Dimension und Diskriminante , J. Number Theory, Volume 5 (1973), pp. 142-178 | DOI | MR
[39] PARI/GP version 2.11.0, 2014 (available from http://pari.math.u-bordeaux.fr/)
[40] Computing isometries of lattices, J. Symb. Comput. (1997), pp. 327-334 | DOI | MR
[41] Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene linear Substitutionen, J. für Math., Volume 139 (1911), pp. 155-250 | MR | Zbl
[42] The On-Line Encyclopedia of Integer Sequences, 2010 (http://oeis.org) | Zbl
[43] Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula, Ann. Sci. Éc. Norm. Supér., Volume 50 (2017) no. 2, pp. 269-344 | DOI | MR | Zbl
[44] On the classification of integral even unimodular -dimensional quadratic forms, 1999 (Chapter 18 in [18])
[45] Weyl’s character formula for non-connected Lie groups and orbital theory for twisted affine Lie algebras, J. Funct. Anal., Volume 180 (2001) no. 1, pp. 31-65 | DOI | MR | Zbl
[46] The Classical Groups, Princeton Mathematical Series, 1, Princeton University Press, 1946 | Zbl
Cited by Sources: