Den monstrøse måneskinsformodning [2] er en bevist matematisk formodning , der på en uventet [3] måde forbinder en simpel finit monstergruppe og modulære funktioner (især den -invariante ) [4] .
Den første manifestation af forbindelsen blev opdaget i slutningen af 1970'erne af John McKay , som gjorde opmærksom på det faktum, at koefficienterne for Fourier-serien af den normaliserede -invariant:
[5]( er forholdet mellem halve perioder , ) er specifikke lineære kombinationer af dimensioner [6] af irreducerbare repræsentationer af gruppen :
.John Thompson , for at forklare fænomenet, foreslog at studere potensrækker med koefficienter, der er karakterer af monsterrepræsentationer beregnet for dets forskellige elementer. I 1979 konstruerede John Conway (som opfandt udtrykket "monstrøst nonsens", da han først lærte om McKay-relationen) og Simon Norton sådanne funktioner (McKay-Thompson-serien), og fandt deres lighed med de vigtigste modulære funktioner ( tysk: Hauptmodul ), med angivelse af indholdet af hypotesen: hver McKay-Thompson-serie svarer til en bestemt modulær hovedfunktion [7] .
I 1992 blev formodningen bevist af Conways studerende Richard Borcherds , som senere blandt andet vandt Fields-prisen for dette resultat. Beviset hvilede i det væsentlige på egenskaberne af en eller anden algebra af toppunktsoperatorer ( monster-vertex algebra ), for hvilke monstergruppen er en symmetrigruppe, og dermed sammenhængen mellem påstanden med strengteori og konform feltteori (baseret på algebraer af toppunktsoperatorer) opdages.