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 Lie group structure of the Butcher group

Post-groups, (Lie-)Butcher groups and the Yang-Baxter equation

The Lie algebra of the group of bisections

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL

Lie groups of controlled characters of combinatorial Hopf algebras

A Lie group analog for the Monster Lie algebra

On algebraic structures of numerical integration on vector spaces and manifolds

The Lie algebra of the lowest transitively differential group of degree three

Interplay between Algebraic Groups, Lie Algebras and Operator Ideals

Higher Lie theory in positive characteristic

Cohomology of algebraic groups, Lie algebras, and finite groups of Lie type

A Lie group structure on the group of real analytic diffeomorphisms of a compact real analytic manifold with corners

The Lie Group Structure of Diffeomorphism Groups and Invertible Fourier Integral Operators with Applications

Semialgebraic groups and generalized affine buildings

On the Information Engine of Circuit Design

Virtual Lie subgroups of locally compact groups

PostLie algebra structures on the Lie algebra sl(2,C)

Algebraically generated groups and their Lie algebras

Differential geometry of group lattices

Regularity and completeness of half-Lie groups

Lie algebras and Lie groups over noncommutative rings