Small Contractions of Symplectic 4-folds

A characterization of certain irreducible symplectic 4-folds

We give a characterization of irreducible symplectic fourfolds which are given as Hilbert scheme of points on a K3 surface.

Divisorial contractions of 3-folds

In this paper the three-dimensional divisorial contractions $f\colon Y\to (X\ni P)$ are classified provided that $\Exc f=E$ is an irreducible divisor, $f(E)=P$, the variety $Y$ has canonical singularities and $(X\ni P)$ is a toric terminal singularity.

Three-fold divisorial contractions to singularities of higher indices

We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is of type c$A/n$ then any such contraction is a suitable weighted blow-up; and that if otherwise then the discrepancy is $1/n$ with a few exceptions. Every such exception has an example. Some exceptions allow the discrepancy to be arbitrarily large, but any contraction in this case is described as a weighted blow-up of a singularity of type c$D/2$ embedded int…

A remark on Fano 4-folds having (3,1)-type extremal contractions

Let X be the blow-up of a smooth projective 4-fold Y along a smooth curve C and let E be the exceptional divisor. Assume that X is a Fano manifold and has an elementary extremal contraction $ϕ: X \to Z$ of (3,1)-type such that E is $ϕ$-ample (recall that a contraction map for a 4-fold is called (3,1)-type if the exceptional locus is a divisor and its image is a curve). We show that if the exceptional divisor of $ϕ$ is smooth, then Y is isomorphic to $\mathbb{P}^{4}$ and C is an elliptic curve of degree 4.

Deformation theory of singular symplectic n-folds

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.

Analytic rigidity of K-trivial extremal contractions of smooth 3-folds

We discuss the problem of classifying birational extremal contractions of smooth threefolds where the canonical bundle is trivial along the curves contracted, in the case when a divisor is contracted to a point. We prove the analytic rigidity of the contraction in the case this divisor is normal of degree >= 5 (i.e. we show that the analytic structure of the contraction is completely determined by the isomorphism class of the exceptional locus and its normal bundle in X). This was previously known only in the case of smooth exceptional locus.

Calabi--Yau threefolds with infinitely many divisorial contractions

We study Calabi--Yau 3-folds with infinitely many divisorial contractions. We also suggest a method to describe Calabi--Yau 3-folds with the infinite automorphism group.

On the birational geometry for irreducible symplectic 4-folds related to the Fano schemes of lines

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.

Fano 4-folds with a small contraction

Let X be a smooth complex Fano 4-fold. We show that if X has a small elementary contraction, then the Picard number rho(X) of X is at most 12. This result is based on a careful study of the geometry of X, on which we give a lot of information. We also show that in the boundary case rho(X)=12 an open subset of X has a smooth fibration with fiber the projective line. Together with previous results, this implies if X is a Fano 4-fold with rho(X)>12, then every elementary contraction of X is divisorial and sends a divisor to a surface. The proof is based on birational geometry and the study of fam…

复辛收缩与三维镜像

Complex Symplectic Contractions and 3d Mirrors

本文为复辛收缩空间提出磁箭图描述，利用其与内爆及Moore-Tachikawa范畴的联系，并通过三维镜像进行计算验证。

Birational maps of 3-folds

We show that 3-fold terminal flips and divisorial contractions may be factored into a sequence of flops, blow-downs to a smooth curve in a smooth 3-fold or divisorial contractions to points with minimal discrepancies.

Families of D-minimal models and applications to 3-fold divisorial contractions

Let X/T be a one parameter family of canonical 3-folds and let D be a Weil divisor on it flat over T. We study the problem of when the D_t-minimal models of X_t form a family and we obtain conditions for this to happen. As an application of this we classify terminal divisorial contractions Y-->X that contract an irreducible divisor E onto a smooth curve C in the case when the general hyperplane section S of X through C is a D5 DuVal singularity.

Extremal rays and automorphisms of holomorphic symplectic varieties

