arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2104.13262math.QAhep-thmath.RT
收藏

对数顶点算子代数的辫子张量范畴的刻画

Characterizing braided tensor categories associated to logarithmic vertex operator algebras

Thomas Creutzig, Simon Lentner, Matthew Rupert

摘要:

给定一个非半单的辫状张量范畴,其中oplax张量函子来自已知的辫状张量范畴,我们问:这些知识如何刻画张量积和辫状张量?我们开发了解决这个问题的工具。特别是,我们证明了结合子是固定的oplax张量函子,我们表明,一个杰出的作用是由余代数结构的图像上的这些张量函子。我们的设置约束的形式出现在对数Kazhdan-Lusztig猜想的拟双代数,它特别适用于三重顶点代数的表示范畴。这里的两个oplax张量函子由两个自由场实现确定,上面提到的余代数是$\mathfrak{sl}_2$型的Nichols代数。在$p=2$的情况下,我们证明了我们的设置完全确定的辫子张量范畴和实现准三角准霍普夫代数是预期的\cite{FGR2}。这证明了对$p=2$的对数Kazhdan-Lusztig猜想,而对一般的$p$,只需要确定我们的刻画提供了一个唯一的辫子张量范畴。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