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.
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.
Let $X$ be a smooth projective variety and $\Aut (D(X))$ the group of autoequivalences of the derived category of $X$. In this paper we show that $X$ has no Fourier-Mukai partner other than $X$ when $\Aut (D(X))$ is generated by shifts, automorphisms and tensor products of line bundles.
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 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.
Our aim in this article is to produce new examples of semistable Lazarsfeld- Mukai bundles on smooth projective surfaces $X$ using the notion of parabolic vector bundles. In particular, we associate natural parabolic structures to any rank two (dual) Lazarsfeld-Mukai bundle and study the parabolic stability of these parabolic bundles. We also show that the orbifold bundles on Kawamata coverings of $X$ corresponding to the above parabolic bundles are themselves certain (dual) Lazarsfeld-Mukai bundles. This gives semistable Lazarsfeld-Mukai bundles on Kawamata covers of the projective plane and …
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.
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.
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…
Paper withdrawn due to errors (superseded by math.AG/0604303). Proposition 11.4 is false, Section 12 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.
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.
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.
Let $X$ be a smooth projective variety. We study a relationship between the derived category of $X$ and that of a canonical divisor. As an application, we will study Fourier-Mukai transforms when $κ(X)=dim X-1$.
We show that there is a surjection from the Fourier-Mukai transformations on projective K3 surfaces with the Picard number $ρ(X)=1$ to so called to the group of Atkin-Lehner involutions. This was expected in Hosono-Lian-Oguiso-Yau's paper.
In this paper we prove that any smooth projective variety of dimension $\ge 3$ equipped with a tilting bundle can serve as the source variety of a non-Fourier-Mukai functor between smooth projective schemes.
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.
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 relative Fourier-Mukai transforms on genus one fibrations with section, allowing explicitly the total space of the fibration to be singular and non-projective. Grothendieck duality is used to prove a skew-commutativity relation between this equivalence of categories and certain duality functors. We use our results to explicitly construct examples of semi-stable sheaves on degenerating families of elliptic curves.
Let $X$ be a smooth projective K3 surface over complex numbers and $C$ be an ample curve on $X$. In this paper we will study the semistability of the Lazarsfeld-Mukai bundle $E_{C, A}$ associated to a line bundle $A$ ion $C$ such that $|A|$ is a pencil on $C$ and computes the Clifford index of $C$. We give a necessary and sufficient condition for $E_{C, A}$ being semistable.
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 …
Consider an ample and globally generated line bundle $L$ on a smooth projective variety $X$ of dimension $N\geq 2$ over $\mathbb{C}$. Let $D$ be a smooth divisor in the complete linear system of $L$. We construct reflexive sheaves on $X$ by an elementary transformation of a trivial bundle on $X$ along certain globally generated torsion-free sheaves on $D$. The dual reflexive sheaves are called the Lazarsfeld-Mukai reflexive sheaves. We prove the $μ_L$-(semi)stability of such reflexive sheaves under certain conditions.
A $K$-equivalent map between two smooth projective varieties is called simple if the map is resolved in both sides by single smooth blow-ups. In this paper, we will provide a structure theorem of simple $K$-equivalent maps, which reduces the study of such maps to that of special Fano manifolds. As applications of the structure theorem, we provide examples of simple $K$-equivalent maps, and classify such maps in several cases, including the case of dimension at most $8$.
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.
Let $S$ be an irreducible smooth projective surface defined over an algebraically closed field $k$. For a positive integer $d$, let ${\rm Hilb}^d(S)$ be the Hilbert scheme parametrizing the zero-dimensional subschemes of $S$ of length $d$. For a vector bundle $E$ on $S$, let ${\mathcal H}(E)\, \longrightarrow\, {\rm Hilb}^d(S)$ be its Fourier--Mukai transform constructed using the structure sheaf of the universal subscheme of $S\times {\rm Hilb}^d(S)$ as the kernel. We prove that two vector bundles $E$ and $F$ on $S$ are isomorphic if the vector bundles ${\mathcal H}(E)$ and ${\mathcal H}(F)$ …
To every reduced (projective) curve X with planar singularities one can associate many fine compactified Jacobians, depending on the choice of a polarization on X, which are birational (possibly non-isomorphic) Calabi-Yau projective varieties with locally complete intersection singularities. We define a Poincare' sheaf on the product of any two (possibly equal) fine compactified Jacobians of X and show that the integral transform with kernel the Poincare' sheaf is an equivalence of their derived categories. In particular, any two fine compactified Jacobians are derived equivalent. When applied…
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…
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.
Given a vector bundle $E$ on a smooth projective curve or surface $X$ carrying the structure of a $V$-twisted Hitchin pair for some vector bundle $V$, we observe that the associated tautological bundle $E^{[n]}$ on the punctual Hilbert scheme of points $X^{[n]}$ has an induced structure of a $((V^\vee)^{[n]})^\vee$-twisted Hitchin pair, where $(V^\vee)^{[n]}$ is a vector bundle on $X^{[n]}$ constructed using the dual $V^\vee$ of $V$. In particular, a Higgs bundle on $X$ induces a logarithmic Higgs bundle on the Hilbert scheme $X^{[n]}$. We then show that the known results on stability of tauto…
We study autoequivalence groups of the derived categories on smooth projective surfaces, and show a trichotomy of types according to the maximal dimension of Fourier--Mukai kernels for autoequivalences. This number is $2$, $3$ or $4$, and we also pose a conjecture on the description of autoequivalence groups if it is $2$, and prove it in some special cases.
In this paper we study the second integral cohomology of moduli spaces of semistable sheaves on projective K3 surfaces. If $S$ is a projective K3 surface, $v$ a Mukai vector and $H$ a $v-$generic polarization on $S$, we show that $H^{2}(M_{v},\mathbb{Z})$ is a free $\mathbb{Z}-$module of rank 23 carrying a pure weight-two Hodge structure and a lattice structure, with respect to which $H^{2}(M_{v},\mathbb{Z})$ is Hodge isometric to the Hodge sublattice $v^{\perp}$ of the Mukai lattice of $S$. Similar results are proved for Abelian surfaces.
We compute moduli spaces of Bridgeland stable objects on an irreducible principally polarized complex abelian surface corresponding to twisted ideal sheaves. We use Fourier-Mukai techniques to extend the ideas of Arcara and Bertram to express wall-crossings as Mukai flops and show that the moduli spaces are projective.
Fiberwise criteria for Fourier--Mukai equivalences
BCAM – Basque Center for Applied Mathematics（巴斯克应用数学中心）；Dipartimento di Matematica “F. Enriques”, Università degli Studi di Milano（米兰大学恩里克斯数学系）；Max Planck Institute for Mathematics, Bonn（波恩马克斯·普朗克数学研究所）；Institut für Mathematik und Wissenschaftliches Rechnen, Universität Graz（格拉茨大学数学与科学计算研究所）
We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which preserves the Mukai pairing, an infinitesimal weight-2 decomposition and the orientation of a positive 4-dimensional space. This generalizes the derived version of the Torelli Theorem. Along the way we show the compatibility of the actions on Hochschild homology and singular cohomology of any Fourier--Mukai functor.
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In particular, our construction provides well-behaved categorical resolutions of singular quadrics, which we use to obtain an explicit quadratic version of the main theorem of homological projective duality. As applications, we prove the duality conjecture for Gushel-Mukai varieties, and produce interesting examples of conifold transitions between noncommutative and …
We use homological methods to establish a formal criterion for Generic Vanishing, in the sense originated by Green and Lazarsfeld and pursued further by Hacon and the first author, but in the context of an arbitrary Fourier-Mukai correspondence. For smooth projective varieties we apply this to deduce a Kodaira-type generic vanishing theorem for adjoint bundles of the form $K_X + L$ with $L$ a nef line bundle, and in fact a more general generic Nadel-type vanishing theorem for multiplier ideal sheaves. Still in the context of the Picard variety, the same method generates various other generic v…
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…
A homogeneous roof is a rational homogeneous variety of Picard rank 2 and index $r$ equipped with two different $\mathbb P^{r-1}$-bundle structures. We consider bundles of homogeneous roofs over a smooth projective variety, formulating a relative version of the duality of Calabi--Yau pairs associated to roofs of projective bundles. We discuss how derived equivalence of such pairs can lift to Calabi--Yau fibrations, extending a result of Bridgeland and Maciocia to higher-dimensional cases. We formulate an approach to prove that the $DK$-conjecture holds for a class of simple $K$-equivalent maps…
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 a suitable regime of superstring theory, D-branes in a Calabi-Yau space and their most fundamental behaviors can be nicely described mathematically through morphisms from Azumaya spaces with a fundamental module to that Calabi-Yau space. In the earlier work [L-L-S-Y] (D(2): arXiv:0809.2121 [math.AG], with Si Li and Ruifang Song) from the project, we explored this notion for the case of D1-branes (i.e. D-strings) and laid down some basic ingredients toward understanding the notion of D-string world-sheet instantons in this context. In this continuation, D(10), of D(2), we move on to construc…
In this paper we construct the Poincare line bundle for the stack of Higgs bundles on smooth projective curves and show that it induces a fully-faithful Fourier-Mukai transform on the category of quasi-coherent sheaves.
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…
The generalized roof F(1,2,n): Hodge structures and derived categories
Sapienza - Università di Roma（罗马大学）；Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；Alma Mater Studiorum Università di Bologna（博洛尼亚大学）
We consider those projective bundles (or Brauer-Severi varieties) over an abelian variety that are homogeneous, i.e., invariant under translation. We describe the structure of these bundles in terms of projective representations of commutative algebraic groups; the irreducible bundles correspond to Heisenberg groups and their standard representations. Our results extend those of Mukai on semi-homogeneous vector bundles, and yield a geometric view of the Brauer group of abelian varieties.
We define a Fourier-Mukai transform for a triple consisting of two holomorphic vector bundles over an elliptic curve and a homomorphism between them. We prove that in some cases the transform preserves the natural stability condition for a triple. We also define a Nahm transform for solutions to natural gauge-theoretic equations on a triple -- vortices -- and explore some of its basic properties. Our approach combines direct methods with dimensional reduction techniques, relating triples over a curve with vector bundles over the product of the curve with the complex projective line.
In this paper we study deformation classes of moduli spaces of sheaves on a projective K3 surface. More precisely, let $(S1,H1)$ and $(S2,H2)$ be two polarized K3 surfaces, $m\in\mathbb{N}$, and for $i=1,2$ let $mv_{i}$ be a Mukai vector on $S_{i}$ such that $H_{i}$ is $mv_{i}-$generic. Moreover, suppose that the moduli spaces $M_{mv_{1}}(S_{1},H_{1})$ of $H_{1}-$semistable sheaves on $S_{1}$ of Mukai vector $mv_{1}$ and $M_{mv_{2}}(S_{2},H_{2})$ of $H_{2}-$semistable sheaves on $S_{2}$ with Mukai vector $mv_{2}$, have the same dimension. The aim of this paper is to prove that $M_{mv_{1}}(S_{1…
We show that there exist a complex projective K3 surface $X$ and an automorphism of the complex numbers $σ$ such that the conjugate K3 surface $X^σ$ is a non-isomorphic Fourier-Mukai partner of $X$.
Ulrich bundles are the simplest sheaves from the viewpoint of cohomology tables. Eisenbud and Schreyer conjectured that every projective variety carries an Ulrich bundle, which means it has the same cone of cohomology table as the projective space of same dimension. In this paper we show the existence of stable rank 2 Ulrich bundle on rational surfaces with an anticanonical pencil, under a mild Brill-Noether assumption by using Lazarsfeld-Mukai bundles. Also we see that each of those surfaces carries its Chow form given by the Pfaffian of skew-symmetric morphism coming from an Ulrich bundle.
Let $C$ be a smooth irreducible projective curve and let $(L,H^0(C,L))$ be a complete and generated linear series on $C$. Denote by $M_L$ the kernel of the evaluation map $H^0(C,L)\otimes\mathcal O_C\to L$. The exact sequence $0\to M_L\to H^0(C,L)\otimes\mathcal O_C\to L\to 0$ fits into a commutative diagram that we call the Butler's diagram. This diagram induces in a natural way a multiplication map on global sections $m_W: W^{\vee}\otimes H^0(K_C)\to H^0(S^{\vee}\otimes K_C)$, where $W\subseteq H^0(C,L)$ is a subspace and $S^{\vee}$ is the dual of a subbundle $S\subset M_L$. When the subbund…
For a vector bundle $\mathcal{E}$ of rank $n+1$ over a smooth projective curve $C$ of genus $g$, let $X=¶_C (\mathcal{E})$ with projection map $π:X\to C$. In this paper we investigate the minimal free resolution of homogeneous coordinate rings of $X$. We first clarify the relations between higher syzygies of very ample line bundles on $X$ and higher syzygies of Veronese embedding of fibres of $π$ by the same line bundle. More precisely, letting $H = \mathcal{O}_{¶_C (\mathcal{E})} (1)$ be the tautological line bundle, we prove that if $(¶^n,\mathcal{O}_{¶^n} (a))$ satisfies Property $N_p$, the…
