Classifying bicrossed products of Hopf algebras.

Abstract: Let

A

and

H

be two Hopf algebras. We shall classify up to an isomorphism that stabilizes

A

all Hopf algebras

E

that factorize through

A

and

H

by a cohomological type object

{m a t h c a l H}^{2} (A, H)

. Equivalently, we classify up to a left

A

-linear Hopf algebra isomorphism, the set of all bicrossed products

associated to all possible matched pairs of Hopf algebras

(A, H, r i a n g l e l e f t, r i a n g l e r i g h t)

that can be defined between

A

and

H

. In the construction of

{m a t h c a l H}^{2} (A, H)

the key role is played by special elements of

C o Z^{1} (H, A) i m e s A u t_{m C o A l g}^{1} (H)

, where

C o Z^{1} (H, A)

is the group of unitary cocentral maps and

A u t_{m C o A l g}^{1} (H)

is the group of unitary automorphisms of the coalgebra

H

. Among several applications and examples, all bicrossed products

are described by generators and relations and classified: they are quantum groups at roots of unity

H_{4 n, o m e g a}

which are classified by pure arithmetic properties of the ring

m a t h b b Z_{n}

. The Dirichlet's theorem on primes is used to count the number of types of isomorphisms of this family of

4 n

-dimensional quantum groups. As a consequence of our approach the group

A u t_{m H o p f} (H_{4 n, o m e g a})

of Hopf algebra automorphisms is fully described.

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Classifying bicrossed products of Hopf algebras.