The Lci Locus of the Hilbert Scheme of Points & the Cotangent Complex

Total Page:16

File Type:pdf, Size:1020Kb

The Lci Locus of the Hilbert Scheme of Points & the Cotangent Complex The lci locus of the Hilbert scheme of points & the cotangent complex Peter J. Haine September 21, 2019 Abstract Weintroduce the basic algebraic geometry background necessary to understand the main results of the work of Elmanto, Hoyois, Khan, Sosnilo, and Yakerson on motivic infinite loop spaces [5]. After recalling some facts about the Hilbert func- tor of points, we introduce local complete intersection (lci) and syntomic morphisms. We then give an overview of the cotangent complex and discuss the relationship be- tween lci morphisms and the cotangent complex (in particular, Avramov’s charac- terization of lci morphisms). We then introduce the lci locus of the Hilbert scheme of points and the Hilbert scheme of framed points, and prove that the lci locus of the Hilbert scheme of points is formally smooth. Contents 1 Hilbert schemes 2 2 Local complete intersections via equations 3 Relative global complete intersections ...................... 3 Local complete intersections ........................... 4 3 Background on the cotangent complex 6 Motivation .................................... 6 Properties of the cotangent complex ....................... 7 4 Local complete intersections and the cotangent complex 9 Avramov’s characterization of local complete intersections ........... 11 5 The lci locus of the Hilbert scheme of points 13 6 The Hilbert scheme of framed points 14 1 1 Hilbert schemes In this section we recall the Hilbert functor of points from last time as well as state the basic representability properties of the Hilbert functor of points. 1.1 Recollection ([STK, Tag 02K9]). A morphism of schemes 푓∶ 푌 → 푋 is finite lo- cally free if 푓 is affine and 푓⋆풪푌 is a finite locally free 풪푋-module. This is equivalent to saying that 푓 is finite, flat, and locally of finite presentation. If 푋 is locally noetherian, the condition that 푓 be locally of finite presentation is implied by the finiteness of 푓. 1.2 Definition. Let 푆 be a scheme and 푋 ∈ Sch푆. The Hilbert functor of points is the fin op functor Hilb (푋/푆)∶ Sch푆 → Set defined by sending 푌 ∈ Sch푆 to the set of closed subschemes 푍 ⊂ 푋 ×푆 푌 that are finite and locally free over 푌. 1.3. The degree of a finite locally free morphism induces a decomposition fin fin Hilb (푋/푆) ≃ ∐ Hilb푑 (푋/푆) 푑≥0 of product-preserving presheaves on Sch푆. We have the following representability properties of the Hilbert functor of points: 1.4 Theorem (see [5, Lemma 5.1.3]). Let 푆 be a scheme, 푋 ∈ Sch푆, and 푑 ≥ 0. (1.4.1) If 푋 → 푆 is separated, then Hilbfin(푋/푆) is representable by a separated algebraic space over 푆, which is: (1.4.1.1) Locally of finite presentation if 푋 → 푆 is. (1.4.1.2) A scheme if every finite set of points of every fiber of 푋 → 푆 is contained in an affine open in 푋 (e.g., 푋 → 푆 is locally quasi-projective). (1.4.2) If 푋 → 푆 is finite presented and locally (resp., strongly) quasi-projective, then fin Hilb푑 (푋/푆) is locally (resp., strongly) quasi-projective over 푆. Proof. For assertion (1.4.1), combine [13, Theorem 1.1; 16, Theorem 4.1; STK, Tag 0B9A]. Assertion (1.4.2) is [1, Corollaries 2.7 & 2.8]. 1.5 Remark. Nitsure gives a nice introduction to Hilbert and Quot functors [12]. 1.6 Theorem (Fogarty [6, Theorem 2.4 & Corollary 2.6]). Let 푘 be a field and 푋 a smooth fin surface over 푘. Then the Hilbert scheme Hilb푑 (푋/푘) is smooth of dimension 2푑 and bira- tional to Sym푑(푋). 1.7. Although the Hilbert scheme of points of a smooth surface is smooth, Hilbert schemes of points of smooth schemes are generally not smooth. In this talk we’ll de- scribe an open subscheme that is smooth, by considering the locus of points ‘cut out by the minimal number of equations’. 2 2 Local complete intersections via equations In this section we define and give examples of relative global complete intersections and local complete intersections, which make precise the notion of ‘being cut out by the min- imal number of equations’. Relative global complete intersections 2.1 Definition. A morphism of affine schemes 푓∶ Spec(푆) → Spec(푅) is a relative global complete intersection if there exists a presentation 푆 ≅ 푅[푥1, …, 푥푛]/(푓1, …, 푓푐) , such that all of the nonempty fibers of 푓 have dimension 푛 − 푐. 2.2 Example. Let 푘 by a field and 퐼 ⊂ 푘[푥] an ideal such that 푘[푥]/퐼 is a 0-dimensional scheme (equivalently, 푘[푥]/퐼 is finite-dimensional as a 푘-algebra). Since 푘[푥] is a princi- pal ideal domain, 퐼 = (푓) for some polynomial 푓 ∈ 푘[푥]. Thus 푘[푥]/퐼 is a relative global complete intersection over 푘. 2.3 Example. Let 푘 be a field, and 푒1, …, 푒푛 positive integers. Then the ring 푒1 푒푛 푘[푥1, …, 푥푛]/(푥1 , …, 푥푛 ) is 0-dimensional (since (0) is the only prime), hence a relative global complete intersec- tion over 푘. The following commuative algebra lemmas give some basic facts about relative global complete intersections that we use repeatedly. 2.4 Lemma ([STK, Tag 00SV]). Let 푅 be a ring and 푆 ≔ 푅[푥1, …, 푥푛]/(푓1, …, 푓푐) a relative global complete intersection. Let 픭 ∈ Spec(푆), and write 픭′ for the corresponding prime of 푅[푥1, …, 푥푛]. Then: (2.4.1) The sequence 푓1, …, 푓푐 is a regular sequence in the local ring 푅[푥1, …, 푥푛]픭′ . (2.4.2) For each 1 ≤ 푖 ≤ 푐, the ring 푅[푥1, …, 푥푛]픭′ /(푓1, …, 푓푖) is flat over 푅. (2.4.3) The ring 푆 is flat over 푅. 2 (2.4.4) The conormal module (푓1, …, 푓푐)/(푓1, …, 푓푐) is a free 푆-module with basis given by the classes of 푓1, …, 푓푐. 2.5 Lemma ([STK, Tag 07CF]). Let 푅 be a ring, and 퐼 ⊂ 푅[푥1, …, 푥푛] a finitely gen- 2 erated ideal. If the conormal module 퐼/퐼 is free over 푅[푥1, …, 푥푛]/퐼, then there exists a presentation 푅[푥1, …, 푥푛]/퐼 ≅ 푅[푦1, …, 푦푚]/(푓1, …, 푓푐) 2 such that (푓1, …, 푓푐)/(푓1, …, 푓푐) is free with basis given by the classes of 푓1, …, 푓푐. In this case, 푅[푥1, …, 푥푛]/퐼 is a relative global complete intersection over 푅. 3 The following lemma gives a method for producing relative global complete inter- sections. First we recall the conormal sequence, which we make repeated use of. 2.6 Recollection (conormal sequence [STK, Tag 01UZ]). Let 푖∶ 푍 ↪ 푋 be a closed immersion of 푆-schemes, with ideal sheaf 퐼. The differential d∶ 퐼 ⊂ 풪푋 → Ω푋/푆 maps 2 2 퐼 ⊂ 퐼 to 퐼Ω푋/푆, hence induces an 풪푋/퐼-linear map d∶ 퐼/퐼 → Ω푋/푆/퐼Ω푋/푆. That is, d ⋆ ⋆ pulls back to a map d∶ 풩푖 → 푖 Ω푋/푆 to a map from the conormal sheaf of 푖 to 푖 Ω푋/푆. Moreover, we have a conormal exact sequence d ⋆ 풩푖 푖 Ω푋/푆 Ω푍/푆 0 . 푛 2.7 Lemma (see [STK, Tag 00ST]). Let 푋 be an affine scheme, 푝∶ 푈 → 퐀푋 an affine étale morphism, and 푍 ⊂ 푈 a closed subscheme cut out by 푐 equations. If the nonempty 푛 fibers of 푍 → 퐀푋 → 푋 have dimension 푛 − 푐, then 푍 → 푋 is a relative global complete intersection. 푛 Proof. Factor 푝∶ 푈 → 퐀푋 as 푖 푚+푛 푈 퐀푋 푝 푛 퐀푋 , where 푖 is a closed immersion. Since 푝 is étale, Ω푝 ≅ 0, so the conormal sequence ⋆ 0 풩 푖 (Ω 푚+푛 푛 ) Ω 0 푖 퐀푋 /퐀푋 푝 provides an isomorphism ⋆ 푚 풩 ≅ 푖 (Ω 푚+푛 푛 ) ≅ 풪 . 푖 퐀푋 /퐀푋 푈 푚+푛 푚 Choose functions 푓1, …, 푓푚 on 퐀푋 lifting to generators of 풩푖 ≅ 풪푈 . By Nakayama’s 푚+푛 lemma, there is a function ℎ on 퐀푋 such that 푈 is cut out by 푓1, …, 푓푚 in the local- 푚+푛 푚+푛 ization (퐀푋 )ℎ of 퐀푋 at ℎ. But then 푈 is cut out by the 푚 + 1 equations 푓1, …, 푓푚, 푚+푛+1 푚+푛+1 and ℎ푥푛+푚+1 − 1 in 퐀푋 . Hence 푍 is cut out by 푐 + 푚 + 1 equations in 퐀푋 , so (by definition) 푍 → 푋 is a relative global complete intersection. Local complete intersections In order to introduce local complete intersections, we recall some preliminaries on reg- ularity conditions for immersions of schemes. 2.8 Recollection (the Koszul complex). Let 푅 be a ring and 푟 ∈ 푅. The Koszul complex Koz(푟) of 푟 is the complex 0 푅 ⋅푟 푅 0 concentrated in degrees 0 and 1. Note that there is an augmentation Koz(푟) → 푅/(푟). Given a sequence of elements 푟1, …, 푟푛 ∈ 푅, the Koszul complex Koz(푟1, …, 푟푛) of the sequence 푟1, …, 푟푛 is the tensor product of complexes Koz(푟1, …, 푟푛) ≔ Koz(푟1) ⊗푅 ⋯ ⊗푅 Koz(푟푛) . 4 Hence there is an induced augmentation Koz(푟1, …, 푟푛) → 푅/(푟1, …, 푟푛) . 푝+1 푛 Explicitly, Koz푝(푟1, …, 푟푛) = Λ (푅 ) with differential given by 푝 d(푒 ∧ ⋯ ∧ 푒 ) = ∑(−1)푘푟 푒 ∧ ⋯ ∧ ̂푒 ∧ ⋯ ∧ 푒 . 푖0 푖푝 푖푘 푖0 푖푘 푖푝 푘=0 2.9 Recollection (regularity conditions for ideals [STK, Tag 07CU]). Let 푅 be a ring. A sequence of elements 푟1, …, 푟푛 ∈ 푅 is Koszul-regular if the Koszul complex Koz(푟1, …, 푟푛) is a resolution of 푅/(푟1, …, 푟푛), i.e., H푖(Koz(푟1, …, 푟푛)) = 0 for 푖 ≠ 0 . A regular sequence is necessarily Koszul-regular. If 푅 is a noetherian ring, then every Koszul-regular sequence is also regular; see [STK, Tag 063I].
Recommended publications
  • The Minimal Model Program for the Hilbert Scheme of Points on P2 and Bridgeland Stability
    THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P2 AND BRIDGELAND STABILITY DANIELE ARCARA, AARON BERTRAM, IZZET COSKUN, AND JACK HUIZENGA 2[n] 2 Abstract. In this paper, we study the birational geometry of the Hilbert scheme P of n-points on P . We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and thus show that they are projective. There is a precise correspondence between wall-crossings in the Bridgeland stability manifold and wall-crossings between Mori cones. For n ≤ 9, we explicitly determine the walls in both interpretations and describe the corresponding flips and divisorial contractions. Contents 1. Introduction 2 2. Preliminaries on the Hilbert scheme of points 4 2[n] 3. Effective divisors on P 5 2[n] 4. The stable base locus decomposition of the effective cone of P 8 5. Preliminaries on Bridgeland stability conditions 15 6. Potential walls 18 7. The quiver region 23 8. Moduli of stable objects are GIT quotients 26 9. Walls for the Hilbert scheme 27 10. Explicit Examples 30 2[2] 10.1. The walls for P 30 2[3] 10.2. The walls for P 31 2[4] 10.3. The walls for P 32 2[5] 10.4. The walls for P 33 2[6] 10.5. The walls for P 34 2[7] 10.6.
    [Show full text]
  • Further Pathologies in Algebraic Geometry Author(S): David Mumford Source: American Journal of Mathematics , Oct., 1962, Vol
    Further Pathologies in Algebraic Geometry Author(s): David Mumford Source: American Journal of Mathematics , Oct., 1962, Vol. 84, No. 4 (Oct., 1962), pp. 642-648 Published by: The Johns Hopkins University Press Stable URL: http://www.jstor.com/stable/2372870 JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at https://about.jstor.org/terms The Johns Hopkins University Press is collaborating with JSTOR to digitize, preserve and extend access to American Journal of Mathematics This content downloaded from 132.174.252.179 on Sat, 01 Aug 2020 11:36:26 UTC All use subject to https://about.jstor.org/terms FURTHER PATHOLOGIES IN ALGEBRAIC GEOMETRY.*1 By DAVID MUMFORD. The following note is not strictly a continuation of our previous note [1]. However, we wish to present two more examples of algebro-geometric phe- nomnena which seem to us rather startling. The first relates to characteristic ]) behaviour, and the second relates to the hypothesis of the completeness of the characteristic linear system of a maximal algebraic family. We will use the same notations as in [1]. The first example is an illustration of a general principle that might be said to be indicated by many of the pathologies of characteristic p: A non-singular characteristic p variety is analogous to a general non- K:ahler complex manifold; in particular, a projective embedding of such a variety is not as "strong" as a Kiihler metric on a complex manifold; and the Hodge-Lefschetz-Dolbeault theorems on sheaf cohomology break down in every possible way.
    [Show full text]
  • Arxiv:2109.01112V1 [Math.AG]
    A NOTE ON MURPHY’S LAW FOR HILBERT SCHEMES FABIAN REEDE Abstract. Let S be a smooth projective surface with pg = q = 0. We prove that there is a polynomial p(t) such that the Hilbert scheme Hilbp(t)(S[n]) of the Hilbert scheme S[n] of length n subschemes contains a smooth connected component isomorphic to S. Introduction Hilbert schemes are ubiquitous in modern algebraic geometry. But even in good situations these schemes can exhibit strange behavior. This became clear with Mumford’s famous example, which shows that there is an irreducible component of the Hilbert scheme of smooth irreducible curves in P3 of degree 14 and genus 24 that is generically non-reduced, see [14]. More exactly Mumford constructs a 56-dimensional irreducible family of such curves, such that the tangent space at each point of this component has dimension 57 and proves that this family is not contained in any other irreducible family of dimension > 56. This and other examples led Harris and Morrison to formulate their (informal) “Murphy’s law for Hilbert schemes”, see [7, §1.D]: There is no geometric possibility so horrible that it cannot be found generically on some component of some Hilbert scheme. For a rigorous study of Murphy’s law in algebraic geometry see [16]. In this note we prove that one can also find plenty of Hilbert schemes which contain at least one smooth connected component. Thus following [10, 31.5] the statement of Murphy’s law for Hilbert schemes should possibly be: Anything that can happen will happen, good and bad.
    [Show full text]
  • THE HILBERT SCHEME of INFINITE AFFINE SPACE and ALGEBRAIC K-THEORY 3 Cohomology Theories and the Corresponding Transfers Is Given in [?, §1.1]
    THE HILBERT SCHEME OF INFINITE AFFINE SPACE AND ALGEBRAIC K-THEORY MARC HOYOIS, JOACHIM JELISIEJEW, DENIS NARDIN, BURT TOTARO, AND MARIA YAKERSON ∞ 1 Abstract. We study the Hilbert scheme Hilbd(A ) from an A -homotopical viewpoint and obtain appli- ∞ 1 cations to algebraic K-theory. We show that the Hilbert scheme Hilbd(A ) is A -equivalent to the Grass- ∞ 1 n mannian of (d − 1)-planes in A . We then describe the A -homotopy type of Hilbd(A ) in a range, for n n large compared to d. For example, we compute the integral cohomology of Hilbd(A )(C) in a range. We also deduce that the forgetful map FFlat → Vect from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an A1-equivalence after group completion. This implies that the moduli stack FFlat, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum kgl representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the kgl-homology of smooth proper schemes over a perfect field. Contents 1. Introduction 1 1 2. Thestacks FFlatd and Vectd−1 are A -equivalent 4 3. A1-equivalence between the group completions of the stacks FFlat and Vect 6 4. Consequences for the Hilbert scheme of A∞ 9 5. Theeffective motivic K-theory spectrum 14 6. Comparison with algebraic cobordism 17 7. The Hilbert scheme of finite lci schemes of degree 3 18 8. Stability theorems for the Hilbert scheme 20 References 25 1.
    [Show full text]
  • Hilbert Schemes of Points in Projective Spaces
    Hilbert Schemes of Points in Projective Spaces 1 2 Contents 1 Introduction and Motivation 5 2 Preliminary definitions and results 7 2.1 Flatness and the Hilbert polynomial . .7 2.2 Representability of Functors . .8 3 An introduction to the Hilbert Scheme and the Hilbert Scheme of points 11 3.1 The Hilbert functor . 11 3.2 The Grassmannian scheme . 12 3.3 Existence of the Hilbert scheme . 17 3.4 The tangent space to the Hilbert scheme at closed points . 20 4 Some examples 23 5 The Hilbert-Chow morphism 27 5.1 Quotients of a scheme by a group action . 27 5.2 Cartier divisors and the symmetric power . 28 5.3 Constructing effective Cartier divisors from coherent sheaves . 29 5.4 Applications of the Hilbert-Chow morphism . 32 6 The Betti numbers for the Hilbert scheme of points on a smooth projective surface 37 6.1 Stratification . 37 6.2 Computing the Betti numbers . 39 3 4 1 Introduction and Motivation The Hilbert scheme is a very general construction, parameterising closed subschemes of a given scheme. It is a scheme representing a functor and so may be described by a pleasant universal property. It was originally introduced by Grothendieck, as part of a more general object known as the quot functor, which he showed to be representable in great generality. I have two main objectives in writing this essay. The first one is to provide a coherent discussion of a construction of the Hilbert scheme in a relatively general setting. The second one is to describe in detail some of the most well-known and well-used examples of Hilbert schemes, the Hilbert schemes of points and in particular the Hilbert scheme of points of projective surfaces.
    [Show full text]
  • Invariant Hilbert Schemes Michel Brion
    Invariant Hilbert schemes Michel Brion To cite this version: Michel Brion. Invariant Hilbert schemes. 2011. hal-00561658v1 HAL Id: hal-00561658 https://hal.archives-ouvertes.fr/hal-00561658v1 Preprint submitted on 1 Feb 2011 (v1), last revised 20 Apr 2011 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Invariant Hilbert schemes Michel Brion Abstract. This is a survey article on moduli of affine schemes equipped with an action of a reductive group. The emphasis is on examples and applications to the classification of spherical varieties. Contents 1 Introduction 1 2 Families of affine schemes with reductive group action 4 2.1 Algebraic group actions 4 2.2 Reductive groups 6 2.3 Families 10 2.4 The universal family 14 3 Basic properties 18 3.1 Existence 18 3.2 Zariski tangent space 21 3.3 Action of equivariant automorphism groups 25 3.4 The quotient-scheme map 28 4 Some further developments and applications 33 4.1 Resolution of certain quotient singularities 33 4.2 The horospherical family 35 4.3 Moduli of multiplicity-free varieties with prescribed weight monoid 40 4.4 Finiteness properties of spherical varieties 44 4.5 Towards a classification of wonderful varieties 48 1.
    [Show full text]
  • Construction of Hilbert and Quot Schemes, and Its Application to the Construction of Picard Schemes (And Also a Sketch of Formal Schemes and Some Quotient Techniques)
    Construction of Hilbert and Quot Schemes Nitin Nitsure School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai400005,India. e-mail: [email protected] Abstract This is an expository account of Grothendieck’s construction of Hilbert and Quot Schemes, following his talk ‘Techniques de construction et th´eor`emes d’existence en g´eom´etrie alg´ebriques IV : les sch´emas de Hilbert’, S´eminaire Bourbaki 221 (1960/61), together with further developments by Mumford and by Altman and Kleiman. Hilbert and Quot schemes are fundamental to modern Algebraic Geometry, in particular, for deformation theory and moduli constructions. These notes are based on a series of six lectures in the summer school ‘Advanced Basic Algebraic Geometry’, held at the Abdus Salam International Centre for Theoretical Physics, Trieste, in July 2003. Any scheme X defines a contravariant functor hX (called the functor of points of the scheme X) from the category of schemes to the category of sets, which associates to any scheme T the set Mor(T,X) of all morphisms from T to X. The scheme X can be recovered (up to a unique isomorphism) from hX by the Yoneda lemma. In fact, it is enough to know the restriction of this functor to the full subcategory consisting of affine schemes, in order to recover the scheme X. It is often easier to directly describe the functor hX than to give the scheme X. Such is typically the case with various parameter schemes and moduli schemes, or with various group-schemes over arbitrary bases, where we can directly define a contravariant functor F from the category of schemes to the category of sets which would be the functor of points of the scheme in question, without knowing in advance whether such a scheme indeed exists.
    [Show full text]
  • The Lci Locus of the Hilbert Scheme of Points & The
    The lci locus of the Hilbert scheme of points & the cotangent complex Peter J. Haine April 2, 2020 Abstract Weintroduce the basic algebraic geometry background necessary to understand the main results of the work of Elmanto, Hoyois, Khan, Sosnilo, and Yakerson on motivic infinite loop spaces [5]. After recalling some facts about the Hilbert func- tor of points, we introduce local complete intersection (lci) and syntomic morphisms. We then give an overview of the cotangent complex and discuss the relationship be- tween lci morphisms and the cotangent complex (in particular, Avramov’s charac- terization of lci morphisms). We then introduce the lci locus of the Hilbert scheme of points and the Hilbert scheme of framed points, and prove that the lci locus of the Hilbert scheme of points is formally smooth. Contents 1 Hilbert schemes 2 2 Local complete intersections via equations 3 Relative global complete intersections ...................... 3 Local complete intersections ........................... 4 3 Background on the cotangent complex 6 Motivation .................................... 6 Properties of the cotangent complex ....................... 7 4 Local complete intersections and the cotangent complex 9 Avramov’s characterization of local complete intersections ........... 11 5 The lci locus of the Hilbert scheme of points 13 6 The Hilbert scheme of framed points 14 1 1 Hilbert schemes In this section we recall the Hilbert functor of points from last time as well as state the basic representability properties of the Hilbert functor of points. 1.1 Recollection ([STK, Tag 02K9]). A morphism of schemes 푓∶ 푌 → 푋 is finite lo- cally free if 푓 is affine and 푓⋆풪푌 is a finite locally free 풪푋-module.
    [Show full text]
  • Hilbert Schemes of 8 Points
    HILBERT SCHEMES OF 8 POINTS DUSTIN A. CARTWRIGHT, DANIEL ERMAN, MAURICIO VELASCO, AND BIANCA VIRAY d d Abstract. The Hilbert scheme Hn of n points in A contains an irreducible component d d Rn which generically represents n distinct points in A . We show that when n is at most 8, d the Hilbert scheme Hn is reducible if and only if n = 8 and d ≥ 4. In the simplest case of 4 4 reducibility, the component R8 ⊂ H8 is defined by a single explicit equation which serves as a criterion for deciding whether a given ideal is a limit of distinct points. To understand the components of the Hilbert scheme, we study the closed subschemes d of Hn which parametrize those ideals which are homogeneous and have a fixed Hilbert function. These subschemes are a special case of multigraded Hilbert schemes, and we describe their components when the colength is at most 8. In particular, we show that the scheme corresponding to the Hilbert function (1, 3, 2, 1) is the minimal reducible example. 1. Introduction d The Hilbert scheme Hn of n points in affine d-space parametrizes 0-dimensional, degree n d d subschemes of A . Equivalently, the k-valued points of Hn parametrize ideals I ⊂ S = k[x1, . , xd] such that S/I is an n-dimensional vector space over k. The smoothable compo- d d nent Rn ⊂ Hn is the closure of the set of ideals of distinct points. The motivating problem of this paper is characterizing the ideals which lie in the smoothable component, i.e.
    [Show full text]
  • THE HILBERT STACK Let Π: X → S Be a Morphism of Algebraic Stacks. Define the Hilbert Stack, HS X/S, to Be the S-Stack That Se
    THE HILBERT STACK JACK HALL AND DAVID RYDH ABSTRACT. Let π : X ! S be a morphism of algebraic stacks that is locally of fi- nite presentation with affine stabilizers. We prove that there is an algebraic S-stack—the Hilbert stack—parameterizing proper algebraic stacks mapping quasi-finitely to X. This was previously unknown, even for a morphism of schemes. INTRODUCTION Let π : X ! S be a morphism of algebraic stacks. Define the Hilbert stack, HSX=S, to be the S-stack that sends an S-scheme T to the groupoid of quasi-finite and representable s s πT morphisms (Z −! X ×S T ), such that the composition Z −! X ×S T −−! T is proper, flat, and of finite presentation. mono s Let HSX=S ⊆ HSX=S be the S-substack whose objects are those (Z −! X ×S T ) such that s is a monomorphism. The main results of this paper are as follows. Theorem 1. Let π : X ! S be a non-separated morphism of noetherian algebraic stacks. mono Then HSX=S is never an algebraic stack. Theorem 2. Let π : X ! S be a morphism of algebraic stacks that is locally of finite presentation, with quasi-compact and separated diagonal, and affine stabilizers. Then HSX=S is an algebraic stack, locally of finite presentation over S, with quasi-affine diago- nal over S. Theorem 3. Let X ! S be a morphism of algebraic stacks that is locally of finite presen- tation, with quasi-finite and separated diagonal. Let Z ! S be a morphism of algebraic stacks that is proper, flat, and of finite presentation with finite diagonal.
    [Show full text]
  • Arxiv:1612.04348V2 [Math.AG]
    REMARKS ON THE DERIVED MCKAY CORRESPONDENCE FOR HILBERT SCHEMES OF POINTS AND TAUTOLOGICAL BUNDLES ANDREAS KRUG Abstract. We study the images of tautological bundles on Hilbert schemes of points on surfaces and their wedge powers under the derived McKay correspondence. The main obser- vation of the paper is that using a derived equivalence differing slightly from the standard one considerably simplifies both the results and their proofs. As an application, we obtain shorter proofs for known results as well as new formulae for homological invariants of tau- tological sheaves. In particular, we compute the extension groups between wedge powers of tautological bundles associated to line bundles on the surface. 1. Introduction Let G be a finite group which acts on a smooth variety M. The McKay correspondence is a principle describing the relationship between the geometry of certain resolutions of the singularities of the quotient M/G and the representation theory of G. Probably the most important example of the McKay correspondence in higher dimensions is the case where n M = X is a power of a smooth surface with the symmetric group G = Sn permuting the factors. In this case, a crepant resolution of the quotient singularities is given by the Hilbert scheme X[n] of points on X which is a fine moduli space of zero-dimensional subschemes of X. The McKay correspondence can then be expressed as an equivalence of derived categories [n] ∼ n S D(X ) = DSn (X ) of ( n-equivariant) coherent sheaves; see [BKR01, Hai01]. Besides being a very interesting theoretical result, the derived McKay correspondence can be used as a computational tool for the study of vector bundles, or, more generally, sheaves and complexes thereof, on the Hilbert schemes of points on surfaces.
    [Show full text]
  • A General Introduction to the Hilbert Scheme of Points on the Plane
    A general introduction to the Hilbert scheme of points on the plane Barbara Bolognese and Ivan Losev February 11, 2014 1 The Hilbert scheme of points as a set There are several objects in mathematics which have the magical property of appearing in various areas and which are, therefore, of the greatest interest for mathematicians. One of those, of which we shall discuss in these notes, is the Hilbert scheme of points on a surface. Hilbert schemes were first introduced, in their broadest generality, by A. Grothendieck in his EGA, although we will only discuss a special case in these notes. The setting is the following. Let X be any quasi-projective surface. Let us remind that, given any zero-dimensional sub- 0 scheme Z ⊂ X, the length of Z is `(Z) := h (X; OZ ). Then the Hilbert scheme of n points on X, denoted by Hilbn(X) or X[n] is, as a set: Hilbn(X) = fZ ⊂ X j Z is a zero-dimensional subscheme with `(Z) = ng Now, the question is whether it is possible to introduce a natural scheme structure on the set Hilbn(X) , i.e. whether there exists a moduli space parametrizing such data. We will really only be interested in the case where X the complex plane, and in that case, it will turn out that the corresponding scheme will be smooth and symplectic. If we look carefully at the definition, we realize immediately that the support of any zero dimensional, length n subscheme consists of just n points, not necessarily distinct. So there is a natural map: n 2 n 2 X Hilb (A ) −! Sym (A ) ;Z 7! (multxZ) · x; 2 x2A where we write multxZ for the multiplicity of Z at the point x 2 X, the summation sign should be understood formally.
    [Show full text]