We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.

On the birational geometry of Fano 4-folds

We study the birational geometry of a Fano 4-fold X from the point of view of Mori dream spaces; more precisely, we study rational contractions of X. Here a rational contraction is a rational map f: X-->Y, where Y is normal and projective, which factors as a finite sequence of flips, followed by a surjective morphism with connected fibers. Such f is called elementary if the difference of the Picard numbers of X and Y is 1. We first give a characterization of non-movable prime divisors in X, when X has Picard number at least 6; this is related to the study of birational and divisorial elementar…

Symplectic geometry and rationally connected 4-folds

We study some symplectic geometric aspects of rationally connected 4-folds. As a corollary, we prove that any smooth projective 4-fold symplectic deformation equivalent to a Fano 4-fold of pseudo-index at least 2 or a rationally connected 4-fold whose second Betti number is 2 is rationally connected.

Contractions of 3-folds: deformations and invariants

This note discusses recent new approaches to studying flopping curves on 3-folds. In a joint paper, the author and Michael Wemyss introduced a 3-fold invariant, the contraction algebra, which may be associated to such curves. It characterises their geometric and homological properties in a unified manner, using the theory of noncommutative deformations. Toda has now clarified the enumerative significance of the contraction algebra for flopping curves, calculating its dimension in terms of Gopakumar-Vafa invariants. Before reviewing these results, and others, I give a brief introduction to the …

Some examples of symplectic rationally connected 4-folds

A symplectic manifold is called symplectic rationally connected if there is a non-zero genus zero Gromov-Witten invariant with two point insertions. It is conjectured that every smooth projective rationally connected variety is symplectic rationally connected. In this short note we give some examples of rationally connected 4-folds which are symplectic rationally connected. In particular, all Fano 4-folds of pseudo-index at least 2 are symplectic rationally connected. The proof does not use any explicit description of these varieties.

Extremal contractions from 4-dimensional manifolds to 3-folds

Let $g : X \to Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any two points of such a fiber is joined by a chain of rational curves of length at most 2 with respect to $-K_X$, and that $|-K_X|$ is $g\text{-free}$.

Factoring threefold divisorial contractions to points

We show that terminal 3-fold divisorial contraction to a point of index $>1$ with non-minimal discrepancy may be factored into a sequence of flips, flops and divisorial contractions to a point with minimal discrepancies.

Irreducible symplectic 4-folds numerically equivalent to Hilb^2(K3)

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hypersurface and a 4-fold of Type B is birational to a hypersurface of degree at most 12. We conjecture that 4-folds of Type B do not exist.

Symplectic structure on a moduli space of sheaves on the cubic fourfold

A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from normal elliptic quintics. The natural projection to the dual projective 5-space parametrizing the hyperplane sections is a Lagrangian fibration. The symplectic structure is closely related (and conjecturally, is equal) to the quasi-symplectic one, induced by the Yoneda pairing on the moduli space.

On irreducible symplectic 4-folds numerically equivalent to $(K3)^{[2]}$

We address the problem of classification of hyper-Kähler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-Kähler $4$-folds numerically equivalent to the Hilbert scheme of two points on a $K3$ surface.

Rationally connected $3$-folds and symplectic geometry

We study the following question, asked to us By Pandharipande and Starr: Let $X$ be a rationally connected $3$-fold, and $Y$ be a compact Kaehler $3$-fold symplectically equivalent to it. Is $Y$ rationally connected? We show that the answer is positive if $X$ is Fano or $b_2(X)\leq2$.

带对合的不可约全纯辛四维流形的解析挠率，III：与BCOV不变量的关系

Analytic torsion for irreducible holomorphic symplectic fourfolds with involution, III: relation with the BCOV invariant

本文比较了Camere-Garbagnati-Mongardi型Calabi-Yau四维流形的BCOV不变量与对应K3⁽²⁾型带对合流形的不变量，证明特殊情况下前者可表为某Borcherds乘积的Petersson范数。

