The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{\mathfrak g})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a direct sum of indecomposable subcategorie (blocks). We define the elliptic central character of a finite dimensional (type 1) representation of $U_q(\hat{\mathfrak g})$. Then we show that the block decomposition of this category is paramentrized by these elliptic central characters.
This is an exposition in order to give an explicit way to understand (1) a non-topological proof for an existence of a base of an affine root system, (2) a Serre-type definition of an elliptic Lie algebra with rank =>2, and (3) the isotropic root multiplicities of those elliptic Lie algebras.
We associate elliptic affine Lie algebras with what are called vertex $\C((z))$-algebras and their modules in a certain category. In the course, we construct two families of Lie algebras closely related to elliptic affine Lie algebras.
We build representations of the elliptic braid group from the data of a quantum D-module M over a ribbon Hopf algebra U. The construction is modelled on, and generalizes, similar constructions by Lyubashenko and Majid, and also certain geometric constructions of Calaque, Enriquez, and Etingof concerning trigonometric Cherednik algebras. In this context, the former construction is the special case where M is the basic representation, while the latter construction can be recovered as a quasi-classical limit of U=U_t(sl_N), as t limits 1. In the latter case, we produce representations of the doub…
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.
The elliptic-matrix quantum Olshanetsky-Perelomov problem is introduced for arbitrary root systems by means of an elliptic generalization of the Dunkl operators. Its equivalence with the double affine generalization of the Knizhnik-Zamolodchikov equation (in the induced representations) is established.
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.
There were some errors in paper hep-th/9303018 in formulas 6.1, 6.6, 6.8, 6.11. These errors have been corrected in the present version of this paper. There are also some minor changes in the introduction.
The purpose of this paper is to introduce and study a q-analogue of the holonomic system of differential equations associated to the Belavin's classical r-matrix (elliptic r-matrix equations), or, equivalently, to define an elliptic deformation of the quantum Knizhnik-Zamolodchikov equations of Frenkel and Reshetikhin. In hep-th 9303018, it was shown that solutions of the elliptic r-matrix equations admit a representation as traces of products of intertwining operators between certain modules over affine sl(N). In this paper, this construction is generalized to quantum affine sl(N). The main o…
Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$. In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ com…
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 …
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.
Quantum toroidal algebras (or double affine quantum algebras) are defined from quantum affine Kac-Moody algebras by using the Drinfeld quantum affinization process. They are quantum groups analogs of elliptic Cherednik algebras (elliptic double affine Hecke algebras) to whom they are related via Schur-Weyl duality. In this review paper, we give a glimpse on some aspects of their very rich representation theory in the context of general quantum affinizations. We illustrate with several examples. We also announce new results and explain possible further developments, in particular on finite dime…
We attach elliptic Dunkl operators to an abelian variety with a finite group action. This generalizes elliptic Dunkl operators for Weyl groups, defined by Buchstaber, Felder, and Veselov in 1994. We show that these operators commute, and use them to define representations from category O of elliptic Cherednik algebras. We also consider the monodromy representations of differential equations defined by elliptic Dunkl operators, and show that they yield finite dimensional rrepresentations of generalized double affine Hecke algebras.
The goal of this paper is to define a new class of objects which we call triple groups and to relate them with Cherednik's double affine Hecke algebras. This has as immediate consequences new descriptions of double affine Weyl and Artin groups, the double affine Hecke algebras as well as the corresponding elliptic objects. From the new descriptions we recover results of Cherednik on automorphisms of double affine Hecke algebras.
Drinfeld gave a current realization of the quantum affine algebras as a Hopf algebra with a simple comultiplication for the quantum current operators. In this paper, we will present a generalization of such a realization of quantum Hopf algebras. As a special case, we will choose the structure functions for this algebra to be elliptic functions to derive certain elliptic quantum groups as a Hopf algebra, which degenerates into quantum affine algebras if we take certain degeneration of the structure functions.
The representation theory of the Hopf algebroid $U_{q,x}(\widehat{sl_2})=U_{q,λ}(\widehat{sl_2})$ is initiated and it is established that the intertwiner between the tensor products of dynamical evaluation modules is a well-poised balanced $_{10}W_9$ symbol, confirming a conjecture of Konno, that the degeneration of the elliptic $_{12}V_{11}$ series to $_{10}W_9$ can be proven based on the representation theory of $U_{q,x}(\widehat{sl_2})$, the degeneration of the elliptic algebra $U_{q,p}(\widehat{sl_2})$ as $p \to 0$.
We give an explicit formula for the exchange matrix correponding to the tensor product of two copies of the natural (standard) evaluation representation of the quantum group associated to the affine Lie algebra of sl(n+1). Then we calculate the gauge trasformations that transforms it into Felder's elliptic solution of the quantum dynamical Yang-Baxter equation, for the proper parameters. All intermediate formulas are explicitly calculated.
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…
Cherednik attached to an affine Hecke algebra module a compatible system of difference equations, called quantum affine Knizhnik-Zamolodchikov (KZ) equations. In case of a principal series module we construct a basis of power series solutions of the quantum affine KZ equations. Relating the bases for different asymptotic sectors gives rise to a Weyl group cocycle, which we compute explicitly in terms of theta functions. For the spin representation of the affine Hecke algebra of type C the quantum affine KZ equations become the boundary qKZ equations associated to the Heisenberg spin-1/2 XXZ ch…
The purpose of this note is to define and construct highest weight modules for Felder's elliptic quantum groups. This is done by using exchange matrices for intertwining operators between (not necessarily finite-dimensional) modules over quantum affine algebras.
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…
Recently a new technique in the harmonic analysis on symmetric spaces was suggested based on certain remarkable representations of affine and double affine Hecke algebras in terms of Dunkl and Demazure operators instead of Lie groups and Lie algebras. In the classic case it resulted (among other applications) in a new theory of radial part of Laplace operators and their deformations including a related concept of the Fourier transform. In the present paper we demonstrate that the new technique works well even in the most general difference-elliptic case conjecturally corresponding to the $q$-K…
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…
The trigonometric quantized Knizhnik-Zamolodchikov equation (qKZ equation) associated with the quantum group $U_q(sl_2)$ is a system of linear difference equations with values in a tensor product of $U_q(sl_2)$ Verma modules. We solve the equation in terms of multidimensional $q$-hypergeometric functions and define a natural isomorphism between the space of solutions and the tensor product of the corresponding evaluation Verma modules over the elliptic quantum group $E_{ρ,γ}(sl_2)$, where parameters $ρ$ and $γ$ are related to the parameter $q$ of the quantum group $U_q(sl_2)$ and the step $p$ …
We construct a category of flat vector bundles on an elliptic curve. It arises in the representation theory of quantum affine algebras and carries meromorphic braided structure with singularities on the diagonal of the square of the curve.
We construct a realization of the elliptic quantum algebra $U_{q,p}(\hat{sl_N})$ for any given level $k$ in terms of free boson fields and their twisted partners. It can be considered as the elliptic deformation of the Wakimoto realization of the quantum affine algebra $U_{q}(\hat{sl_N})$. We also construct a family of screening currents, which commute with the currents of $U_{q,p}(\hat{sl_N})$ up to total q-differences. And we give explicit twisted expressions for the type $I$ and the type $II$ vertex operators of $U_{q,p}(\hat{sl_N})$ by twisting the known results of the type $I$ vertex oper…
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}(…
In this paper, we give a finite number of defining relations satisfied by a finite number of generators for the elliptic Lie algebras and superalgebras ${\frak g}_R$ with rank $\geq 2$. Here the $R$'s denote the reduced and non-reduced elliptic root systems with rank $\geq 2$. We also show that if ${\cal L}$ is an extended affine Lie algebra (EALA) whose non-isotropic roots form the $R$, then there exists a natural homomorphism ${\cal F}:{\frak g}_R \to{\cal L}$, which also give a universal central extension (UCE) surjective map from $[{\frak g}_R,{\frak g}_R]$ to the core of ${\cal L}$. (More…
Affine quantum groups are certain pseudo-quasitriangular Hopf algebras that arise in mathematical physics in the context of integrable quantum field theory, integrable quantum spin chains, and solvable lattice models. They provide the algebraic framework behind the spectral parameter dependent Yang-Baxter equation. One can distinguish three classes of affine quantum groups, each leading to a different dependence of the R-matrices on the spectral parameter: Yangians lead to rational R-matrices, quantum affine algebras lead to trigonometric R-matrices and elliptic quantum groups lead to elliptic…
In \cite{S} O. Schiffmann gave a presentation of the Drinfel'd double of the elliptic Hall algebra which is similar in spirit to Drinfel'd's new realization of quantum affine algebras. Using this result together with a part of his proof we can provide such a description for the elliptic Hall algebra.
Two new realizations, denoted $U_{q,x}(\widehat{gl_2})$ and $U(R_{q,x}(\widehat{gl_2}))$ of the trigonometric dynamical quantum affine algebra $U_{q,λ}(\widehat{gl_2})$ are proposed, based on Drinfeld-currents and $RLL$ relations respectively, along with a Heisenberg algebra $\left\{P,Q\right\}$, with $x=q^{2P}$. Here $P$ plays the role of the dynamical variable $λ$ and $Q=\frac{\partial}{\partial P}$. An explicit isomorphism from $U_{q,x}(\widehat{gl_2})$ to $U(R_{q,x}(\widehat{gl_2}))$ is established, which is a dynamical extension of the Ding-Frenkel isomorphism of $U_{q}(\widehat{gl_2})$ w…
In two earlier articles we constructed algebraic-geometric families of genus one (i.e. elliptic) Lie algebras of Krichever-Novikov type. The considered algebras are vector fields, current and affine Lie algebras. These families deform the Witt algebra, the Virasoro algebra, the classical current, and the affine Kac-Moody Lie algebras respectively. The constructed families are not equivalent (not even locally) to the trivial families, despite the fact that the classical algebras are formally rigid. This effect is due to the fact that the algebras are infinite dimensional. In this article the re…
We quantize the coordinate ring of the moduli space of B-bundles on the elliptic curve. Here B is a Borel subgroup of some semisimple Lie group. We construct some representations of these algebras and study intertwining operators for these representations. We apply our constructions to produce some objects: the elliptic Belavin R-matrix, the quantization of the algebra of functions on the Grassmannian, some generalized elliptic R-matrix. We consider also the affine case and write down the explicit formula for commuting elements.
We study a pair of commuting difference operators arising from the elliptic C_2^{(1)}-face model. The operators, whose coefficients are expressed in terms of the Jacobi's elliptic theta function, act on the space of meromorphic functions on the weight space of the C_2 type simple Lie algebra. We show that the space of functions spanned by the level one characters of the affine Lie algebra sp(4,C) is invariant under the action of the difference operators.
In order to construct the inverse mapping of the period mapping for the primitive form for the semi-universal deformation of a simple elliptic singularity, K.Saito introduced in [5] the ``flat structure'' for the extended affine root system. In section 3, we construct explicitly the flat theta invariants in the case of type $E_6$ using the Jacobi form introduced by Wirthmüller [7]. Combining the results of Kato [3], Noumi [4] (explicit description of the flat coordinates), this gives an answer to Jacobi's inversion problem (up to linear isomorphism) of this period mapping for a simple elliptic…
Hecke algebras are usually defined algebraically, via generators and relations. We give a new algebro-geometric construction of affine and double-affine Hecke algebras (the former is known as the Iwahori-Hecke algebra, and the latter was introduced by Cherednik [Ch1]). More generally, to any generalized Cartan matrix A and a point q in a 1-dimensional complex algebraic group \c we associate an associative algebra H. If A is of finite type and \c=C^*, the algebra H is the affine Hecke algebra of the corresponding finite root system. If A is of affine type and \c=C^* then H is, essentially, the …
We give a new presentation of the Drinfeld double of the elliptic Hall algebra introduced in a previous work with I. Burban. This presentation is similar in spirit to Drinfeld's `new realization' of quantum affine algebras. This answers, in the case of elliptic curves, a question of Kapranov concerning functional relations satisfied by (principal, unramified) Eisenstein series for the groups GL(n) over a function field. It also provides proofs of some recent conjectures of Feigin, Feigin, Jimbo, Miwa and Mukhin.
We study the first chiral homology group of elliptic curves with coefficients in vacuum insertions of a conformal vertex algebra V. We find finiteness conditions on V guaranteeing that these homologies are finite dimensional, generalizing the $C_2$-cofinite, or quasi-lisse condition in the degree 0 case. We determine explicitly the flat connections that these homologies acquire under smooth variation of the elliptic curve, as insertions of the conformal vector and the Weierstrass $ζ$ function. We construct linear functionals associated to self-extensions of V-modules and prove their convergenc…
We review nonabelian Poisson structures on affine and projective spaces over $\mathbb{C}$. We also construct a class of examples of nonabelian Poisson structures on $\mathbb{C} P^{n-1}$ for $n>2$. These nonabelian Poisson structures depend on a modular parameter $τ\in\mathbb{C}$ and an additional descrete parameter $k\in\mathbb{Z}$, where $1\leq k<n$ and $k,n$ are coprime. The abelianization of these Poisson structures can be lifted to the quadratic elliptic Poisson algebras $q_{n,k}(τ)$.
We derive the N-point one-loop correlation functions for the currents of an arbitrary affine Kac-Moody algebra. The one-loop amplitudes, which are elliptic functions defined on the torus Riemann surface, are specified by group invariant tensors and certain constant tau-dependent functions. We compute the elliptic functions via a generating function, and explicitly construct the invariant tensor functions recursively in terms of Young tableaux. The lowest tensors are related to the character formula of the representation of the affine algebra. These general current algebra loop amplitudes provi…
We study a pair of commuting difference operators arising from the elliptic solution of the dynamical Yang-Baxter equation of type C_2. The operators act on the space of meromorphic functions on the weight space of sp(4,C). We show that these operators can be identified with the system by van Diejen and by Komori-Hikami with special parameters. It turns out that our case can be related to the difference Lame operator (two-body Ruijsenaars operator) and thereby we diagonalize the system on the finite dimensional space spanned by the level one characters of the C_2^{(1)}-affine Lie algebra.
A self-contained description of algebraic structures, obtained by combinations of various limit procedures applied to vertex and face sl(2) elliptic quantum affine algebras, is given. New double Yangians structures of dynamical type are in particular defined. Connections between these structures are established. A number of them take the form of twist-like actions. These are conjectured to be evaluations of universal twists.
We prove the Kirillov-Reshetikhin conjecture concerning certain finite dimensional representations of a quantum affine algebra $\Ua$ when $\hat\g$ is an untwisted affine Lie algebra of type $ADE$. We use $t$--analog of $q$--characters introduced by the author in an essential way.
We generalize our analysis in [arXiv:1301.1977], and show that a 5d and 6d AGT correspondence for SU(N) -- which essentially relates the relevant 5d and 6d Nekrasov instanton partition functions to the integrable representations of a q-deformed and elliptic affine W_N-algebra -- can be derived, purely physically, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent. Via an appropriate defect, we also derive a "fully-ramified" version of the 5d and 6d AGT correspondence where integrable representations of a quantum and elliptic affin…
We give a tableaux sum expression of $t$--analog of $q$--characters of finite dimensional representations (standard modules) of quantum affine algebras $\Ul$ when $\g$ is of type $A_n$, $D_n$.
We reformurate a central extension of Felder's elliptic quantum group in the FRST formulation as a topological algebra E_{q,p}(gl_N) over the ring of formal power series in p. We then discuss the isomorphism between E_{q,p}(gl_N) and the elliptic algebra U_{q,p}(gl_N) of the Drinfeld realization. An evaluation H-algebra homomorphism from U_{q,p}(gl_N) to a dynamical extension of the quantum affine algebra U_q(gl_N) resolves the problem into the one discussed by Ding and Frenkel in the trigonometric case. We also provide some useful formulas for the elliptic quantum determinants.
We give an explicit description of the vector bundle of WZW conformal blocks on elliptic curves with marked points as subbundle of a vector bundle of Weyl group invariant vector valued theta functions on a Cartan subalgebra. We give a partly conjectural characterization of this subbundle in terms of certain vanishing conditions on affine hyperplanes. In some cases, explicit calculation are possible and confirm the conjecture. The Friedan--Shenker flat connection is calculated, and it is shown that horizontal sections are solutions of Bernard's generalization of the Knizhnik--Zamolodchikov equa…
Scaling limits when q tends to 1 of the elliptic vertex algebras A_qp(sl(N)) are defined for any N, extending the previously known case of N=2. They realise deformed, centrally extended double Yangian structures DY_r(sl(N)). As in the quantum affine algebras U_q(sl(N)), and quantum elliptic affine algebras A_qp(sl(N)), these algebras contain subalgebras at critical values of the central charge c=-N-Mr (M integer, 2r=ln p/ln q), which become Abelian when c=-N or 2r=Nh for h integer. Poisson structures and quantum exchange relations are derived for their abstract generators.
We show that the Hall algebra of the category of coherent sheaves on an elliptic curve (or, equivalently, the algebra of unramified automorphic forms for GL(n) for all n) is equal to the stable limit of spherical double affine Hecke algebras for GL(k) as k goes to infinity. The two parameters correspond to the size of the finite field and the modulus of the elliptc curve. Under this isomorphism the Hecke operators are mapped to the Macdonald operators. This allows us to give a geometric construction of Macdonald polynomials (eigenvectors for the Macdonald operator) in terms of a suitable speci…
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.
We propose a new realization of the elliptic quantum group equipped with the H-Hopf algebroid structure on the basis of the elliptic algebra U_{q,p}(\hat{sl}_2). The algebra U_{q,p}(\hat{sl}_2) has a constructive definition in terms of the Drinfeld generators of the quantum affine algebra U_q(\hat{sl}_2) and a Heisenberg algebra. This yields a systematic construction of both finite and infinite-dimensional dynamical representations and their parallel structures to U_q(\hat{sl}_2). In particular we give a classification theorem of the finite-dimensional irreducible pseudo-highest weight represe…
The Demazure character formula is applied to the Verlinde formula for affine fusion rules. We follow Littelmann's derivation of a generalized Littlewood-Richardson rule from Demazure characters. A combinatorial rule for affine fusions does not result, however. Only a modified version of the Littlewood-Richardson rule is obtained that computes an (old) upper bound on the fusion coefficients of affine $A_r$ algebras. We argue that this is because the characters of simple Lie algebras appear in this treatment, instead of the corresponding affine characters. The Bruhat order on the affine Weyl gro…
