Abstract. A one-parameter family of two-sided coideals in Uq(gl(n)) is defined and the corresponding algebras of infinitesimally right invariant functions on the quantum unitary group Uq(n) are studied. The Plancherel decomposition of these algebras with respect to the natural transitive Uq(n)-action is shown to be the same as in the case of a complex projective space. By computing the radial part of a suitable Casimir operator, we identify the zonal spherical functions (i.e. infinitesimally bi-invariant matrix coefficients of finite-dimensional irreducible representations) as Askey-Wilson polynomials containing two continuous and one discrete parameter. In certain limit cases, the zonal spherical functions are expressed as big and little q-Jacobi polynomials depending on one discrete parameter.
IntroductionIn this paper, we study a family of two-sided coideals k (c,d) (c, d non-negative real numbers) in the quantized universal enveloping algebra U q (gl(n)). The coideals k (c,d) can be viewed as a q-analogue of the Lie subalgebra gl(n − 1) ⊕ gl(1) ⊂ gl(n). By considering the algebra of functions on the quantum unitary group U q (n) that are "infinitesimally" invariant with respect to the coideal k (c,d) , we obtain a family of quantum projective spaces CP n−1 q (c, d) endowed with a natural transitive action of the quantum unitary group U q (n). These quantum U q (n)-spaces were studied for the first time by Vaksman and Korogodsky [KV], who defined them in a "global" way by means of a q-analogue of the classical Hopf fibration S 2n−1 → CP n−1 . We also analyse the zonal spherical functions (infinitesimally left k (c,d) -invariant and right k (c ,d ) -invariant matrix coefficients) corresponding to finite-dimensional irreducible representations of U q (n). They are expressed in terms of a family of Askey-Wilson polynomials containing two continuous and one discrete parameter. We obtain this result by showing that the zonal spherical functions are eigenfunctions of a certain second-order q-difference operator which arises as the radial part of a suitable Casimir operator.