Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-05T02:35:40.496Z Has data issue: false hasContentIssue false

Formality conjecture for K3 surfaces

Published online by Cambridge University Press:  23 April 2019

Nero Budur
Affiliation:
KU Leuven, Celestijnenlaan 200B, B-3001 Leuven, Belgium email [email protected] https://www.kuleuven.be/wis/algebra/budur
Ziyu Zhang
Affiliation:
Institut für algebraische Geometrie, Leibniz Universität Hannover, Welfengarten 1, 30167 Hannover, Germany email [email protected] https://ziyuzhang.github.io
Rights & Permissions [Opens in a new window]

Abstract

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the differential graded (DG) algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal for any sheaf $F$ polystable with respect to an ample line bundle. Our main tool is the uniqueness of the DG enhancement of the bounded derived category of coherent sheaves. We also extend the formality result to derived objects that are polystable with respect to a generic Bridgeland stability condition.

Type
Research Article
Copyright
© The Authors 2019 

1 Introduction

A differential graded (DG) algebra is said to be formal if it is quasi-isomorphic to its homology algebra. Formality is a central concept with roots in real homotopy theory [Reference Deligne, Griffiths, Morgan and SullivanDGMS75], deformation quantization [Reference KontsevichKon03], and deformation theory [Reference Goldman and MillsonGM88]. The presence of formality is in general difficult to prove and has important consequences: in topology, formality implies vanishing of all Massey products; in deformation quantization, it implies that every Poisson manifold has a deformation quantization; in deformation theory, it implies that the underlying derived, or non-commutatively thickened, moduli spaces are locally defined by cup products, leading to a linear-algebraic (quiver) interpretation. The following conjecture was made by Kaledin and Lehn in [Reference Kaledin and LehnKL07].

Conjecture 1.1. For a projective K3 surface $X$ with a generic polarization $H$ , let $F$ be a $H$ -polystable coherent sheaf on $X$ . Then the DG algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal.

In this paper we prove two generalizations of this conjecture.

Theorem 1.2. For a projective K3 surface $X$ with an arbitrary polarization $H$ , let $F$ be an $H$ -polystable coherent sheaf on $X$ . Then the DG algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal.

Theorem 1.3. Let $X$ be a projective K3 surface, $\mathbf{v}$ a Mukai vector, and $\unicode[STIX]{x1D70E}\in \operatorname{Stab}^{\dagger }(X)$ a Bridgeland stability condition that is generic with respect to $\mathbf{v}$ . For any $\unicode[STIX]{x1D70E}$ -polystable derived object $F$ of Mukai vector $\mathbf{v}$ , the DG algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal.

Conjecture 1.1 was proved in [Reference Kaledin and LehnKL07] for $F={\mathcal{I}}_{Z}^{\oplus n}$ , where ${\mathcal{I}}_{Z}$ is the ideal sheaf of a zero-dimensional closed subscheme. In [Reference ZhangZha12], the conjecture was proved in a few more cases; see Proposition 3.1. It was also pointed out in [Reference ZhangZha12] that the technique from [Reference Kaledin and LehnKL07] is no longer enough for tackling the remaining cases. In this paper we explore the following new idea.

Proposition 1.4. For smooth projective varieties $X$ and $Y$ , let

$$\begin{eqnarray}\unicode[STIX]{x1D6F7}:D^{b}(\operatorname{Coh}(X))\longrightarrow D^{b}(\operatorname{Coh}(Y))\end{eqnarray}$$

be a derived equivalence. Then for any object $F\in D^{b}(\operatorname{Coh}(X))$ , the DG algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal if and only if $\operatorname{RHom}^{\bullet }(\unicode[STIX]{x1D6F7}(F),\unicode[STIX]{x1D6F7}(F))$ is formal.

The main ingredient in the proof of Proposition 1.4 is a theorem of Lunts and Orlov [Reference Lunts and OrlovLO10, Theorem 2.14] stating that, for a smooth projective variety $X$ , $D^{b}(\operatorname{Coh}(X))$ admits a strongly unique DG enhancement. The proof of Theorem 1.2 follows easily from Proposition 1.4: given any polystable sheaf $F$ , there exists some Fourier–Mukai transform $\unicode[STIX]{x1D6F7}$ by [Reference YoshiokaYos09, Theorem 1.7], such that $\unicode[STIX]{x1D6F7}(F)$ is a polystable sheaf and satisfies the assumption required in [Reference ZhangZha12]. Similarly, Theorem 1.3 is reduced to Theorem 1.2 by applying autoequivalences of $D^{b}(\operatorname{Coh}(X))$ constructed using [Reference BridgelandBri08, Reference YoshiokaYos09, Reference Bayer and MacrìBM14a, Reference Bayer and MacrìBM14b].

For the relation between Conjecture 1.1 and non-commutative deformation theory see, for example, [Reference TodaTod17]; for the relation to derived deformation theory see [Reference ToënToe17]. Formality implies that all non-trivial analogs of the higher Massey products on $\operatorname{Ext}^{\bullet }(F,F)$ are zero. Thus our results imply immediately the local quadraticity of the Kuranishi spaces of polystable sheaves on K3 surfaces obtained by [Reference YoshiokaYos16, Corollary 0.6], and in a particular case by [Reference Arbarello and SaccàAS18, Theorem 3.7]. Our approach of reducing everything to [Reference ZhangZha12] is inspired by their approaches.

Our results have several other immediate implications. We can recover the main theorem of [Reference Arbarello and SaccàAS18, Theorem 1.1] on symplectic resolutions of moduli spaces ${\mathcal{M}}_{X,H}(\mathbf{v})$ of $H$ -semistable sheaves on K3 surfaces via variations of geometric invariant theory quotients of quiver varieties, by combining Theorem 1.2 and [Reference TodaTod18, Theorem 1.3], as explained in [Reference TodaTod18]. We can also obtain that ${\mathcal{M}}_{X,H}(\mathbf{v})$ has symplectic singularities for arbitrary polarizations $H$ , by combining Theorem 1.2 and [Reference Bellamy and SchedlerBS16, Proposition 1.2], which generalizes slightly [Reference Kaledin, Lehn and SorgerKLS06, Theorem 6.2]. Moreover, our results and the recent [Reference BudurBud18] imply immediately that the Kuranishi spaces of polystable sheaves have rational singularities; see [Reference BudurBud18, Remarks 3.5 and 4.5].

It is worth noting that Theorem 1.2 fails if $F$ is not polystable. In [Reference Lekili and UedaLU18] several families of K3 surfaces $X$ are exhibited, on which the formality of $\operatorname{RHom}^{\bullet }(F,F)$ fails for a split generator $F$ of $D^{b}(\operatorname{Coh}(X))$ .

Our results should have a symplectic counterpart. Kontsevich’s homological mirror symmetry conjecture says that $D^{b}(\operatorname{Coh}(X))$ is equivalent to a triangulated category constructed from the symplectic geometry of the mirror of a Calabi–Yau manifold $X$ . Our Corollary 2.15 below guarantees that formality would be mirrored. However, before any mirror conclusions can be drawn, a technical hurdle must be passed: we use $\mathbb{C}$ coefficients, whereas homological mirror symmetry uses Novikov rings; see [Reference SeidelSei15].

Throughout this paper, the ground field is $\mathbb{C}$ , except in § 2 and in Proposition 1.4 where we can allow an arbitrary ground field $\Bbbk$ . In § 2 we prove Proposition 1.4, while the proofs of Theorems 1.2 and 1.3 are given in § 3.

At the request of the referees, we have removed in this version some material known to experts. The considerably more detailed earlier version [Reference Budur and ZhangBZ18] of this paper remains available on arXiv.

2 Formality via uniqueness of DG enhancement

2.1 Generalities on DG categories

We gather together some classical concepts mainly following [Reference Lunts and OrlovLO10]. We work over a fixed field  $\Bbbk$ . All categories are assumed to be small and $\Bbbk$ -linear.

Definition 2.1. A DG category is a $\Bbbk$ -linear category $\mathscr{A}$ whose morphism spaces $\operatorname{Hom}(A_{1},A_{2})$ are DG $\Bbbk$ -modules (also known as complexes of $\Bbbk$ -vector spaces), such that

(1) $$\begin{eqnarray}\operatorname{Hom}_{\mathscr{A}}(A_{1},A_{2})\otimes \operatorname{Hom}_{\mathscr{A}}(A_{2},A_{3})\longrightarrow \operatorname{Hom}_{\mathscr{A}}(A_{1},A_{3})\end{eqnarray}$$

are morphisms of DG $\Bbbk$ -modules for any objects $A_{1},A_{2},A_{3}\in \operatorname{Ob}(\mathscr{A})$ . Moreover, for any $A\in \operatorname{Ob}(\mathscr{A})$ , there is an identity morphism $1_{A}\in \operatorname{Hom}_{\mathscr{A}}(A,A)$ which is closed of degree $0$ and compatible with the composition.

Remark 2.2. The definition implies that the graded Leibniz rule holds and $\operatorname{Hom}_{\mathscr{A}}(A,A)$ is a DG algebra for any $A\in \operatorname{Ob}(\mathscr{A})$ .

Definition 2.3. The homotopy category $H^{0}(\mathscr{A})$ of a DG category $\mathscr{A}$ is a $\Bbbk$ -linear category with the same objects as in $\mathscr{A}$ and morphism spaces

$$\begin{eqnarray}\operatorname{Hom}_{H^{0}(\mathscr{A})}(A_{1},A_{2})=H^{0}(\operatorname{Hom}_{\mathscr{ A}}(A_{1},A_{2}))\end{eqnarray}$$

for any $A_{1},A_{2}\in \operatorname{Ob}(\mathscr{A})$ .

Definition 2.4. A DG functor ${\mathcal{F}}:\mathscr{A}\rightarrow \mathscr{B}$ between two DG categories is given by a map of sets

$$\begin{eqnarray}{\mathcal{F}}:\operatorname{Ob}(\mathscr{A})\rightarrow \operatorname{Ob}(\mathscr{B})\end{eqnarray}$$

and morphisms of DG $\Bbbk$ -modules

$$\begin{eqnarray}{\mathcal{F}}(A_{1},A_{2}):\operatorname{Hom}_{\mathscr{A}}(A_{1},A_{2})\longrightarrow \operatorname{Hom}_{\mathscr{B}}({\mathcal{F}}(A_{1}),{\mathcal{F}}(A_{2}))\end{eqnarray}$$

for any $A_{1},A_{2}\in \operatorname{Ob}(\mathscr{A})$ , compatible with compositions (1) and units.

Definition 2.5. A DG functor ${\mathcal{F}}:\mathscr{A}\rightarrow \mathscr{B}$ is called a quasi-equivalence if ${\mathcal{F}}(X,Y)$ is a quasi-isomorphism for any $X,Y\in \operatorname{Ob}(\mathscr{A})$ and the induced functor on the homotopy categories

$$\begin{eqnarray}H^{0}({\mathcal{F}}):H^{0}(\mathscr{A})\longrightarrow H^{0}(\mathscr{B})\end{eqnarray}$$

is an equivalence of categories.

Remark 2.6. In fact, instead of requiring $H^{0}({\mathcal{F}})$ to be an equivalence, it is sufficient to require it to be essentially surjective, as the full faithfulness is already encoded in the quasi-isomorphisms of morphism spaces. See, for example, [Reference ToënToe11, Definition 2, § 2.3].

