Related papers: Formality conjecture for K3 surfaces

Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models…

This paper studies formality of the differential graded algebra $RHom(E,E)$, where $E$ is a semistable sheaf on a K3 surface. The main tool is Kaledin's theorem on formality in families. For a large class of sheaves $E$, this DG algebra is…

We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable…

Using the algebraic criterion proved by Bandiera, Manetti and Meazzini, we show the formality conjecture for universally gluable objects with linearly reductive automorphism groups in the bounded derived category of a K3 surface. As an…

We give an existence result on (H,A)-stable sheaves on a K3 or abelian surface X with primitive triple of invariants (rank,first Chern class,Euler characteristics) in the integral cohomology lattice. Such a result yields the existence of…

Inspired by Mukai's work on K3 surfaces, we introduce and study a notion of semi-rigidity for stable sheaves on smooth polarised varieties, designed to capture the existence of stable deformations of direct sums. We show that semi-rigidity…

We give a new proof of the following theorem: moduli spaces of stable complexes on a complex projective K3 surface, with primitive Mukai vector and with respect to a generic Bridgeland stability condition, are hyperk\"{a}hler varieties of…

We provide proper foundations and proofs for the main results of [Ka]. The results include a flat base change for formality and behavior of formality in flat families of $A(\infty)$ and DG algebras.

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

We review a proof of the well know result stating that moduli spaces of stable sheaves with fixed Chern character on a polarized $K3$ surface are deformations of a hyperk\"ahler variety of Type $K3^{[n]}$ (if a suitable numerical hypothesis…

For a class of K3 surfaces, the action of a Lie algebra which is a certain affinization of a Kac-Moody algebra is given on the cohomology of the moduli spaces of rank 1 torsion free sheaves on the surface. This action is generated by…

We show that some Gieseker stable sheaves on a projective K3 surface $X$ are stable with respect to a stability condition of Bridgeland on the derived category of $X$ if the stability condition is in explicit subsets of the space of…

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 interprete results of Markman on monodromy operators as a universality statement for descendent integrals over moduli spaces of stable sheaves on $K3$ surfaces. This yields effective methods to reduce these descendent integrals to…

We prove that, if $n\geq 3$, a singular foliation $\mathcal{F}$ on $\mathbb P^n$ which can be written as pull-back, where $\mathcal{G}$ is a foliation in $ {\mathbb P^2}$ of degree $d\geq2$ with one or three invariant lines in general…

Let M be a 2n-dimensional smooth and compact moduli space of stable sheaves on a K3 surface S and U a universal sheaf over S x M. Over M x M there exists a natural reflexive sheaf E of rank 2n-2, namely the first relative extension sheaf of…

We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…

Let X be a K3 surface and M a smooth and projective moduli space of stable sheaves on X of Mukai vector v. A universal sheaf U over X x M induces an integral transform F from the derived category D(X) of coherent sheaves on X to that on M.…

Let S be a smooth projective surface, K be the canonical class of S and H be an ample divisor such that H.K<0 . In this paper we prove that for any rigid (Ext^1(F,F)=0) semistable sheaf F in the sense of Mumford--Takemoto stability w.r.t. H…

We describe the constructible derived category of sheaves on the $n$-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial…