[论文解读] Characterizing braided tensor categories associated to logarithmic vertex operator algebras

Thomas Creutzig, Simon Lentner+1 more|arXiv (Cornell University)|Apr 27, 2021

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

一句话总结

该论文通过从格点顶代数表示的半单范畴到对数三元组顶代数 𝒲(2) 关联的辫子张量范畴的两个拟张量函子，建立了对该范畴的表征。通过证明结合子与辫子由这些函子及底层余代数结构（特别是 𝔰्ल₂ 的 Nichols 代数）唯一确定，该研究证实了 p=2 时的对数 Kazhdan-Lusztig 猜想，表明 𝒲(2) 的表示范畴与通过 u_q(𝔰𝔩₂) 的形变构造的某类拟 Hopf 代数的表示范畴等价。

ABSTRACT

Given a non-semisimple braided tensor category, with oplax tensor functors from known braided tensor categories, we ask : How does this knowledge characterize the tensor product and the braiding? We develop tools that address this question. In particular we prove that the associator is fixed by the oplax tensor functors, and we show that a distinguished role is played by the coalgebra structure on the image of theses tensor functors. Our setup constrains the form of quasi bialgebras appearing in the logarithmic Kazhdan-Lusztig conjecture and it applies in particular to the representation categories of the triplet vertex algebras. Here the two oplax tensor functors are determined by two free field realizations, and the coalgebras mentioned above are the Nichols algebras of type $\mathfrak{sl}_2$. We demonstrate in the case of $p=2$ that our setup completely determines the braided tensor category and the realizing quasi-triangular quasi-Hopf algebra is as anticipated in \cite{FGR2}. This proves the logarithmic Kazhdan-Lusztig conjecture for $p=2$, while for general $p$ it only remains to establish that our characterization provides a unique braided tensor category.

研究动机与目标

• 通过可访问的范畴结构表征对数三元组顶代数 𝒲(2) 的辫子张量范畴。
• 通过证明 𝒲(2) 的表示范畴与某类拟 Hopf 代数的表示范畴等价，解决 p=2 时的对数 Kazhdan-Lusztig 猜想。
• 开发工具以通过拟张量函子确定非半单辫子张量范畴中的结合子与辫子。
• 阐明余代数结构（特别是 𝔰्ल₂ 型 Nichols 代数）在对数 Kazhdan-Lusztig 框架中对拟双代数形式的约束作用。
• 证明 [FGR2] 中构造的拟 Hopf 代数的表示范畴由拟张量函子及其像余代数唯一确定。

提出的方法

• 利用格点顶代数表示的半单范畴 Rep(V_L) 到三元组代数范畴 Rep(𝒲(2)) 的拟张量函子。
• 证明目标范畴中的结合子由拟张量函子唯一固定，利用其与张量积的相容性。
• 识别函子的像携带余代数结构，特别是 𝔰्ल₂ 型 Nichols 代数，从而约束可能的拟双代数结构。
• 应用 R-矩阵的周期性与对称性性质（例如 R_{E,F}^{a,b+2} = −(−1)^a(−1)^{a(a−1)/2} R_{E,F}^{a,b}）推导一致性条件。
• 应用辫子张量范畴的六边形恒等式显式约束 R-矩阵，通过分量乘法与一致性检验求解矩阵元素。
• 利用中心荷的 2-周期性与二次型 Q(k) = β^{k²}（其中 β⁴ = −1）推导完整的 R-矩阵结构，并验证六边形公理。

实验结果

研究问题

• RQ1 如何通过来自已知半单范畴的拟张量函子，唯一表征非半单范畴（特别是 Rep(𝒲(2))）的辫子张量结构？
• RQ2 拟张量函子像中的余代数结构在对数 Kazhdan-Lusztig 对应关系中，对关联拟双代数形式的约束程度如何？
• RQ3 当结合子由函子固定时，R-矩阵的六边形恒等式是否能完全确定范畴 Rep(U) 中的辫子？
• RQ4 能否证明三元组顶代数 𝒲(2) 的表示范畴与某类拟 Hopf 代数的表示范畴在辫子张量范畴中等价，正如修正的 Kazhdan-Lusztig 猜想所预测的？
• RQ5 在三元组代数中实现 Rep⁰(𝒜_p) 的拟 Hopf 代数是否由拟函子的范畴数据及其像余代数唯一确定？

主要发现

• 辫子张量范畴 Rep(U) 中的结合子由拟张量函子唯一确定，建立了强范畴约束。
• R-矩阵分量由周期性关系与六边形恒等式完全确定，其中 R_{E,F}^{a,b} = 0，而 R_{F,E}^{a,b} 是一个包含参数 d、Y 和 β 的特定 4×4 矩阵。
• 为保证第二个六边形恒等式的相容性，必须满足 d² = −1，该条件固定了奇数 a+b 时 R-矩阵的结构。
• 在给定约束下，解 R_{F,E}^{a,b} = 2 × [[Y, -i, Y, -i], [di, -iβ, di, -iβ], [Y, i, -Y, -i], [di, iβ, -di, -iβ]] 被推导并验证。
• 三元组代数 𝒲(2) 的表示范畴与 [FGR2] 中构造的拟 Hopf 代数的表示范畴在辫子张量范畴中等价，从而证明了 p=2 时的对数 Kazhdan-Lusztig 猜想。
• 结果确认，实现 Rep⁰(𝒜_p) 的拟 Hopf 代数由拟张量函子及其像余代数（即 𝔰्ल₂ 的 Nichols 代数）唯一确定，提供了范畴唯一性结果。