モンストラス・ムーンシャイン
しかし、ガイオット(Gaiotto)とハーン(Höhn)の独立した仕事によりすぐに否定された。マロニーとウィッテンは、複雑な鞍点の微妙な性質がうまく機能しない限り、純粋な量子重力は分配函数に関する整合性チェックを満たさないかもしれないと示唆した。しかしながら、リーらは、モンスターCFTのカイラル部分の双対、すなわち、モンスター頂点代数でありながら、2007年にマスコット(Maschot)が提案したカイラル量子重力が安定な性質を持ちうると示唆した。ダンカンとフレンケルは、ラーデマッハーの和(英語版)を使い、大域的トーラス同種(isogeny)幾何学上の正規化された和を使い、(2+1)-次元重力の分配函数としてマッカイ・トンプソン級数を再現することで、この双対性の証拠を加えた。さらに、ダンカンとフレンケルは、モンスター群の元でパラメータ化されるツイストしたカイラル重力理論の族の存在を予想し、一般ムーンシャインや重力インスタントンとの関係を示唆した。現在のところ、これら全てのアイデアは推測でしかなく、その理由の一つは、3-次元量子重力が厳密な数学的な基礎を持たないことにある。
モンスター群は、1970年代に数学者のジャン=ピエール・セールやアンドリュー・オッグ(英語版)(Andrew Ogg)、ジョン・G・トンプソンにより、 SL2(R) の部分群による双曲平面(英語版)の商として研究された。特に、SL(2,R) の中のモジュラ群 Γ0(p) の正規化因子 Γ0(p) が研究された。セールらは、リーマン面を双曲面を Γ0(p) で割った商とみることにより、(リーマン面の)種数がゼロとなることと、p が 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71 のいづれかであることと同値であることを発見した。オッグが後日にモンスター群について聞いたときに、これらは M のサイズの第一因子になることに気付き、彼はこの事実を説明できた人にジャックダニエルのボトルを進呈すると論文に記載した。
「モンストラス・ムーンシャイン(monstrous moonshine)」という言葉は、コンウェイにより命名された。彼は、1970年代にジョン・マッカイ(英語版)(John McKay)から q {\displaystyle {q}} の係数(つまり、196884)は、グライス代数(英語版)(Griess algebra)の次元に正確に一致する(したって、モンスター群の最小な忠実複素表現の次数よりも 1 だけ大きい)と聞いたときに、これは気が狂いじみていて、馬鹿げた考え方であるいう意味の"moonshine"という返答をした。このように、この言葉は、モンスター群 M を意味するだけではなく、M とモジュラ函数の間の本質的な関係が馬鹿馬鹿しく見えることをも意味している。
しかしながら、「ムーンシャイン」はアメリカにおける密造ウィスキーの俗語でもあり、事実、この意味からも同じように説明される。