Representation rings of quantum groups.

DOI10.1016/J.JALGEBRA.2004.08.006MaRDI QIDQ1888805zbMATH OpenOpenAlexFDO

Publication date 29 November 2004

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0308289

algebras of cocommutative elements algebras of coinvariants classical groups FRT-bialgebras generators quantized coordinate algebras quantized enveloping algebras quantized function algebras quantum traces relations

Mathematics Subject Classification ID

Trace rings and invariant theory (associative rings and algebras) (16R30) Simple, semisimple, reductive (super)algebras (17B20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well known fact that the representation theory of the quantized group is completely analogous to its classical counterpart. The subalgebras of cocommutative elements in the corresponding FRT-bialgebras (defined by Faddeev, Reshetikhin, and Takhtadzhyan) are explicitly determined, using a bialgebra embedding of the FRT-bialgebra into the tensor product of the quantized coordinate ring and the one-variable polynomial ring. A parallel analysis of the subalgebras of adjoint coinvariants is carried out as well, yielding similar results with similar proofs. The basic adjoint coinvariants are interpreted as quantum traces of representations of the corresponding quantized universal enveloping algebra.

Review text

Let \({\mathcal O}_q\) be the complex coordinate algebra of one of the quantum groups \(\text{GL}_q(n)\), \(\text{SL}_q(n)\), \(O_q(n)\), \(\text{Sp}_q(n)\), where the complex number \(q\) is not a root of one. Moreover in the three last cases \(q\) is transcendental. Then the algebra \({\mathcal O}_q\) is cosemisimple. An element \(z\in{\mathcal O}_q\) is cocommutative if \(\tau\Delta(z)=\Delta(z)\) where \(\tau\) is an automorphism of \({\mathcal O}_q^{\otimes 2}\) such that \(\tau(a\otimes b)=b\otimes a\). The set of all cocommutative elements forms a subalgebra \({\mathcal O}_q^{coc}\) in \({\mathcal O}_q\). There is given an explicit form of generators of \({\mathcal O}_q^{coc}\). Let \({\mathcal A}(G_q)\) be a complex algebra generated by elements \(u^i_j\), \(1\leqslant i,j\leqslant n\), subject to the defining relations \(R(u\otimes 1)(1\otimes u)=(1\otimes u)(u\otimes 1)R\) where \(R\) is the \(R\)-matrix of the vector representation of \(U_q(\mathfrak g)\) for the simple Lie algebra \(\mathfrak g\) corresponding to \(G_q\), and \(u=(u^i_j)\) is a square matrix of size \(n\). There is also given an explicit form of generators of the algebra \({\mathcal A}(G_q)^{coc}\) in the case \(G_1=\text{SL}_q(n)\), \(\text{Sp}_q(m)\), \(O_q(n)\) where \(m\) is even. Using quantum traces an algebra isomorphism between \({\mathcal O}_q^{coc}\) and its classical counterpart is established.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Representation rings of quantum groups.

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