Abstract
In classical Lie group theory irreducible representation spaces are often decomposed into subspaces belonging to irreducible representations of a subgroup (or a chain of subgroups). Matrix elements of the representation w.r.t. a basis obtained in this way can often be expressed in terms of special functions. In particular, spherical functions are the matrix elements being left and right invariant w.r.t. a subgroup forming a Gelfand pair with the big group. An elementary example is the group SU(2) with diagonal subgroup isomorphic to U(1). Then the matrix elements of the irreducible representations of SU(2) w.r.t. a U(1)-basis can be expressed in terms of Jacobi polynomials and the spherical functions are Legendre polynomials. Nothing essential changes when we take the basis w.r.t. a subgroup conjugate to U(1), for instance SO(2). For quantum groups the situation is different. Only few quantum subgroups are available, in general, and we cannot take conjugates of quantum subgroups. For instance, quantum SU(2) has a quantum subgroup U(1) (an ordinary group), but no other nontrivial quantum subgroups are known and no conjugates of U(1) can be taken. The matrix elements of the irreducible representations of quantum SU(2) have been computed (cf. [5], [4], [1]) as little q-Jacobi polynomials and the spherical matrix elements as little q-Legendre polynomials. (See Koelink & Koornwinderâs q-special functions tutorial in these Proceedings.) In order to say something about the missing conjugates of a quantum subgroup, we use the quantized universal enveloping algebra. Let U = Uq(sl(2)) be the algebra generated by A, A, B, C with relations AA = 1 = AA, AB = qBA, AC = qCA, [B,C] = (A â A)/(q â q). U becomes a Hopf algebra with comultiplication â(A) = AâA, â(B) = AâB+BâA, â(C) = Aâ C + C âA. Call X â U twisted primitive if â(X) = AâX +X â A. Then X has this property iff X ia a linear combination of A â A, B and C. This three-dimensional space is a kind of quantum analogue of the Lie algebra sl(2). The Hopf â-algebra A of âpolynomial functionsâ on quantum SU(2) is in doubly non-degenerate Hopf algebra duality with U . Call a â A left (right) invariant w.r.t. a twisted primitive element X â U if (X â id)(â(a)) = 0 (respectively (idâX)(â(a)) = 0).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.