Defects, nested instantons and comet shaped quivers

TL;DR

This paper introduces a surface defect in 4D gauge theories with nested instantons, proposing a comet-shaped quiver gauge theory on a torus and connecting it to elliptic cohomology and Macdonald polynomials.

Contribution

It develops a new effective theory for nested instantons on a Riemann surface, providing explicit formulas and conjectural links to elliptic cohomology and symmetric functions.

Findings

Proposes a comet-shaped quiver gauge theory on T^2.

Derives explicit formulas for the virtual equivariant elliptic genus.

Establishes connections with elliptic cohomology and modified Macdonald polynomials.

Abstract

We introduce and study a surface defect in four dimensional gauge theories supporting nested instantons with respect to the parabolic reduction of the gauge group at the defect. This is engineered from a D3/D7-branes system on a non compact Calabi-Yau threefold $X$. For $X=T^2\times T^*{\mathcal C}_{g,k}$, the product of a two torus $T^2$ times the cotangent bundle over a Riemann surface ${\mathcal C}_{g,k}$ with marked points, we propose an effective theory in the limit of small volume of ${\mathcal C}_{g,k}$ given as a comet shaped quiver gauge theory on $T^2$, the tail of the comet being made of a flag quiver for each marked point and the head describing the degrees of freedom due to the genus $g$. Mathematically, we obtain for a single D7-brane conjectural explicit formulae for the virtual equivariant elliptic genus of a certain bundle over the moduli space of the nested Hilbert scheme of points on the affine plane. A connection with elliptic cohomology of character varieties and an elliptic version of modified Macdonald polynomials naturally arises.

Tables

Table 1. Table 1: Field content for quiver 8

	gauge $G$	flavour $U\left(1\right)\times U{\left(1\right)}^2$	twisted mass	$R-$charge
$B_1^i$	${\overline{\square }}_i\otimes {\square }_i$	${\mathrm{𝟙}}_{(1,0)}$	$-{ϵ}_1$	$q$
$B_2^i$	${\overline{\square }}_i\otimes {\square }_i$	${\mathrm{𝟙}}_{(0,1)}$	$-{ϵ}_2$	$q$
$I$	${\square }_0$	${\overline{\square }}_{(0,0)}$	$-a$	$q+p$
$J$	${\overline{\square }}_0$	${\square }_{(1,1)}$	$a-ϵ$	$q-p$
$F^i$	${\overline{\square }}_i\otimes {\square }_{i-1}$	${\mathrm{𝟙}}_{(0,0)}$	$0$	$0$
${\chi }^i$	${\overline{\square }}_i\otimes {\square }_i$	${\mathrm{𝟙}}_{(-1,-1)}$	$ϵ$	$-2q$
${\chi }_i^{B_1}$	${\square }_i\otimes {\overline{\square }}_{i-1}$	${\mathrm{𝟙}}_{(-1,0)}$	${ϵ}_1$	$-q$
${\chi }_i^{B_2}$	${\square }_i\otimes {\overline{\square }}_{i-1}$	${\mathrm{𝟙}}_{(0,-1)}$	${ϵ}_2$	$-q$
${\chi }_{JF}$	${\square }_1$	${\square }_{(1,1)}$	$ϵ-a$	$p-q$

Table 2. Table 2: Poles and zeros for { u j 0 } superscript subscript 𝑢 𝑗 0 \{u_{j}^{0}\} and { u j 1 } superscript subscript 𝑢 𝑗 1 \{u_{j}^{1}\} in ( 55 ).

Poles	Zeros
$u_j^0=a$	$u_j^0=\overline{a}$
$u_j^0=a-ϵ$	$u_j^0=\overline{a}-ϵ$
$u_{ij}^0={ϵ}_1$	$u_{ij}^0=0$
$u_{ij}^0={ϵ}_2$	$u_{ij}^0=-ϵ$
$u_j^1=u_i^0$	$u_j^1=u_i^0-{ϵ}_1$
$u_j^1=u_i^0-ϵ$	$u_j^1=u_i^0-{ϵ}_2$
$u_j^1=\overline{a}-ϵ$	$u_j^1=a-ϵ$
$u_{ij}^1={ϵ}_1$	$u_{ij}^1=0$
$u_{ij}^1={ϵ}_2$	$u_{ij}^1=-ϵ$

Table 3. Table 3: Hypermultiplet additional fields for quiver 11

	gauge $G$	flavour $U\left(1\right)\times U{\left(1\right)}^2$	twisted mass	$R-$charge
$B_3^i$	${\overline{\square }}_0\otimes {\square }_0$	${\mathrm{𝟙}}_{(0,0)}$	$m$	$-q+t$
$B_4^i$	${\overline{\square }}_0\otimes {\square }_0$	${\mathrm{𝟙}}_{(-1,-1)}$	$ϵ-m$	$-q-t$
$K_i$	${\overline{\square }}_0$	${\overline{\square }}_{(0,0)}$	$a-m$	$-p-t$
$L_i$	${\square }_0$	${\square }_{(1,1)}$	$-a+ϵ-m$	$p-t$
${\chi }_0^{\left(3\right),i}$	${\overline{\square }}_0\otimes {\square }_0$	${\mathrm{𝟙}}_{(0,1)}$	${ϵ}_1-m$	$-t$
${\chi }_0^{\left(4\right),i}$	${\overline{\square }}_0\otimes {\square }_0$	${\mathrm{𝟙}}_{(-1,0)}$	$m-{ϵ}_2$	$t$

Equations

$$X_5=\mathrm{tot}\left(V_S^3\right)$$

$$V_S^3={\mathcal{K}}_S\otimes {\det }^{-1}{V}_S^2\oplus V_S^2$$

$$X_5=\mathrm{tot}\left(T^{\ast }\mathcal{C}\right)\times T^2\times {\mathbb{C}}^2.$$

$$g_P=\underset{\ell =0}{\overset{s-1}{⨁}}{z}^{\ell }{1}_{{\gamma }_{\ell }}$$

$${\mathcal{A}}_P=g_P^{-1}d{g}_P=\left(\frac{dz}{z}\right)\underset{\ell =0}{\overset{s-1}{⨁}}\ell 1_{{\gamma }_{\ell }}=\left(\frac{d\tilde{z}}{\tilde{z}}\right)\underset{\ell =0}{\overset{s-1}{⨁}}\frac{\ell }{s}{1}_{{\gamma }_{\ell }},$$

$${\mathcal{F}}_P/(2\pi )=\sqrt{-1}\delta (\tilde{z})d\tilde{z}\wedge d\overline{\stackrel{~}{z}}\underset{\ell =0}{\overset{s-1}{⨁}}\left(\frac{\ell }{s}\right)1_{{\gamma }_{\ell }}$$

$$[B_1,B_2]+IJ=0,[B_3^i,B_4^j]=0$$

$$[B_1,B_3^i]=0,[B_1,B_4^i]=0,[B_2,B_3^i]=0,[B_2,B_4^i]=0$$

$$B_3^{i}I=0,J{B}_3^i=0,B_4^{i}I=0,J{B}_4^i=0$$

$$\mathbb{V}$$

$$\mathbb{W}$$

$${\mathbb{V}}_{\ell }={\mathbb{C}}^{{\gamma }_{\ell }},{\mathbb{W}}_{\ell }={\mathbb{C}}^{{\beta }_{\ell }}.$$

$$V_j$$

$$W_j$$

$$B_1^j,B_2^j\in \mathrm{End}{V}_j,F^j\in \mathrm{Hom}\left(V_j,V_{j+1}\right)$$

$$I^j\in \mathrm{Hom}\left(V_j,W_j\right)\mathrm{and}{J}^j\in \mathrm{Hom}\left(W_j,V_j\right)$$

$$[B_1^j,B_2^j]+I^j{J}^j=0,B_1^j{F}^j-F^j{B}_1^{j+1}=0B_2^j{F}^j-F^j{B}_2^{j+1}=0,J^j{F}^j=0.$$

$$\pi :{\mathcal{N}}_{r,\lambda ,n,\mu }\to {\mathcal{M}}_{r,n}$$

$$[B_1^0,B_2^0]+I^0{J}^0=0,[B_1^j,B_2^j]=0,j\ge 1$$

$$B_1^j{F}^j-F^j{B}_1^{j+1}=0B_2^j{F}^j-F^j{B}_2^{j+1}=0,J^0{F}^0=0.$$

$${\mathcal{V}}_g\equiv {\pi }^{\ast }\left({\left(T^{\ast }{\mathcal{M}}_{r,n}\right)}^{\oplus g}\otimes {\left(\det \mathcal{T}\right)}^{1-g}\right)$$

$${\mathcal{G}}_{\sigma }=\left\{\rho \in \mathrm{Hom}\left({\pi }_1\left(\mathcal{C}\backslash D\right),G{L}_n(\mathbb{C})\right)|\rho ({\gamma }_i)\in C_i\right\}//PG{L}_n(\mathbb{C})$$

$$d_{\sigma }=n^2(2g-2+k)-\sum _{i,j}{\left({\sigma }_j^i\right)}^2+2$$

$$\Omega (z,w)=\sum _{\sigma \in \mathcal{P}}{\mathcal{H}}_{\sigma }(z,w)\prod _{i=1}^k{\tilde{H}}_{\sigma }^i({\mathbf{x}}_i;z^2,w^2)$$

$${\mathcal{H}}_{\sigma }(z,w)=\prod _{s\in \sigma }\frac{(z^{2a(s)+1}-w^{2l(s)+1}{)}^{2g}}{(z^{2a(s)+2-w^{2l(s)}})(z^{2a(s)}-w^{2l(s)+2})}.$$

$$Z_{T^2}=\sum _n\sum _{\underline{\mu }\in \mathcal{P}(n{)}^k}(q^{\underline{\mu }}{)}^r{\mathrm{Ell}}^{\text{vir}}\left({\mathcal{N}}_{r,\underline{\lambda },n,\underline{\mu }},{\mathcal{V}}_g\right),$$

$${\mathrm{Ell}}^{\text{vir}}\left({\mathcal{N}}_{r,\underline{\lambda },n,\underline{\mu }},{\mathcal{V}}_g\right)=Ell(T^{\text{vir}}\mathcal{N})\mathrm{ch}\left({\mathcal{V}}_g\right)\cap {\left[{\mathcal{N}}_{r,\underline{\lambda },n,\underline{\mu }}\right]}^{\text{vir}}.$$

$$Z_{S^1}=\sum _n{q}^{nr}\mathrm{Ind}\left({\mathcal{M}}_{r,n},{\mathcal{L}}^{\otimes m}\right),$$

$$\mathrm{Ind}(M,E)=\mathrm{Ind}(/D)={\int }_M\hat{A}(TM)\wedge \mathrm{ch}E,$$

$$\mathrm{Ind}(\overline{\partial }{)}_{\mathcal{C}}={\int }_{\mathcal{C}}\mathrm{Td}(T\mathcal{C})=1-g,$$

$$Z_{S^1}=\sum _n\sum _{\mu \in \mathcal{P}(n)}(q^{\mu }{)}^r\mathrm{Ind}\left({\mathcal{N}}_{r,\lambda ,n,\mu },\mathrm{Det}(/D{)}^{\otimes (1-g)}\right),$$

$$\mathrm{Ind}\left({\mathcal{N}}_{r,\lambda ,n,\mu },\mathrm{Det}(/D{)}^{\otimes (1-g)}\right)=\hat{A}(T^{\text{vir}}\mathcal{N})\mathrm{ch}\left(\mathrm{Det}(/D{)}^{\otimes (1-g)}\right)\cap {\left[{\mathcal{N}}_{r,\lambda ,n,\mu }\right]}^{\text{vir}}.$$

$$\sum _{x\in \{FP\}}\frac{e^{-S(x)}}{\mathrm{Sdet}{T}_x}$$

Full text

1 Introduction and discussion

The study of defects can be used to characterise the behaviour of physical theories and the related mathematical structures. In this paper we are interested in surface defects in four-dimensional supersymmetric gauge theories, namely real codimension two submanifolds were a specific reduction of the gauge connection takes place. This kind of defects has been widely investigated in many contexts from various different perspectives. The study of the rôle of defects in the classification of the phases of gauge theories was pioneered by ’t Hooft thooft . Surface defects were introduced by Kronheimer and Mrowka KM1 ; KM2 in the study of Donaldson invariants, while their rôle in the context of Geometric Langlands correspondence was emphasized in Gukov:2006jk . The correspondence with two-dimensional conformal field theories AGT prompted a systematic analysis of surface defects and highlighted their relevance for quantum integrable systems Alday:2009fs ; Nekrasov:2017rqy and for the study of isomonodromic deformations and Painlevé equations Gamayun:2012ma ; Bonelli:2016qwg ; Bonelli:2019boe . In this paper we introduce and study surface defects supporting nested instantons with respect to the parabolic reduction of the gauge group at the defect. These defects are engineered from a D7/D3 brane system on a local compact complex surface $S$. The brane engineering naturally leads to a description of these defects and their effective supersymmetric field theories in terms of moduli spaces of representations of quivers in the category of vector spaces, the objects being the branes and morphisms the open strings suspended among them. Supersymmetric partition functions of these systems provide conjectural formulae for topological invariants of these moduli spaces, more precisely, since these are generically not smooth, for virtual invariants of them.

The brane system we consider is D7/D3 on a local four-fold embedded in the ten dimensional IIB superstring supersymmetric background, the D3 branes wrapping the non-contractible cycle $S$. The D3 branes effective theory is the topologically twisted Vafa-Witten (VW) theory Vafa:1994tf with two extra chiral multiplets in the fundamental describing the D7/D3 open string sector. The D7 branes gauge theory is related to (equivariant) Donaldson-Thomas theory Donaldson:1996kp on the fourfold. Actually, we consider these theories in a non-trivial $\Omega$-background corresponding to the equivariant parameters associated to rotations along the non-compact directions of the fourfold. This lead to a refinement of the above mentioned gauge theories. We focus on the case $S=T^{2}\times\mathcal{C}$, the last being a Riemann surface with punctures $\{p_{i}\}$. Surface operators of this four-dimensional gauge theory are real codimension two defects located at $T^{2}\times\{p_{i}\}$.

