[論文レビュー] Vertex operator algebras and associative algebras

Chongying Dong, Haisheng Li+1 more|ArXiv.org|Dec 5, 1996

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

ひとこと要約

本論文は、頂点作用素代数 $V$ に関連する系列 $A_n(V)$ の結合代数を導入し、可適 $V$-加群と $A_{n-1}(V)$-加群ではない $A_n(V)$-加群との間でカテゴリカル同値を確立する。主な結果は、$V$ が有理的であることと、すべての $A_n(V)$ が有限次元半単純代数であることの同値性を示しており、頂点作用素代数の表現論と結合代数の構造の間の橋渡しを提供する。

ABSTRACT

Let V be a vertex operator algebra. We construct a sequence of associative algebras A_n(V) (n=0,1,2,...) such that A_{n}(V) is a quotient of A_{n+1}(V) and a pair of functors between the category of A_n(V)-modules which are not A_{n-1}(V)-modules and the category of admissible V-modules. These functors exhibit a bijection between the simple modules in each category. We also show that V is rational if and only if all A_n(V) are finite-dimensional semisimple algebras.

研究の動機と目的

• 頂点作用素代数の表現論と結合代数との間の体系的関係を確立すること。
• 代数的構造を用いて、頂点作用素代数における可適加群の分類を扱うこと。
• 有限次元半単純結合代数の観点から、頂点作用素代数の有理的性の基準を提供すること。
• $A_n(V)$-加群の単純加群と可適 $V$-加群の間の双対性を誘導する関手の構成。

提案手法

• 頂点作用素代数 $V$ の構造から導かれる、互いに商として得られる系列の結合代数 $A_n(V)$ を定義する。
• $A_{n-1}(V)$ から引き上げられていない $A_n(V)$-加群の圏と可適 $V$-加群の圏との間で、一対の関手を構成する。
• $V$ の次数と交換関係を用いて $A_n(V)$ の乗法を定義し、頂点作用素代数の公理と整合性を保証する。
• 関手が準逆であること、すなわち指定された加群の圏の間でカテゴリの同値が成立することを示す。
• $G_n$-部分代数と $n$-番目の Zhu 代数の構成を用いて $A_n(V)$ の構造を分析する。
• カテゴリの同値性と合成系列の有限性を用いて、$V$ が有理的であることと、すべての $A_n(V)$ が有限次元かつ半単純であることの同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 頂点作用素代数の表現論をどのようにして結合代数と体系的に関連付けることができるか？
• RQ2 頂点作用素代数における $n$-番目の Zhu 代数の構成から、どのような代数的構造が生じるか？
• RQ3 $A_n(V)$-加群の圏が、いつ可適 $V$-加群を分類するか？
• RQ4 頂点作用素代数の有理的性を、その関連する結合代数を用いて完全に代数的に特徴づけられるか？
• RQ5 $A_n(V)$ の半単純性と有限次元性と $V$ の有理的性との正確な関係は何か？

主な発見

• 構成により、$A_n(V)$ は $A_{n+1}(V)$ の商である系列の結合代数が得られ、ネスト構造を形成する。
• 一対の関手により、$A_{n-1}(V)$ から引き上げられていない $A_n(V)$-加群の単純加群と、単純可適 $V$-加群との間で双対性が確立される。
• 関手は互いに準逆であり、指定された加群の圏の間でカテゴリの同値を誘導する。
• 頂点作用素代数 $V$ が有理的であることと、すべての $A_n(V)$ が有限次元かつ半単純な結合代数であることの同値性が成り立つ。
• この結果により、$V$ の有理的性に対する完全な代数的基準が得られ、表現論と有限次元結合代数構造の間の橋渡しとなる。
• 元のバージョンにおける誤りを是正し、代数的構成とカテゴリの同値性の有効性を確認した。