We denote the category of small DG categories with DG functors as morphisms by dgCat, and its localization with respect to quasi-equivalences by Hqe. It was proven in [Reference TabuadaTab05] that dgCat has the structure of a model category, with quasi-equivalences being the weak equivalences in the model structure. Then Hqe is the homotopy category of this model category. One special property of this model structure on dgCat is that every small DG category is a fibrant object.

Definition 2.7. A morphism between two DG categories in Hqe is called a quasi-functor. We say that two DG categories are quasi-equivalent if they are isomorphic in Hqe.

By this definition, two quasi-equivalent DG categories can be connected by a zigzag chain of DG functors with alternative arrow directions. In fact, one has the following simpler presentation for a quasi-functor (see [Reference Lunts and OrlovLO10, p. 858]; we supply a proof for the sake of completeness).

Lemma 2.8. Let $\mathscr{A}$ and $\mathscr{B}$ be DG categories. Any quasi-functor from $\mathscr{A}$ to $\mathscr{B}$ can be represented by the diagram

(2) $$\begin{eqnarray}\mathscr{A}\stackrel{f}{\longleftarrow }\mathscr{C}\stackrel{g}{\longrightarrow }\mathscr{B},\end{eqnarray}$$

where $\mathscr{C}$ is a DG category, $f$ and $g$ are DG functors, with $f$ being a quasi-equivalence. Moreover, $\mathscr{A}$ and $\mathscr{B}$ are quasi-equivalent if and only if $g$ is also a quasi-equivalence.

Proof. By the fundamental theorem of model categories [Reference HoveyHov99, Theorem 1.2.10(ii)], we can represent a quasi-functor from $\mathscr{A}$ to $\mathscr{B}$ by a DG functor $\mathscr{C}\stackrel{g}{\longrightarrow }\mathscr{D}$ , where $\mathscr{C}\stackrel{f}{\longrightarrow }\mathscr{A}$ is a cofibrant replacement of $\mathscr{A}$ , and $\mathscr{B}\stackrel{h}{\longrightarrow }\mathscr{D}$ is a fibrant replacement of $\mathscr{B}$ . Since $\mathscr{B}$ itself is a fibrant object, we can choose $\mathscr{D}=\mathscr{B}$ and $h$ the identity functor. Hence we get (2). The other statement follows from [Reference HoveyHov99, Theorem 1.2.10(iv)].◻

For any DG category $\mathscr{A}$ , the pre-triangulated hull $\mathscr{A}^{\text{pre\text{-}tr}}$ of $\mathscr{A}$ was constructed in [Reference Bondal and KapranovBK91] by formally adding to $\mathscr{A}$ all shifts, all cones of morphisms, and cones of morphisms between cones, etc. There is a canonical embedding of DG categories $\mathscr{A}{\hookrightarrow}\mathscr{A}^{\text{pre\text{-}tr}}$ .

Definition 2.9. A DG category $\mathscr{A}$ is said to be pre-triangulated if, for every object $A\in \mathscr{A}$ and $n\in \mathbb{Z}$ , the object $A[n]\in \mathscr{A}^{\text{pre\text{-}tr}}$ is homotopy equivalent to an object in $\mathscr{A}$ , and for every closed morphism $f$ in $\mathscr{A}$ of degree $0$ , the object $\operatorname{Cone}(f)\in \mathscr{A}^{\text{pre\text{-}tr}}$ is homotopy equivalent to an object in $\mathscr{A}$ .

Remark 2.10. In other words, a DG category $\mathscr{A}$ is pre-triangulated if and only if the DG functor $\mathscr{A}{\hookrightarrow}\mathscr{A}^{\text{pre\text{-}tr}}$ is a quasi-equivalence; equivalently, the embedding of the homotopy categories $H^{0}(\mathscr{A}){\hookrightarrow}H^{0}(\mathscr{A}^{\text{pre-tr}})$ is an equivalence. In such a case, $H^{0}(\mathscr{A})$ is naturally a triangulated category.

Definition 2.11. A DG enhancement of a triangulated category $\mathscr{T}$ is a pair $(\mathscr{B},e)$ , where $\mathscr{B}$ is a pre-triangulated DG category and $e:H^{0}(\mathscr{B})\rightarrow \mathscr{T}$ is an equivalence of triangulated categories.

Definition 2.12. We say that a triangulated category $\mathscr{T}$ has a unique DG enhancement if, given two DG enhancements $(\mathscr{B},e)$ and $(\mathscr{B}^{\prime },e^{\prime })$ of $\mathscr{T}$ , there exists a quasi-functor ${\mathcal{F}}:\mathscr{B}\rightarrow \mathscr{B}^{\prime }$ such that $H^{0}({\mathcal{F}}):H^{0}(\mathscr{B})\rightarrow H^{0}(\mathscr{B}^{\prime })$ is an equivalence of triangulated categories. We say that $\mathscr{T}$ has a strongly unique DG enhancement if, moreover, ${\mathcal{F}}$ can be chosen so that the functors $e$ and $e^{\prime }\circ H^{0}({\mathcal{F}})$ are isomorphic.

2.2 Preservation of formality

We explain now why the uniqueness of the DG enhancement of a triangulated category helps with formality problems. The key is the following result. Although it might be known to experts, we nevertheless supply a proof since we do not know of any in the literature.

