Abstract:The Monster Lie algebra $\frak m $, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway--Norton Monstrous Moonshine conjecture. Here we construct an analog~$G(\frak m)$ of a Lie group or Kac--Moody group, associated to~$\frak m$. The group~$G(\frak m)$ is given by generators and relations, analogous to a construction of a Kac--Moody group given by Tits. In the absence of local nilpotence of the adjoint representation of $\frak m$, we introduce the notion of pro-summability of an infinite sum of operators. We use this to construct a complete pro-unipotent group $\Uhp$ of automorphisms of a completion $\widehat{\mathfrak{m}}=\frak n^-\ \oplus\ \frak h\ \oplus\ \widehat{\frak n}^+$ of~$\mathfrak{m}$, where $\widehat{\frak n}^+$ is the formal product of the positive root spaces of $\frak m$. The elements of $\widehat{U}^+$ are pro-summable infinite series with constant term 1. The group $\widehat{U}^+$ has a subgroup~$\widehat{U}^+_\text{im}$, which is an analog of a complete unipotent group corresponding to the positive imaginary roots of~$\frak m$.We construct analogs $\text{Exp}: \widehat{\mathfrak{n}}^+\to\widehat{U}^+$ and $\text{Ad} :\widehat{U}^+ \to \Aut(\widehat{\frak{n}}^+)$ of the classical exponential map and adjoint representation. We show that the action of $\mathbb{M}$ on $\mathfrak m$ induces an action of~$\mathbb{M}$ on~$\widehat{\frak m}$, and that this in turn induces an action of $\mathbb{M}$ on~$\widehat{U}^+$. We also show that the action of $\mathbb{M}$ on $\widehat{\mathfrak n}^+$ is compatible with the action of $\widehat{U}^+$ on $\widehat{\mathfrak n}^+$.

The Monstrous Moonshine Picture

Monstrous Moonshine for integral group rings

Brewing moonshine for Mathieu

Topological modularity of Monstrous Moonshine

A Lie group analog for the Monster Lie algebra

Class Numbers, Congruent Numbers and Umbral Moonshine

Explicit construction of the maximal subgroups of the Monster

Monstrous moonshine and the classification of CFT

Discrete subgroups with finite Bowen-Margulis-Sullivan measure in higher rank

The Deligne-Mostow 9-ball, and the monster

On the Burness-Giudici Conjecture

Borcherds's Lie algebra and $C_2$-cofiniteness of vertex operator algebras of moonshine type

The sphere complex of a locally finite graph

The Artin monoid Cayley graph

Modular invariance groups and defect McKay-Thompson series

Perfect kernel of generalized Baumslag-Solitar groups

Strange images of profinite groups

A computer-friendly construction of the monster

On the automorphism group of a putative Conway 99-graph

Conjugacy class fusion from four maximal subgroups of the Monster

Exotic Fusion Systems Related to Sporadic Simple Groups (Version With Code)