arXiv subjects
Publications and source records attributed to Kota Yoshioka.
We prove a version of the Kawamata-Morrison ample cone conjecture for projective irreducible holomorphic symplectic manifolds deformation equivalent to either the Hilbert scheme of n points on a K3 surface, or a generalized Kummer variety.
Bridgeland stability condition is preserved under the Fourier-Mukai transform by its definition. We explain the relation with Gieseker stability. By studying the wall-crossing behavior, we reprove that the moduli spaces of stable sheaves on abelian surfaces are birationally equivalent, if the associated Mukai vectors are related by isometries of the Mukai lattice.
In this paper, we shall study the structure of walls for Bridgeland's stability conditions on abelian surfaces. In particular, we shall study the structure of walls for the moduli spaces of rank 1 complexes on an abelian surface with the Picard number 1.
We shall study some moduli spaces of Bridgeland's semi-stable objects on abelian surfaces and K3 surfaces with Picard number 1. Under some conditions, we show that the moduli spaces are isomorphic to the moduli spaces of Gieseker semi-stable sheaves. We also study the ample cone of the moduli spaces.
We study perverse coherent sheaves on the resolution of rational double points. As examples, we consider rational double points on 2-dimensional moduli spaces of stable sheaves on K3 and elliptic surfaces. Then we show that perverse coherent sheaves appears in the theory of Fourier-Mukai transforms. As an application, we generalize the Fourier-Mukai duality for K3 surfaces to our situation.
Strange duality is shown to hold over generic $K3$ surfaces in a large number of cases. The isomorphism for elliptic $K3$ surfaces is established first via Fourier-Mukai techniques. Applications to Brill-Noether theory for sheaves on $K3$s are also obtained. The appendix written by Kota Yoshioka discusses the behavior of the moduli spaces under change of polarization, as needed in the argument.
In earlier papers arXiv:0802.3120, arXiv:0806.0463 of this series we constructed a sequence of intermediate moduli spaces $\bM^m(c)$ connecting a moduli space $M(c)$ of stable torsion free sheaves on a nonsingular complex projective surface and $\bM(c)$ on its one point blow-up. They are moduli spaces of perverse coherent sheaves on the blow-up. In this paper we study how Donaldson-type invariants (integrals of cohomology classes given by universal sheaves) change from $\bM^m(c)$ to $\bM^{m+1}(c)$, and then from $M(c)$ to $\bM(c)$. As an application we prove that Nekrasov-type partition functions satisfy certain equations which determine invariants recursively in second Chern classes. They are generalization of the blow-up equation for the original Nekrasov deformed partition function for the pure N=2 SUSY gauge theory, found and used to derive the Seiberg-Witten curves in arXiv:math/0306198.
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.
This paper studies stable sheaves on abelian surfaces of Picard number one. Our main tools are semi-homogeneous sheaves and Fourier-Mukai transforms. We introduce the notion of semi-homogeneous presentation and investigate the behavior of stable sheaves under Fourier-Mukai transforms. As a consequence, an affirmative proof is given to the conjecture proposed by Mukai in the 1980s. This paper also includes an explicit description of the birational correspondence between the moduli spaces of stable sheaves and the Hilbert schemes.
This is the first of two papers studying moduli spaces of a certain class of coherent sheaves, which we call {\it stable perverse coherent sheaves}, on the blowup of a projective surface. They are used to relate usual moduli spaces of stable sheaves on a surface and its blowup. In this first part, we give a quiver (or ADHM) description of moduli spaces for framed perverse coherent sheaves on the blowup of the projective plane.
This is the second of series of papers studyig moduli spaces of a certain class of coherent sheaves, which we call stable perverse coherent sheaves, on the blow-up of a projective surface at a point. The followings are main results of this paper: a) We describe the wall-crossing between moduli spaces caused by twisting of the line bundle associated with the exceptional divisor. b) We give the formula for virtual Hodge numbers of moduli spaces of stable perverse coherent sheaves. Moreover we also give proofs of the followings which we observed in a special case in arXiv:0802.3120: c) The moduli space of stable perverse coherent sheaves is isomorphic to the usual moduli space of stable coherent sheaves on the original surface if the first Chern class is orthogonal to the exceptional divisor. d) The moduli space becomes isomorphic to the usual moduli space of stable coherent sheaves on the blow-up after twisting by sufficiently large negative power of the line bundle associated with the exceptional curve. Therefore usual moduli spaces of stable sheaves on the blow-up and the original surfaces are connected via wall-crossings.
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 function for the wallcrossing of these invariants in terms of elliptic functions and modular forms.
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 Kotschick-Morgan conjecture and it was also derived by physical arguments in hep-th/9709193.
We construct the moduli of twisted sheaves on a projective variety. Then we generalize known results on the moduli space of usual sheaves on a K3 surface to the twisted case. Thus we consider the non-emptyness, the deformation type and the Fourier-Mukai transformation. As an application of our results, Daniel Huybrechts and Paolo Stellari prove Caldararu's conjecture.
We show that the Fourier-Mukai transfortm on an abelian surface induces a birational map of the moduli space of stablke sheaves.
We construct an action of a Lie algebra on the homology groups of moduli spaces of stable sheaves on K3 surfaces under some technical conditions. This is a generalization of Nakajima's construction of sl_2-action on the homology groups. In particular, for an A,D,E-configulation of (-2)-curves, we shall give a collection of moduli spaces such that the associated Lie algebra acts on their homology groups.
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 logarithm of the partition function, are written explicitly in terms of the Seiberg-Witten curves in rank 2 case.
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.