• We describe the general strategy for lifting the Wess-Zumino-Witten model from the level of one-loop Kac-Moody $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 Ding-Iohara-Miki (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)$-Knizhnik-Zamolodchikov (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 q-deformed conformal block and its 5d/6d gauge theory counterpart, i.e. the non-perturbative 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 Iqbal-Kozcaz-Vafa 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 Calabi-Yau 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 Iqbal-Kozcaz-Vafa. With another choice of basis, we recover the refined topological vertex C_{lambda mu}^nu(q,t) of Awata-Kanno. 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 Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $\Phi(w)$ by specifying the permutation relations with the Ding-Iohara 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 -- anti-membrane 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 off-diagonal element of the gauge fields in this model. Taking into account the boundary conditions carefully, we can find vortex solutions which saturate the Bogomol'nyi-type 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 Thomas-Fermi analysis of the threshold bound state of D0--branes. 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.
  • Virasoro-type symmetries and their roles in solvable models are reviewed. These symmetries are described by the two-parameter Virasoro-type 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 Nankai-CRM joint meeting on ``Extended and Quantum Algebras and their Applications to Physics'', Tianjin, China, August 19-24, 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 Andrews-Baxter-Forrester model.
  • Using the collective field technique, we give the description of the spin Calogero-Sutherland 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 Calogero-Sutherland 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 skew-Jack polynomials.
  • We review some recent results on the Calogero-Sutherland 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 Calogero--Sutherland model (CSM) and the Selberg--Aomoto 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 Borel-Weil 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 q-vertex 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 q-vertex operators ( the fusion rules ).