[論文レビュー] The irreducible modules and fusion rules for the parafermion vertex operator algebras

Chunrui Ai, Chongying Dong+2 more|arXiv (Cornell University)|Dec 28, 2014

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

ひとこと要約

この論文は、任意の有限次元単純リー代数 $\mathfrak{g}$ および正の整数 $k$ に関連するパラフェルミオン頂点 operator algebra $K(\mathfrak{g},k)$ のすべての既約モジュールを分類し、$q = e^{\pi i/(k+h^\vee)}$ の下で $\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$ の公式を用いてそれらの量子次元を計算し、アフィンモジュールの分解と量子次元の保存を用いて融合則を特定する。主な結果は、$M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ の融合則が $\sum_{\Lambda^3 \in P^k_+} N^\Lambda^3_{\Lambda^1,\Lambda^2} M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ に等しいことである。ここで $N^\Lambda^3_{\Lambda^1,\Lambda^2}$ はアフィン代数 $L_{\widehat{\mathfrak{g}}}(k,0)$ の融合則を表す。

ABSTRACT

The irreducible modules for the parafermion vertex operator algebra associated to any finite dimensional Lie algebra and any positive integer are identified, the quantum dimensions are computed and the fusion rules are determined.

研究の動機と目的

• パラフェルミオン頂点 operator algebra $K(\mathfrak{g},k)$ のすべての既約モジュールを、任意の有限次元単純リー代数 $\mathfrak{g}$ および正の整数 $k$ に対して分類すること。
• 量子次元の公式を用いて、これらの既約モジュールの量子次元を計算すること。ここで、$q$-変形内積を含む。
• 有理的かつ $C_2$-cofinite VOA のテンソルカテゴリ構造とアフィン VOA $L_{\widehat{\mathfrak{g}}}(k,0)$ との関係を活用して、$K(\mathfrak{g},k)$-モジュールの融合則を特定すること。

提案手法

• 既約 $K(\mathfrak{g},k)$-モジュールは、アフィン VOA 上のレベル $k$ の整型最高重層モジュール $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ の分解における成分 $M^{\Lambda,\Lambda+\beta_i}$ として特定される。
• $M^{\Lambda,\Lambda+\beta_i}$ の量子次元は、$q = e^{\pi i/(k+h^\vee)}$ の下で $\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$ の公式を用いて、対応する $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ モジュールの量子次元に等しいと計算される。
• 融合則は、$M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ の融合積の量子次元が、アフィン VOA の融合係数 $N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$ を重みとして $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ の量子次元の和に一致することを示すことによって導出される。
• $L_{\mathfrak{g}}(k,\Lambda)$ の分解からの $M^{\Lambda,\Lambda+\beta_i}$ の特定を用いて、同型でない既約モジュールの集合のサイズが $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$ に等しいことが示され、分類の完全性が確認される。
• 証明は、融合積の量子次元が個々の量子次元の積に等しく、$K(\mathfrak{g},k)$-モジュールの融合積が、アフィン融合係数によって与えられる係数をもつ $K(\mathfrak{g},k)$-モジュールの直和に同型であるという事実に依存している。

実験結果

リサーチクエスチョン

• RQ1 任意の有限次元単純リー代数 $\mathfrak{g}$ および正の整数 $k$ に対して、パラフェルミオン頂点 operator algebra $K(\mathfrak{g},k)$ の既約モジュールの完全な分類は何か？
• RQ2 各既約 $K(\mathfrak{g},k)$-モジュール $M^{\Lambda,\Lambda+\beta_i}$ の量子次元の明示的公式は何か？
• RQ3 $K(\mathfrak{g},k)$-モジュールの融合則は、アフィン頂点 operator algebra $L_{\widehat{\mathfrak{g}}}(k,0)$ の融合則をどのように表現できるか？
• RQ4 同型でない既約 $K(\mathfrak{g},k)$-モジュールの数が正確に $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$ であるのはなぜか？
• RQ5 融合積 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ の正確な構造は何か？ そして、アフィン融合則とはどのように関係しているか？

主な発見

• パラフェルミオン VOA $K(\mathfrak{g},k)$ の既約モジュールは、すべて $M^{\Lambda,\Lambda+\beta_i}$ として完全に分類され、ここで $\Lambda$ はレベル $k$ のドミナント整型重みの集合 $P^k_+$ を走り、$i$ は $Q/kQ_L$ のコセットをインデックスする。同型でないモジュールはちょうど $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$ 個存在する。
• $K(\mathfrak{g},k)$-モジュール $M^{\Lambda,\Lambda+\beta_i}$ の量子次元は、$\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$ で与えられ、ここで $q = e^{\pi i/(k+h^\vee)}$ であり、$h^\vee$ は $\mathfrak{g}$ の双対コックスター数である。
• $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ の融合則は $\sum_{\Lambda^3 \in P^k_+} N^{\Lambda^3}_{\Lambda^1,\Lambda^2} M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ に等しく、ここで $N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$ はアフィン VOA $L_{\widehat{\mathfrak{g}}}(k,0)$ の融合係数を表す。
• $N^{\Lambda^3}_{\Lambda^1,\Lambda^2} \neq 0$ である $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ モジュールは互いに同型でないため、和の構造において重複度が 1 である融合則が保証される。
• 融合積 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ の量子次元は、$N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$ を重みとして $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ の成分の量子次元の和に等しく、融合則の公式の正しさが裏付けられる。
• $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ の分解からの $M^{\Lambda,\Lambda+\beta_i}$ の特定が、ヘイゼンベルク代数の作用を介して行われることにより、分類が完全であり、同型が見逃されないことが保証される。