Proposition 2.13. Let $(\mathscr{B}_{1},e_{1})$ and $(\mathscr{B}_{2},e_{2})$ be DG enhancements of a triangulated category $\mathscr{T}$ . Let $T\in \operatorname{Ob}(\mathscr{T})$ , $B_{1}\in \operatorname{Ob}(\mathscr{B}_{1})$ , $B_{2}\in \operatorname{Ob}(\mathscr{B}_{2})$ , such that $T$ , $e_{1}(B_{1})$ and $e_{2}(B_{2})$ are isomorphic in $\mathscr{T}$ . Assume that $\mathscr{T}$ has a strongly unique DG enhancement. Then $\operatorname{Hom}_{\mathscr{B}_{1}}(B_{1},B_{1})$ and $\operatorname{Hom}_{\mathscr{B}_{2}}(B_{2},B_{2})$ are quasi-isomorphic DG algebras.

Proof. For $i=1$ and $2$ , we construct a full subcategory $\mathscr{C}_{i}$ of $\mathscr{B}_{i}$ , whose objects are given by

$$\begin{eqnarray}\operatorname{Ob}(\mathscr{C}_{i})=\operatorname{Ob}(\mathscr{B}_{i})\backslash \{B\in \operatorname{Ob}(\mathscr{B}_{i})\mid e_{i}(B)\cong T\text{ in }\mathscr{T},B\neq B_{i}\}.\end{eqnarray}$$

Clearly $\mathscr{C}_{i}$ is also a DG category. We claim it is pre-triangulated. Indeed, let $\mathscr{B}_{i}^{\text{pre\text{-}tr}}$ and $\mathscr{C}_{i}^{\text{pre\text{-}tr}}$ be the pre-triangulated hulls of $\mathscr{B}_{i}$ and $\mathscr{C}_{i}$ respectively. Then all functors in the commutative diagram

are fully faithful. By the assumption that $\mathscr{B}_{i}$ is pre-triangulated, the upper horizontal arrow is an equivalence. By the construction of $\mathscr{C}_{i}$ , the left vertical arrow is also an equivalence. In particular, they are essentially surjective. Hence the bottom horizontal arrow must be essentially surjective, hence an equivalence, which proves that $\mathscr{C}_{i}$ is a pre-triangulated DG category. Moreover, since the composition

$$\begin{eqnarray}H^{0}(\mathscr{C}_{i}){\hookrightarrow}H^{0}(\mathscr{B}_{i})\stackrel{e_{i}}{\rightarrow }\mathscr{T}\end{eqnarray}$$

is an equivalence of categories, we conclude that $\mathscr{C}_{i}$ is a DG enhancement of $\mathscr{T}$ .

By assumption, $\mathscr{T}$ has a strongly unique DG enhancement. Therefore, by Lemma 2.8, there exists some DG category $\mathscr{C}_{0}$ such that both functors $f_{1}$ and $f_{2}$ in the roof

$$\begin{eqnarray}\mathscr{C}_{1}\stackrel{f_{1}}{\longleftarrow }\mathscr{C}_{0}\stackrel{f_{2}}{\longrightarrow }\mathscr{C}_{2}\end{eqnarray}$$

are quasi-equivalences. In particular, all functors in the diagram

are equivalences of categories, and the diagram is $2$ -commutative (the two compositions from $H^{0}(\mathscr{C}_{0})$ to $\mathscr{T}$ are isomorphic functors).

By the essential surjectivity of $f_{1}$ , there exists some $B_{0}\in \operatorname{Ob}(\mathscr{C}_{0})$ , such that $f_{1}(B_{0})\cong B_{1}$ in $H^{0}(\mathscr{C}_{1})$ . By the construction of $\mathscr{C}_{1}$ , we know that $B_{1}$ is the only object in its isomorphism class of objects in $H^{0}(\mathscr{C}_{1})$ , hence $f_{1}(B_{0})=B_{1}$ . By the $2$ -commutativity of the diagram, the images of $f_{2}(B_{0})$ and $B_{2}$ are both isomorphic to $T$ in $\mathscr{T}$ , hence $f_{2}(B_{0})$ and $B_{2}$ themselves are in the same isomorphism class of objects in $H^{0}(\mathscr{C}_{2})$ , which implies $f_{2}(B_{0})=B_{2}$ by the construction of the category $\mathscr{C}_{2}$ .

Since $f_{1}$ and $f_{2}$ are quasi-equivalences, the morphism

$$\begin{eqnarray}f_{i}(B_{0},B_{0}):\operatorname{Hom}_{\mathscr{C}_{0}}(B_{0},B_{0})\longrightarrow \operatorname{Hom}_{\mathscr{C}_{i}}(B_{i},B_{i})\end{eqnarray}$$

is a quasi-isomorphism of DG algebras for $i=1$ and $2$ . Since $\mathscr{C}_{i}$ is a full subcategory of $\mathscr{B}_{i}$ for $i=1$ and $2$ , we conclude that $\operatorname{Hom}_{\mathscr{B}_{1}}(B_{1},B_{1})$ and $\operatorname{Hom}_{\mathscr{B}_{2}}(B_{2},B_{2})$ are quasi-isomorphic DG algebras.◻

Remark 2.14. Under the assumption of the above proposition, we can associate canonically to any $T\in \operatorname{Ob}(\mathscr{T})$ a DG algebra $\operatorname{Hom}_{\mathscr{B}_{1}}(B_{1},B_{1})$ (for any lift $B_{1}$ of $T$ in any DG enhancement $\mathscr{B}_{1}$ of $\mathscr{T}$ ), which is well defined up to quasi-isomorphisms. For convenience, we will denote this (quasi-isomorphism class of) DG algebra by $\operatorname{RHom}^{\bullet }(T,T)$ .

The following alternative formulation of the proposition is useful.

