T[U(N)] duality webs: mirror symmetry, spectral duality and gauge/CFT correspondences

We study various duality webs involving the 3d FT[SU(N)] theory, a close relative of the T[SU(N)] quiver tail. We first map the partition functions of FT[SU(N)] and its 3d spectral dual to a pair of spectral dual q-Toda conformal blocks. Then we show how to obtain the FT[SU(N)] partition function by Higgsing a 5d linear quiver gauge theory, or equivalently from the refined topological string partition function on a certain toric Calabi-Yau three-fold. 3d spectral duality in this context descends from 5d spectral duality. Finally we discuss the 2d reduction of the 3d spectral dual pair and study the corresponding limits on the q-Toda side. In particular we obtain a new direct map between the partition function of the 2d FT[SU(N)] GLSM and an (N+2)-point Toda conformal block.


Introduction
Over the last decade, following Pestun's seminal work [1], the application of the localization technique to SUSY gauge theories on various manifolds, has produced an unprecedented amount of exact results (for a comprehensive review see [2] and references therein).
Localised partition functions (or vevs of BPS observables) depend on various parameters such as fugacities for the global symmetries and data specifying the background. For certain backgrounds partition functions do not depend on the gauge coupling and can be used to test Seiberg-like dualities and mirror symmetry in various dimensions.
The exact results obtained via localization have also led to the discovery of AGTlike correspondences which provide dictionaries to map objects in the gauge theories (partition functions, Wilson loops vevs etc..) to objects in different systems such as 2d CFTs or TQFTs [3,4].
It is interesting to study what happens when we take different limits of the parameters appearing in the partition functions triggering some sort of RG flow.
For example focusing on the global symmetries parameters we can explicitly check how certain dualities can be obtained by taking massive deformations of other dualities. We can also consider limits involving the data specifying the background. For manifolds of the form M d−1 × S 1 we can explore what happens when the circle shrinks and in particular gather hints on the fate of dualities in d dimensions: do they reduce to dualities in d − 1 dimensions? In recent years these questions have been reconsidered systematically in a series of papers [5][6][7][8].
Another interesting procedure, the so-called Higgsing, involves turning on the vev of some operator in a certain UV theory T which triggers an RG flow to an IR theory T which contains a codimension two defect, the prototypical case being a surface operator in a 4d theory. At the level of localised partition functions this procedure can be implemented very efficiently and involves tuning the gauge and flavor parameters of the mother theory T to specific values. At these values T typically develops some poles and picking up their residues we obtain the partition function of the theory T with a codimension two defect [9][10][11][12][13][14][15].
In this note we provide a concrete example where all these ideas and techniques come together. We discuss 3d mirror symmetry and gauge/CFT correspondences and explore how they behave under dimensional reduction and how they arise via Higgsing.
Our starting point is the 3d T [U (N )] quiver theory introduced in [16] as boundary conditions for the 4d N = 4 supersymmetric Yang-Mills theories. T [G] has a global symmetry group G × G L acting respectively on the Higgs and Coulomb branch. The T [G] has the remarkable property of being invariant (or self-mirror) under 3d mirror symmetry which acts by exchanging the Higgs and the Coulomb branches of the theory. We discuss three webs of dualities: • In Duality web I, we relate the 3d mirror pair to a pair of spectral dual q-CFT blocks via gauge/CFT correspondence.
• In Duality web II, we view the 3d mirror pair as the result of Higgsing a pair of 5d spectral dual theories.
• In Duality web III, we reduce the 3d mirror pair to 2d and study the corresponding limit of the q-CFT blocks.

Duality web I
Duality web I is shown in Fig. 1 partition function, or holomorphic block, 1 of the N = 2* T [U (N )] theory. For this theory we turn real mass deformations for all the flavors and topological symmetries, so that this theory has N isolated vacua. The T [U (N )] theory is known to be self-dual under the action of mirror symmetry and correspondingly in the top right corner we find the partition functionB D 2 ×S 1 T [U (N )] of the mirror theory. This edge of the web is a genuine duality between two theories flowing to the same IR SCFT. However, here we are only looking at the map of the mass deformed D 2 × S 1 partition functions which can be regarded as a (q, t)-refinement of the map between the effective twisted super-potential evaluated on the Bethe vacua [19,20] of the two theories [21].
In Section 2 we discuss in detail the nontrivial map of the T [U (N )] holomorphic blocks under mirror symmetry using various approaches including direct residue computations, the relation of the holomorphic blocks to the integrable Ruijsenaars-Schneider (RS) system as in [22] and in Sec. 3 using the relation between holomorphic blocks, 5d gauge theories and refined topological strings.
The vertical edges of the web represent correspondences between gauge theories and conformal blocks akin to the AGT correspondence [3,23]. One can observe that the holomorphic block integrals B D 2 ×S 1 of 3d N = 2 * quiver theories can be directly identified with the Dotsenko-Fateev (DF) integral representation of the conformal blocks in q-deformed Toda theory. This correspondence is part of the so called triality proposed in [24,25] and generalized in [26][27][28][29].
In the particular case of the T [U (N )] theory we find that the holomorphic block can be mapped to the conformal block qDF N +2 involving N fully-degenerate and two generic primaries, and a particular choice of screening charges in the q-deformed A N −1 Toda theory. The mirror dual holomorphic blockB D 2 ×S 1 T [U (N )] is also mapped to a qDF integral blockqDF N +2 which is in turn related to qDF A N −1 N +2 by a degenerate version of spectral duality. An exact meaning of this statement should become clear at the end of the discussion of the Duality web II.
The details of the correspondence between holomorphic blocks of the T [U (N )] theory and q-Toda integral blocks as well as spectral duality are presented in the Sec. 2.

