We perform a study of the moduli space of framed torsion free sheaves on Hirzebruch surfaces by using localization techniques. After discussing general properties of this moduli space, we classify its fixed points under the appropriate toric action and compute its Poincare' polynomial. From the physical viewpoint, our results provide the partition function of N=4 Vafa-Witten theory on Hirzebruch surfaces, which is relevant in black hole entropy counting problems according to a conjecture due to Ooguri, Strominger and Vafa.
Hirzebruch surfaces provide an excellent example to underline the fact that in general symplectic manifolds, Gromov-Witten invariants might well count curves in the boundary components of the moduli space. We use this example to explain in detail that the counting argument given by Batyrev in "Quantum cohomology rings of toric manifolds" (Asterisque 218:9-34, 1993) does not work.
We survey some features of equivariant instanton partition functions of topological gauge theories on four and six dimensional toric Kahler varieties, and their geometric and algebraic counterparts in the enumerative problem of counting holomorphic curves. We discuss the relations of instanton counting to representations of affine Lie algebras in the four-dimensional case, and to Donaldson-Thomas theory for ideal sheaves on Calabi-Yau threefolds. For resolutions of toric singularities, an algebraic structure induced by a quiver determines the instanton moduli space through the McKay correspond…
We study the stationary descendant Gromov-Witten theory of toric surfaces by combining and extending a range of techniques - tropical curves, floor diagrams, and Fock spaces. A correspondence theorem is established between tropical curves and descendant invariants on toric surfaces using maximal toric degenerations. An intermediate degeneration is then shown to give rise to floor diagrams, giving a geometric interpretation of this well-known bookkeeping tool in tropical geometry. In the process, we extend floor diagram techniques to include descendants in arbitrary genus. These floor diagrams …
We perform a study of the moduli space of framed torsion-free sheaves on Hirzebruch surfaces by using localization techniques. We discuss some general properties of this moduli space by studying it in the framework of Huybrechts-Lehn theory of framed modules. We classify the fixed points under a toric action on the moduli space, and use this to compute the Poincare polynomial of the latter. This will imply that the moduli spaces we are considering are irreducible. We also consider fractional first Chern classes, which means that we are extending our computation to a stacky deformation of a Hir…
We give a mathematically rigorous proof of Nekrasov's conjecture: the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$ gives a deformation of the Seiberg-Witten prepotential for N=2 SUSY Yang-Mills theory. Through a study of moduli spaces on the blowup of $\mathbb R^4$, we derive a differential equation for the Nekrasov's partition function. It is a deformation of the equation for the Seiberg-Witten prepotential, found by Losev et al., and further studied by Gorsky et al.
In this expository paper we summarize the connection between random partitions and 4-dimensional supersymmetric gauge theories discovered in hep-th/0306238. There is also a brief section about how this extends to 3-dimensional partitions which is best read together with math-ph/0412008.
We give the general presciption for calculating the moduli of irreducible, stable SU(n) holomorphic vector bundles with positive spectral covers over elliptically fibered Calabi-Yau threefolds. Explicit results are presented for Hirzebruch base surfaces B=F_r. The transition moduli that are produced by chirality changing small instanton phase transitions are defined and specifically enumerated. The origin of these moduli, as the deformations of the spectral cover restricted to the ``lift'' of the horizontal curve of the M5-brane, is discussed. We present an alternative description of the trans…
There have been two distinct schemes studied in the literature for instanton counting in A_{p-1} asymptotically locally Euclidean (ALE) spaces. We point out that the two schemes---namely the counting of orbifolded instantons and instanton counting in the resolved space---lead in general to different results for partition functions. We illustrate this observation in the case of N=2 U(N) gauge theory with 2N flavors on the A_{p-1} ALE space. We propose simple relations between the instanton partition functions given by the two schemes and test them by explicit calculations.
We introduce the notion of the (instanton part of the) Seiberg-Witten prepotential for general Schrodinger operators with periodic potential. In the case when the operator in question is integrable we show how to compute the prepotential in terms of period integrals; this implies that in the integrable case our definition of the prepotential coincides with the one that has been extensively studied in both mathematical and physical literature. As an application we give a proof of Nekrasov's conjecture connecting certain "instanton counting" partition function for an arbitrary simple group G wit…
We show how to obtain the instanton partition function of N=2 SYM with exceptional gauge group EFG using blow-up recursion relations derived by Nakajima and Yoshioka. We compute the two instanton contribution and match it with the recent proposal for the superconformal index of rank 2 SCFTs with E6, E7 global symmetry.
We study the prepotential of N=2 gauge theories using the instanton counting techniques introduced by Nekrasov. For the SO theories without matter we find a closed expression for the full prepotential and its string theory gravitational corrections. For the more subtle case of Sp theories without matter we discuss general features and compute the prepotential up to instanton number three. We also briefly discuss SU theories with matter in the symmetric and antisymmetric representations. We check all our results against the predictions of the corresponding Seiberg-Witten geometries.
We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.
These notes have two parts. The first is a study of Nekrasov's deformed partition functions $Z(\ve_1,\ve_2,\vec{a};\q,\vecτ)$ of N=2 SUSY Yang-Mills theories, which are generating functions of the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$. The second is review of geometry of the Seiberg-Witten curves and the geometric engineering of the gauge theory, which are physical backgrounds of Nekrasov's partition functions. The first part is continuation of math.AG/0306198, where we identified the Seiberg-Witten prepotential with $Z(0,0,\vec{a};\q,0…
Noncommutative Donaldson-Thomas invariants for abelian orbifold singularities can be studied via the enumeration of instanton solutions in a six-dimensional noncommutative N=2 gauge theory; this construction is based on the generalized McKay correspondence and identifies the instanton counting with the counting of framed representations of a quiver which is naturally associated to the geometry of the singularity. We extend these constructions to compute BPS partition functions for higher-rank refined and motivic noncommutative Donaldson-Thomas invariants in the Coulomb branch in terms of gauge…
Motivated by Nekrasov's instanton counting, we discuss a method for calculating equivariant volumes of non-compact quotients in symplectic and hyper-Kähler geometry by means of the Jeffrey-Kirwan residue-formula of non-abelian localization. In order to overcome the non-compactness, we use varying symplectic cuts to reduce the problem to a compact setting, and study what happens in the limit that recovers the original problem. We implement this method for the ADHM construction of the moduli spaces of framed Yang-Mills instantons on $\R^{4}$ and rederive the formulas for the equivariant volumes …
The classical Severi degree counts the number of algebraic curves of fixed genus and class passing through some general points in a surface. In this paper we study Severi degrees as well as several types of Gromov-Witten invariants of the Hirzebruch surfaces $F_k$, and the relationship between these numbers. To each Hirzebruch surface $F_k$ we associate an operator $\mathsf{M}_{F_k} \in \mathcal{H}[\mathbb{P}^1]$ acting on the Fock space $\mathcal{F}[\mathbb{P}^1]$. Generating functions for each of the curve-counting theories we study here on $F_k$ can be expressed in terms of the exponential …
We study Nekrasov's deformed partition function of 5-dimensional supersymmetric Yang-Mills theory compactified on a circle. Mathematically it is the generating function of the characters of the coordinate rings of the moduli spaces of instantons on $\mathbb R^4$. We show that it satisfies a system of functional equations, called blowup equations, whose solution is unique. As applications, we prove (a) logarithm of the partition function times $ε_1ε_2$ is regular at $ε_1 = ε_2 = 0$, (a part of Nekrasov's conjecture), and (b) the genus 1 parts, which are first several Taylor coefficients of the …
We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This formula is derived from Mochizuki's formula, which makes sense and was proved when the 4-manifold is complex projective. Assuming our formula is true for a 4-manifold of simple type, we prove Witten's conjecture and sum rules for Seiberg-Witten invariants (superconformal simple type condition), conjectured by Mariño, Moore and Peradze.
In this paper we study the holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 semistable sheaves on an algebraic surface X, which can be viewed as $K$-theoretic versions of the Donaldson invariants. In particular, if X is a smooth projective toric surface, we determine these invariants and their wallcrossing in terms of the K-theoretic version of the Nekrasov partition function (called 5-dimensional supersymmetric Yang-Mills theory compactified on a circle in the physics literature). Using the results of math.AG/0606180 we give an explicit generating funct…
For a smooth projective toric surface we determine the Donaldson invariants and their wallcrossing in terms of the Nekrasov partition function. Using the solution of the Nekrasov conjecture math.AG/0306198, hep-th/0306238, math.AG/0409441 and its refinement math.AG/0311058, we apply this result to give a generating function for the wallcrossing of Donaldson invariants of good walls of simply connected projective surfaces with $b_+=1$ in terms of modular forms. This formula was proved earlier in alg-geom/9506018 more generally for simply connected 4-manifolds with $b_+=1$, assuming the Kotschic…
Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Université Claude Bernard Lyon 1, CNRS/IN2P3, IP2I Lyon, UMR 5822（里昂第一大学，CNRS/IN2P3，IP2I里昂）；Université Bourgogne Europe, CNRS, IMB UMR 5584（勃艮第欧洲大学，CNRS，IMB）
We review and elaborate on certain aspects of the connections between instanton counting in maximally supersymmetric gauge theories and the computation of enumerative invariants of smooth varieties. We study in detail three instances of gauge theories in six, four and two dimensions which naturally arise in the context of topological string theory on certain non-compact threefolds. We describe how the instanton counting in these gauge theories are related to the computation of the entropy of supersymmetric black holes, and how these results are related to wall-crossing properties of enumerativ…
For a semi-simple simply connected algebraic group G we introduce certain parabolic analogues of the Nekrasov partition function (introduced by Nekrasov and studied recently by Nekrasov-Okounkov and Nakajima-Yoshioka for G=SL(n)). These functions count (roughly speaking) principal G-bundles on the projective plane with a trivialization at infinity and with a parabolic structure at the horizontal line. When the above parabolic subgroup is a Borel subgroup we show that the corresponding partition function is basically equal to the Whittaker matrix coefficient in the universal Verma module over c…
Let $X$ be a smooth projective variety of dimension $n$ and let $H$ be an ample line bundle on $X$. Let $M_{X,H}(r;c_1, ..., c_{s})$ be the moduli space of $H$-stable vector bundles $E$ on $X$ of rank $r$ and Chern classes $c_i(E)=c_i$ for $i=1, ..., s:=min\{r,n\}$. We define the Brill-Noether filtration on $M_{X,H}(r;c_1, ..., c_{s})$ as $W_{H}^{k}(r;c_1,..., c_{s})= \{E \in M_{X,H}(r;c_1, ..., c_{s}) | h^0(X,E) \geq k \}$ and we realize $W_{H}^{k}(r;c_1,..., c_{s})$ as the $k$th determinantal variety of a morphism of vector bundles on $M_{X,H}(r;c_1, ..., c_{s})$, provided $H^i(E)=0$ for $i …
The moduli space of SL(2) flat connections on a punctured Riemann surface with the fixed conjugacy classes of the monodromies around the punctures is endowed with a system of holomorphic Darboux coordinates, in which the generating function of the variety of SL(2)-opers is identified with the universal part of the effective twisted superpotential of the corresponding four dimensional N=2 supersymmetric theory subject to the two-dimensional Omega-deformation. This allows to give a definition of the Yang-Yang functionals for the quantum Hitchin system in terms of the classical geometry of the mo…
