Algebra forms with \(d^N=0\) on quantum plane. Generalized Clifford algebra approach. (Q2460929)

For the non-expert (like the reviewer), a few background facts are probably useful in order to understand this paper: For a primitive \(N\)-th root of unity \(q\), \textit{M.~Dubois-Violette}, [in Quantum symmetries in theoretical physics and mathematics, Bariloche, 2000, Contemp. Math. 294, 59-94 (2002; Zbl 1133.16301)], has introduced the notion of a \(q\)-differential graded algebra which generalizes the ordinary notion of a differential graded algebra (the latter corresponds to the case where \(N=2\) and \(q=-1\)). Furthermore, given a unital \(\mathbb{Z}_N\)-graded \(\mathbb{C}\)-algebra \(\mathfrak B=\bigoplus_{i\in\mathbb{Z}_N}\mathfrak B^i\) and a degree one element \(w\in\mathfrak B^1\) with \(w^N=a1\), a theorem by the author [\textit{V.~Abramov}, J. Nonlinear Math. Phys. 13, Suppl. 1, 1-8 (2006)] gives that \(\mathfrak B\) can be made into a \(q\)-differential \(\mathbb{Z}_N\)-graded algebra with \(N\)-differential \(d(v)=[w,v]_q\) (the graded \(q\)-commutator). Now, Section 3 in the paper at hand introduces the generalized Clifford algebra on \(p\) generators with respect to a primitive \(N\)-th root of unity \(q\). The generalized Clifford algebra on \(p=4\) generators is denoted \(\mathfrak C_N\), and the generators (satisfying appropriate relations) are denoted \(x,y,u,v\) with \(|x|=|y|=0\in\mathbb{Z}_N\) and \(|u|=|v|=1\in\mathbb{Z}_N\). The algebra \(\mathfrak C_N\) is \(\mathbb{Z}_N\)-graded, and the subalgebra \(\langle x,y\rangle\subseteq\mathfrak C_N\) is denoted by \(\mathfrak P_N\). Actually, \(\mathfrak P_N=\mathfrak C_N^0\). The author shows that for all \(\lambda,\mu\in\mathbb{C}\), the relation \(w^N=a1\) is satisfied for \(w=\lambda u+\mu v\in\mathfrak C_N^1\) and \(a=\lambda^N+\mu^N\in\mathbb{C}\). Thus, by the result mentioned above, \(\mathfrak C_N\) has a natural structure of a \(q\)-differential \(\mathbb{Z}_N\)-graded algebra. The \(N\)-differential of this algebra is denoted by \(d\). Of course, everything depends on the choice of \(\lambda,\mu\neq 0\). The main result of Section 4 is that the right \(\mathfrak P_N\)-module \(\mathfrak C_N^1\) is freely generated by \(dx\) and \(dy\) whenever \(N\geqslant 3\). From this result (and its proof), it follows that replacing \(\{x,u,y,v\}\) by \(\{x,y,dx,dy\}\), one gets another set of generators for \(\mathfrak C_N\). When doing this, one wants to know how relations between \(x,u,y,v\) ``translate'' into relations between \(x,y,dx,dy\). This ``translation'' is the purpose of the final Section 5, where the author gives various explicit formulae for a number of expressions like \(x\,dx\), \(y\,dx\), \(x\,dy\), \(y\,dy\), \(dx\,dy\), \(d^2x\), and \(d^2y\).