{ "id": "epzy232wzk", "slug": "hilbert-scheme", "title": "Hilbert scheme", "updated": "2026-10-15", "topic_path": [ { "id": "physical", "label": "Physical world and mathematics", "api_url": "https://www.edgepedia.org/api/v1/topics/physical" }, { "id": "physical.math", "label": "Mathematics and statistics", "api_url": "https://www.edgepedia.org/api/v1/topics/physical.math" }, { "id": "physical.math.geometry", "label": "Geometry and topology", "api_url": "https://www.edgepedia.org/api/v1/topics/physical.math.geometry" }, { "id": "physical.math.geometry.algebraic", "label": "Algebraic geometry", "api_url": "https://www.edgepedia.org/api/v1/topics/physical.math.geometry.algebraic" } ], "geo": [ { "id": "geo.weu.t1946.physical.math", "label": "Western Europe · 1946 to 2000: Mathematics and statistics", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.weu.t1946.physical.math", "path": [ { "id": "geo.weu", "label": "Western Europe", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.weu" }, { "id": "geo.weu.t1946", "label": "Western Europe · 1946 to 2000", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.weu.t1946" }, { "id": "geo.weu.t1946.physical", "label": "Physical world and mathematics", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.weu.t1946.physical" }, { "id": "geo.weu.t1946.physical.math", "label": "Mathematics and statistics", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.weu.t1946.physical.math" } ] } ], "excerpt": "The Hilbert scheme is a fundamental parameter space in algebraic geometry that parametrizes fixed closed sub-schemes of a scheme or projective space having a fixed Hilbert polynomial.", "snippet": "The Hilbert scheme is a fundamental parameter space in algebraic geometry that parametrizes fixed closed sub-schemes of a scheme or projective space having a fixed Hilbert polynomial.", "node": "physical.math.geometry.algebraic", "markdown": "# Hilbert scheme\n\nA **Hilbert scheme** is a scheme that parametrizes the closed subschemes of a fixed scheme or projective space with a fixed numerical invariant, the Hilbert polynomial. It was introduced by [Alexander Grothendieck](https://www.edgepedia.org/alexander-grothendieck) in his Fondements de la Géométrie Algébrique (FGA) series, where he introduced the Hilbert, Quot, and Picard functors and showed that the Hilbert and Quot schemes for fixed Hilbert polynomials are projective, whereas the Picard functor is represented by a group scheme that is an increasing union of quasi-projective opens; Hilbert schemes have since become fundamental parameter spaces in algebraic geometry, providing a natural setting for deformation theory and playing a key role in the construction of moduli spaces.[1](https://doi.org/10.1090/noti3280) • [2](https://aimath.org/pastworkshops/hilbertschemes.html) • [15](https://grothendiecksga.com/read/sga6/en/XII-1.html)\n\n| Key fact | Detail |\n|---|---|\n| Functor of points | For a morphism \\( X \\to S \\) and an integer \\( d \\geq 0 \\), \\( \\mathrm{Hilb}^d_{X/S}(T) \\) is the set of closed subschemes \\( Z \\subset X_T \\) such that \\( Z \\to T \\) is finite locally free of degree \\( d \\)[3](https://stacks.math.columbia.edu/tag/0B94) |\n| Representability | \\( \\mathrm{Hilb}^d_{X/S} \\) is representable by a scheme if any finite number of points in a fiber of \\( X \\to S \\) are contained in an affine open; in general it is an algebraic space[3](https://stacks.math.columbia.edu/tag/0B94) |\n| Classical case | Grothendieck showed that Hilbert schemes parametrizing subschemes of projective space with fixed Hilbert polynomial are representable by projective schemes[1](https://doi.org/10.1090/noti3280) |\n| Construction | The Hilbert scheme is built as a subscheme of a Grassmannian, using Gotzmann's regularity theorem to bound the degrees in which ideals with a given Hilbert polynomial are generated[4](https://citeseerx.ist.psu.edu/document?doi=cd7d57b661eeca7187e71a29d34170cc1a33292e&repid=rep1&type=pdf) |\n| Points on a smooth surface | For a smooth algebraic surface \\( X \\) over \\( \\mathbb{C} \\), \\( \\mathrm{Hilb}^n(X) \\) is irreducible and nonsingular (Fogarty), and the Hilbert–Chow morphism to the symmetric product \\( S^n(X) \\) is a resolution of singularities[5](https://people.maths.ox.ac.uk/szendroi/hilberttalk.pdf) |\n| General behavior | Hilbert schemes can have numerous irreducible components, complicated non-reduced structures, and arbitrarily bad singularities; those parametrizing subschemes of projective space are always connected[2](https://aimath.org/pastworkshops/hilbertschemes.html) |\n| Wider role | Hilbert schemes of points connect to moduli spaces of sheaves, Donaldson invariants, enumerative geometry of curves, infinite dimensional Lie algebras, vertex algebras, and theoretical physics[6](https://arxiv.org/abs/math/0304302) |\n\n## The Hilbert functor\n\nThe Hilbert scheme is defined through the functor it represents. Let \\( X \\to S \\) be a morphism of schemes and \\( d \\geq 0 \\) an integer. For a scheme \\( T \\) over \\( S \\), \\( \\mathrm{Hilb}^d_{X/S}(T) \\) is the set of closed subschemes \\( Z \\subset X_T \\) such that \\( Z \\to T \\) is finite locally free of degree \\( d \\). If \\( T' \\to T \\) is a morphism over \\( S \\), base change sends \\( Z \\) to \\( Z_{T'} \\subset X_{T'} \\), so these sets form a contravariant functor \\( \\mathrm{Hilb}^d_{X/S} : (\\mathit{Sch}/S)^{opp} \\to \\textit{Sets} \\). When this functor is representable by a scheme, that scheme is denoted \\( \\underline{\\mathrm{Hilb}}^d_{X/S} \\).[3](https://stacks.math.columbia.edu/tag/0B94)\n\nThe functor has good descent properties: it satisfies the sheaf property for the fpqc topology, so a family of subschemes over an fpqc covering that agrees on overlaps descends to a subscheme over the base, and finiteness and local freeness of degree \\( d \\) also descend.[3](https://stacks.math.columbia.edu/tag/0B94) If \\( X \\to S \\) is of finite presentation, the functor is limit preserving, meaning its points over a limit of affine schemes come from some finite stage.[3](https://stacks.math.columbia.edu/tag/0B94)\n\nRepresentability holds under a mild hypothesis: \\( \\mathrm{Hilb}^d_{X/S} \\) is representable by a scheme if any finite number of points in a fiber of \\( X \\to S \\) are contained in an affine open. In general the functor is an algebraic space. A closed immersion \\( i : X \\to Y \\) over \\( S \\) induces a transformation \\( \\mathrm{Hilb}^d_{X/S} \\to \\mathrm{Hilb}^d_{Y/S} \\), and if \\( \\mathrm{Hilb}^d_{Y/S} \\) is representable by a scheme, so is \\( \\mathrm{Hilb}^d_{X/S} \\), with the induced morphism a closed immersion. When \\( X \\to S \\) is separated and the functor is representable, the resulting scheme is separated over \\( S \\).[3](https://stacks.math.columbia.edu/tag/0B94) More generally, David Rydh, a mathematician working on algebraic stacks and moduli theory, showed that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space.[7](https://arxiv.org/abs/0802.3807)\n\n## The Hilbert polynomial\n\nSubschemes of projective space are classified for the purposes of the Hilbert scheme by their Hilbert polynomial. For a coherent sheaf \\( \\mathcal{F} \\) on \\( \\mathbf{P}^n_k \\), the function \\( d \\mapsto \\chi(\\mathbf{P}^n_k, \\mathcal{F}(d)) \\) is the Hilbert polynomial of \\( \\mathcal{F} \\); it has coefficients in \\( \\mathbf{Q} \\), not in general in \\( \\mathbf{Z} \\). For the structure sheaf \\( \\mathcal{O}_{\\mathbf{P}^n_k} \\) it is\n\n\\[ d \\longmapsto {d + n \\choose n} = \\frac{d^n}{n!} + \\ldots \\]\n\nand for large \\( d \\) the polynomial agrees with \\( \\dim_k H^0(\\mathbf{P}^n_k, \\mathcal{F}(d)) \\).[8](https://stacks.math.columbia.edu/tag/08A9)\n\n## Construction via Grassmannians\n\n**The construction.** The Hilbert scheme of subschemes of \\( \\mathbf{P}^n \\) with a fixed Hilbert polynomial \\( P \\) is constructed as a subscheme of a [Grassmannian](https://www.edgepedia.org/grassmannian). The key input is a uniform bound: there is a degree \\( D = D(P) \\) depending only on \\( P \\) such that every homogeneous ideal with Hilbert polynomial \\( P \\) is generated in degree at most \\( D \\). This follows from Gotzmann's regularity theorem, which uses the notion of [Castelnuovo–Mumford regularity](https://www.edgepedia.org/castelnuovo-mumford-regularity).[4](https://citeseerx.ist.psu.edu/document?doi=cd7d57b661eeca7187e71a29d34170cc1a33292e&repid=rep1&type=pdf) Mumford first proved that the regularity of a subscheme \\( X \\subset \\mathbf{P} \\) can be bounded in terms of its Hilbert polynomial \\( P(t) \\), and Gotzmann subsequently established the optimal statement.[9](https://www.math.stonybrook.edu/~roblaz/LSGAV.Prelim.Draft.pdf)\n\nGiven a subscheme of \\(\\mathrm{Proj}\\, A[x_0, \\ldots, x_n]\\) with Hilbert polynomial \\(p(t)\\) and Gotzmann number \\(r\\), Gotzmann's regularity theorem asserts that the ideal sheaf \\(I_Z\\) enjoys \\(r\\)-regularity, and consequently the truncated ideal \\(I(Z)_{\\ge r}\\) has all its terms of degree \\(r\\) and higher generated by the degree-\\(r\\) part: \\(I(Z)_{\\ge r} = \\langle I(Z)_r \\rangle\\.[10](https://iris.unito.it/retrieve/handle/2318/1648612/362351/tesiDottorato_LELLA.pdf) This lets one associate to each subscheme a subspace of the degree-\\( r \\) forms, a point of a Grassmannian, and the Hilbert scheme then sits inside that Grassmannian as the locus where the subspace is closed under multiplication and has the right Hilbert function.[4](https://citeseerx.ist.psu.edu/document?doi=cd7d57b661eeca7187e71a29d34170cc1a33292e&repid=rep1&type=pdf)\n\n## Hilbert schemes of points\n\nThe most studied case is the Hilbert scheme of \\( d \\) points, \\( \\mathrm{Hilb}^d(X) \\), parametrizing zero-dimensional subschemes of length \\( d \\). Its behavior depends sharply on the dimension of \\( X \\).\n\n**Curves.** For a curve \\( C \\) the slogan is that in one dimension there is only one way for points to collide; this shows that \\( \\mathrm{Hilb}^n(C) \\) is irreducible and nonsingular. For \\( C = \\mathbb{A}^1 \\) one has \\( \\mathrm{Hilb}^n(\\mathbb{A}^1) = \\mathbb{A}^n \\), a statement related to Newton's theorem on symmetric functions.[5](https://people.maths.ox.ac.uk/szendroi/hilberttalk.pdf)\n\n**Smooth surfaces.** For a smooth algebraic surface \\( X \\) over \\( \\mathbb{C} \\), Fogarty's theorem says the variety \\( \\mathrm{Hilb}^n(X) \\) is irreducible and nonsingular, and the Hilbert–Chow morphism\n\n\\[ \\phi_{\\mathrm{HC}} : \\mathrm{Hilb}^n(X) \\to S^n(X) \\]\n\nto the \\( n \\)-fold symmetric product is a resolution of singularities.[5](https://people.maths.ox.ac.uk/szendroi/hilberttalk.pdf) The Hilbert–Chow morphism sends a subscheme \\( Z \\) to the zero-cycle \\( \\sum_{p \\in \\mathrm{Supp}(Z)} \\ell(\\mathcal{O}_{Z,p})[p] \\), where \\( \\ell(\\mathcal{O}_{Z,p}) \\) is the length of the local ring at \\( p \\).[11](https://www.sciencedirect.com/science/article/pii/S0007449720300683) Göttsche's theorem gives the Euler characteristics of these schemes via the series \\( Z_X(q) = E(q)^{\\chi_{\\mathrm{top}}(X)} \\), in which \\( E(q) = \\prod_m (1 - q^m)^{-1} \\) is, apart from a simple factor, the Dedekind eta function; hence, after multiplication by some power of \\( q \\), it becomes a modular function of \\( q \\).[5](https://people.maths.ox.ac.uk/szendroi/hilberttalk.pdf) For the affine plane \\( \\mathbb{C}^2 \\), torus localization identifies \\( \\chi_{\\mathrm{top}}(\\mathrm{Hilb}^n(\\mathbb{C}^2)) \\) with the number of monomial ideals of colength \\( n \\), which equals the number \\( p(n) \\) of partitions of \\( n \\).[5](https://people.maths.ox.ac.uk/szendroi/hilberttalk.pdf) Lothar Göttsche, a mathematician at the [International Centre for Theoretical Physics](https://www.edgepedia.org/international-centre-for-theoretical-physics) known for work on Hilbert schemes of surfaces, describes \\( S^{[n]} \\) as a simple example of a moduli space and a model case for phenomena expected of moduli spaces and crepant resolutions of singular varieties.[6](https://arxiv.org/abs/math/0304302)\n\n**Higher dimensions.** Beyond dimension two the picture changes. The Hilbert scheme of points on a higher dimensional affine space is non-reduced and has components lying entirely in characteristic \\( p \\) for all primes \\( p \\), as proved by Joachim Jelisiejew, a mathematician at the University of Warsaw working in algebraic geometry; in fact Vakil's Murphy's Law holds up to retraction for this scheme, meaning every singularity type allowed by the general theory occurs, and the main tool is a generalized version of the Bialynicki-Birula decomposition.[12](https://arxiv.org/abs/1812.08531) A central open problem in this area is to characterize the smoothable component of \\( \\mathrm{Hilb}^d(\\mathbb{A}^n) \\), the component containing reduced points.[2](https://aimath.org/pastworkshops/hilbertschemes.html)\n\n## Pathologies and component structure\n\nHilbert schemes can have numerous irreducible components, complicated non-reduced structures, and arbitrarily bad singularities, while Hilbert schemes parametrizing subschemes of projective space are always connected.[2](https://aimath.org/pastworkshops/hilbertschemes.html) In a well-known example due to [David Mumford](https://www.edgepedia.org/david-mumford), the Hilbert scheme of smooth curves in \\( \\mathbb{P}^3 \\) has a component that is not reduced at its generic point, and whose general member lies on a smooth cubic surface; subsequent work applying [Hodge theory](https://www.edgepedia.org/hodge-theory) yielded additional examples of such components—non-reduced at the generic point—in these Hilbert schemes of smooth curves, with no limitation on the degree of the surface on which the curves lie.[13](https://onlinelibrary.wiley.com/doi/abs/10.1002/mana.201600356) Concrete component structure is known in favorable cases: in \\( \\mathrm{Hilb}^{3t+1}(\\mathbb{P}^3_k) \\), the twisted cubic curves form a nonsingular open subset of an irreducible component \\( H_0 \\) of dimension 12, by work of Piene and Schlessinger, and complete intersection curves in \\( \\mathbb{P}^3_k \\) obtained from homogeneous polynomials of degrees \\( a, b \\) form a nonsingular open subset of an irreducible component of the corresponding Hilbert scheme.[14](https://mathoverflow.net/questions/369335/on-the-structure-of-hilbert-schemes)\n\n## References\n\n1. [AMS Notices on Grothendieck's FGA and the functorial approach, American Mathematical Society](https://doi.org/10.1090/noti3280)\n2. [ARCC Workshop: Components of Hilbert Schemes, American Institute of Mathematics](https://aimath.org/pastworkshops/hilbertschemes.html)\n3. [Section 44.2 (0B94): Hilbert scheme of points, The Stacks Project](https://stacks.math.columbia.edu/tag/0B94)\n4. [Notes on Hilbert Schemes, Diane Maclagan](https://citeseerx.ist.psu.edu/document?doi=cd7d57b661eeca7187e71a29d34170cc1a33292e&repid=rep1&type=pdf)\n5. [Hilbert schemes of points, Balázs Szendrői, lecture notes](https://people.maths.ox.ac.uk/szendroi/hilberttalk.pdf)\n6. [Hilbert schemes of points on surfaces, Lothar Göttsche, arXiv:math/0304302](https://arxiv.org/abs/math/0304302)\n7. [Representability of Hilbert schemes and Hilbert stacks of points, David Rydh, arXiv:0802.3807](https://arxiv.org/abs/0802.3807)\n8. [Subsection 33.35.13 (08A9): Hilbert polynomials, The Stacks Project](https://stacks.math.columbia.edu/tag/08A9)\n9. [LSGAV lecture notes on Castelnuovo–Mumford regularity, Stony Brook](https://www.math.stonybrook.edu/~roblaz/LSGAV.Prelim.Draft.pdf)\n10. [Tesi di dottorato (Lella): the Hilbert scheme as subscheme of the Grassmannian, Università di Torino](https://iris.unito.it/retrieve/handle/2318/1648612/362351/tesiDottorato_LELLA.pdf)\n11. [Fundamental group schemes of Hilbert scheme of n points on a smooth projective surface, ScienceDirect](https://www.sciencedirect.com/science/article/pii/S0007449720300683)\n12. [Pathologies on the Hilbert scheme of points, Joachim Jelisiejew, arXiv:1812.08531](https://arxiv.org/abs/1812.08531)\n13. [On generically non-reduced components of Hilbert schemes of smooth curves, Dan, Mathematische Nachrichten (2017)](https://onlinelibrary.wiley.com/doi/abs/10.1002/mana.201600356)\n14. [On the structure of Hilbert schemes, MathOverflow](https://mathoverflow.net/questions/369335/on-the-structure-of-hilbert-schemes)\n15. [Exposé XII · 1. Statement of the main theorem and applications, SGA 6](https://grothendiecksga.com/read/sga6/en/XII-1.html)\n\n---\n*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Geometry and topology › Algebraic geometry*\n\n*Initially written Oct 15, 2026*\n\n*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*\n\nLicense: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license\n", "same_as": [ "https://www.math.stonybrook.edu/~roblaz/LSGAV.Prelim.Draft.pdf" ], "url": "https://www.edgepedia.org/hilbert-scheme", "markdown_url": "https://www.edgepedia.org/hilbert-scheme.md", "license": { "name": "Edgepedia Community License 1.0", "url": "https://www.edgepedia.org/edgepedia/license", "summary": "Free with credit, commercial use included. AI training is open to everyone. For other uses, organizations over USD 100M in revenue or 100M monthly users license separately.", "spdx": "LicenseRef-Edgepedia-Community-1.0" }, "credit": "\"Hilbert scheme\", Edgepedia (EdgeChat), https://www.edgepedia.org/hilbert-scheme. Edgepedia Community License 1.0.", "credit_md": "\"[Hilbert scheme](https://www.edgepedia.org/hilbert-scheme)\", Edgepedia (EdgeChat), [https://www.edgepedia.org/hilbert-scheme](https://www.edgepedia.org/hilbert-scheme). [Edgepedia Community License 1.0](https://www.edgepedia.org/edgepedia/license).", "credit_html": "\"Hilbert scheme\", Edgepedia (EdgeChat), https://www.edgepedia.org/hilbert-scheme. Edgepedia Community License 1.0.", "speakable": "The Hilbert scheme is a fundamental parameter space in algebraic geometry that parametrizes fixed closed sub-schemes of a scheme or projective space having a fixed Hilbert polynomial." }