arXiv:math/9512225v1 [math.QA] 21 Dec 1995 oino wse rmv lmn nteqatzduieslenvelop universal quantized exp the by in polynomials element Askey-Wilson primive U twisted of a subclass of a notion as functions spherical vroigti udewsmd yKonidr[2,wowsal oc to 2-sphere able classical was the who of [K2], analogue Koornwinder quantum by a made was hurdle this overcoming u ugop.Ltu eto,frisac,tewl-nw fact well-known the instance, for of mention, analogue us Let problem . main tum the of symmetr some of discuss quantization We the straightforward. that from [Wo], far Woronowicz was a and those [J1], Jimbo emphasize [Dr], to class try their sym shall from of spaces We symmetric analogues quantum quantum distinguish studied. that of theory been number recently a have co of aim that our of overview is analysis coherent It the less functions. in or spherical progress zonal recent their and some spaces discuss symmetric we paper, this In Introduction 0. JP)adteNtelnsOgnzto o cetfi Rese Scientific for Organization Netherlands the and (JSPS) polynomials. isnplnmas adnl’ ymti oyoil,K polynomials, coidea symmetric two-sided Macdonald’s function, polynomials, spherical Wilson zonal space, jective q ( is fal hr a h,a rtsgtrte noig ako int of lack annoying, rather sight first at the, was there all, of First grou quantum of introduction the after long not recognized was It h uhrakolde nnilspotb h aa Socie Japan the by support financial acknowledges author The e od n phrases. and words Key sl (2 oyoil otiigtocniuu n n iceepar discrete one and continuous two projecti containing quantum polynomials corresponding the on functions spherical osrcino opc unu ymti pcsadtean of the terms and in spaces functions symmetric spherical quantum compact of construction n-aaee aiyo w-ie odasin coideals two-sided of family one-parameter a Abstract. , C ) hs“nntsml prahwscnieal eeaie yNou by generalized considerably was approach “infinitesimal” This )). OERMRSO H CONSTRUCTION THE ON REMARKS SOME SO ( epeetagnrlsre fsm eetdvlpet rega developments recent some of survey general a present We FQATMSMERCSPACES SYMMETRIC QUANTUM OF n eateto ahmtc,Fclyo Science, of Faculty , of Department nieteqatmgroup quantum the inside ) oeUiest,Rko oe67 Japan 657, Kobe Rokko, University, Kobe opc unu ru,qatmsmercsae unu pr quantum space, symmetric quantum group, quantum compact ahj .Dijkhuizen S. Mathijs q otooa oyoil.I atclr edefine we particular, In polynomials. -orthogonal 1My1995 May 31 1 SU U SU ,Csmroeao,rda at Askey- part, radial operator, Casimir l, q (2) ( gl q oornwinder’s rh(NWO). arch ( ( /SO n, n .Amjrse owr in forward step major A ). C esae sAskey-Wilson as spaces ve )adepestezonal the express and )) yfrtePooino Science of Promotion the for ty ameter. 2 n xrs h zonal the express and (2) lsso hi zonal their of alysis BC yee by Typeset clcounterparts. ical opeetamore a present to tp Askey-Wilson -type pc quantum mpact htteei no is there that htcm up. came that s sb Drinfeld by ps rsigquan- eresting ercspaces metric dn the rding pcso the of spects n algebra ing otn the loiting A cspaces ic onstruct M S -T mi E o- X 2 QUANTUMSYMMETRICSPACES

in his fundamental paper [N], where he used the more general notion of a two-sided coideal in q(g) to study quantum analogues of the symmetric spaces SU(n)/SO(n) and SU(2nU)/Sp(n) and express their zonal spherical functions as Macdonald’s sym- metric polynomials associated with An−1 (cf. [M1]). In the same paper, both the L-operators (cf. [RTF]) and constant solutions of the reflection equation (cf. [Ku]) were used for the first time to construct suitable two-sided coideals. A second rather striking phenomenon was the appearance of parametrized fam- ilies of quantum symmetric spaces with one and the same classical counterpart. Podle´s[Po] was the first to exhibit a continuously parametrized family of quantum analogues of the classical 2-sphere. The zonal spherical functions on these quan- tum spheres were completely analysed by Koornwinder [K2], [K4], who used the infinitesimal method. In this paper, we announce some recent results by M. Noumi and the author showing that the parameter phenomenon is not restricted to 2-spheres but extends to complex projective spaces of arbitrary dimension and even beyond. The zonal spherical functions on our family of quantum projective spaces are expressed as Askey-Wilson polynomials containing two continuous and one discrete parameter. A third difference is the rather ad hoc approach to quantum symmetric spaces. As far as the author knows, no method has been devised so far that provides a unified approach to even a subclass of quantum symmetric spaces. Related to this are the computational difficulties involved in the quantum case, especially in the computation of the radial part of a quantum Casimir operator. First applied by Koornwinder [K4] in the rank one case, then used by Noumi [N] in the general rank case (see also [UT]), this method has by now become one of the standard means to identify zonal spherical functions on quantum symmetric spaces. The organization of this paper is as follows. In section 1 we briefly review the theory of classical compact symmetric spaces and their zonal spherical functions. In sections 2 and 3 we recall some basic facts concerning compact quantum groups, particularly the quantum unitary group, and sketch one possible general method to analyse quantum symmetric spaces. In section 4 we announce some recent results by M. Noumi and the author on a family of quantum projective spaces. Finally, in section 5 we briefly discuss some patterns underlying the study of higher rank quantum symmetric spaces. The author would like to express his sincere gratitude to Prof. M. Noumi and T. Sugitani. Many of the general ideas expressed in this paper originated with them, still others ripened in the countless discussions we had during our informal seminars in Tokyo. The author would also like to thank Prof. Tom H. Koornwinder, who introduced him to the subject of harmonic analysis on quantum groups.

1. Classical compact symmetric spaces The material treated in this section is well-known by now (cf. Helgason [H1], [H2], Heckman and Schlichtkrull [HS]). Let G be a compact connected simple . To simplify our statements we assume that G is simply connected, but this is not essential. Let K G be a closed such that there exists a (necessarily unique) involutive⊂ automorphism θ θ θ θ: G G with G0 K G . Here G denotes the subgroup of fixed points of θ, θ → ⊂ ⊂ G0 its connected component of the identity. Then the pair (G, K) is an irreducible QUANTUMSYMMETRICSPACES 3

Riemannian symmetric pair, and the G-homogeneous space G/K is an irreducible Riemannian of compact type I (in the terminology of Helgason [H1]). For any (finite-dimensional continuous) irreducible representation π of G, the trivial representation δ of K occurs at most once in the irreducible decomposition of the restriction of π to K. In other words, (G, K) is a . Those irreducible representations π of G that have non-zero K-fixed vectors are called spherical representations. Let (G/K) denote the algebra of left G-invariant differential operators on the space G/KD . A (zonal) spherical function is by definition a K-biinvariant differ- entiable function on G which is a joint eigenfunction of all differential operators D (G/K). ∈ D There is a 1-1 correspondence between spherical representations and spherical functions (determined up to a scalar multiple). To make this more explicit, we write g gC for the of G and its complexification. Let hC gC be a ⊂ ⊂ Cartan subalgebra, R := R(gC, hC) the corresponding root system. We fix a choice + + ∗ + of positive roots R R. Let P P hC denote the corresponding cone P of dominant weights in⊂ the weight lattice⊂ ⊂P . The irreducible representation of G + + + with highest weight λ P is denoted by V (λ). Let PK P denote the subset of dominant weights corresponding∈ to the spherical representat⊂ ions. If we write for the algebra of K-biinvariant (continuous) representative (i.e. G-finite) functionsH on G, then there is the canonical decomposition

