arXiv:2109.01112v1 [math.AG] 2 Sep 2021 eteHletshm flength of scheme Hilbert the be fteHletshm fsot reuil uvsin curves c irreducible irreducible smooth an becam of is This scheme there Hilbert that behavior. shows the which of strange example, exhibit famous can Mumford’s schemes these situations S oeeatytemi euto hsnt is: note this Theorem. of result main the exactly More be: [1 possibly following should schemes Thus Hilbert for component. law connected Murphy’s smooth of statement one [16]. see least geometry at algebraic contain in law Murphy’s of study rigorous a For ahpito hscmoethsdmnin5 n rvsta hsf this that dimension proves of and family tan 57 irreducible the dimension other c any has that Mumford in component such contained exactly this curves, More of such point of [14]. each family see irreducible non-reduced, generically 56-dimensional is that 24 Mrh’ a o ibr cee” e [7, see schemes”, Hilbert for law “Murphy’s omnHletpolynomial Hilbert common sheaf identifies ttsta h nerlfntrΦ:D : Φ functor integral the that states atflesrslsi 3 n 1]a ela iuZagfrmn usef many for Zhang Ziyu as well as [11] and tions. [3] in results faithfulness Acknowledgement. x-ruson Ext-groups × ibr cee r bqiosi oenagbacgoer.Btev But geometry. algebraic modern in ubiquitous are schemes Hilbert nti oew rv htoecnas n lnyo ibr schemes Hilbert of plenty find also can one that prove we note this In hsadohreape e arsadMrio ofruaeter(in their formulate to Morrison and Harris led examples other and This 2020 h aniptit h ro fti hoe sarsl yKu n So and Krug by result a is theorem this of proof the into input main The l bet nti oeaedfie vrtefil fcmlxnumbers complex of field the over defined are note this in objects All e od n phrases. and words Key S OEO UPYSLWFRHLETSCHEMES HILBERT FOR LAW MURPHY’S ON NOTE A [ I n ntigta a apnwl apn odadbad. and good happen, will happen can that Anything found scheme. be Hilbert cannot some it of that component horrible some so on possibility generically geometric no is There Z ahmtc ujc Classification. Subject Mathematics ] opnn smrhcto isomorphic component h ibr scheme Hilbert the Abstract. htteei polynomial a is there that a eudrto safml fcdmnintosbcee i subschemes two codimension of family a as understood be can sflyfihu.Ti eut lost euetecmuaino cert of computation the reduce to allows results This faithful. fully is S ihasot once opnn fteHletscheme Hilbert the of component connected smooth a with Assume S [ n ] Let otecmuaino airEtgop on Ext-groups easier of computation the to S S hn itrBlasfrifrigm bu h fully the about me informing for Belmans Pieter thank I sasot rjciesraewith surface projective smooth a is ibr cee,itga uco,Mrh’ law. Murphy’s functor, integral schemes, Hilbert easot rjciesraewith surface projective smooth a be S [ n ] p flength of ( t S ) p n . ( lsie by classified t ushmsof subschemes Introduction uhta h ibr ceeHilb scheme Hilbert the that such ) AINREEDE FABIAN b ( n S rmr:1C5 eodr:1F8 42,14J29. 14J28, 14F08, Secondary: 14C05; Primary: ushmscnan mohconnected smooth a contains subschemes ) → D § 1.D]: S b ( S uhta h lsiyn morphism classifying the that such S [ hnteuieslfamily universal the Then . n ] ihkre h nvra ideal universal the kernel with ) > p P g 3 56. = p fdge 4adgenus and 14 degree of g q .W prove We 0. = = S p q ( . t ) 0 = ( S Hilb etsaeat space gent [ n la with clear e ml snot is amily lconversa- ul ] n let and ,3.]the 31.5] 0, ntut a onstructs of ) n ni good in en omponent n which sna C p S ( . t formal) [ ) n ( which ] S Z with [ S n ain [ ] in n ) . ] 2 FABIAN REEDE

