[論文レビュー] Arithmetic groups and the affine E8 Dynkin diagram

John F. R. Duncan|ArXiv.org|Oct 8, 2008

Algebraic structures and combinatorial models参考文献 4被引用数 7

ひとこと要約

この論文は、格子とモジュラー群の性質を用いて、アフィン $E_8$ ダイニキン図のノードと $
mathrm{PSL}_2(\mathbb{R})$ の算術的部分群の対応について、群論的で初等的な説明を提供する。また、フレーム型と主モジュラーを介して、コンウェイの群 $
mathrm{Co}_0$ の共役類と同様の図を結びつけることで、マクケイのモノストラス $E_8$ 観察の「スーパーアナログ」を確立する。

ABSTRACT

Several decades ago, John McKay suggested a correspondence between nodes of the affine E8 Dynkin diagram and certain conjugacy classes in the Monster group. Thanks to Monstrous Moonshine, this correspondence can be recast as an assignment of discrete subgroups of PSL2 to nodes of the affine E8 Dynkin diagram. The purpose of this article is to give an explanation for this latter correspondence using elementary properties of the group PSL2. We also obtain a super analogue of McKay's observation, in which conjugacy classes of the Monster are replaced by conjugacy classes of Conway's group -- the automorphism group of the Leech lattice.

研究の動機と目的

• アフィン $E_8$ ダイニキン図のノードと算術的部分群の対応について、$
  mathrm{PSL}_2(\mathbb{R})$ の性質のみに依拠した初等的説明を提供すること。
• これらの部分群の算術的不変量を用いて、アフィン $E_8$ 図の辺構造を回復すること。
• マクケイのモノストラス $E_8$ 観察を、モンスターグループの代わりにコンウェイの群 $
  mathrm{Co}_0$ を用いた「スーパーアナログ」に拡張すること。
• $\mathrm{Co}_0$ のフレーム型が、モンスターの共役類と同様に $E_8$ 図の構造を符号化することを示すこと。
• $\mathrm{Co}_0$ のマクケイ–トーマス級数と、算術的部分群 $^s\Gamma$ の主モジュラーとの間の明確な関係を示すこと。

提案手法

• 算術的部分群を、強い意味で $\mathrm{PSL}_2(\mathbb{Z})$ と可換な $
  mathrm{PSL}_2(\mathbb{R})$ の部分群として定義する。
• コンウェイの格子論的アプローチを用い、$
  mathbb{R}^2$ 内の格子への作用を通じて算術的部分群を分析する。
• アトキン–レーナー対合のスケーリングの概念を導入し、$\Gamma_0$ から新しい群 $^s\Gamma$ を構成する。
• $^s\Gamma$ を、$\Gamma_0$ のスケーリングされた陪集合 $^sX$ の和集合として定義し、2で割り切れるかどうかに応じた明示的なスケーリング則を設ける。
• $^s\Gamma$ が算術的部分群であることを確立し、その関連するモジュラー群がイータ積を介して主モジュラーに対応することを示す。
• $\mathrm{Co}_0$-元のフレーム型を用いて $E_8$ 図のノードをラベル付けし、その型から最高根と次数が導出可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 アフィン $E_8$ ダイニキン図のノードと $
  mathrm{PSL}_2(\mathbb{R})$ の算術的部分群の対応を、$
  mathrm{PSL}_2(\mathbb{R})$ の初等的性質のみを用いてどのように説明できるか？
• RQ2 対応 (1.2) における部分群の算術的不変量は何か？ それらは図の辺構造を一意に特徴づけ、再構成可能か？
• RQ3 マクケイのモノストラス $E_8$ 観察は、モンスターグループの代わりにコンウェイの群 $
  mathrm{Co}_0$ を用いた「スーパーアナログ」に一般化可能か？
• RQ4 $\mathrm{Co}_0$-共役類のフレーム型は、$E_8$ 図の構造とその主モジュラーをどのように符号化するか？
• RQ5 $\mathrm{Co}_0$ のマクケイ–トーマス級数と算術的部分群 $^s\Gamma$ の主モジュラーとの間の明確な関係は何か？

主な発見

• 論文は、各算術的部分群 $\Gamma_0 = G_{(a,N/a)}^{(a)}$ に対して、アトキン–レーナー陪集合のスケーリングを用いて新しい群 $^s\Gamma$ を構成し、$
  mathrm{PSL}_2(\mathbb{R})$ の算術的部分群が得られることを示した。
• 得られた図 (4.5) は、アフィン $E_8$ ダイニキン図を、各々がモノストラス・ムーンシャインを介してモンスターグループの唯一の共役類に対応する群 $^s\Gamma$ でラベル付けしている。
• $\mathrm{Co}_0$-共役類のフレーム型、例えば $1^{24}$、$2^{24}/1^{24}$、$3^8$ は、(4.7) で $E_8$ 図のノードを直接ラベル付けしている。
• アフィン $E_8$ 図の最高根は、フレーム型 $A_1^{\alpha_1}A_2^{\alpha_2}\cdots$ の中で最大の $A_i$ に対応し、対応する $\mathrm{Co}_0$-元の位数である。
• ノードが $A_1^{\alpha_1}A_2^{\alpha_2}\cdots$ でラベル付けされた頂点の次数は、負の $\alpha_i$ の個数に1を加えたものに等しい。
• イータ積 $\frac{\eta(A_1\tau)^{\alpha_1}\eta(A_2\tau)^{\alpha_2}\cdots}{\eta(2A_1\tau)^{\alpha_1}\eta(2A_2\tau)^{\alpha_2}\cdots}$ は、群 $^s\Gamma$ の主モジュラーを生成し、$\mathrm{Co}_0$ のマクケイ–トーマス級数と関連づける。