Hirviömäinen kuupaisteoletus [2] on todistettu matemaattinen olettamus , joka yllättävällä [3] tavalla yhdistää yksinkertaisen äärellisen hirviöryhmän ja modulaariset funktiot (erityisesti -invariantti ) [4] .
Ensimmäisen yhteyden ilmentymän löysi 1970-luvun lopulla John McKay , joka kiinnitti huomion siihen, että normalisoidun -invariantin Fourier-sarjan kertoimet:
[5]( on puolijaksojen suhde , ) ovat erityisiä lineaarisia dimensioiden [6] yhdistelmiä ryhmän pelkistymättömistä esityksistä :
.John Thompson ehdotti ilmiön selittämiseksi tutkimaan potenssisarjoja kertoimilla, jotka ovat sen eri elementeille laskettuja hirviöesitysten merkkejä . Vuonna 1979 John Conway (joka loi termin "hirviömäinen hölynpöly" oppiessaan ensimmäisen kerran McKayn suhteesta) ja Simon Norton sellaisia funktioita (McKay-Thompson-sarja) ja havaitsivat niiden samankaltaisuuden tärkeimpien modulaaristen toimintojen kanssa ( saksa: Hauptmodul ), jossa esitetään hypoteesin sisältö: jokainen McKay-Thompson-sarja vastaa tiettyä modulaarista pääfunktiota [7] .
Vuonna 1992 olettamuksen todisti Conwayn opiskelija Richard Borcherds , joka myöhemmin voitti tästä tuloksesta muun muassa Fields-palkinnon . Todistus perustui olennaisesti joidenkin kärkioperaattoreiden algebran ( monster-vertex algebra ), jolle hirviöryhmä on symmetriaryhmä, ominaisuuksiin ja siten väitteen yhteyteen merkkijonoteoriaan ja konformaalikenttäteoriaan (perustuu kärkioperaattoreiden algebroilla) löydetään.