Hilbert schemes and maximal Betti numbers over Veronese rings (Q627471)

There are several classical theorems concerning the Hilbert scheme of Grothendieck which parametrize the ideals of a graded polynomial ring with a given Hilbert polynomial. Among these are: Macaulay's theorem, which characterize all possible Hilbert functions; Hartshorne's theorem that the Hilbert scheme is connected; and finally the result of Bigatti, Hulett, and Pardue that among all ideals with a given Hilbert function the Lexicographic ideal attains the maximal Betti numbers. In this paper the authors prove each of these facts over a different ring, namely the coordinate ring of a Veronese embedding of projective space. By consequence the authors provide numerical versions of Macaulay's theorem as well as Gotzmann's persistence theorem over Veronese rings. As another consequence they also show that the graded Betti numbers of any ideal in a Veronese ring can be obtained by consecutive cancellations (reducing the Betti numbers in the same column and consecutive rows each by one). The paper contains numerous useful examples and as well is an excellent source of background information on Hilbert schemes, Hilbert functions, and Betti numbers.