[论文解读] A note on the logarithmic (p,p') fusion

AM Semikhatov|ArXiv.org|Oct 26, 2007

Algebraic structures and combinatorial models参考文献 22被引用 9

一句话总结

该论文通过利用扩展代数特征标的模形式变换，将Verlinde型融合过程从有理型推广到对数型$(p,p')$共形场论，推导出一个非半单融合代数。所得的融合规则与相应量子群的格罗滕迪克环精确一致，为这些模型中的量子群对偶性提供了强有力证据。

ABSTRACT

The procedure in [Fuchs et al.] to obtain a fusion algebra from the modular transformation of characters in logarithmic conformal field models is extended to the (p,p') logarithmic models. The resulting fusion algebra coincides with the Grothendieck ring of the quantum group of the (p,p') model.

研究动机与目标

• 将Fuchs等人基于特征标的融合方法推广至对数型$(p,p')$共形场论。
• 解决在对数型CFT中非半单融合代数带来的挑战，此时标准Verlinde公式失效。
• 利用模$S$-矩阵数据，为扩展的$\mathscr{W}_{p,p'}$代数建立一致的融合代数。
• 验证所推导的融合代数与关联量子群$\mathfrak{g}$的格罗滕迪克环一致，支持Kazhdan–Lusztig对偶性。

提出的方法

• 利用$\mathscr{W}_{p,p'}$代数特征标的模$S$-矩阵变换定义融合代数。
• 应用Fuchs等人及[9]中的方法，通过$\mathsf{P} = \mathsf{S}\mathsf{K}$特征矩阵构造，将模数据转换为融合规则。
• 在$2pp'$个元素上定义融合生成元$\mathscr{K}^{\pm}_{r,r'}$，其显式结构常数见公式(1.1)。
• 引入扭生成元$\widetilde{\mathscr{K}}^{\alpha}_{r,r'}$（当$r > p$或$r' > p'$时），以编码非半单结构。
• 将融合代数表示为$\mathbb{C}[x,y]$关于理想（含切比雪夫多项式$U_{2p+1}(x) - U_{2p-1}(x) - 2$及其关于$y$的类似形式）的商环。
• 通过计算$(p=5,p'=2)$情形下的$\mathsf{P}$矩阵，验证融合规则的一致性。

实验结果

研究问题

• RQ1 Verlinde型融合过程能否在非半单对数型$(p,p')$共形场论中一致地推广？
• RQ2 由$\mathscr{W}_{p,p'}$特征标模形式变换推导出的融合代数是否与相应量子群的格罗滕迪克环一致？
• RQ3 扩展代数的模$S$-矩阵与$T$-矩阵数据在对数型情形下如何编码融合规则？
• RQ4 $(p,p')$模型的融合环代数结构在$(p,1)$情形之外是怎样的？
• RQ5 量子群的格罗滕迪克环是否是$\mathscr{W}_{p,p'}$-表示融合的合理候选？

主要发现

• 由$\mathscr{W}_{p,p'}$特征标模形式变换推导出的融合代数，与$(p,p')$模型对应的量子群$\mathfrak{g}$的格罗滕迪克环同构。
• 在$(p=5,p'=2)$情形下，显式计算了融合矩阵$\mathsf{P} = \mathsf{S}\mathsf{K}$，并确认了公式(1.1)的代数结构。
• 融合规则由两个元素$\mathscr{K}^{+}_{1,2}$与$\mathscr{K}^{+}_{2,1}$生成，且该代数同构于$\mathbb{C}[x,y]$模由以下理想生成的商环：$U_{2p+1}(x) - U_{2p-1}(x) - 2$，$U_{2p'+1}(y) - U_{2p'-1}(y) - 2$，以及$U_{p+1}(x) - U_{p-1}(x) - U_{p'+1}(y) + U_{p'-1}(y)$。
• 融合代数的单位元为$\mathscr{K}^{+}_{1,1}$，且该代数满足结合律与交换律。
• 该方法成功地将基于特征标的融合方法推广至完整的$(p,p')$对数型模型，与量子群对偶性一致。
• 结果支持了如下猜想：量子群的格罗滕迪克环为$\mathscr{W}_{p,p'}$-表示提供了正确的融合规则。