Search

We point out that results of Shimizu on internal characters imply a useful non-semisimple variant of the categorical Verlinde formula for factorisable finite tensor categories. When combined with results on pseudo-trace functions by Miyamoto and Arike-Nagatomo, one can make a precise conjecture for a non-semisimple modular Verlinde formula which relates modular properties of pseudo-trace functions and the product in the Grothendieck ring of the corresponding vertex operator algebra., Comment: 37 pages

We construct a large family of ribbon quasi-Hopf algebras related to small quantum groups, with a factorizable R-matrix. Our main purpose is to obtain non-semisimple modular tensor categories for quantum groups at even roots of unity, where typically the initial representation category is not even braided. Our quasi-Hopf algebras are built from modules over the twisted Drinfeld double via a universal construction, but we also work out explicit generators and relations, and we prove that these algebras are modularizations of the quantum group extensions with R-matrices listed in [LO17]. As an application, we find one distinguished factorizable quasi-Hopf algebra for any finite root system and any root of unity of even order (resp. divisible by 4 or 6, depending on the root length). Under the same divisibility condition on a rescaled root lattice, a corresponding lattice Vertex-Operator Algebra contains a VOA W defined as the kernel of screening operators. We then conjecture that W representation categories are braided equivalent to the representation categories of the distinguished factorizable quasi-Hopf algebras. For A_1 root system, our construction specializes to the quasi-Hopf algebras in [GR17b, CGR17], where the answer is affirmative, similiary for B_n at fourth root of unity in [FGR17b, FL17]., Comment: 64 pages; v2: Acknowledgments and Example 7.4 completed

For C a factorisable and pivotal finite tensor category over an algebraically closed field of characteristic zero we show: 1) C always contains a simple projective object; 2) if C is in addition ribbon, the internal characters of projective modules span a submodule for the projective SL(2,Z)-action; 3) the action of the Grothendieck ring of C on the span of internal characters of projective objects can be diagonalised; 4) the linearised Grothendieck ring of C is semisimple iff C is semisimple. Results 1-3 remain true in positive characteristic under an extra assumption. Result 1 implies that the tensor ideal of projective objects in C carries a unique-up-to-scalars modified trace function. We express the modified trace of open Hopf links coloured by projectives in terms of S-matrix elements. Furthermore, we give a Verlinde-like formula for the decomposition of tensor products of projective objects which uses only the modular S-transformation restricted to internal characters of projective objects. We compute the modified trace in the example of symplectic fermion categories, and we illustrate how the Verlinde-like formula for projective objects can be applied there., 61 pages, v2: minor changes + references updated