We study a family of mutually commutative difference operators associated with the affine root systems. These operators act on the space of meromorphic functions on the Cartan subalgebra of the affine Lie algebra. We show that the space spanned by the characters of a fixed positive level is invariant under the action of these operators.
Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat{gl}_N}(x,p|s,kappa|q,q/t) gives us the dominant integrable characters of hat{sl}_N multiplied by 1/(p^N;p^N)_infty (i.e. the hat{gl}_1 character). Several conjectures are presented for f^{hat{gl}_N}(…
It is shown that the deformed Macdonald-Ruijsenaars operators can be described as the restrictions on certain affine subvarieties of the usual Macdonald-Ruijsenaars operator in infinite number of variables. The ideals of these varieties are shown to be generated by the Macdonald polynomials related to Young diagrams with special geometry. The super Macdonald polynomials and their shifted version are introduced, the combinatorial formulas for them are given.
We consider the polynomial representation of Double Affine Hecke Algebras (DAHAs) and construct its submodules as ideals of functions vanishing on the special collections of affine planes. This generalizes certain results of Kasatani in types A_n, (C_n^\vee,C_n). We obtain commutative algebras of difference operators given by the action of invariant combinations of Cherednik-Dunkl operators in the corresponding quotient modules of the polynomial representation. This gives known and new generalized Macdonald-Ruijsenaars systems. Thus in the cases of DAHAs of types A_n and (C_n^\vee,C_n) we deri…
We modify and give complete proofs for the results of Etingof-Schiffmann-Varchenko on traces of intertwiners of untwisted quantum affine algebras in the opposite coproduct and the standard grading. More precisely, we show that certain normalized generalized traces for $U_q(\hat{\mathfrak{g}})$ solve four commuting systems of q-difference equations: the Macdonald-Ruijsenaars, dual Macdonald-Ruijsenaars, q-KZB, and dual q-KZB equations. In addition, we show a symmetry property for these renormalized trace functions. Our modifications are motivated by their appearance in recent work of the author…
We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $κ=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $κ=t^{-1/N}$, which can be regarded as a natural elliptic lift of the asymptotic Macdonald functions to the multivariate elliptic hypergeometric series. We also investigate some properties of the vertex operator of the DIM…
We study the $q$-analogue of the Haldane-Shastry model, a partially isotropic (XXZ-like) long-range spin chain that enjoys quantum-affine (really: quantum-loop) symmetries at finite size. We derive the pairwise form of the Hamiltonian, found by one of us building on work of Uglov, via 'freezing' from the affine Hecke algebra. We obtain explicit expressions for the spin-analogue of Macdonald operators. Through freezing these yield the higher Hamiltonians of the spin chain, including a Hamiltonian of the opposite chirality. The sum of the two chiral Hamiltonians has a real spectrum also for $q$ …
We introduce a new elliptic quantum toroidal algebra $U_{q,t,p}(gl_{1,tor})$. Various representations in the quantum toroidal algebra $U_{q,t}(gl_{1,tor})$ are extended to the elliptic case including the level (0,0) representation realized by using the elliptic Ruijsenaars difference operator. Intertwining operators of $U_{q,t,p}(gl_{1,tor})$-modules w.r.t. the Drinfeld comultiplication are also constructed. We show that $U_{q,t,p}(gl_{1,tor})$ gives a realization of the affine quiver $W$-algebra $W_{q,t}(Γ(\widehat{A}_0))$ proposed by Kimura-Pestun. This realization turns out to be useful to …
We use the double affine Hecke algebra of type GL_N to construct an explicit consistent system of q-difference equations, which we call the bispectral quantum Knizhnik-Zamolodchikov (BqKZ) equations. BqKZ includes, besides Cherednik's quantum affine KZ equations associated to principal series representations of the underlying affine Hecke algebra, a compatible system of q-difference equations acting on the central character of the principal series representations. We construct a meromorphic self-dual solution Φof BqKZ which, upon suitable specializations of the central character, reduces to sy…
In this paper we study twisted traces of products of intertwining operators for quantum affine algebras. They are interesting special functions, depending on two weights lambda, mu, three scalar parameters q, omega, k, and spectral parameters z_1,...,z_N, which may be regarded as q-analogs of conformal blocks of the Wess-Zumino-Witten model on an elliptic curve. It is expected that in the rank 1 case they essentially coincide with the elliptic hypergeometric functions defined in math.QA/0110081. Our main result is that after a suitable renormalization the traces satisfy four systems of differe…
Starting with nonsymmetric global difference spherical functions, we define and calculate spinor (nonsymmetric) global q-Whittaker functions for arbitrary reduced root systems, which are reproducing kernels of the DAHA-Fourier transforms of Nil-DAHA and solutions of the q-Toda-Dunkl eigenvalue problem. We introduce the spinor q-Toda-Dunkl operators as limits of the difference Dunkl operators in DAHA theory under the spinor variant of the Ruijsenaars procedure. Their general algebraic theory (any reduced root systems) is the key part of this paper, based on the new technique of W-spinors and co…
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…
We study modular transformation properties of a class of indefinite theta series involved in characters of infinite-dimensional Lie superalgebras. The \textit{level-$\ell$ Appell functions} $K_\ell$ satisfy open quasiperiodicity relations with additive theta-function terms emerging in translating by the ``period.'' Generalizing the well-known interpretation of theta functions as sections of line bundles, the $K_\ell$ function enters the construction of a section of a rank-$(\ell+1)$ bundle $V(\ell,τ)$. We evaluate modular transformations of the $K_\ell$ functions and construct the action of an…
In the theory of the Nil-DAHA Fourier transform, the inner products of q-Hermite polynomials for the measure function multiplied by a level one theta function are the key. They are used to obtain expansions of products of any number of such theta functions in terms of the q-Hermite polynomials. An ample family of modular functions satisfying Rogers-Ramanujan type identities for arbitrary (reduced, twisted) affine root systems is obtained as an application. A relation to Rogers dilogarithm and Nahm's conjecture is discussed. Some of our q-series can be identified with known ones, but their inte…
We show that the traces of $U_q(\widehat{\mathfrak{sl}}_2)$-intertwiners of Etingof-Schiffmann-Varchenko valued in the three-dimensional evaluation representation converge in a certain region of parameters and give a representation-theoretic construction of Felder-Varchenko's hypergeometric solutions to the $q$-KZB heat equation. This gives the first proof that such a trace function converges and resolves the first case of the Etingof-Varchenko conjecture. As applications, we prove a symmetry property for traces of intertwiners and prove Felder-Varchenko's conjecture that their elliptic Macdon…
