#### Spectral duality in elliptic systems, six-dimensional gauge theories and topological strings

Accepted: May
Spectral duality in elliptic systems, six-dimensional gauge theories and topological strings
A. Mironov 0 1 2 3 5 6 7 8
A. Morozov 0 1 2 3 5 7 8
Y. Zenkevich 0 1 2 3 4 7 8
0 Bol.Karetny per. , 19 (1), Moscow 127994 , Russia
1 Bol.Cheremushkinskaya , 25, Moscow 117218 , Russia
2 National Research Nuclear University MEPhI
3 Leninsky pr. , 53, Moscow 119991 , Russia
4 Institute of Nuclear Research
5 Institute for Information Transmission Problems
6 Theory Department, Lebedev Physics Institute
7 60-letiya Oktyabrya pr. , 7a, Moscow 117312 , Russia
8 Kashirskoe highway , 31, Moscow 115409 , Russia
We consider Dotsenko-Fateev matrix models associated with compacti ed Calabi-Yau threefolds. They can be constructed with the help of explicit expressions for re ned topological vertex, i.e. are directly related to the corresponding topological string amplitudes. We describe a correspondence between these amplitudes, elliptic and a ne type Selberg integrals and gauge theories in content. We show that the theories of this type are connected by spectral dualities, which can be also seen at the level of elliptic Seiberg-Witten integrable systems. The most interesting are the spectral duality between the XYZ spin chain and the Ruijsenaars system, which is further lifted to self-duality of the double elliptic system.
Topological Strings; Brane Dynamics in Gauge Theories; Integrable Hierar-
1 Introduction 2
DF measures from toric diagram
2.1 q-deformed spherical block
2.2 q-deformed torus block 2.3 A ne spherical block 2.4
A ne torus block
2.1.1
2.1.2
2.2.1
2.2.2
2.3.1
2.3.2
2.4.1
2.4.2
Virasoro conformal block
WM -algebra conformal block
Virasoro conformal block
WM -algebra conformal block
bu(1) measure
AbM measure
Torus bu1 measure
Torus AbM measure
1.1
1.2
A primer: 5d SU(2) theory and q-Virasoro 4-point conformal block
3.2 6d N = (1; 1) U(1) theory and the index vertex
Generalizing to U(N )/quiver of U(1) groups
AGT: LMNS integral from the extended DF integral
4
Spectral dualities and elliptic integrable systems
Generalities
XYZ chain
Elliptic spin Ruijsenaars system
Spectral duality
5
Conclusion B
Useful formulas
A Five-dimensional Nekrasov functions and AGT relations
{ 1 {
Introduction
Gauge theories with eight supercharges in 4d, 5d and 6d can be e ectively analyzed from
the string theory perspective. This view is natural if one wants to study deformations of
these theories and understand their structure in geometric terms. Also this family of gauge
theories turns out to be a focus point of several dualities, some of which are still in need
of a full explanation.
One of these dualities is the AGT correspondence, relating partition functions of gauge
theories to 2d CFT conformal blocks. It was rst observed for 4d theories [1{3], then
generalized to 5d [4{11] and very recently to 6d [12, 13]. The AGT relation was motivated
by the study of the worldvolume theory on the stack of M5 branes wrapping a Riemann
surface, the bare spectral curve [14]. This geometric point of view naturally incorporated
various properties of 4d N = 2 gauge theories: S-duality, Seiberg-Witten curve, BPS states
counting and relation with integrable systems. Any geometric meaning of the AGT duality
for 5d gauge theories, which features q-deformed 2d CFT, is not so manifest.
Gauge theories in
ve dimensions can be obtained using a di erent approach, the
geometric engineering technique, which relates them to type IIB strings on the (p; q)-brane
web [15{20] or topological strings on toric Calabi-Yau three-folds. This approach allows for
direct computation using the re ned topological vertex technique [21{26], and explicitly
reproduces the Nekrasov partition function of gauge theories.
(p; q)-webs and toric CY backgrounds have a natural symmetry, the spectral [27{32],
or ber-base, duality, which is also the S-duality of IIB strings. This duality connects
gauge theories with di erent gauge groups and matter content, which, however, have the
same partition functions and the same set of BPS particles: the instantons and W -bosons
get exchanged. The spectral duality has been studied for linear quiver gauge theories [33]
and for SU(2) gauge theories with Nf
8 fundamental matter multiplets [34{39].
It has also been understood that the spectral duality is closely related to the AGT
duality. In [40, 41] (see also [42, 43]) the Dotsenko-Fateev (DF) integrals for conformal
blocks of the q-deformed CFT [44{60] have been rewritten as sums over residues, each
corresponding to a xed point in the instanton moduli space of a 5d gauge theory. However,
this gauge theory turned out to be not the theory related to the conformal block by the
AGT duality, but rather its spectral dual. Thus, the AGT relation is obtained as action of
the spectral duality on the DF integrals of the q-deformed CFT.
In [61{63] we initiated a program to better understand the relationship between 5d
gauge theories, q-deformed conformal blocks and structure of re ned topological string
amplitudes on toric CY. Here we would like to extend our analysis to the compacti ed
toric CY, which correspond to 6d gauge theories and to the elliptic deformation of the
conformal algebra.
In the spirit of [62], we show how to combine the elementary building blocks, amplitudes
of the re ned topological string in order to obtain the measures of the DF-type integral
root systems (related to the 6d gauge theories), and the setup corresponding to the 6d
theory with adjoint matter.
It is well-known that gauge theories we are considering correspond to the
SeibergWitten integrable systems [64]{[87], [20]. In the case of compacti ed brane diagram, these
integrable systems are of elliptic type. They include the elliptic Ruijsenaars, the XYZ spin
chain and the still mysterious double elliptic integrable system [79{83]. We propose the
spectral duality for these systems and make a few qualitative tests of it.
One motivation for going to 6d is to probe the (2; 0) 6d superconformal theory, which
is thought to originate from coincident M5 branes. However, what we actually obtain is
the T -dual theory, the (1; 1) 6d gauge theory. This is the dimensional reduction of the
10d minimal supersymmetric gauge theory, which upon further reduction gives the N = 2
theory in 5d and N = 4 theory in 4d. The (1; 1) gauge theory can also be thought of as a
Kahler gravity theory, which is the target space description of the microscopic \quantum
foam" geometry of topological strings [88]. The theory can be put in the 6d
-background
with three equivariant parameters q1;2;3 corresponding to three elements of the Cartan
subalgebra of SO(6). The \instantons" of the 6d theory, xed under these isometries are
identi ed with the atoms of the melting crystal model, and the partition function of the
gauge theory is identi ed with the index version of the topological vertex.
We start our discussion by reminding the brane descriptions of gauge theories in 4d,
5d, 6d and their relation to (re ned) topological strings. We then provide an exhaustive list
of possible topological string amplitudes (including compacti ed toric diagrams), which are
suitable as building blocks for quiver gauge theories in 5d and 6d. We also generalize the
dictionary obtained in [62] to these amplitudes and describe the corresponding
DotsenkoFateev type integrals. Our approach to the DF integrals exploits also the \triality" between
5d gauge theories, 3d theories and q-deformed conformal blocks proposed in [40, 41]. We
interpret the sums over Young diagrams as the sums over residues and then investigate
structure of the corresponding integral.
In the second part, we focus on one particular amplitude for the compacti ed CY, which
corresponds to the 5d gauge theory with adjoint matter, or, employing the spectral duality,
to the 6d linear quiver of U(1) groups. We nd here a close counterpart of the triality,
which gives the a ne version of the q-Selberg integrals. Investigating the pole structure
of these integrals we encounter a new interesting phenomenon: the contour of integration
does not encircle all the poles of the integrand. The meaning of the missing poles turns out
to be quite remarkable: they correspond to instantons of the six-dimensional gauge theory
enumerated by the plane partitions (3d Young diagrams). Even more remarkable is the fact
that each residue exactly reproduces the equivariant K-theory index of the corresponding
xed point in the instanton moduli space of the N = (1; 1) 6d theory [89, 90]. We also
point out that the a ne Selberg integrals and their generalizations, which we introduce,
have a very nice cohomology limit, in which they turn into the 6d counterparts of the
LMNS integrals [91{94]. Taking a further limit reduces the integrals to the standard 4d
LMNS ones. Thus, our extended integral provides a simple explanation for the AGT relation between the two very di erent integral representations of the same quantity: the DF integrals (representing the conformal blocks) and the LMNS integrals (computing the
Nekrasov partition function).
{ 3 {
In the last part of the paper, we discuss the Seiberg-Witten integrable systems,
corresponding to the gauge theories we have considered. We rst recall the general idea of the
integrable system construction, and then proceed to study action of the spectral duality
on integrable systems a la [27{31]. We generalize the results known for the rational and
trigonometric systems to the elliptic ones: the elliptic Ruijsenaars model, the XYZ spin
chain, the double elliptic systems and their generalizations. We show that the spectral
duality originating from the (p; q)-brane rotation indeed gives a nontrivial identi cation
between di erent elliptic systems.
1.1
Brane pictures
For 4d theories the relevant brane construction is provided by Type IIA theory [95] (see
also related subjects in [96{101]). To obtain a linear U(N )M 1 gauge theory one considers
a set of M \vertical" NS5 branes extending in the (x0; x1; x2; x3; x4; x5) directions and N
\horizontal" D4 branes suspended between them in the directions (x0; x1; x2; x3; x6). The
(x5; x6) projection of this setting is shown in
gure 1. On the segments of D4 branes
suspended between each pair of adjacent NS5 branes lives a gauge theory with U(N ) gauge
group, which is spontaneously broken down to U(1)N by the adjoint scalar vacuum averages
ai( ). These averages are represented by the vertical distances between the D4 branes. The
(asymptotic) distance between the two NS5 branes represent the complexi ed coupling
constant
=
i
= 4g2
i
2
of the gauge group. The neighbouring gauge groups in the
linear quiver are coupled through a bifundamental hypermultiplet. Its mass mbif is given
by the relative positions of the centers of masses of D4 branes to the left and to the right
of the corresponding NS5 brane. There are N semi-in nite D4 branes coming from the left
| they correspond to N fundamental matter elds with masses mf;i coupled to the rst
U(N ) gauge factor of the quiver. These branes can also be understood as arising from an
additional gauge theory with vanishing coupling constant. Similarly N branes extending
to the right of the diagram correspond to N antifundamental hypermultiplets with masses
mf;i coupled to the last gauge factor. One can make the hypermultiplets in nitely massive
while simultaneously sending the gauge coupling to zero. This corresponds to the picture,
where all the semi-in nite D4 branes are moved in nitely high or low. The D4 branes have
tension, which bends the NS5 branes, so they are no longer asymptotically parallel to each
other. This simply means that there is no well-de ned coupling at high energies, and the
theory is asymptotically free. Indeed, bending of NS5 branes can be found by solving for
a minimal surface in 3d space spanned by (x4; x5; x6). Thus, the brane diagram in gure 1
is only schematic | NS5 branes should be viewed as curved surfaces pulled by D4 branes.
Away from D4 branes one gets x6(x4; x5)
ln jx4 + ix5j | characteristic behavior of an
asymptotically free theory. If there are the same numbers of D4 branes pulling an NS5
brane to the left and to the right, then the tension is balanced and asymptotically one has
x6(x4; x5)
const, so that the resulting gauge theory is conformal in the UV.
To analyze the non-perturbative e ects, such as instantons, in the gauge theory the
picture has to be lifted to M-theory. The extra coordinate forms a circle SR111, which
radius is proportional to Type IIA string coupling constant. Then, the NS5 and D4 branes
are described by a single M5-brane, wrapping the complex Seiberg-Witten curve , which
{ 4 {
HJEP05(216)
mf;2+mf;1
2
mf;2
mf;1
mf;2
mf;1
mf;2+mf;1
2
D4
D4
a(1)
1
NS5
mbif
a(2)
NS5
NS5
spectrum and global symmetries can be read o from the curve and the corresponding
brane diagram. In particular, M2 branes suspended between the sheets of
and wrapping
special contours on it correspond to BPS particles in the gauge theory. Partition function of
the gauge theory can be found by evaluating the periods of the Seiberg-Witten di erential
over the Seiberg-Witten curve .
Let us describe one more system associated with the brane picture: the Seiberg-Witten
integrable system. The phase space of this system can be understood as follows. The family
of Seiberg-Witten curves is parameterized by the Coulomb moduli of the gauge theory,
which correspond to positions of the D4 branes in the Type IIA picture. These are the
integrals of motion, or Hamiltonians of the integrable system. Thus, the Seiberg-Witten
curve is identi ed with the spectral curve of the integrable system, which is the generating
function of the Hamiltonians. For xed values of the Hamiltonians, the system moves on a
torus. This torus is given by the Jacobian of the Seiberg-Witten curve, so that the whole
phase space is a torus bration over the Coulomb branch of the gauge theory moduli space.
The surprising fact is that Seiberg-Witten integrable systems can in fact be described very
concretely and coincide with some classic integrable systems: e.g. for 4d U(N )M 1 linear
quiver it is given by the periodic glM XXX spin chain with N spins [73]. The masses of
the hypermultiplets correspond to Casimir operators of the spins and the couplings enter
the twist matrix of the chain.
In a similar way one can consider gauge theories with adjoint matter. In this case
the x6 direction (horizontal in
gure 1) should be compacti ed on a circle SR16, so that
the D4 branes no longer extend to in nity on the left and right margins of the page,
but wrap the SR16 circle with both ends attached to a single NS5 brane. The resulting
arrangement is shown in
gure 2. By compactifying diagrams with more NS5 branes, one
gets a \necklace" quiver of gauge groups coupled by bifundamentals. For the resulting
gauge theory to be well de ned in the UV one has to make all the gaps between NS5
branes expanding asymptotically, or staying constant. The only way to actually obey this
constraint is to make the number of D4 branes suspended between each two NS5 branes
the same, which gives the U(N )M quiver. The integrable system corresponding to the 4d
U(N ) theory with adjoint matter is N -particle elliptic Calogero model [68{70], and for
{ 5 {
D4
D4
madj
NS5
a2
a1
the cyclic identi cation of the lines on the left and right.
necklace quivers it is a certain multipoint generalization of Calogero system [32]. The mass
of the adjoint multiplet corresponds to the Calogero coupling constant and the gauge theory
coupling constant is encoded in the elliptic parameter of the system.
One can also compactify the x
4 direction (which is perpendicular to the plane of
gures 1, 2). To get the gauge theory interpretation of this setup we perform T -duality
along the resulting circle S11=R4 . Under T -duality Type IIA theory turns into Type IIB,
which has odd instead of even D-branes. Thus, after T -duality, D4 branes, which were
suspended between the NS5 branes and spanned (x0; x1; x2; x3; x6), being transverse to
S11=R4 , become D5-branes, wrapped over SR14 and spanning (x0; x1; x2; x3; x4; x6).
The
worldvolume theory on D5 branes is generally a six-dimensional gauge theory. However, in
the x6 direction the brane has a
nite span
, so the resulting low energy theory is
vedimensional gauge theory on (x0; x1; x2; x3; x4) 2 R
4
SR14 . However, as in the NS5-D4
system discussed above, we have to include brane tension in our picture. The di erence with
the D4 case is that now we have to solve the minimal surface condition in two-dimensional
space (x5; x6), so the resulting surface is always a straight line (this answer also follows
from supersymmetry constraints). D5 branes are represented by horizontal lines and called
(0; 1) branes, and NS5 branes are vertical lines, or (1; 0) in this setting. When (0; 1) and
(1; 0) branes merge one has to balance the tension, so the resulting brane is can be neither
vertical, nor horizontal. In fact the tensions of (0; 1) and (1; 0) branes can be made the
same by a suitable choice of x5 and x6 scales, and we will assume this choice throughout
our discussion. The bound state of (0; 1) and (1; 0) branes has unit slope, and is called the
(1; 1) brane. All other bound states can be obtained in a similar fashion and the whole web
of branes in the (x5; x6) plane is called the Type IIB (p; q)-brane web [15{19]. The example
of a brane web is depicted in
gure 3. Notice that the angles of the branes are related to
their charges | which are conserved in any brane merger. The moduli of the gauge theory
correspond to the lengths of the edges, which we denote by Qi. More concretely, in the
example shown in
gure 3 Qm;i correspond to the gauge theory masses, QF;i encode the
vacuum moduli and QB;i are related to the couplings
i
. Notice that in this picture the
vacuum averages, masses and coupling constants all appear on the same footing. Moreover
{ 6 {
HJEP05(216)
the S-duality of the type IIB theory turns (1; 0) brane into a (0; 1) brane, thus eliminating
the asymmetry between the vertical and horizontal directions.
Rotation of the brane web, or S-duality in Type IIB language, which is obviously a
symmetry of the theory, corresponds to a nontrivial duality between 5d gauge theories,
corresponding to the web. Indeed, for M vertical branes intersecting with N horizontal
branes one has the U(N )M 1 linear quiver, while for a rotated web it should be U(M )N 1
.
The relation between two gauge theories is given by the spectral duality. One can
understand this duality as the map on the space of BPS states of the theories, taking the
W -bosons of one theory into the instantons of the other and vice versa. The masses of the
BPS states are given by MBPS = jZj
ki are instanton numbers with respect to U(N )M . From this expression we see that the
spectral duality maps Coulomb moduli of one theory to couplings of the dual theory. This
is also evident from the brane web, since vertical and horizontal distances correspond to
aini + iki + : : :, where ni are U(1)N charges and
Coulomb moduli and couplings respectively.
The integrable system corresponding to the 5d U(N )M 1 linear quiver gauge theory
is the periodic Uq(glM ) XXZ spin chain with N spins [73]. As in the XXX case, masses
and couplings of the gauge theory are written in terms of Casimir operators and twist
matrix of the spin chain. Notice that spectral duality is also a nontrivial duality of the two
spin chains: the Uq(glM ) chain with N spins is mapped onto the Uq(glN ) chain with M
spins [27{31]. The spectral curves of the two systems coincide, while the Hamiltonians are
expressed through each other and the parameters of the systems.
Again, as in the Type IIA case, considered above, to obtain the non-perturbative
description of the 5d gauge theory, one has to lift the (p; q)-web to M-theory. We start from
Type IIB theory on R
9
SR14 , which is equivalent to M-theory on R
9
T2 with Vol(T2)
R 4=3. A (p; q)-brane of Type IIB is M5 brane wrapping the (p; q)-cycle on T2. By a
4
chain of dualities one can transform this brane picture into a purely geometric background
without any branes, namely the toric Calabi-Yau threefold [
102
], so that the whole setup
looks like R4
CY3
S1. CY3 is a T3- bration degenerating over the edges and vertices of
the toric diagram T 2 R3, which completely determines the geometry and is identi ed with
the brane web from Type IIB. Finite edges of the diagram represent the two-spheres inside
the CY, and, instead of the lengths of brane segments, the relevant parameters are Kahler
moduli of these spheres, which we also denote by Qi. Notice that not all the edge lengths
are independent: one needs to impose constraints, so that all the cycles on the diagram
are indeed closed. In particular, each cycle imposes two constraints, corresponding to
horizontal and vertical projections. On
gure 3 we label only the independent lengths.
Toric or web diagrams can be compacti ed in the same way as the type IIA brane
diagram. Again, the edges of the picture become identi ed and some of the branes wrap
the resulting cycle, as shown on gure 4, resulting in a 5d gauge theory with adjoint (or more
generally necklace quiver of bifundamental) matter. Moreover, since there is no di erence
between the horizontal and vertical directions in this picture, one can consider the vertical
compacti cation as well (see gure 4). The vertical compacti cation corresponds to the 6d
gauge theory with fundamental matter. The important point here is that since the vertical
direction is compact, one cannot send the semi-in nite D5 branes up or down inde nitely,
{ 7 {
Qm;3
QF;3
Qm;4
NS5
HJEP05(216)
D5
D5
QF;1
Qm;2
NS5
QF;2
QB;1
QB;2
NS5
QB
QB
QB
Qm
Qm
QF;1
QF;2
Qm
with adjoint multiplet. Notice the cyclic identi cation of the lines on the left and right.
and only U(N ) gauge theories with exactly 2N fundamental multiplets are allowed. Also,
there is a constraint that the sum of all the masses is equal to the sum of all the vacuum
moduli. In the language of the gauge theory this constraint can be understood as the
anomaly cancellation condition for large gauge transformations.
Notice that spectral duality still acts on the compacti ed diagram. However, the dual
gauge theories are now of di erent space-time dimension: one is the 5d U(N )M necklace
quiver theory and the other is the 6d U(M )N 1 linear quiver. The BPS states of the two
theories are identi ed in the same way, as for the 5d linear quivers discussed above.
In the language of integrable systems spectral duality gives a new nontrivial identi
cation between di erent elliptic systems. More concretely, 5d U(N )M necklace quiver theory
corresponds to multipoint generalization of elliptic Ruijsenaars system, while 6d U(M )N 1
linear quiver is described by the XYZ spin chain. The two gauge theories are dual, and
thus the integrable systems are also dual, in the same way as the XXZ spin chains in the
example discussed above. We conclude that the XYZ spin chain is spectral dual to the
multipoint elliptic Ruijsenaars model.
{ 8 {
Naturally one can also compactify both horizontal and vertical directions of the toric
diagram, and obtain the 6d necklace quiver theory. This theory seems in many ways special.
In particular, the corresponding Seiberg-Witten integrable system is of double elliptic type,
i.e. the Hamiltonians depend elliptically both on the coordinates and momenta. This
system is currently a subject of intense investigation [79{83]. We only mention here that, since
the doubly compacti ed toric diagram can be rotated to get another doubly compacti ed
diagram, di erent double elliptic systems should be connected by the spectral duality.
(re ned) topological strings on CY3, where the (re ned) topological vertex technique can
be used. Let us describe the recipe to obtain the partition function from the toric diagram.
To each 3-valent vertex of the toric diagram one assigns a 3-index object CABC (q; t),
where A, B and C are Young diagrams, residing on the three edges adjacent to the vertex,
and the two parameters of the vertex, q = e 2R5 , t = q
= e 1R5 , are related to
deformation parameters ( 1; 2) of the corresponding 5d gauge theory on R
topological strings q is also the exponentiated string coupling q = e gs , so that R5 can also
4
SR15 . In
be understood as the radius of the M-theory circle. The ordering of indices in the re ned
topological vertex CABC (q; t) depends on the extra labels of the adjacent edges. For toric
manifolds, which we consider, each vertex has one edge with preferred direction (marked
with double stroke) and two other labelled by t and q, see [26]:
CABC (t; q) =
= q
jjBjj2+jjCjj2 t jjBTjj2+jjCTjj2 M C(q;t) t
2 2
A
t
B
q
C
(1.1)
:
(1.2)
(1.3)
Here jjCjj2 = Pli(=C1) Ci2, CT is the transposed Young diagram, M C(q;t) denotes Macdonald
polynomial, q C t
= f
q C1 t1=2; q C2 t 3=2; : : :g and
A=B are skew Schur functions, which
are de ned using the Littlewood-Richardson coe cients NACB starting from the ordinary
Schur functions A:
A(x) B(x) =
X NACB C (x);
A=B(x) =
X NBAC C (x):
C
C
To each internal edge of the toric diagram one assigns the (complexi ed) Kahler
parameter Q of the corresponding two-cycle in the CY. If the two vertices are joined by an
edge, then the corresponding indices are contracted with the \propagator" GAB(Q; q; t):
X
D
q jDj+jA2j jBj
t
AT=D q C
t
B=D t CT q
GAB(Q; t; q) =
e
GAB(Q; t; q) =
t
A
A
q
B
B
= ABQjAj ( 1)jAjq jjATjj22+jAj t jjAjj22+jAj
= ABQjAj ( 1)jAjt jjATjj2 q jjAjj2 n
2 2
;
n
;
{ 9 {
Qm;3
Qm;2
QF;2
QF;1
QB
Qm;1
Qm;3
Qm;2
Qm;1
where n is the framing factor, depending on the relative orientation of the adjacent edges.
Notice that the t and q marks should be di erent on the two sides of the propagator. The
total closed string partition function corresponding to a diagram is given by the appropriate
contraction of the propagators with the vertices. One can also leave some of the sums
over the diagrams unevaluated, to obtain the open string amplitude. In this case, some
of the external edges will contain the Young diagram labels, corresponding to the open
string boundary conditions on the Lagrangian brane intersecting the corresponding leg
of the diagram.
Compacti cation of the toric diagram introduces a new parameter | which can be
though as either the coupling constant
of the theory with adjoint hypermultiplet (similarly
to gure 2, where it was given by
), or as the compacti cation radius R6 of the 6d theory.
This parameter is encoded in the Kahler parameter of the corresponding edge. For example,
in
gure 4 the (exponentiated) coupling constant is given by Q
= QBQm. Notice that
in the CY construction of gauge theories there is essentially no di erence between the 5d
theory with adjoint matter (e.g. in
gure 4) or a 6d theory with fundamental matter (as
e.g. in
gure 5) | which is just another manifestation of the spectral duality.
We also observe a new curios feature of the compacti ed diagrams [63]. If we consider
the diagram corresponding to U(1) gauge theory with adjoint matter, we get extra poles in
the corresponding DF integral. Encircling these poles we arrive at the 6d (1; 1) gauge theory
6
on Rq1;q2;q3 with three equivariant parameters. Two of these parameters are the equivariant
parameters of the original gauge theory, while the third one is given by the mass of the
adjoint multiplet. The partition function of this theory on C
3 = R6 computes the index
topological vertex [90] with external diagrams all empty. One can hope that one more
compacti cation of the brane diagram will give index vertex with nonzero external legs.
1.3
A primer: 5d SU(2) theory and q-Virasoro 4-point conformal block
The 4-point conformal block [103{107] provided by the Dotsenko-Fateev (conformal) matrix
model [44{60] and AGT related [1{3] to the Nf = 4 SU(2) SUSY gauge theories [108{112],
is associated with the square brane diagram [14].
The Kahler parameters of the diagram are related to gauge theory parameters as
follows:1
B4
where
QF = q2a;
Q
1 = q m1 a
;
Q
2 = qm2 a
;
QB =
q2a
(1.4)
Here a is the Coulomb modulus of the gauge theory m1;2 are the masses of the four
fundamental hypermultiplets and
is the exponentiated complexi ed coupling constant.
The DF representation reads
sphere( int = a; ~ ext; c = 1 6(b2 b 2); z = ) =
2 (x)V 0 (0; x)V
(x) is the Vandermonde determinant and V (z; x) = QiN=1(z
xi)b . On the
other hand the block should be given by a sum over a quadruple of partitions | each
corresponding to internal edge of the diagram.
The hidden quadruple symmetry is revealed if Yang-Mills theory is lifted to 5
dimensions [75{77] and ordinary Dotsenko-Fateev integrals are substituted [60] by Jackson sums
Z 1
0
f (x)dx
! (1
q) X qnf (qn)
n
with discretization parameter q = e 2R5 . The Vandermonde determinants in the measure
are replaced by their (q; t)-deformation:
(2 )(x)
!
Y
N
Y (xi
with t = q . All the quantities in matrix model are analytically continued from integer
values of N and , what is made unambiguously due to Selberg nature of the integrals [113].
This quadruple decomposition is recently presented in some detail in [62] based on the
number of previous developments [59{61, 113{122], see section 2.1.1 below. The group
theory symmetry behind the whole picture [64] is encoded in the 2-site Uq(gl2) XXZ spin
chain integrable system [20, 74] (reduced to XXX in 4d, when q = 1 [71]).
As evident from
gure 6, the diagram is very symmetric. Some symmetry is simple
consequence of the symmetries in the matter content of the corresponding gauge theory, e.g.
re ections along the horizontal and vertical lines correspond to renaming of the fundamental
hypermultiplets m1 $ m2 and charge conjugation respectively. Also, in the CFT language
these symmetries are related to the z ! z 1 symmetry and renumbering of the primary
elds in the conformal block.
However, re ection along the diagonal (or, equivalently rotation by 2 ) is not evident
neither in the gauge theory, nor in the CFT. In fact, it corresponds to the spectral duality
between two U(2) gauge theories, such that Coulomb modulus q2a is interchanged with
the coupling constant .
2 For the conformal blocks it is the duality between two
fourpoint conformal blocks of the q-Virasoro algebra, in which the cross-ratio of positions is
interchanged with the momentum of the intermediate eld.
1For simplicity we write the relations for t = q, i.e.
= 1.
2In [34{39] this symmetries were embedded in the Weyl group of E5 | the global symmetry group of
the interacting SCFT obtained from this setup as the UV xed point.
gauge theory with four fundamentals.
X
A;B
Let us describe this peculiar duality in more detail. Conformal block can be
decomposed into a sum over intermediate states, and for certain very speci c choice of basis |
the basis of generalized Macdonald polynomials | labelled by pairs of Young diagrams,
the resulting decomposition reproduces the \vertical cut" sum over A and B diagrams in
gure 6. Moreover, the decomposition is also equal to the Nekrasov partition function
and thus we get the following equality between the topological string partition function,
conformal block and Nekrasov partition function:
Ztop string =
jAj+jBjhV 0 (0)V
(1)jA; B; intihA; B; intjV 1 (1)V 1 (1)i =
= B4
sphere( ext; int; ) =
= ZNek(a; mi ; )
A;B
X zfund(a; mi+; A; B)zfund(a; mi ; A; B)
zvect(a; A; B)
Expressing the q-deformed conformal block B4 in the DF form we get a discrete sum,3
which also turns out to be just the \horizontal cut" sum over R
in
gure 6. Naturally,
since the diagram is symmetric, this sum is also a Nekrasov decomposition of a certain
gauge theory, though it is di erent from the one featuring in eq. (1.8) | it is its spectral
dual. We have:
Ztop string =
X
R+;R
= B4
=
X
R+;R
h 2 (x)V 0 (0; x)V
=
shpere( ext; int; ) =
d
jR+j+jR j zfund(ad; md+;i; A; B)zfund(ad; md;i; A; B)
zvect(ad; A; B)
= ZNek(ad; md;i; d)
Q2
QF
R
R+T
QF
A
B
QB
Q2+
HJEP05(216)
=
(1.8)
(1.9)
3There are two approaches to q-deformation of the DF and Selberg type integrals. One uses Jackson
q-integrals (as in (1.6)), while the other employs contour integration and pole counting (see e.g. [40{43]).
Both approaches are equivalent and we will in fact switch between them freely depending on which one is
more convenient at the moment.
In the last line the parameters of the Nekrasov function are dual, in particular the Coulomb
moduli and coupling constant are exchanged.
Spectral duality acts on the topological vertices trivially only for t = q. In the re ned
case, t 6= q, and the vertices transform nontrivially under the rotation of the diagram, since
the preferred direction also changes (see (1.1)). However, in this case one can understand
the algebraic meaning of the duality.
Instead of considering rotation of the brane diagram, one can consider the rotation of
the preferred direction. Di erent choices of the preferred direction correspond to di erent
choices of basis in the tensor product of Fock modules corresponding to the legs of the
diagram. For preferred direction along the legs the basis jA; B; i is the one appearing in
the decomposition (1.8). For an orthogonal choice of the preferred direction, the basis is
factorized jAi
jBi. The change of basis from jA; B; i to the factorized basis jAi
jBi
is performed using the generalized Kostka functions, described in [62]. We will return to
this point when we describe the action of spectral duality for the compacti ed diagram.
2
DF measures from toric diagram
How do the DF measures for di erent conformal blocks arise from the toric diagrams? We
show how to glue them from the elementary building block
= Z?(Q)q jjRjj2 2 jjP jj2 t jjP Tjj2 2 jjRTjj2 q jAj 2jBj
t
Z
Here G(AqB;t) is the standard Nekrasov factor, written explicitly in eq. (A.2), Z?(Q) =
Z
?
? Q; q; t and N collects both the factors independent of the external diagrams A,
algebra
Selberg q-Selberg
Torus
Elliptic Selberg
Elliptic q-Selberg doubly-deformed algebra A ne Selberg Elliptic a ne Selberg
B, R and P and framing factors which cancel when several amplitudes are glued together.
When gluing two four-point amplitudes we use the identity (B.2).
It is possible to contract the amplitudes (2.1) in many di erent ways, and in the next
several sections we will investigate all these possibilities. First of all, there are planar
rectangular webs. They correspond to 5d linear quiver gauge theories with gauge groups
U(N )M . One can compactify the rectangle by identifying the opposite edges. Then, one
gets either 6d linear quiver gauge theory or 5d necklace quiver, depending on the orientation
of the identi ed edges. The two descriptions are spectral dual to each other, since they
turn into one another by 2 rotation of the brane diagram. Identifying both vertical and
horizontal edges of the rectangle give the 6d necklace quiver gauge theory. These theories
are spectral self-dual in a sense that the 6d theory with gauge group U(N )M is dual to the
theory with gauge group U(M )N . This generalizes the familiar result for 5d theories [33].
The classi cation of di erent compacti cations/deformations and the respective
measures is summarized in table 1.
In each case there can be either Virasoro or WM -algebra conformal block,
corresponding to A1 or AM 1 Selberg measure. There can also be multiple vertex operator insertions
in the integral. The number of these insertions and the rank of the WM algebra are related
by the spectral duality.
2.1
q-deformed spherical block
The block is given by multiple contour integrals, each corresponding to a primary eld
insertion. These integrals can be evaluated by residues [40, 41] and the poles are enumerated
by Young diagrams, so that the resulting expressions coincide with the combinations of
four-point topological string amplitudes. The alternative approach is to write down the
sum instead of an integral from the very beginning. This sum is then called the Jackson
q integral and is de ned as
Z a
0
dqxf (x) = (1
q) X qnaf (qna)
In this case the elementary building block of the DF integral is the q-Selberg average:
where the essential part of the measure is the (q; t)-Vandermonde
hf (x)iq;t =
Z 1
0
dqN x
(q;t)(x) Y x
N
i=1
v 1
iu Y(1
k=0
qkxi)f (xi);
(q;t)(x) = Y Y
i6=j k 0
1
1
tqqkkxxxxjiji = Y
1
Y
i6=j k=0
1
q
k xi
xj
:
(2.2)
(2.3)
(2.4)
It corresponds to the following combination of four-point amplitudes:
t q
t q
Qm;1
= N ( Qm;1)jAj( Qm;2)jCj X
r q
t
t
r t
q
1
QF
1
jRj
tN i
qkQm;1Qm;2 tN j
qkq qt Qm;2 tN j
xR;i
pn Qm1;2tN+ 12 xR1
pn Qm;2t 21 N xR
pn
t
r q tN+ 12 xR1
pn Qm1;1t
pn (Qm;1t )
pn
r q
t
t 21 N xR
r q
t
t
(2.5)
where xR;i = qRi+1tN i and N is a normalization constant independent of the diagrams
A, B, C, D. To get the correct q-Selberg measure we have to set q qt Qm;1 = q vt N ,
q q Qm;2 = tN , and QF = qu+v+ 12 t 21 . Let us understand the structure of the topological
t
string amplitude. The (q; t)-Vandermonde appears in the second line. The product over i
and j is in fact nite for the discrete choice of the Kahler parameters we have made, since
most terms in the numerator and the denominator cancel with each other. After the dust
settles we get the residues of the q-Selberg measure:
r t
q
QF
jRj Y1
Y
k=0 i6=j 1 1
=
1
This exactly reproduces the original q-Selberg measure (2.3). The last two lines in eq. (2.5)
contain Schur functions, which are being averaged with the q-Selberg measure. They play
the role of the function f (x) in eq. (2.3).
2.1.2
WM -algebra conformal block
The next logical step is to consider the WM conformal block. In our formalism only special
primary elds with weight proportional to a single fundamental weight are allowed. This
reproduces the case of AGT correspondence, where these elds correspond to bifundamental
r q
t
eld insertions in the SU(M ) gauge theory partition function. The relevant toric diagram
for this block is the vertical strip geometry obtained by gluing together M copies of the
four-point amplitude (2.1) in the vertical direction ( gure 7).
The Kahler parameters should be identi ed as follows:
Qm;1 = q vt N1 ;
Qm;a = tNa 1 Na for a = 2; : : : ; M
1;
Qm;M = tNM 1 ;
r q
t
QF;a = qua+ a;1v+ 12 t 21 :
We skip the tedious technical details and give the nal answer for the AM 1 q-Selberg
AM 1 (~xj~u; v; N~ ; q; t) =
AM 1
(q;t) (x)
1
qkx1;i ;
(2.9)
M 1 Na
Y
a=1 i=1
Y xau;ai
! N1 v 1
Y Y
i=1 k=0
where essential part of the measure is the AM 1 q-Vandermonde determinant, which is
(q;t)
AM 1
(~xR~ ) =
(q;t)(xR1 )
(q;t)(xRM 1
)
(q;t)(xR1 ; xR2 )
(q;t)(xRM 2 ; xRM 1
)
where xRa;i = qRa;i+1tNa i,
(q;t)(x) is given by eq. (2.4) and
Qm;3
A
t
q
Qm;2
C
t
QF;1
q
P
F
t q
Qm;1
E
t
q
(q;t)(x; y) =
Y Y Y
N1 N2 1
k 0 i=1 j=1
1
qk yxji
tqk yxji
r q
t
measure:
2 denominators appear from M four-point amplitudes like (2.1) and M
numerators arise from the identity (B.2) used to glue them together. Notice also that the
vertex operator contribution Q(1
qkx1;i) contains only the variables x1;i from the rst
integration contour. This is the general e ect, seen in the SU(N ) versions of the AGT
conjecture | the vertex operators, corresponding to Lagrangian quiver gauge theories
are not general WN primary
elds, but have dimension vector proportional to a single
fundamental weight. We conclude that our gluing procedure correctly reproduces both the
gauge theory results and the corresponding WN conformal blocks.
One can clearly sees the structure of the root system AN 1 in the measure (2.10).
Other classic root systems can be obtained from orbifolding the toric CY, so that in
general the q-Vandermonde is given by
Y
1 "
k=0 a<b
a
#
(q;t)(~xR~ ) =
Y( (q;t)(xa; xb))Aab Y
(q;t)(xa) ;
(2.12)
where Aab is the Cartan matrix. The ADE case of this measure was derived in [123]
and in [124].
q-deformed torus block
We next consider the four point amplitude with horizontal ends identi ed.
Qm
t
q
R
P
t q
QB
= N q
jjRjj2 2 jjP jj2 t jjP Tjj2 2 jjRTjj2 M R(q;t)(t )MP(tT;q)(q )
Y
k 1
G(RqP;t)
Qk 1q qt Qm
G(PqR;t)
Qkq qt Qm1
G(PqP;t) Qk qt G(RqR;t) (Qk)
;
(2.13)
= QmQB and the factor N is independent of the diagrams R, P . It is possible
to express some in nite products in the r.h.s. of eq. (2.13) in the form of theta-functions
(see e.g. [125, 126]), however we will not be concerned with modular properties and thus
will not need this representation.
Let us describe the action of spectral duality for the compacti ed toric diagram. It is
again the 2 rotation of the diagram, and for the case of t = q this is an explicit symmetry of
the topological string formalism. Using this formalism one can again see that the poles in
DF integral representation of the conformal block correspond to AGT-like decomposition
of the spectral dual conformal block.
However, for t 6= q, re ned vertex should be used. This vertex (1.1) is not rotation
symmetric, and thus spectral duality requires a nontrivial change of basis of states of
the topological string, which we brie y explained in the Introduction. This basis change
from generalized Macdonald polynomials to a factorized basis (of Schur functions) is given
by the nontrivial generalized Kostka functions. These matrix functions act in the tensor
product of several Fock spaces and, therefore, depend on several Young diagrams. The
number of diagrams is given by the number of parallel edges in the toric diagram. The
case of compacti ed toric diagram corresponds to e ectively in nite number of legs |
one can understand the leg on a circle as an in nite array of \mirror images" in the
uncompacti ed space.
Unfortunately, in this case the generalized Macdonald polynomials are in fact not
yet known. Let us only notice that, unlike the uncompacti ed case, here the problem
is nontrivial even for a single leg, i.e. a single Fock module, where the basis is labelled
by a single Young diagram (though, of course depends on an extra parameter | the
compacti cation radius).
Gluing two blocks (2.13) together we get the q-deformed Virasoro DF integral on torus,
which is also known as the elliptic version of the A1 Selberg integral:
HJEP05(216)
(2.14)
(2.15)
(2.16)
(2.17)
= QmQB. The sum over partitions in eq. (2.14) can be recast into the contour
integral of the elliptic Selberg form:
= N
QF
r t R
q
Y
G(Rq?;t) Qk 1q qt Qm
G(?qR;t) Qk 1q qt Qm
G(RqR;t)
Q
Qkq qt Qm1 G(Rq?;t)
Qkq qt Qm1
G(RqR;t) q Qk
t
dN x
(q;t;Q )(x)Vu(0; x)VN (1; x);
t q
QB
Qm
q
t
Qm
t
R
t q
q
QF
QB
X
R
Y
k 1
I
1
1
where
(q;t;Q )(x) =
Vv(z; x) = Y Y Y
N
Y Y Y
k 1 l 0 i6=j 1
N
i=1 k 1 l 0
q t . Notice the symmetry between q and Q in the
measure | this follows from the equivalence between the two compacti ed circles SR5 and
SR6 . This form of elliptic Selberg integral was used in [12, 13] to formulate the elliptic
version of the AGT correspondence. Notice that the dimension of the vertex operator
VN (1; x) is not an independent variable, but is related to the number of integrations, and
thus to the intermediate dimension in the toric conformal block.
2.2.2
The same procedure as in section 2.2.1 applies to the W -algebra case. We glue several
compacti ed pieces like (2.13) together to obtain the toric diagram corresponding to the
5d U(M ) gauge theory with adjoint multiplet.
The corresponding A elliptic Selberg measure is given by
(AqM;t;Q1 )(~x) =
(q;t;Q )(x1)
(q;t;Q )(xM 1)
(q;t;Q )(x1; x2)
(q;t;Q )(xM 2; xM 1)
;
where
q;t;Q (xa) is given by eq. (2.16) and
(q;t;Q )(x; y) =
N1 N2
Y Y Y
Of course, the measure for any root system
can be obtained in a similar way:
" r
Y
a=1
#
Y
a<b
(q;t;Q )(~x) =
(q;t;Q )(xa)
(q;t;Q )(xa; xb)Aab ;
where Aab is the Cartan matrix of the root system
.
This case provides the vertex operator corresponding to the 6d gauge theory. It is very much
analogous to the WM case considered above, however the root system is now not
nite,
but a ne. The resulting algebra is doubly deformed | by q and by an extra parameter t~
related to the compacti ed sixth dimension. We start from the simplest example of U(1)
gauge theory and then generalize to higher rank groups. We also present an interesting
generalization of the a ne integrals in section 3.
2.3.1
ub(1) measure
The simplest example of 6d theory is the U(1) linear quiver. It is built from the elementary
block corresponding to the bifundamental eld. In the topological string language this
corresponds to a four point amplitude with vertical edges joined with each other.
The new feature appearing in this setting is that the width of the diagram featuring in
the sum is not bounded, so that the number of xi variables in the corresponding integral
becomes in nite:
u1
b
(q;t;t~)(xR) = lim
N
Y Y
1
N!1 i6=j k 0 1
expression. This should be compared to the analogous symmetry between q and Q in the
toric measure (2.16). Of course, the two cases are related by the spectral duality, which
partly explains the similarity. However, the exact relation between the two measures is
nontrivial, since the sum over R in gure 8 is over a di erent edge, than in eq. (2.14). We
will look more closely at the measure (2.21) in section 3.
bu1 elliptic q-Selberg measure.
t q
X
R
N
i=1
the Ab2 elliptic q-Selberg measure. Notice that Qm;i are now all the same, because of the constraints
imposed by the closed hexagons formed by the identi ed edges.
string. The corresponding toric diagram is compacti ed along the preferred direction, as
shown on gure 12.
It is straightforward to obtain the (spectral dual) partition function, which is given by
the Nekrasov formula, i.e. the sum over Young diagrams:
ZU5d(1,)adj =
r t
q
QF
jRj G(RqR;t) q qt Qm
Using the standard identities we can rewrite this sum over diagrams as a contour integral
of q-Selberg type:
ZU5d(1,)adj = lim
xi
xi
(3.2)
Qm
QFt
R
t q
spectral dual frame) to 5d U(1) theory with adjoint hypermultiplet.
where t~ = q q Qm, qu = q qt QF and N is the normalization constant. z1 denotes the point
t
where a vertex operator is inserted. However, since we eventually take the limit Q ! 1,
which means that the dimension of the vertex operator vanishes, the resulting expression is
actually independent of z1 (see also remark 5 below). The poles are enumerated by Young
diagrams R and are located at points
HJEP05(216)
xR;i = z1qRi tN i
:
(3.3)
The integral (3.2) di ers from the ordinary q-Selberg integral from section 2.1.1 in several
respects:
1. The measure is of a ne Selberg type, more precisely of type u1. This is in close
analogy with the An Selberg measure (see section 2.1.2), though the factor corresponding
b
to the imaginary root contains extra t~.
2. The integration measure in eq. (3.2) is explicitly symmetric between t and t~. This
symmetry is completely unexpected from the point of view of the topological strings:
t~ in this framework represents the Kahler parameter of the resolved conifold while t is
the re nement parameter. Neither is this symmetry obvious from the corresponding
5d gauge theory: here t~ is the mass of the adjoint multiplet and t is one of the
equivariant parameters.
3. The curious feature of the integral (3.2) is the appearance of the special contour ,
which encircles only pole of the form xi = z1qktl with k; l
0 and excludes the poles
xi = z1qktlt~m with nonzero m. This choice of contour explicitly breaks the symmetry
between t and t~ in the measure, so that the whole partition function is no longer
partition function (3.1), which has no symmetry between q qt Qm and t.
symmetric. This can also be seen from the explicit in nite product formula for the
4. The adjoint Nekrasov factors (3.1) are non-vanishing for Young diagrams of arbitrary
width. Thus, the number of integrations in (3.2) is also in nite.
5. We insert an additional vertex operator VQ(z1) = QiN=1 1 qkz1
at z1 to produce the
poles of the necessary form (3.3). We then take the limit Q ! 1 so that the extra
1 Qqxkiz1
xi
factors cancel. One can naively think that the integral vanishes in this limit, since
the poles in the denominator cancel with the zeroes of the numerator. However, we
are in fact interested in the ratio of the residues at the points (3.3). More concretely,
one sets N = Res (x), where (x) is the integrand, so that the sum over residues
starts from the identity and is nite for Q ! 1. The value of the integral in this limit
of course does not depend on the position z1 of the vertex operator. We, therefore,
view the additional factors in (3.2) as a regularization.
In the next section we modify the integral (3.2) to include all the poles and nd that this
is exactly the equivariant instanton partition function of the 6d (1; 1) gauge theory on R6.
xi;j = z1t1 it~1 j ; (i; j) 2 Y:
3.1
Extending the contour
Let us consider the following integral [63]
ZeUx(t1) = lim
YN 1
where we assume jqj < 1, jtj > 1, jt~j > 1 and N = Res (x). Notice the main di erence
with (3.2) | the contour now encircles all the poles at xi = z1qkt lt~ m with k, l, m
x?;i
nonnegative.
Enumerating the poles.
Consider rst the terms with k = 0 in the integrand of
eq. (3.4). Then for nite N the situation is completely analogous to the LMNS integrals
for U(1) gauge theory [110{112] (we will elaborate on this analogy in section 3.4). One
can see that one of the variables xi should pick up a pole coming from the vertex operator.
The whole integrand is symmetric in xi, so we can think that this is the rst variable, i.e.
x1 = z1. Suppose then, that we have already performed the rst l < N integrals and have
picked the poles, at xi = z1t1 n~1 m, where (n; m) 2 Y 0
t
produces the following poles:
Y . Then the next integration
xl = z1t1 n 1~1 m
t
;
xl = z1t1 n~1 m 1
t
; (n; m) 2 Y 0
There are also zeroes:
xl = z1t1 n~1 m (double);
t
xl = z1t nt~ m
;
xl = z1t2 n~2 m
t
; (n; m) 2 Y 0
Some poles are canceled by zeroes, and only small portion of them survives. In particular,
if a point lies inside of Y 0 and not on the boundary of Y 0, then there are exactly 4 poles
and 4 zeroes which cancel them. So, there is no pole to pick strictly inside Y 0. On the
boundary the situation is a bit more subtle, and there are corner contributions, recursion
relations, etc. | for details see [127{129]. However, when the dust settles one gets the
simple recipe, i.e. that each successive integration adds a box so that the whole set of poles
remains a Young diagram. All the poles thus organize themselves into a Young diagram Y
with N boxes:
xi
xi
(3.4)
(3.5)
(3.6)
(3.7)
The terms with k > 0 have a simple e ect | each pole xi;j is now shifted by qk with
respect to the poles at xi+1;j or xi;j+1. Thus, the poles are now labelled by a plane partition
(3d Young diagram)
with oor area N , so that xi;j = z1q i;j 1t1 it~1 j.
For in nite N a slightly di erent picture is more convenient. Let us demolish the
\stylobate" of
| i.e. reduce the height of each column by one. The resulting plane
partition has oor area less or equal to N and will be denoted by ~, so that ~i;j = i;j 1.
Computing the residues. Let us now compute the residues at the poles. More
concretely, since the normalization constant is the contribution of the pole corresponding to
the empty diagram, we are actually computing the ratio of the residues (the same trick
We nd that the residues have the following plethystic form:
(x )
= quj~j exp
8
(pn(x~)p n(x~) pn(x?)p n(x?)) =
;
(3.8)
9
;
(3.9)
where pn(x) are power sum symmetric functions. We can take the limit N ! 1 in each
term, and the power sums become
pn(x~) = X qn~i;j tn(1 i)t~n(1 j) =
1
i;j 1
(1 t n)(1 t~ n)
1
(1 t n)(1 t~ n) +(qn 1)
X
(i;j;k)2
qn(k 1)tn(1 i)t~n(1 j) =
qn)(1 t n)(1 t~ n) ch~(t n; t~ n; qn) ;
(3.10)
given by
where the ch~(q1; q2; q3) = P(i;j;k)2~ q1i 1q2j 1q3k 1. Finally, the value of the residues is
8
= quj~j exp
X 1 E~(t n; t~ n; qn)E~(tn; t~n; q n) 1 =
n
(1 t n)(1
t~ n)(1
qn)
(3.11)
9
;
;
where E~(q1; q2; q3) = 1
(1
q1)(1
q2)(1
q3) ch~(q1; q2; q3). In section 3 we have
found an unexpected symmetry between t and t~ in the integration measure. However,
the choice of the special contour
did not respect this symmetry. Choosing the contour
jxj = jz1j +
we not only restore the symmetry t $ t~, but also get a free bonus. The
partition function (3.11) is actually completely symmetric in t 1, t~ 1 and q. This is part
of our motivation for extending the integration contour. Topological string theory does
not give a clue about the origin of this extra symmetry. In the next section we will argue
that it can be understood from the six-dimensional point of view. More concretely, we will
show that eq. (3.11) exactly reproduces the sum over xed points in the instanton moduli
space of the 6d N = (1; 1) U(1) gauge theory.
3.2
The N = (1; 1) gauge theory has the maximal possible supersymmetry in six dimensions. It
can be straight-forwardly obtained from dimensional reduction of 10d N = 1 gauge theory.
In at Euclidean space the supersymmetry can be equivariantly twisted using the maximal
torus of isometries of R6, i.e. U(1)3. The equivariant partition function, therefore, depends
on three equivariant parameters q1;2;3 = e 1;2;3 . The equivariant integrals over the Q-closed
eld con gurations localize on the
xed points, which are labelled by plane partitions, so
that the instanton partition function is given by the sum over xed points each taken with
its equivariant index4 [88, 130{132]
Zi6nds(t1;1)U(1) =
X
j jInd (q1; q2; q3);
where
is the coupling constant. The index of each xed point is given by the product of
U(1)3 weights:
Ind (q1; q2; q3) = Y(1
ewi(q; )) 1
It is convenient to write the weights in the plethystic form:
where the character of the tangent space to the xed point is given by
3
Ind (q1; q2; q3) = exp 4
chT (q1n; q2n; q3n)5
chT (q1; q2; q3) =
ewi(q; )
These characters have been found in [89] and are given by
chT (q1; q2; q3) =
1
E (q1; q2; q3)E (q1 1; q2 1; q3 1)
(1
q1 1)(1
q2 1)(1
q3 1)
:
One immediately sees that this sum over xed points is exactly the same as the sum
over poles in eq. (3.11) provided one makes the following identi cations:
i
2
X 1
n 1
n
X
i
q1 = t 1;
q
Qm;
QF :
At this point several remarks are in order.
4In the case of U(1) gauge theory there is also an explicit formula for the whole sum in terms of an
in nite product. However, since we are also interested in the generalization to U(N ) (in which case the
in nite product formula is lacking), we will not write it down here.
(3.12)
(3.13)
(3.14)
(3.15)
(3.16)
(3.17)
R1
Qm
t q
QFt
R1
QB;1
QFt
R2
R2
Qm
t q
QB;2
QFt
R3
Qm
t q
1. Partition function, similar to (3.12) was used in [88] to nd the partition function
of topological strings on the C3 patch of a toric CY manifold. The main di erence
from (3.12) was that the plane partitions were allowed to have in nite \legs" along
the three coordinate axes, so that the resulting vertex depended on the three Young
diagrams in the asymptotics.
2. Using the map (3.17) one can understand the remarkable symmetry between t, t~ and
q in the enlarged integral as the symmetry between three equivariant parameters in
R6, and eventually relate it to the action of the Weyl group of SO(6).
Generalizing to U(N )/quiver of U(1) groups
Generalization to linear quiver of U(1) groups in 6d or equivalently to 5d U(N ) gauge
theory is straightforward. We consider a stack of N compacti ed resolved conifolds as
shown on gure 13.
The partition function is just 5d U(N ) Nekrasov function with adjoint multiplet. It
has an integral representation quite similar to (3.2), the only di erence is that there are N
vertex operator insertions at points z1,. . . , zN :
ZU5d(N,a)dj = lim
Qa!1 M!1
lim
M
M
i=1
1
I
dM x Y x
i
u Y
Y
2
4
YN YM 1
a=1 i=1 1
The poles of the integral are now enumerated not by one partition, but by an N -tuple
of partitions R~ = (R1; : : : ; RN ), so that xR~ = z~aqRa;i t1 i, where z~a = zatNa 1.
Just as in the U(1) case, the contour
can be extended to encircle the additional
poles, so that the whole partition function is the sum over N -tuples of plane partitions,
~ = ( 1; : : : ; N ), and x~ = z~aq a;i;j t1 it~1 j . Moreover, the sum over residues exactly
reproduces the localization formula for the 6d N = (1; 1) U(N ) theory. For the (scaled)
Qaqkz1 3
qkza 5
xi
xi
(3.18)
Whereas the localization in the gauge theory looks similar to (3.12):
Zi6nds(t1;1)U(N) = X
j~ jInd~ (q1; q2; q3);
except the index now depends on N -tuple of plane partitions and N Coulomb moduli of
Ind~ (q1; q2; q3) = exp
8
X 1 W (~an; ~qn)W (~a n; ~q n)
E~ (~an; ~qn)E~ (~a n; ~q n) =9
(1
q1 n)(1
q2 n)(1
q n
3 )
W (~a; ~q) = X ap;
N
p=1
N
E(~a; ~q) = X
X
p=1 (i;j;k)2 a
apq1i 1q2j 1qk 1
3
Notice, that for N = 1 the dependence of the index on ap drops out, as it should (there are
no Coulomb moduli in the abelian theory). Partition functions (3.19) and (3.20) manifestly
coincide if we make the following identi cation of the gauge theory and topological string
sum over residues we have:
ZeUx(tN) =
= X x~
~ x?
= X
8
: n 1
: n 1
n
2
n 4
1
qn
1
qn
a;b=1
~
q1 = t 1
ap = z~p
r q
t
Qm
r t
q QF
(pn(x~ )p n(x~ ) pn(x?)p n(x?)) = =
X 1 (1 tn)(1 t~n) XN zanzb n(pn(x a)p n(x b) pn(x?)p n(x?))5=
(3.21)
(3.22)
(3.23)
the theory:
where
parameters:
Notice that the extended integral in the U(N ) case is still symmetric in q, t 1 and t~ 1.
3.4
AGT: LMNS integral from the extended DF integral
The LMNS integrals and DF integrals describe respectively the instanton partition
functions and conformal blocks. Their equivalence is known as AGT duality and it is usually
algebra
XXX chain
XXZ chain
Double elliptic
seen as a non-trivial integral transform of the Habbard-Stratonovich type [114]. In [63],
we suggested that it can actually be raised to an explicit symmetry. Namely, our
extended \six-dimensional" integral is a certain generalization of both integrals, which can
be turned into either the q-deformed version of the DF integral or the 5d LMNS integral
in suitable limits. These two limits are given by t~ ! 0 and q ! 0 respectively, and the
resulting expressions are related by transformations t 1 $ t~ 1 $ q. This is an exact and
explicit symmetry of the integral. This limiting procedure straightforwardly generalizes to
U(N ) theory. Since the initial extended integral is still symmetric in the three equivariant
parameters, DF and LMNS representations are exactly equivalent.
One can go further and study the 4d limit of the gauge theory. In this case q-deformed
DF integral turns into the ordinary DF or beta-ensemble integral, and 5d LMNS integral
reduces to the ordinary LMNS one. However, at this level the symmetry is no longer
explicit and looks almost like a miracle, if one does not know that the integrals came from
an explicitly symmetric 6d expression.
4
Spectral dualities and elliptic integrable systems
According to [64], the hierarchy of physical theories associated with brane con gurations in
string and low-energy Yang-Mills models actually begins with much simpler integrable
systems, and Seiberg-Witten theory is exactly the one, which captures the information
available at this level of description. Moreover, the Nekrasov deformation of Seiberg-Witten
theory corresponds to a quantization of these systems [84{86], or, more precisely, a lifting from
quasiclassical to full- edged -function theory, what, within the integrable theory context,
is a general straightforward procedure, which does not require any additional information.
This circle of ideas was further developed and exploited in numerous works. It is now
well known that, within this context, the 5d gauge theory with adjoint hypermultiplet
corresponds to the elliptic Ruijsenaars system [76, 77], the 6d linear quiver theory gives
the XYZ spin chain [74] and the 6d gauge theory with adjoint matter is described by the
double elliptic integrable system [79{83]. In other words, for generic toric diagrams, which
we consider in this paper, we have table 2.
All these systems should be related by various dualities, of which the most non-trivial
are spectral dualities, interchanging vertical and horizontal directions in toric diagrams.
They make XYZ spin chain equivalent to the Ruijsenaars system and di erent double
elliptic systems are also equivalent. In the integrable system context, this equivalence was
rst realized by K.Hasegawa [133{135] (in fact, in some part by E.Sklyanin [136, 137]). We
describe it brie y in this section, postponing the details until a separate paper [32].
Let us start simply by counting the parameters of the spectral dual gauge theories.
SU(N ) theory with fundamental matter in 6d has the following parameters: Coulomb
moduli ai, i = 1; : : : ; N
the coupling constant
1, masses of the fundamental hypermultiplets mi , i = 1; : : : ; N ,
and the two radii of the compacti ed dimensions R5 and R6. There
is also one feature unique to 6d theories: the masses cannot all be set independently, but
there is one condition on them. This makes the total number of parameters 3N + 1.
SU(2)N necklace quiver theory in 5d has the following parameters parameters: Coulomb
ei = 1; : : : ; N , and the radius of the fth dimension R5. In total one gets 3N +1 parameters.
This counting can also be seen on the toric diagram.
We consider the example
of SU(2)4:
QB;4 q Q4
t
QF;4
t q
t q
QeB;3
QB;3
t
QF;3
t q
t
q Qe3
QeB;4 q Qe4
t
t q
q Q3
QeB;2
QB;2
t
QF;2
t q
t
q Qe2
t q
q Q2
QeB;1
QB;1
t
QF;1
t q
t
q Qe1
t q
q Q1
The amplitude depends on 5
4 = 20 Kahler parameters written explicitly on the
diagram and also on the radius R5 of the M-theory circle. Each hexagon on the diagram
enforces a pair of constraints on the Kahler parameters of its edges:
QF;iQei = QF;i+1Qi+1;
QB;iQi+1 = QeiQeB;i;
i = 1; : : : ; 4 ;
i = 1; : : : 4 ;
(4.1)
(4.2)
where we set QF;i+4 = QF;i, etc. In total we get 5
4
2
4 = 3
4 = 12 independent
Kahler parameters and R5, which agrees with the gauge theory counting, which also gives
3N + 1 = 3
4 + 1 = 13.
4.2
inhomogeneity i:
where
a are the Pauli matrices, and
SU(N ) gauge theory with 2N fundamental hypermultiplets5 in 6d corresponds [74] to the
Sklyanin N -site Uq;t(gl2) XYZ spin chain [136, 137]. The transfer matrix of the spin chain is
written in terms of Lax matrices, residing on each site of the chain with the corresponding
T ( ) = L(N)(
N ) : : : L(1)(
1);
L( ) = S
0 1 + i X Wa( )Sa a
3
a=1
Wa( ) = pea
} ( j ) = i
0 (0) a+1 ( )
a+1(0) ( )
(4.3)
(4.4)
(4.5)
(4.6)
where a(x) is the standard Jacobi -function and ei are values of the Weierstrass function
}( ) at the half-periods. The dynamical variables S0; Sa form the (classical) Sklyanin
ec) SbSc
nSa; Sbo =
iS0Sc
with the obvious notation: abc is the triple 123 or its cyclic permutations.
For this Uq;t(gl2) chain there are two Casimir operators, i.e. one degree of freedom
remaining per site, which means that there are totally N action variables, which correspond
to N Coulomb moduli ai. However, one can consider vanishing the full momentum of the
system (which corresponds to removing the U(1)-factor in the gauge theory), in this way, we
are left with N
1 Coulomb moduli. The Casimirs and inhomogeneities are combined into
2N parameters of the fundamental hypermultiplet masses [74, (4.14){(4.15)]. In fact, there
is a restriction imposed on the sum of all masses [74], thus, there are 2N
1 parameters. This matches the counting of degrees of freedom above. The 5d and 4d reductions of this theory is described by the XXZ and XXX chain respectively.
4.3
Elliptic spin Ruijsenaars system
The SU(N ) gauge theory with the adjoint hypermultiplet in 5d corresponds [76, 77] to the
elliptic Ruijsenaars system [138, 139] given by the Lax operator
Lij ( ) = c( j )epi Y p}(qik)
k6=i
}( )
where c( j ) is a normalization factor which has to be chosen in a convenient way.
5For other numbers of multiplets there is a gauge anomaly.
In order to extend this theory to the product of gauge groups, one rst has to consider
the spin elliptic Ruijsenaars system [140]. Then, the corresponding Lax operator is just
Lij ( )
Sij epi Y p}(qik)
}( )
k6=i
with more dynamical variables: spins Sij .
The next step is to extend it further to multi-point system. The Lax operator in this
case becomes much more involved and so does the Poisson bracket of the spin variables
Siaj [32]. For the sake of simplicity, we write down here only the 4d case, when the system
is multi-point Calogero system, and the formulas are much more compact, while the 5d
formulas can be found in [32]. In the 4d case, the gauge theory has the gauge group
U(1)
SU(N )k and contains k matter bifundamentals [95]. On the integrable side, the
multi-point spin Calogero system is described by the Lax operator given on a torus with k
marked points wa, [141, 142]:
Lij ( ) = ij pi + X Siai (
a
ij ) X Siaj F (qij j
a
wa)
(4.9)
where the spin variables satisfy the Poisson bracket
and there is an additional constraint
fSiaj ; Skblg = ab Sil jk
a
Sjak il
X Siai = 0
a
The Poisson bracket is non-degenerate upon reducing the spin matrices to the orbits of
glN . Thus, the system is characterized by the three integers: the number of particles N ,
the number of marked points k and the parameter of the orbit l.
4.4
Spectral duality
The spectral duality, which we mentioned in sections 1.1 and 4.1, connects the
SeibergWitten theories in 6d and 5d gauge theories. At the level of integrable systems, it was
established by K.Hasegawa [133{135] (see also a trigonometric version of the
correspondence in [143]) and claims an equivalence of the elliptic multi-point spin Ruijsenaars system
given by (N; k; l) and the elliptic spin chain on k sites, given by the l-orbit of the
SklyaninOdesskii-Feigin glN [144{149]. In the particular case of l = 1 (the orbit of minimal
dimension), one obtains the duality between SU(N )k theory with fundamental matter in 6d
and SU(k + 1)N necklace quiver theory in 5d. Since this is a subject of its own value, we
discuss implications of this Hasegawa correspondence between integrable systems in some
more detail in a separate paper [32].
(4.8)
(4.10)
(4.11)
This duality can be lifted to the 6d theories with adjoint matter, which are described
by the double elliptic integrable systems [79{83]. These systems have not been studied in
full yet, because of a very involved structure (see [150] for some new advances). As usual,
they appear from explicit expressions for partition function in section 3 in quasiclassical
limit 1
2
! 0, while in Nekrasov-Shatashvili limit [84{86] (when only 2
! 1) we
get their straightforward quantization, when the spectral curve is substituted by a Baxter
equation (quantum spectral curve). Analysis of these limits could help to describe the full
integrable double elliptic system.
5
In this paper, we attempted to describe the Seiberg-Witten/Nekrasov theory for the most
general model associated with an arbitrary (p; q)-web toric diagram (the tropical limit of
the spectral curve). In the gauge theory language, this corresponds to 6d theory, in the
integrable system language to the double elliptic system. We explained that the recent
advances in the theories of Dotsenko-Fateev integrals and topological integrals provide a
straightforward dictionary for conversion between the pictorial language of toric diagrams
(spectral curves) and the Young-diagram expansions for the Nekrasov functions, and this
dictionary gets remarkably simple at this most general level. Numerous string dualities have
non-trivial realizations in all the languages, and they turn into precise equivalences between
the Nekrasov functions, re ecting precise equivalences between the integrable systems. The
most interesting of the latter are spectral dualities between the integrable systems of spin
chain (XYZ) and Calogero-Ruijsenaars types.
An enormous amount of work is still necessary to polish this description. Most
important is to
nd an adequate extension of the matrix model formalism, which would make
the dualities transparent. In its usual form, from [44{58] to [124, 151], it treats di erently
the horizontal and vertical directions in toric diagrams. At the same time, it is the only
approach which straightforwardly provides the entire set of Ward identities (Virasoro/WN
constraints, loop equations) for the Nekrasov expansions and the AGT related conformal
blocks. Desired is an e cient formalism, where explicit are both the perturbative Ward
identities and non-perturbative dualities. We hope that this paper clearly demonstrates
that such a description is fully consistent, but an adequate formalism still needs to be found.
Acknowledgments
We are grateful to A.Zotov for the discussions of multipoint elliptic integrable systems.
Our work is partly supported by grants 15-31-20832-Mol-a-ved (A.Mor.),
15-31-20484Mol-a-ved (Y.Z.), by RFBR grants 16-01-00291 (A.Mir.) and 16-02-01021 (A.Mor. and
Y.Z.), by joint grants 15-51-50034-YaF, 15-51-52031-NSC-a, 16-51-53034-GFEN, by the
Brazilian National Counsel of Scienti c and Technological Development (A.Mor.).
Five-dimensional Nekrasov functions and AGT relations
The Nekrasov partition function for the U(N ) theory with Nf = 2N fundamental
hypermultiplets is given by
ZN5de;kU(N) = X
= X
~
A
~
A
jA~j zfund(A~; m~+; ~a)zfund(A~; m~ ; ~a)
=
zvect(A~; ~a)
jA~j QiN=1 QfN=1 fA+i(qmf++ai)fAi(qmf +ai)
zvect(A~; ~a)
(A.1)
where fA (qx) = Q(i;j)2A 1
q xt (i 1)q (j 1) , zvect(A~; ~a) = QiN;j=1 G(Aqi;At)j (qai aj ) and
G(AqB;t)(qx) =
Y
(i;j)2A
Y
(i;j)2B
1
1
qxqAi jtBjT i+1
qxqAi jtBjT i+1
Y
(i;j)2B
Y
(i;j)2A
1
1
qxq Bi+j 1t AjT+i =
qxq Bi+j 1t AjT+i ;
(A.2)
in particular
(A.3)
(A.4)
b2,
G(Aq?;t)(qx) =
G(?qA;t)(qx) =
Y
(i;j)2A
Y
(i;j)2A
1
1
u+ = m1+
v+ =
n+ =
m2+ ;
qxqj 1t1 i = fA (q x) ;
qxq1 jti 1 = fA+(qx) :
u =
v =
1 +
m1
2a ;
m2 ;
n = a + m2 ;
We will write a instead of ~a = (a; a) for N = 2. The AGT relations written in terms
of the DF or Selberg integral parameters for N = 2 are:
with
= b2.
ZN5de;kU(N)k =
= X
~
Ya
~
jY1j
1
a2 = a. Masses ma, vevs ai, radius R5 of the fth dimension and 1;2 all
have dimensions of mass. In this paper we set the overall mass scale so that 1 =
2 = 1 and q = e R5. The t parameter in Macdonald polynomials is related to q by t = q
More generally, one can consider quiver gauge theories with gauge groups U(N )k and
bifundamental matter hypermultiplets. The corresponding Nekrasov function is
jY~kj Y Y fY+1;i qmf++a1;i
k
zbifund Y~k 1; Y~k; ~ak 1; ~ak; mbifund;k 1
1
zvec(Y~1; ~a1)
1
zvec(Y~k; ~ak) f=1 i=1
zbifund Y~1; Y~2; ~a1; ~a2; mbifund;1
Y Y fYk;i qmf +ak;i
(A.5)
where the bifundamental contribution is given by zbifund(Y~ ; W~ ; ~a;~b; m) = QiN=1 QjN=1
G(Yqi;Wt)j qai bj m .
Y 1
i;j 1
Qqj Wi 21 ti YjT 21
1
Qqj 21 ti 21
Using these identities, the standard q-Selberg measure evaluated at discrete points xR;i =
qRi+1tN i can be expressed in several convenient ways
Y
= G(q;t)
Y W
i;j;k 1 1
1
r q
t
Q :
( 1)jY jt jY2 j q jY2 j
G(YqY;t)(1)
q qt Qqk+Yi Wj tj i+1
q qt Qqk+Yi Wj tj i
1
1
q qt Qqktj i
q qt Qqktj i+1
MY(q;t)(t )MY(tT;q)(q ) =
= ( 1)jRjq(u+v+1)jRjM R(q;t) 1
1
tn
M R(tT;q)
1
t n(N 1)q n(v+1) !
1
qn
=
= ( 1)jRjq(u+v+1=2)jRjt jRj=2M R(q;t) pn(t )
pn(tN t )
M R(tT;q) pn(q )
pn(t1 N q v 1
q ) =
= tqu 1 jRj G(Rq?;t)(qv+1tN 1)G(?qR;t)(qt N 1
G(RqR;t)(1)
= ( 1)jRjqujRjtjRjM R(q;t)
1
qn(v+1)tn(N 1) !
1
tn
M R(tT;q) 1
1
t nN
qn
=
= ( 1)jRjq(u 1=2)jRjt jRj=2M R(q;t) pn(t )
pn(qv+1tN 1
t )
M R(tT;q) pn(q )
pn(t N q ) =
= q(u+v)jRj G(Rq?;t)(tN )G(?qR;t)(q vt N )
:
=
(B.1)
(B.2)
(B.3)
Open Access.
This article is distributed under the terms of the Creative Commons
Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in
any medium, provided the original author(s) and source are credited.
[INSPIRE].
[1] L.F. Alday, D. Gaiotto and Y. Tachikawa, Liouville Correlation Functions from
Four-dimensional Gauge Theories, Lett. Math. Phys. 91 (2010) 167 [arXiv:0906.3219]
[2] N. Wyllard, AN 1 conformal Toda eld theory correlation functions from conformal N = 2
SU(N ) quiver gauge theories, JHEP 11 (2009) 002 [arXiv:0907.2189] [INSPIRE].
[3] A. Mironov and A. Morozov, On AGT relation in the case of U(3), Nucl. Phys. B 825
(2010) 1 [arXiv:0908.2569] [INSPIRE].
[4] H. Awata and Y. Yamada, Five-dimensional AGT Conjecture and the Deformed Virasoro
Algebra, JHEP 01 (2010) 125 [arXiv:0910.4431] [INSPIRE].
[5] H. Awata and Y. Yamada, Five-dimensional AGT Relation and the Deformed
[6] S. Yanagida, Five-dimensional SU(2) AGT conjecture and recursive formula of deformed
systems and integrable spin-chains, JHEP 12 (2014) 040 [arXiv:1312.1294] [INSPIRE].
HJEP05(216)
K operator insertion, arXiv:1512.01084 [INSPIRE].
[9] A. Nedelin and M. Zabzine, q-Virasoro constraints in matrix models, arXiv:1511.03471
[10] R. Yoshioka, The integral representation of solutions of KZ equation and a modi cation by
[11] Y. Ohkubo, H. Awata and H. Fujino, Crystallization of deformed Virasoro algebra,
Ding-Iohara-Miki algebra and 5D AGT correspondence, arXiv:1512.08016 [INSPIRE].
[12] A. Iqbal, C. Kozcaz and S.-T. Yau, Elliptic Virasoro Conformal Blocks, arXiv:1511.00458
[13] F. Nieri, An elliptic Virasoro symmetry in 6d, arXiv:1511.00574 [INSPIRE].
[14] D. Gaiotto, Asymptotically free N = 2 theories and irregular conformal blocks, J. Phys.
Conf. Ser. 462 (2013) 012014 [arXiv:0908.0307] [INSPIRE].
[15] S.H. Katz, A. Klemm and C. Vafa, Geometric engineering of quantum eld theories, Nucl.
Phys. B 497 (1997) 173 [hep-th/9609239] [INSPIRE].
[16] S. Katz, P. Mayr and C. Vafa, Mirror symmetry and exact solution of 4-D N = 2 gauge
theories: 1, Adv. Theor. Math. Phys. 1 (1998) 53 [hep-th/9706110] [INSPIRE].
[17] B. Kol, 5-D eld theories and M-theory, JHEP 11 (1999) 026 [hep-th/9705031] [INSPIRE].
[18] O. Aharony, A. Hanany and B. Kol, Webs of (p; q) ve-branes, ve-dimensional eld
theories and grid diagrams, JHEP 01 (1998) 002 [hep-th/9710116] [INSPIRE].
[19] B. Kol and J. Rahmfeld, BPS spectrum of ve-dimensional eld theories, (p; q) webs and
curve counting, JHEP 08 (1998) 006 [hep-th/9801067] [INSPIRE].
[20] A. Gorsky, S. Gukov and A. Mironov, SUSY
eld theories, integrable systems and their
stringy/brane origin. 2, Nucl. Phys. B 518 (1998) 689 [hep-th/9710239] [INSPIRE].
[21] A. Iqbal, All genus topological string amplitudes and ve-brane webs as Feynman diagrams,
hep-th/0207114 [INSPIRE].
[22] M. Aganagic, A. Klemm, M. Marin~o and C. Vafa, The topological vertex, Commun. Math.
Phys. 254 (2005) 425 [hep-th/0305132] [INSPIRE].
[arXiv:0710.1776] [INSPIRE].
[23] M. Taki, Re ned Topological Vertex and Instanton Counting, JHEP 03 (2008) 048
[24] H. Awata and H. Kanno, Instanton counting, Macdonald functions and the moduli space of
D-branes, JHEP 05 (2005) 039 [hep-th/0502061] [INSPIRE].
[29] A. Mironov, A. Morozov, Y. Zenkevich and A. Zotov, Spectral Duality in Integrable Systems
from AGT Conjecture, JETP Lett. 97 (2013) 45 [arXiv:1204.0913] [INSPIRE].
[30] A. Mironov, A. Morozov, B. Runov, Y. Zenkevich and A. Zotov, Spectral Duality Between
Heisenberg Chain and Gaudin Model, Lett. Math. Phys. 103 (2013) 299 [arXiv:1206.6349]
[31] A. Mironov, A. Morozov, B. Runov, Y. Zenkevich and A. Zotov, Spectral dualities in XXZ
spin chains and ve dimensional gauge theories, JHEP 12 (2013) 034 [arXiv:1307.1502]
[32] A. Mironov, A. Morozov, Y. Zenkevich and A. Zotov, to appear.
[33] L. Bao, E. Pomoni, M. Taki and F. Yagi, M5-Branes, Toric Diagrams and Gauge Theory
Duality, JHEP 04 (2012) 105 [arXiv:1112.5228] [INSPIRE].
[34] M. Taki, Notes on Enhancement of Flavor Symmetry and 5d Superconformal Index,
arXiv:1310.7509 [INSPIRE].
and Duality in 5d Supersymmetric Gauge Theory, JHEP 03 (2014) 112 [arXiv:1311.4199]
[36] G. Zafrir, Duality and enhancement of symmetry in 5d gauge theories, JHEP 12 (2014) 116
[37] O. Bergman and G. Zafrir, Lifting 4d dualities to 5d, JHEP 04 (2015) 141
[38] V. Mitev, E. Pomoni, M. Taki and F. Yagi, Fiber-Base Duality and Global Symmetry
Enhancement, JHEP 04 (2015) 052 [arXiv:1411.2450] [INSPIRE].
[39] S.-S. Kim, M. Taki and F. Yagi, Tao Probing the End of the World, PTEP 2015 (2015)
083B02 [arXiv:1504.03672] [INSPIRE].
arXiv:1309.1687 [INSPIRE].
[40] M. Aganagic, N. Haouzi, C. Kozcaz and S. Shakirov, Gauge/Liouville Triality,
[41] M. Aganagic, N. Haouzi and S. Shakirov, An-Triality, arXiv:1403.3657 [INSPIRE].
[42] A. Klemm and P. Sulkowski, Seiberg-Witten theory and matrix models, Nucl. Phys. B 819
(2009) 400 [arXiv:0810.4944] [INSPIRE].
04 (2010) 063 [arXiv:0912.5476] [INSPIRE].
[43] P. Sulkowski, Matrix models for beta-ensembles from Nekrasov partition functions, JHEP
[44] V.S. Dotsenko and V.A. Fateev, Conformal Algebra and Multipoint Correlation Functions
in Two-Dimensional Statistical Models, Nucl. Phys. B 240 (1984) 312 [INSPIRE].
02 (2010) 022 [arXiv:0911.4797] [INSPIRE].
07 (2010) 081 [arXiv:1006.0828] [INSPIRE].
[45] A. Marshakov, A. Mironov and A. Morozov, Generalized matrix models as conformal eld
W(n) singular vectors and generalized matrix models, Soryushiron Kenkyu 91 (1995) A69
[hep-th/9503028] [INSPIRE].
[48] H. Itoyama, K. Maruyoshi and T. Oota, The Quiver Matrix Model and 2d-4d Conformal
Connection, Prog. Theor. Phys. 123 (2010) 957 [arXiv:0911.4244] [INSPIRE].
[49] T. Eguchi and K. Maruyoshi, Penner Type Matrix Model and Seiberg-Witten Theory, JHEP
[50] T. Eguchi and K. Maruyoshi, Seiberg-Witten theory, matrix model and AGT relation, JHEP
[51] R. Schiappa and N. Wyllard, An Ar threesome: Matrix models, 2d CFTs and 4d N = 2
gauge theories, J. Math. Phys. 51 (2010) 082304 [arXiv:0911.5337] [INSPIRE].
[52] A. Mironov, A. Morozov and S. Shakirov, Matrix Model Conjecture for Exact BS Periods
and Nekrasov Functions, JHEP 02 (2010) 030 [arXiv:0911.5721] [INSPIRE].
[53] A. Mironov, A. Morozov and S. Shakirov, Conformal blocks as Dotsenko-Fateev Integral
Discriminants, Int. J. Mod. Phys. A 25 (2010) 3173 [arXiv:1001.0563] [INSPIRE].
[54] A. Mironov, A. Morozov and S. Shakirov, On `Dotsenko-Fateev' representation of the toric
conformal blocks, J. Phys. A 44 (2011) 085401 [arXiv:1010.1734] [INSPIRE].
[55] A. Mironov, A. Morozov and S. Shakirov, Brezin-Gross-Witten model as `pure gauge' limit
of Selberg integrals, JHEP 03 (2011) 102 [arXiv:1011.3481] [INSPIRE].
[56] A. Mironov, A. Morozov and S. Shakirov, Towards a proof of AGT conjecture by methods of
matrix models, Int. J. Mod. Phys. A 27 (2012) 1230001 [arXiv:1011.5629] [INSPIRE].
[57] H. Itoyama and T. Oota, Method of Generating q-Expansion Coe cients for Conformal
Block and N = 2 Nekrasov Function by beta-Deformed Matrix Model, Nucl. Phys. B 838
(2010) 298 [arXiv:1003.2929] [INSPIRE].
[58] A. Mironov, A. Morozov and A. Morozov, Conformal blocks and generalized Selberg
integrals, Nucl. Phys. B 843 (2011) 534 [arXiv:1003.5752] [INSPIRE].
[59] R. Dijkgraaf and C. Vafa, Toda Theories, Matrix Models, Topological Strings and N = 2
Gauge Systems, arXiv:0909.2453 [INSPIRE].
[60] A. Mironov, A. Morozov, S. Shakirov and A. Smirnov, Proving AGT conjecture as HS
duality: extension to ve dimensions, Nucl. Phys. B 855 (2012) 128 [arXiv:1105.0948]
[61] Y. Zenkevich, Generalized Macdonald polynomials, spectral duality for conformal blocks and
AGT correspondence in ve dimensions, JHEP 05 (2015) 131 [arXiv:1412.8592]
[INSPIRE].
[INSPIRE].
[62] A. Morozov and Y. Zenkevich, Decomposing Nekrasov Decomposition, JHEP 02 (2016) 098
[arXiv:1510.01896] [INSPIRE].
[63] A. Mironov, A. Morozov and Y. Zenkevich, On elementary proof of AGT relations from six
B 367 (1996) 91 [hep-th/9510204] [INSPIRE].
hep-th/9511052 [INSPIRE].
[66] E.J. Martinec and N.P. Warner, Integrability in N = 2 gauge theory: A proof,
[67] I.M. Krichever and D.H. Phong, On the integrable geometry of soliton equations and N = 2
supersymmetric gauge theories, J. Di . Geom. 45 (1997) 349 [hep-th/9604199] [INSPIRE].
[68] R. Donagi and E. Witten, Supersymmetric Yang-Mills theory and integrable systems, Nucl.
Phys. B 460 (1996) 299 [hep-th/9510101] [INSPIRE].
Nucl. Phys. B 477 (1996) 855 [hep-th/9511126] [INSPIRE].
[69] H. Itoyama and A. Morozov, Integrability and Seiberg-Witten theory: Curves and periods,
[70] H. Itoyama and A. Morozov, Prepotential and the Seiberg-Witten theory, Nucl. Phys. B 491
(1997) 529 [hep-th/9512161] [INSPIRE].
[71] A. Gorsky, A. Marshakov, A. Mironov and A. Morozov, N = 2 supersymmetric QCD and
integrable spin chains: Rational case Nf < 2Nc, Phys. Lett. B 380 (1996) 75
[hep-th/9603140] [INSPIRE].
[72] A. Gorsky, A. Marshakov, A. Mironov and A. Morozov, A note on spectral curve for the
periodic homogeneous XYZ spin chain, hep-th/9604078 [INSPIRE].
[73] A. Gorsky, S. Gukov and A. Mironov, Multiscale N = 2 SUSY eld theories, integrable
systems and their stringy/brane origin. 1, Nucl. Phys. B 517 (1998) 409 [hep-th/9707120]
[INSPIRE].
[74] A. Marshakov and A. Mironov, 5-D and 6-D supersymmetric gauge theories: Prepotentials
from integrable systems, Nucl. Phys. B 518 (1998) 59 [hep-th/9711156] [INSPIRE].
[75] N. Nekrasov, Five dimensional gauge theories and relativistic integrable systems, Nucl.
Phys. B 531 (1998) 323 [hep-th/9609219] [INSPIRE].
[76] H.W. Braden, A. Marshakov, A. Mironov and A. Morozov, Seiberg-Witten theory for a
nontrivial compacti cation from
ve-dimensions to four-dimensions, Phys. Lett. B 448
(1999) 195 [hep-th/9812078] [INSPIRE].
[77] H.W. Braden, A. Marshakov, A. Mironov and A. Morozov, The Ruijsenaars-Schneider
model in the context of Seiberg-Witten theory, Nucl. Phys. B 558 (1999) 371
[hep-th/9902205] [INSPIRE].
[78] A. Gorsky and A. Mironov, Solutions to the re ection equation and integrable systems for
N = 2 SQCD with classical groups, Nucl. Phys. B 550 (1999) 513 [hep-th/9902030]
[INSPIRE].
[hep-th/9906240] [INSPIRE].
[79] H.W. Braden, A. Marshakov, A. Mironov and A. Morozov, On double elliptic integrable
systems. 1. A duality argument for the case of SU(2), Nucl. Phys. B 573 (2000) 553
[80] A. Mironov and A. Morozov, Commuting Hamiltonians from Seiberg-Witten theta
functions, Phys. Lett. B 475 (2000) 71 [hep-th/9912088] [INSPIRE].
[81] A. Mironov and A. Morozov, Double elliptic systems: Problems and perspectives,
hep-th/0001168 [INSPIRE].
802 [arXiv:1307.1465] [INSPIRE].
[82] G. Aminov, A. Mironov, A. Morozov and A. Zotov, Three-particle Integrable Systems with
Elliptic Dependence on Momenta and Theta Function Identities, Phys. Lett. B 726 (2013)
[83] G. Aminov, H.W. Braden, A. Mironov, A. Morozov and A. Zotov, Seiberg-Witten curves
and double-elliptic integrable systems, JHEP 01 (2015) 033 [arXiv:1410.0698] [INSPIRE].
[84] N.A. Nekrasov and S.L. Shatashvili, Quantization of Integrable Systems and Four
Dimensional Gauge Theories, arXiv:0908.4052 [INSPIRE].
JHEP 04 (2010) 040 [arXiv:0910.5670] [INSPIRE].
[85] A. Mironov and A. Morozov, Nekrasov Functions and Exact Bohr-Zommerfeld Integrals,
[86] A. Mironov and A. Morozov, Nekrasov Functions from Exact BS Periods: The Case of
SU(N ), J. Phys. A 43 (2010) 195401 [arXiv:0911.2396] [INSPIRE].
[87] A. Gorsky and A. Mironov, Integrable many body systems and gauge theories,
hep-th/0011197 [INSPIRE].
JHEP 04 (2008) 011 [hep-th/0312022] [INSPIRE].
[88] A. Iqbal, N. Nekrasov, A. Okounkov and C. Vafa, Quantum foam and topological strings,
[89] N. Nekrasov, Instanton Partition Functions and M-Theory, in proceedings of 15th
International Seminar on High Energy Physics (Quarks 2008), Sergiev Posad, Russia,
[90] N. Nekrasov and A. Okounkov, Membranes and Sheaves, arXiv:1404.2323 [INSPIRE].
[91] A. Losev, N. Nekrasov and S.L. Shatashvili, Issues in topological gauge theory, Nucl. Phys.
B 534 (1998) 549 [hep-th/9711108] [INSPIRE].
hep-th/9801061 [INSPIRE].
[92] A. Lossev, N. Nekrasov and S.L. Shatashvili, Testing Seiberg-Witten solution,
[93] G.W. Moore, N. Nekrasov and S. Shatashvili, Integrating over Higgs branches, Commun.
Math. Phys. 209 (2000) 97 [hep-th/9712241] [INSPIRE].
[94] G.W. Moore, N. Nekrasov and S. Shatashvili, D particle bound states and generalized
instantons, Commun. Math. Phys. 209 (2000) 77 [hep-th/9803265] [INSPIRE].
[95] E. Witten, Solutions of four-dimensional eld theories via M-theory, Nucl. Phys. B 500
[96] D.-E. Diaconescu, D-branes, monopoles and Nahm equations, Nucl. Phys. B 503 (1997) 220
(1997) 3 [hep-th/9703166] [INSPIRE].
[hep-th/9608163] [INSPIRE].
[97] A. Hanany and E. Witten, Type IIB superstrings, BPS monopoles and three-dimensional
gauge dynamics, Nucl. Phys. B 492 (1997) 152 [hep-th/9611230] [INSPIRE].
[98] J. de Boer, K. Hori, H. Ooguri, Y. Oz and Z. Yin, Mirror symmetry in three-dimensional
theories, SL(2; Z) and D-brane moduli spaces, Nucl. Phys. B 493 (1997) 148
[hep-th/9612131] [INSPIRE].
[99] J. de Boer, K. Hori, Y. Oz and Z. Yin, Branes and mirror symmetry in N = 2
supersymmetric gauge theories in three-dimensions, Nucl. Phys. B 502 (1997) 107
[hep-th/9702154] [INSPIRE].
Lett. B 400 (1997) 269 [hep-th/9702014] [INSPIRE].
[101] A. Marshakov, M. Martellini and A. Morozov, Insights and puzzles from branes: 4-D SUSY
[103] A.A. Belavin, A.M. Polyakov and A.B. Zamolodchikov, In nite Conformal Symmetry in
Two-Dimensional Quantum Field Theory, Nucl. Phys. B 241 (1984) 333 [INSPIRE].
[104] A.B. Zamolodchikov and Al.B. Zamolodchikov, Conformal eld theory and critical
phenomena in 2d systems (in Russian), MCCME (2009).
[105] L. Alvarez-Gaume, Random surfaces, statistical mechanics and string theory, Helv. Phys.
Acta 64 (1991) 359 [INSPIRE].
arXiv:0908.2064 [INSPIRE].
[106] P. Di Francesco, P. Mathieu and D. Senechal, Conformal Field Theory, Springer (1997).
[107] A. Mironov, S. Mironov, A. Morozov and A. Morozov, CFT exercises for the needs of AGT,
[108] N. Seiberg and E. Witten, Electric-magnetic duality, monopole condensation and
con nement in N = 2 supersymmetric Yang-Mills theory, Nucl. Phys. B 426 (1994) 19
[Erratum ibid. B 430 (1994) 485] [hep-th/9407087] [INSPIRE].
[109] N. Seiberg and E. Witten, Monopoles, duality and chiral symmetry breaking in N = 2
supersymmetric QCD, Nucl. Phys. B 431 (1994) 484 [hep-th/9408099] [INSPIRE].
[110] N.A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math.
Phys. 7 (2003) 831 [hep-th/0206161] [INSPIRE].
[111] R. Flume and R. Poghossian, An algorithm for the microscopic evaluation of the coe cients
of the Seiberg-Witten prepotential, Int. J. Mod. Phys. A 18 (2003) 2541 [hep-th/0208176]
[INSPIRE].
[INSPIRE].
[112] N. Nekrasov and A. Okounkov, Seiberg-Witten theory and random partitions, Prog. Math.
244 (2006) 525 [hep-th/0306238] [INSPIRE].
[113] A. Mironov, A. Morozov and A. Morozov, Conformal blocks and generalized Selberg
integrals, Nucl. Phys. B 843 (2011) 534 [arXiv:1003.5752] [INSPIRE].
[114] A. Mironov, A. Morozov and S. Shakirov, A direct proof of AGT conjecture at beta = 1,
JHEP 02 (2011) 067 [arXiv:1012.3137] [INSPIRE].
[115] A. Morozov and A. Smirnov, Towards the Proof of AGT Relations with the Help of the
Generalized Jack Polynomials, Lett. Math. Phys. 104 (2014) 585 [arXiv:1307.2576]
[116] S. Mironov, A. Morozov and Y. Zenkevich, Generalized Jack polynomials and the AGT
relations for the SU(3) group, JETP Lett. 99 (2014) 109 [arXiv:1312.5732] [INSPIRE].
[117] Y. Ohkubo, Existence and Orthogonality of Generalized Jack Polynomials and Its
q-Deformation, arXiv:1404.5401 [INSPIRE].
arXiv:1404.5304 [INSPIRE].
[118] A. Smirnov, Polynomials associated with xed points on the instanton moduli space,
[119] A. Smirnov, On the Instanton R-matrix, arXiv:1302.0799 [INSPIRE].
[120] B. Feigin, M. Jimbo, T. Miwa and E. Mukhin, Quantum toroidal gl1 and Bethe ansatz, J.
Phys. A 48 (2015) 244001 [arXiv:1502.07194] [INSPIRE].
[121] M.C.N. Cheng, R. Dijkgraaf and C. Vafa, Non-Perturbative Topological Strings And
Conformal Blocks, JHEP 09 (2011) 022 [arXiv:1010.4573] [INSPIRE].
[122] M. Aganagic, M.C.N. Cheng, R. Dijkgraaf, D. Kre and C. Vafa, Quantum Geometry of
Re ned Topological Strings, JHEP 11 (2012) 019 [arXiv:1105.0630] [INSPIRE].
[123] M. Aganagic and N. Haouzi, ADE Little String Theory on a Riemann Surface (and
Triality), arXiv:1506.04183 [INSPIRE].
[124] T. Kimura and V. Pestun, Quiver W-algebras, arXiv:1512.08533 [INSPIRE].
[125] B. Haghighat, A. Iqbal, C. Kozcaz, G. Lockhart and C. Vafa, M-Strings, Commun. Math.
Phys. 334 (2015) 779 [arXiv:1305.6322] [INSPIRE].
89 (2014) 046003 [arXiv:1310.1185] [INSPIRE].
[126] B. Haghighat, C. Kozcaz, G. Lockhart and C. Vafa, Orbifolds of M-strings, Phys. Rev. D
[127] S. Nakamura, F. Okazawa and Y. Matsuo, Recursive method for the Nekrasov partition
function for classical Lie groups, PTEP (2015) 033B01 [arXiv:1411.4222] [INSPIRE].
073B02 [arXiv:1502.04188] [INSPIRE].
[129] S. Kanno, Y. Matsuo and H. Zhang, Extended Conformal Symmetry and Recursion
Formulae for Nekrasov Partition Function, JHEP 08 (2013) 028 [arXiv:1306.1523]
[130] H. Awata and H. Kanno, Quiver Matrix Model and Topological Partition Function in Six
Dimensions, JHEP 07 (2009) 076 [arXiv:0905.0184] [INSPIRE].
[131] M. Cira ci, A. Sinkovics and R.J. Szabo, Instantons, Quivers and Noncommutative
Donaldson-Thomas Theory, Nucl. Phys. B 853 (2011) 508 [arXiv:1012.2725] [INSPIRE].
[132] R.J. Szabo, N=2 gauge theories, instanton moduli spaces and geometric representation
theory, arXiv:1507.00685 [INSPIRE].
[133] K. Hasegawa, Crossing symmetry in elliptic solutions of the Yang-Baxter equation and a
new L-operator for Belavin's solution, J. Phys. A 26 (1993) 3211.
[134] K. Hasegawa, Ruijsenaars' commuting di erence operators as commuting transfer matrices,
Commun. Math. Phys. 187 (1997) 289 [q-alg/9512029].
[135] V. Vakulenko, Note on the Ruijsenaars-Schneider model, math/9909079.
[136] E.K. Sklyanin, Some Algebraic Structures Connected with the Yang-Baxter Equation, Funct.
Anal. Appl. 16 (1982) 263.
[137] E.K. Sklyanin, Some Algebraic Structures Connected with the Yang-Baxter Equation.
Representations of Quantum Algebras, Funct. Anal. Appl. 17 (1983) 273.
[138] S.N.M. Ruijsenaars and H. Schneider, A New Class of Integrable Systems and Its Relation
to Solitons, Annals Phys. 170 (1986) 370 [INSPIRE].
[139] S.N.M. Ruijsenaars, Complete Integrability of Relativistic Calogero-moser Systems and
Elliptic Function Identities, Commun. Math. Phys. 110 (1987) 191 [INSPIRE].
nonAbelian 2-D Toda chain and representations of Sklyanin algebra, Russ. Math. Surveys
50 (1995) 1101 [hep-th/9505039] [INSPIRE].
(1996) 587 [hep-th/9503157] [INSPIRE].
Correspondence and Two-dimensional Version, Commun. Math. Phys. 236 (2003) 93
nondynamical R matrix for the Ruijsenaars model, Nucl. Phys. B 503 (1997) 747
and the Feigin-Odesskii algebra via Hamiltonian and Poisson reductions, J. Phys. A 36
(2003) 6979 [hep-th/0301121] [INSPIRE].
diagonalization and topological interpretation, math-ph/0110032 [INSPIRE].
beta-ensemble, Prog. Theor. Phys . 124 ( 2010 ) 227 [arXiv: 1004 .5122] [INSPIRE].
Gaiotto state , J. Math. Phys. 51 ( 2010 ) 123506 [arXiv: 1005 .0216] [INSPIRE]. [7] F. Nieri , S. Pasquetti , F. Passerini and A. Torrielli , 5D partition functions, q- Virasoro [8] H. Itoyama , T. Oota and R. Yoshioka , q-Vertex Operator from 5D Nekrasov Function, Macdonald functions , Int. J. Mod. Phys. A 24 ( 2009 ) 2253 [arXiv: 0805 .0191] [INSPIRE]. [26] A. Iqbal , C. Kozcaz and C. Vafa , The Re ned topological vertex , JHEP 10 ( 2009 ) 069 [27] E. Mukhin , V. Tarasov and A. Varchenko , Bispectral and (glN ; glM ) Dualities, [28] E. Mukhin , V. Tarasov and A. Varchenko , Bispectral and (glN ; glM ) dualities, discrete versus theories: Discrete case , Phys. Lett. B 265 ( 1991 ) 99 [INSPIRE]. [46] S. Kharchev , A. Marshakov , A. Mironov , A. Morozov and S. Pakuliak , Conformal matrix models as an alternative to conventional multimatrix models , Nucl. Phys. B 404 ( 1993 ) 717 [47] H. Awata , Y. Matsuo , S. Odake and J. Shiraishi , A Note on Calogero-Sutherland model, dimensions , Phys. Lett. B 756 ( 2016 ) 208 [arXiv: 1512 .06701] [INSPIRE]. [64] A. Gorsky , I. Krichever , A. Marshakov , A. Mironov and A. Morozov , Integrability and Seiberg-Witten exact solution , Phys. Lett. B 355 ( 1995 ) 466 [ hep -th/9505035] [INSPIRE]. [65] E.J. Martinec , Integrable structures in supersymmetric gauge and string theory, Phys . Lett.
Yang-Mills from 6-D models , Phys. Lett. B 418 ( 1998 ) 294 [ hep -th/9706050] [INSPIRE].
[102] N.C. Leung and C. Vafa , Branes and toric geometry, Adv. Theor. Math. Phys. 2 ( 1998 ) 91 [128] S. Nakamura , On the Je rey-Kirwan residue of BCD-instantons , PTEP 2015 ( 2015 ) [140] I. Krichever and A. Zabrodin , Spin generalization of the Ruijsenaars-Schneider model , [141] N. Nekrasov , Holomorphic bundles and many body systems , Commun. Math. Phys . 180 [142] A.M. Levin , M.A. Olshanetsky and A. Zotov , Hitchin Systems | Symplectic Hecke [144] A.V. Odesskii and B.L. Feigin , Sklyanin elliptic algebras, Funct. Anal. Appl . 23 ( 1989 ) 207 .