Den monstruösa månskensförmodan [2] är en beprövad matematisk gissning som på ett oväntat [3] sätt förbinder en enkel finit monstergrupp och modulära funktioner (i synnerhet den -invarianta ) [4] .
Den första manifestationen av sambandet upptäcktes i slutet av 1970-talet av John McKay , som uppmärksammade det faktum att koefficienterna för Fourier-serien av den normaliserade -invarianten:
[5]( är förhållandet mellan halvperioder , ) är specifika linjära kombinationer av dimensioner [6] av irreducerbara representationer av gruppen :
.John Thompson , för att förklara fenomenet, föreslog att man skulle studera potensserier med koefficienter som är karaktärer av monsterrepresentationer beräknade för dess olika element. 1979 konstruerade John Conway (som myntade termen "monstruöst nonsens" när han först lärde sig om McKay-relationen) och Simon Norton sådana funktioner (McKay-Thompson-serien), och fann deras likhet med huvudmodulära funktioner ( tyska: Hauptmodul ), med angivande av innehållet i hypotesen: varje McKay-Thompson-serie motsvarar en viss modulär huvudfunktion [7] .
1992 bevisades gissningen av Conways student Richard Borcherds , som senare vann Fields-priset bland annat för detta resultat. Beviset förlitade sig i huvudsak på egenskaperna hos någon algebra av vertexoperatorer ( monster-vertex algebra ), för vilka monstergruppen är en symmetrigrupp, och därmed kopplingen mellan påståendet med strängteori och konformfältteori (baserad på algebror för vertexoperatorer) upptäcks.