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}^+$.

Vertex operators for imaginary gl 2 subalgebras of the Monster Lie algebra

Vertex operators for imaginary $\mathfrak{gl}_2$ subalgebras in the Monster Lie Algebra

Vertex operator expressions for Lie algebras of physical states

A Lie group analog for the Monster Lie algebra

Vertex Operator Algebras Associated to Modified Regular Representations of Affine Lie Algebras

Lattice-integrality of certain group-invariant integral forms in vertex operator algebras

Representations of vertex operator algebra V_L^+ for rank one lattice L

2A-orbifold construction and the baby-monster vertex operator superalgebra

Simple Vertex Algebras Arising From Congruence Subgroups

Vertex operator algebras of Argyres-Douglas theories from M5-branes

Vertex operators for the kinematic algebra of Yang-Mills theory

Virasoro Vertex Operator Algebras, the (Nonmeromorphic) Operator Product Expansion and the Tensor Product Theory

A Characterization of Vertex Operator Algebra $${l(\frac{1}{2},0)\otimes L(\frac{1}{2},0)}$$

Bell's inequalities II: logical loophole in their interpretation

Extension of Vertex Operator Algebra $V_{\widehat{h}_{4}}(\ell,0)$

A Characterization of Vertex Operator Algebras V + ℤα: I

Rationality of Vertex Operator Algebra V_L^+: Higher Rank

Level-Rank Duality for Vertex Operator Algebras of Types B and D

A Characetrization of Vertex Operator Algebra L(1/2,0)\otimes L(1/2,0)

Representations of the Vertex Operator Algebra VL2A4

Q A ] 1 1 M ay 2 00 9 A Characetrization of Vertex Operator Algebra L ( 12 , 0 ) ⊗ L ( 1 2 , 0 )