Duality web II
Duality web I in fig. 1 can actually be understood as a consequence of another web of dualities involving 5d N = 1 quiver theories and correlators of generic (non-degenerate) q-deformed Toda vertex operators. More precisely we consider duality web II shown in Fig. 2 where duality web I corresponds to the bottom face (face 1) of the cube. In the top left corner we have the 5d N = 1 linear quiver gauge theory with N − 1, U (N ) gauge nodes and N (anti-)fundamental matter hypermultiplets on each of the ends of the quiver. This theory is self-dual under 5d spectral duality which relates SU (N ) M −1 to SU (M ) N −1 linear quiver theories compactified on a circle. This is a duality between two low energy descriptions of the same strongly interacting UV SCFT which can be conveniently understood using II branes setups [30] The details of the maps of the parameters of the two theories are non trivial and have been more recently discussed in [31] and [32]. This duality has been studied also Z 5d Figure 2. Duality web II incorporates duality web I (face 1 of the cube) in a more general context of 3d-5d-CFT triality.
We will be focusing on the R 4 ×S 1 instanton partition function which can be realised using geometric engineering as the refined topological string partition function Z top associated to the square toric diagram depicted in Fig. 7 a). Then one can immediately understand invariance of the square quiver theory under spectral duality as the fiber-base duality corresponding to a reflection along the diagonal of the diagram.
The instanton or topological string partition functions are actually based on U (N ) quivers, so if we are interested in the SU (N ) case, we should strip off the U (1) contribution. This procedure is for example discussed in [32]. However for the purpose of this paper, where we just discuss instanton partition functions, we can keep the U (1) parts and actually work with the duality relating U (N ) M −1 to U (M ) N −1 instanton partition functions.
In the other two vertices of face 2 we have the (N + 2)-point correlator in the the q-deformed A N −1 Toda and its spectral dual. 2 The q-Toda correlators enjoy the symmetry known as spectral duality relating (K + 2)-point correlators in A N −1 q-Toda to (N + 2)-point correlators in A K−1 q-Toda theory [37,38] which is the avatar of the 5d spectral duality relating U (N ) M −1 to U (M ) N −1 5d quivers. The identification between 5d instanton partition functions and q-Toda correlators is the 5d uplift of the AGT correspondence [39,40]. More precisely, the AGT map corresponds to the diagonal edges (shown in blue in Fig. 2), while the map along the edges of face 2 are from the triality approach [24,25].
The vertical arrows going downstairs from the 5d web (face 2) to the 3d web (face 1) indicate a tuning procedure where the parameters are fixed to specific discrete values. On the gauge theory side (face 3) this tuning corresponds to the so called Higgsing procedure [9][10][11][12][13][14][15]. By tuning the 5d Coulomb branch parameters one can degenerate the 5d partition function into the partition function of a coupled 5d-3d system describing a co-dimension two defect coupled to the remaining 5d bulk theory. We consider a particular tuning of the parameters so that the square 5d quiver is Higgsed completely, i.e. it reduces to the 3d T [U (N )] theory coupled to some free 5d hypers 3 . We demonstrate this in Sec. 3. Repeating the Higgsing procedure on the spectral dual side we land on the mirror dual 3d T [U (N )] theory. We then see that 3d (self)-mirror symmetry for T [U (N )] follows via Higgsing from the 5d spectral duality for the square quiver.
On the q-Toda side (face 6) the tuning procedure corresponds to the tuning of the momenta of the vertex operators to special values (corresponding to fully degenerate vertex operators) and to a given assignment of screening charges (corresponding to conditions on the internal momenta, or Coulomb branch parameters). In this way the q-Toda A N −1 correlator with N semi-degenerate and two full primary operators reduces to the q-DF representation of the conformal block.
This explains our previous statement that the integral blocks qDF are related by a degenerate version of spectral duality.

Duality web III
Finally, starting from duality web I in Fig. 1 we can obtain another interesting duality web by taking a suitable limit q → 1 as show in Fig. 3, where the duality web I corresponds to face 1 of the cube. Let's consider face 3 in Fig. 3. Here we are performing the reduction of a 3d mirror pair of theories on D 2 × S 1 from 3d to 2d considering the q → 1 limit, that corresponds to shrinking the S 1 radius. Taking this limit is subtle, as recently discussed in [8] (and before in [41]), since there exist in fact several meaningful limits. Concretely, one can consider the situation when some of the 3d real Figure 3. Duality web III. Fig. 1 is the top face (face 1) of the cube. The arrows going downstairs correspond to q → 1 limits. Notice that the two theories related by the mirror map tend to different theories under q → 1. This asymmetry appears because one needs to choose the scaling of the parameters with q and the mirror map relates two different choices. mass parameters are scaled to infinity when going from 3d to 2d so that m 3d R = m 2d remains finite as R → 0.
Starting from B D 2 ×S 1 T [U (N )] we take the so called Higgs limits which reduces it to the (2, 2) * gauged linear sigma-model (GLSM) B D 2 T [U (N )] . In the Higgs limit the real mass scaled to infinity is the FI parameter, while the matter remains light, hence the name. This limit generally reduces a 3d gauge theory to a 2d gauge theory. However, here we want to lift also the Higgs branch and we turn on all the mass deformations so that the 2d gauge theory is massive and has N isolated vacua.
As mirror symmetry swaps Higgs and Coulomb branches and their respective real masses, on the mirror side the limit has a very different effect. The mirror blockB in the q → 1 limit (which is now a Coulomb limit) reduces to the partition function of a (2, 2) * theory of twisted chiral multiplets with twisted Landau-Ginzburg superpotential on D 2 . The horizontal link in face 2 of the cube in Fig. 3 is, therefore, a duality of Hori-Vafa type [42] for mass deformed theories.
In general claiming that a duality for mass deformed theories implies a duality for massless theories is dangerous. In particular, in this context the subtleties of inferring a genuine IR 2d duality from a duality for 2d mass deformed theories obtained from the reduction of pairs of dual theories have been discussed in [7,8]. Here we are not interested in removing the mass deformations since, as we are about to see, the holomorphic blocks for the mass deformed theories can be directly mapped to CFT conformal blocks.
Indeed if we look at face 4 of the duality web III in Fig. 3, we see that we are taking various q → 1 limits of the q-Toda conformal blocks in DF representation. Similarly to the gauge theory side there are various possible ways to take this limit. The limit when we scale the momenta of the vertex operators and keep the insertion points fixed is natural from the CFT point of view and reduces q-Toda conformal blocks to conformal blocks of the undeformed Toda CFT. This is exactly the limit we take when we reduce the spectral dual block qĎF in 2d Toda theory. Therefore, we have just discovered that the 2d can be mapped to a 2d CFT conformal blockĎF Finally to complete the picture we study what is the effect of the q → 1 limit on the qDF correlator. This is a less familiar limit which reduces the qDF A N −1 N +2 to a block in the channel with the vertex operators of certain bosonised algebra, which we denote by d-W N , where d stands for difference in the same way as q in q-W N is for quantum. The algebra d-W N is a particular limit of the q-W N algebra when q → 1, which to our knowledge has not previously appeared in the literature. We briefly describe the algebra, correlators and screening charges, leaving a more detailed investigation for the future [43].
The Duality web III is discussed in Sec. 4. In a companion paper [44] we will discuss similar duality webs involving 3d and 2d abelian mirror pairs.

Duality web I: 3d T [U (N )] and q-Toda blocks
In this section we study Duality web I shown in Fig. 1. We first introduce the 3d holomorphic block B D 2 ×S 1 T [U (N )] ( µ, τ , q, t) and discuss its mirror dual. Then we introduce the DF representation for the q-Toda blocks and determine the gauge/q-DF dual to

