Frenkel-Reshetikhin introduced $q$-characters of finite dimensional representations of quantum affine algebras. We give a combinatorial algorithm to compute them for all simple modules. Our tool is $t$-analogue of the $q$-characters, which is similar to Kazhdan-Lusztig polynomials, and our algorithm has a resemblance with their definition.
We construct quantized versions of generic bases in quantum cluster algebras of finite and affine types. Under the specialization of $q$ and coefficients to 1, these bases are generic bases of finite and affine cluster algebras.
We prove an analogue of the Sylvester theorem for the generator matrices of the quantum affine algebra ${\rm U}_q(\hat{\mathfrak{gl}}_n)$. We then use it to give an explicit realization of the skew representations of the quantum affine algebra. This allows one to identify them in a simple way by calculating their highest weight, Drinfeld polynomials and the Gelfand-Tsetlin character (or $q$-character). We also apply the quantum Sylvester theorem to construct a $q$-analogue of the Olshanski algebra as a projective limit of certain centralizers in ${\rm U}_q(\mathfrak{gl}_n)$ and show that this …
Affine analogue of Jack's polynomials introduced by Etingof and Kirillov Jr. is studied for the case of \hat{sl}_2. Using the Wakimoto representation, we give an integral formula of elliptic Selberg type for the affine Jack's polynomials. From this integral formula, the action of SL_2(Z) on the space of the affine Jack's polynomials is computed. For simple cases, we write down the affine Jack's polynomials in terms of some modular and elliptic functions.
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 paper is concerned with one-dimensional sums in classical affine types. We prove a conjecture of the third author and Zabrocki by showing they all decompose in terms of one-dimensional sums related to affine type A provided the rank of the root system considered is sufficiently large. As a consequence, any one-dimensional sum associated to a classical affine root system with sufficiently large rank can be regarded as a parabolic Lusztig q-analogue.
We consider an eigenvalue problem for a discrete analogue of the Hamiltonian of the non-ideal Bose gas with delta-potentials on a circle. It is a two-parameter deformation of the discrete Hamiltonian for joint moments of the partition function of the O'Connell-Yor semi-discrete polymer. We construct the propagation operator by using integral-reflection operators, which give a representation of the affine Hecke algebra. We also construct eigenfunctions by means of the Bethe ansatz method.
We study a $q$-deformation for the semi-direct product of the symmetric group $S_n$ with the Clifford algebra on $n$ anticommuting generators. We obtain a $q$-version of the projective analogue for the classical Young symmetrizer found by the second author [Adv. Math. 127(1997), 190-257]. Our main tool is an analogue of the Hecke algebra of complex valued functions on the group $GL_{n}$ over a $p$-adic field relative to the Iwahori subgroup.
We prove the rank 1 case of a conjecture of Frenkel-Gaitsgory: critical level Kac-Moody representations with regular central characters localize onto the affine Grassmannian. The method uses an analogue in local geometric Langlands of the existence of Whittaker models for most representations of $GL_2$ over a non-Archimedean field.
In this paper we complete the proof of the X=K conjecture, that for every family of nonexceptional affine algebras, the graded multiplicities of tensor products of symmetric power Kirillov-Reshetikhin modules known as one-dimensional sums, have a large rank stable limit X that has a simple expression (called the K-polynomial) as nonnegative integer combination of Kostka-Foulkes polynomials. We consider a subfamily of Lusztig's q-analogues of weight multiplicity which we call stable KL polynomials and denote by KL. We give a type-independent proof that K=KL. This proves that X=KL: the family of…
We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our al…
In this paper, we obtain affine analogues of Gindikin-Karpelevich formula and Casselman-Shalika formula as sums over Kashiwara-Lusztig's canonical bases. Suggested by these formulas, we define natural $q$-deformation of arithmetical functions such as (multi-)partition function and Ramanujan $τ$-function, and prove various identities among them. In some examples, we recover classical identities by taking limits. We also consider $q$-deformation of Kostant's function and study certain $q$-polynomials whose special values are weight multiplicities.
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.
We describe a generalization of Drinfeld's description of the center of a quantum group to the case of quantum affine algebras. We use the obtained central elements to construct the affine analogue of Macdonald's difference operators.
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.
We introduce a new approach to the study of finite-dimensional representations of the quantum group of the affine Lie superalgebra $\mathrm{L}\mathfrak{gl}_{M|N}=\mathbb{C}[t,t^{-1}]\otimes\mathfrak{gl}_{M|N}$ ($M\neq N$). We explain how the representations of the quantum group of $\mathrm{L}\mathfrak{gl}_{M|N}$ are directly related to those of the quantum affine algebra of type $A$, using an exact monoidal functor called truncation. This can be viewed as an affine analogue of super duality of type $A$.
We give some higher dimensional analogues of the Durfee square formula and point out their relation to dissections of multipartitions. We apply the results to write certain affine Lie algebra characters in terms of Universal Chiral Partition Functions.
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…
We define the categories of weight-finite modules over the type $\mathfrak a_1$ quantum affine algebra $\dot{\mathrm{U}}_q(\mathfrak a_1)$ and over the type $\mathfrak a_1$ double quantum affine algebra $\ddot{\mathrm{U}}_q(\mathfrak a_1)$ that we introduced in a previous paper. In both cases, we classify the simple objects in those categories. In the quantum affine case, we prove that they coincide with the simple finite-dimensional $\dot{\mathrm{U}}_q(\mathfrak a_1)$-modules which were classified by Chari and Pressley in terms of their highest (rational and $\ell$-dominant) $\ell$-weights or…
We study imaginary representations of the Khovanov-Lauda-Rouquier algebras of affine Lie type. Irreducible modules for such algebras arise as simple heads of standard modules. In order to define standard modules one needs to have a cuspidal system for a fixed convex preorder. A cuspidal system consists of irreducible cuspidal modules---one for each real positive root for the corresponding affine root system ${\tt X}_l^{(1)}$, as well as irreducible imaginary modules---one for each $l$-multipartition. We study imaginary modules by means of `imaginary Schur-Weyl duality'. We introduce an imagina…
We consider principal subspace W(Λ) of integrable highest weight module L(Λ) for quantum affine algebra $U_q(\hat{\mathfrak{sl}}_{n+1})$. We introduce quantum analogues of the quasi-particles associated with the principal subspaces for $\hat{\mathfrak{sl}}_{n+1}$ and discover certain relations among them. By using these relations we find, for certain highest weight Λ, combinatorial bases of principal subspace W(Λ) in terms of monomials of quantum quasi-particles.
Koenig and Xi introduced {\em affine cellular algebras}. Kleshchev and Loubert showed that an important class of {\em infinite dimensional} algebras, the KLR algebras $R(Γ)$ of finite Lie type $Γ$, are (graded) affine cellular; in fact, the corresponding affine cell ideals are idempotent. This additional property is reminiscent of the properties of {\em quasihereditary algebras} of Cline-Parshall-Scott in a {\em finite dimensional} situation. A fundamental result of Cline-Parshall-Scott says that a finite dimensional algebra $A$ is quasihereditary if and only if the category of finite dimensio…
A representation of the Quantum Toroidal Algebra of type sl(N) is constructed on every irreducible integrable highest weight module of the Quantum Affine Algebra of type gl(N). As an intermediate step in the construction, we obtain a quantum analogue of the classical level-rank duality, describing the reciprocal decomposition of the q-Fock space with respect to mutually commutative actions of U_q(gl(N)^) of level L, and U_q(sl(L)^) of level N.
We introduce a family of dynamical Hopf algebroids $U_{q,p}(g,X_l)$ depending on a complex parameter $q$, a formal parameter $p$, a set $g$ of structure functions satisfying the so-called Ding-Iohara condition, and a finite root system of type $X_l$. If $g$ is set to be certain theta functions, then our family recovers the elliptic algebras $U_{q,p}(\widehat{\mathfrak{g}})$ for untwisted affine Lie algebras $\widehat{\mathfrak{g}}$ studied by Konno (1998, 2009), Jimbo-Konno-Odake-Shiraishi (1999) and Farghly-Konno-Oshima (2014). Also, taking the limit $p \to 0$ in the case $X_l=A_l$, we recove…
We introduce and study holomorphically finitely generated (HFG) Fréchet algebras, which are analytic counterparts of affine (i.e., finitely generated) $\mathbb C$-algebras. Using a theorem of O. Forster, we prove that the category of commutative HFG algebras is anti-equivalent to the category of Stein spaces of finite embedding dimension. We also show that the class of HFG algebras is stable under some standard constructions. This enables us to give a series of concrete examples of HFG algebras, including Arens-Michael envelopes of affine algebras (such as the algebras of holomorphic functions…
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 give a construction of an affine Hecke algebra associated to any Coxeter group acting on an abelian variety by reflections; in the case of an affine Weyl group, the result is an elliptic analogue of the usual double affine Hecke algebra. As an application, we use a variant of the $\tilde{C}_n$ version of the construction to construct a flat noncommutative deformation of the $n$th symmetric power of any rational surface with a smooth anticanonical curve, and give a further construction which conjecturally is a corresponding deformation of the Hilbert scheme of points.
We propose a method of quantization of certain Lie bialgebra structures on the polynomial Lie algebras related to quasi-trigonometric solutions of the classical Yang--Baxter equation. The method is based on an affine realization of certain seaweed algebras and their quantum analogues. We also propose a method of $ω$-affinization, which enables us to quantize rational $r$-matrices of $\mathfrak{sl}(3)$.
Frenkel and Reshetikhin introduced screening operators related to q-characters of finite dimensional representations of quantum affine algebras. We propose t-analogs of screening operators related to Nakajima's q,t-characters with the same properties of symmetry. Nakajima introduced non-commutative rings, so we propose bimodules. Our construction uses only combinatorial definition of q,t-characters, and therefore can be extended to the non-simply laced case.
We examine two isomorphisms between affine Hecke algebras of type $A$ associated with parameters $q^{-1}$, $t^{-1}$ and $q$, $t$. One of them maps the non-symmetric Macdonald polynomials $E_η(x;q^{-1},t^{-1})$ onto $E_η(x;q,t)$, while the other maps them onto non-symmetric analogues of the multivariable Al-Salam & Carlitz polynomials. Using the properties of $E_η(x;q^{-1},t^{-1})$, the corresponding properties of these latter polynomials can then be elucidated.
Evaluation-type deformed modules over the quantum affine vertex algebras of type $A$
Dipartimento di Matematica, Sapienza Università di Roma(罗马大学数学系);INFN sezione di Roma(罗马国家核物理研究所);University of Zagreb Faculty of Science, Department of Mathematics(萨格勒布大学理学院数学系)
We construct boundary type operators satisfying fused reflection equation for arbitrary representations of the Baxterized affine Hecke algebra. These operators are analogues of the fused reflection matrices in solvable half-line spin chain models. We show that these operators lead to a family of commuting transfer matrices of Sklyanin type. We derive fusion type functional relations for these operators for two families of representations.
We introduce a new family of symmetric functions, which are $q$-analogues of products of Schur functions defined in terms of ribbon tableaux. These functions can be interpreted in terms of the Fock space representation of the quantum affine algebra of type $A_{n-1}^{(1)}$ and are related to Hall-Littlewood functions via the geometry of flag varieties. We present a series of conjectures, and prove them in special cases. The essential step in proving that these functions are actually symmetric consists in the calculation of a basis of highest weight vectors of the $q$-Fock space using ribbon tab…
We use Kazhdan-Lusztig tensoring to, first, describe annihilating ideals of highest weight modules over an affine Lie algebra in terms of the corresponding VOA and, second, to classify tilting functors, an affine analogue of projective functors known in the case of a simple Lie algebra. For the sake of completeness, the classification of annihilating ideals is borrowed from our previous work, q-alg/9711011; the part on tilting functors is new.
We introduce an analogue of the $q$-Schur algebra associated to Coxeter systems of type $\hat A_{n-1}$. We give two constructions of this algebra. The first construction realizes the algebra as a certain endomorphism algebra arising from an affine Hecke algebra of type $\hat A_{r-1}$, where $n \geq r$. This generalizes the original $q$-Schur algebra as defined by Dipper and James, and the new algebra contains the ordinary $q$-Schur algebra and the affine Hecke algebra as subalgebras. Using this approach we can prove a double centralizer property. The second construction realizes the affine $q$…
Extending the work arXiv:math/0508107, we introduce the affine crystal action on rigged configurations which is isomorphic to the Kirillov-Reshetikhin crystal B^{r,s} of type D_n^(1) for any r,s. We also introduce a representation of B^{r,s} (r not equal to n-1,n) in terms of tableaux of rectangular shape r x s, which we coin Kirillov-Reshetikhin tableaux (using a non-trivial analogue of the type A column splitting procedure) to construct a bijection between elements of a tensor product of Kirillov-Reshetikhin crystals and rigged configurations.
We prove a system of relations in the Grothendieck ring of the category O of representations of the Borel subalgebra of an untwisted quantum affine algebra U_q(g^) introduced in [HJ]. This system was discovered in [MRV1, MRV2], where it was shown that solutions of this system can be attached to certain affine opers for the Langlands dual affine Kac-Moody algebra of g^, introduced in [FF5]. Together with the results of [BLZ3, BHK], which enable one to associate quantum g^-KdV Hamiltonians to representations from the category O, this provides strong evidence for the conjecture of [FF5] linking t…
We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces. We study quantum Boolean algebras from the logical and set theoretical viewpoints.