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 T classified by an even symmetric bilinear form I and of the semi-direct product of T with its canonical involution. We compute the centraliser of the basic representation of T\±1\ and find it to be a categorical extension of the extraspecial $2$-group with commutator I 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 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 T and of T\±1\ and relate these to the Conway groups.
No takes yet. Share an insight, caveat, or question.
Nora Ganter (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: