Search arXivSearch

arXiv · 2202.08277

Two New Avatars of Moonshine for the Thompson Group

Abstract

The Thompson sporadic group admits special relationships to modular forms of two kinds. On the one hand, last century's generalized moonshine for the monster equipped the Thompson group with a module for which the associated McKay-Thompson series are distinguished weight zero modular functions. On the other hand, Griffin and Mertens verified the existence of a module for which the McKay-Thompson series are distinguished modular forms of weight one-half, that were assigned to the Thompson group in this century by the last two authors of this work. In this paper we round out this picture by proving the existence of two new avatars of Thompson moonshine: a new module giving rise to weight zero modular functions, and a new module giving rise to forms of weight one-half. We explain how the newer modules are related to the older ones by Borcherds products and traces of singular moduli. In so doing we clarify the relationship between the previously known modules, and expose a new arithmetic aspect to moonshine for the Thompson group. We also present evidence that this phenomenon extends to a correspondence between other cases of generalized monstrous moonshine and penumbral moonshine, and thereby enriches these phenomena with counterparts in weight one-half and weight zero, respectively.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

John F. R. Duncan, Jeffrey A. Harvey, Brandon C. Rayhaun. 2025-05-04. Two New Avatars of Moonshine for the Thompson Group. https://arxiv.org/abs/2202.08277

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT