Invariants from the Sweedler power maps on integrals
Abstract
For a finite-dimensional Hopf algebra with a nonzero left integral , we investigate a relationship between and , where and are respectively the -th Sweedler power maps of and the twisted Hopf algebra . We use this relation to give several invariants of the representation category Rep considered as a tensor category. As applications, we distinguish the representation categories of 12-dimensional pointed nonsemisimple Hopf algebras. Also, these invariants are sufficient to distinguish the representation categories Rep, Rep and Rep, although they have been completely distinguished by their Frobenius-Schur indicators. We further reveal a relationship between the right integrals in and in . This can be used to give a uniform proof of the remarkable result which says that the -th indicator is a gauge invariant of for any . We also use the expression for to give an alternative proof of the known result that the Killing form of the Hopf algebra is invariant under twisting. As a result, the dimension of the Killing radical of is a gauge invariant of .
Cite
@article{arxiv.2201.10710,
title = {Invariants from the Sweedler power maps on integrals},
author = {Zhihua Wang and Gongxiang Liu and Libin Li},
journal= {arXiv preprint arXiv:2201.10710},
year = {2022}
}
Comments
19 pages,comments are welcome