= (λ), (1.1) H H λ∈P + MK where (λ) is the intersection of and the subspace W (λ) L2(G) spanned by the matrixH coefficients of the representationH V (λ). Each of the⊂ subspaces (λ) is H one-dimensional. If we choose a non-zero ϕλ (λ), then ϕλ will be a spherical ∈ H function. The right G-translates of ϕλ span a subspace which is equivalent as a representation of G to V (λ). All spherical functions can be obtained this way. In order to give a more explicit description of the spherical functions ϕλ, we recall the definition of (generalized) Jacobi polynomials (cf. [HS]). Let Σ V be a (possibly non-reduced) root system of rank l in a real vector space V . We⊂ fix an inner product , on V which is invariant under the W = WΣ. Via this inner producth· ·i we may identify V with its dual V ∗. We fix a choice Σ+ Σ + ⊂ of positive roots. We then have a cone of dominant weights PΣ inside the weight lattice P . The symbol denotes the usual dominance ordering of weights. Let Σ  C[PΣ] denote the group algebra of the free abelian group PΣ with canonical elements λ λ wλ e C[PΣ] (λ PΣ). The Weyl group W acts on C[PΣ] by w e = e . The ∈ ∈ µ + · orbit sums mλ := µ∈W λ e (λ PΣ ) are W -invariant and form a basis of the W ∈ ∨ ∗ subalgebra C[PΣ] of Weyl group invariants. Let Q V denote the dual root P∗ ∨ ⊂ λ lattice. Then T := V /2πQ is a compact torus. If we interpret e C[PΣ] as a λ ihλ,xi ∈ function on T by e (x) := e , then the group algebra C[PΣ] is identified with the algebra (T ) of representative functions on the torus T . This identification is compatible withA the natural actions of W on both algebras. Let now k : Σ [0, ), α kα be a W -invariant (so-called multiplicity) function. We define→ a continuous∞ weight7→ function on T and the corresponding inner 4 QUANTUMSYMMETRICSPACES

product on functions of T :

1 2kα δk(x) := 2 sin( α, x ) , f,g k := f(x)g(x)δk(x)dx, (1.2) + | 2h i | h i T αY∈Σ Z k where dx is the normalized Lebesgue measure on T . The Jacobi polynomial Pλ W + ∈ C[P ] of degree λ P is defined as the element of the form cλ,µmµ with Σ ∈ Σ µλ cλ,λ = 1 such that k + P P ,mµ k =0, µ P ,µ λ. h λ i ∈ Σ ≺ k This last condition is equivalent to the requirement that Pλ satisfies the following second-order partial differential equation:

1 ∆+ k cot( α, x )∂ P k(x)= λ, λ + k α P k(x). (1.3) α 2 α λ α λ + h i ! −h + i αX∈Σ αX∈Σ

Here ∆ is the usual on the Euclidean space V , ∂α the partial derivative in the direction of α. We denote the partial differential operator on the k + left-hand side of (1.3) by L(k). Clearly, the Jacobi polynomials Pλ (λ PΣ ) form W ∈ a basis of the algebra C[PΣ] . One can prove that

+ Pλ, Pµ =0, λ,µ P , λ = µ. h i ∈ Σ 6 k Hence, the Pλ are a family of orthogonal polynomials. One can actually show that L(k) is contained in a certain commutative algebra (k) of self-adjoint differential D k operators generated by l algebraically independent generators. The Pλ can be W characterized as the joint eigenfunctions in C[PΣ] of the operators in (k). Let us now return to the setting of the symmetric space G/K. Let k D g denote the Lie algebra of K. The eigenspace decomposition of θ: g g is⊂ written as → g = k ip gC. Let a p be a maximal abelian subspace. Write Σ′ a∗ for the ⊕ ⊂ ⊂ ⊂ restricted root system of G/K, mα for the multiplicity of α Σ. Let us put ∈ 1 Σ := 2Σ′, k := m . (1.4) 2α 2 α ∗ Then k: α kα is a W -invariant multiplicity function on the root system Σ a . Now T 7→:= exp(ia)/ exp(ia) K is a compact torus in G isomorphic with⊂ the ∨ ∩ quotient a/2πQΣ via the exponential mapping. Restriction defines an algebra iso- morphism of onto the algebra (T )W of W -invariant representative functions on the torus T . H A Let D (G/K) be a G-invariant differential operator on G/K. It is obvious that D maps∈ D into itself. There is a uniquely determined differential operator H rad(D) acting on functions on T such that rad(D)(f|T ) = D(f). This differential operator is called the radial part of D. The mapping rad actually induces an algebra isomorphism of (G/K) onto the algebra (k), where the multiplicity function k is defined in (1.4).D Under this isomorphism,D the Laplace-Beltrami operator ∆ on the Riemannian symmetric space G/K is mapped onto the operator L(k). Let us recall that ∆ arises as the image of the standard Casimir operator on G which can be viewed as a central element of the universal enveloping algebra (gC). U QUANTUMSYMMETRICSPACES 5

Suppose now that the Cartan subalgebra hC gC is invariant under the complex- ⊂ linear extension of θ to gC, and that, in addition, a hC. Then we have the ⊂ decomposition hC = aC (kC hC). The representation V (λ) (λ P +) is spherical ⊕ ∩ ∈ if and only if λ vanishes on kC hC and the restriction µ of λ to a is a dominant + ∩ + weight in PΣ . The spherical function ϕλ (λ PK ), when restricted to T , is a scalar k ∈ multiple of the Jacobi polynomial Pµ , where k is defined as in (1.4). Since the spherical functions ϕλ are matrix coefficients of irreducible representa- tions, the Schur orthogonality relations imply that the ϕ(λ) are mutually orthogonal with respect to the inner product on L2(G). It can be shown that this inner product coincides on with the inner product (1.2) up to a scalar multiple. H

2. Compact quantum groups In the remainder of this paper, we assume that G is one of the following compact Lie groups: U(n), SU(n) (n 2), SO(n) (n 3), Sp(n) (n 2). Actually, to simplify our statements, we take≥ G = U(n) in≥ this section. Mutatis≥ mutandis all the definitions and statements in this section are valid for the cases SU(n), SO(n), and Sp(n) too. Let us fix 0

′ ′ q0 =1, qh+h = qh qh , · h −h hh,αii h −h −hh,αii q eiq = q ei, q fiq = q fi, qαi q−αi eifj fj ei = δij − , (2.1) − q q−1 2 −1 − 2 ei ej (q + q )eiej ei + ej ei = 0 ( i j = 1); eiej = ej ei ( i j > 1), 2 − −1 2 | − | | − | f fj (q + q )fifj fi + fjf = 0 ( i j = 1); fifj = fj fi ( i j > 1), i − i | − | | − | where h,h′ P ∗ and 1 i, j n 1. ∈ ≤ ≤ − h ∗ Let q(h) q denote the subalgebra generated by the elements q (h P ). U ⊂ U ∈ It is a Laurent polynomial algebra in the generators qεi . A left q-module W is called P -weighted if it has a vector space basis consisting U of weight vectors with weights in P . The action of q(h) on any P -weighted q- module is diagonalizable, and any such module is completelyU reducible (cf. [R], [Lz]).U + The cone of dominant weights P P consists of all weights λ = λkεk P ⊂ k ∈ such that λ1 ... λn. There is a 1-1 correspondence λ V (λ) between ≥ ≥ ←→ P dominant weights and irreducible P -weighted finite-dimensional q-modules such that λ P + is the highest weight of V (λ) (cf. [R], [Lz]). RecallU that λ P + is ∈ ∈ called a highest weight of an irreducible q-module V if there exists a non-zero h hh,λi U vector v V such that q v = q v and ei v = 0 for all 1 i n 1. ∈ · · ≤ ≤ − 6 QUANTUMSYMMETRICSPACES

