Related papers: Hilbert squares: derived categories and deformatio…

This is the second in a series of two papers developing a moduli-theoretic framework for differential ideal sheaves associated with formally integrable, involutive systems of algebraic partial differential equations (PDEs). Building on…

Let $X\to C$ be an elliptic surface with integral fibers and a section. The Hilbert scheme $X^{[n]}$ fibers over $C^{[n]}$. We construct a commutative group scheme over the entire base $C^{[n]}$ that embeds as an open subscheme of the…

Let $M(d,\chi)$ be the moduli space of semistable 1-dimensional sheaves supported at curves of degree $d$ on $\mathbb{P}^2$, with Euler characteristic $\chi$. We have the Hilbert-Chow morphism $\pi: M(d,\chi)\rightarrow |dH|$ sending each…

The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…

We study birational maps among 1) the moduli space of semistable torsion sheaves of Hilbert polynomial $4m+2$ on a smooth quadric surface, 2) the moduli space of semistable torsion sheaves of Hilbert polynomial $m^{2}+3m+2$ on…

We analyse the geometry of Hilbert schemes of points on abelian surfaces and Beauville's generalized Kummer varieties in positive characteristics. The main result is that, in characteristic two, the addition map from the Hilbert scheme of…

For a cubic hypersurface $X$, work of Galkin--Shinder and Voisin shows the existence of a birational map relating the Hilbert scheme of two points $X^{[2]}$ with a certain projective bundle over $X$. Belmans--Fu--Raedschelders show that…

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…

We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical…

Let $X$, $Y$ be smooth projective varieties over $\mathbf{C}$. Let $K$ be a bounded complex of coherent sheaves on $X\times Y$ and let $\Phi_K \colon \mathsf{D}^b_{\mathsf{Coh}}(X) \to \mathsf{D}^b_{\mathsf{Coh}}(Y)$ be the resulting…

In this paper we study the Hilbert scheme, Hilb(P), of equidimensional locally Cohen-Macaulay codimension 2 subschemes, with a special look to surfaces in P^4 and 3-folds in P^5, and the Hilbert scheme stratification H_{c} of constant…

We prove the standard conjectures for complex projective varieties that are deformations of the Hilbert scheme of points on a K3 surface. The proof involves Verbitsky's theory of hyperholomorphic sheaves and a study of the cohomology…

This paper studies stable sheaves on abelian surfaces of Picard number one. Our main tools are semi-homogeneous sheaves and Fourier-Mukai transforms. We introduce the notion of semi-homogeneous presentation and investigate the behavior of…

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 $\phi : X - - \to X^+$ be a Mukai flop with centers $Y \subset X$ and $Y^+…

Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula…

In the prequel to this paper, two versions of Le Potier's strange duality conjecture for sheaves over abelian surfaces were studied. A third version is considered here. In the current setup, the isomorphism involves moduli spaces of sheaves…

We consider the geometry of a general polarized K3 surface $(S,h)$ of genus 16 and its Fourier-Mukai partner $(S',h')$. We prove that $S^{[2]}$ is isomorphic to the moduli space $M_{S'}(2,h',7)$ of stable sheaves with Mukai vector…

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…

This paper surveys some recent results about Fourier--Mukai functors. In particular, given an exact functor between the bounded derived categories of coherent sheaves on two smooth projective varieties, we deal with the question whether…

Let $X$ be a complex smooth projective variety of dimension $d$. Under some assumption on the cohomology of $X$, we construct mutually orthogonal idempotents in $CH_d(X \times X) \otimes \Q$ whose action on algebraically trivial cycles…