Looking for a Refined Monster

TL;DR

This paper explores categorical structures related to the Monster group, defining representations of categorical tori, analyzing their centralizers, inertia groupoids, and automorphisms, and relating these to sporadic groups like Conway groups.

Contribution

It introduces a categorical framework for objects related to the Monster group, including representations, centralizers, and automorphisms, connecting these to known sporadic groups.

Findings

Centralizer of the basic representation is a categorical extension of an extraspecial 2-group.

Inertia groupoid of a categorical torus is given by the torsor of a topological line bundle.

Discontinuity of categorical characters explains the failure of certain class functions.

Abstract

We discuss some categorical aspects of the objects that appear in the construction of the Monster and other sporadic simple groups. We define the basic representation of the categorical torus $\mathcal T$ classified by an even symmetric bilinear form $I$ and of the semi-direct product of $\mathcal T$ with its canonical involution. We compute the centraliser of the basic representation of $\mathcal T\rtimes\{\pm1\}$ and find it to be a categorical extension of the extraspecial $2$-group with commutator $I\mod 2$. We study the inertia groupoid of a categorical torus and find that it is given by the torsor of the topological Looijenga line bundle, so that $2$-class functions on $\mathcal T$ are canonically theta-functions. We discuss how discontinuity of the categorical character in our formalism means that the character of the basic representation fails to be a categorical class function. We compute the automorphisms of $\mathcal T$ and of $\mathcal T\rtimes\{\pm1\}$ and relate these to the Conway groups.