Related papers: A stronger derived Torelli theorem for K3 surfaces
The Shafarevich conjecture for K3 surfaces asserts the finiteness of isomorphism classes of K3 surfaces over a fixed number field admitting good reduction away from a fixed finite set of finite places. Andr\'{e} proved this conjecture for…
We consider two K3 surfaces defined over an arbitrary field, together with a smooth proper moduli space of stable sheaves on each. When the moduli spaces have the same dimension, we prove that if the \'etale cohomology groups (with Q_ell…
We prove a few cases of a conjecture on the invariance of cohomological support loci under derived equivalence by establishing a concrete connection with the related problem of the invariance of Hodge numbers. We use the main case in order…
We study the symplectic topology of certain K3 surfaces (including the "mirror quartic" and "mirror double plane"), equipped with certain K\"ahler forms. In particular, we prove that the symplectic Torelli group may be infinitely generated,…
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the…
Index maps taking values in the $K$-theory of a mapping cone are defined and discussed. The resulting index theorem can be viewed in analogy with the Freed-Melrose index theorem. The framework of geometric $K$-homology is used in a…
The more recent paper "Generic strange duality for K3 surfaces" by the authors contains stronger results.
We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $\pi_{0}(Diff(K3)) \to Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second…
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…
Let $X$ and $Y$ be smooth projective varieties over a field $k$ admitting morphisms $f:X \to T$ and $g:Y \to T$ to a third variety $T$. We formulate conditions on a derived equivalence $\Phi:D(X) \to D(Y)$ ensuring that $\Phi$ is induced by…
We prove that very general, dual Gushel-Mukai surfaces are not isomorphic, though derived and L-equivalent. We use this result to study two semiorthogonal decompositions for a family of Fano fourfolds of K3 type, answering a question by…
We give sharp lower bounds for the degree of the syzygies involving the partial derivatives of a homogeneous polynomial defining an even dimensional nodal hypersurface. This implies the validity of formulas due to M. Saito, L. Wotzlaw and…
In this paper, we establish a derived Torelli Theorem for twisted abelian varieties. Starting from this, we explore the relation between derived isogenies and classical isogenies. We show that two abelian varieties of dimension $\geq 2$ are…
In this note we interpret a recent result of Gaberdiel, Hohenegger and Volpato in terms of derived equivalences of K3 surfaces. We prove that there is a natural bijection between subgroups of the Conway group Co_1 with invariant lattice of…
These notes will give an introduction to the theory of K3 surfaces. We begin with some general results on K3 surfaces, including the construction of their moduli space and some of its properties. We then move on to focus on the theory of…
We consider threefolds that admit a fibration by K3 surfaces over a nonsingular curve, equipped with a divisorial sheaf that defines a polarisation of degree two on the general fibre. Under certain assumptions on the threefold we show that…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
We consider relationships between families of K3 surfaces, in the context of string theory. An important ingredient of string theory also of interest in algebraic geometry is T-duality. Donagi and Pantev have extended the original duality…
We prove that the gonality among the smooth curves in a complete linear system on a $K3$ surface is constant except for the Donagi-Morrison example. This was proved by Ciliberto and Pareschi under the additional condition that the linear…
We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof…