Higher Width Moonshine

arXiv:1807.07210

Madeline Locus Dawsey, Ken Ono

Weak moonshine for a finite group G is the phenomenon where an infinite dimensional graded G-module

VG=⨁n≫−∞VG(n)

has the property that its trace functions, known as McKay-Thompson series, are modular functions. Recent work by Dehority, Gonzalez, Vafa, and Van Peski established that weak moonshine holds for every finite group. Since weak moonshine only relies on character tables, which are not isomorphism class invariants, non-isomorphic groups can have the same McKay-Thompson series. We address this problem by extending weak moonshine to arbitrary width s∈Z+. For each 1≤r≤s and each irreducible character χi, we employ Frobenius' r-character extension χ(r)i:G(r)→C to define McKay-Thompson series of V(r)G:=VG×⋯×VG (r copies) for each r-tuple in G(r):=G×⋯×G (r copies). These series are modular functions. We find that completewidth 3 weak moonshine always determines a group up to isomorphism. Furthermore, we establish orthogonality relations for the Frobenius r-characters, which dictate the compatibility of the extension of weak moonshine for VG to width s weak moonshine.