[論文レビュー] Vertex operator algebras associated to modular invariant representations for $A_1 ^{(1)}$

Dražen Adamović, Antun Milas|ArXiv.org|Sep 22, 1995

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

ひとこと要約

この論文は、アフィンリー代数 $A_1^{(1)}$ の許容的レベル表現に関連する頂点 operator 代数 L(k,0) を構成し、分類する。L(k,0) の有理的性をカテゴリカル $ olinebreak[4]\mathcal{O}$ で証明し、すべての不可約重み加群を特定する。主な貢献は、これらの VOAs の許容的有理的レベルにおける重み加群カテゴリ内での不可約表現の完全な分類である。

ABSTRACT

We investigate vertex operator algebras $L(k,0)$ associated with modular-invariant representations for an affine Lie algebra $A_1 ^{(1)}$ , where k is 'admissible' rational number. We show that VOA $L(k,0)$ is rational in the category $\cal O$ and find all irreducible representations in the category of weight modules.

研究の動機と目的

• モジュラー不変表現を伴うアフィンリー代数 $A_1^{(1)}$ に関連する頂点 operator 代数 L(k,0) を研究すること。
• k が許容的有理数である場合のこれらの VOAs の構造を分析すること。
• 重み加群カテゴリ内での不可約表現の完全な集合を特定すること。
• 許容的 k に対して L(k,0) がカテゴリ $ olinebreak[4]\mathcal{O}$ で有理的であることを確立すること。
• これらの VOAs の重み加群カテゴリにおける不可約モジュールの完全な分類を提供すること。

提案手法

• 著者たちは、$A_1^{(1)}$ の許容的表現に焦点を当てたアフィンリー代数の表現論を用いる。
• 彼らは、許容的レベル k におけるヴェルマ加群の不可約商として頂点 operator 代数 L(k,0) を構成する。
• 最高重み加群理論を活用して、カテゴリ $ olinebreak[4]\mathcal{O}$ 内で分析を行う。
• アフィンカク＝ムーディ代数上のモジュールの構造論を用いて、不可約重み加群の分類を達成する。
• 不可約モジュールの有限性と重み加群カテゴリの半単純性に依拠して、有理的性の証明を行う。
• モジュラー不変性を、許容的レベルを制約する一貫性条件として用いる。

実験結果

リサーチクエスチョン

• RQ1 どの $A_1^{(1)}$ の許容的有理的レベルにおける不可約表現が、well-defined な頂点 operator 代数 L(k,0) を生じるか？
• RQ2 許容的 k における L(k,0) の重み加群カテゴリを完全に分類するにはどうすればよいか？
• RQ3 L(k,0) がカテゴリ $ olinebreak[4]\mathcal{O}$ で有理的であることを保証する条件は何か？
• RQ4 モジュラー不変性は、$A_1^{(1)}$ の許容的レベル k をどのように制約するか？
• RQ5 これらの VOAs の重み加群カテゴリにおける不可約モジュールの構造は何か？

主な発見

• すべての許容的有理的レベル k に対して、頂点 operator 代数 L(k,0) はカテゴリ $ olinebreak[4]\mathcal{O}$ で有理的である。
• L(k,0) のすべての不可約表現は分類され、重み加群カテゴリに属している。
• 各許容的 k に対して、不可約モジュールの分類は完全かつ有限である。
• 許容的有理的レベルにおける VOAs L(k,0) は、その特徴関数においてモジュラー不変性を示す。
• 重み加群カテゴリの構造は半単純であり、有限個の不可約対象を持つ。
• これらの結果により、許容的レベルにおける L(k,0) の表現論の完全なフレームワークが確立された。