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

From MaRDI portal





scientific article
Language Label Description Also known as
English
A note on symmetric linear forms and traces on the restricted quantum group \(\bar U_q(\mathfrak{sl}(2))\)
scientific article

    Statements

    A note on symmetric linear forms and traces on the restricted quantum group \(\bar U_q(\mathfrak{sl}(2))\) (English)
    0 references
    0 references
    27 July 2020
    0 references
    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.
    0 references
    restricted quantum group
    0 references
    symmetric linear form
    0 references
    projective module
    0 references
    trace
    0 references
    simple module
    0 references
    center
    0 references
    modified trace
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references