
We study the twistfield representations of Walgebras and generalize construction of the corresponding vertex operators to D and Bseries. It is shown, how the computation of characters of these representations leads to nontrivial identities involving lattice thetafunctions. We also propose a way to calculate their exact conformal blocks, expressing them for Dseries in terms of geometric data of the corresponding Prym variety for covering curve with involution.

In this paper the relation between the cluster integrable systems and qdifference equations is extended beyond the Painlev\'e case. We consider the class of hyperelliptic curves when the Newton polygons contain only four boundary points. The corresponding cluster integrable Toda systems are presented, and their discrete automorphisms are identified with certain reductions of the Hirota difference equation. We also construct nonautonomous versions of these equations and find, that their solutions are expressed in terms of 5d Nekrasov functions with the ChernSimons contributions, while in the autonomous case these equations are solved in terms of the Riemann thetafunctions.

We discuss the relation between the cluster integrable systems and $q$difference Painlev\'e equations. The Newton polygons corresponding to these integrable systems are all 16 convex polygons with a single interior point. The Painlev\'e dynamics is interpreted as deautonomization of the discrete flows, generated by a sequence of the cluster quiver mutations, supplemented by permutations of quiver vertices. We also define quantum $q$Painlev\'e systems by quantization of the corresponding cluster variety. We present formal solution of these equations for the case of pure gauge theory using $q$deformed conformal blocks or 5dimensional Nekrasov functions. We propose, that quantum cluster structure of the Painlev\'e system provides generalization of the isomonodromy/CFT correspondence for arbitrary central charge.

We study plane partitions satisfying condition $a_{n+1,m+1}=0$ (this condition is called "pit") and asymptotic conditions along three coordinate axes. We find the formulas for generating function of such plane partitions. Such plane partitions label the basis vectors in certain representations of quantum toroidal $\mathfrak{gl}_1$ algebra, therefore our formulas can be interpreted as the characters of these representations. The resulting formulas resemble formulas for characters of tensor representations of Lie superalgebra $\mathfrak{gl}_{mn}$. We discuss representation theoretic interpretation of our formulas using $q$deformed $W$algebra $\mathfrak{gl}_{mn}$.

We study the conformal vertex algebras which naturally arise in relation to the NakajimaYoshioka blowup equations.

We consider the AGT correspondence in the context of the conformal field theory $M^{\, p, p^{\prime}}$ $\otimes$ $M^{H}$, where $M^{\, p, p^{\prime}}$ is the minimal model based on the Virasoro algebra $V^{\, p, p^{\prime}}$ labeled by two coprime integers $\{p, p^{\prime}\}$, $1 < p < p^{\prime}$, and $M^{H}$ is the free boson theory based on the Heisenberg algebra $H$. Using Nekrasov's instanton partition functions without modification to compute conformal blocks in $M^{\, p, p^{\prime}}$ $\otimes$ $M^{H}$ leads to illdefined or incorrect expressions. Let $B^{\, p, p^{\prime}, H}_n$ be a conformal block in $M^{\, p, p^{\prime}}$ $\otimes$ $M^{H}$, with $n$ consecutive channels $\chi_{i}$, $i = 1, \cdots, n$, and let $\chi_{i}$ carry states from $H^{p, p^{\prime}}_{r_{i}, s_{i}}$ $\otimes$ $F$, where $H^{p, p^{\prime}}_{r_{i}, s_{i}}$ is an irreducible highestweight $V^{\, p, p^{\prime}}$representation, labeled by two integers $\{r_{i}, s_{i}\}$, $0 < r_{i} < p$, $0 < s_{i} < p^{\prime}$, and $F$ is the Fock space of $H$. We show that restricting the states that flow in $\chi_{i}$ to states labeled by a partition pair $\{Y_1^{i}, Y_2^{i}\}$ such that $Y^{i}_{2, {\tt R}}  Y^{i}_{1, {\tt R} + s_{i}  1} \geq 1  r_{i}$, and $Y^{i}_{1, {\tt R}}  Y^{i}_{2, {\tt R} + p^{\prime}  s_{i}  1} \geq 1  p + r_{i}$, where $Y^{i}_{j, {\tt R}}$ is row${\tt R}$ of $Y^{i}_j, j \in \{1, 2\}$, we obtain a welldefined expression that we identify with $B^{\, p, p^{\prime}, H}_n$. We check the correctness of this expression for ${\bf 1.}$ Any 1point $B^{\, p, p^{\prime}, H}_1$ on the torus, when the operator insertion is the identity, and ${\bf 2.}$ The 6point $B^{\, 3, 4, H}_3$ on the sphere that involves six Ising magnetic operators.

A recently proposed correspondence between 4dimensional N=2 SUSY SU(k) gauge theories on R^4/Z_m and SU(k) Todalike theories with Z_m parafermionic symmetry is used to construct fourpoint N=1 super Liouville conformal block, which corresponds to the particular case k=m=2. The construction is based on the conjectural relation between moduli spaces of SU(2) instantons on R^4/Z_2 and algebras like \hat{gl}(2)_2\times NSR. This conjecture is confirmed by checking the coincidence of number of fixed points on such instanton moduli space with given instanton number N and dimension of subspace degree N in the representation of such algebra.

The onematrix model is considered. The generating function of the correlation numbers is defined in such a way that this function coincide with the generating function of the Liouville gravity. Using the Kontsevich theorem we explain that this generating function is an analytic continuation of the generating function of the Topological gravity. We check the topological recursion relations for the correlation functions in the $p$critical Matrix model.

We consider the M(2,3) Minimal Liouville gravity, whose states in the gravity sector are represented by irreducible modules of the Virasoro algebra. We present a recursive construction for BRST cohomology classes. This construction is based on using an explicit form of singular vectors in irreducible modules of the Virasoro algebra. We construct an algebra of operators acting on the BRST cohomology space. The operator algebra of physical states is established by use of these operators.