• 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 introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum formula of Macdonald polynomials. Next, we demonstrate that the integer level representation of the Ding-Iohara quantum algebra naturally produces the currents of the deformed $\mathcal{W}$ algebra. Then we remark that the $K_n(x,z;q,t)$ emerges in the highest-to-highest correlation function of the deformed $\mathcal{W}$ algebra.
  • We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of symmetric functions. A canonical basis is proposed for this family by using A and the Heisenberg representation of the commutative family studied by one of the authors. It is found that the Ding-Iohara algebra provides us with an algebraic framework for the free filed construction. An elliptic deformation of our construction is discussed, showing connections with the Drinfeld quasi-Hopf twisting a la Babelon Bernard Billey, the Ruijsenaars difference operator and the operator M(q,t_1,t_2) of Okounkov-Pandharipande.