TY - JOUR
T1 - Non-degeneracy conditions for braided finite tensor categories
AU - Shimizu, Kenichi
N1 - Funding Information:
The author is supported by JSPS KAKENHI Grant Number JP16K17568.
Publisher Copyright:
© 2019 The Author
PY - 2019/10/15
Y1 - 2019/10/15
N2 - For a braided finite tensor category C with unit object 1∈C, Lyubashenko considered a certain Hopf algebra F∈C endowed with a Hopf pairing ω:F⊗F→1 to define the notion of a ‘non-semisimple’ modular tensor category. We say that C is non-degenerate if the Hopf pairing ω is non-degenerate. In this paper, we show that C is non-degenerate if and only if it is factorizable in the sense of Etingof, Nikshych and Ostrik, if and only if its Müger center is trivial, if and only if the linear map HomC(1,F)→HomC(F,1) induced by the pairing ω is invertible. As an application, we prove that the category of Yetter-Drinfeld modules over a Hopf algebra in C is non-degenerate if and only if C is.
AB - For a braided finite tensor category C with unit object 1∈C, Lyubashenko considered a certain Hopf algebra F∈C endowed with a Hopf pairing ω:F⊗F→1 to define the notion of a ‘non-semisimple’ modular tensor category. We say that C is non-degenerate if the Hopf pairing ω is non-degenerate. In this paper, we show that C is non-degenerate if and only if it is factorizable in the sense of Etingof, Nikshych and Ostrik, if and only if its Müger center is trivial, if and only if the linear map HomC(1,F)→HomC(F,1) induced by the pairing ω is invertible. As an application, we prove that the category of Yetter-Drinfeld modules over a Hopf algebra in C is non-degenerate if and only if C is.
KW - Briaded tensor category
KW - Finite tensor category
KW - Hopf algebra
KW - Modular tensor category
UR - http://www.scopus.com/inward/record.url?scp=85071015284&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85071015284&partnerID=8YFLogxK
U2 - 10.1016/j.aim.2019.106778
DO - 10.1016/j.aim.2019.106778
M3 - Article
AN - SCOPUS:85071015284
SN - 0001-8708
VL - 355
JO - Advances in Mathematics
JF - Advances in Mathematics
M1 - 106778
ER -