Related papers: The fake monster formal group

We prove the Milnor conjecture for Lie groups and the Friedlander conjecture for complex algebraic Lie groups.

We use a Z_2-orbifold of the vertex operator algebra associated to the Niemeier lattice with root lattice A_3^8 and the no-ghost theorem of string theory to construct a generalized Kac-Moody algebra. Borcherds' theory of automorphic…

The Monster Lie algebra $\mathfrak m$ is a quotient of the physical space of the vertex algebra $V=V^\natural\otimes V_{1,1}$, where $V^\natural$ is the Moonshine module vertex operator algebra of Frenkel, Lepowsky, and Meurman, and…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.

In a previous paper, we introduce and study formal manifolds, which generalize smooth manifolds. In this paper, we establish the basic theory of formal Lie groups, which are group objects in the category of formal manifolds. In particular,…

The aim of this paper is to investigate in which sense, for $n\geq 3$, $n$-Lie algebras admit universal enveloping algebras. There have been some attempts at a construction (see [10] and [5]) but after analysing those we come to the…

For certain vertex operator algebras (e.g., lattice type) and given finite group of automorphisms, we prove existence of a positive definite integral form invariant under the group. Applications include an integral form in the Moonshine VOA…

Vertex $F$-algebras are a deformation of the concept of an ordinary vertex algebra in which the additive formal group law is replaced by an arbitrary formal group law $F$. The main theorem of this paper constructs a Lie algebra from a…

Lie conformal algebras are useful tools for studying vertex operator algebras and their representations. In this paper, we establish close relations between Poisson conformal algebras and representations of Lie conformal algebras. We also…

Following the structure theory approach for rings, the aim of this paper is to study some distinguished classes of Lie algebras. We introduce the notion of a Lie-module and discuss some relations of it with various classes of ideals of a…

In this paper we define a new algebraic object: the disguised-groups. We show the main properties of the disguised-groups and, as a consequence, we will see that disguised-groups coincide with regular semigroups. We prove many of the…

Let $\mathfrak{g}$ be a Lie algebra over an algebraically closed field $\Bbbk$ of characteristic zero. Define the universal grading group $\mathcal{C}(\mathfrak{g})$ as having one generator $g_{\rho}$ for each irreducible…

We discuss the higher dimensional generalizations of the Virasoro and Affine Kac-Moody Lie algebras. We present an explicit construction for a central extensions of the Lie Algebra $Map (X, \g)$ where $\g$ is a finite-dimensional Lie…

The elimination theorem for free Lie algebras, a general principle which describes the structure of a free Lie algebra in terms of free Lie subalgebras, has been recently used by E. Jurisich to prove that R. Borcherds' ``Monster Lie…

We give a new, simpler proof that the canonical actions of finite groups on Fricke-type Monstrous Lie algebras yield genus zero functions in Generalized Monstrous Moonshine, using a Borcherds-Kac-Moody Lie algebra decomposition due to…

Let $M$ be a multiplicative monoid with identity. Then I show that there is a universal one dimensional formal group law equipped with an action of $M$. If $M$ is $p$-perfect (i.e. $m\mapsto m^p$ is an isomorphism for some prime number $p$)…

A pseudomodular group is a discrete subgroup $\Gamma \leq PGL(2,\mathbb{Q})$ which is not commensurable with $PSL(2,\mathbb{Z})$ and has cusp set precisely $\mathbb{Q}\cup\{\infty\}$. The existence of such groups was proved by Long and…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence…

We construct the universal enveloping algebra of a Hom-Lie algebra and endow it with a Hom-Hopf algebra structure. We discuss group-like elements that we see as a Hom-group integrating the initial Hom-Lie algebra.