Calabi--Yau quotients of hyperkähler four-folds

The aim of this paper is to construct Calabi-Yau 4-folds as crepant resolutions of the quotients of a hyperkähler 4-fold $X$ by a non symplectic involution $α$. We first compute the Hodge numbers of a Calabi-Yau constructed in this way in a general setting and then we apply the results to several specific examples of non symplectic involutions, producing Calabi-Yau 4-folds with different Hodge diamonds. Then we restrict ourselves to the case where $X$ is the Hilbert scheme of two points on a K3 surface $S$ and the involution $α$ is induced by a non symplectic involution on the K3 surface. In t…

Stable pairs and Gopakumar-Vafa type invariants on holomorphic symplectic 4-folds

As an analogy to Gopakumar-Vafa conjecture on Calabi-Yau 3-folds, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. When $X$ is holomorphic symplectic, Gromov-Witten invariants vanish and one can consider the corresponding reduced theory. In a companion work, we propose a definition of Gopakumar-Vafa type invariants for such a reduced theory. In this paper, we give them a sheaf theoretic interpretation via moduli spaces of stable pairs.

Twisted Fourier-Mukai transforms for holomorphic symplectic fourfolds

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.

Flips from semi-stable 4-folds whose degenerate fibers are unions of Cartier divisors which are terminal factorial 3-folds

We shall investigate flipping contractions from a semi-stable 4-fold $X$ whose degenerate fiber is a union of Cartier divisors which are terminal factorial 3-folds. Especially we shall prove that $X$ is smooth along the flipping locus, and that the flip exists for such contractions.

Contraction of Hamiltonian $K$-spaces

In the spirit of recent work of Harada-Kaveh and Nishinou-Nohara-Ueda, we study the symplectic geometry of Popov's horospherical degenerations of complex algebraic varieties with the action of a complex linearly reductive group. We formulate an intrinsic symplectic contraction of a Hamiltonian space, which is a surjective, continuous map onto a new Hamiltonian space that is a symplectomorphism on an explicitly defined dense open subspace. This map is given by a precise formula, using techniques from the theory of symplectic reduction and symplectic implosion. We then show, using the Vinberg mo…

Symplectic geometry of rationally connected threefolds

We study symplectic geometry of rationally connected $3$-folds. The first result shows that rationally connectedness is a symplectic deformation invariant in dimension $3$. If a rationally connected $3$-fold $X$ is Fano or $b_2(X)=2$, we prove that it is symplectic rationally connected, i.e. there is a non-zero Gromov-Witten invariant with two insertions being the class of a point. Finally we prove that many rationally connected $3$-folds are birational to a symplectic rationally connected variety.

On 81 symplectic resolutions of a 4-dimensional quotient by a group of order 32

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…

On finiteness and rigidity of J-holomorphic curves in symplectic three-folds

Given a symplectic three-fold $(M,ω)$ we show that for a generic almost complex structure $J$ which is compatible with $ω$, there are finitely many $J$-holomorphic curves in $M$ of any genus $g\geq 0$ representing a homology class $β$ in $\H_2(M,\Z)$ with $c_1(M).β=0$, provided that the divisibility of $β$ is at most 4 (i.e. if $β=nα$ with $α\in H_2(M,\Z)$ and $n\in \Z$ then $n\leq 4$). Moreover, each such curve is embedded and 4-rigid.

Semistable divisorial contractions

The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the exceptional divisor to a normal point of a fibre. Our results can be applied to describe compact moduli spaces of surfaces.

Irreducible symplectic 4-folds and Eisenbud-Popescu-Walter sextics

