19/03/20 08:18:50.65 PH/cp/6U.net
>>574
つづき
1.自己同型による M の作用と次数つき次元 j を持つ頂点代数 V から始める。これがムーンシャインか群によってもたらされ、モンスター頂点代数とか、モンスターVOAとかと呼ばれる。
2.モンスターリー代数（英語版）と呼ばれるリー代数 {\displaystyle {\mathfrak {m}}} \mathfrak{m} は量子化函手を使い V から構成される。このリー代数が、自己同型によるモンスター作用を持つ一般カッツ・ムーディリー代数である。 弦理論のゴダード・ソーンの「ノーゴースト」定理（英語版）(Goddard?Thorn "no-ghost" theorem)を使い、余地の重なりが j の係数であることを発見した。
3.ルートの多重度を比較することにより、2つのリー代数が同型であることが分かり、特に {\displaystyle {\mathfrak {m}}} \mathfrak{m} のワイルの分母公式(Weyl denominator formula)は正確に小池・ノートン・ザギア恒等式に一致する。
4.リー代数ホモロジー（英語版）とアダムズ作用素（英語版）を使うことにより、ツイストされた分母公式は、各々の元に対してあたえられる。これらの等式は、マッカイ・トンプソンの級数 Tg の多くの同じ方法で関係づけられている。同じ方法とは、小池・ノートン・ザギアの恒等式が j に関連付ける方法である。
5.ツイストされた分母公式は、Tg の係数の再帰的な関係式を意味していて、これらの関係式は充分に強力で、最初の 7つの項がコンウェイ・ノートンにより与えられた函数に一致することを検証に必要に充分である。
このようにして、証明は完成した(Borcherds (1992))。
(引用終り)
以上