Corollary 2.15. Let $\unicode[STIX]{x1D6F7}:\mathscr{T}_{1}\rightarrow \mathscr{T}_{2}$ be an equivalence of triangulated categories. Assume that $\mathscr{T}_{2}$ (hence $\mathscr{T}_{1}$ ) has a strongly unique DG enhancement. Then, for any object $T\in \operatorname{Ob}(\mathscr{T}_{1})$ , the DG algebras $\operatorname{RHom}^{\bullet }(T,T)$ and $\operatorname{RHom}^{\bullet }(\unicode[STIX]{x1D6F7}(T),\unicode[STIX]{x1D6F7}(T))$ are quasi-isomorphic. In particular, $\operatorname{RHom}(T,T)$ is formal if and only if $\operatorname{RHom}(\unicode[STIX]{x1D6F7}(T),\unicode[STIX]{x1D6F7}(T))$ is formal. ◻

Proof of Proposition 1.4.

The proposition follows immediately from Corollary 2.15 and [Reference Lunts and OrlovLO10, Theorem 2.14] which states that $D^{b}(\operatorname{Coh}(X))$ has a strongly unique DG enhancement for a smooth projective variety $X$ .◻

3 Formality on K3 surfaces

3.1 Formality for coherent sheaves

From now on, $(X,H)$ is a complex projective K3 surface and $\Bbbk =\mathbb{C}$ . Let $F$ be a coherent sheaf on $X$ . The Mukai vector of $F$ is

$$\begin{eqnarray}\mathbf{v}=\operatorname{ch}(F)\cdot \sqrt{\operatorname{td}(X)}\in H^{0}(X,\mathbb{Z})\oplus \operatorname{NS}(X)\oplus H^{4}(X,\mathbb{Z})=H_{\text{alg}}^{\ast }(X,\mathbb{Z}).\end{eqnarray}$$

If we write $\mathbf{v}=(\mathbf{v}_{0},\mathbf{v}_{1},\mathbf{v}_{2})$ , then the dual of $\mathbf{v}$ is defined by $\mathbf{v}^{\vee }=(\mathbf{v}_{0},-\mathbf{v}_{1},\mathbf{v}_{2})$ . The Mukai pairing on $H_{\text{alg}}^{\ast }(X,\mathbb{Z})$ is defined by

$$\begin{eqnarray}\mathbf{v}\cdot \mathbf{w}=-\mathbf{v}_{0}\mathbf{w}_{2}+\mathbf{v}_{1}\mathbf{w}_{1}-\mathbf{v}_{2}\mathbf{w}_{0},\end{eqnarray}$$

where the products on the right-hand side are Poincaré pairings.

Recall from [Reference Huybrechts and LehnHL10] that for a coherent sheaf one has the notions of $H$ -(semi)stability (Gieseker) and $\unicode[STIX]{x1D707}_{H}$ -(semi)stability (slope). An $H$ -semistable sheaf $F$ is $H$ -polystable if it can be written in the form

(3) $$\begin{eqnarray}F=F_{1}^{\oplus n_{1}}\oplus \cdots \oplus F_{k}^{\oplus n_{k}},\end{eqnarray}$$

where $F_{1},\ldots ,F_{k}$ are pairwise non-isomorphic $H$ -stable summands, and $n_{1},\ldots ,n_{k}$ are strictly positive integers.

The moduli space of $H$ -semistable coherent sheaves on $X$ of Mukai vector $\mathbf{v}$ is denoted by ${\mathcal{M}}_{X,H}(\mathbf{v})$ . The closed points of ${\mathcal{M}}_{X,H}(\mathbf{v})$ are in one-to-one correspondence with the $H$ -polystable sheaves, and with the $S$ -equivalence classes of semistable sheaves.

The following result generalized a special case proved in [Reference Kaledin and LehnKL07, Proposition 3.1].

Proposition 3.1 [Reference ZhangZha12, Proposition 1.3].

Let $(X,H)$ be a projective K3 surface, and $\mathbf{v}$ a Mukai vector of positive rank. Assume $H$ is generic with respect to $\mathbf{v}$ , and there is at least one $\unicode[STIX]{x1D707}_{H}$ -stable sheaf of Mukai vector $\mathbf{v}$ . Let $F$ be a $H$ -polystable sheaf with a decomposition given by (3). Assume either:

  1. (i) $\operatorname{rk}F_{i}=1$ for all $i=1,\ldots ,k$ ; or

  2. (ii) $\operatorname{rk}F_{i}\geqslant 2$ for all $i=1,\ldots ,k$ .

Then the DG algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal.

Remark 3.2. By [Reference Arbarello and SaccàAS18, Remark 3.4(2)], the assumption of $H$ being generic with respect to $\mathbf{v}$ is not necessary for case (ii). However, case (i) does require it.

Remark 3.3. As explained in [Reference ZhangZha12, § 2], instead of requiring the existence of a $\unicode[STIX]{x1D707}_{H}$ -stable sheaf of Mukai vector $\mathbf{v}$ , it suffices to require that each stable summand $F_{i}$ has a $\unicode[STIX]{x1D707}_{H}$ -stable deformation in its own moduli.

Define the integral functor

(4) $$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D6F7}:D^{b}(\operatorname{Coh}(X))\longrightarrow D^{b}(\operatorname{Coh}(X)) & & \displaystyle\end{eqnarray}$$
$$\begin{eqnarray}\displaystyle F\longmapsto \mathbf{R}q_{\ast }(p^{\ast }F\stackrel{\mathbf{L}}{\otimes }{\mathcal{I}}_{\unicode[STIX]{x1D6E5}}), & & \displaystyle \nonumber\end{eqnarray}$$

where $p$ and $q$ are the first and the second projection from $X\times X$ , and ${\mathcal{I}}_{\unicode[STIX]{x1D6E5}}$ is the ideal sheaf of the diagonal embedding $X{\hookrightarrow}X\times X$ . It is an autoequivalence [Reference HuybrechtsHuy06, Examples 10.9]. The following result of Yoshioka is crucial.

Theorem 3.4 [Reference YoshiokaYos09, Proposition 1.5, Theorem 1.7].

