Why do the symmetries of the monster vertex algebra form a finite simple group?

TL;DR

This paper proves that the automorphism group of the monster vertex algebra is finite and simple, using modern vertex algebra theory and classical group theory, confirming its deep connection to the monster group.

Contribution

It establishes the finiteness and simplicity of the automorphism group of the monster vertex algebra using new theoretical tools and classical group theory techniques.

Findings

Automorphism group of $V^ atural$ is finite.

Automorphism group of $V^ atural$ is simple.

Proof relies on recent vertex algebra theory and classical group theory.

Abstract

Together with their 1988 construction of the monster vertex algebra $V^\natural$, Frenkel, Lepowsky, and Meurman showed that the largest sporadic simple group, known as the Fischer-Griess monster, forms the symmetry group of an infinite dimensional algebraic object whose construction was motivated by theoretical physics. However, the fact that the symmetry group is in fact finite and simple ultimately relied on highly non-trivial group-theoretic results used in Griess's work on the monster. We prove some properties of the automorphism group of $V^\natural$, most notably that it is is finite and simple, using recent developments in the theory of vertex operator algebras, but mostly 19th century group theory.