Parametrizations of ideals in K[x,y] and K[x,y,z]

From MaRDI portal
Publication:2428067



Abstract: We parametrize the affine space of Artinian affine ideals of K[x,y] which have a given initial ideal with respect to the degree reverse lexicographic term order. The fact that the term order is degree compatible allows us to extend the parametrization to the projective case, namely zero-dimensional subschemes of the projective plane, with some extra assumption and to determine the Betti strata of these Groebner cells. This allows us to prove a formula due to A. Iarrobino for the codimension of the Betti strata of codimension two punctual schemes in the projective plane.


For a fixed monomial term ordering \(\tau\) on a polynomial ring \(R\) and a fixed monomial ideal \(I_0 \subseteq R\), one can consider the affine variety of all ideals \(I\) in \(R\) which have \(I_0\) as its initial ideal with respect to \(\tau\). Describing this variety is of fundamental importance to the study of the Hilbert scheme. The main result of this paper is an explicit parametrization in the case \(I_0 \subseteq R = k[x,y]\) and \(\tau\) is degree preserving. The author also extends this to the three variable case \(I_0' \subseteq k[x,y,z]\) where \(I_0' = I_0 k[x,y]\) and we take \(\tau'\) to be the degree reverse-lexicographic term ordering. A nice consequence is the proof of a formula of Iarrobino for the codimension of the Betti strata of codimension two punctual schemes in the projective plane. The author includes a helpful section devoted to examples which illustrate the proof technique. The paper is a good resource for anybody interested in the study of the Hilbert scheme of points and Gröbner cells.





Describes a project that uses

Uses Software






This page was built for publication: Parametrizations of ideals in \(K[x,y]\) and \(K[x,y,z]\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2428067)