In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by Alexander Grothendieck (1961). Hironaka's example shows that non-projective varieties need not have Hilbert schemes.

Hilbert scheme of projective space

edit

The Hilbert scheme   of   classifies closed subschemes of projective space in the following sense: For any locally Noetherian scheme S, the set of S-valued points

 

of the Hilbert scheme is naturally isomorphic to the set of closed subschemes of   that are flat over S. The closed subschemes of   that are flat over S can informally be thought of as the families of subschemes of projective space parameterized by S. The Hilbert scheme   breaks up as a disjoint union of pieces   corresponding to the Hilbert scheme of the subschemes of projective space with Hilbert polynomial P. Each of these pieces is projective over  .

Construction as a determinantal variety

edit

Grothendieck constructed the Hilbert scheme   of  -dimensional projective   space as a subscheme of a Grassmannian defined by the vanishing of various determinants. Its fundamental property is that for a scheme  , it represents the functor whose  -valued points are the closed subschemes of   that are flat over  .

If   is a subscheme of  -dimensional projective space, then   corresponds to a graded ideal   of the polynomial ring   in   variables, with graded pieces  . For sufficiently large   all higher cohomology groups of   with coefficients in   vanish. Using the exact sequence

 

we have   has dimension  , where   is the Hilbert polynomial of projective space. This can be shown by tensoring the exact sequence above by the locally flat sheaves  , giving an exact sequence where the latter two terms have trivial cohomology, implying the triviality of the higher cohomology of  . Note that we are using the equality of the Hilbert polynomial of a coherent sheaf with the Euler-characteristic of its sheaf cohomology groups.

Pick a sufficiently large value of  . The  -dimensional space   is a subspace of the  -dimensional space  , so represents a point of the Grassmannian  . This will give an embedding of the piece of the Hilbert scheme corresponding to the Hilbert polynomial   into this Grassmannian.

It remains to describe the scheme structure on this image, in other words to describe enough elements for the ideal corresponding to it. Enough such elements are given by the conditions that the map IX(m) ⊗ S(k) → S(k + m) has rank at most dim(IX(k + m)) for all positive k, which is equivalent to the vanishing of various determinants. (A more careful analysis shows that it is enough just to take k = 1.)


Universality

edit

Given a closed subscheme   over a field with Hilbert polynomial  , the Hilbert scheme H=Hilb(n, P) has a universal subscheme   flat over   such that

  • The fibers   over closed points   are closed subschemes of  . For   denote this point   as  .
  •   is universal with respect to all flat families of subschemes of   having Hilbert polynomial  . That is, given a scheme   and a flat family  , there is a unique morphism   such that  .

Tangent space

edit

The tangent space of the point   is given by the global sections of the normal bundle  ; that is,

 

Unobstructedness of complete intersections

edit

For local complete intersections   such that  , the point   is smooth. This implies every deformation of   in   is unobstructed.

Dimension of tangent space

edit

In the case  , the dimension of   at   is greater than or equal to  .

In addition to these properties, Francis Sowerby Macaulay (1927) determined for which polynomials the Hilbert scheme   is non-empty, and Robin Hartshorne (1966) showed that if   is non-empty then it is linearly connected. So two subschemes of projective space are in the same connected component of the Hilbert scheme if and only if they have the same Hilbert polynomial.

Hilbert schemes can have bad singularities, such as irreducible components that are non-reduced at all points. They can also have irreducible components of unexpectedly high dimension. For example, one might expect the Hilbert scheme of d points (more precisely dimension 0, length d subschemes) of a scheme of dimension n to have dimension dn, but if n ≥ 3 its irreducible components can have much larger dimension.

Functorial interpretation

edit

There is an alternative interpretation of the Hilbert scheme which leads to a generalization of relative Hilbert schemes parameterizing subschemes of a relative scheme. For a fixed base scheme  , let   and let

 

be the functor sending a relative scheme   to the set of isomorphism classes of the set

 

where the equivalence relation is given by the isomorphism classes of  . This construction is functorial by taking pullbacks of families. Given  , there is a family   over  .

Representability for projective maps

edit

If the structure map   is projective, then this functor is represented by the Hilbert scheme constructed above. Generalizing this to the case of maps of finite type requires the technology of algebraic spaces developed by Artin.[1]

Relative Hilbert scheme for maps of algebraic spaces

edit

In its greatest generality, the Hilbert functor is defined for a finite type map of algebraic spaces   defined over a scheme  . Then, the Hilbert functor is defined as[2]

 

sending T to

 .

This functor is not representable by a scheme, but by an algebraic space. Also, if  , and   is a finite type map of schemes, their Hilbert functor is represented by an algebraic space.