3d holomorphic blocks for T [U (N )] and its mirror
We begin by introducing our main character B D 2 ×S 1 T [U (N )] ( µ, τ , q, t), the D 2 × S 1 partition function, or 3d holomorphic block integral, for the T [U (N )] theory. The N = 4 T [U (N )] theory is a quiver theory with gauge group U (1) × U (2) × · · · × U (N − 1), with bifundamental hypers connecting the U (N a ) and U (N a+1 ) nodes for a = 1, · · · , N − 1 and N hypermultiplets at the final node. As an example we present the quiver diagram of the T [U (4)] theory on Fig. 4. We turn on real masses M 3d a in the Cartan of the SU (N ) H symmetry rotating the Higgs branch and T 3d a in the Cartan of the SU (N ) C symmetry rotating the Coulomb branch. We also turn on an extra real axial mass deformation m 3d which breaks the symmetry down to N = 2 * . We define the dimensionless mass parameters M a = RM 3d a , T a = RT 3d a and m = Rm 3d and the parameter q = e = e R , where R is the S 1 circle radius and is the equivariant parameter rotating the cigar D 2 (see footnote 1 ).
The holomorphic block integral for this theory can be constructed as explained in [17] and reads: where the prefactor F (q, t, τ ) is given by The integral is performed over the Cartan of the gauge group. For each gauge node we have the contribution of vector and adjoint chiral multiplets (first factor in the second line) given by a ratio of q-Pochhammer symbols defined as The other factors in the second line are the contributions of the bifundamental chirals and of the fundamentals attached to the last node.
More precisely (qx −1 ; q) ∞ is the contribution to the block integral of a chiral multiplet of zero r-charge and charge +1 under a flavor symmetry with associated real mass x, plus a − 1 2 Chern-Simons unit. This corresponds to a chiral multiplet with Dirichlet boundary conditions along ∂(D 2 × S 1 ) = T 2 in [45]. A chiral multiplet of r-charge +2, charge −1 and 1 2 Chern-Simons unit contributes as (x; q) −1 ∞ and corresponds to Neumann boundary conditions.
If we assemble the matter contribution to the block integrals taking some chirals with Dirichlet and some with Neumann boundary conditions we induce mixed Chern-Simons couplings (because of the attached 1 2 units) which we might need to compensate by adding extra Chern-Simons terms to the action. With our symmetric choice of boundary conditions the induced dynamical Chern-Simons couplings vanishes automatically, the induced mixed gauge-flavor coupling (the t −X (a) i factor in the integrand (2.1)) renormalise the FI parameters, while the background mixed couplings contribute as the prefactor F (q, t, τ ).
To present the block in a form more convenient for the following we have shifted the integration variables and identified a new set of exponentiated mass parameters 4 An alternative procedure to write down the block integrand Υ is to view it as square root of the integrand of the partition function on a compact manifold. Details of this procedure are presented in the Appendix A. This construction also indicates that the contribution of (mixed) Chern-Simons coupling to the partition function should actually be expressed in terms of ratios of theta functions rather than exponents e AB θ q (e A )θ q (e B ) θ q (e A+B )(q; q) ∞ (2.6) as we discuss in Appendix A. However, for the purpose of this paper we can avoid introducing theta functions and work with the exponents provided that on the integration contours on which we are going to evaluate the blocks, the theta functions and the 4 The shifted mass parameters satisfy: The parameter t introduced in this section will be identified with the parameter of the 5d Ω-background R 4 q,t × S 1 and with the (q, t)-Toda parameter in the next sections.
exponents have no poles and contribute with the same residue. One can check that for T [U (N )] blocks (2.1) this will indeed be the case. As will be shown below, the residues of the integrals (2.1) come in geometric progressions, i.e. a pole x * is accompanied by a string of poles at q k x * with k ∈ Z ≥0 . Notice then that both sides of Eq. (2.6) transform in the same way under the -shifts of A and B variables, i.e. under q-shifts of e A and e B . Thus, their contributions to the residues in the string differ only by an overall constant factor, independent of k. This overall constant can be factored out of the integral and included in the normalization factors.
Finally we need to discuss the integration contour on which we evaluate the block integral. The integration in Eq. (2.1) is performed over a basis of integration contours Γ = Γ α , with α = 1, . . . , N ! which are in one to one correspondence with the SUSY vacua, the critical points of the one-loop twisted superpotential W R 2 ×S 1 . The label of the integration contour α is essentially an element of the permutation group S N . One can understand the origin of the contours Γ α as follows.
The integrations in Eq.  There are (N − 1) possibilities at this step. Proceeding further, one notices the general pattern: the poles at each step sit near the poles of the previous step with one free place. Equivalently, there are (N − 1) strings of poles with lengths 1, 2, . . . , (N − 1), in each of which the poles are close together, e.g. for a string of length a we get where k a to set all the lower indices in the string to a. Each string terminates at the the free place, not filled by the pole on the next step. Choosing the integration contour is equivalent to specifying which string (of length a) sits near which mass µ p . Evidently, any choice can be obtained from a given one by the unique permutaiton of masses µ p .
There are therefore N ! choices in total, each one corresponding to an element of the symmetric group S N .
We will do the calculations for a certain convenient reference choice of contour α = α 0 , i.e. in the reference vacuum in which In this vacuum one can expand the vortex partition function as a double series in µ i µ i+1 and τ i τ i+1 , i.e. it is implicitly assumed that the theory sits in the chamber of the moduli space where τ i τ i+1 1. Blocks for other vacua can be obtained from the block in the reference vacuum by analytic continuation in τ i τ i+1 , taking into account the intricate (theta-function) connection coefficients. Let us also notice that since the block is self-dual under mirror symmetry, analytic continuation in µ i and τ i will give the same results.
The integration over Γ α 0 yields denote the classical, perturbative one-loop and nonperturbative vortex contributions respectively. We have 5 The one-loop factor is given by: (2.11) Notice that there are cancellations between the theta-functions in classical part and the q-Pochhammer functions in the one-loop part. The vortex part reads 6 where we assume k The block can actually be expressed through higher q-hypergeometric functions. This representation also allows one to deduce the monodromy properties of the block under the permutation of parameters τ i → τ σ(i) . However, these issues will not be considered in the present work. In the semiclassical limit B is the one-loop twisted superpotential evaluated on the α-th vacuum.
The holomorphic block of the mirror dual theory is obtained by applying the mirror map which swaps vector masses and FI parameters M i ↔ T i and sends m ↔ −m or in terms of the exponentiated parameters: (2.14) 6 There are several ways to write the instanton contributions in this sum connected to each other by identities involving products of q-Pochhammer symbols. For example, the middle factor can be rewritten as: The mirror block is given by: is fairly complicated. As discussed in [17] if we want to describe how the bases of contours α and α are related we need to take into account Stokes phenomena.
Here we take a different approach showing that space of blocks is invariant under the mirror map. Following [22] we can view the space of blocks for the T [U (N )] theory as the space of solutions to a system of linear difference equations: where the difference operators are quantum Ruijsenaars-Schneider Hamiltonians [46,47]: and the eigenvalues e r ( τ ) are elementary symmetric polynomials We give a short proof of Eq. (2.18) for r = 1 in Appendix D.1. From the theory of integrable systems it is known that Ruijsenaars-Schneider system has a peculiar duality symmetry called p-q duality. It implies that for certain choice of normalization the eigenfunctions of the Ruijsenaars-Schneider Hamiltonian are actually also eigenfunctions of the dual Ruijsenaars-Schneider Hamiltonian. The dual operator is obtained by the mirror map: τ and µ are exchanged as are t and q t . We therefore have: We prove the simplest case of Eq. Alternatively we can check mirror symmetry by "brute force" computation of the partition function. Using explicit expressions (2.10), (2.11) and (2.12) for the one-loop and vortex parts of the partition function we can see that and using the conditions (2.4) for the sum of masses and FI parameters (up to the equivalence (2.6)): As a very simple test of the duality (2.22) consider two degenerate limits of the T [U (N )] block: In this case all the terms of the vortex series, except the first one vanish: (2.24) The one-loop factor also simplifies and reads (2.25) 2. t = 1. In this case the vortex sum factorizes into a product of geometric progressions: (2.26) The one-loop part becomes trivial: Two degenerate cases are spectral dual to each other and one immediately sees that Eq. (2.22) indeed holds in this limit.