Eisenbud Popescu and Walter have constructed certain special 4-dimensional sextic hypersurfaces as Lagrangian degeneracy loci. We prove that the natural double cover of a generic EPW-sextic is a deformation of the Hilbert square of a K3-surface and that the family of such varieties is locally complete for deformations that keep the hyperplane class of type (1,1) - thus we get an example similar to that (discovered by Beauville and Donagi) of the Fano variety of lines on a cubic 4-fold. Conversely suppose that X is an irreducible symplectic 4-fold numerically equivalent to the Hilbert square of…

Symplectic surgery and Gromov-Witten invariants of Calabi-Yau 3-folds I

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.

Implosion、收缩与Moore-Tachikawa

Implosion, Contraction and Moore-Tachikawa

本文综述implosion构造并将其推广至一般约化群，在Moore-Tachikawa范畴中解释，进而将辛几何中的收缩构造推广至超凯勒或复辛情形。

关于 $b_2\geq 7$ 的 Fano 四维流形的分类

Towards the classification of Fano 4-folds with $b_2\geq 7$

本文研究高 Picard 数光滑复 Fano 四维流形的分类，证明 $\rho>9$ 时必为 del Pezzo 曲面乘积，并分析 $\rho=7,8,9$ 时的爆破、flip 与有理收缩结构。

Relatively Minimal Quasihomogeneous Projective 3-Folds

In the present work we classify the relatively minimal 3-dimensional quasihomogeneous complex projective varieties under the assumption that the automorphism group is not solvable. By relatively minimal we understand varieties X having at most Q-factorial terminal singularities and allowing an extremal contraction X to Y, where dim Y <3.

Fano 4-folds with rational fibrations

We study (smooth, complex) Fano 4-folds X having a rational contraction of fiber type, that is, a rational map X-->Y that factors as a sequence of flips followed by a contraction of fiber type. The existence of such a map is equivalent to the existence of a non-zero, non-big movable divisor on X. Our main result is that if Y is not P^1 or P^2, then the Picard number rho(X) of X is at most 18, with equality only if X is a product of surfaces. We also show that if a Fano 4-fold X has a dominant rational map X-->Z, regular and proper on an open subset of X, with dim(Z)=3, then either X is a produ…

Transformation of algebraic Gromov-Witten invariants of three-folds under flops and small extremal transitions, with an appendix from the stringy and the symplectic viewpoint

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…

Kodaira dimension of universal holomorphic symplectic varieties

We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.

Addendum to "K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds"

In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke M…

全纯辛4-流形的Gopakumar-Vafa型不变量

Gopakumar-Vafa type invariants of holomorphic symplectic 4-folds

本文利用约化Gromov-Witten理论为全纯辛4-流形定义了新的Gopakumar-Vafa型不变量，猜想其整数性并给出层论解释，在多个例子中验证猜想，并得到K3^{[2]}型4-流形上亏格2曲线计数的猜想公式及Fujiki常数的新闭公式。

K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds

