We will discuss the Fourier-Mukai partners of a given abelian variety. The first part of the note is to give some basic theory of Fourier-Mukai partners and semi-homogenous vector bundles, then we will discuss the case when the kernel of an equivalence is given by a semi-homogenous vector bundle. In particular, given an abelian variety B, and a simple semi-homogenous vector bundle E on B, we will discuss for which E, it can be the image of the structure sheaf of the unit on A under some triangulated equivalence, where A is some abelian variety.
The purpose of this note is twofold. We first review the theory of Fourier-Mukai partners together with the relevant part of Nikulin's theory of lattice embeddings via discriminants. Then we consider Fourier-Mukai partners of K3 surfaces in the presence of polarisations, in which case we prove a counting formula for the number of partners.
This is a survey article on mirror symmetry and Fourier-Mukai partners of Calabi-Yau threefolds with Picard number one based on recent works by the authors [HoTa1,2,3,4]. For completeness, mirror symmetry and Fourier-Mukai partners of K3 surfaces are also discussed.
We exhibit explicit examples of very general special cubic fourfolds with discriminant $d$ admitting an associated (twisted) K3 surface, which have non-isomorphic Fourier-Mukai partners. In particular, in the untwisted setting, we show that the number of Fourier-Mukai partners for a very general special cubic fourfold with discriminant $d$ and having an associated K3 surface, is equal to the number $m$ of Fourier-Mukai partners of its associated K3 surface, if $d \equiv 2 (\text{mod}\,6)$; else, if $d \equiv 0 (\text{mod}\,6)$, the cubic fourfold has $\lceil m/2 \rceil$ Fourier-Mukai partners.
We study Fourier--Mukai partners of elliptic ruled surfaces. We also describe the autoequivalence group of the derived categories of ruled surfaces with an elliptic fibration, by using \cite{Ue15}.
We prove that a twisted Enriques (respectively, untwisted bielliptic) surface over an algebraically closed field of positive characteristic at least 3 (respectively, at least 5) has no non-trivial Fourier-Mukai partners.
The objective of the paper is to prove that, as it happens for smooth elliptic curves, any Fourier-Mukai partner of a projective reduced Gorenstein curve of genus one and trivial dualising sheaf, is isomorphic to itself.
In this article, we prove that a tame twisted K3 surface over an algebraically closed field of positive characteristic has only finitely many tame twisted Fourier-Mukai partners and we give a counting formula in case we have an ordinary tame untwisted K3 surface. We also show that every tame twisted Fourier Mukai partner of a K3 surface of finite height is a moduli space of twisted sheaves over it.
Bridgeland and Maciocia showed that a complex Enriques surface X has no Fourier-Mukai partners apart from itself: that is, if D^b(X) = D^b(Y) then X = Y. We extend this to twisted Fourier-Mukai partners: if alpha is the non-trivial element of Br(X) = Z/2 and D^b(X,alpha) = D^b(Y,beta), then X = Y and beta is non-trivial. Our main tools are twisted topological K-theory and twisted Mukai lattices.
We prove that the canonical cover of an Enriques surface does not admit non-trivial Fourier-Mukai partners. We also show that the canonical cover of a bielliptic surface has at most one non-isomorphic Fourier-Mukai partner. The first result is then applied to birational Hilbert schemes of points and the second to birational generalised Kummer varieties. An appendix establishes that there are no exceptional or spherical objects in the derived category of a bielliptic surface.
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 give a counting formula for the twisted Fourier-Mukai partners of a projective K3 surface. As an application, we describe all twisted Fourier-Mukai partners of a projective K3 surface of Picard number 1.
We study Fourier-Mukai transforms for smooth projective varieties whose canonical bundles have finite order, and relate them to equivariant transforms on certain finite covering spaces. Our results lead to new equivalences of derived categories for Enriques and bielliptic surfaces.
This note is an answer to a problem proposed by Ranestad and Iliev. We prove that the projection of general nodal linear sections of suitable dimension of the Mukai varieties $M_g$ are linear sections of $M_{g-1}$.
We construct an explicit complex smooth Fano threefold with Picard number 1, index 1, and degree 10 (also known as a Gushel-Mukai threefold) and prove that it is not rational by showing that its intermediate Jacobian has a faithful $\mathrm{PSL}(2,\mathbf{F}_{11}) $-action. Along the way, we construct Gushel-Mukai varieties of various dimensions with rather large (finite) automorphism groups. The starting point of all these constructions is an Eisenbud-Popescu-Walter sextic with a faithful $\mathrm{PSL}(2,\mathbf{F}_{11}) $-action discovered by the second author in 2013.
We describe the moduli stack of Gushel-Mukai varieties as a global quotient stack and its coarse moduli space as the corresponding GIT quotient. The construction is based on a comprehensive study of the relation between this stack and the stack of Lagrangian data; roughly speaking, we show that the former is a generalized root stack of the latter. As an application, we define the period map for Gushel-Mukai varieties and construct some complete nonisotrivial families of smooth Gushel-Mukai varieties. In an appendix, we describe a generalization of the root stack construction used in our approa…
We perform a systematic study of Gushel-Mukai varieties---quadratic sections of linear sections of cones over the Grassmannian Gr(2,5). This class of varieties includes Clifford general curves of genus 6, Brill-Noether general polarized K3 surfaces of genus 6, prime Fano threefolds of genus 6, and their higher-dimensional analogues. We establish an intrinsic characterization of normal Gushel-Mukai varieties in terms of their excess conormal sheaves, which leads to a new proof of the classification theorem of Gushel and Mukai. We give a description of isomorphism classes of Gushel-Mukai varieti…
We develop some methods for studying the Fourier-Mukai partners of an algebraic variety. As applications we prove that abelian varieties have finitely many Fourier-Mukai partners and that they are uniquely determined by their derived category of coherent $D$-modules. We also generalize a famous theorem due to A. Bondal and D. Orlov.
We study the Fourier-Mukai functor D(Y) -> D(X) induced by the universal family on a fine moduli space Y for simple semihomogeneous vector bundles on an abelian variety X. The main result is that the Fourier-Mukai transform of a very negative line bundle on Y is ample if and only if the bundles parametrized by Y are nef.
Mukai varieties are Fano varieties of Picard number one and coindex three. In genus seven to ten they are linear sections of some special homogeneous varieties. We describe the generic automorphism groups of these varieties. When they are expected to be trivial for dimensional reasons, we show they are indeed trivial, up to three interesting and unexpected exceptions in genera 7, 8, 9, and codimension 4, 3, 2 respectively. We conclude in particular that a generic prime Fano threefold of genus g has no automorphisms for 7 $\le$ g $\le$ 10. In the Appendix by Y. Prokhorov, the latter statement i…
Using lattice theory, we establish a one-to-one correspondence between the set of Fourier-Mukai partners of a projective $K3$ surface and the set of 0-dimensional standard cusps of its Kahler moduli. We also study the relation between twisted Fourier-Mukai partners and general 0-dimensional cusps, and the relation between Fourier-Mukai partners with elliptic fibrations and certain 1-dimensional cusps.
We associate to any complete spherical variety $X$ a certain nonnegative rational number $\wp(X)$, which we conjecture to satisfy the inequality $\wp(X) \le \operatorname{dim} X - \operatorname{rank} X$ with equality holding if and only if $X$ is isomorphic to a toric variety. We show that, for spherical varieties, our conjecture implies the generalized Mukai conjecture on the pseudo-index of smooth Fano varieties due to Bonavero, Casagrande, Debarre, and Druel. We also deduce from our conjecture a smoothness criterion for spherical varieties. It follows from the work of Pasquier that our conj…
Let X be a Fano variety of dimension n, pseudoindex i_X and Picard number ρ_X. A generalization of a conjecture of Mukai says that ρ_X(i_X-1)\le n. We prove that the conjecture holds if: a) X has pseudoindex i_X \ge \frac{n+3}{3} and either has a fiber type extremal contraction or does not have small extremal contractions b) X has dimension five.
We discuss birational properties of Mukai varieties, i.e., of higher-dimensional analogues of prime Fano threefolds of genus $g \in \{7,8,9,10\}$ over an arbitrary field $\mathsf{k}$ of zero characteristic. In the case of dimension $n \ge 4$ we prove that these varieties are $\mathsf{k}$-rational if and only if they have a $\mathsf{k}$-point except for the case of genus $9$, where we assume $n \ge 5$. Furthermore, we prove that Mukai varieties of genus $g \in \{7,8,9,10\}$ and dimension $n \ge 5$ contain cylinders if they have a $\mathsf{k}$-point. Finally, we prove that the embedding $X \hook…
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…
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…
A Mukai variety is a Fano n-fold of index n-2. In this paper we study the fundamental divisor of a Mukai variety with at worst log terminal singularities. The main result is a complete classification of log terminal Mukai varieties which have not good divisors, examples of "bad" varieties are given. In such a way we also give a shorter proof of Mukai Conjecture, solved in our previous paper alg-geom/9611024.
In this paper we prove some results about K3 surfaces with Picard number 1 and 2. In particular, we give a new simple proof of a theorem due to Oguiso which shows that, given an integer $N$, there is a K3 surface with Picard number 2 and at least $N$ non-isomorphic FM-partners. We describe also the Mukai vectors of the moduli spaces associated to the Fourier-Mukai partners of K3 surfaces with Picard number 1.
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determ…
We study the Fourier-Mukai transform for holonomic D-modules on complex abelian varieties. Among other things, we show that the cohomology support loci of a holonomic D-module are finite unions of linear subvarieties, which go through points of finite order for objects of geometric origin; that the standard t-structure on the derived category of holonomic complexes corresponds, under the Fourier-Mukai transform, to a certain perverse coherent t-structure in the sense of Kashiwara and Arinkin-Bezrukavnikov; and that Fourier-Mukai transforms of simple holonomic D-modules are intersection complex…
Beauville and Donagi proved in 1985 that the primitive middle cohomology of a smooth complex cubic fourfold and the primitive second cohomology of its variety of lines, a smooth hyperkähler fourfold, are isomorphic as polarized integral Hodge structures. We prove analogous statements for smooth complex Gushel-Mukai varieties of dimension 4 (resp. 6), i.e., smooth dimensionally transverse intersections of the cone over the Grassmannian Gr(2,5), a quadric, and two hyperplanes (resp. of the cone over Gr(2,5) and a quadric). The associated hyperkähler fourfold is in both cases a smooth double cove…
We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses the derived category in place of the Hodge structure on singular cohomology; this is proven by algebraizing formal lifts of Fourier-Mukai kernels to characteristic zero. As a consequence, any Shioda-supersingular K3 surface is uniquely determined up to isomorphism by its derived category of coherent sheaves. We also study different realizations of Mukai's Hod…
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.
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.
We provide a stable rationality construction for some smooth complex Gushel-Mukai varieties of dimension 6. As a consequence, we compute the integral singular cohomology of any smooth Gushel-Mukai sixfold and in particular, show that it is torsion-free.
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.