q-Toda blocks
In a series of works [24,25,28] partition functions of 3d have been shown to match conformal blocks in q-deformed Toda theories. 7 In this section we will derive details of the correspondence between holomorphic blocks of the T [U (N )] theory and conformal blocks of the q-Toda CFT. For this we will first review basic aspects of A n Toda CFT and derive Dotsenko-Fateev (DF) integrals describing conformal blocks in certain channel. In this part we will closely follow [24,25,52]. Then we will briefly describe quantum deformation of the Toda theory and corresponding qDF integrals. Finally we will describe the map between parameters of T [U (N )] theory and q-Toda CFT that will allow us to manifestly match holomorphic blocks and qDF integrals on two sides of the correspondence.

Warm-up: conformal block of ordinary Toda
We begin by quickly introducing the integral representation of the Toda conformal blocks, for more details and detailed review see [52]. The action of the theory is given by where φ is the (n + 1) component vector whose components φ (a) are bososnic fields in 2d Toda CFT. ρ and e (a) are the Weyl vector and the simple roots of the A n Lie algebra respectively: The first term in the action (2.28) is just the canonical kinetic term with (inverse) background metric g zz , while (. , .) denote the standard scalar product on R n+1 . Second term in the action is responsible for the nonminimal coupling of φ to the background curvature R. Coefficient of the coupling Q β is where β is a convenient parameter, which will be used throughout this paper. Finally the last term in (2.28) is the Toda potential. The theory described above possess W n+1 symmetry, which has Virasoro subalgebra with the central charge parametrized by β in the following way: c = n − n(n + 1)(n + 2)Q 2 β . (2.31) Basic ingredients we will need for finding correlators in Toda CFT are screening currents where the index a, which we call the sector number, runs from 1 to n for A n theory. We will also need vertex operators defined as follows: where α is the (n + 1) component weight of the operator. Bosonic operators c and P (a) , Q (a) are zero-modes satisfying usual commutation relations: Now assume that we would like to calculate the following chiral half of the correlator of (l + 2) primary vertex operators in Toda theory where z k and α (k) are positions and weights of corresponding vertex operator insertions. In general, due to the complicated interaction potential, evaluation of this correlator is extremely hard. However, one can treat Toda potential perturbatively. In this case the full answer for the correlator can be written as the sum of the following correlators in the theory of (n + 1) free bosons: which play the role of the conformal blocks in Toda theory and are usually referred to as Dotsenko-Fateev (DF) integrals [53]. Here Q (a) are screening charges defined as the integrals of the corresponding screening currents: 38) and the states | α (0) and | α (∞) are defined as follows: so that it is the eigenstate of the momentum operators P (a) and is annihilated by the positive modes: Due to the operator-state correspondence the ket state | α can be created by the insertion of the vertex operator (2.33) of weight α at point z = 0. Bra state α| is created by inserting the corresponding operator at z = ∞. We understand the weight α (0) of the vertex operator at zero to be a free parameter of the correlator, then the weight α (∞) is determined uniquely by the momentum conservation relation, which needs to be satisfied in order for the correlator (2.37) to be nonzero: where ρ and e (k) are given by Eqs. (2.29). The calculation of the free field correlator (2.37) is presented in Appendix B.1 and the result is . (2.43) In the Virasoro case, the free field integrals are of Selberg type and can be calculated.
In the higher rank case the situation is much more complicated and it is known how to evaluate the integrals only for special value of the momenta of the vertex operators. As we will see in this paper we are indeed interested to special value of the momenta for which we can calculate the integrals.

q-Toda conformal blocks
The A n Toda theory admits a q-deformation which is described in detail in [54][55][56]. Below we will use free boson representation of this deformed algebra in order to derive the corresponding conformal blocks of the A n q-Toda CFT. For our calculations we use screening currents and vertex operators from [24,25], which are given by Similarly to the undeformed case the sector index a runs between 1 and n. Bosonic operators c (a) k , Q (a) , P (a) satisfy the Heisenberg algebra (2.34) q-deformed primary vertex operator can be written in the form , (2.45) where α is the weight vector just as in Eq. (2.33). As in the non-deformed case we are interested in the following free field correlator (2.46) where Q (a) are screening charges related to the screening currents (2.44) in the same way as in non-deformed case (2.38). Initial and final states | α (0) , | α (∞) are defined in Eq. (2.39). Conservation relation (2.42) that constraints weights of the vertex operators also holds in the q-deformed case.
The free field calculation in the q-Toda conformal block is similar to the undeformed case and is presented in Appendix B.2. The final result is given by the following matrix integral: where u = √ qt.

Map between T [U (N )] and q-Toda blocks
The q-Toda blocks in DF representation have been shown to map to the holomorphic blocks of the handsaw quiver theory [24,25]. Here we are interested in the simpler case of the T [U (N )] holomorphic block which can be mapped to a A N −1 q-Toda block with full primary initial and final states and N fully degenerate primary vertex operators between them (we again omit the prefactors in front of both integrals in holomorphic and conformal blocks): with the identification of parameters which we give momentarily. We begin by considering an N + 2 point correlator with the weights of the vertex operators satisfying the following relation: The initial state has generic weight α (0) and the weight α (∞) is fixed by the charge conservation condition (2.42). We also specify the number of screening charges to be N a = a for a = 1, . . . , N − 1. With this choice of momenta (2.49) and screening charges the q-Toda conformal block (2.47) reduces to the following expression (2.50) The correlator (2.50) is almost of the same form as To complete the map we need to impose a further restriction on the q-Toda vertex operator parameters. First of all looking on the one-loop contribution of the vector and adjoint multiplets in the block integral (2.1) we can see that the gauge theory parameter t related to the 3d axial mass is identified the t-parameter of Toda CFT deformation. Then in order to match the contribution of the bifundamental hypers with the corresponding term in the correlator (2.50) we need to make the following identification between the integration variables y in the q-DF integral (2.50) and x in the holomorphic block integral (2.1): y To identify the last product in the third line of Eq. (2.50) with the contribution of the fundamental chiral multiplets we need which amounts to requiring α Eq. (2.53) together with the condition (2.49) completely fixes all the components of the vertex weight vectors in terms of the last components so that all weights have the form where g p is arbitrary constant and ω N −1 is the highest weight vector of A N −1 . The map (2.52) give us freedom to choose g p freely. For example we can absorbe it into the definition of the insertion points z p = q β−gp z p and consequently have µ p = v 2N z p . Alternatively we can simultaneous shift of all the components of the vertex operator weight. This operation does not affect the q-DF integral (2.43) as it only contribute an overall factor in front of the integral which we omit anyway. So we choose to set g p = β corresponding to vertices with fully degenerate momenta (corresponding to simple punctures in the AGT setup): We arrive at the following relation: and thus Summarizing, the dictionary between the B D 2 ×S 1 T [U (N )] block (2.1) and the q-Toda block qDF , q, q β is given in Table 1.
Identification qDF Integration parameters x  To complete the discussion of Duality web I in Fig. 1 we need to comment on the counterpart of the 3d mirror symmetry relating the 3d holomorphic blocks (2.58) As we have already anticipated, mirror symmetry in this context is realised as spectral duality relating: The parameters of the dual DF integrals are related by the spectral duality map: which swaps the coordinates of the vertex operators with the momenta. The prefactor C = C z 1 , . . . , z N , α (0) , β (and similarlyČ) is given by the product of the omitted factor in front of integral in the q-Toda conformal block (2.47) and F −1 (q, t, τ ) from the holomorphic block (2.1). In the original version [37] the spectral duality map did not include the change of the β parameter to 1 − β. In sec. 3.3.1 we will see that this discrepancy is actually fixed by the prefactors C,Č.