The effective theory describing the dynamics of such surface defects is obtained in the limit of small area of $\mathcal{C}$ and turns out to be a quiver gauged linear sigma model which flows in the infrared to a non-linear sigma model of maps from $T^{2}$ to the moduli space of nested instantons. This is a generalisation of the usual ADHM instanton moduli space, structured on the decomposition of the gauge connection at the surface defect. It is obtained from the usual ADHM instanton moduli space by implementing a suitable orbifold action which generates the fractional fluxes of the gauge field at the defect. The partition function of the D7/D3 effective theory computes the equivariant (virtual) elliptic genus of this moduli space in presence of matter content dictated by the topology of $\mathcal{C}$, which, for genus $g$ amounts to $g$-hypermultiplets in the adjoint representation. Their contribution is encoded in a bundle ${\mathcal{V}}_{g}$ over the moduli space of nested instantons. The general formula for the elliptic genus is (16) which, in the particular case $r=1$ and $k=1$, calculates the virtual elliptic genus of the bundle ${\mathcal{V}}_{g}$ over the nested Hilbert scheme of points on ${\mathbb{C}}^{2}$. The explicit combinatorial expression of (16) is given by (79) in terms of nested partitions.

We also study the circle reduction of this system, which leads to a T-dual D6/D2 quantum mechanics. In this case, we find that the generating function of the defects, obtained by summing over all possible decompositions of the connection at the puncture, or in other terms over all possible tails of the quiver, displays a very nice polynomial structure in the equivariant parameters.

The method we used to compute the partition function of the D-brane system is twofold. One, worked out in section 3.1, makes use of superlocalisation formulae Bruzzo:2002xf directly leading to a sum over fixed points with weights computed from the character of the torus action on the nested instanton moduli space. An alternative derivation is performed in section 3.2, where the $T^{2}$ partition function is evaluated via a higher dimensional contour integral à la Moore:1998et . This can be also prescribed via Jeffrey-Kirwan residue method Benini:2013nda ; Benini:2013xpa , as it was used in the study of D1/D7 BPS bound state counting on $\mathbb{C}^{3}$ in Benini:2018hjy . We remark that although the residue method is computationally more demanding, it has the advantage of allowing the study of wall-crossing among spaces with different stability conditions by changing the integration contour Bonelli:2013mma ; Ashok:2018zxp .

When one considers a single D7 brane, the nested instanton moduli space reduces to the nested Hilbert scheme of points on $\mathbb{C}^{2}$. Our brane construction provides a conjectural description of this space as the moduli space of representations of the quiver considered in Section 2.6. Moreover, in this case the summation over the tails of the quiver gives rise to polynomials related to the modified Macdonald polynomials, and the whole partition function is related to the generating function introduced in hausel2011 to describe the cohomology of character varieties. The analog result for the full $T^{2}$ partition function gives rise to special combinations of elliptic functions which can be regarded as an elliptic lift of these polynomials. We display few examples in equations (118),(121),(124). These formulae should encode the elliptic cohomology of character varieties and can be viewed as an elliptic virtual refinement of the generating function of hausel2011 . We remark that the D6/D2 quantum mechanical system and its relation with hausel2011 was studied in Chuang:2013wpa via a different approach based on topological string amplitudes on orbifold Calabi-Yau.

The relation with character varieties can be understood from the fact that Vafa-Witten theory on $S=T^{2}\times\mathcal{C}$ is known to reduce in the small $\mathcal{C}$ limit to a GLSM on $T^{2}$ with target space the Hitchin moduli space over $\mathcal{C}$ Bershadsky:1995vm . This in turn is homeomorphic Simpson to the character variety of $\mathcal{C}$, namely the moduli space of representations of the first fundamental group of $\mathcal{C}\backslash\{p_{i}\}$ into $GL_{n}(\mathbb{C})$ with fixed semi-simple conjugacy classes at the punctures.

There are some open questions to be discussed about the above construction. Actually, the 2d $(2,0)$ D3/D7 quiver gauge theory that we consider is anomalous, the D3/D7 open string modes breaking $(2,2)$ to $(2,0)$ and generating an R-symmetry anomaly. Indeed instantons in the D7 brane gauge theory are sourced from D3 branes. The mathematical counterpart is that Donaldson-Thomas (DT) theory on fourfolds has positive virtual dimension and requires the insertion of observables to produce the appropriate measure on the moduli space cao ; Cao:2017swr . To cure this, we introduce new fields with opposite representations with respect to the gauge group and global symmetries. These are sources of the insertion of suitable observables which compensate the R-symmetry anomaly. Actually, the extra fields we consider can be thought as arising from coupling of D3 branes to $\overline{\rm D7}$-branes. It was recently conjectured Sen-slides , that $\overline{\rm D7}$/D7 system undergoes tachyon condensation leaving behind D3-branes. This proposal is a generalisation of the known condensation Sen:1998sm of $\overline{\rm D5}$/D5 into D3s. Indeed in our calculations we find that, at special values of the equivariant parameters, the contribution of the D3/$\overline{\rm D7}$ and D3/D7 modes to the elliptic genus cancels out, in line with the above expectations. It would be extremely interesting to further analyse a possible application of our technique to the string field theoretic description of D-branes/anti D-branes annihilation.

The mathematical implication of all this is that DT theory on the local surface four-fold should reduce to VW theory on the complex surface $S$ itself, the corresponding partition function providing conjectural formulae for VW invariants on $S$ in presence of surface defects. We aim to further investigate this reduction in the future and to analyse the elliptic genus of the nested instanton moduli space and in particular of the nested Hilbert scheme of points on toric surfaces. This can be obtained via gluing the contributions of the local patches localising ; Bershtein:2015xfa ; Bershtein:2016mxz . Let underline that our computations concern a refined version of VW theory, a refinement being given by the mass $m$ of the adjoint hypermultiplet. Therefore, by studying the limit at $m\to\infty$, with appropriately rescaled gauge coupling, we reduce to pure twisted ${\mathcal{N}}=2$ gauge theory computing higher rank equivariant Donaldson invariants of $S$. Moreover, while in this paper we considered $S=T^{2}\times{\mathcal{C}}$, non trivial elliptic fibrations or other product geometries can be studied. In this way our approach could be used to generalise the results on Donaldson invariants of Marino:1998bm ; Lozano:1999us . The general modular properties of these generating functions are worth to be analysed Vafa:1994tf ; Manschot:2017xcr .

The surface defects considered in this paper are directly related to Hitchin system with regular singularities. It would be obviously interesting to consider the case of irregular singularities, in particular the ones related to Argyres-Douglas points of gauge theories Bonelli:2011aa ; Bonelli:2016qwg , and investigate their rôle and contribution to the above mentioned differential invariants Moore:2017cmm .

Moreover, the relation of our results to representation theory and quantum integrable systems should be explored, in particular investigating whether the cohomology of the nested instanton moduli space hosts representations of suitable infinite dimensional Lie algebrae, generalising the results of nakajima1994 ; Schiffmann2013 ; maulik-okounkov . Also the characterisation of the polynomials appearing in the quantum mechanical limit is to be worked out, by studying recurrence relations and/or difference equations they satisfy. This would possibly open a window on the relation with quantum integrable systems. For example, in Bonelli:2014iza ; Bonelli:2015kpa , the relation between D1/D5 systems on ${\mathbb{P}}^{1}$ and quantum Intermediate Long Wave hydrodynamics was studied, finding that the mirror of the associated GLSM provides the Bethe ansatz equations of the latter. Analogous relations between the mirror of the 2d comet-shaped quiver gauge theories and suitable integrable systems are worth to be explored. Finally, the F-theory uplift of our construction would help to study dualities of these defect gauge theories and to generalise them to other gauge groups.

The rest of the paper is structured in two main Sections. In the first one we provide the general brane set-up and a detailed derivation of the comet-shaped quiver from D-branes on orbifolds. We then discuss the reduction to quiver quantum mechanics and the relation to character varieties. In the second, we perform explicit computations of the relevant partition functions and the relation with modified Macdonald polynomials of the reduced quantum mechanical quiver theory.

Acknowledgments

We thank U. Bruzzo, M. Cirafici, E. Diaconescu, O. Foda, M.L. Frau, A. Lerda, C. Maccaferri, M. Manabe, M. Marino, F. Rodriguez-Villegas and R. Thomas for useful discussions. The work of G.B. is partially supported by INFN - ST&FI. The work of N.F. and A.T. is partially supported by INFN - GAST. The work of A.T. is supported by PRIN project "Geometria delle varietà algebriche". The work of G.B. is supported by the PRIN project "Non-perturbative Aspects Of Gauge Theories And Strings".

2 D-branes, geometry and quivers

2.1 Preliminaries

Let us start by discussing the geometric D-branes set-up.

We consider a Type IIB supersymmetric general background built as the total space of a rank three complex vector bundle $V^{3}_{S}$ on a complex surface $S$

[TABLE]

where supersymmetry requires the Calabi-Yau condition ${\rm det}V^{3}_{S}={\mathcal{K}}_{S}$, where ${\mathcal{K}}_{S}$ is the canonical bundle over $S$. To place a D3-D7 system in such a background, we assume that $V^{3}_{S}$ has the following reduced structure

[TABLE]

where the rank two bundle $V^{2}_{S}$ is otherwise unconstrained.

Let us therefore consider the theory of $N$ D3-branes wrapping the complex surface $S$ in the background of $r$ D7-branes along the local surface fourfold ${\rm tot}\left(V^{2}_{S}\right)$.

The low-energy dynamics of the $N$ D3-branes can be obtained as usual by dimensional reduction of the ${\mathcal{N}}=1$ $D=10$ supersymmetric Yang-Mills theory on $X_{5}$ down to their world-volume. This produces a topologically twisted version of the ${\mathcal{N}}=4$ $D=4$ theory on $S$ Bershadsky:1995qy whose boson content is given by the gauge connection ${\mathcal{A}}$, a section $\Phi_{\mathcal{L}}$ of the line bundle ${\mathcal{L}}={\mathcal{K}}_{S}\otimes{\rm det}^{-1}V^{2}_{S}$ and a doublet $\Phi_{V^{2}}$ which is a section of $V^{2}_{S}$, the latter describing the transverse motion of the D3-branes in the ambient $X_{5}$. All these fields are in the adjoint representation of the $U(N)$ gauge group. The above set-up reduces to the Vafa-Witten topologically twisted ${\mathcal{N}}=4$ $D=4$ on $S$ if the rank two vector bundle $V^{2}_{S}={\mathbb{C}}^{2}$ is trivial and therefore $X_{5}={\rm tot}\left({\mathcal{K}}_{S}\right)\oplus{\mathbb{C}}^{2}$. In this case, the above construction indeed gives the gauge connection ${\mathcal{A}}$ on $S$, a complex $(2,0)$-form $\Phi_{S}$ valued in the fiber of ${\mathcal{K}}_{S}$ describing the transverse D3-branes motion within the local surface $X_{3}={\rm tot}\left({\mathcal{K}}_{S}\right)$, while the motion along the remaining ${\mathbb{C}}^{2}$ transverse directions is described by two other complex scalars $B_{i}$, with $i=1,2$.

The effect of the additional $r$ background D7-branes on the D3-branes is kept into account by a further set of two complex scalars $I$ and $J$ in the bifundamental $N\times\bar{r}$ and $r\times\bar{N}$ of the gauge symmetry group $U(N)$ and flavour global $U(r)$ group. These are sections respectively of ${\mathcal{O}}_{S}$ and ${\rm det}V^{2}_{S}$ in general. This follows from the fact that these fields are in the positive chiral spinorial representation of the transverse $SO(4)$ and are therefore sections of ${\mathcal{S}}_{+}\sim\Lambda^{(even,0)}(V^{2}_{S})$, for $S$ a Kahler surface.

The continuous symmetries of this geometric set-up in the transverse directions to the D3-branes are the $\left({\mathbb{C}}^{*}\right)^{3}$-action on the ${\mathbb{C}}^{3}$ fiber of $V_{S}^{3}$ with respective weights $(\epsilon_{1},\epsilon_{2},m)$. These are the global symmetries of the gauge theory on $S$ which can be uses to define the relevant $\Omega$-background after turning on the relative background gauge fields. The parameter $m$ introduces a mass for the adjoint hypermultiplet of the four dimensional theory inducing the supersymmetry breaking from the ${\mathcal{N}}=4$ Vafa-Witten theory to its ${\mathcal{N}}=2^{*}$ refined version.

In the following, we will study the above general system in the case in which the complex surface is in the product form $S=T^{2}\times{\mathcal{C}}$, where ${\mathcal{C}}$ is a Riemann surface and $V^{2}_{S}$ is trivial. In this case, the canonical bundle over $S$ reduces to the holomorphic cotangent bundle over ${\mathcal{C}}$ and

[TABLE]

In order to introduce surface defects in the gauge theory, we’re going to generalise the above set-up to the case in which ${\mathcal{C}}$ is punctured at the points where the defects are located. More precisely, the parabolic reduction of the gauge bundle at the punctures is encoded in an orbibundle structure. The effective two dimensional field theory describing the dynamics of the defect is obtained from the above set-up in the chamber of small ${\mathcal{C}}$ volume leading to a quiver gauged linear sigma model describing the relevant open string modes. In the IR this reduces to a non-linear sigma model of maps from $T^{2}$ to the moduli space of representation of the quiver above.

2.2 D-branes on the orbicurve and defects

Let us now generalise the above setup to the case in which ${\mathcal{C}}$ is an orbicurve, that is a Riemann surface with elliptic singular points. This means that the local geometry at some marked points $\{P_{\alpha}\}$ of ${\mathcal{C}}$ is that of the ${\mathbb{Z}}_{s_{\alpha}}$ quotient of a disk $D$ acted by $z_{\alpha}\to\omega_{\alpha}z_{\alpha}$ with $\omega_{\alpha}^{s_{\alpha}}=1$.

Placing D-branes on an orbicurve consists in excising a regular cylinder out of the total space of the corresponding regular vector bundle and prescribing new local transition functions defining the lift of the discrete group action to the total space of the vector bundle. This operation extends the vector bundle to an orbibundle.

Let us therefore consider the geometry of the D-branes in the vicinity of a marked point $P$ of order $s$ with local coordinate $z$. The action on the D-brane Chan-Paton factors induces a modification of the gauge symmetry due to D-branes fractionalisation Douglas:1996sw . Let $\gamma_{\ell}$ be the number of D-branes in the $\ell^{th}$ sector, namely the one corresponding to the charge $\ell$ representation $z^{\ell}$ of ${\mathbb{Z}}_{s}$. This corresponds to prescribe the new transition function at the excised disk as

[TABLE]

and, correspondingly the local behaviour of the gauge connection as

[TABLE]

where $\tilde{z}=z^{s}$. This finally induces the local prescription on the curvature ${\mathcal{F}}=d{\mathcal{A}}$ as

[TABLE]

which implements the realisation of the real co-dimension two defect in the four-dimensional gauge theory. Let us remark that from the algebraic geometry viewpoint this corresponds to study sheaves on root stacks, which is a natural framework were fractional Chern classes appear Bruzzo:2009uc .

One can better describe the resulting gauge theory structure of the local D-brane configuration from the viewpoint of the geometry of the covering disk with local coordinate $\tilde{z}=z^{s}$.

This is the $s$-covering of the quotient disk, that is given by the collection of $s$ consecutive Riemann sheets. The $\gamma_{\ell}$ D-branes in the $\ell^{th}$ sector and their images span $\ell$ Riemann sheets. As a consequence the $\ell^{th}$ Riemann sheet is spanned by an overall number of $n_{\ell}=\sum_{\ell^{\prime}=\ell}^{s-1}\gamma_{\ell^{\prime}}$ D-branes. Let us notice that the outward of the quotient disk is joined to the rest of the Riemann surface by the first Riemann sheet which is consistently covered by all the $n_{0}=\sum_{\ell^{\prime}=0}^{s-1}\gamma_{\ell^{\prime}}=N$ D-branes.

2.3 Two dimensional quiver GLSM from the reduction to small ${\mathcal{C}}$ volume: bulk part

Let us consider now the reduction to small ${\mathcal{C}}$ volume of the system above. This leaves behind a gauge theory on the leftover $T^{2}$ world volume whose spectrum can be computed by harmonic analysis. We denote by $g$ the genus of ${\mathcal{C}}$.

Let us first discuss the reduction on a regular Riemann surface and then the more general situation in which ${\mathcal{C}}$ is an orbicurve.

The complex scalars $I$ and $J$ get simple dimensional reduction and stay scalars in the bifundamental, the gauge connection ${\mathcal{A}}$ on $S={\mathcal{C}}\times T^{2}$ leaves behind the gauge connection $A$ on $T^{2}$ and $g$ complex scalars in the adjoint, while other $g$ complex scalars in the adjoint arise from the reduction of the transverse field $\Phi_{S}$. These will be denoted as $B_{3}^{(i)}$ and $B_{4}^{(i)}$, where $i=1,\ldots,g$.

The other two complex scalar fields in the adjoint, namely $B_{1}$ and $B_{2}$, get simply dimensionally reduced.

This field content results in the quiver of figure 2.

The relations of this quiver can be read from the reduction of the F-term equations in the Appendix A (128) and (130) by expanding in harmonic modes along the curve $\mathcal{C}$. More explicitely, the $\Phi_{S}$ field and the component of the gauge connection $A_{\mathcal{C}}$ along $\mathcal{C}$ give rise to the $g$ hypers in the adjoint representation $(B_{3}^{(i)},B_{4}^{(i)})$, where $i=1,\ldots,g$, obeying the BPS equations

[TABLE]

The above equations are equivalent to $g$ commuting copies of the ADHM equations for gauge theory with one adjoint hypermultiplet Bruzzo:2002xf , as it can be shown by a simple squaring argument.

In the general $\Omega$-background the supersymmetry of the D3-brane system reduced on $T^{2}$ is $(2,2)$ while the combined D3/D7-brane system reduced on $T^{2}$ has $(0,2)$ supersymmetry due to the presence of the chiral fields $I$ and $J$ and the above field content, augmented by the relevant fermions, form the corresponding multiplets.

Let us underline that this theory itself suffers of a $U(1)_{R}$-symmetry anomaly due to its chiral unbalanced field content. This can be immediately understood from the fact that the D3-branes profile produces an instanton background in the D7-brane gauge theory inducing chiral symmetry breaking. From the mathematical viewpoint it is known that the Donaldson-Thomas theory on fourfolds has positive virtual dimension which implies that one has to introduce observables matching the dimension counting. We propose that the suitable set of observables is given by a compensating sector of opposite charges – given by $\bar{I}$, $\bar{J}$ and other fields associated to the $g$-hypers to be specified later – which cancels the anomaly. This sector may be interpreted as a background antiD7-brane system.

2.4 Two dimensional GLSM of the defect: the nested instanton quiver

When the curve ${\mathcal{C}}$ is extended to an orbicurve, at each orbifold point the gauge symmetry is reduced and further 2D degrees of freedom are present. These correspond to the open strings stretching between the twisted D-branes and, from the gauge theory viewpoint, to the degrees of freedom defining the codimension two defect prescribed by the singular behaviour of the gauge curvature at the orbifold points.

To obtain the effective low energy quiver description, we excise a disk around each puncture of ${\mathcal{C}}$ and discuss the the local behaviour of the D-branes system at the orbifold points computing the associated low energy quiver gauge theory. We then glue back the disks to the bulk Riemann surface obtaining the full description of the gauge theory with defects reduced to two dimensions by the small ${\mathcal{C}}$-volume limit. This procedure is pictorially described in figure 3.

The relevant open strings degrees of freedom can be inferred from the D-branes distribution as in the above figure 1. More precisely, see for example Fucito:2001ha ; Tanzini:2002gp , the Chan-Paton space of the D-brane system decomposes into irreducible representations $R_{\ell}$ of the local discrete group ${\mathbb{Z}}_{s}$ as

[TABLE]

where each of the D3 and D7 -brane charged sectors is denoted as

[TABLE]

As depicted in figure 1, the $\ell$-th Riemann sheet of the covering hosts a net number of $n_{j}\equiv\sum_{\ell=j}^{s-1}\gamma_{\ell}$ D3-branes and of $r_{j}\equiv\sum_{\ell=j}^{s-1}\beta_{\ell}$ D7-branes so that the open string degrees of freedom are represented as linear maps among the spaces

[TABLE]

Let us now discuss the corresponding quiver gauge theory. This consists of a $(0,2)$ quiver gauge theory on $T^{2}$ with gauge group $\otimes_{j=0,\ldots,s-1}U(n_{j})$, each node being coupled to two chiral multiplets in the adjoint $B_{1}^{j},B_{2}^{j}\in{\rm End}V_{j}$ and each pair of successive nodes by a chiral in the bifundamental $F^{j}\in{\rm Hom}\left(V_{j},V_{j+1}\right)$ for $j=0,\ldots,s-1$. The D3-D7 open strings modes are described by the linear maps $I^{j}\in{\rm Hom}\left(V_{j},W_{j}\right)$ and $J^{j}\in{\rm Hom}\left(W_{j},V_{j}\right)$. Summarizing, the local D3-D7 system is effectively described by

[TABLE]

As is shown in the Appendix A these fields obey the relations

[TABLE]

Therefore, the resulting quiver describing the local D3-D7 system at the defect is given in figure 4.

The moduli space $\mathcal{N}_{r,\lambda,n,\mu}$ of its representations describes nested instantons. Indeed the $n$ D3 branes realise an $n$-instanton profile for the $U(r)$ D7 gauge fields, preserving the flag structure at the puncture. The partitions $\lambda=(\lambda_{1}\geq\lambda_{2}\geq\ldots)$ of $r$ and $\mu=(\mu_{1}\geq\mu_{2}\geq\ldots)$ of $n$ describe respectively the decomposition of the D7 and D3 Chan-Paton vector spaces into representations of the $\mathbb{Z}_{s}$ group. More precisely, as shown in fig. 4, one gets the quiver of the flag manifold realised by the Chan Paton vector spaces of the D3 branes $V_{s-1}\subset V_{s-2}\subset\ldots\subset V_{0}$ with dimensions $n_{j}=n_{0}-\sum_{l=1}^{j}\mu_{l}$ framed by the D7 branes vector spaces with dimensions $r_{j}=r_{0}-\sum_{l=1}^{j}\lambda_{l}$. The heights of the columns of each partition is obtained from an ordering of the data of the dimensions vector spaces $\beta_{\ell}$ and $\gamma_{\ell}$ of (5). Indeed, these can be ordered by using Weyl symmetry of D3 and D7 branes gauge groups such that $\gamma_{0}\geq\gamma_{1}\geq\ldots\geq\gamma_{s-1}$ and $\beta_{0}\geq\beta_{1}\geq\ldots\geq\beta_{s-1}$.

The moduli space of nested instantons has a natural projection to the standard ADHM instanton moduli space $\mathcal{M}_{r,n}$

[TABLE]

which is realised by setting all the open string twisted sectors to be empty, namely by setting to zero all the fields $F^{j}\,,\,j=0,\ldots,s-1$ and $(I^{j},J^{j},B_{1}^{j},B_{2}^{j})$ for $j=1,\ldots,s-1$.

2.5 Relation to other quiver defect theories

Some comments are in order regarding the quiver theory of the defect we obtain in our construction with respect to other quiver defect theories. The quiver we study is derived from a Dp/Dp+4 system via an orbifold action which affects a transverse direction to both the brane types. In this respect, it is different from the chain-saw quiver describing affine Laumon spaces Kanno:2011fw , were the orbifold acts instead on the coordinates $B_{1},B_{2}$ describing the motion of Dp branes inside the Dp+4. This induces a different quiver with a different set of relations. A quiver which relates to the one in Kanno:2011fw can be obtained by considering a different specialization of the general geometric background for the D3/D7 system described in section 2.1. More precisely, one can consider $T^{2}\times X_{6}\times{\mathbb{C}}_{\epsilon_{1}}$, where $X_{6}={\rm tot}\left[{\mathcal{O}}(p)\oplus{\mathcal{O}}(-p+2g-2)\right]_{{\mathcal{C}}_{g,k}}$ is the total space of a sum of two line bundles of the compensating degree on the orbicurve. In such a geometry we can consider the D3-branes along $T^{2}\times{\mathcal{C}}_{g,k}$ and the D7 say along $T^{2}\times Y_{4}\times{\mathbb{C}}_{\epsilon_{1}}$, where $Y_{4}={\rm tot}\left[{\mathcal{O}}(p)\right]_{{\mathcal{C}}_{g,k}}$ and the fiber still hosts the torus action corresponding to the $\epsilon_{2}$-parameter of the Omega-background. For $p>0$ in the vicinity of the orbifold points the geometry in the fiber direction is sensitive to the orbifold group. As a consequence, the corresponding modes in the open string sectors get twisted and the quiver changes by loosing an adjoint multiplet per node which gets a bifundamental, as well as the flavoured fields $J_{i}$ will now point from the gauge node to the nearby framing node. The resulting local quiver at the defect is then the chain-saw quiver. Correspondingly, the comet shaped quiver would in this case display tails given by chain-saw quivers. This can be also obtained from a D1/D5 system with both D1 and D5 wrapping $\mathcal{C}_{g,k}$ via a double T-duality along transverse directions to both.

Since on the other hand both quivers are describing the parabolic reduction of the gauge connection on a surface defect, it is conceivable to expect that a relation can be found between the associated partition functions at least in some limit or suitable parametrisation. This could require non-trivial combinatorial identities on the partition functions themselves, similarly to what dicussed in Jeong:2018qpc concerning the relation between orbifold and vortex-like defects.

Moreover, when decoupling the D7 branes by setting $I^{j}=0,J^{j}=0$, the description of the D3 branes at the defect lead to the quiver of fig. 5 which describes a flag manifold with extra adjoint hypers at each node.

We notice that also the $TSU[N]$ quivers for defects studied Bruzzo:2010fk ; Bonelli:2011fq ; Bonelli:2011wx ; Zenkevich:2017ylb ; Cirafici:2018jor ; Foda:2019klg are based on flag manifold quivers but display a different field content. It should be possible to compare the two kind of defect gauge theories in suitable limits by finding an appropriate dictionary.

2.6 Nested Hilbert scheme of points

The nested instanton moduli space is expected to reduce for a single D7-brane $r=r_{0}=1$ to the moduli space of the nested Hilbert scheme of points on $\mathbb{C}^{2}$, ${\rm Hilb}^{n,\mu}(\mathbb{C}^{2})$. In this particular case the quiver described in the previous subsection reduces to the one of fig. 6 with relations

[TABLE]

The moduli space of representations of this quiver is expected to provide an explicit description of ${\rm Hilb}^{n,\mu}(\mathbb{C}^{2})$. This has been indeed proven for the particular case of two-step nested Hilbert scheme $n_{j}=0$ for $j\geq 2$ in flach_jardim , were it is also shown that this variety is smooth for $n_{1}=1$. Indeed it is known that for $n_{1}>1$ the two-step nested Hilbert scheme is singular. Moreover, nested Hilbert schemes with more than two steps are always singular, and a fortiori also the nested instanton moduli space. The D3/D7 partition functions we will evaluate via localisation will then compute virtual invariants of these moduli spaces, since a perfect obstruction theory for them is expected to exist.

2.7 Comet shaped quiver

Finally, the description of the D3/D7 system on the full geometry gives rise to the comet shaped quiver of fig. 7.

This is obtained by gluing the nested instanton moduli quivers describing the decompositions of the branes at the defects to the bulk quiver of figure 2. The number of tails in the comet quiver is equal to the number of punctures of the Riemann surface, while their length is related to the flag structure due to the parabolic reduction of the connection at each puncture. All in all, the effective theory describing the D3-D7 system on $T^{2}$ reduces to a GLSM with target space the total space of the bundle

[TABLE]

over the moduli space of nested instantons $\mathcal{N}_{r,\underline{\lambda},n,\underline{\mu}}$, where the collection of partitions $\underline{\lambda}=(\lambda^{1},\ldots,\lambda^{k})$ and $\underline{\mu}=(\mu^{1},\ldots,\mu^{k})$ describe the decomposition of D7 and D3 branes respectively under the cyclic groups $\mathbb{Z}_{s_{i}}\,,\,i=1,\ldots k$ acting at the punctures. The physical interpretation of the above bundle is the following: the first factor is simply the contribution of the $g$ hypermultplets in the adjoint representation of the bulk theory described in subsection 2.3. Regarding the second factor, let us remark that the couplings of the D3/D7 brane system turns on a background line bundle describing the determinant bundle of the Dirac zero modes in the instanton background. This is given by the determinant of the tautological bundle $\mathcal{T}$ over $\mathcal{M}_{r,n}$. The power $(1-g)$ is due to the multiplicity of fermionic zero-modes on the Riemann surface $\mathcal{C}$. In the limit of degeneration of the $T^{2}$ to a circle this leads to a Chern-Simons interaction term for the resulting D2/D6 system. This term is essential in the comparison with results on character varieties and will be discussed in detail in subsection 2.9, while in the next one we will briefly recall some basic definitions about character varieties that will be useful for the subsequent discussion.

2.8 Character varieties

Given a Riemann surface $\mathcal{C}$ of genus $g$ with $k$ punctures $D=\sum_{i=1}^{k}p_{i}$, one defines the $GL_{n}(\mathbb{C})$ character variety as the moduli space of representations of the first fundamental group of $\mathcal{C}\backslash D$ into $GL_{n}(\mathbb{C})$

[TABLE]

where $C_{1},\ldots,C_{k}\subset GL_{n}(\mathbb{C})$ are semisimple conjugacy classes of type $\sigma^{1},\ldots,\sigma^{k}$, namely the parts of the partition $\sigma^{i}$, $(\sigma^{i}_{1}\geq\sigma^{i}_{2}\geq\ldots)$, describe the multiplicities of the eigenvalues of any matrix in the conjugacy class $C_{i}$.

When non empty (13) is a smooth projective variety of dimension

[TABLE]

To describe the cohomology of (13), LHRV introduced the k- puntures, genus $g$ Cauchy function

[TABLE]

where $\mathcal{P}$ is the set of partitions, $\tilde{H}^{i}_{\sigma}({\bf x}_{i};z^{2},w^{2})$ are refined Macdonald polynomials and

[TABLE]

where $a(s),l(s)$ are respectively the arm and leg length of the $s$ box of the Young diagram $\sigma$ representing the partition. Eq.(14) turns out to be the generating function of the cohomology polynomials of $GL_{n}(\mathbb{C})$ character varieties, summed over $n$.

Let us now outline the connection with the brane construction described in the previous subsections. The dynamics of D3 branes on the local surface $S$ is refined Vafa-Witten theory. When $S=T^{2}\times\mathcal{C}$, this reduces in the limit of small area of $\mathcal{C}$ to a gauged linear sigma model from $T^{2}$ to Hitchin’s moduli space on $\mathcal{C}$ Bershadsky:1995vm . On the other hand, in Simpson it was proved that (13) is homeomorphic to the moduli space of Higgs bundles with parabolic reduction on the divisor $D=\sum_{i=1}^{k}p_{i}$. In presence of D7 branes, the non-perturbative effects on their dynamics are obtained by summing over the D3-branes partition functions. One then naturally obtains a generating function of the elliptic cohomology of $GL_{n}(\mathbb{C})$ character varieties. Summarising the $T^{2}$ partition function of the D3-D7 comet shaped quiver reads

[TABLE]

with $(\mathbb{q}^{\underline{\mu}})^{\mathbb{r}}=\prod_{i=1}^{k}\prod_{\alpha=0}^{s_{i}-1}\left(q_{i,\,\alpha}^{|\mu^{i}_{\alpha}|}\right)^{r^{i}_{\alpha}}$ and

[TABLE]

For a single D7 brane $\mathbb{r}=r_{0}=1$, the above formulae can be understood as an elliptic virtual generalisation of the generating function introduced by LHRV. Indeed, we will show in the following that in the limit of degeneration of $T^{2}$ to a circle, one obtains LHRV formulae, or more precisely a virtual refinement of them.

2.9 Reduction to quantum mechanics, Chern-Simons term and LHRV formulae

In this subsection we summarise the reduction of the D3/D7 system on $T^{2}$ to a quantum mechanical system in a T-dual picture. More precisely, if the two torus factorises as $T^{2}=S^{1}\times S^{1}$ and one of the two circles is taken to be very small, our D-brane system can be T-dualised along the small circle and reduced to a corresponding D2/D6 system on ${\mathcal{C}}\times S^{1}$. This corresponds to the quantum mechanics of the comet shaped quiver with a Chern-Simons coupling, given by a phase factor ${\text{e}}^{im\int CS(A,F)}={\text{e}}^{{\text{i}}m\int{\text{d}}x^{\mu}\mathcal{A}_{\mu}}$ so that the particle is coupled to an external vector potential. Let us briefly recall how this works in the standard ADHM case Tachikawa:2004ur in order to then generalise it to the nested instanton moduli space. The partition function is the equivariant index

[TABLE]

where $\mathcal{L}$ is the determinant line bundle $\mathcal{L}=\operatorname{Det}\not{D}$, whose fiber on the space of connections $\mathcal{A}/\mathcal{G}$ is $(\det\ker\not{D}_{A})^{*}\otimes(\det\ker\not{D}_{A}^{\dagger})$. By making use the ADHM construction for the moduli space of ASD connections, the $n-$dimensional vector space $V_{0}$ is actually the space of fermionic zero-modes. In order to compute the Chern-Simons level, we make use of the Atiyah-Singer index theorem for a vector bundle $E\to M$

[TABLE]

which gives the index of the Dirac operator twisted by $E$, ie $D:S\otimes E\to S\otimes E$, $S$ being the spin bundle over $M$. To compute the CS level in the case at hand one has to consider the geometric background $S^{1}\times T^{*}\mathcal{C}\times\mathbb{C}^{2}\times\mathbb{R}$. Because of the twisting of the supersymmetric theory along $\mathcal{C}$, the $\not{D}$ operator along $\mathcal{C}$ reduces to the $\overline{\partial}$ operator and the roof genus $\hat{A}(TM)$ to the Todd class. Thus, when we take the effective theory obtained by shrinking the size of $\mathcal{C}$, $\operatorname{Ind}(\overline{\partial})_{\mathcal{C}}$ gives the muliplicity of the fermionic zero modes, according to the decomposition $\Psi^{(0)}=\psi^{(0)}_{\mathcal{C}}\otimes\psi^{(0)}_{\mathbb{C}^{2}}$. The index theorem along $\mathcal{C}$ reads

[TABLE]

which determines the level of the Chern-Simons interaction to be $m=1-g$. Finally, the partition function is given by the following equivariant (virtual) index

[TABLE]

where we use the notation $\mathbb{q}^{\mu}=q_{0}^{n_{0}(\mu)}\cdots q_{s-1}^{n_{s-1}(\mu)}$ and

[TABLE]

In the quiver representation of the nested instanton moduli space, the $\not{D}$ operator on $\mathbb{C}^{2}$ appearing in the above equation is given by the pull-back of the tautological bundle $\mathcal{T}$ on the ADHM moduli space $\mathcal{M}_{r,n}$, so that its determinant line bundle coincides with the one of $\mathcal{T}$, which will be used in the equivariant localisation formulae.

In the following section 3 we will show that the above partition function, when computed for the particular case of the nested Hilbert scheme of points on $\mathbb{C}^{2}$, gives a virtual generalization of LHRV formulae and reduces precisely to them when the nested Hilbert scheme is smooth. Let us remark that the quantum mechanical system of the nested Hilbert scheme of points and its relation with LHRV formulae has been studied in Chuang:2013wpa via a different approach based on topological string amplitudes on orbifold Calabi-Yaus.

3 Partition functions

In this section we proceed to the evaluation of the partition function of the effective quiver gauge theories of the D3/D7-system discussed in the previous section in the limit of small volume of the wrapped curve ${\mathcal{C}}$. This is performed by making use of supersymmetric localisation which is a version of equivariant localisation formulae Pestun:2016zxk for super-manifolds which allows a generalisation to supersymmetric path integrals in quantum field theories. The only configurations contributing to the latter are the fixed loci of the supersymmetry transformations. When these are isolated points, the path integral reduces to a sum over them weighted by one-loop super-determinants of the tangent bundle $T$ at those points, that is

[TABLE]

where $\{FP\}$ is the set of fixed points, $S(x)$ is the value of the action at $x\in\{FP\}$ and $T_{x}=T|_{x}$ is the restriction of $T$ at $x$.

In the following we will implement the above computational scheme by calculating the above data for the relevant quiver gauge theories on $T^{2}$. We will first focus on the contribution of a single defect on the sphere encoding the parabolic reduction of the connection at a given point, which is described by a single legged quiver. Then, we will consider the case of higher genus Riemann surface and combine all the contributions in the comet-shaped quiver theory partition function.

3.1 Contribution of a single surface defect on the sphere

3.1.1 Field content and superpotential

The matter content of the GLSM we are interested in is the one summarized in table 1, where $G=U(n_{0})\times U(n_{1})\times\cdots\times U(n_{s-1})$ and $\Box_{i}$ denotes the Young diagram corresponding to the fundamental representation of $U(n_{i})$.

The relations satisfied by the quiver GLSM are enforced by the superpotential $\mathcal{W}$ in (24).

[TABLE]

Let us notice that, as we already pointed out, the locus cut out by $\mathcal{W}$ through the $D-$term equations is overdetermined. Thus we still have to introduce $s-1$ additional chiral fields $Q_{i},\ i=1,\dots,{s-1}$ taking care of the relations over the constraints. These additional fields will transform in the $\overline{\Box}_{i}\otimes\Box_{i-1}$ representation of $U(n_{i})\times U(n_{i-1})$. We will assign them $R-$charge $2q$ and they will be charged under the $U(1)^{2}$ flavour symmetry with charge $(1,1)$. The relations over the constraints induced by these chirals is

[TABLE]

when $i>1$, while

[TABLE]

covers the remaining case $i=1$.

The chiral supersymmetry transformations of the above fields are

[TABLE]

where $(A,\bar{A})$ is the connection on $T^{2}$ in holomorphic coordinates and $F_{A}$ its curvature two-form, $\epsilon_{l}$, $l=1,2$ are the equivariant weights of the $U(1)^{2}$ rotation group acting on $\mathbb{C}^{2}$ and $\epsilon=\epsilon_{1}+\epsilon_{2}$. Moreover $\phi^{i},\,i=0,\ldots,s-1$ are the zero modes of the $A$-connection implementing global $U(n_{i})$ gauge transformations of the $i^{th}$-node. The fixed points of the above supersymmetry transformation impose that the connection $(A,\bar{A})$ is flat. Then by a standard squaring argument one can show that the other fields must be constant so that the supersymmetry fixed locus reduces to the fixed locus of the $U(1)^{(r+2)}$-torus action on the nested instanton moduli space, where $U(1)^{r}$ is the Cartan torus of the $U(r)$ gauge group with equivariant parameters $a_{b},\,b=1,\ldots,r$.

3.1.2 Anomaly and observables

As we already discussed at the end of subsection 2.3, the $(0,2)$ D3/D7-branes theory displays a $U(1)_{R}$ anomaly whose compensation can be obtained via the insertion of suitable observables. To this end we introduce a sector of additional degrees of freedom $\bar{I}$ and $\bar{J}$ with opposite gauge global charges w.r.t. $I$ and $J$ which, once integrated out, produces the insertion of the observables. These will be properly taken into account in the following computations.

3.1.3 Fixed points

The characterization of the fixed locus of the torus action on the moduli space of nested instantons $\mathcal{N}(r,n_{0},\dots,n_{s-1})\simeq\mathcal{N}_{r,[r^{1}],n,\mu(n)}$ is most easily understood by describing it as the moduli space of (suitably defined) stable representations of the quiver in figure 8. In this setting we associate to the quiver 8 the vector spaces $W$ and $V_{i}$, in addition to the space

[TABLE]

of the morphisms of the quiver corresponding to the matter fields $B_{1,2}^{i}$, $F^{i}$, $I$ and $J$. In this language, the quiver in figure 8 would be represented graphically as the one in figure 9.

On $\mathbb{X}$ we have a natural action of $\mathcal{G}=GL(V_{0})\times\cdots\times GL(V_{s-1})$, which preserves the subscheme of those points satisfying the relations (11). Then, given a framed representation $(W,V_{0},\dots,V_{s-1},X)$, $X\in\mathbb{X}_{0}$ of the quiver 9, one can prove that there is a suitable definition of stability such that, in a particular chamber of the parameters at play, semi-stability is equivalent to stability (also as a GIT quotient), so that it makes sense to talk about the moduli space of stable framed representations of the quiver 9 without any further specification. This space will be denoted by $\mathcal{N}(r,n_{0},\dots,n_{s-1}):=\mathbb{X}_{0}/\!\!/_{\chi}\mathcal{G}$, for some suitable choice of an algebraic character $\chi$ of $\mathcal{G}$.