Let $(X,H)$ be a projective K3 surface. Then, for any $F\in D^{b}(\operatorname{Coh}(X))$ with Mukai vector

$$\begin{eqnarray}\mathbf{v}=(r,dH+D,a)\end{eqnarray}$$

for some $r,a\in \mathbb{Z}$ , $d\in \mathbb{Q}$ and $D\in \operatorname{NS}(X)_{\mathbb{Q}}\cap H^{\bot }$ , the Mukai vector of $\unicode[STIX]{x1D6F7}(F)$ can be given by

$$\begin{eqnarray}\widehat{\mathbf{v}}=(a,-(dH+\widehat{D}),r)\end{eqnarray}$$

for some $\widehat{D}\in \operatorname{NS}(X)_{\mathbb{Q}}\cap H^{\bot }$ . Moreover, in either of the two cases

  1. (1) $r>0$ , $a>0$ , and $d>\max \{4r^{2}+1/H^{2},~2r(\mathbf{v}^{2}-D^{2})\}$ ,

  2. (2) $r=0$ , and $a>\max \left\{3,~(\mathbf{v}^{2}-D^{2})/2+1\right\}$ ,

$\unicode[STIX]{x1D6F7}$ induces an isomorphism ${\mathcal{M}}_{X,H}(\mathbf{v})\cong {\mathcal{M}}_{X,H}(\widehat{\mathbf{v}})$ preserving $H$ -polystability, such that, for every $H$ -polystable sheaf $F$ , $\unicode[STIX]{x1D6F7}(F_{i})$ is $\unicode[STIX]{x1D707}_{H}$ -stable for each $H$ -stable summand $F_{i}$ of $F$ .

In fact, by [Reference HuybrechtsHuy06, Examples 10.9, (ii)] one has $D=\widehat{D}$ in the above theorem.

Proof of Theorem 1.2.

We write $\mathbf{v}=(r,dH+D,a)$ for the Mukai vector of $F$ as above. Suppose that $(r,dH+D)\neq (0,0)$ . Then $r\geqslant 0$ , and $r=0$ would imply $d>0$ since otherwise $dH+D$ is not effective. Then for any positive integer $m$ ,

(5) $$\begin{eqnarray}\mathbf{v}\cdot e^{mH}=(r,dH+D+rmH,a+dmH^{2}+{\textstyle \frac{1}{2}}rm^{2}H^{2}).\end{eqnarray}$$

Denote the right-hand side of (5) by $\mathbf{v}^{\prime }=(\mathbf{v}_{0}^{\prime },\mathbf{v}_{1}^{\prime },\mathbf{v}_{2}^{\prime })$ . For $m\gg 0$ , the following two conditions hold.

( $\dagger$ )

The vector $\mathbf{v}^{\prime }$ satisfies (either of) the conditions in Theorem 3.4 (depending on whether the rank of $\mathbf{v}$ is positive or zero); cf. [Reference YoshiokaYos09, Remark 1.4].

( $\ddagger$ )

Either $0<\mathbf{v}_{0}^{\prime }<\mathbf{v}_{2}^{\prime }$ or $0<H\cdot \mathbf{v}_{1}^{\prime }<\mathbf{v}_{2}^{\prime }$ (depending on whether the rank of $\mathbf{v}$ is positive or zero).

Consider the composition of autoequivalences

For an $H$ -polystable sheaf $F$ with a decomposition (3), the Mukai vector of $F\,\otimes \,H^{m}$ is $\mathbf{v}^{\prime }=\mathbf{v}\cdot e^{mH}$ . The condition $(\dagger )$ guarantees that $\unicode[STIX]{x1D6F7}(F\,\otimes \,H^{m})$ is an $H$ -polystable sheaf by Theorem 3.4, which can be decomposed into stable summands in the form

$$\begin{eqnarray}\unicode[STIX]{x1D6F7}(F\otimes H^{m})=\unicode[STIX]{x1D6F7}(F_{1}\otimes H^{m})^{\oplus n_{1}}\oplus \cdots \oplus \unicode[STIX]{x1D6F7}(F_{k}\otimes H^{m})^{\oplus n_{k}}.\end{eqnarray}$$

For each $i$ , the condition $(\ddagger )$ guarantees that the last component of the Mukai vector of $F_{i}\,\otimes \,H^{m}$ is at least $2$ , which implies that the rank of $\unicode[STIX]{x1D6F7}(F_{i}\,\otimes \,H^{m})$ is at least $2$ , hence $\unicode[STIX]{x1D6F7}(F\,\otimes \,H^{m})$ satisfies condition (ii) in Proposition 3.1. Moreover, each $\unicode[STIX]{x1D6F7}(F_{i})$ is $\unicode[STIX]{x1D707}_{H}$ -stable. By Proposition 3.1 and Remarks 3.2 and 3.3, the DG algebra $\operatorname{RHom}^{\bullet }(\unicode[STIX]{x1D6F7}(F\,\otimes \,H^{m}),\unicode[STIX]{x1D6F7}(F\,\otimes \,H^{m}))$ is formal, hence $\operatorname{RHom}^{\bullet }(F,F)$ is also formal by Proposition 1.4.

The case of $(r,dH+D)=(0,0)$ is reduced to Proposition 3.1(i) by applying (4).◻

3.2 Formality for derived objects

Let $\operatorname{Stab}^{\dagger }(X)$ be the connected component of the space of stability conditions on $X$ which contains the geometric ones; see [Reference BridgelandBri08, Definition 11.4]. The following proposition was communicated to us by Yoshioka and Bayer. Since it is well known to experts, on the advice of the referees we leave out the details. The reader can, however, find a full proof in an earlier version of this paper [Reference Budur and ZhangBZ18].