Duality web II: T [U (N )] and its mirror via Higgsing
In this section we will describe how to obtain the partition function of the 3d N = 2 T [U (N )] gauge theory on R 2 q × S 1 by Higgsing the 5d N = 1 square linear quiver theory on the Ω-background R 4 q,t × S 1 . We consider the 3d-5d version of the setup of [13,24,57,58]. Physically the 3d theory lives on the worldvolume of the vortices appearing in the Higgs phase of the 5d theory. Using a Type IIB brane setup with NS5 and D5 branes to engineer the 5d linear quiver theory we can realise the 3d vortex theory as the low energy theory on the D3 branes stretched between NS5 and D5 branes. The mirror self-duality of the T [U (N )] theory descends from IIB S-duality which swaps NS5 and D5 branes. 2. Couplings Λ a , a = 1, . . . , (N − 1) of the gauge groups.

5d instanton partition function, Higgs branch and the vortex theory
3. Masses m i (resp.m i ) of the fundamental (resp. antifundamental) hypermultiplets coupled to the first (resp. the last) gauge groups in the linear quiver.

Bifundamental masses m
(a,a+1) bif . Since we consider the U (N ) case these parameters could be eliminated by shifting the ratio of trace parts . However, we will keep them as separate parameters to make the formulas more symmetric.
5. Parameters q and t of the Ω-deformation. The Ω-background partition function of the theory is given by (the 5d version of) the instanton partition function function [59]. It is the product of three factors: the classical piece Z 5d cl , the one-loop determinant Z 5d 1−loop and the instanton part Z 5d inst , of which we write down explicitly only the last one: We are now going to show how the instanton partition functions can be reduced via Higgsing to the 3d vortex partition function for the T [U (N )] theory. As mentioned in the Introduction, Higgsing a 5d partition function typically produces the partition function of a coupled 5d-3d system describing a codimension-two surface operator coupled to the bulk theory. Here we are interested in the case where the 5d bulk theory is trivial, consisting only of a bunch of decoupled hypermultiplets and so rather than reducing to a coupled system, the Higgsing directly yields the 3d vortex theory.

T [U (2)] case
Let us start with the simplest example of the square U (2) theory, i.e. the U (2) gauge theory with two fundamental and two antifundamental multiplets. The Higgs branch touches the Coulomb branch at the point a i = m i , i = 1, 2. The theory on the Higgs branch contains nonabelian vortex strings with worldvolumes spanning 9 R 2 q × S 1 ⊂ R 4 q,t × S 1 . The 3d theory on charge M vortices is the N = 2 U (M ) theory with • adjoint multiplet with mass t, • two fundamental multiplets with masses µ i = m i , • two antifundamental multiplets with massesμ i q t =m i . When the 3d FI parameter is turned on the 3d theory is on the Higgs branch and the gauge group is broken to U The vortex theory is actually dual to the theory at certain discrete points on the Coulomb branch without any vortices [13]. Concretely the 5d theory on the Higgs branch with U (M 1 ) × U (M 2 ) vortex is equivalent to the theory on the Coulomb branch with a i = m i t M i , i = 1, 2.

T [U (N )] case
The Higgsing procedure described above can be easily extended to the T [U (N )] case which can be obtained from the square U (N ) N −1 5d by tuning the masses and the Coulomb parameters to the following values: where the integers k (a) i satisfy the constraints (2.13). We then see that the instanton partition function reduces exactly to the vortex series (2.12).

(p, q)-webs, topological strings and the geometric transition
We can realize 3d and 5d theories in terms of (p, q)-brane webs in Type IIB string theory [30]. The (p, q)-brane web for the U (N ) N −1 theory consists of N NS5 branes (vertical) and N D5 branes (horizontal) as shown in Fig. 6, a). The NS5 and D5 branes fuse to form (1, 1)-branes, which are diagonal in Fig. 6. The tensions of the branes are balanced regardless of their relative positions, therefore the system has moduli, corresponding to the parameters of the gauge theory. The 5d theory obtained in this way lies on the Coulomb branch, so some of the brane moduli are Coulomb parameters. Others correspond to masses and gauge couplings. Concretely, changing the Coulomb moduli means changing the positions of the internal branes, while fixing the semi-infinite ones. Where is the Higgs branch in the brane setup? The origin of the Higgs branch appears when at least one NS5 brane does not fuse with any of the D5 branes passing vertically through the whole picture. The NS5 brane can then be separated from the rest of the (p, q)-web in the directions perpendicular to the plane of the picture, as shown in Fig. 6, b). The position of the NS5 brane in these directions corresponds to the Higgs branch moduli. The vortex strings appearing in the Higgs phase of the 5d theory correspond to the D3 branes stretching between the D5 branes and the separated NS5 brane. 3d T [U (N )] theory is obtained by further tuning the positions of the branes as shown in Fig. 6.
Notice that we need also to detach the last NS5 brane from the web and stretch a single D3 between it and one of the D5 brane. This imposes the condition on the fundamental chiral massesμ i = tµ i . Notice the resulting diagonal pattern of the D3 branes.
To find the matter content of the 3d theory on the D3 branes it is instructive to look at a different projection of the brane setup shown in Fig. 6, d). The D3 segment between the two NS5 branes supports 4d U (1) theory, which in the IR becomes 3d, since the length of the segment is finite. Two D3 segments between the NS5 and D5 branes produce two multiplets charged under the U (1) gauge field. The matter content thus matches that of the T [U (2)] theory. The distance between the D5 branes µ 1 µ 2 determines the masses of the fundamental multiplets while the distance between the NS5 branes in the "Coulomb" direction τ 1 τ 2 gives the FI parameter of the 3d T [U (2)] gauge theory.
We can now observe that the brane web in Fig. 6, c) under the action of Type IIB S-duality which exchanges the NS5 and D5 branes, thus effectively taking the mirror image along the diagonal, is sent into an identical web diagram with mass and FI parameters exchanged. This is due to two properties. 1. We have N NS5 and N D5 branes. This is the reason why we call it square theory.
2. The number of D3 branes sitting at each intersection is tuned so that the whole collection is symmetric along the diagonal.
This construction indicates that the mirror self-duality of the T [U (N )] theory follows from Type IIB S-duality. We can see this very explicitly if we transform our Type IIB (p, q)-brane web into a purely geometric background of M-theory without any five-branes (this technique is known as geometric engineering of gauge theories). The background is a toric CY three-fold X with toric diagram copied after the (p, q)-brane web. One can then compute the partition function of M-theory on X × R 4 q,t × S 1 by computing the refined (with q-t-deformation) topological string partition function Z top [X] [61,62].
The positions of the five-branes become complexified Kähler parameters of the CY. It will be natural for us to trade the Kähler parameters of the compact two-cycles on CY for the so-called spectral parameters living on the edges of the diagram. They are defined so that for two parallel lines on the diagram with spectral parameters z and w the Kähler parameter of the two-cycle between the lines is given by z w : 3.10) and are conserved at the brane junctions: The toric diagram of the CY background corresponding to the 5d U (4) 3 square gauge theory is shown in Fig. 7 (we use the shorthand notation for the resolved conifold pieces of the geometry, as shown in b)). The Higgs branch of the 5d gauge theory appears when all the conifold resolutions along one of the vertical lines become degenerate, i.e. their Kähler parameters vanish. In this case the CY can be deformed, so that each crossing looks like a deformed conifold geometry, locally a T * S 3 . Resolved and deformed backgrounds of (refined) topological strings are related by the geometric transition [63,64], i.e. at quantized values of the conifold Kähler parameter Q = q t t N the resolution is equivalent to the deformed geometry with a stack of N Lagrangian branes wrapped over the compact three-cycle. The background after the geometric transition can be illustrated by Fig. 6 b) and c) with dashed lines now playing the role of Lagrangian branes. Quantized values of the Kähler parameters correspond to the points (3.7) on the Coulomb branch of the 5d gauge theory, while the deformed geometry with Lagrangian branes corresponds to 5d theory on the Higgs branch with a collection of vortices, on which the 3d T [U (N )] theory leaves. In this way, geometric transition explains the Higgsing procedure described above.
We can then calculate the closed topological string partition Z top ( µ, τ , q, t) for the CY background with tuned Kähler paramters in Fig. 8 using the refined topological a) The toric diagram producing the square gauge theory from Fig. 5. The labels of the lines correspond to the spectral parameters on the toric diagram and encode the parameters of the gauge theory. b) The shorthand notation for the crossings: black circles denote the resolved conifold geometries with general Kähler parameters. Notice that the spectral parameter on the upper vertical leg is determined by the "conservation law".
vertex [61,62] or using the techniques of [65,66] and check that it reproduces the vortex plus one loop factor of the holomorphic block B D 2 ×S 1 T [U (N )] ( µ, τ , q, t) up to a factor: where we have omitted an overall constant independent of µ and τ in Z top . We will discuss the role of the relative factor in a moment. Notice how the two sides of Eq. (3.12) behave in the unrefined limit t = q. The topological string partition function for t = q simplifies, and in particular empty crossings become really non-interacting, so that the whole diagram in Fig. 8 a) splits into a product of non-interacting resolved conifold pieces, so that Z top ( µ, τ , q, q) = 1. This agrees with the behavior of the one-loop and vortex partition functions we have observed in Eqs. (2.24), (2.25).

