arxiv:q-alg/ v1 23 Aug 1996

Transcription

1 SHIFTED JACK POLYNOMIALS, BINOMIAL FORMULA, AND APPLICATIONS arxiv:q-alg/ v1 23 Aug 1996 A Okounkov 1 and G Olshanski 2 Abstract In this note we prove an explicit binomial formula for Jack polynomials and discuss some applications of it 1 Jack polynomials ([M,St]) In this note we use the parameter θ = 1/α inverse to the standard parameter α for Jack polynomials Jack symmetric polynomials P λ (x 1,,x n ;θ) are eigenfunctions of Sekiguchi differential operators (11) [ ( )] D(u;θ) = V(x) 1 det x n j i x i +(n j)θ+u x i ( ) D(u;θ)P λ (x;θ) = (λ i +(n i)θ +u) P λ (x;θ), i 1 i,j n, where V(x) = i<j (x i x j ) is the Vandermonde determinant and u is a parameter The operators {D(u; θ), u C} generate a commutative algebra; denote it by D(n;θ) We have ( ) (12) P (λ1 +1,,λ n +1)(x;θ) = xi P λ (x;θ) Using (12) one can define Jack rational functions for any integers λ 1 λ n and still (11), and hence the binomial theorem below, will hold The authors were supported by the Russian Basic Research Foundation (grant ) The first author was supported by the NSF grant DMS Institute for Advanced Study, Princeton, NJ Current address: Dept of Mathematics, University of Chicago, 5734 South University Av, Chicago, IL address: okounkov@mathuchicagoedu 2 Institute for Problems of Information Transmission, Bolshoy Karetny 19, Moscow GSP 4, Russia address: olsh@ippiacmsksu

