A note on symmetric linear forms and traces on the restricted quantum group \(\bar U_q(\mathfrak{sl}(2))\) (Q782378)

Let \(A\) be a finite-dimensional algebra over a field \(k\), and let \(\mathrm{SLF}(A)\) denote the space of symmetric linear forms on \(A\). (Here a linear form \(\varphi\) on \(A\) is called symmetric if \(\varphi(xy)=\varphi(yx)\) for any elements \(x,y\in A\).) Let \(\mathrm{Proj}_A\) denote the full subcategory of all finite-dimensional projective \(A\)-modules. A trace on \(\mathrm{Proj}_A\) is a family \(t=(t_P)_{P\in\mathrm{Proj}_A}\) of linear transformations \(t_P:\mathrm{End}_A(P)\to k\) that satisfy the usual compatibility condition. The first main result of the paper under review states that \(\mathrm{SLF}(A)\) is isomorphic to the vector space \(\mathcal{T}_{\mathrm{Proj}_A}\) of traces on \(\mathrm{Proj}_A\). Let \(\overline{U}_q=\overline{U}_q(\mathfrak{sl}(2))\) be the restricted quantum group associated to the smallest complex simple Lie algebra \(\mathfrak{sl}(2)\) at a primitive root of unity of order \(2p\), where \(p\ge 2\). Since \(\overline{U}_q\) is a bialgebra, the coproduct induces an algebra structure on \(\mathrm{SLF}(\overline{U}_q)\). \textit{B. L. Feigin} et al. [Commun. Math. Phys. 265, No. 1, 47--93 (2006; Zbl 1107.81044)] showed that this algebra is isomorphic to the center of \(\overline{U}_q\) and that the latter has dimension \(3p-1\). Independently, \textit{A. M. Gainutdinov} and \textit{I. Y. Tipunin} [J. Phys. A, Math. Theor. 42, No. 31, Article ID 315207, 30 p. (2009; Zbl 1177.81068)] and \textit{Y. Arike} [Osaka J. Math. 47, No. 2, 535--557 (2010; Zbl 1201.16030)] introduced a certain basis for \(\mathrm{SLF}(\overline{U}_q)\) (which the author calls a GTA basis) whose construction uses the \(2p\) simple \(\overline{U}_q\)-modules and the non-simple projective covers of the former. \textit{A. Beliakova} et al. [Algebr. Geom. Topol. 18, No. 7, 4329--4358 (2018; Zbl 1411.57020)] proved that there is a modified trace on \(\mathrm{Proj}_{\overline{U}_q}\) that is unique up to scalar multiples. In the second main result the author expresses this modified trace via the isomorphism of his first main result in terms of the GTA basis. Finally, in the third main result the explicit multiplication rules for \(\mathrm{SFA}(\overline{U}_q)\) are given in terms of the GTA basis.