+ − We denote by Lij , Lij the so-called L-operators introduced in [RTF]. For a precise + − definition of these operators in the present context see [N]. One has Lij = Lji =0 (i > j). Moreover,

h ± −h hh,εj −εii ± h ± −h hh,εj −εii ± q Lij q = q Lij , q S(Lij )q = q S(Lij ), (2.2) for 1 i, j n. Because of this property, the L± can be viewed as q-analogues of ≤ ≤ ij the root vectors in gC = gl(n, C). ± The L generate the algebra q. There is a unique Hopf -algebra structure on ij U ∗ q such that U ± ± ± ± ± ∗ ∓ ∆(L )= L L , ε(L )= δij , (L ) = S(L ), (2.3) ij ik ⊗ kj ij ij ji k X for 1 i, j n. The subalgebra q(h) q is a Hopf -subalgebra. All P -weighted ≤ ≤ U ⊂U ∗ finite-dimensional representations of q are unitarizable. U Let ρV : q End(V ) denote the irreducible representation (called vector rep- U → + resentation) of q with highest weight ε P . Put N := dim(V ) (in the case U 1 ∈ G = U(n), one actually has N = n). Fixing a suitable basis (vi) of V such that q(h) acts by diagonal matrices, one has U ± ± R = eij ρV (L ) End(V V ), ⊗ ij ∈ ⊗ ij X where R± End(V V ) (cf. [J3], [RTF], [N]) are the invertible N 2 N 2 matrices defined by∈ ⊗ ×

δij −1 + − −1 R := q eii ejj + (q q ) eij eji, R := PRP, R := R . (2.4) ⊗ − ⊗ ij i>j X X

Here the eij End(V ) are the standard unit matrices with respect to the basis ∈ (vi), and P End(V V ) is the usual permutation operator. ∈ −1 ⊗ Denote by det : q C the one-dimensional representation with highest weight q U → λ = ε εn. The algebra q = q(U(n)) (cf. [RTF], [N]) of representative − 1 −···− A A functions on the quantum unitary group Uq(n) is the subalgebra of the linear dual −1 of q generated by detq and the coefficients (tij ) of the vector representation V U −1 with respect to the basis (vi). The generators tij and detq satisfy the relations

−1 −1 RT T = T T R, detq det = det detq . (2.5) 1 2 2 1 · q q ·

Here T := (tij ) i,j n is an N N matrix with coefficients in q, T := T id and 1≤ ≤ × A 1 ⊗ T2 := id T are Kronecker matrix products, and detq q (called the quantum determinant⊗ ) is defined as ∈ A

l(w) detq := ( q) t t . − w(1)1 ··· w(n)n w S X∈ n

Here Sn denotes the permutation group on n letters, and l(w) denotes the length −1 of a permutation w Sn. The elements detq and det are central in q. ∈ q A QUANTUMSYMMETRICSPACES 7

There is a unique Hopf -algebra structure on q such that ∗ A ∗ ∆(tij )= tik tkj , ε(tij )= δij , t = S(tji), ⊗ ij k X for all 1 i, j n, and ≤ ≤ ∗ −1 ∆(detq) = detq detq, ε(detq)=1, (detq) = S(detq) = det . ⊗ q The Hopf -algebra q is by definition spanned by the coefficients of its finite- dimensional unitary∗ corepresentationsA (cf. [Wo], [DK2]). Any P -weighted represen- tation of q can be lifted to a corepresentation of q. U A Using the duality , between q and q, one defines a q-bimodule structure h· ·i U A U on q by putting: A u a := (id u) ∆(a), a u := (u id) ∆(a), u q, a q. (2.6) · ⊗ ◦ · ⊗ ◦ ∈U ∈ A Here, on the right-hand side of both equalities, u q is viewed as a linear form on ∈U q via the pairing , . The multiplication q q q and the unit mapping A h· ·i A ⊗ A → A C q then become q-bimodule homomorphisms. In other words, q is an → A U A algebra with two-sided q-symmetry. U + Let W (λ) q (λ P ) denote the subspace spanned by the coefficients of the (co-)representation⊂ A V (∈λ). Then one has the following multiplicity-free decomposi- tion of the q-bimodule q into irreducible constituents: U A ∗ q = W (λ), W (λ) V (λ) V (λ). (2.7) A + ≃ ⊗ λM∈P The above decomposition can also be characterized as the simultaneous eigenspace decomposition under the (left) action on q of the center q q. A ZU ⊂U Let h: q C denote the normalized Haar functional (cf. [Wo], [DK2]) on the A → ∗ compact quantum group Gq. By putting a,b = h(b a) we define a positive definite h i Hermitian form , on q. The subspaces W (λ) are mutually orthogonal with respect to this innerh· ·i product.A There is one particularly important subgroup inside the quantum group Gq. Let T C −1 −1 ( ) := [z1,... ,zn,z1 ,... ,zn ] be the algebra of Laurent polynomials in the A λ hλ,ε1i hλ,εni variables zi (1 i n). We use the notation z := z1 zn (λ P ). There is a unique≤ Hopf≤ -algebra structure on (T) such that ··· ∈ ∗ ∗A −1 ∆(zi)= zi zi, ε(zi)=1, z = z (1 i n). ⊗ i i ≤ ≤ The subalgebra q(h) naturally is in Hopf -algebra duality with (T) via U ∗ A qh,zλ := qhh,λi. h i There is a unique surjective Hopf -algebra morphism ∗ T: q (T) (2.8) | A −→ A mapping tij q onto δij zi (T) and detq q onto z zn (T). The ∈ A ∈ A ∈ A 1 ··· ∈ A torus T can be viewed as a maximal toral subgroup of the quantum group Gq. The mapping |T then is the corresponding restriction of functions. The mappings |T and .q(h) ֒ q are dual to each other U In the→U classical case, one can freely move around the T G by conjugation. After quantization, however, this is no longer true. Since the⊂ group of Hopf algebra automorphisms of q(G) is rather small (cf. [Ch]), there is very A little possibility for changing the position of T inside the quantum group Gq. This fact will prove to be of cardinal importance in the analysis of quantum symmetric spaces. 8 QUANTUMSYMMETRICSPACES

3. Quantum homogeneous spaces We recall some general facts (cf. [DK1]). The “infinitesimal” method to construct quantum homogeneous spaces uses the idea that the algebra of functions on the homogeneous space G/K can also be defined as the subspace of those functions on G which are annihilated by the G-invariant differential operators X kC gC. ∈ ⊂ In fact, suppose that kq q is a two-sided coideal invariant under the mapping ⊂U τ = S: q q. Recall that a subspace kq q is called a two-sided coideal if ∗◦ U →U ⊂U ∆(kq) kq q + q kq and ε(kq) = 0. Then the subspace ⊂ ⊗U U ⊗