2 2 A OKOUNKOV AND G OLSHANSKI 2 Shifted Jack polynomials ([OO,KS,Ok3]) Denote by Λ θ (n) the algebra of polynomials f(x 1,,x n ) that are symmetric in variables x i θi We call such polynomials shifted symmetric By (11) one has the Harish-Chandra isomorphism (21) D(n;θ) Λ θ (n) which takes an operator D D(n;θ) to the polynomial d Λ θ (n) such that DP λ (x;θ) = d(λ)p λ (x;θ) If D is of order k then degd = k Let µ be a partition Recall that for a square s = (i,j) µ the numbers a(s) = µ i j, a (s) = j 1, l(s) = µ j i, l (s) = i 1, are called arm-length, arm-colength, leg-length, and leg-colength respectively Set H(µ) = s µ(a(s)+θl(s)+1) Denote by Pµ(x;θ) the unique element of Λ θ (n) such that degpµ = µ and { H(µ), λ = µ, Pµ(λ;θ) = 0, µ λ The polynomials P µ(x;1) are called shifted Schur functions [OO] for the Schur function s µ is the highest degree term of P µ(x;1) Even in this rather simple case the combinatorics is very rich (see [OO,Ok1,Ok2]) The existence of P µ(x;θ) for general θ follows from a result of S Sahi [S1] For general θ F Knop and S Sahi proved [KS] that again (22) P µ (x;θ) = P µ(x;θ) + lower degree terms Explicit formulas for the polynomials P µ(x;θ) were found in [Ok3] In particular, they provide a new proof of (22) We call these polynomials shifted Jack polynomials They are a degenerate case of shifted Macdonald polynomials [Kn,S2,Ok3] It easily follows from the definition that P µ(x;θ) are stable, that is P µ (x 1,,x n,0;θ) = P µ (x 1,,x n ;θ) provided µ has at most n parts Hence, one can consider shifted Jack polynomials in infinitely many variables The following combinatorial formula for shifted Jack polynomials was proved in [Ok3] Let us call a tableau T on µ a reverse tableau if its entries strictly decrease down the columns and weakly decrease in the rows By T(s) denote the entry in the square s µ We have (23) P µ (x;θ) = T ψ T (θ) s µ( xt(s) a (s)+θl (s) ), where the sum is over all reverse tableaux on µ with entries in {1,2,} and ψ T (θ) is the same θ-weight of a tableau that enters the combinatorial formula for ordinary Jack polynomials (see [St] or [M],(VI1012)) (24) P µ (x;q,t) = T ψ T (θ) s µx T(s)

3 SHIFTED JACK POLYNOMIALS, BINOMIAL FORMULA, AND APPLICATIONS 3 3 Binomial formula Given a partition µ and a number t set H (µ) = s µ(a(s)+θl(s)+θ), (t) µ = s µ(t+a (s) θl (s)) If µ = (m) then (t) µ is the standard shifted factorial We have (see [M], VI1020) (31) P µ (1,,1;θ) = (nθ) µ / H (µ) Set (see [M], VI1016) Q µ (x;θ) = H (µ) H(µ) P µ(x;θ) The main result of this note is the following Theorem (32) P λ (1+x 1,,1+x n ;θ) P λ (1,,1;θ) = µ P µ (λ 1,,λ n ;θ)q µ (x 1,,x n ;θ) (nθ) µ Let O 1 be the local ring of symmetric rational functions regular at the point (33) x = (1,,1) and let m 1 O 1 be its maximal ideal We call functionals ψ ( O 1 /m k 1) O 1 symmetric distributions of order k supported at the point (33) Denote by S 1 the space of all symmetric distributions supported at (33) Looking at the highest derivatives one easily proves that the map (34) D(n;θ) S 1 which takes an operator D to the distribution ψ D ψ D (f) = (Df)(1,,1) is an order preserving isomorphism of linear spaces Proof of the theorem Consider the Taylor expansion of P λ (x;θ) about the point (33) Since Jack polynomials form a linear basis in symmetric polynomials this expansion has the form (35) P λ (1+x 1,,1+x n ;θ) = µ ψ µ (P λ )P µ (x;θ), ψ µ S 1 Note that ψ µ is of order µ By virtue of the isomorphisms (21) and (34) we have (36) P λ (1+x 1,,1+x n ;θ) = P λ (1,,1) f µ (λ)p µ (x;θ), f µ Λ θ (n),

4 4 A OKOUNKOV AND G OLSHANSKI where degf µ µ On the other hand (37) P λ (1+x 1,,1+x n ;θ) = P λ (x 1,,x n ;θ) + lower degree terms From (36) and (37) we obtain { 0, λ µ,λ µ, f µ (λ) = 1/P µ (1,,1), λ = µ By definition of P µ and (31) which concludes the proof Remark The coefficients ( ) λ µ P λ (1+x 1,,1+x n ;θ) P λ (1,,1;θ) f µ (x) = H (µ) (nθ) µ H(µ) P µ (x;θ), θ in the expansion = µ ( ) λ P µ (x 1,,x n ;θ) µ θ P µ (1,,1;θ) are called the generalized binomial coefficients They were studied by C Bingham [Bi] in the special case θ = 1/2, using group theoretical methods, and by M Lassalle [La] for general θ Then a proof of the main results announced in [La] was proposed by J Kaneko (see [K], section 5) Our theorem says that this binomial coefficient (38) ( ) λ µ θ = P µ (λ;θ) H(µ) is a shifted symmetric polynomial in λ which by (23) and (24) is just as complex as the Jack polynomial P µ (x;θ) itself The main results of Lassalle can be easily deduced from (38) For example, by the very definition of P µ(x;θ) it is clear that (38) does not depend on n and vanishes unless µ λ The recurrence relation (see [La], théorèmes 2, 3, 5 and corollaire in section 6) is equivalent to the formula (52) below Note also that the coefficients (38) admit a simple formula when θ = 1 (see A Lascoux [Lasc] and Example 10 in [M], section I3) or when λ 1 = = λ n (see J Faraut and A Korányi [FK], Prop XII13 (ii)) Binomial formulas for characters of classical groups will be discussed in [OO2] 3 4 Bessel functions ([D,Op,J]) For a real vector l = (l 1,,l n ) denote by its integral part By definition, put [l] = ([l 1 ],,[l n ]) P [κl] (1+x 1 /κ,,1+x n /κ;θ) (41) F(l,x;θ) = lim κ P [κl] (1,,1;θ) From (32) and (22) we have 3 Recently the first author found a binomial formula for Macdonald polynomials (both shifted

5 SHIFTED JACK POLYNOMIALS, BINOMIAL FORMULA, AND APPLICATIONS 5 Proposition (42) F(l,x;θ) = µ P µ (l 1,,l n ;θ)q µ (x 1,,x n ;θ) (nθ) µ We call F(l,x;θ) the Bessel functions They are in the same relation to Jack polynomials as ordinary Bessel functions to Jacobi polynomials They are eigenfunctions of the corresponding degeneration of Sekiguchi operators 5 Formula for θ-dimension of a skew diagram λ/µ Define the θ-dimension θ-dimλ/µ of a skew diagram λ/µ as the following coefficient (51) ( x i ) k P µ (x;θ) = θ-dimλ/µ P λ (x;θ) k = 1,2, λ = µ +k If θ = 1 then θ-dimλ/µ equals the number of the standard tableaux on λ/µ; for general θ each tableaut iscounted withacertainweight ψ T (θ)givenin[m],section VI6 In particular, if µ = then (see (56) below for a proof using shifted Jack polynomials) θ-dimλ = λ!/h(λ) We have Proposition (52) θ-dim λ/µ θ-dimλ = P µ(λ;θ) λ ( λ 1) ( λ µ +1) This proposition can be deduced from (38) and [La,K] (see the remark above), but it easier to give a direct proof, which uses the very same argument as in [OO], section 9 First one proves that Lemma (53) ( x i µ )P µ (x;θ) = λ = µ +1 θ-dimλ/µ P λ (x;θ) Proof Let f be the difference of the LHS and RHS in (53) By (22) and (51) we have degf µ One easily checks that f(ν) = 0 for all ν µ It follows that f = 0 Applying this lemma k times, where k = λ µ, we obtain (54) ( x i µ ) ( x i µ k+1)pµ(x;θ) = θ-dimν/µ Pν(x;θ) Evaluation of (54) at x = λ gives ν = µ +k (55) ( λ µ )!P µ (λ) = θ-dimλ/µ P λ (λ) In particular, for µ = one has (56) λ! = θ-dimλp λ (λ)

6 6 A OKOUNKOV AND G OLSHANSKI 6 Integral representation of Jack polynomials Write ν λ if λ 1 ν 1 λ 2 ν 2 ν n 1 λ n For any number r set (t) r = Γ(t+r)/Γ(t) We have (see [M], VI713 ) (61) P λ (x 1,,x n ;θ) = ν λ where (62) ψ λ/ν = i j n 1 ψ λ/ν P ν (x 1,,x n 1 )x λ/ν n, (ν i λ j+1 +θ(j i)+1) θ 1 (λ i ν j +θ(j i)+1) θ 1 (λ i λ j+1 +θ(j i)+1) θ 1 (ν i ν j +θ(j i)+1) θ 1 Suppose µ has less than n parts The formulas (32) and (61) together imply (63) Pµ (λ) = (nθ) µ P ν (1,,1) ψ λ/ν ((n 1)θ) µ P λ (1,,1) P µ (ν) ν λ where 1 is repeated n times in the denominator and (n 1) times in the numerator Note that after substitution of (62) and of (31) rewritten as (64) P λ (1,,1) = (λ i λ j +θ(j i)) θ Γ(θ)/Γ(θi) i<j n the formula (63) becomes the formula (716) from [Ok3] We replace λ and µ in (63) by their multiples κλ and κµ and let κ By (22) i n P µ (κλ)/κ µ P µ (λ), κ Introduce the following product of beta-functions C(µ,n) = B(µ i +(n i)θ,θ) Set Π(λ,ν;θ) = i j i n 1 (λ i ν j ) θ 1 i>j(ν j λ i ) θ 1 Using the well known relation (t) θ /t θ 1, t, one obtains from (63) the following Proposition If µ has < n parts then P µ (λ) = 1 1 C(µ, n) V(λ) 2θ 1 λ1 λ 2 dν 1 λn 1 λ n dν n 1 P µ (ν)v(ν)π(λ,ν;θ) Here λ 1 λ n are arbitrary real (this assumption is not essential since P µ is symmetric) If θ = 1,2, then the integrand is holomorphic and λ can be arbitrary complex Iteration of this proposition together with(12) gives an integral representation for all Jack polynomials This proposition was first obtained by G Olshanski (unpublished) for special values θ = 1/2, 1, 2 by using the group theoretic interpretation of the corresponding Jack polynomials Then A Okounkov [Ok3] found a general method which works for any θ and even for Macdonald polynomials The proof presented above differs from that from [Ok3] 7 Other applications The binomial theorem itself and the formula (52) result in an θ-analog of the Vershik-Kerov theorems [VK1,VK2] about characters of U( )

7 SHIFTED JACK POLYNOMIALS, BINOMIAL FORMULA, AND APPLICATIONS 7 References [Bi] C Bingham, An identity involving partitional generalized binomial coefficients, J Multivariate Analysis 4 (1974), [D] C Dunkl, Hankel transforms associated to finite reflection groups, Hypergeometric functions on domains of positivity, Jack polynomials, and applications (Tampa, FL, 1991), Contemp Math, vol 138, 1992, pp [FK] J Faraut and A Korányi, Analysis on symmetric cones, Oxford Univ Press, 1994 [J] M F E de Jeu, The Dunkl transform, Invent Math 113 (1993), no 1, [K] J Kaneko, Selberg integrals and hypergeometric functions associated with Jack polynomials, SIAM J Math Anal 24 (1993), [Kn] F Knop, Symmetric and non-symmetric quantum Capelli polynomials, to appear [KS] F Knop and S Sahi, Difference equations and symmetric polynomials defined by their zeros, to appear [Lasc] A Lascoux, Classes de Chern d un produit tensoriel, Comptes Rendus Acad Sci Paris 286A (1978), [La] M Lassalle, Une formule de binôme généralisée pour les polynômes de Jack, Comptes Rendus Acad Sci Paris, Sér I 310 (1990), [M] I G Macdonald, Symmetric functions and Hall polynomials, second edition, Oxford University Press, 1995 [Ok1] A Okounkov, Quantum immanants and higher Capelli identities, Transformation Groups 1 (1996), no 1, [Ok2], Young basis, Wick formula, and higher Capelli identities, to appear in IMRN, q-alg/ [Ok3], (Shifted) Macdonald polynomials: q-integral representation and combinatorial formula, to appear, q-alg/ [Ok4], Binomial formula for Macdonald polynomials, to appear [OO] A Okounkov and G Olshanski, Shifted Schur functions, to appear, q-alg/ [OO2], Shifted Schur functions II, in preparation [Op] E M Opdam, Dunkl operators, Bessel functions, and the discriminant of a finite Coxeter group, Compos Math 85 (1993), [S1] S Sahi, The spectrum of certain invariant differential operators associated to a Hermitian symmetric space, Lie theory and geometry: in honor of Bertram Kostant, Progress in Mathematics (J-L Brylinski, R Brylinski, V Guillemin, V Kac, eds), vol 123, Birkhäuser, Boston, Basel, 1994 [S2], Interpolation, integrality, and a generalization of Macdonald s polynomials, to appear [VK1] A M Vershik and S V Kerov, Asymptotic theory of characters of the infinite symmetric group, Funct Anal Appl 15 (1981), [VK2], Characters and factor representations of the infinite unitary group, Soviet Math Dokl 26 (1982),