[論文レビュー] Applications of vertex algebra covering procedures to Chevalley groups and modular moonshine

Robert L. Griess, Ching Hung Lam|arXiv (Cornell University)|Aug 10, 2013

Algebraic structures and combinatorial models参考文献 16被引用数 6

ひとこと要約

本稿は、整数的形と被覆手続きを用いて、可換環上の頂点代数へとチェヴァリィ群の構成を拡張し、特に対称型ADEおよびBCFGの簡約頂点代数が特異に大きな自己同型群をもち、それが特異的チェヴァリィ群に同型であることを示している。主な貢献は、頂点代数の被覆技術を用いて、散乱群 $F_3$ が $E_8(3)$ に埋め込まれることを証明することで、ボルチャーズ＝ライバのモジュラー・ムーンシャイン計画を完了させたことにある。

ABSTRACT

A vertex operator algebra of lattice type ADE has a standard integral form which extends a Chevalley basis for its degree 1 Lie algebra. This integral form may be used to define a vertex algebra over a commutative ring $R$ and to get a Chevalley group over $R$ of the same type, acting as automorphisms of this vertex algebra. We define vertex algebras of types BCFG over a commutative ring and certain reduced VAs, then get analogous results about automorphism groups. In characteristics 2 and 3, there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to the vertex algebra situation. We use integral form and covering procedures for vertex algebras to complete the modular moonshine program of Borcherds and Ryba for proving an embedding of the sporadic group $F_3$ in $E_8(3)$.

研究の動機と目的

• 任意の可換環上での格子VOAの整数的形を用いて、リー代数から頂点代数へのチェヴァリィ群構成の一般化を図ること。
• フロハートとグリースのリー代数における被覆代数手続きを、特に正の特性において頂点代数へと拡張すること。
• ノルムイデアルによる商をとることで、特性2および3における頂点代数の特異的自己同型群の振る舞いを解消すること。
• ボルチャーズとライバのモジュラー・ムーンシャイン計画を、頂点代数的手法を用いて $F_3$ が $E_8(3)$ に埋め込まれることを証明することで完了させること。
• 簡約頂点代数およびその自己同型群の定義と分析を、ムーンシャインおよび格子VOAの文脈で行うこと。

提案手法

• ADE型の格子VOAの標準的整数的形を用いて、可換環 $R$ 上の古典的頂点代数を構成する。
• 頂点代数のタイプADEおよびBCFGに対して、チェヴァリィ基底とチェヴァリィ群を定義し、群作用が頂点代数構造を保存することを保証する。
• フロハートとグリースの被覆代数手続きを頂点代数に適用し、グラフ自己同型を用いて整数的形の包含関係を誘導する。
• 固定点部分代数のノルムイデアルによる商として簡約頂点代数を定義し、特性2および3における特異的自己同型群の実現を可能にする。
• ${\mathbb{Z}}[1/2]$-形のムーンシャインVOA $V^\natural$ とそのノルム元 $\nu$ による商を用いて、モジュラー・ムーンシャインの中心的対象である $^gV$ を構成する。
• 群 $C(g)/\langle g \rangle$ と $F_3$ の同型関係と248次元格子実現を活用し、頂点代数自己同型群を介して $F_3$ を $E_8(3)$ に埋め込む。

実験結果

リサーチクエスチョン

• RQ1 整数的形を用いて、リー代数から任意の可換環上の頂点代数へとチェヴァリィ群構成を一般化する方法は何か？
• RQ2 被覆代数手続きが、特性2および3における頂点代数の特異的自己同型群を生じる役割は何か？
• RQ3 ノルムイデアルによる商をとる簡約頂点代数の構成が、特にモジュラー・ムーンシャインの文脈で、予想外に大きな自己同型群をもたらす仕組みは何か？
• RQ4 頂点代数の被覆手法を用いて、$F_3$ が $E_8(3)$ に埋め込まれることを証明することで、モジュラー・ムーンシャイン計画を完了させられるか？
• RQ5 モノスター群内の奇数位の元 $g$ に対して、頂点代数 $^gV = (V^\natural[1/2])^g / \nu(V^\natural[1/2])$ の正確な構造は何か？

主な発見

• ADE型の格子ボーアンダ代数の標準的整数的形は、任意の可換環 $R$ 上でチェヴァリィ群へと拡張され、頂点代数の自己同型として作用する。
• 特性2および3において、ノルムイデアルによる商をとった簡約頂点代数は、$G_2(F)$（特性3）や $B_3(F)$（特性2）といった特異的チェヴァリィ群に同型な自己同型群をもつ。
• グラフ自己同型を用いて頂点代数に適用した被覆代数手続きにより、包含関係 $IV_{A_2} < IV(G_2) < IV_{D_4}$ が得られ、特異的自己同型群の構成が可能になる。
• 特性3におけるタイプ $A_2$ の簡約頂点代数の自己同型群は $G_2(F)$ に同型であり、リー代数と類似した特異的振る舞いが確認される。
• $^gV = (V^\natural[1/2])^g / \nu(V^\natural[1/2])$ の構成により、$C(g)/\langle g \rangle \cong F_3$ のモジュールが得られ、この構造が $F_3$ が $E_8(3)$ に埋め込まれる根拠となっている。
• 本稿は、頂点代数の被覆技術とモノスター群における $3C$ 要素の中心化群としての $F_3$ の実現を用いて、$F_3$ が $E_8(3)$ に埋め込まれることを証明することで、モジュラー・ムーンシャイン計画を完了させた。