Bk := a q a kq =0 (3.1) q { ∈ A | · } of right kq-invariant functions is a -subalgebra and right coideal in q, and a left ∗ A q-submodule. U Suppose we have a surjective Hopf -algebra morphism π: q(G) q(K) and ∗ A → A a dual Hopf -algebra mapping ψ: q(kC) q(gC). Then the subspace kq ∗ U → U ⊂ q(gC) spanned by the elements ψ(v) ε(v)1 (v q(kC)) is a τ-invariant coideal. U − ∈U Left or right invariance with respect to the quantum subgroup Kq ֒ Gq then is → the same as invariance with respect to kq. Unfortunately, as is well-known, the quantization procedure as given by Drinfeld and Jimbo is not functorial (cf. [Ha]). In other words, to an embedding of compact Lie groups K ֒ G there need not → correspond a surjective Hopf -algebra morphism q(G) q(K). Actually, the supply of Riemannian symmetric∗ pairs (G, K) whoseA embedding→ A K ֒ G survives quantization turns out to be rather limited (cf. section 5). → Suppose we have a τ-invariant two-sided coideal kq q. Then the pair ( q, kq) is called a quantum Gelfand pair if, for any finite-dimensional⊂U irreducible P -weightedU representation V of q, the subspace Vk := v V kq v = 0 of so-called U q { ∈ | · } kq-fixed vectors is at most one-dimensional. Those representations V for which the subspace Vkq is non-zero are called spherical. Let us denote the corresponding + subset of dominant weights by P . Given a quantum Gelfand pair ( q, kq) one can kq U define the -algebra of kq-biinvariant functions as ∗ H

:= a q a kq = 0 and kq a =0 . (3.2) H { ∈ A | · · }

Once again, one has a canonical decomposition = λ∈P + (λ), where (λ) is H kq H H the intersection of with the subspace W (λ) q.L Each of the subspaces (λ) is one-dimensional.H One can now define a (zonal)⊂ A spherical function as a non-zeroH element of (λ) (λ P +). Spherical functions corresponding to different λ P + H ∈ kq ∈ kq will be orthogonal with respect to the inner product on q defined in terms of the A Haar functional h: q C. A → Suppose now that the restriction of the mapping T: q (T) to is injective | A → A H onto its image T (as we will see, there are interesting cases in which this condition H| is not fulfilled). The algebra will be commutative then. Let C q be a suitable H ∈ ZU central element (Casimir operator). The left action of C on q will preserve the A subalgebra . Hence, there is a uniquely determined operator D: |T |T such that on weH have H → H H T C = D T, (3.3) | ◦ ◦ | where the symbol C denotes the left action of C q on the subalgebra . The operator D will be called the radial part of the Casimir∈ U operator C. SinceH C is QUANTUMSYMMETRICSPACES 9

+ central, it acts as a scalar on every subspace (λ) (λ Pk ). In other words, the H ∈ + restriction ϕ(λ)|T of the spherical function ϕ(λ) (λ) (λ Pk ) to the maximal torus T is an eigenfunction of the operator D. If we∈ H are able∈ to compute an explicit expression for the operator D, this is likely to give us a strong clue to the nature of the spherical function ϕ(λ). Summarizing, we can say that one possible approach to tackling the problem of quantizing the symmetric pair (G, K) and describing the corresponding q-spherical functions consists of the following steps. (i) Find an appropriate τ-invariant coideal kq q which is a q-analogue of ⊂ U the Lie algebra kC of K. Show that the pair ( q, kq) is a quantum Gelfand pair and that the spherical representations areU indexed by the same subset of highest weights as in the classical case. (ii) Investigate whether kq-biinvariant functions on Gq are completely deter- mined by their restriction to the maximal torus T Gq, and, if so, give an ⊂ explicit description of the image T of under the restriction mapping H| H |T. (iii) Find an explicit expression for the radial part D of some suitable C q. ∈ ZU

4. Quantum projective spaces In this section we carry out the programme sketched at the end of section 3 for the case of a complex projective space. The results in this section are joint work with M. Noumi. For proofs and more details the reader is referred to the forthcoming paper [DN]. We briefly review the classical case to provide motivation for what follows. Set G = U(n), K = U(n 1) U(1) U(n). The corresponding involution θ: gC gC is given by θ(X)= JXJ− −×1 with ⊂ →

J = diag 1,..., 1, 1 . (4.1) { − } + One has P = l(ε εn) P l Z . The Lie subalgebra kC is equal to K { 1 − ∈ | ∈ +} gl(n 1, C) gl(1, C). The maximal abelian subspace aC pC is the one-dimensional − ⊕ ⊂ subspace spanned by the matrix X = e1n + en1. The restricted root system is isomorphic with BC1. The root multiplicities are 1 (long roots) and 2(n 2) (short roots). − (α,β) Let us recall that the (classical) Jacobi poynomials Pn (x) are one-variable polynomials which are orthogonal on the interval [ 1, 1] with respect to the con- tinuous weight function w(x) = (1 x)α(1 + x)β−(α,β > 1). They actually coincide with the generalized Jacobi polynomials− corresponding− to the root system BC1 (there is a simple linear relation between the parameters α, β, and the values of the multiplicity function k). The usual Casimir operator C (gC) induces a G-invariant differential operator on G/K whose radial part essentially∈ U coincides with the differential operator in (1.3) for the values α = n 2, β = 0. Hence, the − spherical function ϕl corresponding to the highest weight l(ε1 εn) (l Z+) can (n−2,0) − ∈ be expressed as a Jacobi polynomial Pl . Our choice of the involution θ is such that the corresponding maximal abelian subspace aC does not contain any diagonal matrices. Hence the restriction of K- biinvariant functions to the diagonal subgroup T is hardly injective. To remedy this 10 QUANTUMSYMMETRICSPACES

situation, one could take a different choice of involution, for instance by putting ′ J := diag(0, 1,..., 1, 0) en en , (4.2) − 1 − 1 ′ ′ ′−1 ′ and defining θ (X) = J XJ . The corresponding aC is spanned by the matrix ′ X = e11 enn and hence is contained in the Cartan subalgebra hC. With this choice of −θ′ and the corresponding subgroup K′ G, the restriction mapping ′ = (K′ G/K′) (T) actually is injective. Of⊂ course, the symmetric spaces G/KH Aand G/K\ ′ are→ isometric A and their spherical functions essentially the same, since the involutions θ and θ′ differ only by a conjugation. Alternatively, one could have moved the maximal torus T inside G so as to make the restriction of K-biinvariant functions injective. We now turn to the quantum case. Let us fix real numbers c, d 0 such that (c,d) ≥ (c, d) = (0, 0). The subspace k q is by definition spanned by the following elements:6 ⊂ U (i) L+ L− ,L− L+ , 11 − nn 11 − nn (ii) √cL+ + √dL− (2 k n 1), 1k nk ≤ ≤ − (iii) √dL+ + √cL− (2 k n 1), (4.3) kn k1 ≤ ≤ − (iv) L+,L− (2 i < j n 1), ij ji ≤ ≤ − (v) L+ L− (2 i n 1), ii − ii ≤ ≤ − (vi) √cdL+ √cdL− (c d)(L+ L− ). 1n − n1 − − 11 − 11 (c,d) We remark that the subspace k q only depends on the ratio of the numbers c and d. In fact, given c, d 0 such that⊂U (c, d) = (0, 0), we can define σ R ≥ 6 ∈ ∪{±∞} by qσ = d (c,d > 0), σ = (c = 0), σ = (d = 0). Then the coideal k(c,d) c −∞ ∞ only dependsq on the value of the corresponding σ. We write kσ = k(c,d). In case σ is finite, there is the following alternative, but equivalent, way to define the subspace kσ. Let J σ End(V ) be the n n matrix with complex coefficients defined by: ∈ × σ σ −σ σ σ σ J := diag(q (q q ), 1,..., 1, 0) q e n q en . (4.4) − − 1 − 1 σ Let M End(V ) q be the n n matrix with coefficients in q defined by σ ∈+ σ σ ⊗U− σ × σ U M := L J J L . Then k is spanned by the coefficients Mij of the matrix M σ. − In the limit q 1, the subspaces k∞ and k−∞ will essentially tend to the Lie subalgebras gl(n →1, C) gl(1, C) and gl(1, C) gl(n 1, C) respectively. Moreover, 0 − ⊕ ⊕ − ′ the subspace k will essentially tend to the Lie subalgebra kC defined with respect to (4.2).