By means of this construction one can show that there is a sum decomposition $V_{0}=V_{i}\oplus\tilde{V}_{i}$ and $V_{i}=V_{i+1}\oplus\hat{V}_{i+1}$, such that $\tilde{V}_{i}=\hat{V}_{i}\oplus\tilde{V}_{i-1}$. This splitting also induces the following block matrix decomposition of the morphisms $B_{1,2}^{0}$, $I$ and $J$ in (36),

[TABLE]

such that $(W,\tilde{V}_{i},\tilde{B}_{1}^{i},\tilde{B}_{2}^{i},\tilde{I}^{i},\tilde{J}^{i})$ is a stable ADHM datum.

Once an equivariant action of a torus $T\curvearrowright\mathcal{N}(r,n_{0},\dots,n_{s-1})$ is introduced in the natural way suggested by the SUSY construction of the quiver (8), the previous observations makes it possible to characterize the $T-$fixed locus of $\mathcal{N}(r,n_{0},\dots,n_{s-1})$ in terms of those of some moduli spaces of stable ADHM data. This is all summarized in the following proposition

Proposition 1**.**

The $T-$fixed locus of $\mathcal{N}(r,n_{0},\dots,n_{s-1})$ is described by $s-$tuples of nested coloured partitions $\boldsymbol{\mu}_{1}\subseteq\cdots\subseteq\boldsymbol{\mu}_{s-1}\subseteq\boldsymbol{\mu}_{0}$, with $|\boldsymbol{\mu}_{0}|=n_{0}$ and $|\boldsymbol{\mu}_{i>0}|=n_{0}-n_{i}$.

Example 1**.**

As an example, consider the moduli space $\mathcal{N}(2,3,2,1)$. Its fixed point locus will be described by the following couples of nested partitions,

[TABLE]

where each term on the r.h.s. has to be interpreted as a couple of nested partitions, e.g.

[TABLE]

The notation we use for a partition $\mu\in\mathcal{P}$ is descriptive of its corresponding Young diagram in the following sense: $[\mu_{1}^{i_{1}}\cdots\mu_{j}^{i_{j}}\cdots]$ denotes the partition

[TABLE]

or, in other words, $i_{j}$ counts the number of rows of length $\mu_{j}$ stacked one over the other.

3.1.4 Character computation

The super determinant weighting the contribution of each fixed point can be computed from the character decomposition of the torus action on the (virtual) tangent space:

[TABLE]

where the first line accounts for the standard ADHM quiver $(B^{0}_{1},B^{0}_{2},I,J)$ and their constraints, the second line for the constraint $JF^{1}=0$ and the third line for the maps in the tail, their constraints and the relations among them.

By decomposing the vector spaces $V_{i}$ in terms of characters of the torus action $T\curvearrowright\mathcal{N}_{r,[r^{1}],n,\mu}$ we can then study the character decomposition of the virtual tangent space to the moduli space of nested instantons and obtain

[TABLE]

where the fixed point $Z$ is to be identified with a choice of a sequence of coloured nested partitions $\boldsymbol{\mu}_{1}\subseteq\boldsymbol{\mu}_{N-1}\subseteq\cdots\subseteq\boldsymbol{\mu}_{s-1}\subseteq\boldsymbol{\mu}_{0}$, as in proposition 1, $\tilde{Z}\leftrightarrow\boldsymbol{\mu}_{0}$ and the last term, namely $(s-1)(T_{1}T_{2})$, has been added in order to take into account the over-counting in the relations $[B_{1}^{i},B_{2}^{i}]=0$ due to the commutator being automatically traceless.

3.1.5 Determinants

Having the character decomposition of the virtual tangent space to the moduli space of nested instantons enables us to easily compute the $2d$ $\mathcal{N}=(0,2)$ partition functions of the low energy GLSM of subsection 2.4 in terms of the eigenvalues of the torus action, which we will do in the particular case of $r=1$ for the sake of simplicity. The partition function we want to compute on the sphere $\mathcal{C}_{0}=S^{2}$ with $1$ marked point will take the form

[TABLE]

with $|\mu_{i}\setminus\mu_{j}|=|\mu_{i}|-|\mu_{j}|$ denoting the number of boxes in the skew Young diagram $Y_{\mu_{i}\setminus\mu_{j}}$, while $Z^{\rm ell}_{(\mu_{0},\dots,\mu_{s-1})}$ is the contribution at a fixed instanton profile.

In particular, once we fix an instanton configuration by choosing a sequence of nested partitions $\mu_{1}\subseteq\cdots\subseteq\mu_{s-1}\subseteq\mu_{0}$ we can write the torus partition function as

[TABLE]

where

[TABLE]

and for any box $s$ in a Young diagram $Y_{\mu}$ we defined $\phi(s)$ to be the quantity (47)

[TABLE]

and

[TABLE]

with $a(s)$ and $l(s)$ being respectively the arm and leg length of $s$ in $Y_{\mu}$.

Notice that $\mathcal{N}_{\mu_{0}}^{\rm ell}$ is the elliptic analogue of the Nekrasov partition function, while $\overline{\mathcal{N}}_{\mu_{0}}^{\rm ell}$ is its $\overline{\mbox{ADHM}}$ analogue due to the $\overline{\rm D7}$ coupling. Moreover the contributions from the functions $\mathcal{T}^{\rm ell}_{\mu_{0},\mu_{1}}$, $\overline{\mathcal{T}}_{\mu_{0},\mu_{1}}^{\rm ell}$ and $\mathcal{W}_{\mu_{0},\dots,\mu_{s-1}}$ altogether encodes the contribution of the surface defect insertion. Finally, $\mathcal{L}^{\rm ell}_{\mu_{0}}$ encodes the CS-like term we discussed in section 2.7 and 2.9. This is interpreted as a CS-term contribution when the limit to QM is taken, and a $5d$ partition function on $\mathbb{R}^{4}\times S^{1}$ is retrieved. In any case, it comes from the coupling to a background connection on the determinant line bundle $\operatorname{Det}\not{D}$ encoding fermionic zero modes. This background connection is mirrored by the presence of $\xi$ in (41), which is intended to be later specialized to $\xi\to a$.

Because of the previous observations it is instructive to perform the summation over all the sequences of $s$ nested partitions in two steps. First we sum over all the smaller partitions $\mu_{1}\subseteq\cdots\subseteq\mu_{s-1}\subseteq\mu_{0}$ at fixed $\mu_{0}\in\mathcal{P}$. It will prove useful for what we will do later to define the rational function $P^{\rm ell}_{\mu_{0}}$ as in (49).

[TABLE]

Finally, by summing also over the $\mu_{0}$ partitions we can rewrite the full partition function as in (50),

[TABLE]

where we defined

[TABLE]

and $P^{\rm ell}_{\mu_{0}}$ are particular elliptic functions which can be regarded as an elliptic virtual uplift of modified Macdonald polynomials. The first few examples are listed in (118),(121),(124). As a useful remark, we want to point out that by taking the limit $q_{i>0}\to 0$ we can effectively switch off the tail of the quiver, since $P^{\rm ell}_{\mu_{0}}\xrightarrow{q_{i>0}\to 0}1$, and we recover the partition function on the sphere with one puncture of trivial holonomy, $\mathcal{Z}_{0}^{\rm ell}(S^{2};q_{0})$.

3.2 An alternative derivation: contour integral formulae

In this section we will be explicitly computing the partition functions of the low energy theory coming from the D3/D7 system described in subsection 2.4 by reducing the supersymmetric path integral to a contour integral via supersymmetric localization Benini:2013nda ; Benini:2013xpa .

The model we are interested in gives rise to a $2d$ $\mathcal{N}=(0,2)$ GLSM on $T^{2}$. The mechanism of supersymmetry breaking from the maximal amount to $\mathcal{N}=(0,2)$ in the reduction to the low energy theory leaves us with a matter content comprised of chiral fields corresponding to the morphisms in the representation theory of quiver 6 in the category of vector spaces, and Fermi fields implementing the Lagrange multipliers in the superpotential. Let us first study the partition function for the quiver GLSM of figure 8, having fixed the numerical type of the quiver to $(1,n_{0},\dots,n_{s-1})$. In this case the localization formula is given by

[TABLE]

where C is a real $N$-dimensional cycle in the moduli space of flat connections on $T^{2}$, $\mathsf{x}$ denotes the collection of the coordinates we are integrating over and

[TABLE]

with

[TABLE]

As was already pointed out in subsection 2.3, the coupling of the D3-branes to the D7-branes makes the theory anomalous. This chiral anomaly is encoded in the contributions dependent on the fields coupled to the framing, namely $I$ and $J$, which break a chiral half of the original $\mathcal{N}=(2,2)$ supersymmetry. From the point of view of the localization formula this is most easily made manifest by studying the transformation properties of the integrand under shifts along the generators of the torus. Let us the recall that the Jacobi $\theta_{1}(\tau|z)$ function is defined in terms of the exponentiated modular parameter $q={\text{e}}^{2\pi{\text{i}}\tau}$, $\Im\tau\geq 0$, and $y={\text{e}}^{2\pi{\text{i}}z}$ as

[TABLE]

where $\theta(\tau|z)=(y,p)_{\infty}(py^{-1},p)_{\infty}$ and $(a,q)_{\infty}=\prod_{k=0}^{\infty}(1-aq^{k})$ is the $q-$Pochhammer symbol. By this definition it is easy to see that the Jacobi function $\theta_{1}(\tau|z)$ is odd in $z$, i.e. $\theta_{1}(\tau|-z)=-\theta_{1}(\tau|z)$, and that it is quasi-periodic under shifts $z\to z+a+b\tau$, $a,b\in\mathbb{Z}$:

[TABLE]

The anomaly then comes from the fact the integrand is unbalanced in terms of the theta functions, exactly due to the presence of $I$ and $J$. The part of the $1-$loop determinant coming from adjoint and bifundamental fields does not contribute to the gauge anomaly, as it comes from an $\mathcal{N}=(2,2)$ multiplet. As we already explained in subsection 2.3, we take care of this anomaly by introducing extra Fermi fields $\overline{I}$ and $\overline{J}$, which we think can be interpreted as accounting for interactions with $\overline{\rm D7}-$branes. In this way we get that the $T^{2}$ partition function is corrected by the presence of the $\overline{\rm D7}$ as

[TABLE]

with

[TABLE]

Two observations are due here.

An appropriate choice of the $R-$charges of $\overline{I}$ and $\overline{J}$ makes it possible to overcome completely the anomaly issue in the integration variables and in the $U(1)_{R}$ fugacity. However, asking for the double periodicity of the integrand forces us also to impose a constraint on the twisted masses $a$ and $\overline{a}$, namely $a-\overline{a}\in\mathbb{Z}$. This condition is responsible for the fact that introducing the extra fields needed to cure the anomaly doesn’t change the fixed point structure of the localization computation. The procedure we adopted has one additional beneficial side-effect. In fact, even though the theory involving the $\overline{\rm D7}$ branes is different from the one we started with, however it is still an interesting quantity, as it should compute a generating functions for insertions of observables, as it was proposed in the D8/$\overline{\rm D8}$ case by Nekrasov in Nekrasov:2017cih . 2. 2.

As for the second remark, it is interesting to study the QM limit ($\tau\to{\text{i}}\infty$) of the partition function at hand. In fact when we shrink one $S^{1}$ in $T^{2}$ to a point, we can decouple the contribution of the $\overline{D7}$ branes by taking very large values of $\overline{a}$ and by then rescaling the relevant gauge coupling. By doing this we recover the $5d$ partition function one can independently compute on $\mathbb{R}^{4}\times S^{1}$, apart from an overall normalization factor. This will give us the equivariant Euler number of the nested Hilbert scheme of points on $\mathbb{C}^{2}$, possibly twisted by a power of the determinant line bundle of the Dirac $\not{D}$ operator.

Now, in order to explicitly compute the partition function we need to remember that the Jacobi $\theta_{1}(\tau|z)$ function does not have any pole, however it has simple zeros on the lattice $z\in\mathbb{Z}+\tau\mathbb{Z}$. Moreover it is simple to verify that $\theta(\tau|z)^{-1}$ has residue in $z=\alpha+\beta\tau$ given by the following formula

[TABLE]

In general a careful analysis of singularities would be needed in order to understand which poles are giving a non-vanishing contribution to the computation of the partition function on $T^{2}$. In our particular case the poles contributing to the residue computation will be classified in terms of nested partitions $\mu_{1}\subseteq\cdots\subseteq\mu_{s-1}\subseteq\mu_{0}$. In principle this result could be obtained via the systematic approach of Jeffrey-Kirwan. Here we follow an alternative procedure by giving a suitable imaginary part to the twisted masses (for example through the $R-$charges via a redefinition of the relevant parameters, as in Bonelli:2013rja ) and by closing the integration contour in the lower-half plane. In this particular setting we take care of redefining $a,\,\epsilon_{i}$ in such a way that $\Im a,\,\Im\epsilon_{i}<0$ and $\Im a>\Im\epsilon$. By the requirement on the Cartan parameters of the D7-branes, namely $a-\overline{a}\in\mathbb{Z}$, we also have $\Im\overline{a}=\Im a<0$. It is sufficient to study the pole structure of the first two integrations (namely $\{u_{j}^{0}\}$ and $\{u_{j}^{1}\}$) in (55), whose poles and zeros are schematically shown in table 2.

