Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Symmetries of Borcherds algebras

Lisa Carbone

TL;DR

This work surveys Borcherds algebras with a focus on Monstrous Lie algebras ${\mathfrak m}_g$ and their role in Monstrous Moonshine and heterotic string theory. It details the Borcherds Cartan framework, root systems with real and imaginary simple roots, and the quotient realization ${\mathfrak m}= {\mathfrak g}(A)/{\mathfrak z}$ for the Monster case, including explicit presentations and the Jurisich simplification that streamlines denominator identities. A central theme is classifying ${\mathfrak m}_g$ into Fricke and non-Fricke types, describing their free-subalgebra decompositions, root multiplicities via McKay–Thompson series, and concrete examples like ${\mathfrak m}_{2A}$ and ${\mathfrak m}_{2B}$. The text also addresses constructing Lie-group analogs for these algebras, the No-ghost/theta-identity connections, and open problems linking algebraic, geometric, and string-theoretic viewpoints. Overall, the article integrates Moonshine, Borcherds theory, and string theory to illuminate the rich symmetry structures underlying monstrous Lie algebras and their g-twisted counterparts.

Abstract

We give an overview of the construction of Borcherds algebras, particularly the Monstrous Lie algebras $\mathfrak m_g$ constructed by Carnahan, where $g$ is an element of the Monster finite simple group. When $g$ is the identity element, $\mathfrak m_g$ is the Monster Lie algebra of Borcherds. We discuss the appearance of the $\mathfrak m_g$ in compactified models of the Heterotic String. We also summarize recent work on associating Lie group analogs to the Lie algebras $\mathfrak m_g$. We include a discussion of some open problems.

Symmetries of Borcherds algebras

TL;DR

This work surveys Borcherds algebras with a focus on Monstrous Lie algebras and their role in Monstrous Moonshine and heterotic string theory. It details the Borcherds Cartan framework, root systems with real and imaginary simple roots, and the quotient realization for the Monster case, including explicit presentations and the Jurisich simplification that streamlines denominator identities. A central theme is classifying into Fricke and non-Fricke types, describing their free-subalgebra decompositions, root multiplicities via McKay–Thompson series, and concrete examples like and . The text also addresses constructing Lie-group analogs for these algebras, the No-ghost/theta-identity connections, and open problems linking algebraic, geometric, and string-theoretic viewpoints. Overall, the article integrates Moonshine, Borcherds theory, and string theory to illuminate the rich symmetry structures underlying monstrous Lie algebras and their g-twisted counterparts.

Abstract

We give an overview of the construction of Borcherds algebras, particularly the Monstrous Lie algebras constructed by Carnahan, where is an element of the Monster finite simple group. When is the identity element, is the Monster Lie algebra of Borcherds. We discuss the appearance of the in compactified models of the Heterotic String. We also summarize recent work on associating Lie group analogs to the Lie algebras . We include a discussion of some open problems.
Paper Structure (39 sections, 9 theorems, 113 equations, 6 figures)

This paper contains 39 sections, 9 theorems, 113 equations, 6 figures.

Table of Contents

  1. Overview
  2. Monstrous Lie algebras
  3. Monstrous Lie algebras in string theory
  4. Borcherds algebras
  5. Borcherds Cartan matrices
  6. A symmetric bilinear form
  7. Root system
  8. The Monster Lie algebra
  9. The Monster Lie algebra as $\mathfrak m =\mathfrak g(A) / \mathfrak z$
  10. Decomposition of $\mathfrak m$
  11. Monstrous Lie algebras
  12. Monstrous Lie algebras of Fricke type
  13. Generators and relations for $\mathfrak{m_g}$
  14. Structure theorem for $\mathfrak m_g$ for $g$ of Fricke type
  15. Example: the Fricke Lie algebra $\mathfrak m_{2A}$, the Baby Monster
  16. ...and 24 more sections

Key Result

Theorem 2.1

JurContempMath The Lie algebra $\mathfrak{g}_0$ has triangular decomposition The abelian subalgebra $\mathfrak h$ has basis consisting of the $h_i$ for $i\in I$. The subalgebras $\mathfrak{g}_0^\pm$ are free Lie algebras generated by the $e_i$, for $i\in I$, respectively $f_i$, for $i\in I$.

Figures (6)

  • Figure 1: The Dynkin diagram for the Monster Lie algebra $\frak m$ with real simple root $\alpha_{-1}$ and imaginary simple roots $\alpha_{jk}$ is a complete graph on a countable set, missing only one egde, namely the edge between $\alpha_{-1}$ and $\alpha_{1k}$. The multiplicities on the edges are omitted. Edges between $\alpha_{-1}$ and $\alpha_{jk}$ have multiplicity $|1-j|$ and edges between $\alpha_{jk}$ and $\alpha_{j'k'}$ have multiplicity $j+j'$. Each vertex $\alpha_{jk}$ represents a complete graph on $c(j)$ vertices $\{\alpha_{jk}\mid 1\leq k\leq c(j)\}$, where each edge has multiplicity $2j$.
  • Figure 2: Root lattice of the Monster Lie algebra $\mathfrak m$
  • Figure 3: Root lattice of the Baby Monster Lie algebra $\mathfrak m_{2A}$
  • Figure 4: $\alpha_{-1}$-weight strings of $\mathfrak{gl}_2(-1)$-modules in the Baby Monster Lie algebra $\mathfrak m_{2A}$
  • Figure :
  • ...and 1 more figures

Theorems & Definitions (10)

  • Theorem 2.1
  • Proposition 2.2
  • proof
  • Theorem 2.3
  • Lemma 2.4
  • Lemma 2.5
  • Proposition 2.6
  • Proposition 3.1
  • Theorem 5.1
  • Lemma 5.2