σ Lemma 4.1 — Suppose σ . The subspace k q is a τ-invariant −∞ ≤ ≤ ∞ ⊂ U two-sided coideal in q. U There are natural surjective Hopf -algebra morphisms ∗ q q(U(n 1)) (U(1)), q (U(1)) q(U(n 1)) A → A − ⊗ A A → A ⊗ A − corresponding to the embeddings U(n 1) U(1) U(n) etc. Left or right in- variance with respect to these quantum− subgroups× is⊂ the same as invariance with respect to the coideals k∞ and k−∞ respectively. For finite values of σ, it can be shown that there is no quantum subgroup corresponding to the coideal kσ. QUANTUMSYMMETRICSPACES 11

Lemma 4.2 — Suppose <σ< . Let V be a finite-dimensional irreducible −∞ ∞ σ P -weighted q-module. If v V is a non-zero k -fixed vector then the highest weight componentU of v is non-zero.∈

+ Theorem 4.3 — Suppose σ . For all λ P , the subspace V (λ)kσ σ −∞ ≤ ≤ ∞ ∈ of k -fixed vectors is at most one-dimensional. The subspace V (λ)kσ is one-dimen- sional if and only if λ = l(ε εn) for some l Z . 1 − ∈ + In other words, the spherical representations are labelled by the same highest weights as in the classical case. We put

(c,d) (c,d) := a q a k =0 . Bq { ∈ A | · }

(c,d) The subspace q is a -subalgebra and right coideal in q, and it is invariant B ∗ A under the left action of q on q. Vaksman and Korogodsky [VK] defined the (c,dU) A q-comodule algebra q (arbitrary values of c, d) by means of a q-analogue of theA Hopf fibration S2nB−1 CPn−1. It can be shown that the comodule algebras σ (c,d) → = q are non-isomorphic for different values of σ. Bq B Theorem 4.4 — Suppose c, d 0 such that (c, d) = (0, 0). The irreducible de- (c,d) ≥ 6 composition of q as a right q-comodule resp. left q-module is given by: B A U

(c,d) = V (l(ε εn)), Bq 1 − l Z M∈ + where the isotypical subspace of type V (l(ε1 εn)) is equal to the intersection of (c,d) − q and W (λ). B We put

∗ ∗ ∗ ∗ zij := dt t j + ct tnj + √cdt t j + √cdt tnj q (1 i, j n). (4.5) 1i 1 ni ni 1 1i ∈ A ≤ ≤

Proposition 4.5 — Suppose c, d 0 such that (c, d) = (0, 0). The zij (1 (c,d) ≥ 6 (c,d) ≤ i, j n) are right k -invariant and generate the subalgebra q . They satisfy ∗ ≤ B zij = zji.

Let V ∗ denote the contragredient of the vector representation V . It has highest ∗ ∗ weight εn. Let (vi ) denote the dual basis of V . The tensor product representa- tion V ∗− V has the irreducible decomposition ⊗ ∗ V V = V (0) V (ε εn). ⊗ ∼ ⊕ 1 − The subspace of k(c,d)-fixed vectors in V ∗ V is two-dimensional and spanned by the two elements ⊗

2(n−k) ∗ ∗ ∗ ∗ −1 ∗ q v vk, √cd v vn + √cd v v + qd v v + q c v vn. (4.6) k ⊗ 1 ⊗ n ⊗ 1 1 ⊗ 1 n ⊗ k X 12 QUANTUMSYMMETRICSPACES

Let us fix parameters σ, τ . We put −∞ ≤ ≤ ∞ (σ,τ) σ τ := a q k a = 0 and a k =0 , (4.7) H { ∈ A | · · } and call it the space of (σ, τ)-biinvariant functions. It actually is a -subalgebra of (σ,τ) (σ,τ) ∗ q. If we put (λ) := W (λ), then A H H ∩

(σ,τ) (σ,τ) = (l(ε εn)). H H 1 − l Z M∈ +

(σ,τ) Each of the spaces (l(ε1 εn)) is one-dimensional. A (σ, τ)-spherical function H − (σ,τ) is by definition a non-zero element of (l(ε1 εn)) (l Z+). H − ∈(σ,τ) (σ,τ) Let us now suppose that σ, τ are finite. The direct sum (0) (ε εn) H ⊕H 1 − is spanned by the unit element 1 q and the element (cf. (4.6)) ∈ A

(σ,τ) 1 σ+1 −σ−1 σ+τ+1 −σ−τ−1 x := (z n + zn + q z + q znn (q + q )) q. (4.8) 2 1 1 11 − ∈ A

Here (cf. (4.5))

τ ∗ −τ ∗ ∗ ∗ zij := q t t j + q t tnj + t t j + t tnj q (1 i, j n). 1i 1 ni ni 1 1i ∈ A ≤ ≤ Note that (x(σ,τ))∗ = x(σ,τ).

Lemma 4.6 — Let σ, τ be finite. Under the restriction mapping |T: q (T) we have: A −→ A τ −τ −1 −1 z q , znn q , z n z zn, zn z z , 11 7→ 7→ 1 7→ 1 1 7→ 1 n (σ,τ) and all the other zij are mapped onto 0. In particular, the image of x equals 1 −1 −1 2 (z1zn + z1 zn).

−1 T Theorem 4.7 — Let σ, τ be finite. We put z := z1zn ( ). The restriction (σ,τ) ∈ A of the mapping T to q is an injective -algebra homomorphism onto the | H ⊂ A ∗ polynomial algebra (σ,τ) := C[ 1 (z + z−1)] (T). Hence, the algebra (σ,τ) = H|T 2 ⊂ A H C[x(σ,τ)] is commutative.

(σ,τ) For every l Z , let us fix a non-zero ϕl (l(ε εn)). The (σ, τ)- ∈ + ∈ H 1 − spherical function ϕl is uniquely determined up to multiplication by a scalar. It can be expressed as a polynomial of degree l in x(σ,τ). In order to identify these polynomials, we study the action of the following Casimir operator on (σ,τ) (cf. [RTF], [N]): H 2(n−i) + − C := q L S(L ) q. (4.9) ij ij ∈U ij X (σ,τ) The element C acts as a scalar on each subspace (l(ε1 εn)) (l Z+). The corresponding eigenvalue is H − ∈

q2(l+n−1) + q−2l + q2(n−i). 1

