Talk:Hilbert scheme

Latest comment: 4 years ago by Wundzer in topic More examples needed

It would be nice to have a table for Chern numbers, Betti numbers and other invariants of Hilbert scheme of K3 and generalized Kummer. -- Tiphareth 05:25, 26 December 2006 (UTC)Reply

"Birational morphism" is a morphism which is defined and bijective in a Zariski open set. The morphism from a Hilbert scheme of points to a symmetric product is birational, which is obvious. It is called a Hilbert-Chow morphism here.

The correction by R.e.b. "This morphism is birational if n is 1 or 2" is based on a wrong notion of birationality I guess. -- Tiphareth 16:40, 4 January 2007 (UTC)Reply

You are overlooking the fact that the Hilbert scheme is usually reducible for manifolds of dimension at least 3. In general the Hilbert scheme and the symmetric product are not only not birational, but do not even have the same dimension. R.e.b. 04:14, 5 January 2007 (UTC)Reply
Thank you for the correction!
It's birational within the scope of the definition
I cited above, but you are right that since it's
only one of the components, this statement is
misleading. --Tiphareth 04:42, 5 January 2007 (UTC)Reply
If you want to define "birational" for reducible schemes you need to add the condition that the open sets are dense, otherwise it is not an equivalence relation. R.e.b. 15:44, 5 January 2007 (UTC)Reply
Sure. Thanks. -- Tiphareth 05:58, 6 January 2007 (UTC)Reply

Organized overview of construction

edit

Source: http://matwbn.icm.edu.pl/ksiazki/bcp/bcp36/bcp36111.pdf

Title: ELEMENTARY INTRODUCTION TO REPRESENTABLE FUNCTORS AND HILBERT SCHEMES

Author: STEIN ARILD STRØMME

The construction of the Hilbert scheme should be organized in a clearer manner. This can be done by introducing the ideas of the construction then splitting up those ideas into two sections. The main idea is to take the ideal sheaf of a subscheme with a fixed hilbert polynomial, identify that with a quotient of O_X, and identify that with a point in the grassmannian of points in H^0(O_X(m)) for some m large enough.

m-regularity

edit

proposition 4.3 gives the result for all ideal sheaves. It is an induction argument on the dimension of the projective space, and an application of Serre's vanishing theorem for coherent sheaf cohomology.

flattening stratification

edit

General results

Construction

edit

For projective space

edit
  • Fitting ideal of a map gives ideal of Hilbert scheme for X = P^n_S, assuming it exists
  • Reduce base case to Z
  • Embed Hilbert functor to grassmann functor, use m-regularity + grassmannian
  • Use ideas from this construction to universal sequence on grassmann variety, then build a correspondence of P^n x Gr
  • This gives a closed subscheme W, with a hilbert polynomial, so the flattening stratification of Gr has a stratum associated to this subscheme W. The associated subfunctor of Gr is the subfunctor for hilb, hence it is a scheme

remarks

edit
  • Bottom of page 11 about dimension of hilbert schemes
  • Mumford's pathology
  • Vakil's Murphey's law

More examples needed

edit

This page should discuss the results from https://arxiv.org/pdf/math/0411469.pdf — Preceding unsigned comment added by 128.138.65.151 (talk) 21:51, 30 August 2017 (UTC)Reply

Noncommutative Hilbert scheme

edit

Donaldson-Thomas Theory

edit

Ubiquity of Smooth Hilbert Schemes

edit

Bayer's Conjecture

edit