We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz.
We discuss quantum deformation of the affine transformation algebra. It is shown that the quantum algebra has a non-cocommutative Hopf algebra structure, simple realizations and quantum tensor operators.
We compute an explicit algebraic deformation quantization for an affine Poisson variety described by an ideal in a polynomial ring, and inheriting its Poisson structure from the ambient space.
This is the text of the Hermann Weyl Prize lecture given by the author at the XXIV Colloquium on Group Theoretical Methods in Physics, Paris, July 2002 (to appear in the Proceedings of the Colloquium).
We generalize some results concerning affine algebras at the critical level to the corresponding quantum algebras. In particular, we show that the Wakimoto realization provides a homomorphism of Poisson algebras from the center of a quantum affine algebra to a Heisenberg-Poisson algebra. This homomorphism is a q-deformation of the Miura transformation. It is given by the same formulas as the spectra of transfer-matrices of the corresponding quantum integrable models. The image of the center in the Heisenberg-Poisson algebra is a Poisson subalgebra of the latter, which is a q-deformation of the…
For an affine toric variety $\mathrm{Spec}(A)$, we give a convex geometric description of the Hodge decomposition of its Hochschild cohomology. Under certain assumptions we compute the dimensions of the Hodge summands $T^1_{(i)}(A)$, generalizing the existing results about the Andre-Quillen cohomology group $T^1_{(1)}(A)$. We prove that every Poisson structure on a possibly singular affine toric variety can be quantized in the sense of deformation quantization.
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 define a universal deformation formula (UDF) for the actions of the affine group on Frechet algebras. More precisely, starting with any associative Frechet algebra which the affine group acts on in a strongly continuous and isometrical manner, the UDF produces a family of topological associative algebra structures on the space of smooth vectors of the action deforming the initial product. The deformation field obtained is based over an infinite dimensional parameter space naturally associated with the space of pseudo-differential operators on the real line. This note also presents some geom…
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.
An affine action of an associative algebra $A$ on a vector space $V$ is an algebra morphism $A \to V \rtimes {\rm End}(V)$, where $V$ is a vector space and $V \rtimes {\rm End}(V)$ is the algebra of affine transformations of $V$. The one dimensional version of the Swiss-Cheese operad, denoted ${\mathrm{\bf{sc}}}_1$, is the operad that governs affine actions of associative algebras. This operad is Koszul and admits a minimal model denoted by $({\mathrm{\bf{sc}}}_1)_\infty$. Algebras over this minimal model are called Homotopy Affine Actions, they consist of an $A_\infty$-morphism $A \to V \rtim…
A global model of $q$-deformation for the quasi--orthogonal Lie algebras generating the groups of motions of the four--dimensional affine Cayley--Klein geometries is obtained starting from the three dimensional deformations. It is shown how the main algebraic classical properties of the CK systems can be implemented in the quantum case. Quantum deformed versions of either the space--time or space symmetry algebras (Poincaré (3+1), Galilei (3+1), 4D Euclidean as well as others) appear in this context as particular cases and several $q$-deformations for them are directly obtained.
Let X be a smooth affine algebraic variety over a field K of characteristic 0, and let R be a complete parameter K-algebra (e.g. R = K[[h]]). We consider associative (resp. Poisson) R-deformations of the structure sheaf O_X. The set of R-deformations has a crossed groupoid (i.e. strict 2-groupoid) structure. Our main result is that there is a canonical equivalence of crossed groupoids from the Deligne crossed groupoid of normalized polydifferential operators (resp. polyderivations) of X to the crossed groupoid of associative (resp. Poisson) R-deformations of O_X. The proof relies on a careful …
We give a realization of quantum affine Lie algebra $U_q(\hat A_{N-1})$ in terms of anyons defined on a two-dimensional lattice, the deformation parameter $q$ being related to the statistical parameter $ν$ of the anyons by $q = e^{iπν}$. In the limit of the deformation parameter going to one we recover the Feingold-Frenkel fermionic construction of undeformed affine Lie algebra.
To each symmetric algebra we associate a family of algebras that we call quantum affine wreath algebras. These can be viewed both as symmetric algebra deformations of affine Hecke algebras of type $A$ and as quantum deformations of affine wreath algebras. We study the structure theory of these new algebras and their natural cyclotomic quotients.
We give a realization of the quantum affine Lie algebras $\uqa$ and $\uqc$ in terms of anyons defined on a one-dimensional chain (or on a two-dimensional lattice), the deformation parameter $q$ being related to the statistical parameter $ν$ of the anyons by $q = e^{iπν}$. In the limit of the deformation parameter going to one we recover the Feingold-Frenkel fermionic construction of undeformed affine Lie algebras.
This paper continues our investigation of a class of generalized quantum groups. The "standard" R-matrix was shown to be the unique solution of a very simple, linear recursion relation and the classical limit was obtained in the case of quantized Kac-Moody algebras of finite type. Here the standard R-matrix for generalized quantum groups is first examined in the case of quantized affine Kac-Moody algebras. The classical limit yields the standard affine r-matrices of Belavin and Drinfeld. Then, turning to the general case, we study the exact deformations of the standard R-matrix and the associa…
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 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.
Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathcal{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathcal{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathcal{Fl}_G$, and to obtain a family of "affine quantum Chevalley" operators $Λ_0, \ldots, Λ_n$ indexed by the simple roots in the affine root system of $G$. These operators act on the cohomology ring $\mathrm{H}^*(\mathcal{Fl}_G)$ with coefficients in $\mathbb{Z}[q_0, \ldots,q_n]$. By analyzing commutativity and invariance properties of these oper…
Let X be a an affine smooth symplectic variety over $\mathbb{Z}/p\mathbb{Z},$ and A be its deformation quantization over the p-adic integers. We prove that for all $n\geq 1,$ the Hochschild cohomogy of $A/p^nA$ is isomorphic to the de Rham-Witt complex of X over $\mathbb{Z}/p^n\mathbb{Z}$. We also compute centers of deformations of certain affine Poisson varieties over $\mathbb{Z}/p\mathbb{Z}.$
In this paper we study algebraic supergroups and their coadjoint orbits as affine algebraic supervarieties. We find an algebraic deformation quantization of them that can be related to the fuzzy spaces of non commutative geometry.
Deformed $\W$--algebra $\W_{q,t}(\g)$ associated to an arbitrary simple Lie algebra $\g$ is defined together with its free field realizations and the screening operators. Explicit formulas are given for generators of $\W_{q,t}(\g)$ when $\g$ is of classical type. These formulas exhibit a deep connection between $\W_{q,t}(\g)$ and the analytic Bethe Ansatz in integrable models associated to quantum affine algebras $U_q(\G)$ and $U_t(\GL)$. The scaling limit of $\W_{q,t}(\g)$ is closely related to affine Toda field theories.
Let g be an untwisted affine Kac-Moody algebra and M_J(lambda) a Verma-type module for g with J-highest integral weight lambda. We construct quantum Verma-type modules M_J^q(lambda) over the quantum group U_q(g), investigate their properties and show that M_J^q(lambda) is a true quantum deformation of M_J(ł) in the sense that the weight structure is preserved under the deformation. We also analyze the submodule structure of quantum Verma-type modules.
We give the definitions of affine algebraic supervariety and affine algebraic group through the functor of points and we relate them to the other definitions present in the literature. We study in detail the algebraic supergroup $SL(m|n)$ and give explicitly the Hopf algebra structure of the algebra representing its functor of points. At the end we give also the quantization of $SL(m|n)$ together with its coactions on suitable quantum spaces according to Manin's philosophy.
We construct a new family of irreducible modules over any basic classical affine Kac-Moody Lie superalgebra which are induced from modules over the Heisenberg subalgebra. We also obtain irreducible deformations of these modules for the quantum affine superalgebra of type A.
We study the algebraic properties of the five-parameter family $H(t_1,t_2,t_3,t_4;q)$ of double affine Hecke algebras of type $C^\vee C_1$. This family generalizes Cherednik's double affine Hecke algebras of rank 1. It was introduced by Sahi and studied by Noumi and Stokman as an algebraic structure which controls Askey-Wilson polynomials. We show that if $q=1$, then the spectrum of the center of $H$ is an affine cubic surface $C$, obtained from a projective one by removing a triangle consisting of smooth points. Moreover, any such surface is obtained as the spectrum of the center of $H$ for s…
We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.
Aspects of the algebraic structure and representation theory of the quantum affine superalgebras with symmetrizable Cartan matrices are studied. The irreducible integrable highest weight representations are classified, and shown to be deformations of their classical counterparts. It is also shown that Jimbo type quantum affine superalgebras can be obtained by deforming universal enveloping algebras of ordinary (i.e., non-graded) affine algebras supplemented by certain parity operators.
Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their def…
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 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…
We establish a Drinfeld type new presentation for the $\imath$quantum groups arising from quantum symmetric pairs of split affine ADE type, which includes the $q$-Onsager algebra as the rank 1 case. This presentation takes a form which can be viewed as a deformation of half an affine quantum group in the Drinfeld presentation.
We use a natural affine connection with nontrivial torsion on an arbitrary almost-Kaehler manifold which respects the almost-Kaehler structure to construct a Fedosov-type deformation quantization on this manifold.
We define deformations of W-algebras associated to complex semi-simple Lie algebras by means of quantum Drinfeld-Sokolov reduction procedure for affine quantum groups. We also introduce Wakimoto modules for arbitrary affine quantum groups and construct free field resolutions and screening operators for the deformed W-algebras. We compare our results with earlier definitions of q-W-algebras and of the deformed screening operators due to Awata, Kubo, Odake, Shiraishi (q-alg/9507034, q-alg/9508011, q-alg/9612001), Feigin, E. Frenkel (q-alg/9508009) and E. Frenkel, Reshetikhin (q-alg/9708006). The…
Let $X$ be a smooth affine symplectic variety over $\mathbb{Z}/p\mathbb{Z},$ and let $A_1$ be an Azumaya algebra over $X.$ In this note we show that if $A$ is a deformation quantization of $A_1$ over $\mathbb{Z}/p^n\mathbb{Z}$, then any two-sided $\mathbb{Z}/p^n\mathbb{Z}$-flat ideal in $A$ is generated by central elements.
We prove that any flat G-bundle, where G is a complex connected reductive algebraic group, on the punctured disc admits the structure of an oper. This result is important in the local geometric Langlands correspondence proposed in arXiv:math/0508382. Our proof uses certain deformations of the affine Springer fibers which could be of independent interest. As a byproduct, we construct representations of affine Weyl groups on the homology of these deformations generalizing representations constructed by Lusztig.
We demonstrate the main idea of constructing irreducible unitary representations of Lie groups by using Fedosov deformation quantization in the concrete case of the group Aff(R) of affine transformations of the real straight line. By an exact computation of the star-product and the operator $\hat{\ell}_Z$, we show that the resulting representations exhausted all the irreducible representations of this groups.
We construct algebraic-geometric families of genus one (i.e. elliptic) current and affine Lie algebras of Krichever-Novikov type. These families deform the classical current, respectively affine Kac-Moody Lie algebras. The construction is induced by the geometric process of degenerating the elliptic curve to singular cubics. If the finite-dimensional Lie algebra defining the infinite dimensional current algebra is simple then, even if restricted to local families, the constructed families are non-equivalent to the trivial family. In particular, we show that the current algebra is geometrically…
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.
The deformed $\mathcal W$ algebras of type $\textsf{A}$ have a uniform description in terms of the quantum toroidal $\mathfrak{gl}_1$ algebra $\mathcal E$. We introduce a comodule algebra $\mathcal K$ over $\mathcal E$ which gives a uniform construction of basic deformed $\mathcal W$ currents and screening operators in types $\textsf{B},\textsf{C},\textsf{D}$ including twisted and supersymmetric cases. We show that a completion of algebra $\mathcal K$ contains three commutative subalgebras. In particular, it allows us to obtain a commutative family of integrals of motion associated with affine…
Let $P$ be a Poisson structure on a finite-dimensional affine real manifold. Can $P$ be deformed in such a way that it stays Poisson? The language of Kontsevich graphs provides a universal approach -- with respect to all affine Poisson manifolds -- to finding a class of solutions to this deformation problem. For that reasoning, several types of graphs are needed. In this paper we outline the algorithms to generate those graphs. The graphs that encode deformations are classified by the number of internal vertices $k$; for $k \leqslant 4$ we present all solutions of the deformation problem. For …
