La conjetura de la luz de la luna monstruosa [2] es una conjetura matemática comprobada que, de una manera inesperada [3] , conecta un grupo de monstruos finitos simples y funciones modulares (en particular, el -invariante ) [4] .
La primera manifestación de la conexión fue descubierta a fines de la década de 1970 por John McKay , quien llamó la atención sobre el hecho de que los coeficientes de la serie de Fourier del invariante normalizado :
[5]( es la razón de semiperíodos , ) son combinaciones lineales específicas de dimensiones [6] de representaciones irreducibles del grupo :
.John Thompson , para explicar el fenómeno, propuso estudiar series de potencias con coeficientes que son caracteres de representaciones de monstruos calculados para sus diversos elementos. En 1979, John Conway (quien acuñó el término "tontería monstruosa" cuando se enteró por primera vez de la relación McKay) y Simon Norton construyeron tales funciones (serie McKay-Thompson) y encontraron su similitud con las principales funciones modulares ( alemán: Hauptmodul ), enunciando el contenido de la hipótesis: cada serie de McKay-Thompson corresponde a una determinada función modular principal [7] .
En 1992, la conjetura fue probada por el alumno de Conway, Richard Borcherds , quien más tarde ganó el Premio Fields , entre otras cosas, por este resultado. La prueba se basó esencialmente en las propiedades de algún álgebra de operadores de vértice ( álgebra de vértice de monstruos ), para la cual el grupo de monstruos es un grupo de simetría y, por lo tanto, la conexión de la afirmación con la teoría de cuerdas y la teoría de campos conformes (basada en sobre álgebras de operadores de vértice) se descubre.