[論文レビュー] Mirror extensions of rational vertex operator algebras

Xingjun Lin|arXiv (Cornell University)|Nov 25, 2014

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

ひとこと要約

この論文は、有理的頂点作用素代数の鏡拡張予想を、頂点作用素代数とその交換子のモジュールカテゴリの間のブレード反転同値を確立することによって証明する。テンソルカテゴリ理論と有理的、$C_2$-余代数的VOAのモジュール分解の構造を用いて、$V^e$ が $V$ の頂点作用素代数拡張であるならば、その鏡双対 $(V^c)^e$ は $V^c$ の頂点作用素代数拡張であることを示し、レベルランク双対性を一般化する。

ABSTRACT

In this paper, mirror extensions of vertex operator algebras is considered via tensor categories. The mirror extension conjecture is proved.

研究の動機と目的

• 有理的頂点作用素代数の鏡拡張予想を証明すること。この予想は、$V^e$ が $V$ の頂点作用素代数拡張であるならば、その交換子 $V^c$ は対応する鏡拡張 $(V^c)^e$ を持つと述べるものである。
• モジュールカテゴリ $V$ とその交換子 $V^c$ の間のブレード反転同値関係を確立することにより、アフィンリー代数表現におけるレベルランク双対性を一般化すること。
• $U$ が $V \otimes V^c$-モジュールとして分解することにより、テンソル積と双対性についての閉包性が保証され、鏡拡張の構成が可能になること。
• $V^e$ が単純であるとき、$(V^c)^e$ が $V^e$ から単純性を継承することを示し、構成が重要な代数的性質を保つこと。

提案手法

• 有理的、$C_2$-余代数的頂点作用素代数のモジュールカテゴリとブレード付きテンソルカテゴリの理論を活用し、$U$ が $V \otimes V^c$-モジュールとしての構造を分析する。
• $V$-モジュールの集合 $\{V, M^i\}$ と $V^c$-モジュールの集合 $\{V^c, N^i\}$ が、それぞれのモジュールカテゴリ内でテンソル積について閉じたブレード付きモノイダル部分カテゴリ ${\mathcal{C}}_V^0$ および ${\mathcal{C}}_{V^c}^0$ を形成することを証明する。
• $\mathcal{T}(M^i) = (N^i)'$ を満たす ${\mathcal{C}}_V^0$ と ${\mathcal{C}}_{V^c}^0$ 間のブレード反転同値 $\mathcal{T}$ を構成する。
• [HKL] の結果を用いて、${\mathcal{C}}_{V^c}^0$ 内の代数的データから $U^c$ が頂点作用素代数構造を継承することを示す。
• $U^c$ の conformal weight の整数性を用いて、逆ブレード条件 $\mu \circ C^{-1}_{U^c,U^c} = \mu$ が乗法の可換性を示し、頂点作用素代数構造の構成を可能にする。
• 定理 3.4 の[ H K L ]の対偶的推論を用い、理想の持ち上げを通じて背理法により、$V^e$ が単純であるとき $(V^c)^e$ も単純であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 鏡拡張予想は成り立つか：$V^e$ が $V$ の頂点作用素代数拡張であるならば、$(V^c)^e$ は $V^c$ の頂点作用素代数拡張か？
• RQ2 $U$ の分解によって誘導されるブレード反転同値によって、$V$ のモジュールカテゴリとその交換子 $V^c$ のモジュールカテゴリは関係づけられるか？
• RQ3 $V^e$ に頂点作用素代数構造が存在するとき、$(V^c)^e$ に対しても同じ構造が存在する条件は何か？
• RQ4 $V^e$ の単純性とその鏡双対 $(V^c)^e$ の単純性の関係は何か？
• RQ5 アフィンリー代数表現におけるレベルランク双対性は、この鏡拡張構成の特別な場合か？

主な発見

• 鏡拡張予想が証明された：$V^e$ が $V$ の頂点作用素代数拡張であるならば、$(V^c)^e$ は $V^c$ の頂点作用素代数構造を有する拡張として実現可能である。
• $U = V \otimes V^c \oplus \bigoplus_{i=1}^n M^i \otimes N^i$ の分解により、集合 $\{V, M^i\}$ と $\{V^c, N^i\}$ がそれぞれのモジュールカテゴリ内でテンソル積について閉じていることが示される。
• ブレード反転同値 $\mathcal{T}: \mathcal{C}_V^0 \to \mathcal{C}_{V^c}^0$ が構成され、$\mathcal{T}(M^i) = (N^i)'$ を満たすことで、モジュールカテゴリ間の双対性が確立される。
• $(V^c)^e$ に頂点作用素代数構造が、${\mathcal{C}}_{V^c}^0$ 内の可換代数を用いて、$U^c$ との同値性とブレード性質を介して構成される。
• $V^e$ が単純であるならば、$(V^c)^e$ も単純である。なぜなら、$(V^c)^e$ に非自明なイデアルが存在すれば、$V^e$ に対しても非自明なイデアルが誘導され、単純性に反するからである。
• この結果はレベルランク双対性を一般化する：$V = L_{\widehat{sl}_m}(n,0)$ かつ $V^c = L_{\widehat{sl}_n}(m,0)$ のとき、鏡拡張は既知の整形式最高重層表現間の双対性を回復する。