Proposition 3.5. Let $X$ be a projective K3 surface, $\mathbf{v}$ a Mukai vector, and $\unicode[STIX]{x1D70E}\in \operatorname{Stab}^{\dagger }(X)$ generic with respect to $\mathbf{v}$ . Then there exists an autoequivalence

$$\begin{eqnarray}\unicode[STIX]{x1D6E9}:D^{b}(\operatorname{Coh}(X))\longrightarrow D^{b}(\operatorname{Coh}(X))\end{eqnarray}$$

which induces an isomorphism ${\mathcal{M}}_{X,\unicode[STIX]{x1D70E}}(\mathbf{v})\cong {\mathcal{M}}_{X,\unicode[STIX]{x1D714}}(\mathbf{u})$ preserving S-equivalence classes, between the moduli space of $\unicode[STIX]{x1D70E}$ -semistable objects of class $\mathbf{v}$ , and the moduli space of $\unicode[STIX]{x1D714}$ -semistable sheaves of class $\mathbf{u}$ for some generic ample class $\unicode[STIX]{x1D714}$ on $X$ .

Proof. For $\mathbf{v}^{2}>0$ , this is essentially [Reference Bayer and MacrìBM14a, Lemma 7.3], generalized to the current form by an idea of Yoshioka; see [Reference Meachan and ZhangMZ16, Remark 3.15].

For $\mathbf{v}^{2}\leqslant 0$ , the idea of the proof is due to Bayer. By [Reference Bayer and MacrìBM14a, Lemmas 7.1 and 7.2(b)], we can assume $\mathbf{v}$ is primitive. We can also assume the leading component $\mathbf{v}_{0}>0$ . Indeed, if $\mathbf{v}_{0}<0$ , we can apply the shift functor $[1]$ , so that $\mathbf{v}$ gets replaced by $-\mathbf{v}$ . If $\mathbf{v}_{0}=0$ , after tensoring with a line bundle if necessary, we can assume $\mathbf{v}_{2}\neq 0$ . Then one applies (4) to obtain $\widehat{\mathbf{v}}$ whose leading component is non-zero.

The rest of the proof makes use of the wall-crossing technique. By [Reference BridgelandBri08, § 9], $\operatorname{Stab}^{\dagger }(X)$ admits a wall and chamber structure. There is one chamber which contains $\unicode[STIX]{x1D70E}$ as an interior point, and another ‘Gieseker chamber’ in which we can pick a stability condition $\unicode[STIX]{x1D70F}$ , such that the $\unicode[STIX]{x1D70F}$ -stability for class $\mathbf{v}$ is the same as the Gieseker $\unicode[STIX]{x1D6FD}$ -twisted $\unicode[STIX]{x1D714}$ -stability for some generic $\unicode[STIX]{x1D6FD}\in \operatorname{NS}(X)_{\mathbb{Q}}$ and $\unicode[STIX]{x1D714}\in \operatorname{Amp}(X)_{\mathbb{Q}}$ ; see [Reference BridgelandBri08, § 14]. The assumptions $\mathbf{v}_{0}>0$ and $\unicode[STIX]{x1D714}$ being generic imply further that the $\unicode[STIX]{x1D6FD}$ -twisted $\unicode[STIX]{x1D714}$ -stability for class $\mathbf{v}$ is the same as the untwisted $\unicode[STIX]{x1D714}$ -stability by an argument similar to [Reference YoshiokaYos01, Lemma 1.1]. We can move $\unicode[STIX]{x1D70E}$ to $\unicode[STIX]{x1D70F}$ in $\operatorname{Stab}^{\dagger }(X)$ along a path that never meets two walls simultaneously. For each wall-crossing, we can construct an explicit autoequivalence of $D^{b}(\operatorname{Coh}(X))$ which induces an isomorphism of the moduli spaces of stable objects with respect to generic stability conditions in the neighboring chambers separated by the wall. The idea of its explicit construction in the case of $\mathbf{v}^{2}<0$ is essentially contained in [Reference Bayer and MacrìBM14b, Proposition 6.8], and in the case of $\mathbf{v}^{2}=0$ it is a combination of [Reference Bayer and MacrìBM14a, Lemma 7.2(a)] and the twisted K3 surface version of [Reference BridgelandBri08, Theorem 12.1] which can be found in [Reference Huybrechts, Macrì and StellariHMS08, § 3.1]; see [Reference Bayer and MacrìBM14a, Remark 6.4].◻

Proof of Theorem 1.3.

By Proposition 3.5, $\unicode[STIX]{x1D6E9}(F)$ is an $L$ -polystable coherent sheaf on $X$ . By Theorem 1.2, the DG algebra $\operatorname{RHom}^{\bullet }(\unicode[STIX]{x1D6E9}(F),\unicode[STIX]{x1D6E9}(F))$ is formal, which implies that $\operatorname{RHom}^{\bullet }(F,F)$ is formal by Proposition 1.4.◻

Acknowledgements

We thank T. Bridgeland for pointing out to us the relevance of [Reference Lunts and OrlovLO10] to the formality conjecture. We also thank E. Arbarello, A. Bayer, A. King, A. Krug, Y. Lekili, G. Saccà and K. Yoshioka for their help with questions and for inspiring discussions. The second named author thanks the organizers of the School on Deformation Theory (University of Turin, July 2017) for the stimulating atmosphere and excellent lectures related to this topic. The first named author was partly supported by KU Leuven OT, FWO, and Methusalem grants.

References

