Abstract
For a smooth projective variety X with exceptional structure sheaf, and \({X}^{[2]}\) the Hilbert scheme of two points on X, we show that the Fourier–Mukai functor \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X) \rightarrow {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({X}^{[2]})\) induced by the universal ideal sheaf is fully faithful, provided the dimension of X is at least 2. This fully faithfulness allows us to construct a spectral sequence relating the deformation theories of X and \({X}^{[2]}\) and to show that it degenerates at the second page, giving a Hochschild–Kostant–Rosenberg-type filtration on the Hochschild cohomology of X. These results generalise known results for surfaces due to Krug–Sosna, Fantechi and Hitchin. Finally, as a by-product, we discover the following surprising phenomenon: for a smooth projective variety of dimension at least 3 with exceptional structure sheaf, it is rigid if and only if its Hilbert scheme of two points is rigid. This last fact contrasts drastically to the surface case: non-commutative deformations of a surface contribute to commutative deformations of its Hilbert square.
Similar content being viewed by others
1 Introduction
Hilbert schemes of points are one of the most tractable and well-studied moduli spaces of sheaves. In this paper we discuss them from the point of view of derived categories and their deformations. For surfaces the situation is well-understood: the deformation theory is described by Fantechi and Hitchin in [11, 16], and the derived categories of Hilbert schemes are studied by e.g. Bridgeland–King–Reid, Haiman and Krug–Sosna [5, 15, 22].
For varieties of dimension \(\ge 3\), a first obstacle is that the Hilbert scheme of points is not smooth, unless \(n=2,3\) [7, §0.2]. In this paper we focus on the case of \(n=2\), i.e. that of Hilbert squares, and explain how results from the surface case generalise to higher dimensions.
More precisely, in [16, theorem 9], Hitchin shows that for every smooth projective surface S with \({{\,\mathrm{H}\,}}^1(S,\mathcal {O}_S)=0\) there is a short exact sequence
This allows Hitchin to interpret the deformation theory of the Hilbert scheme \(S^{[n]}\) of n points on S in terms of the deformation theory and the Poisson geometry of S.
Hitchin’s construction is very geometric, and the observation that started this work is that (1) can be recovered more abstractly using derived categories and Hochschild cohomology. For this we use a result due to Krug and Sosna: for a smooth projective surface S for which \(\mathcal {O}_S\) is exceptional (i.e. \({{\,\mathrm{H}\,}}^i(S,\mathcal {O}_S)=0\) for \(i\ge 1\)) the Fourier–Mukai functor
whose kernel \(\mathcal {I}\) is the ideal sheaf of the universal family \(Z\hookrightarrow S\times S^{[n]}\), is fully faithful [22, theorem 1.2]. It follows that there is an isomorphism
Moreover, the relative local-to-global Ext spectral sequence for the second projection \(S \times S^{[n]} \rightarrow S^{[n]}\) computing the right-hand side in (3) degenerates for dimension reasons, which readily allows one to recover (1), as we explain in Sect. 4.3.
To understand whether Hitchin’s deformation-theoretic results for surfaces have an analogue in higher dimensions, it is therefore natural to first try and generalise the result of Krug–Sosna, and our first main result does exactly this.
Theorem A
Let X be a smooth projective variety of dimension at least 2, such that \(\mathcal {O}_X\) is exceptional. Then
is fully faithful.
It is noteworthy to mention that whereas the proof in [22] relies on the Bridgeland–King–Reid–Haiman equivalence [5, 15], our proof of Theorem A uses the explicit geometry of \({X}^{[2]}\), which works in arbitrary dimension. In particular, it provides an alternative proof of the Krug–Sosna result in the case of 2 points. One should note that there are other fully faithful functors from \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X)\) into \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({X}^{[2]})\), see [23], which we discuss in Remark 10. More recently it was shown that \(\Phi _{\mathcal {I}}\) is faithful, for all X and n subject to a numerical condition which is satisfied when \(n=2\) [21, theorem 1.3]. We come back to this in Remark 12. However, for our purposes it is important to both use the universal ideal sheaf \(\mathcal {I}\) for the kernel, and that the functor is full and faithful.
One can then use a similar spectral sequence argument as in the case of surfaces to obtain generalisations of (1), and relate the deformation theories of X and \({X}^{[2]}\). In higher dimensions, the degeneration does not come for free, and our second main theorem deals with this. The following statement is an abridged version of Theorem 14.
Theorem B
Let X be a smooth projective variety of dimension \(\ge 2\), such that \(\mathcal {O}_X\) is exceptional. The relative local-to-global Ext spectral sequence
degenerates at the \(\mathrm {E}_2\)-page. Moreover, the abutment can be identified with the Hochschild cohomology of X, such that the induced filtration coincides with the filtration associated to the Hochschild–Kostant–Rosenberg decomposition, up to a degree shift.
We then proceed to study the deformation theory of \({X}^{[2]}\) for \(\dim X\ge 3\), where we obtain the following result, showing that the surface case is fundamentally different from the higher-dimensional situation.
Theorem C
Let X be a smooth projective variety of dimension at least 3, such that \(\mathcal {O}_X\) is exceptional. There exist isomorphisms
for all \(i\ge 0\).
This gives the following no-go result: if X is rigid, then so is \({X}^{[2]}\). This is in stark contrast to the surface case: e.g. if \(S={\mathbb {P}}^2\) then S is rigid, but \(S^{[n]}\) is not [25, 29], for \(n \ge 2\). These deformations are associated to noncommutative deformations of S. We come back to this in Remark 35.
For Hilbert cubes we expect similar results to hold, but the geometric description of \(X^{[3]}\) is more involved, making the analysis harder.
The paper is structured as follows. In Sect. 2 we recall some preliminaries regarding the geometry of Hilbert squares and Hochschild cohomology for smooth projective varieties. The proof of Theorem A is given in Sect. 3.
In Sect. 4 we prove Theorem B, in the form of Theorem 14. The proof in arbitrary dimension is given in Sect. 4.2, whilst the special case of surfaces is discussed with more details in Sect. 4.3.
Finally, in Sect. 5 we discuss the deformation theory of Hilbert squares. In Sect. 5.1 we explain how the methods in this paper recover known results for the deformation theory of Hilbert squares of surfaces, and speculate on a noncommutative generalisation of our results. In Sect. 5.2 we prove Theorem C.
2 Preliminaries
In this section we discuss some preliminaries, and introduce the notation that is used throughout.
2.1 Hilbert squares
The Hilbert scheme of length-2 subschemes (or Hilbert square) of X is denoted \({X}^{[2]}\), and is a smooth projective variety of dimension 2d. We will often make use of the diagram
where the left square is the blowup square of \(X \times X\) along its diagonal. The natural involution on \(X \times X\) lifts to the blowup and the quotient is canonically isomorphic to the Hilbert square of X, denoted by \({X}^{[2]}\). The exceptional divisors in \({X}^{[2]}\) and \({{\,\mathrm{Bl}\,}}_\Delta (X \times X)\) can be compared using the following diagram
where 2E is the second infinitesimal neighborhood of E in \({{\,\mathrm{Bl}\,}}_\Delta (X \times X)\), and D is the (isomorphic) image of E by q which is the locus parametrizing non-reduced length-2 subschemes of X. The divisors on \({X}^{[2]}\) are well understood up to rational equivalence:
where \(\delta \) is a divisor on \({X}^{[2]}\) such that \(\mathcal {O}_{{X}^{[2]}}(2\delta )=\mathcal {O}_{{X}^{[2]}}(D)\). Using this, we can show the following lemma, which we will use throughout.
Lemma 1
If a smooth projective variety X has an exceptional structure sheaf, then so does the Hilbert square \({X}^{[2]}\).
Proof
The Künneth formula shows that \(X\times X\) has an exceptional structure sheaf, hence so does the blowup \({{\,\mathrm{Bl}\,}}_\Delta (X\times X)\) by the birational invariance of the cohomology of the structure sheaf. Since
we see that \({{\,\mathrm{H}\,}}^i({X}^{[2]},\mathcal {O}_{{X}^{[2]}})\) is a direct summand of \({{\,\mathrm{H}\,}}^i({{\,\mathrm{Bl}\,}}_\Delta (X \times X),\mathcal {O}_{{{\,\mathrm{Bl}\,}}_\Delta (X \times X)})\), and hence vanishes for any \(i\ge 1\). \(\square \)
Remark 2
More generally the description of \({X}^{[2]}\) as the blowup of the quotient allows us to readily describe the Hodge polynomial.Footnote 1 Recall that for a smooth projective variety Y its Hodge polynomial is defined as
where \({{\,\mathrm{h}\,}}^{p,q}(Y):=\dim _k{{\,\mathrm{H}\,}}^q(Y,\Omega _Y^p)\). One can then show (e.g. as in [28, lemma 2.6]) that the Hodge polynomial of \({X}^{[2]}\) is
This also proves Lemma 1, and is useful when considering the semiorthogonal decomposition of Remark 10 from the point of view of additive invariants.
Finally, because the Hilbert scheme is a fine moduli space, there is a universal closed subscheme
which is smooth, and there is an isomorphism
There is a corresponding universal short exact sequence on \(X\times {X}^{[2]}\)
with \(\mathcal {I}\) the universal ideal sheaf.
2.2 Hochschild cohomology
We will use Hochschild cohomology as an invariant of the derived category, let us briefly recall its definition and main properties. For more information one is referred to [24] or [17, §5.2].
Definition 3
Let X be a smooth projective variety. Then its Hochschild cohomology is defined as the self-extensions of the identity functor, i.e.
The Hochschild–Kostant–Rosenberg decomposition then expresses Hochschild cohomology in terms of sheaf cohomology of polyvector fields. For a proof in this context we refer to [27, theorem 4.1].
Theorem 4
(Hochschild–Kostant–Rosenberg) Let X be a smooth projective variety. Then there exists an isomorphism
The second Hochschild cohomology group of X describes the deformation theory of the abelian category \({{\,\mathrm{coh}\,}}X\) as explained in [26]. Under the Hochschild–Kostant–Rosenberg decomposition we can give an interpretation to the three components which arise in the decomposition, as explained in [31]. Namely we have that
Then
-
1.
\({{\,\mathrm{H}\,}}^2(X,\mathcal {O}_X)\) describes the gerby deformations;
-
2.
\({{\,\mathrm{H}\,}}^1(X,\mathrm {T}_X)\) is part of the usual Kodaira–Spencer deformation-obstruction calculus, describing infinitesimal deformations of X as a variety;
-
3.
\({{\,\mathrm{H}\,}}^0\left( X,\bigwedge \nolimits ^2\mathrm {T}_X \right) \) are (pre-)Poisson structures, and describe noncommutative infinitesimal deformations of the structure sheaf \(\mathcal {O}_X\) as a sheaf of algebras.
In this article we will ignore the component \({{\,\mathrm{H}\,}}^2(X,\mathcal {O}_X)\) as it is zero for all varieties considered here, by Lemma 1 and the assumption that \(\mathcal {O}_X\) is exceptional.
2.3 Summary of notation
We will fix the following notation. Because we have that \({X}^{[2]}\cong {{\,\mathrm{Bl}\,}}_\Delta (X\times X)/({\mathbb {Z}}/2{\mathbb {Z}})\), we can consider the blowup diagram together with the quotient morphism. Moreover the universal closed subscheme can be used to extend this diagram as follows.
Here E is the exceptional divisor, which is the projective bundle over X given by the normal bundle of the diagonal embedding, i.e. the tangent bundle. The morphism \(p_1\) is the projection on the first factor. We will denote the different projections in products involving X and \({X}^{[2]}\) as
and
Conventions Throughout, k will denote an algebraically closed field of characteristic 0, and X denotes a smooth projective variety of dimension \(d \ge 2\) with an exceptional structure sheaf, i.e. \({{\,\mathrm{H}\,}}^i(X,\mathcal {O}_X)=0\) for all \(i\ge 1\), unless explicitly mentioned otherwise.
3 Fully faithfulness
In this section we prove Theorem A. The global structure of the proof is analogous to the proof of [22, theorem 1.2], but the actual steps are different, as we are not using the derived McKay correspondence in the computation of the Fourier–Mukai kernels. In Remark 11 we discuss a proof suggested by the anonymous referee which uses the derived McKay correspondence, but is less self-contained.
We will denote the Fourier–Mukai functors \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X) \rightarrow {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({X}^{[2]})\) associated to the sheaves in (16)
and similarly for their respective right adjoints:
where \((-)^\vee :={{\,\mathrm{\mathbf {R}\mathcal {H}om}\,}}(-, \mathcal {O}_{X\times {X}^{[2]}})\) is the derived dual. This notation for the functors mimicks that of [22].
To show fully faithfulness, it suffices to show that the unit
of the adjunction is an equivalence. The composition of Fourier–Mukai functors is again a Fourier–Mukai functor, whose kernel is given by the convolution product of the respective kernels. In this case the kernel is \((\mathcal {I}^\vee \otimes p_X^*\omega _X[d])*\mathcal {I}\).
Hence, by applying \(-*\mathcal {I}\) to the distinguished triangle
coming from the right adjoints (24) and the universal short exact sequence (16), it suffices to show that
since the left-hand sides of (27) are exactly the Fourier–Mukai kernels of \(R''\circ F\) and \(R'\circ F\). This is done in Propositions 8 and 9. The hardest kernel to compute is the one for \(R''\circ F\), and we do this by first computing the kernels of \(R''\circ F'\) and of \(R''\circ F''\) in Corollaries 6 and 7.
The following lemma computes the convolution of a Fourier–Mukai kernel on \(X\times {X}^{[2]}\) with the Fourier–Mukai kernel for \(R''\).
Lemma 5
For every object \(\mathcal {E}\in {{\,\mathrm{\mathbf {D}}\,}}^{\mathrm {b}}(X\times {X}^{[2]})\), there is an isomorphism
Proof
Using Grothendieck duality we compute the derived dual as
where \(\omega _i:=\omega _Z\otimes i^*\omega _{X\times {X}^{[2]}}^{\vee }\) is the relative canonical bundle of i and
is its relative dimension. A straightforward computation using functoriality and the projection formula gives that for any object \(\mathcal {E}\in {{\,\mathrm{\mathbf {D}}\,}}^{\mathrm {b}}(X\times {X}^{[2]})\),
With the help of the following diagram where the left square is cartesian
we can continue the computation using base change and the projection formula
Note that the last equality follows because
by combining the commutative diagrams (20) and (32).
There is an exact sequence
coming from the rightmost (cartesian) square in (8). Taking the determinant we see that \(\omega _Z\otimes q^*\omega _{{X}^{[2]}}^{\vee }\cong \det (\mathcal {O}_E(2E))\cong \mathcal {O}_Z(2E) \otimes \mathcal {O}_Z(-E)\cong \mathcal {O}_Z(E)\). Using this we see that the relative canonical bundle can be expressed as follows
Hence
where we used the cartesian diagram
and the projection formula. \(\square \)
We will apply this with \(\mathcal {E}:=\mathcal {O}_{X\times {X}^{[2]}}\) (resp. \(i_*\mathcal {O}_Z)\)) to compute \(R''\circ F'\) (resp. \(R''\circ F''\)) in the following two corollaries.
Corollary 6
The Fourier–Mukai kernel of \(R''\circ F'\) is \(\mathcal {O}_{X \times X}\).
Proof
Taking \(\mathcal {E}:=\mathcal {O}_{X\times {X}^{[2]}}\) in (28), the kernel of \(R''\circ F'\) is
where the second isomorphism uses base change for the cartesian diagram (38). The last isomorphism follows by applying \(\mathbf {R}\pi _*\) to
and using that \(\mathbf {R}\pi _*\mathcal {O}_Z \cong \mathcal {O}_{X \times X}\), together with \(\mathbf {R}\pi _*\mathcal {O}_E(E)\cong \Delta _{*}\circ \mathbf {R}p_*\mathcal {O}_p(-1)=0\) as p is a \({\mathbb {P}}^{d-1}\)-bundle. \(\square \)
Corollary 7
The Fourier–Mukai kernel of \(R''\circ F''\) is \(\mathcal {O}_{\Delta _X} \oplus \mathcal {O}_{X \times X}\).
Proof
We define \(Z_1\cup Z_2\) using the cartesian diagram
Moreover there exist isomorphisms \(\phi :Z_1 \cup Z_2 \cong Z \cup _E Z\) exhibiting \(Z_1\cup Z_2\) as the gluing along the exceptional divisor E, transversally, of its two irreducible components, both of which are isomorphic to Z. Moreover, we can assume that the left vertical morphism in (41) is the identity on each component by changing \(\phi \) if necessary. In this case we have
If we now take \(\mathcal {E}\) to be \(i_*\mathcal {O}_Z\) in (28), then the kernel of \(R''\circ F''\) is
where the second isomorphism follows from (41) by base change.
The short exact sequence
gives a distinguished triangle
Since
-
the composition \(Z_1\xrightarrow {\iota _1} X\times Z \xrightarrow {{{{\,\mathrm{id}\,}}_X}\times (p_1\circ \pi )} X\times X\) is \(\Delta \circ p_1\circ \pi \);
-
the composition \(Z_2\xrightarrow {\iota _2} X\times Z\xrightarrow {{{{\,\mathrm{id}\,}}_X}\times (p_1\circ \pi )} X\times X\) is \(s\circ \pi \),
with s being the natural involution on \(X\times X\), the previous distinguished triangle is nothing but
which is the following by the vanishing of \({{\,\mathrm{H}\,}}^i(X, \mathcal {O}_X)\) for \(i\ge 1\),
Now since the extension class of this distinguished triangle lives in
the kernel of \(R''\circ F''\) is
\(\square \)
These corollaries allow us to obtain the following proposition.
Proposition 8
There is an isomorphism of Fourier–Mukai kernels
and hence \(R''\circ F \cong [-1]\).
Proof
In the distinguished triangle \(R''\circ F\rightarrow R''\circ F'\rightarrow R''\circ F''\xrightarrow {+1}\) (or rather that of their kernels), it is straightforward to check that the second morphism is induced by \((0, {{\,\mathrm{id}\,}}):\mathcal {O}_{X\times X} \hookrightarrow \mathcal {O}_{\Delta _X}\oplus \mathcal {O}_{X\times X}\), via the isomorphisms (39) and (49). Therefore, the Fourier–Mukai kernel of \(R''\circ F\) is \(\mathcal {O}_{\Delta _X}[-1]\). \(\square \)
Proposition 9
There is an isomorphism of Fourier–Mukai kernels
and hence \(R'\circ F \cong 0\).
Proof
The following isomorphisms are obtained by functoriality and the projection formula
Thanks to the cartesian diagram
we have by base change,
Therefore, it is enough to show that \(\mathbf {R}p_{X,*}\mathcal {I}=0\). To this end, apply \(\mathbf {R}p_{X,*}\) to the universal short exact sequence (16), so we obtain a distinguished triangle
Now by Lemma 1 we have the isomorphism
and by commutativity of the second square in (20) we obtain that
where the last equality uses the assumption on the vanishing of \({{\,\mathrm{H}\,}}^i(X,\mathcal {O}_X)\) for \(i\ge 1\).
Finally, one checks that the second morphism in (55) is, via the above isomorphisms (56) and (57), the identity of \(\mathcal {O}_X\). Thus \(\mathbf {R}p_{X,*}\mathcal {I}\cong 0\) as desired. \(\square \)
We can now combine all these ingredients and give the proof of Theorem A.
Proof of Theorem A
By combining the triangle
with Propositions 8 and 9, we conclude that
and hence \(R\circ F \cong {{\,\mathrm{id}\,}}_{{{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X)}\). \(\square \)
Some remarks are in order.
Remark 10
This is not the first fully faithful functor from \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X)\) to \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X^{[2]})\). In [23, theorem 4.1] Krug–Ploog–Sosna constructed a semiorthogonal decomposition of the form
where the first component is the equivariant derived category (or the derived category of the quotient stack \([X^2/({\mathbb {Z}}/2{Z})]\)), and there are \(d-2\) copies of \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X)\). For \(d=2\) this is an instance of the derived McKay correspondence of Bridgeland–King–Reid.
Remark that this semiorthogonal decomposition is independent of the geometry of X, and in particular also works when \(\mathcal {O}_X\) is not an exceptional line bundle. But the fully faithful functors used in this decomposition are not related to the interpretation of \({X}^{[2]}\) as a fine moduli space.
For the remainder of this article we need the fully faithful functor to have a modular interpretation, as this is what allows us to compare the deformation theories of X and \({X}^{[2]}\).
Remark 11
An alternative proof of Theorem A using the McKay correspondence was suggested to us by the anonymous referee, and is included here.
By [22, proposition 5.6], for a smooth projective variety X with exceptional structure sheaf, there is a fully faithful functor
where \({{\,\mathrm{\mathbf {D}}\,}}_{{\mathbb {Z}}/2{\mathbb {Z}}}^\mathrm {b}(X^2)\) denotes the equivariant derived category. This functor is given as (the shift of) the cone of a map of equivariant Fourier–Mukai transforms \(G'\rightarrow G''\), i.e. we have a triangle
where
-
\(G':={{\,\mathrm{H}\,}}^\bullet (X,-) \otimes \mathcal {O}_{X^2}\),
-
\(G'':=\mathrm {Ind} \circ p_1^*\), for \(\mathrm {Ind}:{{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X^2) \rightarrow {{\,\mathrm{\mathbf {D}}\,}}_{{\mathbb {Z}}/2{\mathbb {Z}}}^\mathrm {b}(X^2)\) the induction functor.
On the other hand, by [23, theorem B(ii)], the functor
is also fully faithful, as long as \(\dim X\ge 2\). Hence, to prove Theorem A, it suffices to prove that \(\Psi \circ G \cong \Phi _{\mathcal {I}}\).
This can be seen as follows: the short exact sequence
induces an exact triangle of Fourier–Mukai transforms
In [20, §6.2] it is noted that \(\Psi \circ G'' \cong \Phi _{\mathcal {O}_Z}\) and \(\Psi (\mathcal {O}_{X^2})\cong \mathcal {O}_{X^{[2]}}\), implying that
Hence, applying \(\Psi \) to (62) gives an exact triangle
In both sequences (65) and (67), the morphism of functors \({{\,\mathrm{H}\,}}^\bullet (X,-) \otimes \mathcal {O}_{X^{[2]}} \rightarrow \Phi _{\mathcal {O}_Z}\) is induced by a morphism of Fourier–Mukai kernels \(\mathcal {O}_{X \times X^{[2]}} \rightarrow \mathcal {O}_Z\). Since \(\dim _k {{\,\mathrm{Hom}\,}}(\mathcal {O}_{X \times X^{[2]}},\mathcal {O}_Z)=1\), it suffices to show that the morphism \(\mathcal {O}_{X^{[2]}} \rightarrow \Phi _{\mathcal {O}_Z}\) in (67) is non-zero. If it were zero, then \(\Psi \circ G\) would split into a direct sum of two functors, which is impossible since we already know that \(\Psi \circ G\) is fully faithful. Hence we are done.
Remark 12
In [21, theorem 1.3] it was shown that \(\Phi _{\mathcal {I}}\) (denoted in \(\mathrm {F}_n\) in loc. cit.) is always faithful, independent of the properties of X, when the number of points is subject to a numerical condition (which conjecturally can be dropped). This condition is satisfied for \(n=2\), so the existence of the left inverse in loc. cit gives the claimed faithfulness.
Notice that the faithfulness part in Theorem A follows in a straightforward way from the fullness of the Fourier–Mukai transform, as explained in the introduction of [6], and this is therefore the main new result in Theorem A.
Remark 13
In dimension 1, X is necessarily \({\mathbb {P}}^1\), and the functor \(\Phi _{\mathcal {I}}\) is not fully faithful. In this case \({\mathbb {P}}^{1,[2]}\cong {{\,\mathrm{Sym}\,}}^2{\mathbb {P}}^1\cong {\mathbb {P}}^2\). In fact, there does not exist a fully faithful functor from \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({\mathbb {P}}^1)\) to \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({\mathbb {P}}^2)\), as there is no strong exceptional collection of length 2 in \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({\mathbb {P}}^2)\) with 2-dimensional Hom-space. More precisely, the dimensions of the Hom-spaces between two exceptional objects on \({\mathbb {P}}^2\) are known, see [9, proposition 8.1] and [4, example 3.2], and are given by the Markov numbers, i.e. integers occurring in solutions of the Markov equation
As 2 is not a Markov number, it is indeed impossible to find a fully faithful functor from \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({\mathbb {P}}^1)\) to \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}({\mathbb {P}}^2)\).
The following alternative proof specific to the functor \(\Phi _{\mathcal {I}}\) was suggested by the anonymous referee. In [3, §2.1] it is explained that the universal ideal sheaf \(\mathcal {I}\) is isomorphic to the line bundle \(\mathcal {O}_{{\mathbb {P}}^1}(-2)\boxtimes \mathcal {O}_{{\mathbb {P}}^2}(-1)\), which yields an isomorphism of functors
Therefore the essential image of the functor \(\Phi _{\mathcal {I}}\) is contained in the triangulated subcategory spanned by the exceptional object \(\mathcal {O}_{{\mathbb {P}}^2}(-1)\), and cannot be injective on isomorphism classes. One can for example check that
4 The relative local-to-global Ext spectral sequence
In this section we prove Theorem B. More precisely we prove the following statement.
Theorem 14
Let X be a smooth projective variety of dimension \(\ge 2\), such that \(\mathcal {O}_X\) is exceptional. Then there is a spectral sequence
converging to the Hochschild cohomology of X. This spectral sequences degenerates at the \(\mathrm {E}_2\)-page and
To do so we will use the relative local-to-global Ext spectral sequence. The abutment of this spectral sequence is then closely related to the Hochschild cohomology of a variety as discussed in Sect. 2.2. In Proposition 21 we also give an interpretation to one of the sheaves appearing in the spectral sequence. This allows us to relate the deformation theories of X and \({X}^{[2]}\) in Sect. 5.2.
We will briefly recall the notion of relative Ext in our setting. Let \(f:X\rightarrow Y\) be a morphism between smooth projective varieties, and \(\mathcal {E},\mathcal {F}\) are coherent sheaves on \(X\times Y\), which are flat over Y. We will denote \(p_Y:X\times Y\rightarrow Y\) the second projection.
Definition 15
The jth relative Ext of \(\mathcal {E}\) and \(\mathcal {F}\) is the jth derived functor of the composition \(p_{Y,*}\circ {{\,\mathrm{\mathcal {H}om}\,}}\), i.e.
where \((-)^\vee \) denotes the derived dual.
We can use the Grothendieck spectral sequence to compute global Ext on \(X\times Y\), via the relative local-to-global Ext spectral sequence
This spectral sequence plays an important role in what follows.
4.1 Relative Ext for the Hilbert square
Just like before, unless specified otherwise, X denotes a smooth projective variety of dimension \(d \ge 2\) with an exceptional structure sheaf. Recall from (21) that \(p_{{X}^{[2]}}:X \times {X}^{[2]}\rightarrow {X}^{[2]}\) denotes the projection onto the second component. We will be interested in
Then the relative local-to-global Ext spectral sequence for \(\mathcal {I} \in {{\,\mathrm{coh}\,}}X \times {X}^{[2]}\) takes the form
To relate the Hochschild cohomology of X to the abutment of this spectral sequence we use the following standard lemma.
Lemma 16
Let \(X_1,X_2,Y_1,Y_2\) be smooth projective varieties. If the Fourier–Mukai functors \(\Phi _{\mathcal {P}_i}:{{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X_i) \rightarrow {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(Y_i)\) are fully faithful for \(i=1,2\), then the functor
is also fully faithful.
Proof
If \(\mathcal {P}_i^\mathrm {R}\) denotes the kernel of the right adjoint to \(\Phi _{\mathcal {P}_i}\), then fully faithfulness of \(\Phi _{\mathcal {P}_i}\) is equivalent to the isomorphism
One can check that the right adjoint to \(\Phi _{\mathcal {P}_1 \boxtimes \mathcal {P}_2}\) is given by \(\Phi _{\mathcal {P}_1^\mathrm {R}\boxtimes \mathcal {P}_2^\mathrm {R}}\), and moreover
where \(\Delta _{1,2}:X_1 \times X_2 \rightarrow (X_1 \times X_2) \times (X_1 \times X_2)\) is the diagonal morphism. Hence \(\Phi _{\mathcal {P}_1 \boxtimes \mathcal {P}_2}\) is also fully faithful. \(\square \)
Lemma 17
Let \(\Phi _{\mathcal {P}}:{{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X) \rightarrow {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(Y)\) be a fully faithful Fourier–Mukai functor between smooth projective varieties. Then \({{\,\mathrm{HH}\,}}^*(X)\cong {{\,\mathrm{Ext}\,}}_{X\times Y}^\bullet (\mathcal {P},\mathcal {P}).\)
Proof
By the previous lemma, the functor \(\Phi _{\mathcal {O}_{\Delta _X} \boxtimes \mathcal {P}}: {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X\times X) \rightarrow {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(X\times Y)\) is fully faithful and sends \(\mathcal {O}_{\Delta _X}\) to \(\mathcal {P}\). Hence
for all \(k\ge 0\). \(\square \)
Combining Lemma 17 and Theorem A, we obtain that when the structure sheaf of X is exceptional and \(\dim X\ge 2\), we have
for all \(k\ge 0\), so the spectral sequence (76) abuts to the Hochschild cohomology of X. This is the spectral sequence in Theorem 14, and we now proceed to analyse the terms on the second page more closely.
Recall from (20) that \(q:{{\,\mathrm{Bl}\,}}_\Delta (X \times X) \rightarrow {X}^{[2]}\) denotes the quotient by \({\mathbb {Z}}/2{\mathbb {Z}}\). We can then prove the following theorem, which is part of the statement of Theorem 14.
Theorem 18
The relative Ext sheaves are given by
where \(\mathcal {N}_{Z/X \times {X}^{[2]}}\) denotes the normal bundle of the universal subscheme \(Z\cong {{\,\mathrm{Bl}\,}}_\Delta (X \times X)\) in \(X \times {X}^{[2]}\).
Proof
Taking the derived tensor product of the distinguished triangle associated to universal short exact sequence (16) with its dual distinguished triangle
we get the following diagram with all rows and columns distinguished triangles:
We can compute \((i_*\mathcal {O}_Z)^\vee \) as in (29). Applying the derived pushforward functor \(\mathbf {R}p_{{X}^{[2]},*}\) to the diagram (84), together with the above computation of \((i_*\mathcal {O}_Z)^\vee \), we have
\(\square \)
In the following lemmas we will compute the square in the upper right more explicitly.
Lemma 19
We have isomorphisms
and
Moreover, via these isomorphisms, the second morphism in the first horizontal triangle of (85) is identified with the morphism induced by \(\mathcal {O}_Z=\mathbf {L}i^*\mathcal {O}_{X\times {X}^{[2]}}\rightarrow \mathbf {L}i^*\circ i_*(\mathcal {O}_Z)\), which comes from the restriction map \(\mathcal {O}_{X\times {X}^{[2]}}\rightarrow i_*\mathcal {O}_Z\).
Proof
The first isomorphism is immediate from \(p_{{X}^{[2]}}\circ i=q\) in (20).
The second isomorphism follows from Grothendieck duality and the tensor-Hom adjunction as
where in the last step we used the formula \(i^{!}(-)=\mathbf {L}i^{*}(-)\otimes \omega _{i}[-d]\) and the commutative diagram (20). \(\square \)
This lemma allows us to compute the cohomology of the object in the upper left corner of (85). Since \(i:Z \hookrightarrow X \times {X}^{[2]}\) is a closed immersion of smooth varieties, we know by [17, proposition 11.8] that \(\mathbf {L}i^*\circ i_*(\mathcal {O}_Z)\) has cohomology sheaves
so by the identification of the morphism in Lemma 19 we can compute the cohomology sheaves of the object in the upper left corner as
because \(\omega _i\cong \det \mathcal {N}_{Z/X\times {X}^{[2]}}\), so \(\bigwedge \nolimits ^j\mathcal {N}_{Z/X\times {X}^{[2]}}^\vee \otimes \omega _i\cong \bigwedge \nolimits ^{d-j}\mathcal {N}_{Z/X\times {X}^{[2]}}\).
Moreover we note that \({{\,\mathrm{\mathcal {E}xt}\,}}^{j+1}_{p_{{X}^{[2]}}}(i_*\mathcal {O}_Z, \mathcal {I})=0\) for \(j\ge d\), because the relative dimension of \(p_{{X}^{[2]}}\) is d.
The next lemma computes the second horizontal morphism in the upper right square of (85) more explicitly.
Lemma 20
We have the isomorphisms
and
Moreover, via these isomorphisms, the second morphism in the second horizontal triangle of (85) is the inclusion morphism
Proof
The first isomorphism follows from the isomorphism
whilst the second isomorphism follows from the commutativity of the diagram (20).
As for the last assertion, again by the commutativity of (20), we see that the morphism \(\mathcal {O}_{{X}^{[2]}}\rightarrow q_*\mathcal {O}_Z\) coincides with the natural one induced by the morphism q. Since the splitting \(q_*\mathcal {O}_Z\cong \mathcal {O}_{{X}^{[2]}}\oplus \mathcal {O}_{{X}^{[2]}}(-\delta )\) comes from the trace map \(q_*\mathcal {O}_Z\rightarrow \mathcal {O}_{{X}^{[2]}}\), after rescaling by \(\frac{1}{2}\), the structural morphism \(\mathcal {O}_{{X}^{[2]}}\rightarrow q_*\mathcal {O}_Z\) is identified with the inclusion \(({{\,\mathrm{id}\,}}, 0)\). \(\square \)
Therefore we can compute the first object in the triangle on the second row as
Combining (90) and (95) together with the distinguished triangle in the first column of (85), we get the desired formula (82) except for the case \(j=0\). In that case, we have by the above computation that \({{\,\mathrm{\mathbf {R}\mathcal {H}om}\,}}_{p_{{X}^{[2]}}}(\mathcal {I}, \mathcal {I})\) is the kernel of the natural projection map
which is \(\mathcal {O}_{{X}^{[2]}}\).
First relative Ext is tangent bundle The following result computes one of the sheaves in (82). Part of it is a generalisation of [18, theorem 10.2.1], which treats the case \(d=2\). In this new generality we have not found a reference for it, so we prove it here.
Proposition 21
There is an isomorphism of sheaves
Proof
The first isomorphism is proved in Theorem 18. Let us show that
We claim that the Hilbert square \(X^{[2]}\) is isomorphic to \({{\,\mathrm{M}\,}}(X, v)\), the (fine) moduli space of stable sheaves on X with Mukai vector
Firstly, for any length-2 subscheme \(\xi \) of X, its ideal sheaf \(\mathcal {I}_{\xi }\) is a rank 1 torsion-free (hence stable) sheaf with Mukai vector
Conversely, for any stable sheaf \(E\in {{\,\mathrm{M}\,}}(X,v)\) with Mukai vector v, its Chern character is \({{\,\mathrm{ch}\,}}(E)=(1,0,\ldots , 0, -2)\). In particular, E is of rank 1 and torsion-free. Moreover, its reflexive hull \(E^{\vee \vee }\) is a line bundle which is of degree 0, as \(\mathrm {c}_1(E)=0\), hence trivial since by assumption \({{\,\mathrm{Pic}\,}}^0(X)=0\). Therefore, E is the ideal sheaf of a closed subscheme, denoted by \(\xi \). As \({{\,\mathrm{ch}\,}}(\mathcal {O}_{\xi })=1-{{\,\mathrm{ch}\,}}(\mathcal {I}_{\xi })=(0,\ldots , 0, 2)\), the subscheme \(\xi \) is 0-dimensional and of length 2. To summarize, we established an isomorphism from \({X}^{[2]}\) to \({{\,\mathrm{M}\,}}(X, v)\) by sending \(\xi \) to \(\mathcal {I}_{\xi }\).
Now the desired isomorphism follows from the natural identification of \(\mathrm {T}_{{{\,\mathrm{M}\,}}(X,v)}\) and \({{\,\mathrm{\mathcal {E}xt}\,}}^1_{p_M}(\mathcal {I},\mathcal {I})\), where \(p_{{{\,\mathrm{M}\,}}(X,v}):{{\,\mathrm{M}\,}}(X,v)\times X\rightarrow {{\,\mathrm{M}\,}}(X,v)\) is the natural projection and \(\mathcal {I}\) is identified with the universal sheaf on \({{\,\mathrm{M}\,}}(X,v)\times X\). \(\square \)
Remark 22
We do not have a modular interpretation for \({{\,\mathrm{\mathcal {E}xt}\,}}_{p_{{X}^{[2]}}}^j(\mathcal {I},\mathcal {I})\) with \(j\ge 2\). When X is a surface we recall the description for \(j=2\) in (136).
4.2 Degeneration of the spectral sequence
In this section we finish the proof of Theorem 14. At this point we are left to show that the spectral sequence degenerates on the second page.
We start with a lemma from commutative algebra.
Lemma 23
Let Y be a Noetherian integral scheme and \(i:D\hookrightarrow Y\) be the closed immersion of a hypersurface. Suppose there is a short exact sequence of coherent sheaves on Y
where
-
1.
\(\mathcal {F}_1\) and \(\mathcal {F}_2\) are locally free sheaves on Y, of rank r;
-
2.
\(\mathcal {L}\) is an invertible sheaf on D.
Then for every \(k\ge 0\) there exists a locally free sheaf \(\mathcal {E}\) on D of rank \({r-1}\atopwithdelims (){k-1}\), such that we have a short exact sequence
Proof
The lemma being a local assertion, we can assume that \(Y={{\,\mathrm{Spec}\,}}A\) for some local integral domain A, and \(D={{\,\mathrm{Spec}\,}}A/{(a)}\) for some \(a\ne 0\), and i is induced by the projection \(A\twoheadrightarrow A/{(a)}\). We identify \(\mathcal {F}_1\) and \(\mathcal {F}_{2}\) (resp. \(\mathcal {L}\)) with the corresponding free A-modules \(F_1\) and \(F_2\) (resp. A / (a) itself). Then we have a short exact sequence of A-modules
which is a free resolution of A / (a).
Using [10, theorem 20.2] we have that \(F_1\cong F_1'\oplus A\) and \(F_2\cong F_2'\oplus A\), such that \(f=(f', \cdot a)\) for some free A-modules \(F_1'\), \(F_2'\) and an isomorphism \(f'\) between them. Therefore the morphism
can be written under the natural identifications as
As \(\bigwedge \nolimits ^kf'\) and \(\bigwedge \nolimits ^{k-1}f'\) are isomorphisms, we see that the cokernel is a free A / (a)-module of rank \(r-1 \atopwithdelims (){k-1}\). \(\square \)
The following lemma is crucial to the proof. In Lemmas 25 and 26 we will give an interpretation of the sheaf cohomology (on Z) of the outer terms in the sequence (106) using sheaf cohomology of polyvector fields on X.
Lemma 24
For any \(k \ge 1\), there is a short exact sequence
Proof
Since \(\mathcal {N}_{X/X \times X}\cong \mathrm {T}_X\) and \(p:E\cong \mathbf {P}(\mathcal {N}_{X/X \times X}) \rightarrow X\) is a projective bundle, the corresponding relative Euler sequence takes the form
Now for \(k \ge 1\), taking the kth exterior power of (107) one obtains sequences
Observe that the restriction of \(\mathrm {T}_{X\times {X}^{[2]}}\) to Z is isomorphic to \(\pi ^*\circ p_1^*(\mathrm {T}_X)\oplus q^*\mathrm {T}_{{X}^{[2]}}\), hence we have the following commutative diagram with rows being short exact sequences:
By the snake lemma, and the isomorphism \(\mathcal {O}_{E}(2E) \cong \mathcal {O}_p(-2)\), we get a short exact sequence
which is the \(k=1\) case of (106).
Applying \(\mathbf {L}j^*\) to (110) and taking cohomology we have the exact sequence
where we used [17, Corollary 11.2] and the fact that \(p_1\circ \pi \circ j=p_1\circ \Delta \circ p=p\) from (20). One checks that the first morphism in (111) is the one in (107), and hence we have a short exact sequence:
Take the kth exterior power of (112) to obtain:
Putting (113) and (108) together, we obtain the exact sequence
which says precisely that if we apply \(\mathbf {L}j^*\) to (106), we have a distinguished triangle.
On the other hand, by Lemma 23 applied to (110), there exists a locally free sheaf \(\mathcal {F}\) on E fitting into the following short exact sequence:
Applying \(\mathbf {L}j^*\) to it and comparing to (114), we see that \(\mathcal {F}\cong \bigwedge \nolimits ^{k-1}\mathrm {T}_p(-k-1)\). Hence (115) is the desired exact sequence. \(\square \)
We now interpret the sheaf cohomology of the outer terms of (106). The first term is dealt with by the following lemma.
Lemma 25
There are isomorphisms
for all \(i\ge 0\) and \(j\ge 0\).
Proof
By the projection formula, the isomorphism \(\mathbf {R}\pi _*\mathcal {O}_Z\cong \mathcal {O}_X\) and the vanishing \({{\,\mathrm{H}\,}}^{\ge 1}(X,\mathcal {O}_X)=0\) we have that
as desired. \(\square \)
For the third term we can prove the following, where we have already applied the adjunction \(\mathbf {L}j^*\dashv j_*\) in computing the sheaf cohomology.
Lemma 26
There are isomorphisms
for all \(i\ge 0\).
Proof
For any \(l \in {\mathbb {Z}}\), twisting (108) by \(\mathcal {O}_p(-l)\) one obtains sequences
Let us consider \(l=1,\ldots ,d-1\). In this case we have \(\mathbf {R}p_*\mathcal {O}_p(-l)=0\), and hence
So from the long exact sequence for sheaf cohomology obtained from (108) we find isomorphisms
for all \(i \in {\mathbb {Z}}\). Repeated use of this for different values of k gives
for all \(i \in {\mathbb {Z}}\).
Finally, by relative Serre duality [19]
and so
which proves the lemma. \(\square \)
We can now show the degeneration of the spectral sequence, which is second part of Theorem 14.
Theorem 27
The spectral sequence (71) degenerates at \(\mathrm {E}_2\).
Proof
We know that
and to establish degeneration it suffices to prove that the last inequality is in fact an equality. By the Hochschild–Kostant–Rosenberg theorem we know that
so degeneration would follow by establishing the inequalities
for all \(n \ge 0\). This is what we will do now.
Since \(q_*\) is an exact functor, we have for every \(j=1,\ldots ,d-1\)
Now using the long exact sequence associated to (106) for \(k=j\) we get
Combining (129) with Lemmas 25 and 26, we have for \(j=1,\ldots ,d-2\) that
On the other hand, for \(j=d-1\) we have that \(\mathrm {E}_2^{i,d-1}={{\,\mathrm{H}\,}}^i\left( Z, \bigwedge \nolimits ^{d-1}\mathcal {N}_{Z/X\times {X}^{[2]}}\right) \) fits into a long exact sequence with parts
hence
which suffices to obtain (127), and hence degeneration. \(\square \)
Corollary 28
For every \(i \in {\mathbb {Z}}\) there are short exact sequences
Proof
This follows immediately from the inequality (127), which implies that the connecting morphisms
in (131) are zero. \(\square \)
4.3 Degeneration of the spectral sequence for surfaces
In dimension 2 the degeneration can be understood more directly as follows, where we will use S instead of X to emphasise that we are working in dimension 2. Note that we do not need to restrict ourselves to 2 points, as \(S^{[n]}\) is smooth for every \(n\ge 2\), and we can use the fully faithfulness result by Krug–Sosna, as long as \(\mathcal {O}_S\) is exceptional.
We want to describe the relative local-to-global Ext spectral sequence
where \(p_{S^{[n]}}: S\times S^{[n]}\rightarrow S^{[n]}\) is the natural projection. Notice that in this case \({{\,\mathrm{\mathcal {E}xt}\,}}_{p_{S^{[n]}}}^j(\mathcal {I},\mathcal {I})=0\) if \(j\ge 3\), as the relative dimension of \(p_{S^{[n]}}\) is 2.
In Proposition 21 we have described the relative Ext when \(j=1\). The only mising case is \(j=2\), and as \(S^{[n]}\) is the moduli space of stable sheaves with Mukai vector \(\sqrt{{{\,\mathrm{td}\,}}_S}\cdot (1,0,-n)=\sqrt{{{\,\mathrm{td}\,}}_{S}}-(0,0,n)\), we can apply [18, theorem 10.2.1] to get
In particular we get that in the situation we are mostly interested in, i.e. where \(\mathcal {O}_S\) is exceptional, the interesting part of the \(\mathrm {E}_2\)-page therefore looks like
using (136) and Lemma 1. All the morphisms are necessarily 0. By the following proposition we know that the second row is moreover 0 to the right of what is pictured.
Proposition 29
Let S be a smooth projective surface with exceptional structure sheaf. Then
Proof
As the spectral sequence degenerates, we have that
where the second isomorphism uses the fully faithfulness (Theorem A). By the Hochschild–Kostant–Rosenberg decomposition we know that \({{\,\mathrm{HH}\,}}^{i+1}(S)=0\) for \(i\ge ~4\). \(\square \)
Remark 30
Nowhere have we used that the moduli space is the Hilbert scheme of points. The identification (136) and the relative local-to-global Ext spectral sequence can be used verbatim for other moduli spaces of sheaves on surfaces with exceptional structure sheaf. The only required ingredient is the fully faithfulness of the functor
where \((r,c_1,c_2)\) is such that \({{\,\mathrm{M}\,}}_S(r,c_1,c_2)\) is smooth and projective, and \(\mathcal {E}\) denotes the universal sheaf on \(S\times {{\,\mathrm{M}\,}}_S(r,c_1,c_2)\). Unfortunately we have no other examples of this phenomenon.
Let us give an example of a surface such that \({{\,\mathrm{H}\,}}^3(S^{[n]},\mathrm {T}_{S^{[n]}})\) is nonzero.
Example 31
Let S be a fake projective plane. As the Hodge numbers of S are the same as those of \({\mathbb {P}}^2\) we know that the structure sheaf is an exceptional object. For the fake projective planes in [13] we have by Remark 3.2 of op.cit. that
Hence \({{\,\mathrm{H}\,}}^3(S^{[n]},\mathrm {T}_{S^{[n]}})\cong {{\,\mathrm{HH}\,}}^{4}(S)\cong {{\,\mathrm{H}\,}}^2(S, \omega _{S}^{\vee })\ne 0\) in this case.
On the other hand, the vanishing for \(i\ge 4\) does not necessarily hold when the structure sheaf is not exceptional.
Example 32
Let S be a K3 surface. As \(S^{[n]}\) is hyperkähler we can see using [14] that
A more careful analysis shows that it is nonzero in all odd degrees up to \(2n-1\).
5 Deformations of Hilbert squares
The deformation theory of Hilbert schemes of points on curves and surfaces is well-studied. The case of curves, to which our results do not apply, can be found in [12]. For surfaces the main results can be found in [11], and we will briefly summarise the situation before explaining how our results give new proofs for some known results.
In higher dimensions the description of the deformation theory of the Hilbert square is new, as far as we know. It is also somewhat surprising, as it gives a strong no-go result for noncommutative algebraic geometry when compared to the case of noncommutative surfaces, as we will explain.
5.1 Dimension 2
To emphasise that we are in the 2-dimensional setting here, we will write S instead of X to denote a smooth projective surface, as we did in Sect. 4.3. The results of [11] can be summarised as follows.
Theorem 33
(Fantechi) Let S be a smooth projective surface such that
-
1.
\({{\,\mathrm{H}\,}}^0(S,\mathrm {T}_S)=0\) or \({{\,\mathrm{H}\,}}^1(S,\mathcal {O}_S)=0\);
-
2.
and \({{\,\mathrm{H}\,}}^0(S,\omega _S^\vee )=0\)
then the natural transformation
is a natural equivalence of deformation functors.
In particular, when S is a surface of general type, or an Enriques surface, we have that \({{\,\mathrm{Def}\,}}_S\cong {{\,\mathrm{Def}\,}}_{S^{[n]}}\). On the other hand, for K3 surfaces \(\dim _k{{\,\mathrm{H}\,}}^1(S^{[n]},\mathrm {T}_{S^{[n]}})=21\), whereas \(\dim _k{{\,\mathrm{H}\,}}^{1}(S,\mathrm {T}_S)=20\), so (143) cannot be an equivalence (see also example 32).
For del Pezzo surfaces the deformation theory also involves noncommutative deformations, since the \({{\,\mathrm{H}\,}}^0(S,\omega _S^\vee )\) term appearing in the Hochschild–Kostant–Rosenberg decomposition for \({{\,\mathrm{HH}\,}}^2(S)\) is non-zero. This leads to a very rich theory: for \({\mathbb {P}}^2\) and \({\mathbb {P}}^1\times {\mathbb {P}}^1\) consult [4, 33], and for their blowups see [32]. As will be explained below this is reflected in the non-rigidity of the corresponding Hilbert schemes of points [8, 29].
From now on we will assume that \(\mathcal {O}_S\) is an exceptional line bundle, so that we can apply the fully faithfulness result of Krug–Sosna for \(n\ge 2\) (resp. ours for \(n=2\)). We want to keep 2 types of examples in mind:
-
1.
surfaces of general type with exceptional structure sheaf, such as fake projective planes (see also example 31), Beauville surfaces (or fake projective quadrics), or Burniat surfaces;
-
2.
del Pezzo surfaces.
Remark that we can only apply Fantechi’s result to the first type of surfaces, as the second condition in Theorem 33 rules out Poisson surfaces.
We have that Corollary 28 specialises to give the short exact sequences
For \(i=1\) this short exact sequence can be compared to a short exact sequence (1) obtained by Hitchin using purely geometric methods, not involving any derived categories [16, theorem 9]. For completeness’ sake we give the full statement, including the (weaker than ours) condition on S.
Theorem 34
(Hitchin) Let S be a smooth projective surface such that \({{\,\mathrm{H}\,}}^1(S,\mathcal {O}_S)=0\). Then there exists a short exact sequence
This sequence expresses that the deformations of \(S^{[n]}\) are described as a combination of geometric deformations and noncommutative deformations of S. Coming back to the 2 types of surfaces we are interested in, we have that
-
1.
deformations of \(S^{[n]}\) when S is a surface of general type with exceptional structure sheaf are all induced by geometric deformations of S, as explained by Fantechi’s result in Theorem 33, because there are no Poisson structures on such surfaces;
-
2.
deformations of \(S^{[n]}\) when S is a del Pezzo surface are indeed described using (possibly) noncommutative deformations of S, as explained in [8, 25, 29].
Remark 35
In [2, 30] the fully faithful functor \({{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(S)\rightarrow {{\,\mathrm{\mathbf {D}}\,}}^\mathrm {b}(S^{[2]})\) is generalised to noncommutative deformations of \(S={\mathbb {P}}^2,{\mathbb {P}}^1\times {\mathbb {P}}^1\). The Hilbert scheme of 2 points has commutative deformations, as one can see from Corollary 28 for \(i=2\) or Theorem 34. For a noncommutative plane or quadric, denoted \(S_{\mathrm {nc}}\), the associated commutative deformation of \(S^{[2]}\) will be denoted \(S_{\mathrm {nc}}^{[2]}\). In op. cit. the fully faithful functor \(\Phi _{\mathcal {I}}\) is constructed in families of noncommutative projective planes or quadrics.
The isomorphism
should become an isomorphism
Evidence for this is the dimension drop in the Sklyanin case when \(S={\mathbb {P}}^2\), using [16, proposition 12] and the description of the Hochschild cohomology of noncommutative planes from [1].
5.2 Dimension \(\ge 3\)
The following theorem can be deduced from the previous section, but we give a self-contained proof. We keep the notation from (20).
Theorem 36
Let X be a smooth projective variety of dimension d at least 3, such that \(\mathcal {O}_X\) is exceptional. Then there are isomorphisms
for all \(i\ge 0\).
Proof
We first claim that
To see this, recall that there is an exact sequence
which was constructed in (110). Applying \(\mathbf {R}\pi _*\) to this sequence, using that \(\mathbf {R}\pi _*\mathcal {O}_Z \cong \mathcal {O}_{X \times X}\) and the projection formula, we obtain a short exact sequence
and isomorphisms
for \(i\ge 1\). It now suffices to compute that in the fibers
for any \(x\in X\) and \(i \ge 0\). Note that the last equality uses the assumption that d is at least 3.
The Leray spectral sequence for the blowup morphism \(\pi \) reads
and hence degenerates at the second page by (149). We obtain isomorphisms
for \(i \ge 0\), using the Künneth formula for the first isomorphism. Since \(q_{*}\) is exact, and using proposition 21, we hence obtain isomorphisms
for \(i \ge 0\). \(\square \)
This gives a no-go result in noncommutative algebraic geometry. As discussed in Remark 35 one could hope that the Hilbert square of \({\mathbb {P}}^3\) has commutative deformations, which would shed light on the noncommutative deformations of \({\mathbb {P}}^3\), but the following corollary rules this out.
Corollary 37
Let X be of dimension \(d\ge 3\), such that \(\mathcal {O}_X\) is exceptional. If X is infinitesimally rigid, i.e. \({{\,\mathrm{H}\,}}^1(X,\mathrm {T}_X)=0\) then so is \({X}^{[2]}\).
More generally, we obtain a comparison between the deformation functor for X and that of \({X}^{[2]}\) as in Theorem 33. If \(\mathcal {X}\rightarrow T\) is a smooth projective family, such that \(\mathcal {X}_0\cong X\), then taking the relative Hilbert scheme produces a natural transformation of deformation functors
As in [11], Theorem 36 should imply that this is a natural equivalence, but we have not checked the details.
Notes
For surfaces and arbitrary \(n\ge 2\), the Hodge polynomial is described by Göttsche–Soergel via a generating series involving all values of n [14].
References
Belmans, P.: Hochschild cohomology of noncommutative planes and quadrics. J. Noncommut. Geom. (2018). (accepted for publication)
Belmans, P., Raedschelders, T.: Derived categories of noncommutative quadrics and Hilbert squares. Int. Math. Res. Not. 1, 1 (2018). https://doi.org/10.1093/imrn/rny192. (published ahead of print)
Biswas, I., Nagaraj, D.S.: Fourier-Mukai transform of vector bundles on surfaces to Hilbert scheme. J. Ramanujan Math. Soc. 32(1), 43–50 (2017)
Bondal, A., Polishchuk, A.: Homological properties of associative algebras: the method of helices. Izv. Ross. Akad. Nauk Ser. Mat. 57(2), 3–50 (1993). https://doi.org/10.1070/IM1994v042n02ABEH001536
Bridgeland, T., King, A., Reid, M.: The McKay correspondence as an equivalence of derived categories. J. Am. Math. Soc. 14(3), 535–554 (2001). https://doi.org/10.1090/S0894-0347-01-00368-X
Canonaco, A., Orlov, D., Stellari, P.: Does full imply faithful? J. Noncommut. Geom. 7(2), 357–371 (2013). https://doi.org/10.4171/JNCG/120
Cheah, J.: Cellular decompositions for nested Hilbert schemes of points. Pac. J. Math. 183(1), 39–90 (1998). https://doi.org/10.2140/pjm.1998.183.39
De Naeghel, K., Van den Bergh, M.: Ideal classes of three dimensional Artin–Schelter regular algebras. J. Algebra 283(1), 399–429 (2005). https://doi.org/10.1016/j.jalgebra.2004.06.011
Dimitrov, G., Katzarkov, L.: Non-commutative counting invariants and curve complexes (2018). arXiv: 1805.00294v3 [math.CT]
Eisenbud, D.: Commutative Algebra with a View Towards Algebraic Geometry. Graduate Texts in Mathematics, p. xvi+785. Springer, New York (1995)
Fantechi, B.: Deformation of Hilbert schemes of points on a surface. Compos. Math. 98(2), 205–217 (1995)
Fantechi, B.: Deformations of symmetric products of curves. In: Classification of Algebraic Varieties (L’Aquila, 1992). Vol. 162. Contemp. Math., pp. 135–141. Amer. Math. Soc., Providence (1994). https://doi.org/10.1090/conm/162/01531
Galkin, S., Katzarkov, L., Mellit, A., Shinder, E.: Derived categories of Keum’s fake projective planes. Adv. Math. 278, 238–253 (2015). https://doi.org/10.1016/j.aim.2015.03.001
Göttsche, L., Soergel, W.: Perverse sheaves and the cohomology of Hilbert schemes of smooth algebraic surfaces. Math. Ann. 296(2), 235–245 (1993). https://doi.org/10.1007/BF01445104
Haiman, M.: Hilbert schemes, polygraphs and the Macdonald positivity conjecture. J. Am. Math. Soc. 14(4), 941–1006 (2001). https://doi.org/10.1090/S0894-0347-01-00373-3
Hitchin, N.: Deformations of holomorphic Poisson manifolds. Mosc. Math. J. 12(3), 567–591, 669 (2012)
Huybrechts, D.: Fourier-Mukai Transforms in Algebraic Geometry. Oxford Mathematical Monographs, p. viii+307. Oxford University Press, Oxford (2006)
Huybrechts, D., Lehn, M.: The Geometry of Moduli Spaces of Sheaves. Cambridge Mathematical Library, 2nd edn, p. xviii+325. Cambridge University Press, Cambridge (2010)
Kleiman, S.L.: Relative duality for quasicoherent sheaves. Compos. Math. 41(1), 39–60 (1980)
Krug, A.: Remarks on the derived McKay correspondence for Hilbert schemes of points and tautological bundles. Math. Ann. 371(1–2), 461–486 (2018)
Krug, A.: Some ways to reconstruct a sheaf from its tautological image on a Hilbert scheme of points (2018). arXiv: 1808.05931v1 [math.AG]
Krug, A., Sosna, P.: On the derived category of the Hilbert scheme of points on an Enriques surface. Selecta Math. (N.S.) 21(4), 1339–1360 (2015). https://doi.org/10.1007/s00029-015-0178-x
Krug, A., Ploog, D., Sosna, P.: Derived categories of resolutions of cyclic quotient singularities. Q. J. Math. 69(2), 509–548 (2018). https://doi.org/10.1093/qmath/hax048
Kuznetsov, A.: Hochschild homology and semiorthogonal decompositions (2009). arXiv: 0904.4330v1 [math.AG]
Li, C.: Deformations of the Hilbert scheme of points on a del Pezzo surface. Mosc. Math. J. 17(2), 291–321 (2017)
Lowen, W., Van den Bergh, M.: Deformation theory of abelian categories. Trans. Am. Math. Soc. 358(12), 5441–5483 (2006). https://doi.org/10.1090/S0002-9947-06-03871-2
Markarian, N.: The Atiyah class, Hochschild cohomology and the Riemann–Roch theorem. J. Lond. Math. Soc. (2) 79(1), 129–143 (2009). https://doi.org/10.1112/jlms/jdn064
Muñoz, V., Ortega, D., Vázquez-Gallo, M.-J.: Hodge polynomials of the moduli spaces of triples of rank (2; 2). Q. J. Math. 60(2), 235–272 (2009). https://doi.org/10.1093/qmath/han007
Nevins, T., Stafford, T.: Sklyanin algebras and Hilbert schemes of points. Adv. Math. 210(2), 405–478 (2007). https://doi.org/10.1016/j.aim.2006.06.009
Orlov, D.: Geometric realizations of quiver algebras. In: Proc. Steklov Inst. Math. 290(1) (2015). Published in Russian in Tr. Mat. Inst. Steklova 290 , 80–94, pp. 70–83 (2015). https://doi.org/10.1134/S0081543815060073
Toda, Y.: Deformations and Fourier–Mukai transforms. J. Differ. Geom. 81(1), 197–224 (2009)
Van den Bergh, M.: Blowing up of non-commutative smooth surfaces. Mem. Am. Math. Soc. 154(734), x+140 (2001). https://doi.org/10.1090/memo/0734
Van den Bergh, M.: Noncommutative quadrics. Int. Math. Res. Not. IMRN 17, 3983–4026 (2011). https://doi.org/10.1093/imrn/rnq234
Acknowledgements
Open access funding provided by Max Planck Society. We would like to thank Daniel Huybrechts, Zhi Jiang, Joe Karmazyn and Alexander Perry for interesting discussions. We are also most grateful to the anonymous referee for a very careful reading of the paper and for making many valuable comments, in particular for suggesting the alternative proof of Theorem A. The first author is supported by the Max Planck Institute for Mathematics in Bonn. The second author is supported by ECOVA (ANR-15-CE40-0002), HodgeFun (ANR-16-CE40-0011), LABEX MILYON (ANR-10-LABX-0070) of Université de Lyon and Projet Inter-Laboratoire 2017 and 2018 by Fédération de Recherche en Mathématiques Rhône-Alpes/Auvergne CNRS 3490. The third author is supported by an EPSRC postdoctoral fellowship EP/R005214/1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.