(σ,τ) (σ,τ) As in (3.3), we can consider the radial part D: |T |T of the Casimir H −1→ H −1 operator C. Let us define a linear operator Tq,z: C[z,z ] C[z,z ] by putting → Tq,zf(z) := f(qz). We use the following notation: (1 az)(1 bz)(1 cz)(1 dz) A(z; q) := − − − − (a,b,c,d C). (4.10) (1 z2)(1 qz2) ∈ − − Theorem 4.8 — Let σ, τ be finite. The radial part D: (σ,τ) (σ,τ) of the H|T → H|T Casimir operator C is equal to the following second-order q-difference operator: 2n 2 −1 2 1 q D = A(z; q )(T 2 id) + A(z ; q )(T −2 id) + − id, q ,z − q ,z − 1 q2 · − with parameters a,b,c,d given by a = qσ+τ+1, b = q−σ−τ+1, c = qσ−τ+1, d = q−σ+τ+2(n−2)+1. − − For n = 2 this result was essentially proved in Koornwinder [K4, Lemma 5.2]. Let us recall the definition of Askey-Wilson polynomials (cf. [AW]). The q-shifted factorials are defined as n−1 s k (a; q)n := (1 aq ), (a1,... ,as; q)n := (aj ; q)n, (a; q)∞ := lim (a; q)n, − n→∞ k j=1 Y=0 Y and the q-hypergeometric series (cf. [GR]) as ∞ k a1,... ,as+1 (a1,...,as+1; q)k z s+1ϕs ; q,z := . b ,... ,bs (b ,... ,bs; q)k (q; q)k 1 k 1   X=0 Askey-Wilson polynomials are defined as the polynomials in cos(θ) given by

pn(cos(θ); a,b,c,d q) := | −n n−1 iθ −iθ −n q , q abcd, ae ,ae a (ab,ac,ad; q)n ϕ ; q, q . (4.11) · 4 3 ab,ac,ad   They are symmetric in the parameters a,b,c,d. Suppose that a,b,c,d are real, or if complex, appear in complex conjugate pairs, and that a , b , c , d 1 such that the pairwise products of a,b,c,d are not 1. Then the| Askey-Wilson| | | | | | |≤ polynomials ≥ pn satisfy the orthogonality relations (cf. [AW])) 2π 2iθ 2 (e ; q)∞ (pnpm)(cos θ; a,b,c,d q) dθ =0, n = m. (4.12) | (aeiθ,beiθ,ceiθ, deiθ; q) 6 Z0 ∞

If the condition a , b , c , d 1 is relaxed, finitely many discrete terms will appear in the orthogonality| | | relation| | | | |≤ (4.12). Askey-Wilson polynomials can also be characterized as the eigenfunctions of a certain second-order q-difference operator. To be more precise, if we write the 4ϕ3- 1 −1 factor in (4.11) as rn(cos(θ)) and put Pn(z) := rn( 2 (z + z )), then the Laurent polynomials Pn(z) in the variable z satisfy the following second-order q-difference equation: −1 −1 A(z; q)(Pn(qz) Pn(z)) + A(z ; q)(Pn(q z) Pn(z)) = − −n n−−1 = (1 q )(1 q abcd)Pn(z), (4.13) − − − where A(z; q) is defined in (4.10). Any polynomial f(eiθ) of degree n in cos θ iθ iθ ≤ satisfying (4.13) with z = e is a constant multiple of Pn(e ). Comparing (4.13) with [4.8] we conclude: 14 QUANTUMSYMMETRICSPACES

Theorem 4.9 — Let σ, τ be finite. The (σ, τ)-spherical functions in (σ,τ)(l(ε H 1 − εn)) (l Z ) are spanned by ∈ + (σ,τ) σ+τ+1 −σ−τ+1 σ−τ+1 −σ+τ+2(n−2)+1 2 pl(x ; q , q , q , q q ), − − | where pl is an Askey-Wilson polynomial.

For n = 2 this result was essentially proved by Koornwinder [K4, Theorem 5.2]. Using [4.9] and a suitable limit argument (cf. [K4, Prop. 6.1, 6.3]), one can identify the spherical functions corresponding to the cases when either σ or τ is infinite. They are expressed as so-called little and big q-Jacobi polynomials (cf. [AA]). These are orthogonal polynomials with respect to an measure supported on an infinite discrete set. For more details see [DN].

5. Higher rank quantum symmetric spaces We refer to Table I for an exhaustive list (up to local isomorphism) of the classical irreducible compact Riemannian symmetric spaces of type I (cf. [H1]). The column labelled CC contains the type designation as used by E.´ Cartan in his classification. In the last column we give the multiplicities of the short, medium-sized, and long restricted roots (in this order). Here we consider Cl as a root system of type BC, the short roots having multiplicity zero.

Table I: Classical irreducible compact symmetric spaces

no. CC GK l Σ mα

1 AI SU(n) SO(n) l = n 1 Al 1 − 2 AII SU(2n) Sp(n) l = n 1 Al 4 n− 3 AIII U(n) U(l) U(n l) l BCl 2(n 2l), 2, 1 × − ≤ 2 − 4 BI SO(2n + 1) SO(l) SO(2n +1 l) l n Bl 1, 2n +1 2l × − ≤   − 5 CI Sp(n) U(n) l = n Cl 0, 1, 1 n 6 CII Sp(n) Sp(l) Sp(n l) l BCl 4(n 2l), 4, 3 × − ≤ 2 − 7 DI SO(2n) SO(l) SO(2n l) l

Let (G, K) be any of the symmetric pairs listed in Table I. Suppose we have a two- sided coideal kq q which, in some suitable sense, has kC gC as its classical limit. From the results⊂U in section 4 we may draw the conclusion⊂ that the relative position of kC with respect to the standard Cartan subalgebra hC gC is of considerable ⊂ importance in the analysis of the quantum symmetric space corresponding to kq and its zonal spherical functions. We distinguish three different cases. The first case arises when hC is θ-invariant and kC such that the intersection hC pC is maximal abelian in pC, hence equal to aC. We shall term this the maximally∩ split case. In this situation one can reasonably expect the restriction of kq-biinvariant functions to the diagonal subgroup T to be injective and the spherical QUANTUMSYMMETRICSPACES 15

functions to be multivariable orthogonal polynomials with respect to a continuous measure. Actually, so far, Noumi and Sugitani [N], [NS1], [NS2], [Su] have constructed a maximally split coideal kq q for all symmetric pairs (G, K) listed in Table I, and analysed the corresponding⊂ U quantum symmetric spaces and their spherical functions. We shall give a very brief account of their results for the symmetric pairs (1), (2), and (4)–(10). These symmetric pairs have in common that the “lowest” non-trivial spherical representation occurs in the irreducible decomposition of the tensor product V V ⊗ of the vector representation V with itself. In the quantum case, the existence of kq- fixed vectors inside V V is controlled by the so-called reflection equation (cf. [Ku]). Suppose we have an invertible⊗ complex N N matrix J (recall that N := dim(V )). × Define a matrix M End(V ) q with coefficients in q by putting ∈ ⊗U U M := L+ JS(L−)tJ −1, (5.1) −

and define kq q as the subspace spanned by the coefficients Mij of M. Then kq ⊂U will be a two-sided coideal in q. Put wJ = vi Jij vj V V . Then it can be U ij ⊗ ∈ ⊗ shown that kq wJ = 0 if and only if the matrix J satisfies the following reflection equation: · P t1 t1 RJ1R J2 = J2R J1R, (5.2)

