7
$\begingroup$

Sweedler's Hopf algebra (see here) is the lowest dimesnional ($4$-dimensional) Hopf algebra that is noncommutative and non-cocommutative. What are the next examples? Are there noncommutative, noncocommutative Hopf algebras of dimension $6,8,9,10$?

Edit: Looking at the Stefan's paper (as suggested by John) I found that

If $A$ is Hopf algebra of prime dimension $p$ over an algebraically closed field of characteristic $0$, then $A$ is the group algebra of the cyclic group $C_p$ of order $p$.

Thus we see that prime order gives a commutative example. From this i removed $5$ and $7$ from the question.

Edit: I have added non-cocommutative - since as explained below, these also come from groups, via the group algebra $k(G)$, and are dual to the ring constriction $k^G$.

$\endgroup$
8
  • 2
    $\begingroup$ When I Google 'hopf algebra dimension five' the first three hits are useful. $\endgroup$ May 11, 2021 at 11:00
  • $\begingroup$ By "dimension" is it meant the dimension of $A$ as a vector space over the base field, or the dimension of the corresponding "quantum group" (if the latter makes sense..)? $\endgroup$
    – Qfwfq
    May 11, 2021 at 11:26
  • $\begingroup$ Dimsnsion of the vector space. $\endgroup$ May 11, 2021 at 11:30
  • $\begingroup$ Basically, the way the question is posed, any group hopf algebra of a non-abelian group of suitable order would do. For example, regarding your lowest dimension i.e. $6$, take the group hopf algebra of the dihedral group $D_6\cong S_3$. $\endgroup$ May 11, 2021 at 11:52
  • 3
    $\begingroup$ The group algebra of a non-abelian group is non-commutative (and yet cocommutative). $\endgroup$ May 11, 2021 at 12:09

2 Answers 2

9
$\begingroup$

By standard results (in fin dim, over an alg closed field of zero char),

  • all cocommutative HAs are group algebras (for some finite group),
  • all commutative HAs are duals of group HAs (for some finite group)

(see for example: About the classification of commutative and of cocommutative, fin. dim. Hopf algebras)

More generally, if we consider fd hopf algebras, over a field of char zero then, by the Larson-Radford theorem, semicimplicity and cosemisimplicity are equivalent notions and they both result either from commutativity or cocommutativity.
Consequently, since you are looking to construct noncommutative, noncocommutative HAs, going beyond the semisimple/cosemisimple case would guarantee that the non-(co)semisimple HAs will also be non-(co)commutative. So i guess a natural class of examples would be pointed HAs.

The Taft algebras constitute a standard class of non-commutative, non-cocommutative examples. Sweddler's hopf algebra (mentioned in the OP) is a special case of them.

There are various results on the classification of f.d. hopf algebras which have been proved during the last couple of decades (with still lots of open problems) that can be of use for the purposes of the OP. Assuming that we are speaking about an algebraically closed field, of zero char, one should take into account both (co)semisimple and non-(co)semisimple cases:

See also the table included in p. 23 of Classifying Hopf algebras of a given dimension, arXiv:1206.6529v2 [math.QA] and the relevant literature included there. Following it, you can extend the above classification for higher dimensional HAs.

Edit: A particularly interesting article is Hopf Algebras of Low Dimension, Stefan, Journal of Algebra 211, 343 361 (1999). There, the author classifies all isomorphism types of Hopf algebras of dimension $\leq 11$ over an algebraically closed field of characteristic 0.

$\endgroup$
4
$\begingroup$

As suggested by Konstantinos Kanakoglou, the group algebra $k[G]$ of a nonabelian group $G$ is a non-commutative, co-commutative algebra of dimension $|G|$ over $k$ (where $k$ is a field).

If you want non-commutative, non-cocommutative examples, you could look at quantum groups at roots of unity. For example, if you set $q = \xi = \exp(\pi i / N)$, the small quantum group $\mathcal{U}_\xi(\mathfrak{sl}_2)/(K^N = 1, E^N = F^N = 0)$ is a non-commutative, non-cocommutative Hopf algebra of dimension $N^3$, or dimension $N^2$ if you impose a relation on the Casimir. For small values of $N$ you get some of the dimensions you asked for.

EDIT: Konstantinos's answer is probably more comprehensive and useful than mine. I'll just mention that the $N^2$-dimensional Taft algebras are closely related (I think equivalent) to the small quantum groups at $q = \exp(\pi i/N)$ modulo a relation on the Casimir.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.