Schellekens' List and the Very Strange Formula

Jethro van Ekeren, Ching Hung Lam, Sven Möller +1

In 1993 Schellekens proved that the weight-one space $V_1$ of a strongly rational, holomorphic vertex operator algebra $V$ of central charge 24 must be one of 71 Lie algebras. Duri…