Fiber-base duality and mirror symmetry
Finally we can discuss how the mirror self-duality of the T [U (N )] holomorphic block appears from the geometric engineering perspective. The CY background in Fig. 8 is invariant under the action fiber-base duality (reflection along the diagonal) which swaps fiber and base Kähler parameters or, equivalently, exchanges µ i with τ i and so is the Figure 8. a) The toric diagram for the higgsed gauge theory, i.e. for parameters tuned as in Eq. (3.8). We have rotated the picture compared to Fig. 6 by π 2 to aid explicit refined topological string computations. b) The "empty crossing" denotes the fully degenerate refined conifold amplitude. c) The "higgsed crossing" denote refined conifold amplitude corresponding to the geometric transition of the deformed geometry with a single brane wrapping S 3 .
corresponding refined topological string partition function which satisfies 10 : Z top ( µ, τ , q, t) = Z top ( τ , µ, q, t) . (3.13) Notice that the parameter q and t of refined topological string are left invariant by the action of fiber-base duality. This is in contrast with what happens with the holomorphic blocks where the mirror map also exchanges t with q t . As we saw the classical part Z 3d, (α 0 ) cl ( µ, τ , q, t) is invariant under the mirror map (2.14) hence we observe that l.h.s. of Eq. (3.12) is mirror self-dual under the map M1: ( µ, τ , q, t) ↔ τ , µ, q, q t (3.14) 10 Notice that in the brane web there is a so-called preferred direction. When the mirror image is taken the direction is modified but the closed string amplitudes are invariant under this change. As we discuss in the next section this can be understood in the algebraic approach to the vertex. For open string amplitudes the situation is more subtle, see [38].
Recall that holomorphic blocks of T [U (N )] theory are simultaneous eigenfunctions of the RS Hamiltonians H r (µ i , q µ i ∂µ i , q, t) (2.19) and of the dual RS Hamiltonians H r (τ i , q τ i ∂τ i , q, q t ). In the integrable systems literature it is more common to write p-q dual for RS Hamiltonian without changing the t-parameter. This seeming discrepancy is in fact easy to cure. The Hamiltonians with t and q t are related by the following similarity transform: (3.17) If the holomorphic block is an eigenfunction of the Hamiltonian with t → q t : Moreover since f ( µ, q, t) does not depend on τ , f ( µ, q, t) −1 B D 2 ×S 1 T [U (N )] ( µ, τ , q, t) is still an eigenfunction of the dual RS Hamiltonians H r (τ i , q τ i ∂τ i , q, q t ). Hence we conclude that if This can be seen also from the fact that the function f ( µ, q, t) given in (3.17) is essentially the relative factor between Z top and Z 1−loop Z vort : , (3.19) while the remaining exponential factor in f can be combined with the classical part of the holomorphic block to form a combination invariant under M2: 11 Of course one can use a combination of theta-functions instead of powers to make f a 2πi-periodic function of M i . Notice also that f ( µ, q, q t ) = f ( µ, q, t) −1 .
Using the above relations we can see that the holomorphic blocks have the following interesting transformation properties. Since f ( µ, q, t) −1 B D 2 ×S 1 T [U (N )] ( µ, τ , q, t) is invariant under the map M2 we have: This leads to the transformation law which swaps µ and τ keeping t fixed: If on the l.h.s. of the above we use the map M1 we get the transformation law for inversion of the adjoint mass (t ↔ q t ) with µ and τ being fixed: (3.23)

