We prove that two projective symplectic resolutions of $\cit^{2n}/G$ are connected by Mukai flops in codimension 2 for a finite sub-group $G < \Sp(2n)$. It is also shown that two projective symplectic resolutions of $\cit^4/G$ are deformation equivalent.
For stratified Mukai flops of type $A_{n,k}, D_{2k+1}$ and $E_{6,I}$, it is shown the fiber product induces isomorphisms on Chow motives. In contrast to (standard) Mukai flops, the cup product is generally not preserved. For $A_{n, 2}$, $D_5$ and $E_{6, I}$ flops, quantum corrections are found through degeneration/deformation to ordinary flops.
We prove that two Springer maps over a nilpotent orbit closure with the same degree are connected by stratified Mukai flops and the latter is obtained by extremal contractions of a natural resolution of the nilpotent orbit closure.
This paper is a sequel to math.AG/0203287. A generalization of the Mukai flop has been studied by E. Markman. Here we call it a stratified Mukai flop. In this paper, we observe that, for a stratified Mukai flop: $X \to \bar{X} \leftarrow X^+$, the fiber product $X \times_{\bar{X}}X^+$ defines an isomorphism of Grothendieck groups $K(X) \to K(X^+)$, but, at the level of derived categories, the fiber product does not generally give an equivalence.
We construct a resolution of stratified Mukai flops of type A, D, E_{6, I} by successively blowing up smooth subvarieties. In the case of E_{6, I}, we construct a natural functor which induces an isomorphism between the Chow groups.
We study the intersection theory of complex Lagrangian subvarieties inside holomorphic symplectic manifolds. In particular, we study their behaviour under Mukai flops and give a rigorous proof of the Plücker type formula for Legendre dual subvarieties written down by the second author before. Then we apply the formula to study projective dual varieties in projective spaces.
Associated to a Mukai flop X ---> X' is on the one hand a sequence of equivalences D(X) -> D(X'), due to Kawamata and Namikawa, and on the other hand a sequence of autoequivalences of D(X), due to Huybrechts and Thomas. We work out a complete picture of the relationship between the two. We do the same for standard flops, relating Bondal and Orlov's derived equivalences to spherical twists, extending a well-known story for the Atiyah flop to higher dimensions.
In this note, we shall prove that two smooth projective varieties of dim 2n connected by a Mukai flop have equivalent bounded derived categories. More precisely, let $ϕ: X - - \to X^+$ be a Mukai flop with centers $Y \subset X$ and $Y^+ \subset X^+$. In our case, the natural fuctor $Φ: D(X) \to D(X^+)$ defined by the graph of $ϕ$ is not fully faithful. Instead, let $X \to {\bar X}$ and $X^+ \to {\bar X}$ be the birational contraction maps of the centers, and put ${\hat X} := X \times_{{\bar X} X^+$. Then ${\hat X}$ is a normal crossing variety with two irreducible components. This ${\hat X}$ d…
I give three descriptions of the Mukai flop of type $E\_{6,I}$, one in terms of Jordan algebras, one in terms of projective geometry over the octonions, and one in terms of O-blow-ups. Each description shows that it is very similar to certain flops of type $A$. The Mukai flop of type $E\_{6,II}$ is also described.
In this paper, we shall prove that any two (projective) symplectic resolutions of a nilpotent orbit closure in a classical simple Lie algebra are connected by a finite sequence of diagrams which are locally trivial families of Mukai flops of type A or of type D. A Mukai flop of type A is the same as a stratified Mukai flop in our previous paper "Mukai flops and derived categories II". On the other hand, a Mukai flop of type D comes from a nilpotent orbit in so(2k). Let G^+ and G^- be two connected components of the orthogonal Grassmannian G_{iso}(k,2k). Then the closure of this orbit has two S…
We study K-equivalent birational maps which are resolved by a single blowup. Examples of such maps include standard flops and twisted Mukai flops. We give a criterion for such maps to be a standard flop or a twisted Mukai flop. As an application, we classify all such birational maps up to dimension 5.
Suppose that two compact manifolds $X, X'$ are connected by a sequence of Mukai flops. In this paper, we construct a ring isomorphism between cohomology ring of $X$ and $X'$. Using the local mirror symmetry technique, we prove that the quantum corrected products on $X, X'$ are the ordinary intersection products. Furthermore, $X, X'$ have isomorphic Ruan cohomology. i.e. we proved the cohomological minimal model conjecture proposed by Ruan.
We apply the methods of C{ă}ld{ă}raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain four-fold and the derived category of twisted sheaves on its `mirror' partner. As corollaries, we show that the two spaces are connected by a one-parameter family of deformations through Lagrangian fibrations, and we extend the original Fourier-Mukai transform to degenerations of abelian surfaces.
This paper contains some applications of Fourier-Mukai techniques to the birational geometry of threefolds. In particular, we prove that birational Calabi-Yau threefolds have equivalent derived categories. To do this we show how flops arise naturally as moduli spaces of perverse coherent sheaves.
Using the techniques of Bayer--Macrì, we determine the walls in the movable cone of the Mukai system of rank two for a general K3 surface $S$ of genus two. We study the (essentially unique) birational map to $S^{[5]}$ and decompose it into a sequence of flops. We give an interpretation of the exceptional loci in terms of Brill--Noether loci.
A generalization of the Fourier-Mukai transform is proposed. The construction is based on analogy with the classical picture of representations of the Heisenberg group.
We study wall-crossing for the Beauville-Mukai system of rank three on a general genus two K3 surface. We show that such a system is related to the Hilbert scheme of ten points on the surface by a sequence of flops, whose exceptional loci can be described as Brill-Noether loci. We also obtain Brill-Noether type results for sheaves in the Beauville-Mukai system.
In this paper we shall study symplectic resolutions of a nilpotent orbit closure of a complex simple Lie algebra \g. We shall introduce an equivalence relation in the set of parabolic subgroups of $G$ in terms of marked Dynkin diagrams. We start with a nilpotent orbit closure which admits a Springer resolution with a parabolic subgroup $P_0$ of $G$. Then we prove that all symplectic resolution of the nilpotent closure are Springer resolutions with $P$ which are equivalent to $P_0$. Here all symplectic resolutions are connected by Mukai flops. We need three types of Mukai flops (types A, D and …
We study here the crepant resolution correspondence for the torus equivariant descendent Gromov-Witten theories of Hilb(C2) and Sym(C2).The descendent correspondence is obtained from our previous matching of the associated CohFTs by applying Givental's quantization formula to a specific symplectic transformation K. The first result of the paper is an explicit computation of K. Our main result then establishes a fundamental relationship between the Fourier-Mukai equivalence of the associated derived categories (by Bridgeland, King, and Reid) and the symplectic transformation K via Iritani's int…
We study the birational geometry of irreducible holomorphic symplectic varieties arising as varieties of lines of general cubic fourfolds containing a cubic scroll. We compute the ample and moving cones, and exhibit a birational automorphism of infinite order explaining the chamber decomposition of the moving cone.
We prove the conjecture that two projective symplectic resolutions for a symplectic variety $W$ are related by Mukai's elementary transformations over $W$ in codimension 2 in the following cases: (i). nilpotent orbit closures in a classical simple complex Lie algebra; (ii). some quotient symplectic varieties.
In this article, we construct a non-commutative crepant resolution (=NCCR) of a minimal nilpotent orbit closure $\overline{B(1)}$ of type A, and study relations between an NCCR and crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$. More precisely, we show that the NCCR is isomorphic to the path algebra of the double Beilinson quiver with certain relations and we reconstruct the crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$ as moduli spaces of representations of the quiver. We also study the Kawamata-Namikawa's derived equivalence between crepant resolutions $Y$ and $Y^+$ of $\ove…
In this paper we study moduli spaces of sheaves on an abelian or projective K3 surface. If $S$ is a K3, $v=2w$ is a Mukai vector on $S$, where $w$ is primitive and $w^{2}=2$, and $H$ is a $v-$generic polarization on $S$, then the moduli space $M_{v}$ of $H-$semistable sheaves on $S$ whose Mukai vector is $v$ admits a symplectic resolution $\widetilde{M}_{v}$. A particular case is the $10-$dimensional O'Grady example $\widetilde{M}_{10}$ of irreducible symplectic manifold. We show that $\widetilde{M}_{v}$ is an irreducible symplectic manifold which is deformation equivalent to $\widetilde{M}_{1…
Components of the Moduli space of sheaves on a K3 surface are parametrized by a lattice; the (algebraic) Mukai lattice. Isometries of the Mukai lattice often lift to symplectic birational isomorphisms of the collection of components. An example of such a birational isomorphism is the Abel-Jacobi map relating the Hilbert scheme of g points on a K3 of degree 2g-2 to an integrable system: the union of Jacobians of hyperplane sections (curves) of genus g. The main results are: 1) We construct a stratified version of a Mukai elementary transformation modeled after dual pairs of Springer resolutions…
This is a local version of math.AG/0506534. We shall deal with the deformation of a convex symplectic variety $X$ instead of a projective one. The usual deformation does not work well in the convex case. Instead, we regard $X$ as a Poisson scheme and study its Poisson deformation. One of the application is the following: Let $Y$ be an affine symplectic variety, and assume that $Y$ has two $Q$-factorial crepant terminalizations $X$ and $X'$. If $X$ is non-singular, then $X'$ is non-singular, too. Moreover, when $Y$ has a good $C^*$-action, $X$ and $X'$ have the same kind of singularities.
We interpret symplectic geometry as certain sheaf theory by constructing a sheaf of curved A_\infty algebras which in some sense plays the role of a "structure sheaf" for symplectic manifolds. An interesting feature of this "structure sheaf" is that the symplectic form itself is part of its curvature term. Using this interpretation homological mirror symmetry can be understood by well-known duality theories in mathematics: Koszul duality or Fourier- Mukai transform. In this paper we perform the above constructions over a small open subset inside the smooth locus of a Lagrangian torus fibration…
We study the mirror operation of the Atiyah flop in symplectic geometry. We formulate the operation for a symplectic manifold with a Lagrangian fibration. Furthermore we construct geometric stability conditions on the derived Fukaya category of the deformed conifold and study the action of the mirror Atiyah flop on these stability conditions.
We compute the symplectic reductions for the action of Sp_2n on several copies of C^2n and for all coregular representations of Sl_2. If it exists we give at least one symplectic resolution for each example. In the case Sl_2 acting on sl_2+C^2 we obtain an explicit description of Fu's and Namikawa's example of two non-equivalent symplectic resolutions connected by a Mukai flop.
In this paper, we study the symplectic geometry of singular conifolds of the finite group quotient $$ W_r=\{(x,y,z,t)|xy-z^{2r}+t^2=0 \}/μ_r(a,-a,1,0), r\geq 1, $$ which we call orbi-conifolds. The related orbifold symplectic conifold transition and orbifold symplectic flops are constructed. Let $X$ and $Y$ be two symplectic orbifolds connected by such a flop. We study orbifold Gromov-Witten invariants of exceptional classes on $X$ and $Y$ and show that they have isomorphic Ruan cohomologies. Hence, we verify a conjecture of Ruan.
We show that the graded Chow rings of two birational irreducible symplectic varieties are isomorphic. This lifts a result known for the cohomology algebras to the level of Chow rings, despite the non-injectivity the cycle class map. In the special case of general Mukai flops, we present an alternative approach based on explicit calculations.
In this paper, we consider moduli spaces of stable sheaves on abelian surfaces. Our main assumption is the primitivity of the associated Mukai vector. We construct many isomorphisms of muduli spaces induced by Fourier-Mukai functor. As an application, we show that deformation type of these spaces are determined by their dimension. We next show that the fiber of the albanese map is irreducible symplectic manifolds In particular, we describe the period by using Mukai lattice. We also discuss deformation type of moduli spaces of stable sheaves on K3 surfaces.
We prove that the weight-two Hodge structure of moduli spaces of torsion-free sheaves on a K3 surface is as described by Mukai (the rank is arbitrary but we assume the first Chern class is primitive). We prove the moduli space is an irreducible symplectic variety (by Mukai's work it was known to be symplectic). By work of Beauville, this implies that its $H^2$ has a canonical integral non-degenrate quadratic form; Mukai's recepee for $H^2$ includes a description of Beauville's quadratic form. As an application we compute higher-rank Donaldson polynomials of $K3$ surfaces.
We show that Mukai's classification of finite groups which may act symplectically on a complex K3 surface extends to positive characteristic $p$ under the assumptions that (i) the order of the group is coprime to $p$ and (ii) either the surface or its quotient is not birationally isomorphic to a supersingular K3 surface with Artin invariant 1. In the case without the assumption (ii) we classify all possible new groups which may appear. We prove that the assumption on the order of the group is always satisfied if $p > 11$ and if $p=2,3,5,11$ we give examples of K3 surfaces with finite symplecti…
Local symplectic contractions are resolutions of singularities which admit symplectic forms. Four dimensional symplectic contractions are (relative) Mori Dream Spaces. In particular, any two such resolutions of a given singularity are connected by a sequence of Mukai flops. We discuss the cone of movable divisors on such a resolution; its faces are determined by curves whose loci are divisors, we call them essential curves. The movable cone is divided into nef chambers which are related to different resolutions; this subdivision is determined by classes of 1-cycles. We also study schemes param…
We study how Gromov-Witten invariants of projective 3-folds transform under a standard flop and a small extremal transition in the algebro-geometric setting from the recent development of algebraic relative Gromov-Witten theory and its applications. This gives an algebro-geometric account of Witten's wall-crossing formula for correlation functions of the descendant nonlinear sigma model in adjacent geometric phases of a gauge linear sigma model and of the symplectic approach in an earlier work of An-Min Li and Yongbin Ruan on the same problem. A terse account from the stringy and the symplecti…
Three new examples of 4-dimensional irreducible symplectic V-manifolds are constructed. Two of them are relative compactified Prymians of a family of genus-3 curves with involution, and the third one is obtained from a Prymian by Mukai's flop. They have the same singularities as two of Fujiki's examples, namely, 28 isolated singular points analytically equivalent to the Veronese cone of degree 8, but a different Euler number. The family of curves used in this construction forms a linear system on a K3 surface with involution. The structure morphism of both Prymians to the base of the family is…
We shall prove that any small deformation of a Q-factorial projective symplectic variety with terminal singularities is locally rigid; in other words, it preserves the singularity. In particular, many singular symplectic moduli of semi-stable sheaves on K3 have no smoothings via deformations. As an application of the result, we also prove that the smootheness is preserved under a flop in our symplectic case. We conjecture that a projective symplectic variety has a smoothing by a flat deformation if and only if it has a crepant (symplectic) resolution. This conjecture would be true if the minim…
The moduli space M_2 of rank four semistable symplectic vector bundles over a curve X of genus two is an irreducible projective variety of dimension ten. Its Picard group is generated by the determinantal line bundle Ξ. The base locus of the linear system |Ξ| consists of precisely those bundles without theta divisors, that is, admitting nonzero maps from every line bundle of degree -1 = 1-g over X. We show that this base locus consists of six distinct points, which are in canonical bijection with the Weierstrass points of the curve. We relate our construction of these bundles to another of Ray…
The known counterexamples to the global Torelli theorem for higher-dimensional hyperkahler manifolds are provided by birational manifolds. We address the question whether two birational hyperkahler manifolds (i.e. irreducible symplectic) manifolds always define non-separated points in the moduli space of marked manifolds. An affirmative answer is given for the cases of Mukai's elementary transformations and birational correspondences which are isomorphic in codimension two. The techniques are applied to show that the moduli spaces of rank two sheaves on a K3 surface are deformation equivalent …
We say that an exact equivalence between the derived categories of two algebraic varieties is tilting-type if it is constructed by using tilting bundles. The aim of this article is to understand the behavior of tilting-type equivalences for crepant resolutions under deformations. As an application of the method that we establish in this article, we study the derived equivalence for stratified Mukai flops and stratified Atiyah flops in terms of tilting bundles.
Stratified flops show up in the birational geometry of symplectic varieties such as resolutions of nilpotent orbits and moduli spaces of sheaves. Constructing derived equivalences between varieties related by such flops is, strangely enough, related to areas in representation theory and knot homology. In this paper we discuss how to construct such equivalences, explain the main tool for doing this (categorical Lie algebra actions) and comment on various related topics.
For a finite subgroup G in SL(3,C), Bridgeland, King and Reid proved that the moduli space of G-clusters is a crepant resolution of the quotient C^3/G. This paper considers the moduli spaces M_θ, introduced by Kronheimer and further studied by Sardo Infirri, which coincide with G-Hilb for a particular choice of the GIT parameter θ. For G Abelian, we prove that every projective crepant resolution of C^3/G is isomorphic to M_θfor some parameter θ. The key step is the description of GIT chambers in terms of the K-theory of the moduli space via the appropriate Fourier--Mukai transform. We also unc…
We define relative Gromov-Witten invariants and establish a general gluing theory of pseudo-holomorphic curves for symplectic cutting and contact surgery. Then, we use our general gluing theory to study the change of GW-invariants of Calabi-Yau 3-folds tranform under flops and extremal transitions. We prove a complete formula for the change of GW-invariants of any genus transform under flop and a general type I extremal transition. Other extremal transition will be handled in a subsequent paper.
We provide a construction of 81 symplectic resolutions of a 4-dimensional quotient singularity obtained by an action of a group of order 32. The existence of such resolutions is known by a result of Bellamy and Schedler. Our explicit construction is obtained via GIT quotient of the spectrum of a ring graded in the Picard group generated by the divisors associated to the conjugacy classes of symplectic reflections of the group in question. As the result we infer the geometric structure of these resolutions and their flops. Moreover, we represent the group in question as a group of automorphisms…
Let M be the moduli space of semistable sheaves with Mukai vector 2v on an abelian or K3 surface where v is primitive such that <v,v>=2. We show that the blow-up of the reduced singular locus of M provides a symplectic resolution of singularities. This gives a direct description of O'Grady's resolutions of M\_{K3}(2,0,4) and M\_{Ab}(2,0,2).
We discuss the symplectic topology of the Stein manifolds obtained by plumbing two 3-dimensional spheres along a circle. These spaces are related, at a derived level and working in a characteristic determined by the specific geometry, to local threefolds which contain two floppable $(-1,-1)$-curves meeting at a point. Using contraction algebras we classify spherical objects on the B-side, and derive topological consequences including a complete description of the homology classes realised by graded exact Lagrangians.
Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M. (1) We prove that the integral transform F is faithful. F is not full if the dimension of M is greater than 2. (2) We exhibit the full subcategory of D(M), consisting of objects in the image of F, as the quotient of a category, explicitly constructed from D(X), by a natural congruence relation defined in terms of the Mukai vector v. (3) Let C be a component …
We study moduli spaces of sheaves over non-projective K3 surfaces. More precisely, if $v=(r,ξ,a)$ is a Mukai vector on a K3 surface $S$ with $r$ prime to $ξ$ and $ω$ is a "generic" Kähler class on $S$, we show that the moduli space $M$ of $μ_ω-$stable sheaves on $S$ with associated Mukai vector $v$ is an irreducible holomorphic symplectic manifold which is deformation equivalent to a Hilbert scheme of points on a K3 surface. If $M$ parametrizes only locally free sheaves, it is moreover hyperkähler. Finally, we show that there is an isometry between $v^{\perp}$ and $H^{2}(M,\mathbb{Z})$ and tha…
This is a continuation of math.AG/0408274, where we have described the relative movable cone for a Springer resolution of the closure of a nilpotent orbit in a complex simple Lie algebra. But, in general, the movable cone does not coincide with the whole space of numerical classes of divisors on the Springer resolution. The purpose of this paper is, to describe the remainder. We shall first construct a deformation of the nilpotent orbit closure in a canonical manner according to Brieskorn and Slodowy, and next describe all its crepant simultaneous resolutions. This construction enables us to d…
Given an Enriques surface $T$, its universal K3 cover $f: S\to T$, and a genus $g$ linear system $|C|$ on $T$, we construct the relative Prym variety $P_H=\Prym_{v, H}(\D/\CC)$, where $\CC\to |C|$ and $\D\to |f^*C|$ are the universal families, $v$ is the Mukai vector $(0,[D], 2-2g)$ and $H$ is a polarization on $S$. The relative Prym variety is a $(2g-2)$-dimensional possibly singular variety, whose smooth locus is endowed with a hyperkähler structure. This variety is constructed as the closure of the fixed locus of a symplectic birational involution defined on the moduli space $M_{v,H}(S)$. T…