A multivariable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured. It is proved that this agrees with Jing and Jozefiak's expression for the two-row Macdonald polynomials, and also with Lassalle and Schlosser's formula for partitions with length three.
Raising operators of row type are constructed by means of an interpolation method. These are a dual version of the raising operators of column type by A.N.Kirillov and M.Noumi. An extension of the q-binomial coefficients is introduced in relation to the raising operators.
We introduce certain raising and lowering operators for Macdonald polynomials (of type $A_{n-1}$) by means of Dunkl operators. The raising operators we discuss are a natural $q$-analogue of raising operators for Jack polynomials introduced by L.Lapointe and L.Vinet. As an application we prove the integrality of double Kostka coefficients. Double analog of the multinomial coefficients are introduced.
We study certain $q$-difference raising operators for Macdonald polynomials (of type $A_{n-1}$) which are originated from the $q$-difference-reflection operators introduced in our previous paper. These operators can be regarded as a $q$-difference version of the raising operators for Jack polynomials introduced by L.Lapointe and L.Vinet. As an application of our $q$-difference raising operators we give an elementary proof of the integrality of the double Kostka coefficients which had been conjectured I.G. Macdonald. We also determine their quasi-classical limits, which give rise to (differenta…
Let $Λ$ be the space of symmetric functions and $V_k$ be the subspace spanned by the modified Schur functions $\{S_λ[X/(1-t)]\}_{λ_1\leq k}$. We introduce a new family of symmetric polynomials, $\{A_λ^{(k)}[X;t]\}_{λ_1\leq k}$, constructed from sums of tableaux using the charge statistic. We conjecture that the polynomials $A_λ^{(k)}[X;t]$ form a basis for $V_k$ and that the Macdonald polynomials indexed by partitions whose first part is not larger than $k$ expand positively in terms of our polynomials. A proof of this conjecture would not only imply the Macdonald positivity conjecture, but wo…
The Cherednik-Orr conjecture expresses the $t\to\infty$ limit of the nonsymmetric Macdonald polynomials in terms of the PBW twisted characters of the affine level one Demazure modules. We prove this conjecture in several special cases.
This paper contains the proof of Macdonald's duality and evaluation conjectures, the definition of the difference Fourier transform, the recurrence theorem generalizing Pieri rules, and the action of GL(2,Z) on the Macdonald polynomials at roots of unity.
In the paper we formulate and verify a difference counterpart of the Macdonald-Mehta conjecture and its generalization for the Macdonald polynomials. Namely, we determine the Fourier transforms of the polynomials multiplied by the Gaussian, which is closely connected with the new difference Harish-Chandra theory.
We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences. (1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This establishes the Macdonald positivity conjecture, that K_{lambda,mu}(q,t) is always a polynomial with non-negati…
We construct explicitly non-polynomial eigenfunctions of the difference operators by Macdonald in case $t=q^k$, $k\in{\mathbb Z}$. This leads to a new, more elementary proof of several Macdonald conjectures, first proved by Cherednik. We also establish the algebraic integrability of Macdonald operators at $t=q^k$ ($k\in {\mathbb Z}$), generalizing the result of Etingof and Styrkas. Our approach works uniformly for all root systems including $BC_n$ case and related Koornwinder polynomials. Moreover, we apply it for a certain deformation of $A_n$ root system where the previously known methods do…
These are the notes from a series of lectures the author gave at Harvard University in the Fall of 1994. The goal of these lectures is to give a self-contained exposition of recent result of Cherednik (\cite{C6}), who proved Macdonald's inner product conjectures (see \cite{M2}) for arbitrary root systems, using the algebraic structure he called ``double affine Hecke algebra''.
We prove a combinatorial formula for the Macdonald polynomial H_mu(x;q,t) which had been conjectured by the first author. Corollaries to our main theorem include the expansion of H_mu(x;q,t) in terms of LLT polynomials, a new proof of the charge formula of Lascoux and Schutzenberger for Hall-Littlewood polynomials, a new proof of Knop and Sahi's combinatorial formula for Jack polynomials as well as a lifting of their formula to integral form Macdonald polynomials, and a new combinatorial rule for the Kostka-Macdonald coefficients K_{lambda,mu}(q,t) in the case that mu is a partition with parts…
In the previous author's paper the Macdonald norm conjecture (including the famous constant term conjecture) was proved. This paper contains the proof of the remaining two (the duality and evaluation conjectures). The evaluation theorem is in fact a $q,t$-generalization of the classic Weyl dimension formula. As to the duality theorem, it states that the generalized trigonometric-difference zonal Fourier transform is self-dual (at least formally). We define this transform in terms of double affine Hecke algebras related to elliptic braid groups. The duality appeared to be directly connected wit…
We give a short proof of the inner product conjecture for the symmetric Macdonald polynomials of type $A_{n-1}$. As a special case, the corresponding constant term conjecture is also proved.
This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_μ$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_μ$ is defined for a partition $μ\part n$, as the linear span of derivatives of a certain bihomogeneous polynomial $Δ_ μ(x,y)$ in the variables $x_1,x_2,..., x_n, y_1,y_2,..., y_n$. It has been conjectured by Garsia and Haiman that ${\bf M}_μ$ has $n!$ dimensions and that its bigraded Frobenius characteristic is given by the symmetric polynomial ${\widetilde{H}}_μ(x;q,t)=\sum_{λ\part n} S_λ(X) {\widet…
We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Macdonald conjectures in the general case which are consistent with computer computations. Our method applies recent work of the second named author to relate these conjectures in the case of $U_q(\wideh…
A weight function which $q$-generalizes the ground state wave function of the multi-component Calogero-Sutherland quantum many body system is introduced. Conjectures, and some proofs in special cases, are given for a constant term identity involving this function. A Gram-Schmidt procedure with respect to the inner product associated with the weight function is used to define orthogonal polynomials in one of the components, which are conjectured to be the Macdonald polynomials $P_κ(w_1,\dots,w_{N_0};qt^p,t)$, and a proof is given in a special case. Conjectures are also given for an adjoint prop…
The non-commutative five-term relation $T_{1,0} T_{0,1} = T_{0,1} T_{1,1} T_{1,0}$ is shown to hold for certain operators acting on symmetric functions. The "generalized recursion" conjecture of Bergeron and Haiman is a corollary of this result.
Formulas of Rodrigues-type for the Macdonald polynomials are presented. They involve creation operators, certain properties of which are proved and other conjectured. The limiting case of the Jack polynomials is discussed.
We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional quantum Hall theory.
We prove certain duality properties and present recurrence relations for a four-parameter family of self-dual Koornwinder-Macdonald polynomials. The recurrence relations are used to verify Macdonald's normalization conjectures for these polynomials.
The clustering properties of Jack polynomials are relevant in the theoretical study of the fractional Hall states. In this context, some factorization properties have been conjectured for the $(q,t)$-deformed problem involving Macdonald polynomials. The present paper is devoted to the proof of this formula. To this aim we use four families of Jack/Macdonald polynomials: symmetric homogeneous, nonsymmetric homogeneous, shifted symmetric and shifted nonsymmetric.
We give a proof of Awata and Yamada's conjecture for the explicit formula of Whittaker vector of the deformed Virasoro algebra realized in the Fock space. The formula is expressed as a summation over Macdonald symmetric functions with factored coefficients. In the proof we fully use currents appearing in the Fock representation of Ding-Iohara-Miki quantum algebra. We also mention an interpretation of Whittaker vector in terms of the geometry of the Hilbert schemes of points on the affine plane.
The Macdonald polynomials with prescribed symmetry are obtained from the nonsymmetric Macdonald polynomials via the operations of $t$-symmetrisation, $t$-antisymmetrisation and normalisation. Motivated by corresponding results in Jack polynomial theory we proceed to derive an expansion formula and a related normalisation. Eigenoperator methods are used to relate the symmetric and antisymmetric Macdonald polynomials, and we discuss how these methods can be extended to special classes of the prescribed symmetry polynomials in terms of their symmetric counterpart. We compute the explicit form of …
We give a new representation-theoretic proof of the branching rule for Macdonald polynomials using the Etingof-Kirillov Jr. expression for Macdonald polynomials as traces of intertwiners of U_q(gl_n). In the Gelfand-Tsetlin basis, we show that diagonal matrix elements of such intertwiners are given by application of Macdonald's operators to a simple kernel. An essential ingredient in the proof is a map between spherical parts of double affine Hecke algebras of different ranks based upon the Dunkl-Kasatani conjecture.
Let W be the complex reflection group G(e,1,n). In the author's previous paper, Hall-Littlewood functions associated to W were introduced. In the special case where W is a Weyl group of type B_n, they are closely related to Green polynomials of finite classical groups. In this paper, we introduce a two variables version of the above Hall-Littlewood functions, as a generalization of Macdonald functions associated to symmetric groups. A generalization of Macdonald operators is also constructed, and we characterize such functions by making use of Macdonald operators, assuming a certain conjecture…
A unified theory of quantum symmetric pairs is applied to q-special functions. Previous work characterized certain left coideal subalgebras in the quantized enveloping algebra and established an appropriate framework for quantum zonal spherical functions. Here a distinguished family of such functions, invariant under the Weyl group associated to the restricted roots, is shown to be a family of Macdonald polynomials, as conjectured by Koornwinder and Macdonald. Our results place earlier work for Lie algebras of classical type in a general context and extend to the exceptional cases.
Macdonald defined two-parameter Kostka functions K_{λμ}(q,t) where λ, μare partitions. The main purpose of this paper is to extend his definition to include all compositions as indices. Following Macdonald, we conjecture that also these more general Kostka functions are polynomials in q and t^{1/2} with non-negative integers as coefficients. If q=0 then our Kostka functions are Kazhdan-Lusztig polynomials of a special type. Therefore, our positivity conjecture combines Macdonald positivity and Kazhdan-Lusztig positivity and hints towards a connection between Macdonald and Kazhdan-Lusztig theor…
We introduce the $q$-analogue of the type $A$ Dunkl operators, which are a set of degree--lowering operators on the space of polynomials in $n$ variables. This allows the construction of raising/lowering operators with a simple action on non-symmetric Macdonald polynomials. A bilinear series of non-symmetric Macdonald polynomials is introduced as a $q$-analogue of the type $A$ Dunkl integral kernel ${\cal K}_A(x;y)$. The aforementioned operators are used to show that the function satisfies $q$-analogues of the fundamental properties of ${\cal K}_A(x;y)$.
In this paper we construct a discrete linear operator $K$ which transforms $A_2$ Macdonald polynomials into the product of two basic $3ϕ_2$ hypergeometric series with known arguments. The action of the operator $K$ on power sums in two variables can be reduced to a generalization of one particular case of the Bailey's summation formula for a very-well-poised $6ψ_6$ series. We also propose the conjecture for a transformation of $6ψ_6$ series with different arguments.
Nonsymmetric interpolation Laurent polynomials in $n$ variables are introduced, with the interpolation points depending on $q$ and on a $n$-tuple of parameters $τ=(τ_1,\ldots,τ_n)$. When $τ_i=st^{n-i}$ Okounkov's $3$-parameter $BC_n$-type interpolation Macdonald polynomials are recovered from the nonsymmetric interpolation Laurent polynomials through Hecke algebra symmetrisation with respect to a type $C_n$ Hecke algebra action. In the appendix we give some conjectures about extra vanishing, based on Mathematica computations in rank two.
Motivated by the work of Koornwinder, Macdonald, Cherednik, Noumi, and van Diejen we define a 6-parameter double affine Hecke algebra and establish its basic structural properties, including the existence of an involution. We relate the algebra to (symmetric and nonsymmetric) Koornwinder polynomials via the method of intertwiners and, as a consequence, obtain a proof of Macdonald's duality conjecture for Koornwinder polynomials. Combined with earlier work of van Diejen this completely settles all the outstanding conjectures of Macdonald and Koornwinder about these polynomials.
In this paper we construct examples of commutative rings of difference operators with matrix coefficients from representation theory of quantum groups, generalizing the results of our previous paper to the $q$-deformed case. A generalized Baker-Akhiezer function $Ψ$ is realized as a matrix character of a Verma module and is a common eigenfunction for a commutative ring of difference operators. In particular, we obtain the following result in Macdonald theory: at integer values of the Macdonald parameter $k$, there exist difference operators commuting with Macdonald operators which are not poly…
We introduce a $q,t$-enumeration of Dyck paths which are forced to touch the main diagonal at specific points and forbidden to touch elsewhere and conjecture that it describes the action of the Macdonald theory $\nabla$ operator applied to a Hall-Littlewood polynomial. Our conjecture refines several earlier conjectures concerning the space of diagonal harmonics including the "shuffle conjecture" (Duke J. Math. $\mathbf {126}$ (2005), pp. 195-232) for $\nabla e_n[X]$. We bring to light that certain generalized Hall-Littlewood polynomials indexed by compositions are the building blocks for the a…
We define the analogue of Jack's (Jacobi) polynomials, which were defined for finite-dimensional root system by Heckman and Opdam as eigenfunctions of trigonometric Sutherland operator for the affine root system $\hat A_{n-1}$. In the affine case, we define the polynomials as eigenfunctions of "affine Sutherland operator", which is Calogero-Sutherland operator with elliptic potential plus the term involving derivative with respect to the modular parameter. We show that such polynomials can be constructed explicitly as traces of certain intertwiners for affine Lie algebra. Also, we define the q…
This work records the details of the Ram-Yip formula for nonsymmetric Macdonald-Koornwinder polynomials for the double affine Hecke algebras of not-necessarily-reduced affine root systems. It is shown that the t=0 equal-parameter specialization of nonsymmetric Macdonald polynomials admits an explicit combinatorial formula in terms of quantum alcove paths, generalizing the formula of Lenart in the untwisted case. In particular our formula yields a definition of quantum Bruhat graph for all affine root systems. For mixed type the proof requires the Ram-Yip formula for the nonsymmetric Koornwinde…
We establish a previously conjectured connection between $p$-adics and quantum groups. We find in Sklyanin's two parameter elliptic quantum algebra and its generalizations, the conceptual basis for the Macdonald polynomials, which ``interpolate'' between the zonal spherical functions of related real and $p$\--adic symmetric spaces. The elliptic quantum algebras underlie the $Z_n$\--Baxter models. We show that in the $n \air \infty$ limit, the Jost function for the scattering of {\em first} level excitations in the $Z_n$\--Baxter model coincides with the Harish\--Chandra\--like $c$\--function c…
Using the Baker-Akhiezer function technique we construct a separation of variables for the classical trigonometric 3-particle Ruijsenaars model (relativistic generalization of Calogero-Moser-Sutherland model). In the quantum case, an integral operator M is constructed from the Askey-Wilson contour integral. The operator M transforms the eigenfunctions of the commuting Hamiltonians (Macdonald polynomials for the root sytem A2) into the factorized form S(y1)S(y2) where S(y) is a Laurent polynomial of one variable expressed in terms of the 3phi2(y) basic hypergeometric series. The inversion of M …
The lattice cell in the ${i+1}^{st}$ row and ${j+1}^{st}$ column of the positive quadrant of the plane is denoted $(i,j)$. If $μ$ is a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the (French) Ferrers diagram of $μ$. We set $Δ_{μ/ij}=\det \| x_i^{p_j}y_i^{q_j} \|_{i,j=1}^n$, where $(p_1,q_1),... ,(p_n,q_n)$ are the cells of $μ/ij$, and let ${\bf M}_{μ/ij}$ be the linear span of the partial derivatives of $Δ_{μ/ij}$. The bihomogeneity of $Δ_{μ/ij}$ and its alternating nature under the diagonal action of $S_n$ gives ${\bf M}_{μ/ij}$ the structure…
An explicit formula is obtained for the generalized Macdonald functions on the $N$-fold Fock tensor spaces, calculating a certain matrix element of a composition of several screened vertex operators. As an application, we prove the factorization property of the arbitrary matrix elements of the multi-valent intertwining operator (or refined topological vertex operator) associated with the Ding--Iohara--Miki algebra (DIM algebra) with respect to the generalized Macdonald functions, which was conjectured by Awata, Feigin, Hoshino, Kanai, Yanagida and one of the authors. Our proof is based on the …
In this thesis, we obtain the formula for the Kac determinant of the algebra arising from the level $N$ representation of the Ding-Iohara-Miki algebra. This formula can be proved by decomposing the level $N$ representation into the deformed $W$-algebra part and the $U(1)$ boson part, and using the screening currents of the deformed $W$-algebra. It is also discovered that singular vectors obtained by its screening currents correspond to the generalized Macdonald functions. Moreover, we investigate the $q \rightarrow 0$ limit of five-dimensional AGT correspondence. In this limit, the simplest 5D…
We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cas…
Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for \nabla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. Th…
A new q-binomial theorem for Macdonald polynomials is employed to prove an A_n analogue of the celebrated Selberg integral. This confirms the g=A_n case of a conjecture by Mukhin and Varchenko concerning the existence of a Selberg integral for every simple Lie algebra g.
Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. Th…
We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which address the $k$-Schur expansion of (1) Hall-Littlewood polynomials, proving the $q=0$ case of the strengthened Macdonald positivity conjecture of Lapointe, Lascoux, and Morse; (2) the product of a Schur function and a $k$-Schur function when the indexing partitions concatenate to a partition, describing a class of Gromov-Witten invariants for the quantum coh…
We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.