Smooth connected components of Hilbert schemes

Let S be a smooth projective surface with pg = q = 0, that is we have 1 2 H (S, OS)= H (S, OS)=0. Around 1870 Max Noether posed the question if such surfaces are necessarily ratio- nal, see [2, §3]. By now it is known that the answer to this question is negative. In fact besides rational surfaces there is a huge class of surfaces satisfying these condi- tions which are not rational, most classically Enriques surfaces which have Kodaira dimension zero. But there are also surfaces of general type satisfying these condi- tions for example Godeaux surfaces, Campedelli surfaces or Beauville surfaces, see [1, 5] for more information and examples. We denote the Hilbert scheme of length n subschemes of S by S[n], that is: [n] 0 S = [Z] | Z ⊂ S is a zero-dimensional subscheme with h (Z, OZ )= n .  It is well known that S[n] is smooth and that dim(S[n])=2n. Using this notation we have the universal subscheme [n] [n] Z = n(s, [Z]) ∈ S × S | s ∈ supp(Z)o ⊂ S × S (1)

. [coming with the corresponding universal ideal sheaf IZ ֒→ OS×S[n Recall that the universal family Z is flat over S[n]. Indeed, using definition (1) one can see that the restriction of the projection q : S × S[n] → S[n] to Z is finite and flat of degree n. But as a matter of fact Z is also flat over S due to Theorem 1. [12, Theorem 2.1] Assume X is a smooth variety and denote the universal family of the Hilbert scheme X[n] of length n subschemes by Ξ ⊂ X ×X[n], then Ξ is flat over X. As we often use integral functors in the following, we quickly recall their defini- tion: let X and Y be smooth projective varieties and denote their bounded derived categories of coherent sheaves by Db(X) and Db(Y ) respectively, then the integral functor Φ with kernel K ∈ Db(X × Y ) is defined by b b ∗ L Φ : D (X) → D (Y ), E 7→ Rp∗(q E ⊗ K) where p and q are the projections X × Y → Y resp. X × Y → X, see [8, §5]. An easy example of an integral transform is that of a skyscraper sheaf Ox of a closed point x ∈ X, which we will collect as Example 2. [8, Examples 5.4 (vi)] Assume the kernel K of an integral functor Φ is in fact a coherent sheaf on X × Y flat over X, then we have for every closed point x ∈ X Φ(Ox) =∼ Kx, where the fiber Kx := K|{x}×Y is considered as a sheaf on Y via the second projec- tion {x}× Y → Y .

Since Z is flat over S by Theorem 1, so is IZ and hence we can look at the integral functor with kernel given by IZ . In our case this integral functor has some very good properties. The main input into this note is following very useful fact discovered by Krug and Sosna: Theorem 3. [11, Theorem 1.2] Let S be a smooth projective surface such that b b [n] pg = q = 0, then the integral functor Φ : D (S) → D (S ) whose kernel is the universal ideal sheaf IZ , is fully faithful. ANOTEONMURPHY’SLAWFORHILBERTSCHEMES 3

As an application of Theorem 3 we have the following

Corollary 4. Assume S is a smooth projective surface with pg = q = 0 and let Φ : Db(S) → Db(S[n]) be the integral functor with kernel the universal ideal sheaf b IZ , then for all E, F ∈ D (S) and i > 0 we have an isomorphism i ∼ i ExtS[n] (Φ(E), Φ(F )) = ExtS(E, F ). Furthermore to compute tangent spaces of Hilbert schemes, we need the following theorem, which allows to identify certain Hilbert schemes with moduli spaces of rank one sheaves: Theorem 5. [13, Lemma B.5.6] Let X be a smooth projective variety of dimension d such that Pic0(X)=0 and let p(t) be an integer valued polynomial of degree at most d − 2. Let Hilbp(t)(X) be the Hilbert scheme of subschemes in X with Hilbert polynomial p(t), and let MX (1, 0, −p(t)) be the moduli space of Gieseker semistable sheaves on X of rank one with c1 =0 and Hilbert polynomial pOX (t) − p(t). Then the canonical morphism p(t) Hilb (X) → MX (1, 0, −p(t)), (Z ⊂ X) 7→ IZ where IZ is the ideal sheaf of Z, is an isomorphism. In particular, for any sub- scheme Z ⊂ X of codimension two, there is an isomorphism ∼ 1 HomX (IZ , OZ ) = ExtX (IZ , IZ ).

We are now ready to prove the main result of this note: let S be a smooth projective surface with pg = q = 0 and denote the Hilbert scheme of length n subschemes by S[n]. By Theorem 1 the universal family Z ⊂ S × S[n] is flat over S. [n] Denote the fiber over a closed point s ∈ S by Zs and its image in S by Fs (via the second projection {s}× S[n] =∼ S[n], which is an isomorphism). This identification together with Example 2 gives isomorphisms ∼ ∼ IFs = (IZ )s = Φ(Os). (2) Remark 6. By the definition of Z given in (1) we have

[n] [n] Fs = n[Z] ∈ S | s ∈ supp(Z)o ⊂ S . [n] That is, Fs is the subscheme of S classifying all length n subschemes containing the closed point s ∈ S in its support. Note that dim(Fs)=2n − 2, i.e. Fs is a subscheme of codimension two in S[n].

Since S is integral the Hilbert polynomial of Fs does not depend on s ∈ S by [9, Proposition 2.1.2], call it p(t). We thus have a well defined classifying morphism p(t) [n] S → Hilb (S ), s 7→ [Fs] . We claim that this morphism identifies S with a smooth connected component of Hilbp(t)(S[n]). To see this, by [15, Lemma 1.6.] we have to show that the morphism is injective on closed points and that for every closed point s ∈ S we have p(t) [n] dim(T[Fs] Hilb (S ))=2. [n] Note that as Fs has codimension two in S , we can recover Fs from its ideal sheaf IFs as the support of the cokernel of the natural map to its bidual ∗∗ . IFs ֒→ IFs Thus prove that the morphism is injective on closed points, it is enough to prove that for two closed points s1 6= s2 we have

Hom [n] (I s , I s )=0. S F 1 F 2 4 FABIAN REEDE

Using equation (2) as well as Corollary 4, this follows from: ∼ Hom [n] (I s , I s ) Hom [n] (Φ(O ), Φ(O )) S F 1 F 2 = S s1 s2 ∼ = HomS(Os1 , Os2 )=0 so the morphism is indeed injective on closed points. p(t) [n] To find dim(T[Fs] Hilb (S )) we remark that (see e.g. [9, Proposition 2.2.7]) p(t) [n] ∼ T[Fs] Hilb (S ) = HomS[n] (IFs , OFs ). As q = 0 we have Pic0(S) = 0, but by [6, Theorem 5.4.] we also have an isomor- phism ∼ Pic0(S) −→= Pic0(S[n]) and thus Pic0(S[n]) = 0. So we can use Theorem 5 which gives an isomorphism ∼ 1 HomS[n] (IFs , OFs ) = ExtS[n] (IFs , IFs ). We compute, using again equation (2) and Corollary 4: 1 ∼ 1 ExtS[n] (IFs , IFs ) = ExtS[n] (Φ(Os), Φ(Os)) ∼ 1 = ExtS(Os, Os) =∼ TsS

p(t) [n] and so we find dim(T[Fs] Hilb (S )) = 2 as desired. Remark 7. The result in Theorem 3 can be generalized in the case n = 2 to all i smooth projective varieties X given that H (X, OX ) = 0 for i > 1 (i.e. OX is exceptional). More exactly we have the following fact, which is [3, Theorem A]: Let X be a smooth projective variety of dimension at least 2, such that b b [2] OX is exceptional. Then the integral functor Φ : D (X) → D (X ) with kernel the universal ideal sheaf IZ is fully faithful. Thus our proof of the main result is also valid in these cases. In fact the main result is correct for all smooth projective varieties and Hilbert squares by an elementary computation, see [15, Theorem 1.7]. Remark 8. In the case of surfaces, the proof of the main result only works for those surfaces with pg = q = 0, since [4, Theorem A.] gives the following strengthening of Theorem 3: Let S be a smooth projective surface and n > 2, then the integral functor Φ : Db(S) → Db(S[n]) with kernel the universal ideal sheaf is fully faithful if and only if pg = q = 0. But there are similar results for K3 surfaces and abelian surfaces, see [15, Theorem 2.4., Theorem 3.3.]. The fully faithfulness result is replaced by the fact that in these cases the integral functor Φ is a so-called Pn-functor.

References

[1] Ingrid Bauer and Fabrizio Catanese. Some new surfaces with pg = q = 0. In The Fano Conference, pages 123–142. Univ. Torino, Turin, 2004. [2] Ingrid Bauer, Fabrizio Catanese, and Roberto Pignatelli. Surfaces of general type with geo- metric genus zero: a survey. In Complex and differential geometry, volume 8 of Springer Proc. Math., pages 1–48. Springer, Heidelberg, 2011. [3] Pieter Belmans, Lie Fu, and Theo Raedschelders. Hilbert squares: derived categories and deformations. Selecta Math. (N.S.), 25(3):Paper No. 37, 32, 2019. [4] Pieter Belmans and Andreas Krug. Derived categories of (nested) Hilbert schemes. arXiv e-prints, September 2019. [5] Igor Dolgachev. Algebraic surfaces with q = pg = 0. In Algebraic surfaces, volume 76 of C.I.M.E. Summer Sch., pages 97–215. Springer, Heidelberg, 2010. ANOTEONMURPHY’SLAWFORHILBERTSCHEMES 5

[6] John Fogarty. Algebraic families on an algebraic surface. II. The Picard scheme of the punctual Hilbert scheme. Amer. J. Math., 95:660–687, 1973. [7] Joe Harris and Ian Morrison. Moduli of curves, volume 187 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1998. [8] Daniel Huybrechts. Fourier-Mukai transforms in algebraic geometry. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2006. [9] Daniel Huybrechts and Manfred Lehn. The geometry of moduli spaces of sheaves. Cambridge Mathematical Library. Cambridge University Press, Cambridge, second edition, 2010. [10] Lawrence J. Kamm. Understanding Electro-Mechanical Engineering: An Introduction to Mechatronics. IEEE Press Understanding Science & Technology Series. Wiley, 1995. [11] Andreas Krug and Pawel Sosna. On the derived category of the Hilbert scheme of points on an Enriques surface. Selecta Math. (N.S.), 21(4):1339–1360, 2015. [12] Andreas Krug and Jørgen Vold Rennemo. Some ways to reconstruct a sheaf from its tauto- logical image on a Hilbert scheme of points. arXiv:1808.05931, pages 1–18, 2018. To appear in Math. Nachr. [13] Alexander Kuznetsov, Yuri Prokhorov, and Constantin Shramov. Hilbert schemes of lines and conics and automorphism groups of Fano threefolds. Jpn. J. Math., 13(1):109–185, 2018. [14] David Mumford. Further pathologies in algebraic geometry. Amer. J. Math., 84:642–648, 1962. [15] Fabian Reede and Ziyu Zhang. Examples of smooth components of moduli spaces of stable sheaves. Manuscripta Math., 165(3-4):605–621, 2021. [16] Ravi Vakil. Murphy’s law in algebraic geometry: badly-behaved deformation spaces. Invent. Math., 164(3):569–590, 2006.

Institut fur¨ Algebraische Geometrie, Leibniz Universitat¨ Hannover, Welfengarten 1, 30167 Hannover, Germany Email address: [email protected]