Abstract
We show the vertex operator formalism for the quiver gauge theory partition function and the qq-character of the highest weight module on quiver, both associated with the integral over the quiver variety.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathcal {M}}_{k,n}\) be the instanton moduli space of k-instanton configuration in 4D \(\mathrm {SU}(n)\) gauge theory on \({\mathbb {R}}^4 \cong {\mathbb {C}}^2\). This moduli space plays a significant role in the study of 4D gauge theory. In particular, we are interested in the volume of the moduli space, which gives rise to the contribution to the partition function of 4D \({\mathcal {N}}= 2\) supersymmetric gauge theory. The total partition function is given as the summation over the instanton sectors [21]
where the instanton fugacity \(\mathfrak {q}\) is related to the complexified coupling constant \(\displaystyle \tau = \frac{\theta }{2\pi } + \iota \frac{4\pi }{g^2}\) by \(\mathfrak {q}= \exp \left( 2 \pi \iota \tau \right) \) with the imaginary unit \(\iota = \sqrt{-1}\). \(\theta \) and \(g^2\) are the theta angle and the gauge coupling constant, appearing in the Lagrangian. In fact, the k-instanton contribution is given as the volume of the instanton moduli space
Since the instanton moduli space is non-compact, we need a regularization scheme to evaluate the volume: The equivariant integral provides a proper regularized volume of the instanton moduli space, which ends up with the contour integral, called the Losev–Moore–Nekrasov–Shatashvili (LMNS) formula [12, 13, 15],Footnote 1
where \(\phi _{ab} = \phi _a - \phi _b\). \((\phi _a)_{a = 1, \ldots , k}\) and \((\mathsf {a}_\alpha )_{\alpha = 1, \ldots , n}\) are the sets of the equivariant parameters for \(\mathrm {GL}(k,{\mathbb {C}})\) and GL(\(n, {\mathbb {C}}\)) acting on the instanton moduli space. The equivariant parameters for \(\mathrm {Spin}(4)\) acting as the Lorentz transformation for \({\mathbb {R}}^4 \cong {\mathbb {C}}^2\) are given by \((\epsilon _1, \epsilon _2)\) and \(\epsilon = \epsilon _1 + \epsilon _2\). The partition function depends on these equivariant parameters, and the Seiberg–Witten prepotential is consequently reproduced by asymptotic behavior of the partition function in the limit \(\epsilon _{1,2} \rightarrow 0\).
The instanton moduli space for \({\mathbb {C}}^2\) is an example of the quiver variety corresponding to \({\widehat{A}}_0\) quiver [18, 19], and from this point of view, it is natural to consider the equivariant volume of generic quiver varieties. In this paper, we focus on the quiver gauge theory on \({\mathbb {C}}^2\) and consider similar integrals to the LMNS formula (1.3) associated with the quiver, which provide the corresponding gauge theory partition functions. We point out that the multivariable integral is concisely expressed as a correlation function of vertex operators with the free field realization depending on the quiver structure. We remark that this vertex operator is nothing but the operator introduced in Refs. [8,9,10] to construct the quiver W-algebra. Such a connection between the gauge theory observable and the vertex operators is now called the BPS/CFT correspondence [22,23,24,25,26]. An earlier remarkable example is the equivalence between the \(\mathrm {SU}(2)\) instanton partition function and the Liouville conformal block, a.k.a., the AGT relation [1]. The recent progress on the supersymmetric localization [30, 31] allows us to obtain a lot of exact results on the gauge theory side, and many examples of the correspondence can be now checked so far based on these results.
Another gauge theory observable associated with the quiver variety is the qq-character [22], which is a two-parameter deformation of the character of representations constructed on the quiver. Realization of the representations using the quiver variety is now established [20], and with this realization, the qq-character is constructed by integrating over the quiver variety. We show that the vertex operator formalism discussed in this paper is also applicable to this qq-character integral construction. It has been known that the qq-character plays a role of the generating current of the quiver W-algebra [8,9,10], which implies the operator formalism provides a still formal, but concise closed formula for arbitrary generating current of the W-algebra.
The remaining part of the paper is organized as follows: In Sect. 2, we introduce the vertex operators associated with the quiver. We explicitly show the operator product expansion (OPE) factors between them based on their free field realization. In Sect. 3, we consider the partition function of 5D \({\mathcal {N}}= 1\) quiver gauge theory defined on \({\mathbb {C}}^2 \times S^1\), which is the K-theoretic analog of the equivariant volume of the instanton moduli space. We show that the gauge theory partition function is expressed as a correlator of the vertex operators associated with the quiver. In Sect. 4, we consider the qq-character based on the integral formula. We show that the integral measure is reproduced by the OPE factors between the vertex operators, and the highest weight module is generated by the Weyl orbit generating operator. In Sect. 5, we consider 6D \({\mathcal {N}}= (1,0)\) gauge theory on \({\mathbb {C}}^2 \times T^2\), which yields an elliptic analog of these results. We show that there are two approaches to the elliptic theory: One is to consider the torus correlation function instead of the correlation function on a cylinder \({\mathbb {C}}^\times \). The other is deformation of the vertex operators providing the elliptic OPE factors.
2 Vertex operators
2.1 Quiver
We follow the convention used in [8]. We denote a quiver,Footnote 2 consisting of nodes and edges, by \(\varGamma = (\varGamma _0,\varGamma _1)\) where \(\varGamma _0\) is a set of nodes and \(\varGamma _1\) is a set of edges. The rank of quiver is given as \({{\,\mathrm{rk}\,}}\varGamma = |\varGamma _0|\). For such a quiver, we define the mass deformed q-Cartan matrix
where \(q \in {\mathbb {C}}^\times \), and \((\mu _e)_{e \in \varGamma _1}\) is a set of \({\mathbb {C}}^\times \)-valued parameters assigned to each edge. In the gauge theory setup, the former one is associated with the equivariant parameter for Spin(4) action \(q = q_1 q_2\) where
The latter ones are identified with the multiplicative bifundamental mass parameters, which are given from the additive bifundamental mass \((m_e)_{e \in \varGamma _1}\) as \(\mu _e = e^{m_e} \in {\mathbb {C}}^\times \).
We denote the Adams operation of the q-Cartan matrix, replaced with the degree n monomials, by
We remark that it is reduced to the ordinary quiver Cartan matrix in the classical limit\(n \rightarrow 0\),
2.2 Vertex operators
We introduce the vertex operators associated with the quiver \(\varGamma \) using the free field oscillators. We then summarize the OPE factors between them, which will be used in the following argument.
2.2.1 \(\mathsf {A}\)-operator
We define the \(\mathsf {A}\)-operator for each node of the quiver \(i \in \varGamma _0\),
where \(:\,:\) is the normal ordering symbol, and the free field oscillators obey the commutation relation
This oscillator has an explicit realization using formal parameters \((t_{i,n})_{i \in \varGamma _0, n = 1,\ldots ,\infty }\),
where \((\mathfrak {q}_i)_{i \in \varGamma _0}\) is the gauge coupling constant, and the formal parameter \((t_{i,n})_{i \in \varGamma _0, n = 1,\ldots ,\infty }\) is identified with the coupling constant for the generic Casimir operator [14, 27, 29]. The zero mode coefficient \((\kappa _i)_{i \in \varGamma _0} \in {\mathbb {Z}}^{|\varGamma _0|}\) is to be identified with the Chern–Simons level of the corresponding gauge theory. This vertex operator is slightly modified from the original definition by Frenkel–Reshetikhin [6] and also from [8], used in the construction of the q-deformed W-algebras.
2.2.2 \(\mathsf {Y}\)-operator
We define the \(\mathsf {Y}\)-operator
where the free field oscillator obeys the commutation relation
It has the following realization using the formal parameters \((t_{i,n})_{i \in \varGamma _0, n = 1,\ldots ,\infty }\),
where we denote the inverse of the q-Cartan matrix by \({\tilde{c}}_{ij}^{[n]}\).Footnote 3
We remark that the a- and y-oscillators behave as the root and the weight since they are converted to each other through the q-Cartan matrix
which implies the relation between the \(\mathsf {A}\)- and \(\mathsf {Y}\)-operators as follows:
Such an interpretation is relevant to the construction of representations on the quiver [20], which is discussed in Sect. 4.
2.2.3 \(\mathsf {V}\)-operator
We define the \(\mathsf {V}\)-operator
which has the realization
We remark the relation to the y-oscillator
and thus, this \(\mathsf {V}\)-operator is related to the weight associated with the quiver.
2.2.4 OPE factors
In order to write down the OPE factors, we define a rational function
which obeys the reflection relation
Then, the OPE factors between the vertex operators are given as follows:
\(\mathsf {A}\mathsf {A}\) OPE From the commutation relation (2.6), we obtain
\(\mathsf {Y}\mathsf {A}\) OPE Since the y- and a-oscillators obey the commutation relation
we obtain
\(\mathsf {V}\mathsf {A}\) OPE The v- and a-oscillators obey the commutation relation
and thus, we obtain
3 Gauge theory partition function
We consider the partition function of 5D \({\mathcal {N}}= 1\) quiver gauge theory on \({\mathbb {C}}^2 \times S^1\) and show that it is expressed as a correlation function of the vertex operators introduced in Sect. 2.
3.1 \(A_1\) quiver
3.1.1 \({\mathcal {N}}= 1\) pure Yang–Mills theory
The partition function of SU(n) Yang–Mills theory (\(A_1\) quiver) is given as the sum over the instanton contributions:
The k-instanton contribution leads to the following contour integral,
which is the q-analog of the LMNS formula (1.3) for 4D \({\mathcal {N}}= 2\) gauge theory. Here \(\mathsf {P}(x)\) and \({\widetilde{\mathsf {P}}}(x)\) are the gauge polynomials given by
where \((\nu _\alpha )_{\alpha = 1,\ldots , n}\) is a set of the multiplicative Coulomb moduli parameters, given by \(\nu _\alpha = e^{\mathsf {a}_\alpha } \in {\mathbb {C}}^\times \), and \(\kappa \in {\mathbb {Z}}\) is the Chern–Simons level. The k-instanton contribution for 5D theory is not directly interpreted as the equivariant volume of the instanton moduli space, but it is given as the twisted Witten index of the supersymmetric quantum mechanics on \(S^1\), whose Hilbert space is given by the instanton moduli space \({\mathcal {M}}_{k,n}\). We remark that the integral (3.2) is a multivariable contour integral, so that we have to fix the integral contour properly. A modern characterization of such a contour integral is by the Jeffrey–Kirwan residue prescription. See, for example, [2] for the explanation in a similar context. The resultant residue is consistent with the fixed point in the instanton moduli space under the equivariant action in this case.
For the latter simplicity, we shift the coupling constant
and then, using the OPE factors shown in Sect. 2.2.4, we obtain the correlator formula for the partition function
where the \(\mathsf {V}\) state \(\left| \mathsf {V}^{(n)} \right\rangle \) and its dual \(\left\langle \mathsf {V}^{(n)} \right| \) are defined with the \(\mathsf {V}\) operator
The vacuum state \(\left| 0 \right\rangle \) and its dual \(\left\langle 0 \right| \) are annihilated by the negative and positive modes
The normalization factor \(\left\langle \mathsf {V}^{(n)} \mid \mathsf {V}^{(n)} \right\rangle \) cancels the OPE factors between the \(\mathsf {V}\)-operatorsFootnote 4
Furthermore, we define the \(\mathsf {W}\)-operator, which is a charge associated with the root operator,
Then, the normalized partition function has a formal, but concise expression
We have several remarks on this formula. First, a proper regularization would be necessary on the product \(\mathsf {W}^k\), which may provide a singularity due to the operator collision. A possible way of regularization is to deform the vertex operator with a regularization parameter and then take this parameter to zero after the computation.Footnote 5
Next is the relation of the operator \(\mathsf {W}\) to the screening charge in 2D CFT, which is defined as an integral of the screening current. The screening charge is a similar formal operator, which does not make sense by itself, but plays an important role in derivation of an integral formula for the CFT correlation function, a.k.a., the Dotsenko–Fateev integral formula [4, 5]. In fact, the \(\mathsf {A}\)-operator used here is directly related to the screening current for the q-deformation of W-algebras by q-difference operation [6, 8,9,10]. This suggests a possible interpretation of the \(\mathsf {W}\)-operator as an alternative screening charge in the q-deformed setup.
Another remark is the similarity of the expression (3.11) to several formulas in the literatures, e.g., the Fourier transform of the gauge theory partition function, known as the dual partition function [27], the \(\widehat{\text {W}}\)-operator representation of the matrix integral [16], and the partition function as the norm of the Gaiotto–Whittaker state [7]. Actually such an expression is often found in the context of the integrable hierarchy as the corresponding \(\tau \)-function. It would be interesting to pursue the connection between the formula presented here and other similar formulas.
3.1.2 \({\mathcal {N}}= 1\) SQCD
We then consider 5D \({\mathcal {N}}= 1\) SQCD, which has additional \(n^\text {f}\) fundamental and \(n^\text {af}\) antifundamental hypermultiplets. In this case, the k-instanton contribution has additional factors as follows:
where we define the matter polynomials
with the sets of the multiplicative fundamental and antifundamental mass parameters, \((\mu _f)_{f = 1,\ldots , n^\text {f}}\) and \(({\tilde{\mu }}_f)_{f = 1, \ldots , n^\text {af}}\).
In a similar way to the previous case, under the coupling shift (3.4), we obtain
with the modified \(\mathsf {V}\)-state,
The additional contribution of the (anti)fundamental matter is imposed by this modification of the \(\mathsf {V}\)-state. Then, summing up all the instanton sectors, we obtain the normalized partition function
We remark that one can use the same \(\mathsf {W}\)-operator as far as considering \(A_1\) quiver gauge theory, and the matter content dependence appears only in the \(\mathsf {V}\)-state.Footnote 6
3.2 Quiver gauge theory
We study 5D \({\mathcal {N}}= 1\)\(\varGamma \)-quiver gauge theory on \({\mathbb {C}}^2 \times S^1\). We define the dimension vectors, \({\underline{k}} = (k_i)_{i \in \varGamma _0}\), \({\underline{n}} = (n_i)_{i \in \varGamma _0}\), \({\underline{n}}^\text {(a)f} = (n_i^\text {(a)f})_{i \in \varGamma _0}\), which characterize the instanton moduli space denoted by \({\mathcal {M}}_{{\underline{k}},{\underline{n}}}\). The gauge theory partition function is given as the summation over topological sectors characterized by the dimension vector
where we use the convention
The \({\underline{k}}\)-instanton contribution to the partition function has the following contour integral form:
with the building block for each node \(i \in \varGamma _0\)
and the shift of the coupling constant
We define the gauge polynomials and the matter polynomials associated with each gauge node
with the multiplicative Coulomb moduli and the (anti)fundamental mass parameters,
In this case, we obtain the following correlator representation using the OPE factors shown in Sect. 2.2.4:
with the \(\mathsf {V}\)-state
Namely, all the factors appearing in the contour integral (3.19) are reproduced by the OPE factors between the vertex operators associated with the quiver \(\varGamma \). Then, introducing the \(\mathsf {W}\)-operator for each node \(i \in \varGamma _0\)
the summation over the instanton sectors is given as
This formalism is available for generic quiver, not restricted to the finite-type Dynkin quiver, but also the affine and hyperbolic quivers.
We remark that the vertex operators used in this paper are also used in another formalism [8,9,10], where the screening charge, given as the screening current integral, plays a central role in the construction of the partition function instead of the \(\mathsf {A}\)-operator. The explicit relation between these two formulations is not yet obvious, whereas a clue would be that the q-difference of the screening current gives rise to the \(\mathsf {A}\)-operator, as mentioned before. We would discuss this issue in a future research.
3.2.1 \({\widehat{A}}_{0}\) quiver
Let us consider \({\widehat{A}}_0\) quiver (5D \({\mathcal {N}}= 1^*\)\(\mathrm {SU}(n)\) gauge theory), which is the simplest example of the affine quivers. In this case, the q-Cartan matrix is given by
with the multiplicative adjoint mass \(\mu = e^{m_\text {adj}} \in {\mathbb {C}}^\times \). In the classical limit, this q-Cartan matrix is reduced to \(c^{[0]} = 0\), so that not invertible. We now assume \(c \ne 0 \iff \mu \ne 1, q\), and it becomes invertible after the q-deformation.
In this case, the k-instanton contribution is given by
which is written using the vertex operators as follows:
The \(\mathsf {V}\)-state is now defined
and the normalized partition function is given as the summation over the instanton sectors
where the \(\mathsf {W}\)-operator is the integral of the \(\mathsf {A}\)-operator associated with \({\widehat{A}}_0\) quiver as in the previous case.
4 qq-character integral formula
The qq-character is the doubly quantum deformation of the character of representations constructed on the quiver \(\varGamma \). It was shown in [22] that the qq-character has a formula based on the integration over the quiver variety associated with the quiver \(\varGamma \). We apply the operator formalism to the qq-character based on this integral formula.
We define the dimension vectors, \({\underline{\mathsf {v}}} = (\mathsf {v}_i)_{i \in \varGamma _0}\), \({\underline{\mathsf {w}}} = (\mathsf {w}_i)_{i \in \varGamma _0}\), characterizing the representation on the quiver [20]. Let \({\underline{v}} = (v_{i,a})_{i \in \varGamma _0,a=1,\ldots ,\mathsf {v}_i}\), \({\underline{w}} = (w_{i,\alpha })_{i \in \varGamma _0, \alpha = 1,\ldots ,\mathsf {w}_i}\) be the equivariant parameters for \(\displaystyle \mathrm {GL}({\underline{\mathsf {v}}}) = \prod _{i \in \varGamma _0} \mathrm {GL}(\mathsf {v}_i,{\mathbb {C}})\) and \(\displaystyle \mathrm {GL}({\underline{\mathsf {w}}}) = \prod _{i \in \varGamma _0} \mathrm {GL}(\mathsf {w}_i, {\mathbb {C}})\) action. Then, we introduce the highest weight operator
The qq-character is given as the summation over \({\underline{\mathsf {v}}} \in {\mathbb {Z}}_{>0}^{{{\,\mathrm{rk}\,}}\varGamma }\)
where each contribution \(\mathsf {T}_{{\underline{\mathsf {w}}}, {\underline{\mathsf {v}}}}({\underline{w}})\) corresponds to the integral over the quiver variety \({\mathcal {M}}_{{\underline{\mathsf {v}}}, {\underline{\mathsf {w}}}}(\varGamma )\)
We again shift the coupling constant (3.21), which is absorbed by the normalization constant of the \(\mathsf {A}\)-operator.
It turns out that all the \(\mathscr {S}\)-factors appearing in the integral are precisely reproduced by the OPE factors of the \(\mathsf {A}\)- and \(\mathsf {Y}\)-operators shown in Sect. 2.2.4:
Then, we obtain a formal, but concise formula for generic qq-character using the \(\mathsf {W}\)-operator (3.26)
We remark that the qq-character is an operator acting on the Fock space generated by \((t_{i,n}, \partial _{t_{i,n}})_{i \in \varGamma _0, n = 1,\ldots , \infty }\), so that it is not expressed as a free field correlator.
From the representation theoretical point of view, the qq-character formula (4.5) is interpreted as follows: The operator defined in (4.1) is the highest weight, and the sum over the dimension vector \({\underline{\mathsf {v}}}\) (4.2) corresponds to the sum over the corresponding Weyl orbit. The operator \(\displaystyle \prod \nolimits _{i \in \varGamma _0} e^{\mathsf {W}_i}\) in the formula plays a role of the Weyl orbit generating operator.
We remark that the qq-character \(\mathsf {T}_{{\underline{\mathsf {w}}}}({\underline{w}})\) is now an operator acting on the Fock space, which becomes a pole-free regular function after taking the gauge theory average. In the operator formalism, the regularity of the qq-character is rephrased as the commutativity with the screening charge associated with the quiver [8,9,10]. It would be worth studying the regularity and the commutativity in terms of the \(\mathsf {W}\)-operator since it also has an essential connection with the screening charge in the quiver W-algebra formalism. We leave this issue for a future study.
5 6D \({\mathcal {N}}= (1,0)\) theory
In this section, we show that the formalism shown above is naturally generalized to the 6D \({\mathcal {N}}=(1,0)\) theory compactified on a torus, \({\mathbb {C}}^2 \times T^2\). Let \(\tau \) be the modulus of the torus on which the gauge theory is compactified. We define the elliptic nome
and the theta function
We remark the relation
is essentially equivalent to \(1 - x^{-1} = (-x^{-1})(1 - x)\).
5.1 Partition function
We consider \(A_1\) quiver theory for simplicity. We can similarly formulate generic quiver gauge theory based on the same argument in Sect. 3.2. See also [9] for related discussions.
The gauge theory partition function is given as the instanton sum
The k-instanton contribution for 6D SU(n) theory with \(n^\text {f}\) and \(n^\text {af}\) (anti)fundamental hypermultiplets is given by
where all the factors are replaced with the elliptic functions
We remark that we should impose the anomaly free condition in order that the partition function possesses a proper modular property.
5.1.1 Trace formula
Let \(L_0\) be the energy operator defined
Under the shift (3.4), the k-instanton contribution is written as the trace over the Fock space generated by \((t_n, \partial _{t_n})_{n = 1,\ldots ,\infty }\),
where we define
Then, the normalized partition function is given by
This 6D formula is interpreted as a correlator on a torus \(T^2\), or elliptic curve \({\mathcal {E}}_p = {\mathbb {C}}^\times /p^{\mathbb {Z}}= {\mathbb {C}}/ ({\mathbb {Z}}\oplus \tau {\mathbb {Z}})\), while the 5D formula (3.16) is a correlator on a cylinder \({\mathbb {C}}^\times \).
5.1.2 Elliptic vertex operators
We define the elliptic deformation of the vertex operators using the doubling trick [3],
where the oscillators obey the commutation relations,
These vertex operators provide elliptic analog of the OPE factors in Sect. 2.2.4, replacing all the factors with the elliptic function. The \(\mathsf {V}\)-operator is similarly defined to provide the elliptic OPE factor,
In this case, the Fock space is generated by two sets of the formal parameters, \((t_{i,n}^{(\pm )}, \partial _{i,n}^{(\pm )})_{i \in \varGamma _0, n = 1,\ldots , \infty }\), which is a direct product of the Fock spaces generated by the plus and minus sectors. For example, the vacuum is given by \(\left| 0 \right\rangle = \left| 0 \right\rangle ^{(+)} \oplus \left| 0 \right\rangle ^{(-)}\). Then, we obtain exactly the same formula of the k-instanton contribution as (3.14) and the total partition function (3.16), as a correlator with respect to the doubled Fock space equipped with the elliptic vertex operators defined here.
5.2 qq-character
We can similarly consider the qq-character in 6D \({\mathcal {N}}= (1,0)\) theory on \({\mathbb {C}}^2 \times T^2\). Since the qq-character discussed in this paper is an operator, it is not expressed as a correlator, and we should use the elliptic vertex operator formalism used in Sect. 5.1.2 to construct the qq-character in this case. Using the elliptic vertex operators with the doubled Fock space, we obtain formally the same formula as (4.4), and also (4.5), for arbitrary highest weight modules constructed on a quiver.
Notes
We consider simply laced quivers here. We can generalize the result in this paper to the fractional (non-simply-laced; symmetrizable) quiver using the formalism introduced in [10].
For the affine quiver, the quiver Cartan matrix is not invertible in particular for \(n = 0\) since \(\det (c_{ij}^{[0]}) = 0\). In this case, we should deal with the zero mode separately. See [8] for details.
We remark that this normalization factor is slightly similar, but different from the perturbative contribution to the gauge theory partition function, written using the q-double \(\varGamma \)-function
We thank Nikita Nekrasov for pointing out this issue.
The theory with the adjoint matter is classified into \({\widehat{A}}_0\) quiver theory. See Sect. 3.2.1 for details.
References
Alday, L.F., Gaiotto, D., Tachikawa, Y.: Liouville correlation functions from four-dimensional gauge theories. Lett. Math. Phys. 91, 167–197 (2010). arXiv:0906.3219 [hep-th]
Benini, F., Eager, R., Hori, K., Tachikawa, Y.: Elliptic genera of 2D \({{\cal{N}}} = 2\) gauge theories. Commun. Math. Phys. 333, 1241–1286 (2015). arXiv:1308.4896 [hep-th]
Clavelli, L., Shapiro, J.A.: Pomeron factorization in general dual models. Nucl. Phys. B 57, 490–535 (1973)
Dotsenko, V.S., Fateev, V.A.: Conformal algebra and multipoint correlation functions in 2D statistical models. Nucl. Phys. B 240, 312–348 (1984)
Dotsenko, V.S., Fateev, V.A.: Four-point correlation functions and the operator algebra in 2D conformal invariant theories with central charge \(c \le 1\). Nucl. Phys. B 251, 691–734 (1985)
Frenkel, E., Reshetikhin, N.: Deformations of \(\mathscr {W}\)-algebras associated to simple Lie algebras. Commun. Math. Phys. 197, 1–32 (1998). arXiv:q-alg/9708006 [math.QA]
Gaiotto, D.: Asymptotically free \({\cal{N}} = 2\) theories and irregular conformal blocks. J. Phys. Conf. Ser. 462(1), 012014 (2013). arXiv:0908.0307 [hep-th]
Kimura, T., Pestun, V.: Quiver W-algebras. Lett. Math. Phys. 108, 1351–1381 (2018). arXiv:1512.08533 [hep-th]
Kimura, T., Pestun, V.: Quiver elliptic W-algebras. Lett. Math. Phys. 108, 1383–1405 (2018). arXiv:1608.04651 [hep-th]
Kimura, T., Pestun, V.: Fractional quiver W-algebras. Lett. Math. Phys. 108, 2425–2451 (2018). arXiv:1705.04410 [hep-th]
Kimura, T., Pestun, V.: Super instanton counting and localization. arXiv:1905.01513 [hep-th]
Losev, A., Nekrasov, N., Shatashvili, S.L.: Issues in topological gauge theory. Nucl. Phys. B 534, 549–611 (1998). arXiv:hep-th/9711108 [hep-th]
Losev, A., Nekrasov, N., Shatashvili, S.L.: Testing Seiberg–Witten solution, Strings, Branes and Dualities. In: Proceedings, NATO Advanced Study Institute, Cargèse, France, May 26–June 14, 1997, vol. 520, pp. 359–372, Springer, Dordrecht (1999). arXiv:hep-th/9801061 [hep-th]
Marshakov, A., Nekrasov, N.: Extended Seiberg–Witten theory and integrable hierarchy. JHEP 0701, 104 (2007). arXiv:hep-th/0612019
Moore, G.W., Nekrasov, N., Shatashvili, S.L.: Integrating over Higgs branches. Commun. Math. Phys. 209, 97–121 (2000). arXiv:hep-th/9712241 [hep-th]
Morozov, A., Shakirov, S.: Generation of matrix models by \({\hat{W}}\)-operators. JHEP 04, 064 (2009). arXiv:0902.2627 [hep-th]
Mariño, M., Wyllard, N.: A note on instanton counting for \({\cal{N}}=2\) gauge theories with classical gauge groups. JHEP 05, 021 (2004). arXiv:hep-th/0404125 [hep-th]
Nakajima, H.: Instantons on ALE spaces, quiver varieties, and Kac–Moody algebras. Duke Math. J. 76, 365–416 (1994)
Nakajima, H.: Quiver varieties and Kac–Moody algebras. Duke Math. J. 91, 515–560 (1998)
Nakajima, H.: Quiver varieties and finite-dimensional representations of quantum affine algebras. J. Am. Math. Soc. 14, 145–238 (2001). arXiv:math/9912158
Nekrasov, N.: Seiberg–Witten prepotential from instanton counting. Adv. Theor. Math. Phys. 7, 831–864 (2004). arXiv:hep-th/0206161
Nekrasov, N.: BPS/CFT correspondence: non-perturbative Dyson–Schwinger equations and \(qq\)-characters. JHEP 1603, 181 (2016). arXiv:1512.05388 [hep-th]
Nekrasov, N.: BPS/CFT correspondence II: instantons at crossroads, moduli and compactness theorem. Adv. Theor. Math. Phys. 21, 503–583 (2017). arXiv:1608.07272 [hep-th]
Nekrasov, N.: BPS/CFT correspondence III: gauge origami partition function and \(qq\)-characters. Commun. Math. Phys. 358, 863–894 (2017). arXiv:1701.00189 [hep-th]
Nekrasov, N.: BPS/CFT correspondence IV: sigma models and defects in gauge theory. Lett. Math. Phys. 109, 579–622 (2019). arXiv:1711.11011 [hep-th]
Nekrasov, N.: BPS/CFT correspondence V: BPZ and KZ equations from \(qq\)-characters. arXiv:1711.11582 [hep-th]
Nekrasov, N.A., Okounkov, A.: Seiberg–Witten theory and random partitions. In: Etingof, P., Retakh, V., Singer, I.M., (eds.), The Unity of Mathematics. Progress in Mathematics, vol. 244, pp. 525–596, Birkhäuser, Boston (2006) arXiv:hep-th/0306238 [hep-th]
Nekrasov, N., Shadchin, S.: ABCD of instantons. Commun. Math. Phys. 252, 359–391 (2004). arXiv:hep-th/0404225 [hep-th]
Nakajima, H., Yoshioka, K.: Lectures on instanton counting. CRM Proc. Lect. Notes 38, 31–102 (2003). arXiv:math/0311058 [math.AG]
Pestun, V.: Localization of gauge theory on a four-sphere and supersymmetric Wilson loops. Commun. Math. Phys. 313, 71–129 (2012). arXiv:0712.2824 [hep-th]
Pestun, V., Zabzine, M., et al.: Localization techniques in quantum field theories. J. Phys. A50(44), 440301 (2017). arXiv:1608.02952 [hep-th]
Acknowledgements
We would like to thank Saebyeok Jeong, Alexei Morozov, Nikita Nekrasov, Vasily Pestun, Maxim Zabzine, Yegor Zenkevich for useful discussions and comments. A part of the results in this paper was presented in Representation theory, gauge theory, and integrable systems at Kavli IPMU, February 2019, and BPS/CFT correspondence at CIRM, September 2019. We are grateful to the organizers for giving the opportunity to present our work in a stimulating atmosphere. This work was supported by the French “Investissements d’Avenir” program, project ISITE-BFC (No. ANR-15-IDEX-0003), JSPS Grant-in-Aid for Scientific Research (No. JP17K18090), the MEXT-Supported Program for the Strategic Research Foundation at Private Universities “Topological Science” (No. S1511006), JSPS Grant-in-Aid for Scientific Research on Innovative Areas “Topological Materials Science” (No. JP15H05855), and “Discrete Geometric Analysis for Materials Design” (No. JP17H06462).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kimura, T. Integrating over quiver variety and BPS/CFT correspondence. Lett Math Phys 110, 1237–1255 (2020). https://doi.org/10.1007/s11005-020-01261-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-020-01261-5
Keywords
- Supersymmetric gauge theory
- Conformal field theory
- Vertex operator algebra
- W-algebra
- Quiver variety
- Instanton