The main outcome of this paper is that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof that VSP(F,10) should be the 4-fold of lines on another cubic 4-fold. We correct this in the e-print "Addendum to K3 surfaces of genus 8 and varieties of sums of powers of cubic fourfolds" (math.AG/061…

分类具有到三维簇有理纤维化的 Fano 四维簇

Classifying Fano 4-folds with a rational fibration onto a 3-fold

本文研究具有到三维簇有理收缩的光滑复 Fano 四维簇，证明非曲面乘积时 Picard 数至多为 9，并分类特殊收缩、构造新高 Picard 数例子。

Landau-Ginzburg/Calabi-Yau correspondence for quintic three-folds via symplectic transformations

We compute the recently introduced Fan-Jarvis-Ruan-Witten theory of W-curves in genus zero for quintic polynomials in five variables and we show that it matches the Gromov-Witten genus-zero theory of the quintic three-fold via a symplectic transformation. More specifically, we show that the J-function encoding the Fan-Jarvis-Ruan-Witten theory on the A-side equals via a mirror map the I-function embodying the period integrals at the Gepner point on the B-side. This identification inscribes the physical Landau-Ginzburg/Calabi-Yau correspondence within the enumerative geometry of moduli of curve…

K3 categories, one-cycles on cubic fourfolds, and the Beauville-Voisin filtration

We explore the connection between $K3$ categories and 0-cycles on holomorphic symplectic varieties. In this paper, we focus on Kuznetsov's noncommutative $K3$ category associated to a nonsingular cubic 4-fold. By introducing a filtration on the $\mathrm{CH}_1$-group of a cubic 4-fold $Y$, we conjecture a sheaf/cycle correspondence for the associated $K3$ category $\mathcal{A}_Y$. This is a noncommutative analog of O'Grady's conjecture concerning derived categories of $K3$ surfaces. We study instances of our conjecture involving rational curves in cubic 4-folds, and verify the conjecture for sh…

Gopakumar-Vafa invariants do not determine flops

Two 3-fold flops are exhibited, both of which have precisely one flopping curve. One of the two flops is new, and is distinct from all known algebraic D4-flops. It is shown that the two flops are neither algebraically nor analytically isomorphic, yet their curve-counting Gopakumar-Vafa invariants are the same. We further show that the contraction algebras associated to both are not isomorphic, so the flops are distinguished at this level. This shows that the contraction algebra is a finer invariant than various curve-counting theories, and it also provides more evidence for the proposed analyt…

关于 Kähler 3-fold 的极小模型纲领

On the Minimal Model Program for Kähler 3-folds

本文证明了紧 Kähler 簇在维度 n 下的 pl-flipping、除子收缩及 pl flip 的存在性，并给出了维度 3 下锥定理、flip 及极小模型存在的自包含证明。

Rational curves and MBM classes on hyperkahler manifolds: a survey

This paper deals with rational curves and birational contractions on irreducible holomorphically symplectic manifold. We survey some recent results about minimal rational curves, their deformations, extremal rays associated with these curves, and the geometry of the Kähler cone.

Embedded curves and Gromov-Witten invariants of three-folds

Associated with a prime homology class $β\in P_2(X,\Z)$ (i.e. $β=pα$ and $α\in H_2(X,\Z)$ imply $p=1$ or $p$ is an odd prime) on a symplectic three-manifold with vanishing first Chern class, we count the embedded perturbed pseudo-holomorphic curves in $X$ of a fixed genus $g$ to obtain certain integer valued invariants analogous to Gromov-Witten invariants of $X$.

Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds

Let $({\bf X},ω_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb Z$, and $X_{\rm an}$ the underlying complex analytic topological space. We prove that $X_{\rm an}$ can be given the structure of a derived smooth manifold ${\bf X}_{\rm dm}$, of real virtual dimension ${\rm vdim}_{\mathbb R}{\bf X}_{\rm dm}=n$. This ${\bf X}_{\rm dm}$ is not canonical, but is independent of choices up to bordisms fixing the underlying topological …

log Calabi-Yau 3-folds 的 Gromov-Witten invariants 是 holomorphic lagrangian correspondences

Gromov-Witten invariants of log Calabi-Yau 3-folds are holomorphic lagrangian correspondences

本文引入了log schemes上的全纯辛范畴，证明log Calabi-Yau 3-folds的Gromov-Witten不变量可自然编码为全纯拉格朗日对应，并据此猜想其与Donaldson-Thomas不变量通过酉拉格朗日对应建立联系。

The quantum Johnson homomorphism and symplectomorphism of 3-folds

We consider the action of symplectic monodromy on chain-level enhancements of quantum cohomology. First, we construct a family version of $A_\infty$-structure on quantum cohomology (this should morally correspond to Hochschild cohomology of a "family of Fukaya categories over the circle"). Following Kaledin, we look at the obstruction class of this structure, and argue that it can be related to a quantum version of Massey products on the one hand (which, in nice cases, can be related to actual counts of rational curves) and to the classical Andreadakis-Johnson theory of the Torelli group on th…