[论文解读] 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$ 关联的紧致费米子顶点算子代数 $K(\mathfrak{g},k)$ 的所有不可约模进行了分类，利用公式 $\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$（其中 $q = e^{\pi i/(k+h^\vee)}$）计算了其量子维数，并通过量子维数保持性和仿射模的分解确定了融合规则。关键结果为：$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.

研究动机与目标

• 对任意有限维单李代数 $\mathfrak{g}$ 和正整数 $k$ 关联的紧致费米子顶点算子代数 $K(\mathfrak{g},k)$ 的所有不可约模进行分类。
• 利用涉及权重的 $q$-变形内积的公式，计算这些不可约模的量子维数。
• 通过利用有理的、$C_2$-有限 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}$ 的量子维数等同于对应 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 模的量子维数，利用公式 $\prod_{\alpha>0}\frac{(\Lambda+\rho,\alpha)_{q}}{(\rho,\alpha)_{q}}$（其中 $q = e^{\pi i/(k+h^\vee)}$）来计算其量子维数。
• 通过证明融合积 $M^{\Lambda^1,\Lambda^1+\beta_i} \boxtimes M^{\Lambda^2,\Lambda^2+\beta_j}$ 的量子维数与 $M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j}$ 的量子维数之和相等（权重为仿射 VOA 中的融合系数 $N^{\Lambda^3}_{\Lambda^1,\Lambda^2}$），推导出融合规则。
• 利用 $M^{\Lambda,\Lambda+\beta_i}$ 与 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 分解中模的对应关系，证明非同构不可约模的集合大小为 $\frac{|P^k_+||Q/kQ_L|}{|P/Q|}$，从而确认分类的完备性。
• 证明依赖于融合积的量子维数等于各独立模量子维数的乘积，且 $K(\mathfrak{g},k)$-模的融合积同构于具有仿射融合规则系数的 $K(\mathfrak{g},k)$-模的直和。

实验结果

研究问题

• RQ1 对于任意有限维单李代数 $\mathfrak{g}$ 和正整数 $k$，紧致费米子顶点算子代数 $K(\mathfrak{g},k)$ 的不可约模的完整分类是什么？
• RQ2 每个不可约 $K(\mathfrak{g},k)$-模 $M^{\Lambda,\Lambda+\beta_i}$ 的量子维数的显式公式是什么？
• RQ3 如何用仿射顶点算子代数 $L_{\widehat{\mathfrak{g}}}(k,0)$ 的融合规则来确定 $K(\mathfrak{g},k)$-模的融合规则？
• 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}$ 的精确结构是什么？它与仿射融合规则有何关系？

主要发现

• 对 $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}$ 两两非同构，确保融合规则在求和结构下为无重数形式。
• 融合积 $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} \cdot \text{dim}_q(M^{\Lambda^3,\Lambda^1+\Lambda^2+\beta_i+\beta_j})$，从而验证了融合规则公式的正确性。
• 通过在海森伯代数作用下将 $M^{\Lambda,\Lambda+\beta_i}$ 与 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 分解中的模对应，确保了分类的完备性，且未遗漏任何同构关系。