Why moonshine?

In the 1800s, studying the shapes of doughnuts (elliptic curves), mathematicians met a function called j. Written as a power series it begins with wild, seemingly arbitrary integers:

In the 1970s, studying the Monster — the largest “sporadic” symmetry group, with about 8×10⁵³ elements — mathematicians computed the smallest sizes in which it can be faithfully represented: 1, 196883, 21296876, 842609326, …

John McKay noticed the first coefficient was no accident. Click a coefficient of j — watch it fall apart into Monster representation-sizes, exactly.

Numbers this large matching to the digit are not coincidence. Something must connect a function about doughnuts to the biggest sporadic symmetry in existence. That something is moonshine.

The j-function isn’t arbitrary — it is the most symmetric function possible on the hyperbolic plane. An infinite group of motions, SL₂(ℤ), tiles that plane into infinitely many identical triangles, and j is the one function that repeats perfectly across every tile. Below is that tiling (the Farey tessellation, drawn in the Poincaré disk): every arc is a “straight line” in hyperbolic geometry, and every region is a copy of every other.

The link is a single infinite object, the moonshine module V♮ — a tower of spaces V₀, V₁, V₂, … that the Monster acts on at every level. Two facts snap together:

① Count its levels. The number of dimensions at each level spells out exactly the coefficients of j. So j is the Monster’s object, measured by size. That’s McKay’s coincidence, explained.

② Look through a symmetry. Pick any symmetry type g. Instead of counting each level, take its trace under g (how much g leaves fixed). This gives a new function T_g — the McKay–Thompson series of that class. The identity gives back j; every other class gives its own function.

Fold up a tiling’s tiles into a single shape (the quotient surface). It could be a sphere, a doughnut, a two-holed surface… The number of holes is the genus. The astonishing part of moonshine: every one of the 194 tilings folds up into a sphere — genus zero. And on a sphere there is exactly one basic coordinate function that generates all the others. That single generator is the McKay–Thompson series. Genus zero is why each Monster symmetry gives one clean modular function instead of a mess.

The names in the dictionary (2+, 60+4,15,60) are precisely the recipe for each tiling’s symmetry group: start from level N, then adjoin extra “Atkin–Lehner” flips. Pick a class and see its recipe:

Years before McKay, Andrew Ogg asked which primes p make the simplest tiling p+ fold into a sphere. The answer is exactly 15 primes:

Ogg was at a talk where the size of the Monster was factored — and those same 15 primes were its prime divisors. He offered a bottle of Jack Daniel’s for an explanation. Moonshine is the explanation; the bottle, fittingly, is still unclaimed.

Now the dictionary reads differently: each of the 194 rows → is a Monster symmetry, the sphere it secretly is, and the single function that lives on it.