Conjectura monstruoasă [2] este o presupunere matematică dovedită care, într-un mod neașteptat [3] , conectează un grup de monștri finiți simpli și funcții modulare (în special, -invarianta [ ) [4] .
Prima manifestare a conexiunii a fost descoperită la sfârșitul anilor 1970 de John McKay , care a atras atenția asupra faptului că coeficienții seriei Fourier ale invariantului normalizat :
[5]( este raportul semiperiodelor , ) sunt combinații liniare specifice de dimensiuni [6] ale reprezentărilor ireductibile ale grupului :
.John Thompson , pentru a explica fenomenul, și-a propus să studieze serii de puteri cu coeficienți care sunt caractere ale reprezentărilor monștrilor calculate pentru diferitele sale elemente. În 1979, John Conway (care a inventat termenul de „prostii monstruoase” când a aflat pentru prima dată despre relația McKay) și Simon Norton au construit astfel de funcții (seria McKay-Thompson) și au găsit asemănarea lor cu funcțiile modulare principale ( germană: Hauptmodul ), precizând conținutul ipotezei: fiecărei serii McKay-Thompson îi corespunde o anumită funcție modulară principală [7] .
În 1992, presupunerea a fost dovedită de studentul lui Conway Richard Borcherds , care mai târziu a câștigat premiul Fields , printre altele, pentru acest rezultat. Dovada s-a bazat în esență pe proprietățile unor algebre de operatori de vârfuri ( monster-vertex algebra ), pentru care grupul-monstru este un grup de simetrie și, prin urmare, legătura aserțiunii cu teoria corzilor și teoria câmpurilor conformale (bazată pe algebrele operatorilor de vârfuri) se descoperă.