Sweedler's Hopf algebra
\(\newcommand{\radical}{\operatorname{Rad}}\)
This is an interesting exercise in Etingof's book Introduction to Representation Theory.
Problem 9.3.2 Let \(A\) be the algebra over complex numbers generated by elements \(g,x\) with defining relations \(gx = −xg,\, x^{2} = 0,\, g^{2} = 1\). Find the simple modules, the indecomposable projective modules, and the Cartan matrix of \(A\).
Proof
Recall that for any finite dimensional algebra over \(\CC\) with irreducible modules \(M_{i}\), we have the decomposition (Theorem 3.5.4)
We choose the basis of \(A\) as \(\set{1,g,x,gx}\), then the radical is \(\CC\linearspan{x,gx}\), and the decomposition is
where \(p_{\pm}=\frac{1}{2}(1\pm g)\) are projectors of \(A/\radical{A}\). Hence there are two irreducible modules \(M_{\pm}\eqqq \CC p_{\pm}\) with the actions \(x=0, \, g=\pm 1\).
We can choose the lifting of \(p_{\pm}\) in \(A\) as \(p_{\pm}\), hence by Theorem 9.2.1 the projective covers of \(M_{\pm}\) are \(P_{\pm}\eqqq A p_{\pm}=\CC\linearspan{p_{\pm},xp_{\pm}}\), and the actions are
Then we have the short exact sequences
and the Cartan matrix of \(A\) is
Clifford algebra
\(A\) is the Clifford algebra with degenerate metric \(\diag(0,1)\). The projective covers are nontrivial spinors on the \(2d\) Newton-Cartan geometry.
Hopf algebra
\(A\) is the Sweedler's Hopf algebra, the smallest noncommutative noncocommutative Hopf algebra. Taft generalizes it to a family of finite dimensional Hopf algebras, called Taft algebra.
The comultiplication is
the counit is
and the antipode is
Quiver algebra
\(A\) is the quotient of the quiver with adjacent matrix
by the ideal generated by all length two paths, see https://arxiv.org/pdf/math/0009214. The path algebra is specified by
and after the quotient we have
The isomorphism is given by