Symmetries of the blocks: the Ding-Iohara-Miki algebra approach
In this section we briefly discuss the algebraic version of the topological vertex formalism [67] based on the representation theory of Ding-Iohara-Miki (DIM) algebra U q,t ( gl 1 ) [68,69]. This algebra is a central extension and quantum deformation of the algebra of double loops in C, i.e. of the polynomials x n y m , n, m ∈ Z. The deformation parameters q and t correspond to the parameters of the Ω-background in the 5d gauge theory, or to the parameters of the N = 2 deformation of the 3d N = 4 T [U (N )] theory. The algebra is symmetric under any permutation of the triplet of parameters (q, t −1 , t q ). However, the representations retain only part of this symmetry. The simplest representation is the representation on the Fock space F with convenient choice of basis given by Macdonald polynomials M (q,t) Y (a −n )|vac . It (along with its tensor powers) corresponds to the action of the algebra on the equivariant cohomology of instanton moduli space of the 5d gauge theory. The representation is invariant under the exchange of q and t −1 , provided one maps the creation operators a −n into − 1−q n 1−t n a −n . In particular, in the basis of Macdonald polynomials the symmetry corresponds to the transposition of the Young diagram Y : From physical point of view this symmetry is natural, since q and t −1 are two equivariant parameters acting along two orthogonal planes in the R 4 q,t . In the algebraic construction of refined topological strings each leg of the brane web corresponds to a Fock representation. The direction of the leg corresponds to vector of two central charges (k 1 , k 2 ) of the DIM algebra. Thus we call Fock representations vertical or horizontal depending on the value of the central charges. Brane junction corresponds to DIM algebra intertwining operator acting from the tensor product of two Fock spaces (e.g. vertical and horizontal) into a single Fock space (e.g. diagonal) or vice versa. Gluing of vertices corresponds to the composition of intertwiners. Spectral duality of the brane web corresponds to the Miki automorphism of the DIM algebra, which in particular takes the mirror image of the central charge vector (k 1 , k 2 ) → (k 2 , −k 1 ). Mirror image of charge vectors implies mirror image of all the brane web. Miki automorphism does not change q and t parameters. Thus, we conclude that partition function of refined topological string corresponding to the brane web in Fig. 8, a) is invariant under the symmetry (3.13). 12 When composing two intertwiners (or gluing two vertices in the brane web) we need to perform the sum over intermediate states belonging to the Fock representation, i.e. over all Young diagrams Y . However, for the specific choice of spectral parameters corresponding to the higgsed theory, only a subset of diagrams yield nonzero matrix elements. In the setup shown in Fig. 8. Those are diagrams with at most one column, i.e. Y = [k]. The sum over these diagrams corresponds to the sum over k (a) i in the vortex partition function (2.12). The subspace of the Fock representation F retains larger symmetry of the original DIM algebra. In particular it turns out that, besides the standard q ↔ t −1 symmetry, the symmetry t ↔ q t is also secretly preserved in the partition function. A simple example of such situation occurs in the basis of Macdonald polynomials. The polynomials corresponding to totally antisymmetric reps do not depend on q and t, so they do not feel the exchange of t and q t . We plan to return on this point in the future.

Duality web III
In this section we study the Duality web III depicted in Fig. 3.

2d GLSM, Hori-Vafa dual and Toda blocks
On the gauge theory side (face 3) we consider the limit where we shrink the S 1 circle and reduce the T [U (N )] theory from D 2 × S 1 to the cigar D 2 . This corresponds to taking q = e → 1 since = R where R is the circle radius and is the equivariant parameter rotating the cigar which we keep fixed (and indeed can set its numerical value to one).
As we have already mentioned in the Introduction there are various ways to take the 2d limit, here we consider the limit which is the ordinary dimensional reduction of the 3d T [U (N )] theory down to the theory with the same matter content in 2d. This limit is called the Higgs limit in [8,41], since the 3d FI parameters are large and lift the Coulomb branch while the matter fields remain light.
In our conventions (where the 3d real mass parameters are dimensionless as they have already been rescaled by R), this limit is implemented by taking T a finite as → 0 and We identify f j and β as the (dimensionless) twisted mass parameters for the SU (N ) × U (1) A symmetries. We will keep all these deformations finite to ensure that the theory has N isolated massive vacua.
When we take the limit on the partition functions we also have to consider possible rescaling of the integration variable which can single out the contribution for vacua located at infinite distances. In the Higgs limit case the vacua remain at finite distances which corresponds to take: With this parameterisation, using the following limit discussed in the Appendix C we can take the q → 1 limit of block B D 2 ×S 1 T[U(N)] in (2.1) and find: The divergent prefactor in the above expressions is the leading contribution to the saddle point and we will have to match it to analogue divergence arising from the limit of the dual block. Then we identified up to a contact term the D 2 partition functions B D 2 T[U(N)] of the N = (2, 2) * T [U (N )] theory which can be written down following [70,71]. The chiral multiplets contributions to the partition function are now given by Gamma functions which sit in the numerator or in the denominator depending whether they correspond to Neumann or Dirichlet boundary conditions as in the 3d case. Our symmetric choice of the boundary condition for the chiral multiplets corresponds to a particular boundary condition.
On the mirror dual side, where the FI and mass parameters are swapped the limit we have just described acts very differently and it corresponds to the so called Coulomb limit. Indeed now the chirals are massive and the Higgs branch is lifted. As before however we keep all the deformations parameters non zero so that the 2d theory still has isolated vacua. This time however the vacua are at infinity. In our convention this means that the 3d Coulomb brach parameters x (a) i = e X (a) i stay finite as → 0. In this case we will use the following property of q-Pochhammer symbols which is proven in the Appendix C and find that: We notice first of all that the divergent prefactor in the above expression matches the one we found by taking the limit on the mirror side, which guarantees that we are comparing the right set of vacua on both sides of the duality.
In the last equality we identified the integral blockĎF A N −1 N +2 of (N + 2) vertex operators in A N −1 Toda CFT with screening charges N a = a and the following identification of parameters: As before we put ∼ because we omitted the overall z p dependent factor in the Toda conformal block (2.43). So we have obtained the red diagonal link in the web 3 which relates the 2d gauge theory to the CFT block. Notice that the map (4.7) between the parameters of the gauge theory and Toda block is consistent with the → 0 limit of the previously derived gauge/CFT correspondence map (see Table 1) after the mirror symmetry transformation τ p ↔ µ p , β ↔ (1 − β).
To make contact with the Hori-Vafa dual theory of twisted chiral multiplets which we expect to find on the bottom right corner of face 3 in 3 we simply need to exponentiate the integrand I in eq. (4.6) as I = exp(log I) and identify log(I) with W the twisted superpotential contribution to the D 2 partition function of the Hori-Vafa dual theory. The dual theory also has N (N − 1)/2 un-gauged chiral multiplets which yield the Γ(1 − β) factors.
Notice that we keep all the FI and the twisted mass deformations on. This is necessary for the convergence of the integrals (and to relate to CFT) so the match of the D 2 partition functions is a check of the duality for the mass deformed theories with isolated vacua. As recently discussed in [7,8] it quite subtle to understand what happens when these deformations are lifted and generically we are not guarantee to find a proper IR duality for massless theories.
In the discussion above we only focused on the reduction of the integrands. The fate of the integration contours in the reduction is quite intricate. For abelian cases (including the T [U (2)] theory discussed here) a detailed analysis of the integration contours will be given in [44].