Examples of Hilbert schemes

edit

Fano schemes of hypersurfaces

edit

One of the motivating examples for the investigation of the Hilbert scheme in general was the Fano scheme of a projective scheme. Given a subscheme   of degree  , there is a scheme   in   parameterizing   where   is a  -plane in  , meaning it is a degree one embedding of  .[3] For smooth surfaces in   of degree  , the non-empty Fano schemes   are smooth and zero-dimensional. This is because lines on smooth surfaces have negative self-intersection.[3]

Hilbert scheme of points

edit

Another common set of examples are the Hilbert schemes of  -points of a scheme  , typically denoted  . For   there is a nice geometric interpretation where the boundary loci   describing the intersection of points can be thought of parametrizing points along with their tangent vectors. For example,   is the blowup   of the diagonal[4] modulo the symmetric action.

Degree d hypersurfaces

edit

The Hilbert scheme of degree k hypersurfaces in   is given by the projectivization  . For example, the Hilbert scheme of degree 2 hypersurfaces in   is   with the universal hypersurface given by

 

where the underlying ring is bigraded.

Hilbert scheme of curves and moduli of curves

edit

For a fixed genus   algebraic curve  , the degree of the tri-tensored dualizing sheaf   is globally generated, meaning its Euler characteristic is determined by the dimension of the global sections, so

 .

The dimension of this vector space is  , hence the global sections of   determine an embedding into   for every genus   curve. Using the Riemann-Roch formula, the associated Hilbert polynomial can be computed as

 .

Then, the Hilbert scheme

 

parameterizes all genus g curves. Constructing this scheme is the first step in the construction of the moduli stack of algebraic curves. The other main technical tool are GIT quotients, since this moduli space is constructed as the quotient

 ,

where   is the sublocus of smooth curves in the Hilbert scheme.

Hilbert scheme of points on a manifold

edit

"Hilbert scheme" sometimes refers to the punctual Hilbert scheme of 0-dimensional subschemes on a scheme. Informally this can be thought of as something like finite collections of points on a scheme, though this picture can be very misleading when several points coincide.

There is a Hilbert–Chow morphism from the reduced Hilbert scheme of points to the Chow variety of cycles taking any 0-dimensional scheme to its associated 0-cycle. (Fogarty 1968, 1969, 1973).

The Hilbert scheme   of n points on M is equipped with a natural morphism to an n-th symmetric product of M. This morphism is birational for M of dimension at most 2. For M of dimension at least 3 the morphism is not birational for large n: the Hilbert scheme is in general reducible and has components of dimension much larger than that of the symmetric product.

The Hilbert scheme of points on a curve C (a dimension-1 complex manifold) is isomorphic to a symmetric power of C. It is smooth.

The Hilbert scheme of n points on a surface is also smooth (Grothendieck). If  , it is obtained from   by blowing up the diagonal and then dividing by the   action induced by  . This was used by Mark Haiman in his proof of the positivity of the coefficients of some Macdonald polynomials.

The Hilbert scheme of a smooth manifold of dimension 3 or more is usually not smooth.

Hilbert schemes and hyperkähler geometry

edit

Let M be a complex Kähler surface with   (K3 surface or a torus). The canonical bundle of M is trivial, as follows from the Kodaira classification of surfaces. Hence M admits a holomorphic symplectic form. It was observed by Akira Fujiki (for  ) and Arnaud Beauville that   is also holomorphically symplectic. This is not very difficult to see, e.g., for  . Indeed,   is a blow-up of a symmetric square of M. Singularities of   are locally isomorphic to  . The blow-up of   is  , and this space is symplectic. This is used to show that the symplectic form is naturally extended to the smooth part of the exceptional divisors of  . It is extended to the rest of   by Hartogs' principle.

A holomorphically symplectic, Kähler manifold is hyperkähler, as follows from the Calabi–Yau theorem. Hilbert schemes of points on the K3 surface and on a 4-dimensional torus give two series of examples of hyperkähler manifolds: a Hilbert scheme of points on K3 and a generalized Kummer surface.

See also

edit

References

edit
  1. ^ Artin, M. (2015-12-31), "Algebraization of formal moduli: I", Global Analysis: Papers in Honor of K. Kodaira (PMS-29), Princeton: Princeton University Press, pp. 21–72, doi:10.1515/9781400871230-003, ISBN 978-1-4008-7123-0
  2. ^ "Section 97.9 (0CZX): The Hilbert functor—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-06-17.
  3. ^ a b "3264 and all that" (PDF). pp. 203, 212.
  4. ^ "A general introduction to the Hilbert scheme of points on the plane" (PDF). Archived (PDF) from the original on 26 February 2020.

Examples and applications

edit
edit