Invariants from the Sweedler power maps on integrals

Abstract: For a finite-dimensional Hopf algebra

A

with a nonzero left integral

L a m b d a

, we investigate a relationship between

P_{n} (L a m b d a)

and

P_{n}^{J} (L a m b d a)

, where

P_{n}

and

P_{n}^{J}

are respectively the

n

-th Sweedler power maps of

A

and the twisted Hopf algebra

A^{J}

. We use this relation to give several invariants of the representation category Rep

(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

(K_{8})

, Rep

(k k Q_{8})

and Rep

(k k D_{4})

, although they have been completely distinguished by their Frobenius-Schur indicators. We further reveal a relationship between the right integrals

l a m b d a

in

A^{*}

and

l a m b d a^{J}

in

(A^{J})^{*}

. This can be used to give a uniform proof of the remarkable result which says that the

n

-th indicator

u_{n} (A)

is a gauge invariant of

A

for any

n i n m a t h b b Z

. We also use the expression for

l a m b d a^{J}

to give an alternative proof of the known result that the Killing form of the Hopf algebra

A

is invariant under twisting. As a result, the dimension of the Killing radical of

A

is a gauge invariant of

A

.

Review text

Let \(A\) be a finite-dimensional Hopf algebra and let \(J\) be a normalized twist in \(A\). In the paper under review the authors study the relationship between \(n\)-th Sweedler power maps of the Hopf algebra \(A\) and the twisted Hopf algebra \(A^J\). This is used to provide some invariants of the tensor category \(\operatorname{Rep} A\). Several applications to the problem of determining gauge equivalence between finite-dimensional Hopf algebras and gauge invariance of certain quantities associated to a Hopf algebra \(A\) are established.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Invariants from the Sweedler power maps on integrals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144391)