A natural representation of the Fischer-Griess monster with the modular function J as character. (English) Zbl 0543.20016

Summary: We announce the construction of an irreducible graded module V for an ”affine” commutative nonassociative algebra \(\hat {\mathcal B}\). This algebra is an ”affinization” of a slight variant \({\mathcal B}\) of the commutative nonassociative algebra B defined by Griess in his construction of the Monster sporadic group \(F_ 1\). The character of V is given by the modular function \(J(q)=q^{-1}+0+196884q+... .\) We obtain a natural action of the Monster on V compatible with the action of \(\hat {\mathcal B}\), thus conceptually explaining a major part of the numerical observations known as Monstrous Moonshine. Our construction starts from ideas in the theory of the basic representations of affine Lie algebras and develops further the calculus of vertex operators. In particular, the homogeneous and principal representations of the simplest affine Lie algebra \(A_ 1^{(1)}\) and the relation between them play an important role in our construction. As a corollary we deduce Griess’ results, obtained previously by direct calculation, about the algebra structure of B and the action of \(F_ 1\) on it. In this work, the Monster, a finite group, is defined and studied by means of a canonical infinite-dimensional representation.


20D08 Simple groups: sporadic groups
17B65 Infinite-dimensional Lie (super)algebras
17B10 Representations of Lie algebras and Lie superalgebras, algebraic theory (weights)
20C05 Group rings of finite groups and their modules (group-theoretic aspects)
20C15 Ordinary representations and characters
17B70 Graded Lie (super)algebras
Full Text: DOI