Arbarello, E. and Saccà, G., Singularities of moduli spaces of sheaves on K3 surfaces and Nakajima quiver varieties , Adv. Math. 329 (2018), 649703, doi:10.1016/j.aim.2018.02.003.Google Scholar
Bayer, A. and Macrì, E., Projectivity and birational geometry of Bridgeland moduli spaces , J. Amer. Math. Soc. 27 (2014), 707752, doi:10.1090/S0894-0347-2014-00790-6.Google Scholar
Bayer, A. and Macrì, E., MMP for moduli of sheaves on K3s via wall-crossing: nef and movable cones, Lagrangian fibrations , Invent. Math. 198 (2014), 505590,doi:10.1007/s00222-014-0501-8.Google Scholar
Bellamy, G. and Schedler, T., Symplectic resolutions of quiver varieties and character varieties, Preprint (2016), arXiv:1602.00164 [math.AG].Google Scholar
Bondal, A. and Kapranov, M., Enhanced triangulated categories , Math. USSR-Sb. 70 (1991), 93107, doi:10.1070/SM1991v070n01ABEH001253.Google Scholar
Bridgeland, T., Stability conditions on K3 surfaces , Duke Math. J. 141 (2008), 241291,doi:10.1215/S0012-7094-08-14122-5.Google Scholar
Budur, N., Rational singularities, quiver moment maps, and representations of surface groups, Preprint (2018), arXiv:1809.05180 [math.AG].Google Scholar
Budur, N. and Zhang, Z., Formality conjecture for K3 surfaces, Preprint (2018), arXiv:1803.03974v3 [math.AG].Google Scholar
Deligne, P., Griffiths, P., Morgan, J. and Sullivan, D., Real homotopy theory of Kähler manifolds , Invent. Math. 29 (1975), 10731089, doi:10.1007/BF01389853.Google Scholar
Goldman, W. and Millson, J., The deformation theory of representations of fundamental groups of compact Kähler manifolds , Bull. Amer. Math. Soc. (N.S.) 18 (1988), 153158,doi:10.1090/S0273-0979-1988-15631-5.Google Scholar
Hovey, M., Model categories, Mathematical Surveys and Monographs, vol. 63 (American Mathematical Society, Providence, RI, 1999).Google Scholar
Huybrechts, D., Fourier-Mukai transforms in algebraic geometry (Clarendon Press, Oxford, 2006).Google Scholar
Huybrechts, D. and Lehn, M., The geometry of moduli spaces of sheaves (Cambridge University Press, Cambridge, 2010).Google Scholar
Huybrechts, D., Macrì, E. and Stellari, P., Stability conditions for generic K3 categories , Compos. Math. 144 (2008), 134162, doi:10.1112/S0010437X07003065.Google Scholar
Kaledin, D. and Lehn, M., Local structure of hyperkähler singularities in O’Grady’s examples , Mosc. Math. J. 7 (2007), 653672; 766–767, http://www.ams.org/distribution/mmj/vol7-4-2007/kaledin-lehn.pdf.Google Scholar
Kaledin, D., Lehn, M. and Sorger, C., Singular symplectic moduli spaces , Invent. Math. 164 (2006), 591614, doi:10.1007/s00222-005-0484-6.Google Scholar
Kontsevich, M., Deformation quantization of Poisson manifolds , Lett. Math. Phys. 66 (2003), 157216, doi:10.1023/B:MATH.0000027508.00421.bf.Google Scholar
Lekili, Y. and Ueda, K., Homological mirror symmetry for K3 surfaces via moduli of $A_{\infty }$ -structures, Preprint (2018), arXiv:1806.04345 [math.AG].Google Scholar
Lunts, V. and Orlov, D., Uniqueness of enhancement for triangulated categories , J. Amer. Math. Soc. 23 (2010), 853908, doi:10.1090/S0894-0347-10-00664-8.Google Scholar
Meachan, C. and Zhang, Z., Birational geometry of singular moduli spaces of O’Grady type , Adv. Math. 296 (2016), 210267, doi:10.1016/j.aim.2016.02.036.Google Scholar
Seidel, P., Homological mirror symmetry for the quartic surface , Mem. Amer. Math. Soc. 236 (2015), doi:10.1090/memo/1116.Google Scholar
Tabuada, G., Une structure de cataégorie de modèles de Quillen sur la catégorie des dg-catégories , C. R. Math. Acad. Sci. Paris 340 (2005), 1519, doi:10.1016/j.crma.2004.11.007.Google Scholar
Toda, Y., Non-commutative thickening of moduli spaces of stable sheaves , Compos. Math. 153 (2017), 11531195, doi:10.1112/S0010437X17007047.Google Scholar
Toda, Y., Moduli stacks of semistable sheaves and representations of Ext-quivers , Geom. Topol. 22 (2018), 30833144, doi:10.2140/gt.2018.22.3083.Google Scholar
Toën, B., Lectures on dg-categories , in Topics in algebraic and topological K-theory, Lecture Notes in Mathematics, vol. 2008 (Springer, Berlin, 2011), 243302,doi: 10.1007/978-3-642-15708-0_5.Google Scholar
Toën, B., Problèmes de modules formels , in Séminaire Bourbaki. vol. 2015/2016, Astérisque vol. 390 (Société Mathématique de France, Paris, 2017), 11041119; Exposés. Exp. No. 1111, 199–244.Google Scholar
Yoshioka, K., Moduli spaces of stable sheaves on abelian surfaces , Math. Ann. 321 (2001), 817884, doi:10.1007/s002080100255.Google Scholar
Yoshioka, K., Stability and the Fourier-Mukai transform. II , Compos. Math. 145 (2009), 112142, doi:10.1112/S0010437X08003758.Google Scholar
Yoshioka, K., Fourier–Mukai duality for K3 surfaces via Bridgeland stability condition , J. Geom. Phys. 122 (2017), 103118, doi:10.1016/j.geomphys.2016.08.011.Google Scholar
Zhang, Z., A note on formality and singularities of moduli spaces , Mosc. Math. J. 12 (2012), 863879; 885, http://www.mathjournals.org/mmj/2012-012-004/2012-012-004-011.pdf.Google Scholar