Ideals with an assigned initial ideal
From MaRDI portal
Publication:3003140
zbMATH Open1222.13017arXiv0807.3877MaRDI QIDQ3003140FDOQ3003140
L. Terracini, Margherita Roggero
Publication date: 25 May 2011
Abstract: The stratum St(J,<) (the homogeneous stratum Sth(J,<) respectively) of a monomial ideal J in a polynomial ring R is the family of all (homogeneous) ideals of R whose initial ideal with respect to the term order < is J. St(J,<) and Sth(J,<) have a natural structure of affine schemes. Moreover they are homogeneous w.r.t. a non-standard grading called level. This property allows us to draw consequences that are interesting from both a theoretical and a computational point of view. For instance a smooth stratum is always isomorphic to an affine space (Corollary 3.6). As applications, in Sec. 5 we prove that strata and homogeneous strata w.r.t. any term ordering < of every saturated Lex-segment ideal J are smooth. For Sth(J,Lex) we also give a formula for the dimension. In the same way in Sec. 6 we consider any ideal R in k[x0,..., xn] generated by a saturated RevLex-segment ideal in k[x,y,z]. We also prove that Sth(R,RevLex) is smooth and give a formula for its dimension.
Full work available at URL: https://arxiv.org/abs/0807.3877
Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Parametrization (Chow and Hilbert schemes) (14C05)
Cited In (13)
- On the smoothness of lexicographic points on Hilbert schemes
- Initial ideals of truncated homogeneous ideals
- Grothendieck–Plücker Images of Hilbert Schemes are Degenerate
- Components of Gröbner strata in the Hilbert scheme of points
- The scheme of liftings and applications
- Segments and Hilbert schemes of points
- Rational components of Hilbert schemes
- Equisingular stratifications associated to families of planar ideals
- Flat families by strongly stable ideals and a generalization of Gröbner bases
- Gröbner strata in the Hilbert scheme of points
- Title not available (Why is that?)
- Macaulay-like marked bases
- Double-generic initial ideal and Hilbert scheme
This page was built for publication: Ideals with an assigned initial ideal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003140)
