In this paper we derive the bi-orthogonality relations, diagonal term evaluations and evaluation formulas for the non-symmetric Koornwinder polynomials. For the derivation we use certain representations of the (double) affine Hecke algebra which were originally defined by Noumi and Sahi. The structure of the diagonal terms is clarified by expressing them as residues of the bi-orthogonality weight function. We furthermore give the explicit connection between the non-symmetric and the (anti-)symmetric theory.
In this paper, we study the polynomial representation of the double affine Hecke algebra of type $(C^\vee_n, C_n)$ for specialized parameters. Inductively and combinatorially, we give a linear basis of the representation in terms of linear combinations of non-symmetric Koornwinder polynomials. The basis consists of generalized eigenfunctions with respect to $q$-Dunkl-Cherednik operators $\hat{Y}_i$, and it gives a way to cancel out poles of non-symmetric Koornwinder polynomials. We examine irreducibility and $Y$-semisimplicity of the representation for the specialized parameters. For some case…
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 study the specializations of parameters in Koornwinder polynomials to obtain Macdonald polynomials associated to the subsystems of the affine root system of type $(C_n^\vee,C_n)$ in the sense of Macdonald (2003), and summarize them in what we call the specialization table. As a verification of our argument, we check the specializations to type $B,C$ and $D$ via Ram-Yip type formulas of non-symmetric Koornwinder and Macdonald polynomials.
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.
An overview of the basic results on Macdonald(-Koornwinder) polynomials and double affine Hecke algebras is given. We develop the theory in such a way that it naturally encompasses all known cases. Among the basic properties of the Macdonald polynomials we treat are the quadratic norm formulas, duality and the evaluation formulas. This text is a provisional version of a chapter on Macdonald polynomials for volume 5 of the Askey-Bateman project, entitled "Multivariable special functions".
We introduce the spin Hecke algebra, which is a q-deformation of the spin symmetric group algebra, and its affine generalization. We establish an algebra isomorphism which relates our spin (affine) Hecke algebras to the (affine) Hecke-Clifford algebras of Olshanski and Jones-Nazarov. Relation between the spin (affine) Hecke algebra and a nonstandard presentation of the usual (affine) Hecke algebra is displayed, and the notion of covering (affine) Hecke algebra is introduced to provide a link between these algebras. Various algebraic structures for the spin (affine) Hecke algebra are establishe…
Associated to the classical Weyl groups, we introduce the notion of degenerate spin affine Hecke algebras and affine Hecke-Clifford algebras. For these algebras, we establish the PBW properties, formulate the intertwiners, and describe the centers. We further develop connections of these algebras with the usual degenerate (i.e. graded) affine Hecke algebras of Lusztig by introducing a notion of degenerate covering affine Hecke algebras.
Inspired by the work of Rostam, we establish an explicit categorical equivalence between affine Yokonuma-Hecke algebras and quiver Hecke algebras associated to disjoint copies of quivers of (affine) type $A,$ generalizing Rouquier's categorical equivalence theorem.
The notion of rational spin double affine Hecke algebras (sDaHa) and rational double affine Hecke-Clifford algebras (DaHCa) associated to classical Weyl groups are introduced. The basic properties of these algebras such as the PBW basis and Dunkl operator representations are established. An algebra isomorphism relating the rational DaHCa to the rational sDaHa is obtained. We further develop a link between the usual rational Cherednik algebra and the rational sDaHa by introducing a notion of rational covering double affine Hecke algebras.
In the previous paper "Symmetric Crystals and Affine Hecke Algebras of Type B", we formulated a conjecture on the relations between certain classes of irreducible representations of affine Hecke algebras of type B and symmetric crystals for $\gl_\infty$. In the first half of this paper (sections 2 and 3), we give a survey of the LLTA type theorem of the affine Hecke algebra of type $A$. In the latter half (sections 4, 5 and 6), we review the construction of the symmetric crystals and the LLTA type conjectures for the affine Hecke algebra of type $B$.
Quantized Howe-type dualities via Koornwinder polynomials and the X=K phenomenon
Institut Camille Jordan, Lyon 1 University（里昂第一大学）；Department of Mathematics, University of Pittsburgh（匹兹堡大学）；Institut Denis Poisson, University of Tours（图尔大学）；Department of Mathematics and Statistics, State University of New York at Albany（纽约州立大学奥尔巴尼分校）
Let $k$ be a field and suppose $p, q\in k$. We prove that the two affine Hecke algebras $H_q$ and $H_p$ of type $A_n$ are isomorphic as $k$-algebras if and only if $p=q^{\pm 1}$.
An affine Hecke algebras can be realized as an equivariant K-group of the corresponding Steinberg variety. This gives rise naturally to some two-sided ideals of the affine Hecke algebra by means of the closures of nilpotent orbits of the corresponding Lie algebra. In this paper we will show that the two-sided ideals are in fact the two-sided ideals of the affine Hecke algebra defined through two-sided cells of the corresponding affine Weyl group after the two-sided ideals are tensored by rational numbers field. This proves a weak form of a conjecture of Ginzburg proposed in 1987.
We introduce an odd double affine Hecke algebra (DaHa) generated by a classical Weyl group W and two skew-polynomial subalgebras of anticommuting generators. This algebra is shown to be Morita equivalent to another new DaHa which are generated by W and two polynomial-Clifford subalgebras. There is yet a third algebra containing a spin Weyl group algebra which is Morita (super)equivalent to the above two algebras. We establish the PBW properties and construct Verma-type representations via Dunkl operators for these algebras.
We introduce a new class (in two versions) of rational double affine Hecke algebras (DaHa) associated to the spin symmetric group. We establish the basic properties of the algebras, such as PBW and Dunkl representation, and connections to Nazarov's degenerate affine Hecke-Clifford algebra and to a new degenerate affine Hecke algebra introduced here. We formulate a Morita equivalence between the two versions of rational DaHa's. The trigonometric generalization of the above constructions is also formulated and its relation to the rational counterpart is established.
A method is suggested for obtaining the Plancherel measure for Affine Hecke Algebras as a limit of integral-type formulas for inner products in the polynomial and related modules of Double Affine Hecke Algebras. The analytic continuation necessary here is a generalization of "picking up residues" due to Arthur, Heckman, Opdam and others, which can be traced back to Hermann Weyl. Generally, it is a finite sum of integrals over double affine residual subtori; a complete formula is presented for $A_1$ in the spherical case.
In this article, we define an algebraic version of the Knizhnik--Zamolodchikov functor for the degenerate double affine Hecke algebras (a.k.a. trigonometric Cherednik algebras). We compare it with the KZ monodromy functor constructed by Varagnolo--Vasserot. We prove the double centraliser property for our functor and give a characterisation of its kernel. We establish these results for a family of algebras, called quiver double Hecke algebras, which includes the degenerate double affine Hecke algebras as special cases.
We establish a q-generalization of Gordon's theorem that the space of diagonal coinvariants has a quotient identified with a perfect representation of the rational double affine Hecke algebra. It leads to a simple proof of his theorem and relates it to the Weyl algebras at roots of unity. The universal double affine Hecke algebra and the corresponding universal double Dunkl operators acting in noncommutative polynomials in terms of two sets of variables are introduced.
We give an explicit criterion for the irreducibility of some induction products of evaluation modules of affine Hecke algebras of type A. This allows to describe the form of the singularities of the trigonometric R-matrix associated to any evaluation module of U_v(sl^_N).
Nonsymmetric Koornwinder polynomials are multivariable extensions of nonsymmetric Askey-Wilson polynomials. They naturally arise in the representation theory of (double) affine Hecke algebras. In this paper we discuss how nonsymmetric Koornwinder polynomials naturally arise in the theory of the Heisenberg XXZ spin-$\frac{1}{2}$ chain with general reflecting boundary conditions. A central role in this story is played by an explicit two-parameter family of spin representations of the two-boundary Temperley-Lieb algebra. These spin representations have three different appearances. Their original …
We introduce and study an affine analogue of skew Young diagrams and tableaux on them. It turns out that the double affine Hecke algebra of type $A$ acts on the space spanned by standard tableaux on each diagram. It is shown that the modules obtained this way are irreducible, and they exhaust all irreducible modules of a certain class over the double affine Hecke algebra. In particular, the classification of irreducible modules of this class, announced by Cherednik, is recovered.
The Lascoux-Leclerc-Thibon conjecture, reformulated and solved by S. Ariki, asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with the Lie algebra $gl_\infty$ or the affine Lie algebra $A^{(1)}_\ell$, and the irreducible representations correspond to the upper global bases. In this note, we formulate analogous conjectures for certain classes of irreducible representations of affine Hecke algebras of type B. We corrected typos.
We study a class of representations called ``calibrated representations'' of the degenerate double affine Hecke algebra and those of the rational Cherednik algebra of type ${\mathrm{GL}}_n$. We give a realization of calibrated irreducible modules as spaces of coinvariants constructed from integrable modules over the affine Lie algebra $\hat{\mathfrak{gl}}_m$. Moreover, we give a character formula of these irreducible modules in terms of a level-restricted Kostka polynomials. These results were conjectured by Arakawa, Suzuki and Tsuchiya based on the conformal field theory. The proofs using rec…
The Lascoux-Leclerc-Thibon-Ariki theory asserts that the K-group of the representations of the affine Hecke algebras of type A is isomorphic to the algebra of functions on the maximal unipotent subgroup of the group associated with a Lie algebra $g$ where $g$ is $gl_\infty$ or the affine Lie algebra $A^{(1)}_\ell$, and the irreducible representations correspond to the upper global bases. Recently, N. Enomoto and the first author presented the notion of symmetric crystals and formulated analogous conjectures for the affine Hecke algebras of type B. In this note, we present similar conjectures f…
According to Kazhdan-Lusztig and Ginzburg, the Hecke algebra of an affine Weyl group is identified with the equivariant $K$-group of Steinberg's triple variety. The $K$-group is equipped with a filtration indexed by closed $G$-stable subvarieties of the nilpotent variety, where $G$ is the corresponding reductive algebraic group over $\mathbb{C}$. In this paper we will show in the case of type $A$ that the filtration is compatible with the Kazhdan-Lusztig basis of the Hecke algebra.
We prove that the quotient of the polynomial representation of the double affine Hecke algebra (DAHA) by the radical of the duality pairing is always irreducible assuming that it is finite dimensional (apart from the roots of unity). We also find necessary and sufficient conditions for the radical to be zero, which is a q-generalization of Opdam's formula for the singular k-parameters with the multiple zero-eigenvalues of the corresponding Dunkl operators.
The notion of trigonometric spin double affine Hecke algebras (tsDaHa) and trigonometric double affine Hecke-Clifford algebras (tDaHCa) associated to classical Weyl groups are introduced. The PBW basis property is established. An algebra isomorphism relating tDaHCa to tsDaHa is obtained.
We study a Laurent polynomial representation $V$ of the double affine Hecke algebra of type $GL_n$ for specialized parameters $t^{k+1}q^{r-1}=1$. We define a series of subrepresentations of $V$ by using a vanishing condition. For some cases, we give an explicit basis of the subrepresentation in terms of nonsymmetric Macdonald polynomials. These results are nonsymmetric versions of \cite{FJMM} and \cite{KMSV}.
We build representations of the affine and double affine braid groups and Hecke algebras of type $C^\vee C_n$, based upon the theory of quantum symmetric pairs $(U,B)$. In the case $U=U_q(gl_N)$, our constructions provide a quantization of the representations constructed by Etingof, Freund and Ma in arXiv:0801.1530, and also a type $BC$ generalization of the results in arXiv:0805.2766.
We study a class of representations over the degenerate double affine Hecke algebra of gl_n by an algebraic method. As fundamental objects in this class, we introduce certain induced modules and study some of their properties. In particular, it is shown that these induced modules have unique simple quotient modules under certain conditions. Moreover, we show that any simple module in this class is obtained as such a simple quotient, and give a classification of all the simple modules.
In the paper, we introduce and calculate difference Fourier transforms on representations of the double affine Hecke algebras in polynomilas, polynomials multiplied by the Gaussian, and various spaces of delta-functions including finite-dimensional ones, give a general description of the semisimple representations with a special consideration of the GL-case, and then gradually restrict ourselves with spherical, pseudo-unitary, and Fourier-invariant representations. The latter generalize the Verlinde algebras and lead to new Gauss-Selberg sums and Macdonald's eta-type identities.
Let $H$ be a generic affine Hecke algebra (Iwahori-Matsumoto definition) over a polynomial algebra with a finite number of indeterminates over the ring of integers. We prove the existence of an integral Bernstein-Lusztig basis related to the Iwahori-Matsumoto basis by a strictly upper triangular matrix, from which we deduce that the center $Z$ of $H$ is finitely generated and that $H$ is a finite type $Z$-module (this was proved after inversion of the parameters by Bernstein-Lusztig), and we give some applications to the theory of $H$-modules where the parameters act by 0. These results are re…
Let ${\mathsf F}$ be the Schur functor from the category of finite dimensional ${\mathcal H}_{\vartriangle}(r)_\mathbb C$-modules to the category of finite dimensional ${\mathcal S}_{\vartriangle}(n,r)_{\mathbb{C}}$-modules, where ${\mathcal H}_{\vartriangle}(r)_\mathbb C$ is the extended affine Hecke algebra of type $A$ over ${\mathbb C}$ and ${\mathcal S}_{\vartriangle}(n,r)_{\mathbb{C}}$ is the affine quantum Schur algebras over $\mathbb{C}$. The Drinfeld polynomials associated with ${\mathsf F}(V)$ were determined in \cite[7.6]{CP96} and \cite[4.4.2]{DDF} in the case of $n>r$, where $V$ is…
We present a construction of invariants for links using an isomorphism theorem for affine Yokonuma--Hecke algebras. The isomorphism relates affine Yokonuma--Hecke algebras with usual affine Hecke algebras. We use it to construct a large class of Markov traces on affine Yokonuma--Hecke algebras, and in turn, to produce invariants for links in the solid torus. By restriction, this construction contains the construction of invariants for classical links from classical Yokonuma--Hecke algebras. In general, the obtained invariants form an infinite family of 3-variables polynomials. As a consequence…
In this article, we define and study the affine and cyclotomic Yokonuma-Hecke algebras. These algebras generalise at the same time the Ariki-Koike and affine Hecke algebras and the Yokonuma-Hecke algebras. We study the representation theory of these algebras and construct several bases for them. We then show how we can define Markov traces on them, which we in turn use to construct invariants for framed and classical knots in the solid torus. Finally, we study the Markov trace with zero parameters on the cyclotomic Yokonuma-Hecke algebras and determine the Schur elements with respect to that t…
The main aim of the paper is to formulate and prove a result about the structure of double affine Hecke algebras which allows its two commutative subalgebras to play a symmetric role. This result is essential for the theory of intertwiners of double affine Hecke algebras.
A criterion of irreducibility for induction products of evaluation modules of type A affine Hecke algebras is given. It is derived from multiplicative properties of the canonical basis of a quantum deformation of the Bernstein-Zelevinsky ring.
We construct a model of the affine nil-Hecke algebra as a subalgebra of the Nichols-Woronowicz algebra associated to a Yetter-Drinfeld module over the affine Weyl group. We also discuss the Peterson isomorphism between the homology of the affine Grassmannian and the small quantum cohomology ring of the flag variety in terms of the braided differential calculus.
We categorify the extended affine Hecke algebra and the affine quantum Schur algebra S(n,r) for 2 < r < n, using Elias-Khovanov and Khovanov-Lauda type diagrams. We also define the affine analogue of the Elias-Khovanov and the Khovanov-Lauda 2-representations of these categorifications into an extension of the 2-category of affine (singular) Soergel bimodules.
The so called quantized algebras of functions on affine Hecke algebras of type A and the corresponding q-Schur algebras are defined and their irreducible unitarizable representations are classified.
We give an explicit expression for the central elements of affine Hecke algebras of type A in the Coxeter presentation, in terms of (parabolic) affine Kazhdan-Lusztig polynomials. Our approach is based on a version of quantum affine Schur-Weyl duality involving the Hall algebra of a cyclic quiver, on the theory of canonical bases and on the higher-level q-deformed Fock spaces recently introduced by Uglov.
In this paper we categorify the Heisenberg action on the Fock space via the category O of cyclotomic rational double affine Hecke algebras. This permits us to relate the filtration by the support on the Grothendieck group of O to a representation theoretic grading defined using the Heisenberg action. This implies a recent conjecture of Etingof.
In this paper we show that an affine Hecke algebra $H_q$ over complex numbers field with parameter $q\ne 1$ is not isomorphic to the group algebra over complex numbers field of the corresponding extend affine Weyl group if the corresponding root system has no factors of type $A_1$ and the order of $q$ is different from 11 and 13 if the root system has factors of type $E_8$.
Recently Cherednik and Feigin obtained several Rogers-Ramanujan type identities via the nilpotent double affine Hecke algebras (Nil-DAHA). These identities further led to a series of dilogarithm identities, some of which are known, while some are left conjectural. We confirm and explain all of them by showing the connection with Y-systems associated with (untwisted and twisted) quantum affine Kac-Moody algebras.
We study a BGG-type category of infinite dimensional representations of H[W], a semi-direct product of the quantum torus with parameter `q' built on the root lattice of a semisimple group G, and the Weyl group of G. Irreducible objects of our category turn out to be parameterized by semistable G-bundles on the elliptic curve C^*/q^Z. In the second part of the paper we construct a family of algebras depending on a parameter `v' that specializes to H[W] at v=0, and specializes to the double-affine Hecke algebra introduced by Cherednik, at v=1. We propose a Deligne-Langlands-Lusztig type conjectu…
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n…
We construct the representation of Double Affine Hecke Algebra whose symmetrization gives the center of the quantum group U_q(sl(2)) and by Kazhdan--Lusztig duality the Verlinde algebra of (1,p) models of logarithmic conformal field theory.
We introduce a modified affine Hecke algebra $\h{H}^{+}_{qη}({l})$ ($\h{H}_{qη}({l})$) which depends on two deformation parameters $q$ and $η$. When the parameter $η$ is equal to zero the algebra $\h{H}_{qη=0}(l)$ coincides with the usual affine Hecke algebra $\h{H}_{q}(l)$ of type $A_{l-1}$, if the parameter q goes to 1 the algebra $\h{H}^{+}_{q=1η}(l)$ is isomorphic to the degenerate affine Hecke algebra $\Lm_η(l)$ introduced by Drinfeld. We construct a functor from a category of representations of $H_{qη}^{+}(l)$ into a category of representations of Drinfeldian $D_{qη}(sl(n+1))$ which has …
We construct the scattering matrices for an arbitrary Weyl group in terms of elementary operators which obey the generalised Yang-Baxter equation. We use this construction to obtain the affine Hecke algebras. The center of the affine Hecke algebras coincides with commuting Hamiltonians. These Hamiltonians have q-deformed affine Lie algebras as symmetry algebra.
