
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 introduce an analogue $K_n(x,z;q,t)$ of the Cauchytype 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 DingIohara 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 highesttohighest 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 DingIohara 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 quasiHopf twisting a la Babelon Bernard Billey, the Ruijsenaars
difference operator and the operator M(q,t_1,t_2) of OkounkovPandharipande.