Let $K$ be a field whose characteristic is different from $2$ containing a primitive fourth root of unity. $H$ is defined as follows: It is generated by $x,y,z$ that satisfy the relations $x^2=y^2=1, z^2=\tfrac{1}{2}(1+x+y-xy), xy=yx, xz=zy, yz=zx $.
I would like to show the following: $H$ has up to isomorphism a unique $2$-dimensional irreducible representation.
I managed to show that there is an irreducible $2$-dimensional representation $\rho\colon H\to M(2\times2,K)$ given by $\rho(x)=\begin{pmatrix} 1 & 0\\ 0 & -1 \end{pmatrix}$, $\rho(y)=\begin{pmatrix} -1 & 0\\ 0 & 1 \end{pmatrix}$, $\rho(z)=\begin{pmatrix} 0 & 1\\ 1 & 0 \end{pmatrix}$.
How do I show know that any other irreducible $2$-dimensional representation is isomorphic to this one? Does that somehow come out of the general theory or do I have to construct such an isomorphism explicitly? I have no idea where to start. I already know how $H$ becomes a Hopf algebra, that $H$ is semisimple and that there are $4$ $1$-dimensional representations.
Best Answer
Let $V$ be a finite-dimensional representation of $H$. Since $x$ and $y$ commute and are digonalisable (since they each square to 1), they simultaneously diagonalise $V$ into four possible simultaneous eigenspaces $V_{++}$, $V_{+-}$, $V_{-+}$, $V_{--}$, where for example we have $V_{+-} = \{v \in V \mid xv = v \text{ and } yv = -v\}$. Along these eigenspaces, the relation $z^2 = \frac{1}{2}(1 + x + y - xy)$ says that $z^2$ must act by $1, 1, 1$, and $-1$ respectively.
The relations $xz=zy$ and $yz=zx$ show that multiplication by $z$ maps between these simultaneous eigenspaces. For example, we have for all $v \in V_{+-}$ that $x(zv) = z(yv) = -zv$ and $y(zv) = z(xv) = zv$ and hence multiplication by $z$ takes $V_{+-}$ to $V_{-+}$. Applying $z$ again takes $V_{-+}$ back to $V_{+-}$, since we already determined that $z^2 = 1$ on $V_{++} \oplus V_{+-} \oplus V_{-+}$. Therefore multiplication by $z$ restricts to:
This means that all three of $x, y, z$ preserve $V_{++}$, so it is always a direct summand of $V$. Similarly, $V_{--}$ is always a direct summand of $V$, and finally we have $V_{+-} \oplus V_{-+}$ being a direct summand.
Now we can try to classify irreducibles. If $V$ is irreducible then in particular it is indecomposable, so we can assume one of the following cases:
If you want to show that those two kinds of two-dimensional irreps are indeed a classification, suppose that you have representations $V$ and $W$ of the same "type" (for example, both of the $V_{+-} \oplus V_{-+}$ kind), pick a basis as done above, and write down a linear map between those bases. Then check that the map is a map of representations.