In this paper, we study holomorphic rank-2 vector bundles on non-K\" ahler elliptic surfaces. Our main tool for analysing these bundles is of course the spectral cover. However, given the non-Kähler condition, the elliptic surfaces we are considering do not have sections and gerbes naturally arise in this context. The spectral construction presented in this paper is a modification of the Fourier-Mukai transform for elliptic fibrations without a section. After examining some of the properties of this Fourier-Mukai transform, we give a complete classification of vector bundles on these surfaces.
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…
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.
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.
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 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.
In this paper, we consider the preservation of stability by using the notion of Twisted stability. As applications, (1) we show that moduli spaces of vector bundles on K3 and abelian surfaces are irreducible, (2) we compute Hodge polynomials of some moduli spaces of vector bundles on Enriques surfaces and on elliptic surfaces with a section.
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 prove that the moduli stacks of marked and labelled Hodge-special Gushel-Mukai fourfolds are isomorphic. As an application, we construct rational maps from the stack of Hodge-special Gushel-Mukai fourfolds of discriminant $d$ to the moduli space of (twisted) degree-$d$ polarized K3 surfaces. We use these results to prove a counting formula for the number of 4-dimensional fibers of Fourier-Mukai partners of very general Hodge-special Gushel-Mukai fourfolds with associated K3 surface, and a lower bound for this number in the case of a twisted associated K3 surface.
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…
In [Ma1] S. Ma established a bijection between Fourier--Mukai partners of a K3 surface and cusps of the Kähler moduli space. The Kähler moduli space can be described as a quotient of Bridgeland's stability manifold. We study the relation between stability conditions $σ$ near to a cusp and the associated Fourier--Mukai partner Y in the following ways. (1) We compare the heart of $σ$ to the heart of coherent sheaves on Y. (2) We construct Y as moduli space of $σ$-stable objects. An appendix is devoted to the group of auto-equivalences of the derived category which respect the component $Stab^\da…
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.
We use A_{infinity}-formalism to study variation of cohomology spaces under formal deformations of coherent sheaves on projective varieties. As an application we describe formal neighborhoods of twisted Brill-Noether loci at some points. Another application is a computation of the Fourier-Mukai transform of some natural line bundles on symmetric powers of a curve.
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.
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 relatively semi-stable vector bundles and their moduli on non-Kähler principal elliptic bundles over compact complex manifolds of arbitrary dimension. The main technical tools used are the twisted Fourier-Mukai transform and a spectral cover construction. For the important example of such principal bundles, the numerical invariants of a 3-dimensional non-Kähler elliptic principal bundle over a primary Kodaira surface are computed.
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 twisted ideal sheaves of small length on an irreducible principally polarized abelian surface (T,l). Using Fourier-Mukai techniques we associate certain jumping schemes to such sheaves and completely classify such loci. We give examples of applications to the enumerative geometry of T and show that no smooth genus 5 curve on such a surface can contain a g^1_3. We also describe explicitly the singular divisors in the linear system |2l|.
Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a (twisted) Beauville-Mukai system on a Fourier-Mukai partner of S. We also show that when the degree of the surface is small our method can be used to find all birational models of the Hilbert scheme.
In analogy to the case of cubic fourfolds, we discuss the conditions under which the double cover $\tilde{Y}_A$ of the EPW sextic hypersurface associated to a Gushel-Mukai fourfold is birationally equivalent to a moduli space of (twisted) stable sheaves on a K3 surface. In particular, we prove that $\tilde{Y}_A$ is birational to the Hilbert scheme of two points on a K3 surface if and only if the Gushel-Mukai fourfold is Hodge-special with discriminant $d$ such that the negative Pell equation $\mathcal{P}_{d/2}(-1)$ is solvable in $\mathbb{Z}$.
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 …
On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted $Z^l$-stability, by varying the polarisation in the definition of Bridgeland stability along a curve in the ample cone of $X$. We show that a slope stable torsion-free sheaf of positive (twisted) degree or a slope stable locally free sheaf is taken by a Fourier-Mukai transform on $D^b(X)$ to a $Z^l$-stable object, while a $Z^l$-semistable object of nonzero fiber degree can be modified so that its inverse Fourier-Mukai transform is a slope semistable torsion-free sheaf.
Let f : X --> Y be a holomorphic map of complex manifolds, which is proper, Kahler, and surjective with connected fibers, and which is smooth over Y-Z the complement of an analytic subset Z. Let E be a Nakano semi-positive vector bundle on X, and consider direct image sheaves F = R^qf_*(K_{X/Y} \otimes E) for q \geq 0. In our previous paper, we discussed the Nakano semi-positivity of F with respect to the so-called Hodge metric, when the map f is smooth. In this paper, we discuss the extension of the induced metric on the tautological line bundle O(1) on the projective space bundle P(F) ``over…
In the first part of this paper we prove a vanishing criterion for higher direct images of projective families of line bundles on a Cohen-Macaulay variety X. The result involves certain first-order deformations of certain curves on X, and makes essential use of the notion of global co-gaussian maps, a generalization of Wahl's gaussian maps. In the second part we apply the criterion above, combined with Fourier-Mukai transform on abelian varieties, to prove an algebraic version of Green-Lazarsfeld's Generic Vanishing Theorem. In fact we prove a stronger result concerning higher direct images of…
Mukai's program seeks to recover a K3 surface $X$ from any curve $C$ on it by exhibiting it as a Fourier-Mukai partner to a Brill-Noether locus of vector bundles on the curve. In the case $X$ has Picard number one and the curve $C\in |H|$ is primitive, this was confirmed by Feyzbakhsh for $g\geq 11$ and $g\neq 12$. More recently, Feyzbakhsh has shown that certain moduli spaces of stable bundles on $X$ are isomorphic to the Brill-Noether locus of curves in $|H|$ if $g$ is sufficiently large. In this paper, we work with irreducible curves in a non-primitive ample linear system $|mH|$ and prove t…
On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted as $Z^l$-stability, by moving the polarisation towards the fiber direction in the ample cone while keeping the volume of the polarisation fixed. We describe conditions under which a slope stable torsion-free sheaf is taken by a Fourier-Mukai transform to a $Z^l$-stable object, and describe a modification upon which a $Z^l$-semistable object is taken by the inverse Fourier-Mukai transform to a slope semistable torsion-free sheaf. We also study wall-crossing for Bridgeland stability, and show th…
Let S be a projective K3 surface. It is proved that the 0-dimensional cusps of the Kahler moduli of S are in one-to-one correspondence with the twisted Fourier-Mukai partners of S. This leads to a counting formula for the 0-dimensional cusps of the Kahler moduli. Applications to rational maps between K3 surfaces with large Picard numbers are given. When the Picard number of S is 1, the bijective correspondence is calculated explicitly.
We prove the Kobayashi-Hitchin correspondence and the approximate Kobayashi-Hitchin correspondence for twisted holomorphic vector bundles on compact Kähler manifolds. More precisely, if $X$ is a compact manifold and $g$ is a Gauduchon metric on $X$, a twisted holomorphic vector bundle on $X$ is $g-$polystable if and only if it is $g-$Hermite-Einstein, and if $X$ is a compact Kähler manifold and $g$ is a Kähler metric on $X$, then a twisted holomorphic vector bundle on $X$ is $g-$semistable if and only if it is approximate $g-$Hermite-Einstein.
Let $X$ be a complex torus of dimension $g$ and $\hat{X}$ be the dual torus. For any $g(g-1)/2$-tuple $λ$ of complex numbers of absolute value $1$, we define a non-commutative complex torus $X_λ$ as a sheaf of algebras on a real torus of dimension $g$. We prove that if all components of $λ$ are roots of unity, then the category of coherent sheaves on $X_λ$ is abelian and derived-equivalent to the category of coherent sheaves on $\hat{X}$ twisted by an element of the Brauer group of $\hat{X}$ determined by $λ$.
We study rank two locally-free Fourier-Mukai transforms on K3 surfaces and show that they come in two distinct types according to whether the determinant of a suitable twist of the kernel is positive or not. We show that a necessary and sufficient condition on the existence of Fourier-Mukai transforms of rank 2 between the derived categories of K3 surfaces X and Y with negative twisted determinant is that Y is isomorphic to X and there must exist a line bundle with no cohomology. We use these results to prove that all reflexive K3 surfaces (including the degenerate ones) admit Fourier-Mukai tr…
We study polystable Higgs bundles twisted by a line bundle over a compact Kähler manifold. These form a Tannakian category when the first and second Chern classes of the bundle are zero. In this paper we identify the corresponding Tannaka group in the case in which the line bundle is of finite order. This group is described in terms of the pro-reductive completion of the fundamental group of the manifold, and the character associated to the line bundle.
Fibrewise T-duality (Fourier-Mukai transform) for D-branes on an elliptic Calabi-Yau three-fold $X$ is seen to have an expected adiabatic form for its induced cohomology operation only when an appropriately twisted operation resp. twisted charge is defined. Some differences with the case of $K3$ as well as connections with the spectral cover construction for bundles on $X$ are pointed out. In the context of mirror symmetry Kontsevich's association of line bundle twists (resp. a certain 'diagonal' operation) with monodromies (esp. the conifold monodromy) is made explicit and checked for two exa…
We give a construction of NC-smooth thickenings (a notion defined by Kapranov in math/9802041) of a smooth variety equipped with a torsion free connection. We show that a twisted version of this construction realizes all NC-smooth thickenings as 0th cohomology of a differential graded sheaf of algebras, similarly to Fedosov's construction in \cite{Fed}. We use this dg resolution to construct and study sheaves on NC-smooth thickenings. In particular, we construct an NC version of the Fourier-Mukai transform from coherent sheaves on a (commutative) curve to perfect complexes on the canonical NC-…
We study the interplay between the Fourier-Mukai transform and the decomposition theorem for an integrable system $π: M \rightarrow B$. Our main conjecture is that the Fourier-Mukai transform of sheaves of Kähler differentials, after restriction to the formal neighborhood of the zero section, are quantized by the Hodge modules arising in the decomposition theorem for $π$. For an integrable system, our formulation unifies the Fourier-Mukai calculation of the structure sheaf by Arinkin-Fedorov, the theorem of the higher direct images by Matsushita, and the "perverse = Hodge" identity by the seco…
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…
We prove that the twisted Kahler-Einstein metrics that arise on the base of certain holomorphic fiber space with Calabi-Yau fibers have conical-type singularities along the discriminant locus. These fiber spaces arise naturally when studying the collapsing of Ricci-flat Kahler metrics on Calabi-Yau manifolds, and of the Kahler-Ricci flow on compact Kahler manifolds with semiample canonical bundle and intermediate Kodaira dimension. Our results allow us to understand their collapsed Gromov-Hausdorff limits when the base is smooth and the discriminant has simple normal crossings.
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.
A rational Lagrangian fibration f on an irreducible symplecitc variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a rational Lagrangian fibration exists if and only if V has a divisor D with Bogomolov--Beauville square 0. This conjecture is proved in the case when V is the punctual Hilbert scheme of a generic algebraic K3 surface S. The construction of f uses a twisted Fourier--Mukai transform which induces a birational isomorphism of V with a certain moduli space of twi…
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…
We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves on one space and the derived category of twisted sheaves on the other space.
We prove the existence of Kahler-Einstein metrics on a nonsingular section of the Grassmannian $\mathrm{Gr}(2, 5)\subset\mathbb{P}^9$ by a linear subspace of codimension 3, and the Fermat hypersurface of degree 6 in $\mathbb{P}(1,1,1,2,3)$. We also show that a global log canonical threshold of the Mukai--Umemura variety is equal to 1/2.
In general, if M is a moduli space of stable sheaves on X, there is a unique alpha in the Brauer group of M such that a pi_M^* alpha^{-1}-twisted universal sheaf exists on X times M. In this paper we study the situation when X and M are K3 surfaces, and we identify alpha in terms of Mukai's map between the cohomology of X and of M (defined by means of a quasi-universal sheaf). We prove that the derived category of sheaves on X and the derived category of alpha-twisted sheaves on M are equivalent. This suggests a conjecture which describes, in terms of Hodge isometries of lattices, when derived…
We show that a compact Kahler manifold admitting a nondegenerate holomorphic 2-form valued in a line bundle is a finite cyclic cover of a hyperkahler manifold. With respect to the connection induced by the locally hyperkahler metric, the form is parallel. We then describe the structure of the fundamenal group of such manifolds and derive some consequences.
We study the geometry of exceptional loci of birational contractions of hyper-Kähler fourfolds that are of K3$^{[2]}$-type. These loci are conic bundles over K3 surfaces and we determine their classes in the Brauer group. For this we use the results on twisted sheaves on K3 surfaces, on contractions and on the corresponding Heegner divisors. For a general K3 surface of fixed degree there are three (T-equivalence) classes of order two Brauer group elements. The elements in exactly two of these classes are represented by conic bundles on such fourfolds. We also discuss various examples of such c…
Fibrewise T-duality (Fourier-Mukai transform) for D-branes on an elliptic Calabi-Yau $X$ is shown to require naturally an appropriate twisting of the operation respectively a twisted charge. The fibrewise T-duality is furthermore expressed through known monodromies in the context of Kontsevich's interpretation of mirror symmetry.
