[论文解读] Characters of coinvariants in (1,p) logarithmic models

Boris Feigin, I. Yu. Tipunin|ArXiv.org|May 27, 2008

Advanced Combinatorial Mathematics参考文献 14被引用 4

一句话总结

本文基于具有 $SL(2)$ 对称性的非半单对数共形场论模型 $(1,p)$ 的代数 $ackslash mathcal extasciibreve extasciibreve(p)$（即 Virasoro 代数的 'Galois 扩张'），推导出该模型中余不变量的费米子型特征标公式。通过诱导模和阿贝尔化技术，计算了编码投影模融合重数的余不变量特征标，利用 $q$-二项式系数的 $q$-模拟，给出了完整的有限化特征标描述。

ABSTRACT

We investigate induced modules of doublet algebra in (1,p) logarithmic models. We give fermionic formulas for the characters of induced modules and coinvariants with respect to different subalgebras calculated in the irreducible modules. The characters of coinvariants give multiplicities of projective modules in fusion of induced modules.

研究动机与目标

• 研究 $ackslash mathcal extasciibreve extasciibreve(p)$ 代数中的诱导模与余不变量，该代数是中心荷为 $c = 13 - 6p - 6/p$ 的 Virasoro 代数的非半单对数扩张。
• 推导诱导模余不变量的费米子型特征标公式，这些公式编码了表示范畴中投影模的融合重数。
• 建立 $ackslash mathcal extasciibreve extasciibreve(p)$ 代数的表示理论与量子群范畴之间的联系，通过诱导模的自同态代数实现。
• 提出通过诱导模的投影极限，从张量范畴结构重建完整的左右对称共形场论。

提出的方法

• 从子代数 $ackslash mathcal extasciibreve extasciibreve(p)[\mathbf extasciibreve]^+$ 的平凡表示构造诱导模 $\mathscr extasciibreve extasciibreve_{\mathbf extasciibreve}$，该子代数由具有指定共形维数的电流负模式生成。
• 应用阿贝尔化技术，通过 $q$-二项式系数的 $q$-模拟计算余不变量的特征标，从而导出费米子型公式。
• 使用算子 $D = L_0 - d$ 定义诱导模上的分次结构，通过权空间分解实现特征标计算。
• 利用弗罗贝尼乌斯对偶性，将余不变量与张量范畴中的 Hom-空间联系起来，从而实现融合积的递归构造。
• 推导出不同 $s$ 和 $\mathbf extasciibreve$ 下的显式特征标公式 $\hat extasciibreve^{(p)}_{s,\mathbf extasciibreve}(q,z)$，其中涉及 $q$-二项式系数与 $q$-整数。
• 将正则双模 $\mathbb extasciibreve$ 构造为诱导模 $\mathscr extasciibreve_{\mathbf extasciibreve}$ 的投影极限，其编码了完整的左右对称共形场论结构。

实验结果

研究问题

• RQ1 如何为 $ackslash mathcal extasciibreve extasciibreve(p)$ 代数中诱导模的余不变量推导出费米子型特征标公式？
• RQ2 自同态代数 $\mathrm extasciibreve(\mathscr extasciibreve_{\mathbf extasciibreve})$ 的结构是什么？它与量子群范畴有何关系？
• RQ3 余不变量的特征标如何编码 $(1,p)$ 对数模型中投影模的融合重数？
• RQ4 能否通过诱导模的投影极限，从 $ackslash mathcal extasciibreve extasciibreve(p)$-模的张量范畴重建完整的左右对称共形场论？
• RQ5 在张量积的重数空间中，$L_0$-作用扮演何种角色？它如何对张量范畴数据进行细化？

主要发现

• 通过 $q$-二项式系数的 $q$-模拟，推导出余不变量的费米子型特征标公式，显式表达式为 $\hat extasciibreve^{(p)}_{s,\mathbf extasciibreve}(q,z)$，其中 $s < p$ 且 $s = p$。
• 当 $s < p$ 时，特征标 $\hat extasciibreve^{(p)}_{s,\mathbf extasciibreve}(q,z)$ 表示为关于 $j$ 的求和，包含 $q$-二项式系数与 $q$-整数，反映了重数结构。
• 当 $s = p$ 时，特征标 $\hat extasciibreve^{(p)}_{p,\mathbf extasciibreve}(q,z)$ 表示为关于 $j$ 的求和，包含 $\mathbf extasciibreve - \mathbf extasciibreve_p$ 的 $q$-二项式系数，编码了投影范畴中的融合规则。
• 余不变量的特征标直接给出了诱导模融合中投影模的重数，为不可约 $W$-模特征标提供了完整的有限化描述。
• 正则双模 $\mathbb extasciibreve$（作为 $ackslash mathcal extasciibreve extasciibreve(p)$-模范畴中恒等函子的表示）被构造为诱导模 $\mathscr extasciibreve_{\mathbf extasciibreve}$ 的投影极限，其特征标由公式 (5.81) 描述。
• 识别出 $L_0$ 在重数空间上的作用是张量范畴之外的附加数据，对从范畴数据重建共形场论至关重要。