t1 where denotes transposition in the first tensor component, and J1 := J id etc. are Kronecker matrix products. ⊗ For every symmetric pair (G, K), Noumi and Sugitani give a constant (i.e. in- volving no parameters besides q) matrix J satisfying the reflection equation and such that the corresponding kq is invariant under τ = S. Let ρ P be the half ρ ∗◦ ∈ sum of the positive roots. The element q q(h) acts on V as a diagonal matrix ∈U written diag(qρ1 ,... ,qρN ). Then the matrix J is given by:

J = diag(qρ1 ,... ,qρN ) for (1), (5), (8),

ρ1 ρN J = J0diag(q ,... ,q ) for (2), (6) (n =2l), (9), (10),

N where J := ( e k, k + e k , k). For the definition of J in the remaining 0 k=1 − 2 2 −1 2 −1 2 cases see [NS2], [Su]. In all cases, the pairs ( q, kq) are quantum Gelfand pairs. The P U + spherical representations are labelled by the same subset PK of highest weights as in the classical case. Noumi and Sugitani next study the -subalgebra q of kq-biinvariant func- tions. To be precise, in the cases (4)–(10)∗ theyH consider ⊂ A functions which are left-invariant with respect to kq and right invariant with respect to kq, where ρ ∗ −ρ u¯ := q u q is a modified -operation on q. They show that the mapping ∗ U T: (T) is injective and describe the image T (T) in terms of cer- | H → A H| ⊂ A tain explicitly defined elements x1,... ,xl (T). More precisely, they show this W ∈ A εi subalgebra is isomorphic with (Σ) under the correspondence xi e . Let us recall the definitionA of Macdonald’s symmetric orthogonal7→ polynomials (cf. [M1], [M2], [M3]) and Koornwinder’s BC-type Askey-Wilson polynomials (cf. [K3]). In Macdonald’s case, let Σ be one of the root systems Al, Bl, Cl, Dl. In Koornwinder’s case we put Σ = BCl. We freely use the notation introduced in section 1. 16 QUANTUMSYMMETRICSPACES

We first treat Macdonald’s case. Let k: α kα be a (non-negative) multiplicity function. Assume the standard normalization7→ of the W -invariant inner product. hα,αi uα We put uα = 1 (type A), uα = 2 (type B,C,D) for all α Σ. Set qα = q , kα ∈ tα = q (α Σ). We define an inner product on functions on the torus T by putting: ∈

α + (e ; qα)∞ + + ∆ := α , ∆ := ∆ ∆ , f,g k := f(x)g(x)∆(x)dx. (5.3) + (tαe ; qα)∞ h i T αY∈Σ Z Using this inner product instead of (1.2), one now proceeds in exactly the same way as in section 1 to obtain (cf. [M1], [M2], [M3]) Macdonald’s symmetric polynomials k W + ∨ Pλ (Σ) (λ P ) corresponding to the pair (Σ, Σ) (type A) or (Σ, Σ ) (type B,C,D∈ A). ∈ εi λ λ In Koornwinder’s case, it is convenient to use the notation xi = e , x = e for λ P . Recall that P is the free Z-span of the standard basis vectors εi P . The definition∈ of Koornwinder’s BC-type Askey-Wilson polynomials is completely∈ analogous to Macdonald’s case, except that one has to take a different weight function ∆+ (cf. (4.12)):

l (x2 ; q) (x /x , x x ; q) ∆+(x) := k ∞ i j i j ∞ (a,b,c,d,t C). (axk, bxk, cxk, dxk; q) · (txi/xj , txixj ; q) ∈ k ∞ i

+ Tσ∆ −1 W Φσ := ,Dσf := W σ (wΦσ)(Twσf f), f (Σ) . ∆+ | | − ∈ A w W X∈ λ hλ,µi µ Here Tµ (µ P ) is the operator defined on (Σ) by Tµx = q x (λ P ). The ∈ W A ∈ operator Dσ maps A(Σ) into itself and is diagonalized by the Pλ. Koornwinder proves the orthogonality of the Pλ under the assumption that (i) the parameters a,b,c,d are real or, if complex, appear in conjugate pairs, (ii) a , b , c , d 1, but the pairwise products of a,b,c,d are not 1, (iii) t ( 1, 1).| | In| this| | | case,| | ≤ the weight function ∆ is continuous on the torus≥T . ∈ − Let us return to the setting of quantum symmetric spaces. In all cases described above, Noumi and Sugitani have been able to show that the radial part D of a suitable Casimir operator C q (cf. (4.9)) is essentially the same as the partial ∈ ZU q-difference operator Dσ corresponding to the restricted root system Σ = Σ(G, K). The multiplicity function k resp. the parameters a,b,c,d,t are defined in terms of q and the root multiplicities of (G, K) in a way comparable to (1.4). This + result allows them to prove that the zonal spherical functions ϕ(λ) (λ PK ), when restricted to the diagonal subgroup T, can be expressed as Macdonald’s∈ polynomials or Koornwinder’s Askey-Wilson polynomials. The second case of the three cases alluded to above arises when the embedding kC gC is induced by an embedding of Dynkin diagrams. By deleting one node in ⊂ QUANTUMSYMMETRICSPACES 17

the Dynkin diagram of gC, one obtains the (possibly disconnected) Dynkin diagram ′ ′ of a semisimple complex Lie algebra gC. The Lie algebra kC := gC C naturally is a ⊕ Lie subalgebra of gC. The irreducible symmetric pairs (G, K) that can be obtained via this procedure are exactly the irreducible Hermitian symmetric pairs1. Observe that the Hermitian spaces in Table I are those for which the root system is BCl ∨ and the long roots have multiplicity 1 (recall that B2 C2 C2 is considered to be of type BC). ≃ ≃ Since the definition of q(gC) is given in terms of generators indexed by simple U roots and relations depending only on the Cartan matrix of gC, there will be a nat- ural embedding of Hopf -algebras q(kC) q(gC) and a corresponding surjective ∗ U ⊂U Hopf -algebra morphism q(G) q(K). From here, it is easy to define a suitable ∗ A → A coideal kq q(gC) (cf. section 3). We shall call this the regular embedded case. It ⊂U is quite opposite to the maximally split case, since now the intersection hC kC is ∩ maximal abelian in kC. For this reason, the restriction of kq-biinvariant functions to the diagonal subgroup T will not be injective. Therefore, the method proposed in section 3 does not work. To the author’s knowledge, the spherical functions in these cases have not yet been studied, except in rank one (cf. [VS], [Mas], [K1], [NYM]). It is likely, though, that the spherical functions in this case will be some kind of polynomials orthogonal with respect to a discrete orthogonality measure. Until recently, not much was known about multivariable orthogonal polynomials with a discrete measure in connection with root systems (however, see [St]). The third case is a kind of interpolation between the regular embedded and maximally split cases. It arises when the Cartan algebra hC is not necessarily invariant under the involution θ, but its projection onto pC along the decomposition gC = kC pC still is maximal abelian in pC. In this case, the restriction of kq- biinvariant⊕ functions to T is still likely to be an injective operation. With this terminology, the coideal kσ defined in section 4 is regular embedded (σ = ), maximally split (σ = 0), and interpolated (σ finite and non-zero). In the last case,±∞ the spherical functions are orthogonal with respect to a mixed continuous and discrete orthogonality measure. Very recently, Noumi, Sugitani and the author constructed a one-parameter σ family of coideals k q(gl(n, C)) ( <σ< ) defining a quantum analogue ⊂ U −∞ ∞ n of the symmetric space U(n)/U(l) U(n l) (l [ 2 ]). This symmetric space is different from the others in the sense× that− the “lowest”≤ spherical representation occurs in the decomposition of the tensor product V V ∗. In this case, the reflection equation reads ⊗ + − − + R J2R21J1 = J1R J2R21, (5.5) ± ± σ with R21 := P R P . The coideal k is by definition spanned by the coefficients of the matrix M := L+J σ J σL−, where − σ σ −σ σ σ J := q (q q )ekk + ekk q ekk′ , − − k l l