The integration over the $\{u_{j}^{0}\}$ is standard, as it is has the same pole structure of the standard Nekrasov partition function Bonelli:2013rja ; Nekrasov:2002qd , and the poles contributing to the residue computation will be described by partitions $\mu_{0}$. Each box in $\mu_{0}$ will then encode the position of a pole for the first $n_{0}$ integrations. As for the integrations over the $\{u_{j}^{1}\}$ variables we first point out that the 1-loop determinant due to the $\overline{\rm D7}-$brane, as $a-\overline{a}\in\mathbb{Z}$ and the corresponding pole falls out of the integration contour. In the same way also poles of the 1-loop determinant of $Q_{i}$ give a vanishing contributions, because of one out of two different reasons: either the singularity falls out of the integration contour or its contribution is annihilated by a zero coming from the determinants of $\chi_{1}^{B_{i}}$. Any pole that might fall outside the Young diagram associated to $\mu_{0}$ must also be excluded from the computations, because of the flag structure of the quiver in figure 8. These considerations leads us to the classification of poles of the $\{u_{j}^{1}\}$ integrations in terms of partitions as follows: by choosing the order of the integration to be $u_{1}^{1},u_{2}^{1},\dots,u_{n_{1}}^{1}$ poles are chosen by successively picking outer corners of $Y_{\mu_{0}}$ so that the complement in $Y_{\mu_{0}}$ is still a Young diagram corresponding to a partition $\mu_{1}$, with $|\mu_{1}|=n_{0}-n_{1}$. The procedure we just described is depicted in figure 10.

Any successive integration is done in the same way, and the poles contributing to the integration are classified by sequences of nested partitions, as we discussed in 3.1.3.

Boxes in the skew partitions $\mu_{0}\setminus\mu_{j}$ will denote positions for poles in the $j-$th integration, according to the following rule: a box of $Y_{\mu_{0}\setminus\mu_{k}}$ located at position $(i,j)$ inside $Y_{\mu_{0}}$ (this is required by the nesting phenomenon) corresponds to the coordinate $u_{l}^{(k)}=a+(i-1)\epsilon_{1}+(j-1)\epsilon_{2}$. One thing to be pointed out is that the assignment of a certain Young diagram configuration do in fact specify a particular pole only up to Weyl permutations of the coordinates: because of this we choose a particular ordering of the coordinates and neglect the counting factor $(n_{0}!\cdots n_{s-1}!)^{-1}$ in $\hat{\mathcal{Z}}$.

The partition function $Z_{T^{2}}^{D3/D7/\overline{D7}}$ will then take the following form

[TABLE]

with

[TABLE]

These formulae are to be compared with the contribution of a quiver with fixed numerical type to $\mathcal{Z}_{1}^{\rm ell}(S^{2};q_{0},\dots,q_{s-1})$, in particular the contribution at each fixed point will be the same as $Z_{(\mu_{0},\dots,\mu_{s-1})}^{\rm ell}$, which was defined in section 3.1.5, but in principle one could use the same technique in order to compute partition functions in the more general case of a genus $g$ Riemann surface $\mathcal{C}_{g}$.

3.3 General Riemann Surfaces

When we switch from the genus [math] case to a generic Riemann surface $\mathcal{C}_{g}$ with $1$ puncture, we are effectively turning on a matter bundle corresponding to the contribution of $g$ adjoint hypermultiplets, and the quiver in figure 8 describing the GLSM we are studying gets modified into quiver 11.

This GLSM encodes the ADHM construction of $\mathcal{N}_{r,[r^{1}],n,\mu}$ with additional $g$ hypermultiplets in the adjoint representation, all of them with twisted mass $m$, which reproduces an $\mathcal{N}=(0,2)^{*}$ theory.111Strictly speaking we are dealing with an $\mathcal{N}=(0,2)^{*}$ theory only in the case in which $\mathcal{C}$ is a $g=1$ Riemann surface. In the same spirit we might want to point out that the $5d$ partition function to which the elliptic index is reduced in the QM limit is not really computing the equivariant virtual $\chi_{y}-$genus of the vector bundle $\mathcal{V}_{g}$, but rather the equivariant virtual Euler characteristic of an antisymmetric power of $\mathcal{V}_{g}$. This also means that the torus partition function is not, strictly speaking, the (equivariant virtual) elliptic genus as it is defined in fantechi2010 , as it is instead an elliptic generalization of the virtual Euler characteristic. In the same spirit as in Bruzzo:2002xf , from the point of view of the matter fields this consists in introducing $2g$ adjoint chirals and $2g$ fundamental chirals, with appropriate relations dictated by the brane system. As it was the case for the theory without any adjoint hypermultiplet, each of the fundamentals we introduce makes the theory anomalous by breaking a chiral half of the supersymmetry, and this phenomenon can be cured by insertion of observables, encoded in $\overline{\rm D7}$ contributions. The additional field content to 1 is summarized in table 3,

while the ADHM relation on the $n_{0}$ node must be modified

[TABLE]

and the relations (64)-(67) must be enforced through $\chi_{0}^{(3,4),i}$, $K_{i}$ and $L_{i}$.

[TABLE]

The partition function for a general genus $g$ riemann surface $\mathcal{C}_{g}$ with one puncture will now read (we take the $r=1$ case for the sake of simplicity)

[TABLE]

with

[TABLE]

where we defined

[TABLE]

We remark that by setting $g=0$ we readily recover the function $Z_{(\mu_{0},\dots,\mu_{s-1})}^{\rm ell}$ which is needed in order to compute the partition function $\mathcal{Z}_{1}^{\rm ell}(S^{2};q_{0},\dots,q_{s-1})$.

In the same way as we did in section 3.1.5, we can compute the full partition function $\mathcal{Z}_{1}^{\rm ell}(\mathcal{C}_{g};q_{0},\dots,q_{s-1})$ by first summing over the nested partitions $\mu_{1}\subseteq\cdots\subseteq\mu_{s-1}$ and use the definition (49) of $P^{\rm ell}$ in order to get

[TABLE]

with the following definition of $\mathcal{Y}^{\rm ell}_{g,\mu_{0}}$

[TABLE]

Again we remark that $P_{\mu_{0}}^{\rm ell}\xrightarrow{q_{i>0}\to 0}1$ so that $\mathcal{Z}_{1}^{\rm ell}(\mathcal{C}_{g};q_{0},\dots,q_{s-1})\xrightarrow{q_{i>0}\to 0}\mathcal{Z}_{1}^{\rm ell}(\mathcal{C}_{g};q_{0})$.

3.3.1 Comet shaped quiver

Finally, we are interested in computing the partition function on a Riemann surface $\mathcal{C}_{g}$ with $k$ punctures of generic holonomy, whose low energy GLSM is in general described by the quiver in figure 12.

We will start from the case of $\mathcal{C}_{0}=S^{2}$, which will take the form (74)

[TABLE]

In this case the virtual tangent space to $\mathcal{N}_{r,[r^{1}],n,\mu}$ in (37) will be modified to be of the form (75).

[TABLE]

By a simple generalization of the computations leading to (38) it is possible to see that $\mathcal{Z}_{k}^{\rm ell}(S^{2};q_{0},\{q_{1}^{i},\dots,q_{s-1}^{i}\})$ takes a form similar to (50), as is shown in (76)

[TABLE]

with

[TABLE]

and the functions $\mathcal{T}_{\mu_{0},\mu_{1}^{i}}^{\rm ell}$, $\overline{\mathcal{T}}_{\mu_{0},\mu_{1}^{i}}^{\rm ell}$ and $\mathcal{W}_{\mu_{0},\dots,\mu_{s-1}^{i}}$ take the same form as in equations (41)-(46).

By a completely analogous procedure we can get that partition function of the low energy theory relative to a general Riemann surface of genus $g$, possibly $g=0$. By using the results of section 3.3, we easily see that

[TABLE]

By turning on the matter bundle described in section 3.3 on the moduli space of nested instantons $\mathcal{N}(r,n_{0},\{n_{1}^{i},\dots,n_{s-1}^{i}\})$, whose virtual tangent space is given in equation (75) as an element of the representation ring of the torus $R(T)$, the suspersymmetric localization theorem (or equivalently the equivariant one) gives us (79),

[TABLE]

where $P^{{\rm ell},i}_{\mu_{0}}$ is defined in (77) and $\mathcal{Y}_{g,\mu_{0}}^{\rm ell}$ is the same one as in equation (73).

A couple of final remarks are due here. First of all we notice that we can switch off any number of the contributions of the tails of the comet shaped quiver 12 by taking the limit to [math] of the respective instanton counting parameters. Then, given any $k^{\prime}<k$ we have that

[TABLE]

Moreover, we expect our partitions functions to be computing the equivariant elliptic cohomology of the moduli spaces of stable representations of quivers 8-12, as in Rimanyi:2019ubu .

3.4 Limit to supersymmetric quantum mechanics

We now want to study a particular dimensional reduction of the $2d$ $\mathcal{N}=(0,2)$ system we studied on $T^{2}$ in the previous subsections. By reducing on a circle we get the Witten index of an $\mathcal{N}=2$ SQM. This dimensional reduction can be obtained from the elliptic case we just studied by taking the limit ${\text{e}}^{2\pi{\text{i}}\tau}\to 0$. In this scaling limit we can use the fact that $\theta_{1}(\tau|z)\to 2q^{1/8}\sin(\pi z)$ as $q={\text{e}}^{2\pi{\text{i}}\tau}\to 0$. In the resulting theory on $S^{1}$ we can decouple the $\overline{\rm D7}$ branes by taking very large values of the Cartan parameter $\overline{a}$ and then rescaling the gauge coupling. As we already anticipated, we will see how the results we obtain by this procedure compute particular equivariant virtual invariants of the bundle $\mathcal{V}_{g}$ over the moduli space of nested instantons $\mathcal{N}_{r,[r^{1}],n,\mu}$, which is described by the stable representations of the quiver in figure 11. A bit of care is required in order to take the correct scaling limit, and in particular one has to require that $q\to 0$ while $\operatorname{vol}(T^{2})\to\beta=r_{S^{1}}$. Moreover, one should take into account that in the $S^{1}$ theory twisted masses are also rescaled by $\beta$, so that the result may be expressed in terms of $q_{1}={\text{e}}^{\beta\epsilon_{1}/2}$, $q_{2}={\text{e}}^{\beta\epsilon_{2}/2}$ and $y={\text{e}}^{-\beta m}$.

The geometric interpretation of the Witten index of the quiver gauge theories described in the previous section is the equivariant (virtual) Euler characteristic of a given bundle over the moduli space of nested instantons. Then, computing the Witten index geometrically amounts to studying the stable representations in the category of vector spaces of the quiver 4 under suitable stability conditions. This procedure has the advantage of letting us compute the weight decomposition of the virtual tangent space $T^{\rm vir}_{Z}\mathcal{N}_{r,[r^{1}],n,\mu}$ at the fixed points $Z$ in the representation ring of the torus. The way in which this is done is very briefly described in section 3.1.3. As it is shown in subsection 3.1.3, the fixed locus of the torus action consists only of isolated points, which are characterized in terms of $s-$tuples of nested colored partitions $\boldsymbol{\mu}_{1}\subseteq\cdots\boldsymbol{\mu}_{s-1}\subseteq\boldsymbol{\mu}_{0}$, such that $|\boldsymbol{\mu}_{0}|=n_{0}=n$, while $|\boldsymbol{\mu}_{j}|=n_{0}-n_{j}$.

Once the fixed point locus has been completely characterized and a weight decomposition of the virtual tangent space is at hand, one can in full generality define an $s-$parameter family of partition functions on $\mathcal{N}_{r,[r^{1}],n,\mu}$, with parameters $\mathbb{p}=(p_{0},p_{1},\dots,p_{s-1})\in\mathbb{Z}^{s}$. In terms of the quiver vector spaces $(W,V_{0},\dots,V_{s-1})$ one can introduce $(s+1)-$tautological bundles $\mathcal{W}$ and $\mathcal{V}_{i}$, $i=0,\dots,s-1$, with $\mathcal{W}=\mathcal{O}_{\mathcal{N}_{r,[r^{1}],n,\mu}}$. We can then define $\mathcal{L}_{i}=\det\mathcal{V}_{i}$, $\mathcal{L}_{\mathbb{p}}=\bigotimes_{i}\mathcal{L}_{i}^{\otimes p_{i}}$ and compute the virtual Euler characteristic of the bundle $S\otimes\mathcal{L}_{\mathbb{p}}$ over $\mathcal{N}_{r,[r^{1}],n,\mu}$, with $S$ an arbitrary irreducible representation of $T$. The generating function of the virtual Euler characteristics of the moduli space of nested instantons in (81) will then reproduce the QM partition function 21, when $\mathbb{p}=(1-g,0,\dots,0)$.222It is interesting to compare the role of this line bundle $\mathcal{L}$ to the way in which the Cern-Simons term was introduced in section 2.9. In particular it turns out that the vector space $V_{0}$ can be recognized to be the space of fermionic zero modes, Kim:2002qm ; Tachikawa:2004ur ; Nakajima:2003uh , so that the identification of $\mathcal{L}_{(1,0,\dots,0)}=\det\mathcal{V}_{0}$ with $\operatorname{Det}\not{D}$ is in fact quite natural.

[TABLE]

In the following we use the notation $\operatorname{ch}_{T}$ to denote the $T-$equivariant Chern character of a vector bundle, which has a very convenient representation in the representation ring $R(T)$. The usual Chern character is defined as follows: if $E$ is rank $r$ vector bundle over $X$, with Chern roots $x_{1},\dots,x_{r}$, then one defines

[TABLE]

