Related papers: Formality conjecture for K3 surfaces

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

Mukai proved that the moduli space of simple sheaves on a smooth projective K3 surface is symplectic, and in \cite{FM2} we gave two constructions allowing one to construct new locally closed Lagrangian/isotropic subspaces of the moduli from…

Let S be a K3 surface and S^[n] the Hilbert scheme of length n subschemes of S. Over the cartesian square of S^[n] there exists a natural reflexive rank 2n-2 coherent sheaf E, which is locally free away from the diagonal. The fiber of E,…

We prove that the Chow motives of twisted derived equivalent K3 surfaces are isomorphic, not only as Chow motives (due to Huybrechts), but also as Frobenius algebra objects. Combined with a recent result of Huybrechts, we conclude that two…

For every known Hecke eigenform of weight 3 with rational eigenvalues we exhibit a K3 surface over QQ associated to the form. This answers a question asked independently by Mazur and van Straten. The proof builds on a classification of CM…

We prove the unpolarized Shafarevich conjecture for K3 surfaces: the set of isomorphism classes of K3 surfaces over a fixed number field with good reduction away from a fixed and finite set of places is finite. Our proof is based on the…

In this survey article we describe moduli spaces of simple, stable, and semistable sheaves on K3 surfaces, following the work of Mukai, O'Grady, Huybrechts, Yoshioka, and others. We also describe some recent developments, including…

Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S.…

We investigate the universal Severi variety of rational curves on K3 surfaces, which parametrises irreducible rational curves in a fixed class on varying K3 surfaces of fixed genus. We investigate the conjecuted irreducibility of this space…

Let $f : X \rightarrow Y$ be a dominant generically smooth morphism between irreducible smooth projective curves over an algebraically closed field $k$ such that ${\rm Char}(k)> \text{degree}(f)$ if the characteristic of $k$ is nonzero. We…

In this paper we prove Lie algebroid versions of Tsygan's formality conjecture for Hochschild chains both in the smooth and holomorphic settings. In the holomorphic setting our result implies a version of Tsygan's formality conjecture for…

We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S)…

We construct several examples of genus-one fibered K3 surfaces without a global section with type $I_{n}$ fibers, by considering double covers of a special class of rational elliptic surfaces lacking a global section, known as Halphen…

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

This survey is a continuation of the study undertaken in \cite{AS18}. We examine the local structure of Bridgeland moduli spaces $M_\sigma(v,\D)$, where the relevant triangulated category $\D$ is either the bounded derived category…

In this article, we show that some semi-rigid $\mu$-stable sheaves on a projective K3 surface $X$ with Picard number 1 are stable in the sense of Bridgeland's stability condition. As a consequence of our work, we show that the special set…

Let $X$ be a projective K3 surfaces. In two examples where there exists a fine moduli space $M$ of stable vector bundles on $X$, isomorphic to a Hilbert scheme of points, we prove that the universal family $\mathcal{E}$ on $X\times M$ can…

In this paper we prove that for an affine scheme essentially of finite type over a field $F$ and of dimension $d$, $K_{d+1}$-regularity implies regularity, assuming that the characteristic of $F$ is zero. This verifies a conjecture of…

We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains…

We show that algebraizability of the functors $R^1\pi_*\mathcal{K}^M_{2,X}$ and $R^2\pi_*\mathcal{K}^M_{2,X}$ is a stable birational invariant for smooth and proper varieties $\pi:X\rightarrow k$ defined over an algebraic extension $k$ of…