
We describe the general strategy for lifting the WessZuminoWitten model
from the level of oneloop KacMoody $U_q(\widehat{\mathfrak{g}})_k$ to generic
quantum toroidal algebras. A nearly exhaustive presentation is given for the
two series $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1)$ and
$U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_n)$, when screenings do not exist
and thus all the correlators are purely algebraic, i.e. do not include
additional hypergeometric type integrations/summations. Generalizing the
construction of the intertwiner (refined topological vertex) of the
DingIoharaMiki (DIM) algebra, we obtain the intertwining operators of the
Fock representations of the quantum toroidal algebra of type $A_n$. The
correlation functions of these operators satisfy the
$(q,t)$KnizhnikZamolodchikov (KZ) equation, which features the ${\cal
R}$matrix. Matching with the Nekrasov function for the instanton counting on
the ALE space is worked out explicitly. We also present an important
application of the DIM formalism to the study of $6d$ gauge theories described
by the double elliptic integrable systems. We show that the modular and
periodicity properties of the gauge theories are neatly explained by the
network matrix models providing solutions to the elliptic $(q,t)$KZ equations.

We discuss the recent proposal of arXiv:1608.05351 about generalization of
the RTT relation to network matrix models. We show that the RTT relation in
these models is modified by a nontrivial, but essentially abelian anomaly
cocycle, which we explicitly evaluate for the free field representations of the
quantum toroidal algebra. This cocycle is responsible for the braiding, which
permutes the external legs in the qdeformed conformal block and its 5d/6d
gauge theory counterpart, i.e. the nonperturbative Nekrasov functions. Thus,
it defines their modular properties and symmetry. We show how to cancel the
anomaly using a construction somewhat similar to the anomaly matching condition
in gauge theory. We also describe the singular limit to the affine Yangian (4d
Nekrasov functions), which breaks the spectral duality.

We establish the equivalence between the refined topological vertex of
IqbalKozcazVafa and a certain representation theory of the quantum algebra of
type W_{1+infty} introduced by Miki. Our construction involves trivalent
intertwining operators Phi and Phi^* associated with triples of the bosonic
Fock modules. Resembling the topological vertex, a triple of vectors in Z^2 is
attached to each intertwining operator, which satisfy the CalabiYau and
smoothness conditions. It is shown that certain matrix elements of Phi and
Phi^* give the refined topological vertex C_{lambda mu nu}(t,q) of
IqbalKozcazVafa. With another choice of basis, we recover the refined
topological vertex C_{lambda mu}^nu(q,t) of AwataKanno. The gluing factors
appears correctly when we consider any compositions of Phi and Phi^*. The
spectral parameters attached to Fock spaces play the role of the K"ahler
parameters.

We study the representation theory of the DingIohara algebra $\calU$ to find
$q$analogues of the AldayGaiottoTachikawa (AGT) relations. We introduce the
endomorphism $T(u,v)$ of the DingIohara algebra, having two parameters $u$ and
$v$. We define the vertex operator $\Phi(w)$ by specifying the permutation
relations with the DingIohara generators $x^\pm(z)$ and $\psi^\pm(z)$ in terms
of $T(u,v)$. For the level one representation, all the matrix elements of the
vertex operators with respect to the Macdonald polynomials are factorized and
written in terms of the Nekrasov factors for the $K$theoretic partition
functions as in the AGT relations. For higher levels $m=2,3,...$, we present
some conjectures, which imply the existence of the $q$analogues of the AGT
relations.

We study a membrane  antimembrane system in Matrix theory. It in fact
exhibits the tachyon instability. By suitably representing this configuration,
we obtain a (2+1)dimensional U(2) gauge theory with a 't Hooft's twisted
boundary condition. We identify the tachyon field with a certain offdiagonal
element of the gauge fields in this model. Taking into account the boundary
conditions carefully, we can find vortex solutions which saturate the
Bogomol'nyitype bound and manifest the tachyon condensation. We show that they
can be interpreted as gravitons in Matrix theory.

We show that the growth of the size with the number of partons holds in a
ThomasFermi analysis of the threshold bound state of D0branes. Our results
sharpen the evidence that for a fixed value of the eleven dimensional radius
the partonic velocities can be made arbitrarily small as one approaches the
large N limit.

A possible avenue towards the covariant formulation of the bosonic Matrix
Theory is explored. The approach is guided by the known covariant description
of the bosonic membrane. We point out various problems with this particular
covariantization scheme, stemming from the central question of how to enlarge
the original U(N) symmetry of Matrix Theory while preserving all of its
essential features in the infinite momentum frame.

Virasorotype symmetries and their roles in solvable models are reviewed.
These symmetries are described by the twoparameter Virasorotype algebra
$Vir_{p,q}$ by choosing the parameters p and q suitably.

We review the W_N algebra and its quantum deformation, based on free field
realizations. The (quantum deformed) W_N algebra is defined through the
(quantum deformed) Miura transformation, and its singular vectors realize the
Jack (Macdonald) polynomials. (Talk at the NankaiCRM joint meeting on
``Extended and Quantum Algebras and their Applications to Physics'', Tianjin,
China, August 1924, 1996.)

Primary fields of the $q$deformed Virasoro algebra are constructed.
Commutation relations among the primary fields are studied. Adjoint actions of
the deformed Virasoro current on the primary fields are represented by the
shift operator $\Theta_{\xi} f(x)=f(\xi x)$. Four point functions of the
primary fields enjoy the connection formula associated with the Boltzmann
weights of the fusion AndrewsBaxterForrester model.

Using the collective field technique, we give the description of the spin
CalogeroSutherland Model (CSM) in terms of free bosons. This approach can be
applicable for arbitrary coupling constant and provides the bosonized
Hamiltonian of the spin CSM. The boson Fock space can be identified with the
Hilbert space of the spin CSM in the large $N$ limit. We show that the
eigenstates corresponding to the Young diagram with a single row or column are
represented by the vertex operators. We also derive a dual description of the
Hamiltonian and comment on the construction of the general eigenstates.

We derive a quantum deformation of the $W_N$ algebra and its quantum Miura
transformation, whose singular vectors realize the Macdonald polynomials.

Using the collective field method, we find a relation between the Jack
symmetric polynomials, which describe the excited states of the
CalogeroSutherland model, and the singular vectors of the $W_N$ algebra. Based
on this relation, we obtain their integral representations. We also give a
direct algebraic method which leads to the same result, and integral
representations of the skewJack polynomials.

We review some recent results on the CalogeroSutherland model with emphasis
upon its algebraic aspects. We give integral formulae for excited states (Jack
polynomials) of this model and their relations with W_n singular vectors and
generalized matrix models.

On the basis of the collective field method, we analyze the
CalogeroSutherland model (CSM) and the SelbergAomoto integral, which
defines, in particular case, the partition function of the matrix models.
Vertex operator realizations for some of the eigenstates (the Jack polynomials)
of the CSM Hamiltonian are obtained. We derive Virasoro constraint for the
generalized matrix models and indicate relations with the CSM operators.
Similar results are presented for the $q$deformed case (the Macdonald
operator and polynomials), which gives the generating functional of infinitely
many conserved charges in the CSM.

We diagonalize the Hilbert space of some subclass of the quasifinite module
of the \Winf algebra. States are classified according to their eigenvalues for
infinitely many commuting charges and the Young diagrams. The parameter
dependence of their norms is explicitly derived. The full character formulae of
the degenerate representations are given as summation of the bilinear
combinations of the Schur polynomials.

We study quasifinite highest weight modules over the supersymmetric extension
of the $W_{1+\infty}$ algebra on the basis of the analysis by Kac and Radul. We
find that the quasifiniteness of the modules is again characterized by
polynomials, and obtain the differential equations for highest weights. The
spectral flow, free field realization over the $(B,C)$system, and the
embedding into $\Glinf$ are also presented.

By using the free field realizations, we analyze the representation theory of
the W_{1+infinity} algebra with c=1. The eigenvectors for the Cartan subalgebra
of W_{1+infinity} are parametrized by the Young diagrams, and explicitly
written down by W_{1+infinity} generators. Moreover, their eigenvalues and full
character formula are also obtained.

We give the Heisenberg realization for the quantum algebra $U_q(sl_n)$, which
is written by the $q$difference operator on the flag manifold. We construct it
from the action of $U_q(sl_n)$ on the $q$symmetric algebra $A_q(Mat_n)$ by the
BorelWeil like approach. Our realization is applicable to the construction of
the free field realization for the $U_q(\widehat{sl_n})$ [AOS].

We construct a realization of the quantum affine algebra
$U_q(\widehat{sl_N})$ of an arbitrary level $k$ in terms of free boson fields.
In the $q\!\rightarrow\! 1$ limit this realization becomes the Wakimoto
realization of $\widehat{sl_N}$. The screening currents and the vertex
operators(primary fields) are also constructed; the former commutes with
$U_q(\widehat{sl_N})$ modulo total difference, and the latter creates the
$U_q(\widehat{sl_N})$ highest weight state from the vacuum state of the boson
Fock space.

A representation of the quantum affine algebra $U_{q}(\widehat{sl}_3)$ of an
arbitrary level $k$ is constructed in the Fock module of eight boson fields.
This realization reduces the Wakimoto representation in the $q \rightarrow 1$
limit. The analogues of the screening currents are also obtained. They commute
with the action of $U_{q}(\widehat{sl}_3)$ modulo total differences of some
fields.

We analyze the properties of the qvertex operators of U_q(sl(2)^) introduced
by Frenkel and Reshetikhin. As the condition for the null vector decoupling, we
derive the existence condition of the qvertex operators ( the fusion rules ).