Related papers: A stronger derived Torelli theorem for K3 surfaces
We show that birational hyper-K\"ahler varieties of $K3^{[n]}$-type are derived equivalent, establishing the D-equivalence conjecture in these cases. The Fourier-Mukai kernels of our derived equivalences are constructed from projectively…
We prove that a coherent DQ-kernel induces an equivalence between the derived categories of DQ-modules with coherent cohomology if and only if the graded commutative kernel associated to it induces an equivalence between the derived…
We give in this paper an isomorphism theorem between derived functors over categories of modules.There is a nice class of categories that gives examples in which this theorem applies for a special construction. This leads us to a new…
Given a Fourier-Mukai transform $\Phi$ 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 $\Phi$ is an…
This paper introduces a reformulation of the classical convergence theorem for spectral sequences of filtered complexes which provides an algorithm to effectively compute the induced filtration on the total (co)homology, as soon as the…
We introduce a theoretical framework for differentiable surface evolution that allows discrete topology changes through the use of topological derivatives for variational optimization of image functionals. While prior methods for inverse…
We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism…
The conjectural equivalence of curve counting on Calabi-Yau 3-folds via stable maps and stable pairs is discussed. By considering Calabi-Yau 3-folds with K3 fibrations, the correspondence naturally connects curve and sheaf counting on K3…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
In this note we prove analogues of the main theorems of complex multiplication for abelian varieties for K3 surfaces. This is done by studying the field of definition of the period morphism for complex K3 surfaces. More precisely we relate…
McMullen proved that there exists an automorphism of minimal topological entropy on a projective K3 surface. We derive equations for the surface and its automorphism. We reconstruct the surface and its automorphism from the Hodge theoretic…
In the special case of S^1 invariant metrics on S^2, we find necessary and sufficient conditions for the existence of isometric embeddings into the canonical R^3, in other words: a Weyl type theorem with converse.
Recent discoveries make it possible to compute the K-theory of certain rings from their cyclic homology and certain versions of their cdh-cohomology. We extend the work of G. Corti\~nas et al. who calculated the K-theory of, in addition to…
Motivated by the question of rationality of cubic fourfolds, we show that a cubic X has an associated K3 surface in the sense of Hassett if and only if the variety F of lines on X is birational to a moduli space of sheaves on a K3 surface,…
We prove an extension to the simplicial Nerve Lemma which establishes isomorphism of persistent homology groups, in the case where the covering spaces are filtered. While persistent homology is now widely used in topological data analysis,…
We report on a new approach, as well as some related experiments, to construct families of K3 surfaces having real or complex multiplication. The approach is based on an explicit description of the transcendental part of the cohomology in a…
Given $X$ a K3 surface admitting a symplectic automorphism $\tau$ of order 4, we describe the isometry $\tau^*$ on $H^2(X,\mathbb Z)$. Having called $\tilde Z$ and $\tilde Y$ respectively the minimal resolutions of the quotient surfaces…
We construct a filtration of chiral Hodge cohomolgy of a K3 surface $X$, such that its associated graded object is a unitary representation of the N=4 vertex algebra with central charge $6$ and its subspace of primitive vectors has the…
The B-side of Kontsevich's Homological Mirror Symmetry Conjecture is discussed. We give first a self-contained study of derived categories and their homological algebra, and later restrict to the bounded derived category of schemes and…
In this paper we prove the equivalence of two conjectures on linear systems through fat points on a generic K3 surface. The first conjecture is exactly as Segre conjecture on the projective plane. Whereas the second characterizes such…