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

At least 3 years old · documented by

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 Tr⁡−3,Γ^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(τ)=3q−3−3tr⁡(g∣248)θ(τ)−12+3∑n>1κg,n2θ(n2τ)−12+3∑D>01DTr⁡−3,Γ^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(τ)=3q−3−3tr⁡(g∣248)θ(τ)−12+3∑D>01D(∑Q∈Q−3D(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.

References

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.