The traces-of-singular-moduli conjecture for Thompson McKay–Thompson series

Let g\textslThg\in \textsl{Th}, with gg not in the classes 9B\mathrm{9B}, 18B\mathrm{18B} or 27ABC\mathrm{27ABC}. Let F˘3C,g(τ)\breve{F}_{\mathrm{3C},g}(\tau) be the McKay–Thompson series, let q=e2πiτq=e^{2\pi i\tau}, let θ\theta be the theta function, let Γ^g\hat{\Gamma}_g and χg\chi_g be the auxiliary group and generalized genus character defined above, and let Tr3,Γ^g(T~3C,g3,D,χg)\operatorname{Tr}_{-3,\hat{\Gamma}_g}(\widetilde{T}_{\mathrm{3C},g}^3,D,\chi_g) denote the corresponding trace. Define coefficients κg,n2\kappa_{g,n^2} by requiring that they all vanish except κ9A,9=9\kappa_{\mathrm{9A},9}=-9, κ18A,9=1\kappa_{\mathrm{18A},9}=-1, κ36ABC,9=3\kappa_{\mathrm{36ABC},9}=-3, and κ36ABC,36=4\kappa_{\mathrm{36ABC},36}=4. For the class 9B\mathrm{9B}, use the displayed quadratic-form trace in the claim below. Traces-of-singular-moduli conjecture. For g\textslThg\in\textsl{Th} not in the classes 9B\mathrm{9B}, 18B\mathrm{18B} or 27ABC\mathrm{27ABC}, one has

F˘3C,g(τ)=3q33tr(g248)θ(τ)12+3n>1κg,n2θ(n2τ)12+3D>01DTr3,Γ^g(T~3C,g3,D,χg)qD.\breve{F}_{\mathrm{3C},g}(\tau)=3q^{-3}-3\operatorname{tr}(g|\boldsymbol{248})\frac{\theta(\tau)-1}{2}+3\sum_{n>1}\kappa_{g,n^2}\frac{\theta(n^2\tau)-1}{2}+3\sum_{D>0}\frac{1}{\sqrt D}\operatorname{Tr}_{-3,\hat{\Gamma}_g}(\widetilde{T}_{\mathrm{3C},g}^3,D,\chi_g)q^D.

For gg in the class 9B\mathrm{9B}, one has

F˘3C,9B(τ)=3q33tr(g248)θ(τ)12+3D>01D(QQ3D(9)/Γ0(3)χ3(Q)T~3C,g(αQ)3Γ0(3)Q)qD.\breve{F}_{\mathrm{3C},\mathrm{9B}}(\tau)=3q^{-3}-3\operatorname{tr}(g|\boldsymbol{248})\frac{\theta(\tau)-1}{2}+3\sum_{D>0}\frac{1}{\sqrt D}\left(\sum_{Q\in\mathcal{Q}^{(9)}_{-3D}/\Gamma_0(3)}\chi_{-3}(Q)\frac{\widetilde{T}_{\mathrm{3C},g}(\alpha_Q)^3}{|\overline{\Gamma_0(3)}_Q|}\right)q^D.

These formulas propose a systematic realization of the inverse image of generalized monstrous moonshine under singular theta lifts, expressing the relevant Thompson McKay–Thompson series through traces of the principal moduli T~3C,g3\widetilde{T}_{\mathrm{3C},g}^3; their status is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

John F. R. Duncan, Jeffrey A. Harvey and Brandon C. Rayhaun, “Two New Avatars of Moonshine for the Thompson Group”, arXiv:2202.08277 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.