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.
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.
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 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 give a condition for an exact functor between triangulated categories to be an equivalence. Applications to Fourier-Mukai transforms are discussed. In particular, we obtain a large number of such transforms for K3 surfaces.
Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this result is false without the full faithfulness hypothesis.
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.
The main propose of this paper is to show that Bridgeland's moduli space of perverse point sheaves for certain flopping contractions gives the flops, and the Fourier-Mukai transform given by the birational correspondence of the flop is an equivalence between bounded derived categories.
Orlov's famous representability theorem asserts that any fully faithful functor between the derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. This result has been extended by Lunts and Orlov to include functors from perfect complexes to quasi-coherent complexes. In this paper we show that the latter extension is false without the full faithfulness hypothesis. Our results are based on the properties of scalar extensions of derived categories, whose investigation was started by Pawel Sosna and the first author.
We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-Kähler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived category taking values inside the extended Mukai lattice which is functorial for derived equivalences. As applications, we obtain a structure theorem for derived equivalences between hyper-Kähler manifolds as well as an integral lattice associated to the derived category of hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of a K3 surface mimic…
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 prove that a coherent DQ-kernel induces an equivalence between the derived categories of DQ-modules with coherent cohomology if and only if the graded commutative kernel associated to it induces an equivalence between the derived categories of coherent sheaves.
We study the derived categories of coherent sheaves on Gushel-Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension of the variety is even or odd. We analyze the basic properties of this category using Hochschild homology, Hochschild cohomology, and the Grothendieck group. We study the K3 category of a Gushel-Mukai fourfold in more detail. Namely, we show that this category is equivalent to the derived category of a K3 surface for a certain codimension 1 family of rational…
Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories of twisted coherent sheaves and at the same time we weaken the hypotheses on the functor. As an application we get a complete description of the exact functors between the abelian categories of twisted coherent sheaves on smooth projective varieties.
The aim of this paper is twofold: First we give an explicit construction of the infinitesimal deformations of the category Coh(X) of coherent sheaves on a smooth projective variety X. Secondly we show that any Fourier-Mukai transform $/Phi/colon D^b(X)/to D^b(Y)$ extends to an equivalence between the derived categories of the deformed Abelian categories.
Let $X$ and $Y$ be smooth projective varieties over $\C$. We say that $X$ and $Y$ are \emph{D-equivalent} (or, $X$ is a \emph{Fourier--Mukai partner} of $Y$) if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories. The aim of this short note is to find an example of mutually D-equivalent but not isomorphic relatively minimal elliptic surfaces.
We study deformations of Fourier-Mukai transforms in general complex analytic settings. We start with two complex manifolds X and Y together with a coherent Fourier-Mukai kernel P on their product. Suppose that P implements an equivalence between the coherent derived categories of X and Y. Given an arbitrary formal quantization of X we construct a unique quantization of Y such that the Fourier-Mukai transform deforms to an equivalence of the derived categories of the quantizations. Here quantizations are understood in the framework of stacks of algebroids.
Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant resolution of X=M/G and that there is a derived equivalence (Fourier- Mukai transform) between coherent sheaves on Y and coherent G-sheaves on M. This identifies the K theory of Y with the equivariant K theory of M, and thus generalises the classical McKay correspondence. Some higher dimensional extensions are possible.
Given a Fourier-Mukai transform $Φ$ between the bounded derived categories of two smooth projective curves, we verifiy that the induced map between the Jacobian varieties preserves the principal polarization if and only if $Φ$ is an equivalence.
For a given Fourier-Mukai equivalence of bounded derived categories of coherent sheaves on smooth quasi-projective varieties, we construct Fourier-Mukai equivalences of derived factorization categories of gauged Landau-Ginzburg (LG) models. As an application, we obtain some equivalences of derived factorization categories of K-equivalent gauged LG models. This result is an equivariant version of the result of Baranovsky and Pecharich, and it also gives a partial answer to Segal's conjecture. As another application, we prove that if the kernel of the Fourier-Mukai equivalence is linearizable wi…
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…
We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting categories, such as D-modules, equivariant sheaves and their twisted versions, arise as categories of modules over kernel algebras. We develop the techniques of constructing derived equivalences between these module categories. As one application we generalize the results of math.AG/9901009 concerning modules over algebras of twisted differential operators on …
We investigate a construction providing pairs of Calabi-Yau varieties described as zero loci of pushforwards of a hyperplane section on a roof as described by Kanemitsu. We discuss the implications of such construction at the level of Hodge equivalence, derived equivalence and $\mathbb L$-equivalence. For the case of $K3$ surfaces, we provide alternative interpretations for the Fourier-Mukai duality in the family of $K3$ surfaces of degree 12 of Mukai. In all these constructions the derived equivalence lifts to an equivalence of matrix factorizations categories.
A theorem by Orlov states that any equivalence between the bounded derived categories of coherent sheaves of two smooth projective varieties, X and Y, is isomorphic to a Fourier-Mukai transform with kernel in the bounded derived category of coherent sheaves of the product XxY. In the case of an exact functor which is not necessarily fully faithful, we compute some sheaves that play the role of the cohomology sheaves of the kernel, and that are isomorphic to the latter whenever an isomorphism to a Fourier-Mukai transform exists. We then exhibit a class of functors that are not full or faithful …
We prove two theorems on the derived categories of toric varieties, the existence of an exceptional collection consisting of sheaves for a divisorial extraction and the finiteness of Fourier-Mukai partners.
Let C be small category and A an arbitrary category. Consider the category C(A) whose objects are functors from C to A, and whose morphisms are natural transformations. Given a functor F : A --> B one obtains an induced functor F_C : C(A) --> C(B) . If A and B are abelian categories, we have that C(A) and C(B) are also abelian, and one has two functors R(F_C) : D(C(A)) --> D(C(B)) and (RF)_ C : C(D(A)) --> C(D (B)). The goals of this paper are: 1) to find a relationship between D (C(A)) and C(D(A)); 2) to relate the functors R(F_C) and (RF)_C. As an application, we prove a version of Mukai's T…
This article is based on a talk given at the Kinosaki Symposium on Algebraic Geometry in 2015, about a work in progress. We describe a polarization on a derived equivalent abelian variety by using Fourier-Mukai theory. We explicitly formulate a conjecture which says certain Fourier-Mukai transforms between derived categories give equivalences of some hearts of Bridgeland stability conditions. We establish it for abelian surfaces, which is already known due to D. Huybrechts, and for abelian 3-folds. This generalizes the author's previous joint work with A. Maciocia on principally polarized abel…
We discuss the following problem: how can an arbitrary Fourier-Mukai transform $ϕ: \mathrm{D}^{\mathrm{b}}( \mathbb{P}^a ) \rightarrow \mathrm{D}^{\mathrm{b}}( \mathbb{P}^b )$ between the bounded derived categories of two projective spaces of dimensions $a$ and $b$ be expressed in explicit terms as an exact functor between the homotopy categories $\mathrm{K}^{\mathrm{b}}( \mathbb{B}^a ) \rightarrow \mathrm{K}^{\mathrm{b}}( \mathbb{B}^b )$ generated by the full strong exceptional sequences of the line bundles $\mathbb{B}^a = \{\mathcal{O}(-a), \dots, \mathcal{O}\}$ and $\mathbb{B}^b = \{\mathca…
The classical Fourier-Mukai duality establishes an equivalence of categories between the derived categories of sheaves on dual complex tori. In this article we show that this equivalence extends to an equivalence between two dual objects. Both of these are generalized deformations of the complex tori. In one case, a complex torus is deformed formally in a non-commutative direction specified by a holomorphic Poisson structure. In the other, the dual complex torus is deformed in a B-field direction to a formal gerbe. We show these two deformations are Fourier-Mukai equivalent.
We prove a general criterion which guarantees that an admissible subcategory $\mathcal{K}$ of the derived category of an abelian category is equivalent to the bounded derived category of the heart of a bounded t-structure. As a consequence, we show that $\mathcal{K}$ has a strongly unique dg enhancement, applying the recent results of Canonaco, Neeman and Stellari. We apply this criterion to the Kuznetsov component $\mathop{\mathcal{K}u}(X)$ when $X$ is a cubic fourfold, a Gushel--Mukai variety or a quartic double solid. In particular, we obtain that these Kuznetsov components have strongly un…
We investigate conditions for a Fourier-Mukai transform between derived categories of coherent sheaves on smooth projective stacks endowed with actions by finite groups to lift to the associated equivariant derived categories. As an application we give a condition under which a global quotient stack cannot be derived equivalent to a variety. We also apply our techniques to generalised Kummer stacks and symmetric quotients.
We prove a comparison formula for the Donaldson-Thomas curve-counting invariants of two smooth and projective Calabi-Yau threefolds related by a flop. By results of Bridgeland any two such varieties are derived equivalent. Furthermore there exist pairs of categories of perverse coherent sheaves on both sides which are swapped by this equivalence. Using the theory developed by Joyce we construct the motivic Hall algebras of these categories. These algebras provide a bridge relating the invariants on both sides of the flop.
We prove two existing conjectures which describe the geometrical McKay correspondence for a finite abelian G in SL3(C) such that C^3/G has a single isolated singularity. We do it by studying the relation between the derived category mechanics of computing a certain Fourier-Mukai transform and a piece of toric combinatorics known as `Reid's recipe', effectively providing a categorification of the latter.
We study the Hodge theory of twisted derived categories and its relation to the period-index problem. Our main contribution is the development of a theory of twisted Mukai structures for topologically trivial Brauer classes on arbitrary smooth proper varieties and in families. As applications, we construct Hodge classes whose algebraicity would imply period-index bounds; construct new counterexamples to the integral Hodge conjecture on Severi-Brauer varieties; and prove the integral Hodge conjecture for derived categories of Deligne-Mumford surfaces.
We study the derived categories of twisted supersingular K3 surfaces. We prove a derived crystalline Torelli theorem for twisted supersingular K3 surfaces, characterizing Fourier-Mukai equivalences in terms of isomorphisms between their associated K3 crystals. This is a positive characteristic analog of the Hodge-theoretic derived Torelli theorem of Orlov, and its extension to twisted K3 surfaces by Huybrechts and Stellari. We give applications to various questions concerning Fourier-Mukai partners, extending results of Căldăraru and Huybrechts and Stellari. We also give an exact formula for t…
We examine the extent to which a smooth minimal complex projective surface X is determined by its derived category of coherent sheaves D(X). To do this we find, for each such surface X, the set of surfaces Y for which there exists a Fourier-Mukai transform D(Y) --> D(X).
We study a Fourier-Mukai kernel associated to a GIT wall-crossing for arbitrarily singular (not necessarily reduced or irreducible) affine varieties over any field. This kernel is closely related to a derived fiber product diagram for the wall-crossing and simple to understand from the viewpoint of commutative differential graded algebras. However, from the perspective of algebraic varieties, the kernel can be quite complicated, corresponding to a complex with multiple homology sheaves. Under mild assumptions in the Calabi-Yau case, we prove that this kernel provides an equivalence between the…
Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers.…
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.
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…
