2d-4d connection between q-Virasoro/W block at root of unity limit and instanton partition function on ALE space

We propose and demonstrate a limiting procedure in which, starting from the q-lifted version (or K-theoretic five-dimensional version) of the (W)AGT conjecture to be assumed in this paper, the Virasoro/W block is generated in the r-th root of unity limit in q in the 2d side, while the same limit automatically generates the projection of the five-dimensional instanton partition function onto that on the ALE space R4/Zr. This circumvents case-by-case conjectures to be made in a wealth of examples found so far. In the 2d side, we successfully generate the super-Virasoro algebra and the proper screening charge in the q→−1, t→−1 limit, from the defining relation of the q-Virasoro algebra and the q-deformed Heisenberg algebra. The central charge obtained coincides with that of the minimal series carrying odd integers of the N=1 superconformal algebra. In the r-th root of unity limit in q in the 2d side, we give some evidence of the appearance of the parafermion-like currents. Exploiting the q-analysis literatures, q-deformed su(n) block is readily generated both at generic q,t and the r-th root of unity limit. In the 4d side, we derive the proper normalization function for general (n,r) that accomplishes the automatic projection through the limit.