(4.9) in this case is essentially the same as Koornwinder’s q-difference operator Dε1 , the parameters a,b,c,d,t depending on two continuous parameters σ, τ, and two discrete parameters n, l (besides q). For details see the forthcoming paper [NDS].

1The author owes these observations to Prof. Tom H. Koornwinder. 18 QUANTUMSYMMETRICSPACES

References

[AA] G.E. Andrews, R. Askey, Classical orthogonal polynomials, in: “Polynˆomes Orthogonaux et Applications”, ed. C. Brzezinski, A. Draux, P. Magnus, P. Maroni, A. Ronveaux, Lec- ture Notes in Mathematics 1171, Springer-Verlag, 1985, pp. 36-62. [AW] R. Askey, J. Wilson, Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials, Mem. Amer. Math. Soc. 54 (1985), no. 319. [Ch] W. Chin, I.M. Musson, The coradical filtration for quantized universal enveloping algebras, preprint. [DK1] M.S. Dijkhuizen, T.H. Koornwinder, Quantum homogeneous spaces, duality and quantum 2-spheres, Geom. Dedicata 52 (1994), 291-315. [DK2] , CQG algebras: a direct algebraic approach to compact quantum groups, Lett. Math. Phys. 32 (1994), 315-330. [DN] M.S. Dijkhuizen, M. Noumi, A family of quantum projective spaces and related q-hyper- geometric orthogonal polynomials, preprint (1995). [Dr] V.G. Drinfel’d, Quantum groups, in: Proceedings ICM Berkeley (1986), ed. A.M. Gleason, Amer. Math. Soc., Providence, RI, 1986, pp. 798-820. [GR] G. Gasper, M. Rahman, Basic hypergeometric series, Encyclopedia of Mathematics and Its Applications 35, Cambridge University Press, London, 1990. [Ha] T. Hayashi, Non-existence of homomorphisms between quantum groups, Tokyo J. Math. (to appear). [HS] G.J. Heckman, H. Schlichtkrull, Harmonic Analysis and on Symmetric Spaces, Perspectives in Math. 16, Academic Press, 1995. [H1] S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces, Pure and Applied Mathematics 80, Academic Press, 1978. [H2] , Groups and Geometric Analysis, Pure and Applied Mathematics 113, Academic Press, 1984. [J1] M. Jimbo, A q-difference analogue of U(g) and the Yang-Baxter equation, Lett. Math. Phys. 10 (1985), 63-69. [J2] , Quantum R-matrix for the generalized Toda system, Comm. Math. Phys. 102 (1986), 537-547. [J3] , A q-analogue of U(gl(n)), Hecke algebra and the Yang-Baxter equation, Lett. Math. Phys. 11 (1986), 247-252. [K1] T.H. Koornwinder, Representations of the twisted SU(2) quantum group and some q- hypergeometric polynomials, Proc. Kon. Ned. Akad. Wet. Series A 92 (1989), 97-117. [K2] , Orthogonal polynomials in connection with quantum groups, in: “Orthogonal polynomials: Theory and Practice”, ed. P. Nevai, NATO-ASI Series C 294, Kluwer, Nor- well, MA, 1990, pp. 257-292. [K3] , Askey-Wilson polynomials for root systems of type BC, in: “Hypergeomet- ric functions on domains of positivity, Jack polynomials, and applications”, ed. D.S.P. Richards Contemp. Math. 138, Amer. Math. Soc., Providence, RI, 1992, pp. 189-204. [K4] , Askey-Wilson polynomials as zonal spherical functions on the SU(2) quantum group, SIAM J. Math. Anal. 24 (1993), no. 3, 795-813. [VK] L.I. Korogodsky, L.L. Vaksman, Quantum G-spaces and Heisenberg algebra, in: “Quan- tum Groups”, ed. P.P. Kulish, Lecture Notes in Math. 1510, Springer-Verlag, 1992, pp. 56- 66. [Ku] P.P. Kulish, Quantum groups and quantum algebras as symmetries of dynamical systems, preprint YITP/K-959 (1991). [Lz] G. Lusztig, Quantum deformations of certain simple modules over enveloping algebras, Adv. Math. 70 (1988), 237-249. [M1] I.G. Macdonald, A new class of symmetric functions, S´eminaire Lotharingien de Com- binatoire, ed. L. Cerlienco, D. Foata, Publication I.R.M.A. 372/S-20, Strasbourg, 1988, pp. 131-171. [M2] , Orthogonal polynomials associated with root systems, preprint (1988). [M3] , Affine Hecke algebras and orthogonal polynomials, S´eminaire Bourbaki 47 (1994- 95), no. 797, 1-18. [Mas] T. Masuda, K. Mimachi, Y. Nakagami, M. Noumi, K. Ueno, Representations of quantum groups and a q-analogue of orthogonal polynomials, C. R. Acad. Sci. Paris S´er. I Math. 307 (1988), 559-564. QUANTUMSYMMETRICSPACES 19

[N] M. Noumi, Macdonald’s symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces, Adv. Math. (to appear). [NDS] M. Noumi, M.S. Dijkhuizen, T. Sugitani, Multivariable Askey-Wilson polynomials and quantum complex Grassmannians, in: Proceedings of a Workshop on q-Series, Special Functions and Related Topics, Toronto (1995), Fields Inst. Comm. (to appear). [NS1] M. Noumi, T. Sugitani, Quantum symmetric spaces and related q-orthogonal polynomi- als, in: “Group Theoretical Methods in Physics”, Proceedings XX ICGTMP, Toyonaka (Japan), 1994, ed. A. Arima et al., World Scientific, Singapore, 1995, pp. 28-40. [NS2] , in preparation. [NYM] M. Noumi, H. Yamada, K. Mimachi, Finite-dimensional representations of the quantum group GLq (n, C) and the zonal spherical functions on Uq(n−1)\Uq (n), Japanese J. Math. 19 (1993), no. 1, 31-80. [Po] P. Podle´s, Quantum spheres, Lett. Math. Phys. 14 (1987), 193-202. [RTF] N. Reshetikhin, L.D. Faddeev, L.A. Takhtadjan, Quantization of Lie groups and Lie algebras, Leningrad Math. J. 1 (1990), 193-225. [R] M.Rosso, Finite-dimensional representations of the quantum analog of a complex simple Lie algebra, Comm. Math. Phys. 117 (1988), 581-593. [St] J. Stokman, Multivariable big and little q-Jacobi polynomials, Mathematical Preprint Se- ries 95-16, University of Amsterdam (1995). [Su] T. Sugitani, in preparation. [UT] K. Ueno, T. Takebayashi, Zonal spherical functions on quantum symmetric spaces and Macdonald’s symmetric polynomials, in: “Quantum Groups”, ed. P.P. Kulish, Lecture Notes in Math. 1510, Springer-Verlag, 1992, pp. 142-147. [VS] L.L. Vaksman, Y.S. So˘ıbel’man, Algebra of functions on the quantum group SU(2), Funct. Anal. Appl. 22 (1988), 170-181. [Wo] S.L. Woronowicz, Compact matrix pseudogroups, Comm. Math. Phys. 111 (1987), 613- 665.