which can be equivariantly extended to a ring homomorphism $\operatorname{ch}_{G}:K^{i}_{G}(X)\to H^{i}_{G}(\hat{X},\mathbb{C})$, where $\hat{X}=\{(x,g)\in X\times G|xg=x\}=\coprod_{g}X^{g}$ and $H^{i}_{G}(\hat{X},\mathbb{C})\simeq\left[\bigoplus_{g}H^{i}(X^{g},\mathbb{C})\right]^{G}$. The effect of $\operatorname{ch}_{G}$ can be concretely characterized as follows: if $E$ is a $G-$equivariant vector bundle on $X$, for each $x\in X^{g}$, we can compute the eigenvalues (supposed to be distinct) $\lambda_{1},\dots,\lambda_{r}$ of the $G-$action, and the corresponding eigenspaces $E_{x}^{1},\dots,E_{x}^{r}$, so that $E|_{X^{g}}$ can be represented as the direct sum of vector bundles

[TABLE]

Finally one defines $\operatorname{ch}_{g}(E)=\sum_{i}\lambda_{i}\operatorname{ch}(E^{i})$, so that

[TABLE]

The Chern character, and also the equivariant Chern character, satisfies some important properties which we will use extensively in the following:

[TABLE]

If we restrict to the case $\mathbb{p}=(p_{0},0,\dots,0)$, the fiber of $\mathcal{L}_{\mathbb{p}}$ at a fixed point $Z\leftrightarrow\boldsymbol{\mu}_{1}\subseteq\cdots\subseteq\boldsymbol{\mu}_{s-1}\subseteq\boldsymbol{\mu}_{0}$ will be given by (86),

[TABLE]

where $(T_{1},T_{2},T_{a_{1}},\dots,T_{a_{r}})$ denote the fundamental characters of $T\times\left(\mathbb{C}^{*}\right)^{r}\curvearrowright\mathcal{N}_{r,[r^{1}],n,\mu}$ and $M_{0}^{(a)}=\mu_{0,1}^{(a)\prime}$, $N_{0}^{(a)}=\mu_{0,1}^{(a)}$.

Then supersymmetric localization (equiv. equivariant localization) can be exploited in order to compute partition functions (equiv. virtual equivariant Euler characteristics). If we start from the case $g=0$ we get

[TABLE]

with $\Lambda_{t}(E)=\sum_{i\geq 0}t^{i}\Lambda^{i}E$ for any (equivariant) vector bundle $E$ on $\mathcal{N}_{r,[r^{1}],n,\mu}$, $\mathcal{L}_{\boldsymbol{\mu}_{0}}(q_{1},q_{2})$, $\mathcal{W}_{\boldsymbol{\mu}_{0},\dots,\boldsymbol{\mu}_{s-1}}(q_{1},q_{2})$ and $\mathcal{T}_{\boldsymbol{\mu}_{0},\boldsymbol{\mu}_{1}}(q_{1},q_{2})$ given by equations (88)-(90),

[TABLE]

with $\rho_{i}=\operatorname{ch}T_{a_{i}}$ and similarly $q_{i}=\operatorname{ch}T_{i}$.

The generalization to the case of a general Riemann surface $\mathcal{C}_{g}$ of genus $g$ is immediate, as it only amounts to computing the “virtual Hirzebruch $\chi_{y}-$genus” of the bundle $\pi^{*}\mathcal{V}_{g}\to\mathcal{N}_{r,[r^{1}],n,\mu}$. This is obviously the same as turning on a matter bundle relative to additional $g$ adjoint hypermultiplets, whose twisted mass $m$ is naturally identified with $y$ in the Hirzebruch genus by exponentiation.

[TABLE]

Surprisingly enough, explicit computations suggest that the partition function of each choice of numerical type for the nested instantons quiver should consists of a usual Nekrasov partition function multiplied by a polynomial in the torus characters. This observation is summarized in the following conjecture.

Conjecture 1**.**

The function $\sum_{\boldsymbol{\mu}_{i>0}}\mathcal{T}_{\boldsymbol{\mu}_{0},\boldsymbol{\mu}_{1}}(q_{1},q_{2})\mathcal{W}_{\boldsymbol{\mu}_{0},\dots,\boldsymbol{\mu}_{s-1}}(q_{1},q_{2})$ is a polynomial in $q=q_{1}^{-1}$ and $t=q_{2}^{-1}$ with rational coefficients in the $\{\rho_{i}\}_{1\leq i\leq r}$, while it is a polynomial with integer coefficients when $r=1$.

3.5 Comparison to LHRV formulae

The Nekrasov partition function on $\mathbb{R}^{4}\times S^{1}$ is known to have the following form

[TABLE]

where $E(s)=a_{\lambda\tilde{\lambda}}-\epsilon_{1}h(s)+\epsilon_{2}(v(s)+1)$, and given two Young diagrams $Y_{\lambda},Y_{\tilde{\lambda}}\in\mathbb{Y}_{k}$ the quantities $h(s)$ and $v(s)$ are defined to be $h(s)=\nu_{i_{\lambda}}-j_{\lambda}$ and $v(s)=\tilde{\nu}^{\prime}_{j_{\lambda}}-i_{\lambda}$. We will be interested in the specialization of the Nekrasov partition function to the case $N=1$, so that $h(s)$ and $v(s)$ will become respectively the arm length $a(s)$ and leg length $l(s)$ for the box $s$ in the Young tableaux classifying a given pole configuration. Now, following the conventions of HLRV , let $\mathbb{x}_{1}=\{x_{1,1},x_{1,2},\dots\}$ and $\mathbb{x}_{k}=\{x_{k,1},x_{k,2},\dots\}$ be $k$ infinite sets of variables and let moreover $\Lambda(\mathbb{x}_{1}),\dots,\Lambda(\mathbb{x}_{k})$ be the corresponding rings of symmetric functions. Given a partition $\lambda$, $\tilde{H}_{\lambda}(\mathbb{x};q,t)\in\Lambda(\mathbb{x})\otimes_{\mathbb{Z}}\mathbb{Q}[q,t]$ will denote the modified Macdonald symmetric function. The $k-$point genus $g$ Cauchy function $\Omega(z,w)$, with coefficients in $\mathbb{Q}[z,w]\otimes_{\mathbb{Z}}\Lambda(\mathbb{x}_{1},\dots,\mathbb{x}_{k})$, is defined as follows

[TABLE]

with

[TABLE]

The modified Macdonald polynomials $\tilde{H}_{\lambda}(\mathbb{x};q,t)$ are defined as

[TABLE]

where $s_{\lambda}(\mathbb{x})$ are the usual Schur functions, while $\tilde{K}_{\lambda\mu}(q,t)$ denotes the modified Kostka polynomials, which are expressed in terms of the usual Kostka polynomials as

[TABLE]

with $n(\mu)=\sum_{i=1}^{l(\mu)}\mu_{i}(i-1)$, and $K_{\lambda\mu}(q,t)$ can be interpreted as being a deformation of the Kostka coefficients $K_{\lambda\mu}$ appearing in the expansion of the Schur polynomials in terms of the monomial symmetric functions:

[TABLE]

The modified Macdonald polynomials by themselves can be viewed as a $q-$deformation of the standard Hall-Littlewood polynomials, and are related in a non trivial way to the Macdonald polynomials $P_{\mu}(\mathbb{x};q,t)$, which are eigenfunctions of the trigonometric Ruijsenaars-Schneider Hamiltonian Koroteev:2015dja ; Garsia4313 :

[TABLE]

where $X$ denotes the plethystic substitution $X=x_{1}+x_{2}+x_{3}+\cdots$, the square brackets are to be intended as a plethystic insertion and

[TABLE]

The modified Macdonald polynomials are also eigenfunctions of a linear operator $\Delta$, haiman2002 , which acts on a symmetric function $f$ as

[TABLE]

where $\Omega[X]=\sum_{n=0}^{\infty}h_{n}(X)$.

We will think to $\Omega(z,w)$ as being a function associated to a genus $g$ Riemann surface with $k$ punctures. Moreover, if we are give $\boldsymbol{\mu}=(\mu^{1},\dots,\mu^{k})\in\mathcal{P}^{k}$ we can define the following function

[TABLE]

where $h_{\boldsymbol{\mu}}=h_{\mu^{1}}(\mathbb{x}_{1})\cdots h_{\mu^{k}}(\mathbb{x}_{k})\in\Lambda(\mathbb{x}_{1},\dots,\mathbb{x}_{k})$ are the complete symmetric functions, and $\langle\cdot,\cdot\rangle$ is an extension of the Hall pairing. The interest in $\mathbb{H}_{\boldsymbol{\mu}}(z,w)$ lays in the fact that it encodes information both about $GL_{n}(\mathbb{C})$ character varieties $\mathcal{M}_{\boldsymbol{\mu}}$ of $k-$punctured genus $g$ Riemann surfaces with generic semisimple conjugacy classes of type $\boldsymbol{\mu}$ at the punctures and about comet-shaped quivers $\mathcal{Q}_{\boldsymbol{\mu}}$ with $g$ loops and $k$ tails of length defined by $\boldsymbol{\mu}$. It is in fact conjectured that through the knowledge of $\mathbb{H}_{\boldsymbol{\mu}}(z,w)$ we can get the mixed Hodge polynomial and the $E-$polynomial (and thus the Euler characteristic) of both these character varieties and quiver varieties.

If we now study the particular case of comet-shaped quivers with $k=1$, $l(\mu)=1$ and $g=1$, whose corresponding quiver is the Jordan quiver, we can specialize $\mathbb{x}=(T,0,\dots)$ for some variable $T$ and $\tilde{H}_{\lambda}(T,0,\dots;z,w)=T^{|\lambda|}$, so that

[TABLE]

If we now compare (102) to (92) in the case $N=1$, with $m=\epsilon/2$, we can immediately see how closely $\Omega(z,w)$ resembles to $\sum_{k}Z_{k,1}^{\mathbb{R}^{4}\times S^{1}}q^{k}$ as long as we make the identifications $z^{2}={\text{e}}^{\beta\epsilon_{1}}$, $w^{2}={\text{e}}^{\beta\epsilon_{2}}$ and $T=q$, $q$ being the instanton counting parameter.

If we next take $g$ to be arbitrary, but still take $k=1$ and $l(\mu)=1$ a generalization of our previous observations is straightforward. In fact, as we already pointed out in the previous sections, adding loops to the Jordan quiver has the net effect of introducing $2g+2$ matter fields $B_{1}$, $B_{2}$, $B_{3}^{(i)}$, $B_{4}^{(i)}$ (with $i=1,\dots,g$) transforming in the adjoint representation of the gauge group $U(k)$. The role played by each of the $B_{3}^{(i)}$, $B_{4}^{(i)}$ fields is analogous to the one of $B_{3}$ and $B_{4}$ in the ADHM linear sigma model with adjoint matter. Since all of these fields do not contribute with poles to the residue computation of the localization formula, if we choose their twisted masses and $R-$charges to be the same as the ones for $B_{3}$ and $B_{4}$ their net effect will be that of introducing a $g-$th power to the numerator of (92) (which really is the meaning of turning on a matter bundle for $g$ adjoint hypermultiplets twisted by their mass $m$).

Actually one needs to turn on a Chern-Simons coupling in order to exactly reproduce $\Omega(z,w)$ starting from a gauge theory. In fact we can rewrite (102) as

[TABLE]

and we can easily see that

[TABLE]

which, apart from a harmless overall normalization, is the contribution of a Chern-Simons interaction at level $1-g$, Tachikawa:2004ur . Thus we conclude that the partition function for the $5d$ $\mathcal{N}=1^{*}$ ADHM quiver theory with $g$ adjoint hypermultiplets and a Chern-Simons term at level $1-g$ reproduces the Cauchy function (104) when resummed over all the instanton sectors (see also Chuang:2012dv ).

[TABLE]

As it was shown in bruzzo2011 ; Chuang:2013wpa , one interesting thing to point out in equation (104) is that it computes a generating function for a geometric index. It is actually known that the moduli space of stable representations for the ADHM data (105) is isomorphic to the Hilbert scheme of $\dim(V)=n$ points in $\mathbb{C}^{2}$ when $\dim(W)=1$.

[TABLE]

Then $\Omega_{\lambda}(q_{1},q_{2})$ such that $\Omega(z,w)=\sum_{k}\Omega_{\lambda}(z^{2},w^{2})T^{|\lambda|}$ is computing the Hirzebruch $\chi_{y}-$genus of a vector bundle over $(\mathbb{C}^{2})^{[n]}$. In particular we have Chuang:2010ii ; Chuang:2013wpa

[TABLE]

where $\det\mathcal{T}$ denotes the determinant line bundle on $(\mathbb{C}^{2})^{[n]}$ and $y={\text{e}}^{-m}$.

It was proved in Chuang:2013wpa that a similar result holds true also for the genus $g$ Cauchy function relative to punctured Riemann surfaces with non-trivial holonomy around the punctures. In the case of a single puncture (assumed to be generic) of type $\mu$, the Cauchy function at fixed $|\lambda|=n$ computes the residual equivariant Hirzebruch genus of a vector bundle over a nested Hilbert scheme of $n$ points $\mathcal{N}_{1,[1^{1}],n,\boldsymbol{\mu}}$ on $\mathbb{C}^{2}$:

[TABLE]

where $\pi:\mathcal{N}_{1,[1^{1}],n,\boldsymbol{\mu}}\to(\mathbb{C}^{2})^{[n]}$ is the natural projection of the nested Hilbert scheme to the underlying Hilbert scheme of $n$ points on $\mathbb{C}^{2}$, and $\mathcal{V}_{g}=\left(T^{\vee}(\mathbb{C}^{2})^{[n]}\right)^{\oplus g}\otimes(\det\mathcal{T})^{1-g}$. Moreover the rhs of (107) can be computed in terms only of characters of vector bundles over $(\mathbb{C}^{2})^{[n]}=\operatorname{Hilb}^{n}(\mathbb{C}^{2})$ due to a result by Haiman, Chuang:2013wpa ; haiman , and we have that

[TABLE]

where $\mathcal{P}^{\gamma}$ is a vector bundle over $(\mathbb{C}^{2})^{[n]}$ whose fibers over closed points $[I]\in(\mathbb{C}^{2})^{[n]}$ are isomorphic to permutation representations of $\mathcal{S}_{n}$.

