English

Invariants from the Sweedler power maps on integrals

Quantum Algebra 2022-01-27 v1 Category Theory

Abstract

For a finite-dimensional Hopf algebra AA with a nonzero left integral Λ\Lambda, we investigate a relationship between Pn(Λ)P_n(\Lambda) and PnJ(Λ)P_n^J(\Lambda), where PnP_n and PnJP_n^J are respectively the nn-th Sweedler power maps of AA and the twisted Hopf algebra AJA^J. We use this relation to give several invariants of the representation category Rep(A)(A) 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(K8)(K_8), Rep(\kkQ8)(\kk Q_8) and Rep(\kkD4)(\kk D_4), although they have been completely distinguished by their Frobenius-Schur indicators. We further reveal a relationship between the right integrals λ\lambda in AA^* and λJ\lambda^J in (AJ)(A^J)^*. This can be used to give a uniform proof of the remarkable result which says that the nn-th indicator νn(A)\nu_n(A) is a gauge invariant of AA for any nZn\in \mathbb{Z}. We also use the expression for λJ\lambda^J to give an alternative proof of the known result that the Killing form of the Hopf algebra AA is invariant under twisting. As a result, the dimension of the Killing radical of AA is a gauge invariant of AA.

Keywords

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

R2 v1 2026-06-24T09:02:58.122Z