• The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $\kappa$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=\kappa^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which describes a deformation of the coset theory $\widehat{\mathfrak {gl}}_n/\widehat{\mathfrak {gl}}_{n-1}$.
  • We define a $\mathfrak{gl}_N$-stratification of the Grassmannian of $N$ planes $\mathrm{Gr}(N,d)$. The $\mathfrak{gl}_N$-stratification consists of strata $\Omega_{\mathbf{\Lambda}}$ labeled by unordered sets $\mathbf{\Lambda}=(\lambda^{(1)},\dots,\lambda^{(n)})$ of nonzero partitions with at most $N$ parts, satisfying a condition depending on $d$, and such that $(\otimes_{i=1}^n V_{\lambda^{(i)}})^{\mathfrak{sl}_N}\ne 0$. Here $V_{\lambda^{(i)}}$ is the irreducible $\mathfrak{gl}_N$-module with highest weight $\lambda^{(i)}$. We show that the closure of a stratum $\Omega_{\mathbf{\Lambda}}$ is the union of the strata $\Omega_{\mathbf\Xi}$, $\mathbf{\Xi}=(\xi^{(1)},\dots,\xi^{(m)})$, such that there is a partition $\{I_1,\dots,I_m\}$ of $\{1,2,\dots,n\}$ with $ {\rm {Hom}}_{\mathfrak{gl}_N} (V_{\xi^{(i)}}, \otimes_{j\in I_i}V_{\lambda^{(j)}}\big)\neq 0$ for $i=1,\dots,m$. The $\mathfrak{gl}_N$-stratification of the Grassmannian agrees with the Wronski map. We introduce and study the new object: the self-dual Grassmannian $\mathrm{sGr}(N,d)\subset \mathrm{Gr}(N,d)$. Our main result is a similar $\mathfrak{g}_N$-stratification of the self-dual Grassmannian governed by representation theory of the Lie algebra $\mathfrak {g}_{2r+1}:=\mathfrak{sp}_{2r}$ if $N=2r+1$ and of the Lie algebra $\mathfrak g_{2r}:=\mathfrak{so}_{2r+1}$ if $N=2r$.
  • We derive a number of results related to the Gaudin model associated to the simple Lie algebra of type G$_2$. We compute explicit formulas for solutions of the Bethe ansatz equations associated to the tensor product of an arbitrary finite-dimensional irreducible module and the vector representation. We use this result to show that the Bethe ansatz is complete in any tensor product where all but one factor are vector representations and the evaluation parameters are generic. We show that the points of the spectrum of the Gaudin model in type G$_2$ are in a bijective correspondence with self-self-dual spaces of polynomials. We study the set of all self-self-dual spaces - the self-self-dual Grassmannian. We establish a stratification of the self-self-dual Grassmannian with the strata labeled by unordered sets of dominant integral weights and unordered sets of nonnegative integers, satisfying certain explicit conditions. We describe closures of the strata in terms of representation theory.
  • On a Fock space constructed from $mn$ free bosons and lattice ${\Bbb {Z}}^{mn}$, we give a level $n$ action of the quantum toroidal algebra $\mathscr {E}_m$ associated to $\mathfrak{gl}_m$, together with a level $m$ action of the quantum toroidal algebra ${\mathscr E}_n$ associated to ${\mathfrak {gl}}_n$. We prove that the $\mathscr {E}_m$ transfer matrices commute with the $\mathscr {E}_n$ transfer matrices after an appropriate identification of parameters.
  • We use the Whittaker vectors and the Drinfeld Casimir element to show that eigenfunctions of the difference Toda Hamiltonian can be expressed via fermionic formulas. Motivated by the combinatorics of the fermionic formulas we use the representation theory of the quantum groups to prove a number of identities for the coefficients of the eigenfunctions.
  • We construct an analog of the subalgebra $Ugl(n)\otimes Ugl(m)$ of $Ugl(m+n)$ in the setting of quantum toroidal algebras and study the restrictions of various representations to this subalgebra.
  • We identify the Taylor coefficients of the transfer matrices corresponding to quantum toroidal algebras with the elliptic local and non-local integrals of motion introduced by Kojima, Shiraishi, Watanabe, and one of the authors. That allows us to prove the Litvinov conjectures on the Intermediate Long Wave model. We also discuss the (gl(m),gl(n)) duality of XXZ models in quantum toroidal setting and the implications for the quantum KdV model. In particular, we conjecture that the spectrum of non-local integrals of motion of Bazhanov, Lukyanov, and Zamolodchikov is described by Gaudin Bethe ansatz equations associated to affine sl(2).
  • We derive explicit formulas for solutions of the Bethe Ansatz equations of the Gaudin model associated to the tensor product of one arbitrary finite-dimensional irreducible module and one vector representation for all simple Lie algebras of classical type. We use this result to show that the Bethe Ansatz is complete in any tensor product where all but one factor are vector representations and the evaluation parameters are generic. We also show that except for the type D, the joint spectrum of Gaudin Hamiltonians in such tensor products is simple.
  • We introduce and study a category $\text{Fin}$ of modules of the Borel subalgebra of a quantum affine algebra $U_q\mathfrak{g}$, where the commutative algebra of Drinfeld generators $h_{i,r}$, corresponding to Cartan currents, has finitely many characteristic values. This category is a natural extension of the category of finite-dimensional $U_q\mathfrak{g}$ modules. In particular, we classify the irreducible objects, discuss their properties, and describe the combinatorics of the q-characters. We study transfer matrices corresponding to modules in $\text{Fin}$. Among them we find the Baxter $Q_i$ operators and $T_i$ operators satisfying relations of the form $T_iQ_i=\prod_j Q_j+ \prod_k Q_k$. We show that these operators are polynomials of the spectral parameter after a suitable normalization. This allows us to prove the Bethe ansatz equations for the zeroes of the eigenvalues of the $Q_i$ operators acting in an arbitrary finite-dimensional representation of $U_q\mathfrak{g}$.
  • We study highest weight representations of the Borel subalgebra of the quantum toroidal gl(1) algebra with finite-dimensional weight spaces. In particular, we develop the q-character theory for such modules. We introduce and study the subcategory of `finite type' modules. By definition, a module over the Borel subalgebra is finite type if the Cartan like current \psi^+(z) has a finite number of eigenvalues, even though the module itself can be infinite dimensional. We use our results to diagonalize the transfer matrix T_{V,W}(u;p) analogous to those of the six vertex model. In our setting T_{V,W}(u;p) acts in a tensor product W of Fock spaces and V is a highest weight module over the Borel subalgebra of quantum toroidal gl(1) with finite-dimensional weight spaces. Namely we show that for a special choice of finite type modules $V$ the corresponding transfer matrices, Q(u;p) and T(u;p), are polynomials in u and satisfy a two-term TQ relation. We use this relation to prove the Bethe Ansatz equation for the zeroes of the eigenvalues of Q(u;p). Then we show that the eigenvalues of T_{V,W}(u;p) are given by an appropriate substitution of eigenvalues of Q(u;p) into the q-character of V.
  • We establish the method of Bethe ansatz for the XXZ type model obtained from the R-matrix associated to quantum toroidal gl(1). We do that by using shuffle realizations of the modules and by showing that the Hamiltonian of the model is obtained from a simple multiplication operator by taking an appropriate quotient. We expect this approach to be applicable to a wide variety of models.
  • We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form.
  • We consider a tensor product $V(b)= \otimes_{i=1}^n\C^N(b_i)$ of the Yangian $Y(gl_N)$ evaluation vector representations. We consider the action of the commutative Bethe subalgebra $B^q \subset Y(gl_N)$ on a $gl_N$-weight subspace $V(b)_\lambda \subset V(b)$ of weight $\lambda$. Here the Bethe algebra depends on the parameters $q=(q_1,...,q_N)$. We identify the $B^q$-module $V(b)_\lambda$ with the regular representation of the algebra of functions on a fiber of a suitable discrete Wronski map. If $q=(1,...,1)$, we study the action of $B^{q=1}$ on a space $V(b)^{sing}_\lambda$ of singular vectors of a certain weight. Again, we identify the $B^{q=1}$-module $V(b)^{sing}_\lambda$ with the regular representation of the algebra of functions on a fiber of another suitable discrete Wronski map. These results we announced earlier in relation with a description of the quantum equivariant cohomology of the cotangent bundle of a partial flag variety and a description of commutative subalgebras of the group algebra of a symmetric group.
  • We show that the algebra of commuting Hamiltonians of the homogeneous XXX Heisenberg model has simple spectrum on the subspace of singular vectors of the tensor product of two-dimensional $gl_2$-modules. As a byproduct we show that there exist exactly $\binom {n}{l}-\binom{n}{l-1}$ two-dimensional vector subspaces $V \subset \C[u]$ with a basis $f,g\in V$ such that $\deg f = l, \deg g = n-l+1$ and $f(u)g(u-1) - f(u-1)g(u) = (u+1)^n$.
  • We define and study representations of quantum toroidal $gl_n$ with natural bases labeled by plane partitions with various conditions. As an application, we give an explicit description of a family of highest weight representations of quantum affine $gl_n$ with generic level.
  • Let g be a simple Lie algebra. We consider the category O-hat of those modules over the affine quantum group Uq(g-hat) whose Uq(g)-weights have finite multiplicity and lie in a finite union of cones generated by negative roots. We show that many properties of the category of the finite-dimensional representations naturally extend to the category O-hat. In particular, we develop the theory of q-characters and define the minimal affinizations of parabolic Verma modules. In types ABCFG we classify these minimal affinizations and conjecture a Weyl denominator type formula for their characters.
  • We study polynomials p(x) satisfying a differential equation of the form p"(x)-h'(x)p'(x)+H(x)p(x)=0, where h(x)=x^3/3+ax. We prove a conjecture of A. Eremenko and A. Gabrielov.
  • We use the theory of q-characters to establish a number of short exact sequences in the category of finite-dimensional representations of the quantum affine groups of types A and B. That allows us to introduce a set of 3-term recurrence relations which contains the celebrated T-system as a special case.
  • In third paper of the series we construct a large family of representations of the quantum toroidal $\gl_1$ algebra whose bases are parameterized by plane partitions with various boundary conditions and restrictions. We study the corresponding formal characters. As an application we obtain a Gelfand-Zetlin type basis for a class of irreducible lowest weight $\gl_\infty$-modules.
  • We give a set of sufficient conditions for a Laurent polynomial to be the q-character of a finite-dimensional irreducible representation of a quantum affine group. We use this result to obtain an explicit path description of q-characters for a class of modules in type B. In particular, this proves a conjecture of Kuniba-Ohta-Suzuki.
  • For a set of quasi-exponentials with real exponents, we consider the discrete Wronskian (also known as Casorati determinant) with pure imaginary step 2h. We prove that if the coefficients of the discrete Wronskian are real and for every its roots the imaginary part is at most |h|, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coefficients. This result is a generalization of the statement of the B. and M. Shapiro conjecture on spaces of polynomials. The proof is based on the Bethe ansatz for the XXX model.
  • We begin a study of the representation theory of quantum continuous $\mathfrak{gl}_\infty$, which we denote by $\mathcal E$. This algebra depends on two parameters and is a deformed version of the enveloping algebra of the Lie algebra of difference operators acting on the space of Laurent polynomials in one variable. Fundamental representations of $\mathcal E$ are labeled by a continuous parameter $u\in {\mathbb C}$. The representation theory of $\mathcal E$ has many properties familiar from the representation theory of $\mathfrak{gl}_\infty$: vector representations, Fock modules, semi-infinite constructions of modules. Using tensor products of vector representations, we construct surjective homomorphisms from $\mathcal E$ to spherical double affine Hecke algebras $S\ddot H_N$ for all $N$. A key step in this construction is an identification of a natural bases of the tensor products of vector representations with Macdonald polynomials. We also show that one of the Fock representations is isomorphic to the module constructed earlier by means of the $K$-theory of Hilbert schemes.
  • We construct a family of irreducible representations of the quantum continuous $gl_\infty$ whose characters coincide with the characters of representations in the minimal models of the $W_n$ algebras of $gl_n$ type. In particular, we obtain a simple combinatorial model for all representations of the $W_n$-algebras appearing in the minimal models in terms of $n$ interrelating partitions.
  • Consider a tensor product of finite-dimensional irreducible gl_{N+1}-modules and its decomposition into irreducible modules. The gl_{N+1} Gaudin model assigns to each multiplicity space of that decomposition a commutative (Bethe) algebra of linear operators acting on the multiplicity space. The Bethe ansatz method is a method to find eigenvectors and eigenvalues of the Bethe algebra. One starts with a critical point of a suitable (master) function and constructs an eigenvector of the Bethe algebra. In this paper we consider the algebra of functions on the critical set of the associated master function and show that the action of this algebra on itself is isomorphic to the action of the Bethe algebra on a suitable subspace of the multiplicity space. As a byproduct we prove that the Bethe vectors corresponding to different critical points of the master function are linearly independent and, in particular, nonzero.
  • We consider the gl_N Gaudin model of a tensor power of the standard vector representation. The geometric Langlands correspondence in the Gaudin model relates the Bethe algebra of the commuting Gaudin Hamiltonians and the algebra of functions on a suitable space of N-th order differential operators. In this paper we introduce a third side of the correspondence: the algebra of functions on the critical set of a master function. We construct isomorphisms of the third algebra and the first two. A new object is the Bethe vector averaging maps.