Unfortunately, some proofs in the first version of this paper were incorrect. In this revised version, some minor gaps are fixed, one serious mistake found. The main theorem is now claimed only under a restrictive technical assumption. This invalidates the application to quotient singularities by the Weyl group of type $G_2$. Everything else still stands (in particular, the claim that every symplectic resolution is semismall).
In this paper we analyse the birational geometry of O'Grady ten dimensional manifolds, giving a characterisation of Kaehler classes and lagrangian fibrations. Moreover, we study symplectic compactifications of intermediate jacobian fibrations of smooth cubic fourfolds.
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.
There is two group actions on the Fano scheme of lines such that the quotient becomes an irreducible symplectic manifold. We showed that both quotients are birational to the generalized Kummer variety or the 2-points Hilbert scheme of a K3 surface.
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.
We give a necessary and sufficient condition for an automorphism of the Hilbert scheme of points on a K3 surface (non necessarily algebraic) to be induced by an automorphism of the surface. We prove furthermore that the group of birational transformations of a projective irreducible holomorphic symplectic manifold is finitely generated.
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 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.
A symplectic manifold $(M,ω)$ is called {\em (symplectically) uniruled} if there is a nonzero genus zero GW invariant involving a point constraint. We prove that symplectic uniruledness is invariant under symplectic blow-up and blow-down. This theorem follows from a general Relative/Absolute correspondence for a symplectic manifold together with a symplectic submanifold. A direct consequence is that symplectic uniruledness is a symplectic birational invariant. Here we use Guillemin and Sternberg's notion of cobordism as the symplectic analogue of the birational equivalence.
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 classify the group of birational automorphisms of Hilbert schemes of points on algebraic K3 surfaces of Picard rank one. We study whether these automorphisms are symplectic or non-symplectic and if there exists a hyperkähler birational model on which they become biregular. We also present new geometrical constructions of these automorphisms.
This is a survey on symplectic birational geometry. In arbitrary dimension, this subject is centered around the notion of uniruledness. In low dimensions, we will also discuss Kodaira dimension and minimality.
Let $f\colon X\dashrightarrow X$ be a bimeromorphic transformation of a complex irreducible symplectic manifold $X$. Some important dynamical properties of $f$ are encoded by the induced linear automorphism $f^*$ of $H^2(X,\mathbb Z)$. Our main result is that a bimeromorphic transformation such that $f^*$ has at least one eigenvalue with modulus $>1$ doesn't admit any invariant fibration (in particular its generic orbit is Zariski-dense).
We study the group of symplectic birational transformations of the plane. It is proved that this group is generated by $\mathrm{SL}(2,\mathbb{Z})$, the torus and a special map of order $5$, as it was conjectured by A. Usnich. Then we consider a special subgroup $H$, of finite type, defined over any field which admits a surjective morphism to the Thompson group of piecewise linear automorphisms of $\mathbb{Z}^2$. We prove that the presentation for this group conjectured by Usnich is correct.
Following Bayer and Macrì, we study the birational geometry of singular moduli spaces $M$ of sheaves on a K3 surface $X$ which admit symplectic resolutions. More precisely, we use the Bayer-Macrì map from the space of Bridgeland stability conditions $\mathrm{Stab}(X)$ to the cone of movable divisors on $M$ to relate wall-crossing in $\mathrm{Stab}(X)$ to birational transformations of $M$. We give a complete classification of walls in $\mathrm{Stab}(X)$ and show that every birational model of $M$ obtained by performing a finite sequence of flops from $M$ appears as a moduli space of Bridgeland …
We investigate boundedness results for families of holomorphic symplectic varieties up to birational equivalence. We prove the analogue of Zarhin's trick by for $K3$ surfaces by constructing big line bundles of low degree on certain moduli spaces of stable sheaves, and proving birational versions of Matsusaka's big theorem for holomorphic symplectic varieties. As a consequence of these results, we give a new geometric proof of the Tate conjecture for $K3$ surfaces over finite fields of characteristic at least $5$, and a simple proof of the Tate conjecture for $K3$ surfaces with Picard number a…
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 survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.
We give a construction of completely integrable 4-dimensional Hamiltonian systems with cubic Hamilton functions. Applying to the corresponding pairs of commuting quadratic Hamiltonian vector fields the so called Kahan-Hirota-Kimura discretization scheme, we arrive at pairs of birational 4-dimensional maps. We show that these maps are symplectic with respect to a symplectic structure that is a perturbation of the standard symplectic structure on $\mathbb R^4$, and possess two independent integrals of motion, which are perturbations of the original Hamilton functions. Thus, these maps are comple…
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…
Let π: Y -> X be a crepant projective resolution of an affine symplectic variety X with a good C^*-action. We interpret the second cohomology H^2(Y, C) in two ways. First, H^2(Y, C) is the Picard group of Y tensorised with C. By the ample cones of different crepant resolutions of X, there is a natural chamber structure in H^2(Y, C). The second interpretation of H^2(Y, C) is the base space of the universal Poisson deformation $\mathcal Y$ of Y. Let D \subset H^2(Y, C) be the locus where the corresponding Poisson varieties are not affine. Then D is the union of finite number of hyperplanes, whic…
We prove that the bimeromorphic class of a hyperkähler manifold deformation equivalent to O'Grady's six dimensional one is determined by the Hodge structure of its Beauville-Bogomolov lattice by showing that the monodromy group is maximal. As applications, we give the structure for the Kähler and the birational Kähler cones in this deformation class and we prove that the existence of a square zero divisor implies the existence a rational lagrangian fibration with fixed fibre types.
We construct a finite dimensional Kaehler manifold with a holomorphic, symplectic circle action whose symplectic reduced spaces may be identified with the tau-vortex moduli spaces (or tau-stable pairs). The Morse theory of the circle action induces natural birational maps between the reduced spaces for different values of tau which in the case of rank two bundles can be canonically resolved in a sequence of blow-ups and blow-downs.
The notion of a holomorphically symplectic manifold can be generalized to the singular one. This paper studies the birational contraction maps between symplectic varieties, and then describes the deformation of a symplectic variety which has a symplectic resolution. Some examples are also included.
We give a construction of completely integrable ($2n$)-dimensional Hamiltonian systems with symplectic brackets of the Lie-Poisson type (linear in coordinates) and with quadratic Hamilton functions. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational ($2n$)-dimensional map. We show that this map is symplectic with respect to a symplectic structure that is a perturbation of the original symplectic structure on $\mathbb R^{2n}$, and possesses $n$ independent integrals of motion, which are perturbations of the original Hamilton functions …
We show that any two birational projective Calabi-Yau manifolds have isomorphic small quantum cohomology algebras after a certain change of Novikov rings. The key tool used is a version of an algebra called symplectic cohomology, which is constructed using Hamiltonian Floer cohomology. Morally, the idea of the proof is to show that both small quantum products are identical deformations of symplectic cohomology of some common open affine subspace. Part of the proof uses the fact that subvarieties of positive codimension are stably displaceable.
We give a construction of completely integrable $(2m)$-dimensional Hamiltonian systems with cubic Hamilton functions. The construction depends on a constant skew-Hamiltonian matrix $A$, that is, a matrix satisfying $A^{\rm T}J=JA$, where $J$ is a non-degenerate skew-symmetric matrix defining the standard symplectic structure on the phase space $\mathbb R^{2m}$. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational $(2m)$-dimensional map. We show that this map is symplectic with respect to a symplectic structure that is a perturbation of …
We explain how to construct a morphism from the group of birational automorphisms of CP^2 preserving the logarithmic Poisson bracket to the Thompson group T. Than we give a linear representation of the former group, provide some information about Thompson group T and give it's new presentation in terms of generators and relations, and speculate about the presentation of the group of birational symplectomorphisms.
The notion of d-critical loci was introduced by Joyce in order to give classical shadows of $(-1)$-shifted symplectic derived schemes. In this paper, we discuss birational geometry for d-critical loci, by introducing notions such as `d-critical flips', `d-critical flops', etc. They are not birational maps of the underlying spaces, but rather should be understood as virtual birational maps. We show that several wall-crossing phenomena of moduli spaces of stable objects on Calabi-Yau 3-folds are described in terms of d-critical birational geometry. Among them, we show that wall-crossing diagrams…
An MBM class on a hyperkahler manifold M is a second cohomology class such that its orthogonal complement in H^2(M) contains a maximal dimensional face of the boundary of the Kahler cone for some hyperkahler deformation of M. An MBM curve is a rational curve in an MBM class and such that its local deformation space has minimal possible dimension 2n-2, where 2n is the complex dimension of M. We study the MBM loci, defined as the subvarieties covered by deformations of an MBM curve within M. When M is projective, MBM loci are centers of birational contractions. For each MBM class z, we consider …
The Grassmannian Gr(2,5) is embedded in $\Bbb{P}^9$ via the Plücker embedding. The intersection of two general PGL(10)-translates of Gr(2,5) is a Calabi-Yau 3-fold X, and the intersection of the projective duals of the two translates is another Calabi-Yau 3-fold Y, deformation equivalent to X. Applying results of Kuznetsov and Jiang-Leung-Xie shows that X and Y are derived equivalent, which by a result of Addington implies that their third cohomology groups are isomorphic as polarised Hodge structures. We show that X and Y provide counterexamples to a certain "birational" Torelli statement for…
Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications.
We study the birational geometry of deformations of Hilbert schemes of points on the projective plane P2. We complete the picture in the paper of Daniele Arcara, Aaron Bertram, Izzet Coskun and Jack Huizenga by giving an explicit correspondence between the stable base locus walls on the Neron-Severi space and the actual walls on the Bridgeland stability space. We show that the birational geometry of a deformed Hilb P2 is different from that of Hilb P2.
We recover a 4-dimensional wreath product X as a transversal slice to a nilpotent orbit in sp_6. By using deformations of Springer resolutions, we construct a symplectic deformation of symplectic resolutions of X.
We systematically study the moduli theory of symplectic varieties (in the sense of Beauville) which admit a resolution by an irreducible symplectic manifold. In particular, we prove an analog of Verbitsky's global Torelli theorem for the locally trivial deformations of such varieties. Verbitsky's work on ergodic complex structures replaces twistor lines as the essential global input. In so doing we extend many of the local deformation-theoretic results known in the smooth case to such (not-necessarily-projective) symplectic varieties. We deduce a number of applications to the birational geomet…
This paper studies deformations and birational maps between singular moduli spaces of semistable sheaves with 2-divisible Mukai vectors on K3 surfaces. It is showed that under certain conditions, two such moduli spaces of the same dimension can be connected by deformations and birational maps.
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…
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.
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…
We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp. symplectic) sheaf. We also provide an obstruction theory of these objects whose target is the second hypercohomology space of this complex.
For a finite subgroup $Γ\subset \mathrm{SL}(2,\mathbb{C})$ and for $n\geq 1$, we use variation of GIT quotient for Nakajima quiver varieties to study the birational geometry of the Hilbert scheme of $n$ points on the minimal resolution $S$ of the Kleinian singularity $\mathbb{C}^2/Γ$. It is well known that $X:=\mathrm{Hilb}^{[n]}(S)$ is a projective, crepant resolution of the symplectic singularity $\mathbb{C}^{2n}/Γ_n$, where $Γ_n=Γ\wr\mathfrak{S}_n$ is the wreath product. We prove that every projective, crepant resolution of $\mathbb{C}^{2n}/Γ_n$ can be realised as the fine moduli space of $…
We shall prove that the Poisson deformation functor of an affine (singular) symplectic variety is unobstructed. As a corollary, we prove the following result. Theorem: For an affine symplectic variety $X$ with a good $C^*$-action (where its natural Poisson structure is positively weighted), the following are equivalent (1) $X$ has a crepant projective resolution. (2) $X$ has a smoothing by a Poisson deformation.
We generalize Voisin's theorem on deformations of pairs of a symplectic manifold and a Lagrangian submanifold to the case of Lagrangian normal crossing subvarieties. Partial results are obtained for arbitrary Lagrangian subvarieties. We apply our results to the study of singular fibers of Lagrangian fibrations.
In the present paper we prove that finite symplectic groups of automorphisms of manifolds of k3^[n] type can be obtained by deforming natural morphisms arising from K3 surfaces if and only if they satisfy a certain numerical condition.
We prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky's theory of hyperholomorphic sheaves and a study of the cohomology algebra of Hilbert schemes of K3 surfaces.
Birational Calabi-Yau threefolds in the same deformation family provide a `weak' counterexample to the global Torelli problem, as long as they are not isomorphic. In this paper, it is shown that deformations of certain desingularized weighted complete intersections provide examples of families containing birational varieties. The constructed examples are shown to be non-isomorphic using a specialization argument.
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 prove a conjecture of Fock and Goncharov which provides a birational equivalence of a cluster variety called the cluster symplectic double and a certain moduli space of local systems associated to a surface.
Let X be a Hyperkähler variety deformation equivalent to the Hilbert square on a K3 surface and let f be an involution preserving the symplectic form. We prove that the fixed locus of f consists of 28 isolated points and 1 K3 surface, moreover the anti-invariant lattice of the induced involution on H^2(X,Z) is isomorphic to E_8(-2). Finally we prove that any couple consisting of one such variety and a symplectic involution on it can be deformed into a couple consisting of the Hilbert square of a K3 surface and the involution induced by a Nikulin involution on the K3 surface.
