[论文解读] Kazhdan--Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT

BL Feigin, AM Gainutdinov+2 more|ArXiv.org|Dec 28, 2005

Algebraic structures and combinatorial models参考文献 18被引用 10

一句话总结

该论文在对数共形场论中的三元组 $Χ(p)$-代数的表示范畴与受限量子群 $υ_{ρ}ρρ(2)$ 在 $ρ = e^{i\pi/p}$ 处的有限维表示范畴之间建立了 Kazhdan–Lusztig 对应关系。对于 $p=2$，通过双模构造显式证明了等价性，将所有不可约表示分类为投射表示和克罗内克图表示，并通过通用 $R$-矩阵完全识别了中心与辫子结构。

ABSTRACT

To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{iπ}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation categories is conjectured for all $p\ge 2$ and proved for p=2, the implications including the identifications of the quantum-group center with the logarithmic conformal field theory center and of the universal R-matrix with the braiding matrix.

研究动机与目标

• 在对数共形场论中，建立三元组 $Χ(p)$-代数的非半单表示范畴与受限量子群 $υ_{ρ}ρρ(2)$ 的表示范畴之间的范畴等价关系。
• 对 $\u03c1 = e^{i\pi/p}$ 处有限维 $υ_{ρ}ρρ(2)$-模范畴 $\mathscr{C}_p$ 中的所有不可约表示进行分类。
• 显式证明该等价关系在 $p=2$ 时成立，使用双模构造连接两个范畴。
• 将共形场论数据（尤其是中心与辫子）与量子群数据（如通用 $R$-矩阵和量子群中心）进行识别。

提出的方法

• 构造一个在 $\boldsymbol{\mathcal{W}}(2)$ 和 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$ 上均为投射模的双模，从而诱导出两个表示范畴之间的等价关系。
• 利用玻色化技术将 $\boldsymbol{\mathcal{W}}(2)$-代数与辛几何费米子联系起来，从而实现双模结构的显式构造。
• 通过将范畴 $\mathscr{C}_p$ 分解为投射模与克罗内克图相关表示，对所有不可约 $\overline{\mathscr{U}}_{\mathfrak{q}}\mathfrak{sl}(2)$-模进行分类。
• 利用对克罗内克图 $\boldsymbol{\mathrm{K}}$ 的不可约表示的已知分类，区分实根（由 $n \in \mathbb{Z}_{\geq 1}$ 标记）与虚根（由 $n \in \mathbb{Z}_{\geq 1}, z \in \mathbb{C}\mathbb{P}^1$ 标记）。
• 通过通用 $R$-矩阵与环面上的共形块，将 $Χ(p)$-范畴的中心与量子群范畴的中心进行识别。
• 利用 Ext-代数 $\mathrm{Ext}^\bullet$ 重构范畴结构，并在融合法则与表示理论层面验证等价性。

实验结果

研究问题

• RQ1 三元组 $Χ(p)$-代数的表示范畴是否与受限量子群 $υ_{ρ}ρρ(2)$ 在 $ρ = e^{i\pi/p}$ 处的表示范畴范畴等价？
• RQ2 能否完全分类 $υ_{ρ}ρρ(2)$ 的不可约表示？它们与图表示有何关系？
• RQ3 Kazhdan–Lusztig 对应关系是否在对数 CFT 中扩展为范畴等价，特别是在 $p=2$ 时？
• RQ4 如何关联 $Χ(p)$-与 $υ_{ρ}ρρ(2)$-范畴的中心？这是否可与通用 $R$-矩阵对应？

主要发现

• 对于 $p=2$，$Χ(2)$ 与 $υ_{ρ}ρρ(2)$ 的表示范畴通过双模构造实现等价，从而显式证明了 Kazhdan–Lusztig 对应关系作为范畴等价。
• 所有 $\mathscr{C}_p$ 中的不可约表示均被分类：包括投射模与三个源自克罗内克图的系列，其中两个系列由 $n \in \mathbb{Z}_{\geq 1}$ 与 $z \in \mathbb{C}\mathbb{P}^1$ 标记，另一个系列由 $n \in \mathbb{Z}_{\geq 2}$ 标记。
• $Χ(p)$-范畴的中心被识别为与量子群范畴的中心一致，且通用 $R$-矩阵对应于共形场论中的辫子矩阵。
• $Χ(p)$-表示的融合环与 $υ_{ρ}ρρ(2)$ 的融合环一致，从而在格罗滕迪克环层面上确认了等价性。
• $υ_{ρ}ρρ(2)$-模的分类已完全实现：不可约表示要么是投射模，要么对应于实根 $\alpha = (n+1,n)$ 或 $\alpha = (n,n+1)$，或对应于虚根 $\delta = (1,1)$，后者由 $\mathbb{C}\mathbb{P}^1$ 参数化。
• 该等价性使得表示论数据可直接转移：研究 $Χ(p)$-模等价于研究有限维 $υ_{ρ}ρρ(2)$-模，后者可通过图论方法更易处理。