Supersingular elliptic curves and moonshine (Q2633020)

In the paper under review, the author generalizes a theorem of Ogg on supersingular \(j\)-invariants to supersingular elliptic curves with level. Ogg observed that the level one case yields a characterization of the primes dividing the order of the monster. He shows that the corresponding analyses for higher levels give analogous characterizations of the primes dividing the orders of other sporadic simple groups (e.g., baby monster, Fischer's largest group). This situates Ogg's theorem in a broader setting. More generally, he characterizes, in terms of supersingular elliptic curves with level, the primes arising as orders of Fricke elements in centralizer subgroups of the monster. He also presents a connection between supersingular elliptic curves and umbral moonshine. Finally, he presents a procedure for explicitly computing invariants of supersingular elliptic curves with level structure.