Ambidextrous objects and trace functions for nonsemisimple categories

Abstract

We provide a necessary and sufficient condition for a simple object in a pivotal k-category to be ambidextrous. In turn, these objects imply the existence of nontrivial trace functions in the category. These functions play an important role in low-dimensional topology as well as in studying the category itself. In particular, we prove they exist for factorizable ribbon Hopf algebras, modular representations of finite groups and their quantum doubles, complex and modular Lie (super)algebras, the $(1,p)$ minimal model in conformal field theory, and quantum groups at a root of unity.

15 pages, title changed, other minor changes, to appear in the Proceedings of the American Mathematical Society

References in corpus (4)

• On blocks of Deligne's category Rep(S_t)
• The Triplet Vertex Operator Algebra W(p) and the Restricted Quantum Group at Root of Unity
• Representations of Lie superalgebras in prime characteristic II: The queer series
• Modified Traces on Deligne's Category Rep(S_{t})

Cited by in corpus (5)

• ADE subalgebras of the triplet vertex algebra W(p): A-series
• Modified Turaev-Viro Invariants from quantum sl(2|1)
• Non-Semisimple 3-Manifold Invariants Derived From the Kauffman Bracket
• G-links invariants, Markov traces and the semi-cyclic Uqsl2-modules
• Towards a q-series for osp(2|2n)