Digital quantum groups

TL;DR

This paper classifies all small-dimensional bialgebras and Hopf algebras over the field F_2, revealing unique structures, their interrelations, and associated algebraic properties like R-matrices and Fourier transforms.

Contribution

It provides a complete classification of all bialgebras and Hopf algebras of dimension ≤ 4 over F_2, including their quiver structure and special properties.

Findings

314 distinct bialgebras identified

25 Hopf algebras with specific properties

Unique minimal noncommutative, noncocommutative Hopf algebra found

Abstract

We find and classify all bialgebras and Hopf algebras or `quantum groups' of dimension $\le 4$ over the field $\Bbb F_2=\{0,1\}$. We summarise our results as a quiver, where the vertices are the inequivalent algebras and there is an arrow for each inequivalent bialgebra or Hopf algebra built from the algebra at the source of the arrow and the dual of the algebra at the target of the arrow. There are 314 distinct bialgebras, and among them 25 Hopf algebras with at most one of these from one vertex to another. We find a unique smallest noncommutative and noncocommutative one, which is moreover self-dual and resembles a digital version of $u_q(sl_2)$. We also find a unique self-dual Hopf algebra in one anyonic variable $x^4=0$. For all our Hopf algebras we determine the integral and associated Fourier transform operator, viewed as a representation of the quiver. We also find all quasitriangular or `universal R-matrix' structures on our Hopf algebras. These induce solutions of the Yang-Baxter or braid relations in any representation.