Higher width moonshine

Abstract

Weak moonshine for a finite group G is the phenomenon where an infinite dimensional graded G-moduleVG=⨁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 χi(r):G(r)→C to define width r McKay-Thompson series for VG(r):=VG×⋯×VG (r copies) for each r-tuple in G(r):=G×⋯×G (r copies). These series are modular functions which then reflect differences between r-character values. 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.