No Arabic abstract
On a Weierstra{ss} 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 that 1-dimensional twisted Gieseker semistable sheaves are taken by a Fourier-Mukai transform to Bridgeland semistable objects.
We consider elliptic fibrations with arbitrary base dimensions, and generalise previous work by the second author. In particular, we check universal closedness for the moduli of semistable objects with respect to a polynomial stability that reduces to PT-stability on threefolds. We also show openness of this polynomial stability. On the other hand, we write down criteria under which certain 2-term polynomial semistable complexes are mapped to torsion-free semistable sheaves under a Fourier-Mukai transform. As an application, we construct an open immersion from a moduli of complexes to a moduli of Gieseker stable sheaves on higher dimensional elliptic fibrations.
We show that the adjunction counits of a Fourier-Mukai transform $Phi$ from $D(X_1)$ to $D(X_2)$ arise from maps of the kernels of the corresponding Fourier-Mukai transforms. In a very general setting of proper separable schemes of finite type over a field we write down these maps of kernels explicitly -- facilitating the computation of the twist (the cone of an adjunction counit) of $Phi$. We also give another description of these maps, better suited to computing cones if the kernel of $Phi$ is a pushforward from a closed subscheme $Z$ of $X_1 times X_2$. Moreover, we show that we can replace the condition of properness of the ambient spaces $X_1$ and $X_2$ by that of $Z$ being proper over them and still have this description apply as is. This can be used, for instance, to compute spherical twists on non-proper varieties directly and in full generality.
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.
Orlovs 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.
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 and still satisfy the above result.