By virtue of what we showed in subsection 3.4, we expect our results to give a virtual refinement of the formulae found in Chuang:2013wpa ; HLRV . For the sake of simplicity, let us start from studying the case of a quiver consisting of only two gauge nodes and $r=1$, corresponding to a complex curve $\mathcal{C}$ of genus $g=0$. We already computed in subsection 3.4 the partition function relative to any generic quiver of the type shown in figure 4, with $(r_{0},r_{1},\dots,r_{s-1})=(r,0,\dots,0)$. We will then be computing the generating function

[TABLE]

where $\gamma(\mathbb{n})$ is the ordered sequence determined by $n_{i}$ determining the relevant quiver variety of numerical type $(1,\hat{n}_{0},\hat{n}_{1})$.

We will restrict our attention to $\mathbb{p}=(p_{0},0)$, in which case the restriction $\mathcal{L}_{Z}$ of $\mathcal{L}_{(p_{0},0)}$ to the fixed point under $T\curvearrowright\mathcal{N}_{1,[1^{1}],n,\gamma(\mathbb{n})}$ is

[TABLE]

The result obtained in subsection 3.4 by means of SUSY localization then specializes in this case to the form (111):

[TABLE]

with

[TABLE]

and

[TABLE]

where, as usual, $q_{1}=\operatorname{ch}_{T}T_{1}$ and $q_{2}=\operatorname{ch}_{T}T_{2}$.

In order to support our conjecture that the quiver we studied so far do indeed provide an ADHM-type construction for the nested Hilbert scheme of points on $\mathbb{C}^{2}$ we will show some relevant examples in the following. In the two-steps quiver case this is true by a result of flach_jardim , which moreover implies that the non-abelian quiver provides an ADHM description for the moduli space of framed torsion-free flags of sheaves on $\mathbb{P}^{2}$. A very brief review of the result of flach_jardim which are useful for what follows can be found in appendix C. Even in the two-steps case we can still compare the results coming from direct localization computations to the formulae in HLRV ; Chuang:2013wpa . In particular, since the nested Hilbert scheme of points is known to be non smooth except for the case $(n_{0},n_{1})=(n,1)$ or $(n_{0},n_{1})=(n,0)$, the polynomials we get multiplied by the Nekrasov partition function order by order are expected to reproduce the modified Macdonald polynomials $\tilde{H}_{\lambda}(\mathbb{x};q,t)$ when $n_{1}=1$. For the sake of ease of comparison, in what follows we will use the notation $\mathcal{N}(r,n_{0},\dots,n_{s-1})$, which is found in flach_jardim ; Chuang:2013wpa , instead of $\mathcal{N}_{r,[r^{1}],n,\mu}$.

Example 2**.**

If $\mathbb{n}=(n,0)$ we need to compute the partition function for $\mathcal{N}(1,n,0)$, and obviously the partition function reproduces the result in equation (104), for $g=0$.

Example 3**.**

Take $\mathbb{n}=(1,1)$, so that $\mathcal{F}(1,1,1)\simeq\mathcal{N}(1,2,1)\simeq\operatorname{Hilb}^{(1,2)}(\mathbb{C}^{2})$, flach_jardim . We have two different choices for the fixed points:

[TABLE]

and we have for the partition function

[TABLE]

with

[TABLE]

By putting together with the previous example, we have that

[TABLE]

We want to point out that the elliptic counterpart to the polynomials determined by $\tilde{\mathcal{W}}_{(\nu,\mu)}$ are the following

[TABLE]

which obviously reduce to the corresponding modified Macdonald polynomials coefficients when $\tau\to{\text{i}}\infty$.

Example 4**.**

Let’s now consider $\mathbb{n}$ to be such that $n_{0}+n_{1}=3$. The only quantity we need to compute is related to $\mathbb{n}=(2,1)$, which corresponds to $\mathcal{N}(1,3,1)$. We have the following possibilities for the fixed points:

[TABLE]

and

[TABLE]

As in the previous example, we can exhibit explicitly the elliptic counterparts to these modified Macdonald polynomials, which read:

[TABLE]

Example 5**.**

As a final example of a smooth nested Hilbert scheme of points we will take $\mathcal{N}(1,4,1)$, so that the fixed points will be

[TABLE]

by which we get

[TABLE]

which again reproduce modified Macdonald polynomials which can be found tabulated in the mathematical literature. Their elliptic counterpart is now given by:

[TABLE]

The following is the easiest example of a non smooth nested Hilbert scheme, namely $\mathcal{N}(1,4,2)$, and we can see how in this case our computation doesn’t reproduce the $\chi_{y}$ genus of Chuang:2013wpa , hence the formulae of HLRV , giving instead their virtual generalization.

Example 6**.**

Take $(n_{0},n_{1})=(4,2)$. The prescription for the fixed points gives us

[TABLE]

by which we get

[TABLE]

The polynomials above contain the coefficients for the modified Macdonald polynomials which in this case read

[TABLE]

As a final remark let us point out that, even though the GLSM partition function is naturally computing virtual invariants, as the moduli space $\mathcal{N}(r,n_{0},n_{1})$ is in general a singular quasi-projective variety, cheah , however one should be able to use equivariant localization to compute usual topological invariants also for singular varieties 2013arXiv1308.0787W ; 2013arXiv1308.0788W .

Appendix A Low energy theory for D3/D7

Let us here sketch a derivation of the low energy effective theory of the D3-D7 system at an orbifold point by studying the equations of motion reduced on $T^{2}\times{\mathcal{C}}$. This amounts to solve the BPS equations

[TABLE]

while we minimise the super potential

[TABLE]

Let us now focus in the vicinity of the orbifold point, where the local geometry of ${\mathcal{C}}$ is ${\mathbb{C}}/{\mathbb{Z}}_{s}$ and that of $T^{*}{\mathcal{C}}$ is the ALE quotient ${\mathbb{C}}^{2}/{\mathbb{Z}}_{s}$. There the Chan-Paton bundle of the open string modes decomposes in ${\mathbb{Z}}_{s}$-representations as already discussed in Section 2. (128) admit vortex solutions centered at the orbifold point, whose vorticity is fixed by the order of the cyclic group. On the vortex background, the gauge field along ${\mathbb{C}}/{\mathbb{Z}}_{s}$ becomes massive due to the Higgs mechanism and decouples from the low energy spectrum.

Unpacking the open strings moduli in the $V_{j}$ twisted sectors one gets the degrees of freedom in (8) and the relations (9). Let us now discuss how these arise. The modes $B_{1}^{j}$ and $B_{2}^{j}$ come from the ${\mathbb{Z}}_{s}$ representation of the $B_{1}$ and $B_{2}$ fields and analogously $I^{j}$ and $J^{j}$ from $I$ and $J$. The further degrees of freedom arise from $\Phi_{S}$, that is the one-form in the adjoint. Since these are describing open string modes in twisted directions under the ${\mathbb{Z}}_{s}$ group, the fields which arise from $\Phi_{S}$ are homomorphisms between nearby twisted sectors. Explicitly from the reduction of $\Phi_{S}$ one gets the bifundamental modes $F^{j}\in{\rm Hom}\left(V_{j},V_{j+1}\right)$.

The BPS vacua equations of this system therefore are obtained from the reduction to the constant modes of (128) and the minimization of the super potential

[TABLE]

Appendix B Flags of framed torsion-free sheaves on $\mathbb{P}^{2}$

As we already pointed out the QM partition function obtained as the trigonometric limit of our D3/D7 system computes virtual invariants of a certain $T-$equivariant bundle over the moduli space $\mathcal{N}(r,n_{0},\dots,n_{s-1})$ of stable representations of the quiver in figure 8. When the quiver is two-steps it is called in the mathematical literature the enhanced ADHM quiver and the moduli space of its stable representations of type $(r,n_{0},n_{1})$ has been identified in flach_jardim with the moduli space of flags of framed torsion-free sheaves on $\mathbb{P}^{2}$, $\mathcal{F}(r,n_{0}-n_{1},n_{1})$. These are defined as follows. Once a line $\ell_{\infty}\subset\mathbb{P}^{2}$ is fixed, a framed flag of sheaves consists of a triple $(E,F,\varphi)$, where $F$ is a rank$-r$ torsion free sheaf on $\mathbb{P}^{2}$, framed at $\ell_{\infty}$ via $\varphi:F_{\ell_{\infty}}\xrightarrow{\simeq}\mathcal{O}_{\ell_{\infty}}^{\oplus r}$, while $E$ is a subsheaf of $F$ such that the quotient $F/E$ is supported away from $\ell_{\infty}$. This triple is characterized by three numerical invariants: $r=\operatorname{rk}E=\operatorname{rk}F$, $n=c_{2}(F)$ and $l$ such that $c_{2}(E)=n+l$. The moduli space of flags of framed torsion-free sheaves on $\mathbb{P}^{2}$ is thus parametrized by these three numerical invariants, and it is denoted by $\mathcal{F}(r,n,l)$. Moreover, if $\mathcal{M}(r,n)$ denotes the moduli space of framed torsion-free sheaves on $\mathbb{P}^{2}$, $\mathcal{M}(r,n)\simeq\mathcal{M}_{r,n}$, one has that $\mathcal{F}(r,n,l)\hookrightarrow\mathcal{M}(r,n)\times\mathcal{M}(r,n+l)$ as an incidence variety.

These moduli spaces are of particular interest to us because of the following theorem 1.

Theorem 1** (von Flach-Jardim, flach_jardim ).**

The moduli space $\mathcal{N}(r,n_{0},n_{1})\simeq\mathcal{F}(r,n_{0}-n_{1},n_{1})$ of stable representations of the enhanced ADHM quiver is a quasi-projective variety equipped with a perfect obstruction theory. The following $T-$equivariant complex $\mathcal{C}(X)$

[TABLE]

with

[TABLE]

encodes the structure of the perfect obstruction theory for $\mathcal{N}(r,n_{0},n_{1})$. The infinitesimal deformation space and the obstruction space at any $X$ will be isomorphic to $H^{1}[\mathcal{C}(X)]$ and $H^{2}[\mathcal{C}(X)]$, respectively. $\mathcal{N}(r,n_{1},n_{2})$ is smooth iff $n_{1}=1$, cheah .

Moreover, it is shown in flach_jardim that there exists a surjective morphism

[TABLE]

mapping the enhanced ADHM data of type $(r,n_{0},n_{1})$ to the ADHM data of numerical type $(r,n_{0}-n_{1})$. This morphism is moreover compatible with the natural forgetting morphism $\eta:\mathcal{N}(r,n_{0},n_{1})\to\mathcal{M}(r,n_{0})$, so that we have two different maps sending the moduli space of stable representations of the enhanced ADHM quiver to the moduli space of stable representations of ADHM data. The situation is depicted by the following commutative diagram

which enables us to characterize $T-$fixed points of $\mathcal{N}(r,n_{0},n_{1})$ in terms of fixed points of $\mathcal{M}(r,n_{0})$ and $\mathcal{M}(r,n_{0}-n_{1})$. Consistently with what we found in the more general case of a quiver with an arbitrary number of nodes, the fixed point locus consists of isolated non-degenerate points which can be described be couples of nested partitions $\mathcal{P}(n_{0}-n_{1})\ni\mu\subseteq\nu\in\mathcal{P}(n_{0})$.

Appendix C Fixed points and virtual dimension

The characterization of the fixed points we described in section 3.1.3 makes it clear that the $T-$fixed locus in $\mathcal{N}_{r,[r^{1}],n,\mu}$ consists only of isolated non-degenerate points. Moreover through a simple computation it’s now very easy to compute the virtual dimension of $\mathcal{N}(r,n_{0},\dots,n_{s-1})$. Altogether these facts get summarized by the following proposition, which for the sake of simplicity we state in the simple case of the two-steps quiver.

Proposition 2**.**

The $T-$fixed locus of the moduli space of nested instantons $\mathcal{N}(r,n_{0},n_{1})$ consists only of isolated non-degenerate points, which are into $1-1$ correspondence with $r-$tuples of colored nested partitions. Moreover ${\rm vd}_{\mathcal{N}(r,n_{0},n_{1})}=2rn_{0}-rn_{1}+1$.

Proof.

A very brief sketch of how to prove the statement about the fixed points was previously given in section 3.1.3, so now we will only focus on computing the virtual dimension of $\mathcal{N}(r,n_{0},n_{1})$. Using the description provided by quiver 9 we see that the number of variables involved in the computation is $\#\textrm{var}=2n_{0}^{2}+2n_{1}^{2}+2n_{0}r+n_{0}n_{1}$, with $r=\dim W$. Moreover, the number of constraints we need to implement is $\#\textrm{constr}=n_{0}^{2}+n_{1}^{2}-1+n_{0}n_{1}+n_{1}r$, where we also took into account that the constraints are not independent. Finally we account for the fact that we take the GIT quotient by the action of $GL(n_{0})\times GL(n_{1})$, which contributes by $\#\textrm{symm}=n_{0}^{2}+n_{1}^{2}$. Then

[TABLE]

In order to directly compute the virtual dimension of the nested Hilbert scheme of points on $\mathbb{C}^{2}$, we use the character decomposition of $T_{Z}^{\rm vir}\mathcal{N}(1,n_{0},n_{1})$ at a generic fixed point under the torus action. Then

[TABLE]

which, in the case of a smooth nested Hilbert scheme of points, coincides with the computation of flach_jardim . A completely analogous computation can be carried out in the generic (non necessarily smooth) case, by using the character decomposition we computed for $T_{Z}^{\rm vir}\mathcal{N}(r,n_{0},n_{1})$, which in turn coincides with the representation of the virtual tangent space to the nested Hilbert scheme of points (when $r=1$) given in 2017arXiv170108899G . ∎