[論文レビュー] On q analog of McKay correspondence and ADE classification of affine sl(2) conformal field theories

Alexander Kirillov, Viktor Ostrik|arXiv (Cornell University)|Jan 26, 2001

Algebraic structures and combinatorial models参考文献 18被引用数 53

ひとこと要約

本稿は、q = e^{πi/l} における量子群 U_q sl(2) の有限部分群について、カテゴリー的定義を提示し、古典的な McKay 対応を一般化する。この研究では、Coxeter数 l を持つ A_n、D_{2n}、E_6、E_8 型の Dynkin 図を用いて、このような部分群を分類し、レベル k = l-2 のアフィン sl(2) における conformal field theory の modular 不変量と結びつける。

ABSTRACT

The goal of this paper is to classify ``finite subgroups in U_q sl(2)'' where $q=e^{\pi\i/l}$ is a root of unity. We propose a definition of such a subgroup in terms of the category of representations of U_q sl(2); we show that this definition is a natural generalization of the notion of a subgroup in a reductive group, and that it is also related with extensions of the chiral (vertex operator) algebra corresponding to sl^(2) at level k=l-2. We show that ``finite subgroups in U_q sl(2)'' are classified by Dynkin diagrams of types A_n, D_{2n}, E_6, E_8 with Coxeter number equal to $l$, give a description of this correspondence similar to the classical McKay correspondence, and discuss relation with modular invariants in (sl(2))_k conformal field theory.

研究の動機と目的

• U_q sl(2) の根の単位根レベル q = e^{πi/l} における有限部分群を、表現のカテゴリーを用いて定義すること。
• 古典的な McKay 対応を量子群の設定に一般化すること。
• これらの部分群が、レベル k = l-2 における sl^(2) の chiral algebra の拡張とどのように関係するかを明らかにすること。
• Coxeter数が l に等しい Dynkin 図を用いて、このような部分群を分類すること。
• 分類が (sl(2))_k conformal field theory における modular 不変量とどのように関連するかを明らかにすること。

提案手法

• 再結合的群における部分群関係の一般化として、表現のテンソルカテゴリーを用いて U_q sl(2) における有限部分群を定義する。
• U_q sl(2) の表現カテゴリーを用いて、群に類似した振る舞いを示す部分対象の同値類を定義する。
• 畳み込み則と表現グラフの解析を通じて、このような部分群と Dynkin 図との対応を確立する。
• Coxeter 数が q = e^{πi/l} のパラメータ l に等しいという事実を活用する。
• modular S 行列と表現論を用いて、(sl(2))_k conformal field theory における modular 不変量と分類を結びつける。
• 根の単位根における量子群の構造を用いて、分類の有限性と整数性を保証する。

実験結果

リサーチクエスチョン

• RQ1 再結合的群における部分群の古典的定義を一般化する形で、q = e^{πi/l} における U_q sl(2) の有限部分群をどのように定義できるか？
• RQ2 このような量子部分群と A_n、D_{2n}、E_6、E_8 型の Dynkin 図との間の正確な対応関係は何か？
• RQ3 この分類は、レベル k = l-2 における sl^(2) の chiral algebra の拡張とどのように関係するか？
• RQ4 この量子 McKay 対応は、(sl(2))_k conformal field theory の modular 不変量をどのように再現または一般化するか？
• RQ5 Coxeter 数 l は、これらの量子部分群の分類において果たす役割は何か？

主な発見

• q = e^{πi/l} における U_q sl(2) の有限部分群は、Coxeter 数が l に等しい A_n、D_{2n}、E_6、E_8 型の Dynkin 図によって分類される。
• 量子部分群と Dynkin 図との対応は、古典的な McKay 対応に類似しているが、表現カテゴリーの観点から定式化されている。
• この分類は、レベル k = l - 2 における (sl(2))_k conformal field theory の modular 不変量の構造と深く関係している。
• 量子部分群の定義は、テンソルカテゴリーのカテゴリカルな枠組みに整合しており、群-部分群の包含関係を一般化している。
• Dynkin 図の Coxeter 数は、根の単位根 q = e^{πi/l} のパラメータ l に正確に一致する。
• この構成は、量子群表現論、conformal field theory、および ADE 分類の間の自然な橋渡しを提供する。