2021/04/27 by Thomas Creutzig, Creutzig, Thomas, Simon Lentner +3 · 3 citations
Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Nonlinear Waves and Solitons #Quantum Algebra (math.QA) #Representation Theory (math.RT)
paper · pdf · doi:10.48550/arxiv.2104.13262
openalex publication_date 2021/04/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 \mathfraksl2. 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 \citeFGR2. 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.