A note on symmetric linear forms and traces on the restricted quantum group U_q(sl(2))

MaRDI QIDQ782378zbMATH OpenFDO

Authors Matthieu Faitg

Publication date 27 July 2020

Published in Osaka Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.07524, https://projecteuclid.org/euclid.ojm/1594627217

zbMATH Keywords

centermodified traceprojective modulerestricted quantum groupsimple modulesymmetric linear formtrace

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Ring-theoretic aspects of quantum groups (16T20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: We prove two results about $$, the algebra of symmetric linear forms on the restricted quantum group $$. First, we express any trace on finite dimensional projective $$-modules as a linear combination in the basis of $$ constructed by Gainutdinov - Tipunin and also by Arike. In particular, this allows us to determine the symmetric linear form corresponding to the modified trace on projective $$-modules. Second, we give the explicit multiplication rules between symmetric linear forms in this basis.

Review text

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.

Recommendations

• A new basis of \(U_q({\mathfrak{sl}}_2)\) and some interpretation at \(q=1\)
• A construction of symmetric linear functions on the restricted quantum group \(\overline U_q(sl_2)\).
• scientific article; zbMATH DE number 1136705
• Publication:4486772
• scientific article; zbMATH DE number 1057854
• THE STRUCTURE OF THE QUANTUM GROUP U_t(sl(2))
• On canonical bases for the Letzter algebra \(\mathbf{U}^\imath(\mathfrak{sl}_2)\)
• A class of finite-dimensional representations of U_q(sl₂)
• Non-integrable representations of the restricted quantum analogue ofsl(3)
• Representations of \(\overline{\mathcal{U}}_{\mathfrak{q}} \mathrm{sl}(2 | 1)\) at even roots of unity

Cites work

• A construction of symmetric linear functions on the restricted quantum group \(\overline U_q(sl_2)\).
• Generalized Kashaev invariants for knots in three manifolds
• Generalized trace and modified dimension functions on ribbon categories
• scientific article; zbMATH DE number 706259 (Why is no real title available?)
• scientific article; zbMATH DE number 3212917 (Why is no real title available?)
• Indecomposable decomposition of tensor products of modules over the restricted quantum universal enveloping algebra associated to \(\mathfrak{sl}_2\)
• Kazhdan-Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT
• Logarithmic Hennings invariants for restricted quantum \(\mathfrak{s}\mathfrak{l}\)(2)
• Modular group representations and fusion in logarithmic conformal field theories and in the quantum group center
• Modular group representations in combinatorial quantization with non-semisimple Hopf algebras
• Modules over \(\mathfrak U_ q(\mathfrak s\mathfrak l_ 2)\)
• Radford, Drinfeld and cardy boundary states in the \((1, p)\) logarithmic conformal field models
• The trace function and Hopf algebras

Cited in

(2)

• Modular group representations in combinatorial quantization with non-semisimple Hopf algebras
• Holonomy and (stated) skein algebras in combinatorial quantization

This page was built for publication: A note on symmetric linear forms and traces on the restricted quantum group \(\bar U_q(\mathfrak{sl}(2))\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782378)