今週，京都大学数理解析研究所で行われた「タイル張り力学系とその周辺」の研究会で，

　　space filling semi-regular polytopes and their Wythoff arithmetic

を講演．

　そこでは計量的な方法や多面体的組み合わせ論の方法を用いて，空間充填準正多胞体の諸量の計算結果について発表したところ，参席のムーディー先生からいろいろなサジェスチョンを賜った．

　コクセターが整理した群論的な方法を使って，計量を行うことができるのではというものであったが，「ワイソフ算術」を使えばｆ0，ｆ1，ｆn-1の計量は容易に可能となることを申し添えておきたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ムーンシャイン予想とカッツ・ムーディー・リー代数

　有限単純群の分類の完成は，ムーンシャイン予想という予期せぬものを生み出しました．

　１９世紀の後半，デデキントとクラインは独立に保型関数

　　ｊ（ａｚ＋ｂ／ｃｚ＋ｄ）＝ｊ（ｚ）

を構成しました．ｊ（ｚ）は古典的なＳＬ（２，Ｚ）不変な保型関数です．

　ここで，ｑ＝ｅｘｐ（２πｉｚ）とおくと，

　　ｊ（ｚ）＝ｊ（ｑ）＝Σｃnｑ^n

　＝１／ｑ＋７４４＋１９６８８４ｑ＋２１４９３７６０ｑ^2＋８６４２９９９７０ｑ^3＋・・・

と展開されます．

　モンスターの既約表現の次数ｄnと係数ｃnを小さい方から数個あげると

　　ｄ0＝１

　　ｄ1＝１９６８８３　　　　　　ｃ1＝１９６８８４

　　ｄ2＝２１２９６８７６　　　　ｃ2＝２１４９３７６０

　　ｄ3＝８４２６０９３２６　　　ｃ3＝８６４２９９９７０

　このｑ展開に現れる係数１９６８８４とモンスターの既約表現の最小次数１９６８８３がほとんど等しいことに注目すると，ｑ，ｑ^2，ｑ^3等の係数は

　　ｃ1＝ｄ0＋ｄ1

　　ｃ2＝ｄ0＋ｄ1＋ｄ2

　　ｃ3＝２ｄ0＋２ｄ1＋ｄ2＋ｄ3

のようにモンスターの既約表現の簡単な線形結合となっていることを見いだされました．これは単なる偶然の一致なのでしょうか？

　ムーンシャイン予想の出発点の出発点であるマッカイ・トンプソン予想，コンウェイ・ノートン予想には，このような不思議な事実がたくさん収集されています．しかし，後にボーチャーズが，現代物理学の弦理論にその原点をもつ頂点作用素代数を用いることによって，これは単なる偶然の一致ではなく，そこに何か真実が隠されていることをつきとめます．

　ボーチャーズはその功績によりフィールズ賞を受賞するのですが，さらに，ボーチャーズは一般化されたカッツ・ムーディー・リー代数を導入して，マクドナルド恒等式を導いた論法を適用することにより，分母公式は

　　Ｊ（ｐ）−Ｊ（ｑ）＝ｐ^(ｰ1)Π（１−ｐ^mｑ^n）^c(mn)

となることを示しました．この等式は１９世紀のデデキントのイータ関数の変形のようでもあり，ヤコビの３重積公式にも結びついています．

　これにより，ムーンシャイン予想の一応の解決となったわけですが，ムーンシャイン予想は保型関数論のように古典的なものでもあり，また，物理学の弦理論のように新しいものでもあったというわけです．

　リー型の単純群に比べると，散在型単純群は例外的なものにみえるのですが，ミステリアスなムーンシャイン現象を知ると，散在型単純群にも深い存在理由がありそうです．しかし，疑問は残ったままであり，今後は有限単純群の分類論の明瞭化・簡明化とともに，この神秘的現象の解明が研究課題とされています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