2d GLSM and the d-Virasoro algebra
Finally the remaining corner of face 2, labelled dDF and δ × (x) = n∈Z x n is the multiplicative delta-function. One can understand δ × (x) as the delta function on the unit circle, where x = e iφ , since n∈Z e inφ = m∈Z δ + (φ − 2πm), and δ + (u) is the standard (additive) Dirac delta delta-function.
The q-Virasoro algebra in the familiar limit q = e → 1 and t = q β with fixed β reduces to the Virasoro algebra. This can be seen by taking the above limit in eq. (4.8) keeping fixed also the positions of the currents z and w. In this case one recovers the quadratic relation for the ordinary Virasoro algebra. The current T (z) also reduces to the Virasoro current L(z): We can also take an unconventional limit of the quadratic relation (4.8) where positions z and w scale as powers of q: 11) and the current t(u) = lim q→1 T (q u ) remains finite then the relations of the algebra become (4.12) where the structure function becomes . (4.13) The main effect the limit is that the q-Pochhammer symbols in the definition of the q-Virasoro structure constants (4.9) turn into Euler gamma functions. Essentially this algebra, which we will call d-Virasoro algebra, is the additive analogue of the q-Virasoro algebra.
We claim that conformal blocks of the d-Virasoro algebra have the DF representation which coincides with the GLSM localization integrals. Moreover, these blocks are spectral dual to the ordinary CFT conformal blocks, so that the positions of the vertex operators in d-Virasoro become momenta in the dual CFT and vice versa.
The screening current commuting with the generator t(u) up to total difference is given by where we have introduced an additional pair of zero modes P and Q, which commute with the Heisenberg algebra formed byP ,Q and c n . We can immediately check that the normal ordering of the screening currents correctly reproduces the gamma function measure of the GLSM integral measure: 13 The ratio of sines in the second line of Eq. (4.18) is a periodic function with period 1 and will factor out of the integral block. This happens for the same reason as in the q-deformed case: the residues of the integrand which is a product of gamma functions appear in strings with period 1.
We then introduce vertex operators: (4.19) and assume that the initial state |α (0) of the conformal block is annihilated byP and is the eigenfunction of P :P We can then combine all the pieces and calculate our d-DF integral for n + 2-point conformal block which as expected reproduces the T SU (N ) partition function Eq. (4.4): . (4.21) The Duality web in (face 4) Fig. 3 indicates that the d-DF blocks are dual to the DF block of the ordinary W n algebra. This is a consequence of the spectral duality for deformed Toda correlators. In particular in the N = 2 case we have a duality between the four-point d-Virasoro block and the 4-points ordinary Virasoro block. Notice that while the evaluation of the DF blocks is quite intricate (even in the simple cases involving vertices with degenerate momenta) the evaluation d-DF blocks can be performed quite easily on contours encircling the poles of the Γ functions. One can than regard the map of ordinary DF blocks to d-DF blocks or to GLSM partition functions as an efficient computational strategy. We will continue this discussion in [43].
A Partition function on D 2 × S 1 In this appendix we quickly record the steps to obtain the holomorphic block integral for the T [U (N )] theory from the factorisation of the S 3 b partition function. For details and notation we refer the reader to [17,18]. The key point is the following chain of relations relating the partition function on a compact three-manifold which can be obtained gluing to solid tori D 2 × S 1 with some SL(2, Z) element, which in the squashed three sphere case S 3 b is the element S and the 3d holomorphic blocks: This very non-trivial chain of identities provides us with a practical way to obtain the block integrand Υ by factorising the integrand of the S 3 b partition function which consists of the classical contribution of the mixed Chern-Simons couplings and the one-loop contribution of the vector and chiral multiplets: The factorisation of the S 3 b integrand follows from the fact that the vector and matter contributions are expressed in terms of the double sine function S 2 (X) which can be factorised as: 1. Bifundamental hypermultiplet of massm conneting nodes a and b: and using the factorization formula (A.3) can be expressed as: This general expression can be significantly simplified in for the matter content of T [U (N )] theory. In this case only two adjacent nodes are connected with the bifundamental hypermultiplet so that we should take b = a + 1 in the expression above. Also we fix the ranks of the gauge groups in the following form N a = a.
Then we can write the contribution of all bifundamental hypers in T [U (N )] quiver in the following form: where we made the following identification with the holomorphic block variables: i , e 2πib( ω 2 +im) ≡ −q 1/2 e −m = t .
So we identify 2πbm ≡ m wherem are the dimensionless real masses parameters (use S 3 b radius) entering in the S 3 b partition function while m = Rm 3d is the dimensionless axial mass appearing in the holomorphic block. And the S 3 b and D 2 × S 1 Coulomb branch variables 2πbX Factorising the double sine as in the previous case and expressing the result in terms of the shifted exponentiated variables we find: where we also introduced again we have the identification 2πbM p = M p between the dimensionless mass parametersM p on S 3 b and the dimensionless mass parameters M p = RM 3d p on D 2 × S 1 .
3. Vector+adjoint multiplet of massm at node a. Finally the contribution of vectors and adjoint hypers is given by: 4. Mixed Chern-Simon terms. Finally we need to discuss the contribution of the mixed Chern-Simon terms. In the T [U (N )] theory we have turned on real masses T a+1 − T a for the topological symmetry of the a-th gauge node. These mixed Chern-Simons terms contribute to partition function as: where the first factor comes from the change of variables fromX At this point we should express these Chern-Simons contributions as squares. To do so one can use the following rewriting of the modular transformation of the Jacobi-theta function: where θ q (x) = (qx −1 ; q) ∞ (x; q) ∞ . Using this identity we can convert quadratic exponential into squares of theta functions and deduce the combination of theta functions which represent the contribution of the Chern-Simons coupling to the block integral. For more details we refer the reader to [17]. In [45] the theta functions appearing in the block integrals have been shown to arise as one-loop contributions of 2d multiplets on the boundary torus.

B Calculation of free field correlators
In this appendix we show how to get the DF representation of the conformal blocks in Toda theory and its q-deformed version.

B.1 Toda conformal block
To calculate free field correlators of the form (2.37) we normal order all our expressions using the standard normal ordering identity valid for the operators v i commuting on a c-number: Then using the Heisenberg algebra (2.34) it is straightforward to obtain the following relations for the normal ordering of the screening currents (2.32) and vertex operators (2.33).
1. Normal ordering the screening currents from the same sector 2. Normal ordering the screening currents from different sectors  Another way to obtain the factor (B.6) is to take z → 0 limit of Eq. (B.5).
Finally collecting all the factors we have derived above we find that the free field correlator (2.37) becomes the following matrix integral: where we have omitted the normalization coefficient of the conformal block, that stands in front of the integral. In general this coefficient depends on the coordinates of the vertex operators insertions.

B.2 q-Toda conformal block
Repeating the normal ordering calculation of the previous section for the screening currents (2.44) and vertex operators (2.45) we obtain the following relations: 1. Normal ordering the screening currents from the same sector We notice that the function is q-periodic and thus yields an overall constant in front of the integral. We can then rewrite previous expression in a more convenient form : : which exactly coincides with the ordinary Toda conformal block (2.43).

C q → 1 limits
In our work we use various formulas for the q → 1 limit of q-Pochhammer symbols. In this appendix we give proofs for these formulas. We start with the derivation of the standard formula for the following limit: with x variable held fixed during the limit. To prove this formula we need to take logarithm of the right hand side, use q-Pochhammer definition and perform expansion of the logarithms: which completes the proof of (C.1). Second formula we would like to discuss is given in (4.3): To prove this relation we need to use the definition of q-Gamma function: Then it is known that lim q→1 − Γ q (x) = Γ(x) .

(C.4)
Here we provide the short proof of this limit due to Gasper [72,73]. First of all we notice ∞ n=1 1 − q n+1 1 − q n x = 1 (1 − q) x . (C.5) Using this identity we can rewrite the following identity for the limit of Γ q (x + 1): which completes the proof of (C.3).

D RS Hamiltonians and T [U (N )] holomorphic blocks
In this Appendix we prove that T [U (N )] holomorphic block B ( µ, τ , q, t) is an eigenfunction of the first RS Hamiltonian and its p-q dual. In other words, we prove Eq. (2.18) and Eq. (2.21) for r = 1.