Monstrous Moonshine

j-function: j(τ) = q⁻¹ + 744 + Σ cₙqⁿ

q = e^{2πiτ}, Im(τ)>0

ncₙ (j-fn coeff)Monster dimrelation

−11—q⁻¹ pole

07441744 = 744·1

1196884196883+1= dim(V₁⊕V₀)

22149376021296876+196883+1= dim sum

3864299970842609326+…McKay-Thompson

42024585625618538750076+…confirmed

533320264060019360062527+…all match

10≈ 3.7×10¹⁸Monster reps✓

Monster order: 8×10⁵³
Irreps: 194
Smallest non-trivial irrep: 196883
196884 = 196883 + 1 (McKay 1979)

j-function on upper half-plane

Im(τ) — height above real axis

Im(τ) = 0.50
|q| = —
j(τ) ≈ —

McKay's observation (1979): 196884 = 196883 + 1. The j-coefficient equals sum of Monster irrep dimensions.

Conway-Norton conjecture (1979): for each g∈𝕄, the McKay-Thompson series T_g(τ) = Tr(g|V^♮_n)q^n is a Hauptmodul for a genus-0 subgroup of SL₂(ℝ).

Borcherds 1992: Proved using vertex operator algebras (Moonshine module V^♮, Borcherds-Kac-Moody Lie algebra 𝓜). Fields Medal 1998.

Witten 2007: V^♮ = holomorphic CFT for pure 3D gravity on AdS₃ — Monster = symmetry of quantum gravity?