
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 GelfandZeitlin 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}}_{n1}$.

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 selfdual Grassmannian
$\mathrm{sGr}(N,d)\subset \mathrm{Gr}(N,d)$. Our main result is a similar
$\mathfrak{g}_N$stratification of the selfdual 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 finitedimensional 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 selfselfdual spaces of polynomials. We
study the set of all selfselfdual spaces  the selfselfdual Grassmannian.
We establish a stratification of the selfselfdual 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 nonlocal 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 nonlocal 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
finitedimensional 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 finitedimensional $U_q\mathfrak{g}$ modules. In particular, we
classify the irreducible objects, discuss their properties, and describe the
combinatorics of the qcharacters. 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 finitedimensional representation of $U_q\mathfrak{g}$.

We study highest weight representations of the Borel subalgebra of the
quantum toroidal gl(1) algebra with finitedimensional weight spaces. In
particular, we develop the qcharacter 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 finitedimensional 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 twoterm 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 qcharacter of V.

We establish the method of Bethe ansatz for the XXZ type model obtained from
the Rmatrix 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 twodimensional $gl_2$modules. As a byproduct we show that
there exist exactly $\binom {n}{l}\binom{n}{l1}$ twodimensional vector
subspaces $V \subset \C[u]$ with a basis $f,g\in V$ such that $\deg f = l, \deg
g = nl+1$ and $f(u)g(u1)  f(u1)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 Ohat of those
modules over the affine quantum group Uq(ghat) 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 finitedimensional
representations naturally extend to the category Ohat. In particular, we
develop the theory of qcharacters 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 qcharacters to establish a number of short exact
sequences in the category of finitedimensional representations of the quantum
affine groups of types A and B. That allows us to introduce a set of 3term
recurrence relations which contains the celebrated Tsystem 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 GelfandZetlin
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
qcharacter of a finitedimensional irreducible representation of a quantum
affine group. We use this result to obtain an explicit path description of
qcharacters for a class of modules in type B. In particular, this proves a
conjecture of KunibaOhtaSuzuki.

For a set of quasiexponentials 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 quasiexponentials has a basis consisting of quasiexponentials 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, semiinfinite
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 finitedimensional 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 Nth 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.