[論文レビュー] $EE_8$-lattices and dihedral groups

Robert L. Griess, Ching Hung Lam|ArXiv.org|Jun 17, 2008

Algebraic structures and combinatorial models参考文献 10被引用数 11

ひとこと要約

本稿は、位数が12以下の二面体群を生成する関連する等長変換を持つ2つの$EE_8$格子（スケーリングされた$E_8$格子）の和として得られる整数的・根のない格子を分類する。格子論的および表現論的技法を用いて、同相型を除くすべてのこのような格子を同定し、$DIH_4(15)$を除くすべてのケースがLeech格子に埋め込まれることを示し、各格子の明示的構成と不変量を提供する。分類は完全であり、Leech格子やBarnes-Wall格子などの既知の格子において明示的に実現可能である。

ABSTRACT

We classify integral rootless lattices which are sums of pairs of $EE_8$-lattices (lattices isometric to $\sqrt 2$ times the $E_8$-lattice) and which define dihedral groups of orders less than or equal to 12. Most of these may be seen in the Leech lattice. Our classification may help understand Miyamoto involutions on lattice type vertex operator algebras and give a context for the dihedral groups which occur in the Glauberman-Norton moonshine theory.

研究の動機と目的

• 位数が12以下の二面体群を生成する2つの$EE_8$格子$M,N \cong EE_8$の和として得られるすべての整数的・根のない格子$L = M + N$を分類すること。
• 特にその等長型と根系の分布に注目して、このような格子の明示的構成と不変量を提供すること。
• モジュラー理論およびモンスターグループを動機とするモジュラー理論的関連性を踏まえ、頂点 operator 代数（VOA）との関連、特にMiyamoto対合とその二面体群を明らかにすること。
• これらの格子がLeech格子に埋め込まれるかどうかを特定することに注力し、VOAにおける$EE_8$部分格子の役割を強調すること。
• グリューイング技法と固有格子解析を用いて、ペア$(M,N)$の同相型に関して格子が一意に定まることを確立すること。

提案手法

• テンソル積分解と直交的グリューイング技法を用いて、$EE_8$部分格子から格子を構成する。
• 対合の下での固有格子と固定点部分格子の解析により、$L = M + N$ の構造を同定する。
• ヘルメート関数と根系不変量を用いて、根型分布に基づき格子を分類する。
• 位数4,6,8,10,12の二面体群作用に由来する群論的制約を適用し、可能な構成を制限する。
• 構成された格子の実現可能性と埋め込み可能性を検証するために、Leech格子の等長群と標準的$EE_8$埋め込みを利用する。
• 二面体群の位数ごとの体系的ケース分析を行い、交差格子$M \cap N$ とその等長型（例：$DD_4$、$AA_1$、$AA_2$ など）に基づく部分ケースを含む。

実験結果

リサーチクエスチョン

• RQ1 位数が12以下の二面体群を生成する2つの$EE_8$格子の和として得られる整数的・根のない格子は、どのようなものか？
• RQ2 各格子について、その等長型、根系分布、およびLeech格子への埋め込み状況は何か？
• RQ3 固有格子と交差格子$M \cap N$ は、$L = M + N$ の可能な構造をどのように制約するか？
• RQ4 これらの格子の中で、ペア$(M,N)$の同相型に関して一意に定まるものはどれか？ その一意性はどのように証明できるか？
• RQ5 格子型VOAにおけるMiyamoto二面体群の構成において、$EE_8$部分格子は果たす役割は何か？

主な発見

• 位数が12以下の二面体群を生成する2つの$EE_8$格子の和として得られるすべての整数的・根のない格子$L = M + N$ は、11種類の同相型に分類され、表1に示されている。
• $DIH_4(15)$は、分類においてLeech格子に埋め込まれない唯一の格子である。残りのすべての格子は、Leech格子に埋め込まれる。
• $DIH_8(16,0)$はBarnes-Wall格子$BW_{16}$に同相であり、根型分布は$1^8 2^8$である。
• $DIH_{12}(16)$は根型分布$1^{12} 6^4$をもち、部分格子として$AA_2 \perp AA_2 \perp A_2 \otimes E_6$を含む。
• $DIH_4(12)$では、交差$M \cap N \cong DD_4$であり、格子は$DD_4^\perp \otimes 3$に同相であり、根型は$1^4 2^6 4^2$である。
• 分類は完全であり、ペア$(M,N)$の同相型に関して一意に定まっており、すべてのケースがグリューイングおよび固有格子解析によって明示的に構成可能で検証済みである。