The information encoded in initial ideals
Let \(I\) denote a homogeneous ideal in a polynomial ring \(S=k[x_0,x_1,\dots,x_r]\). After fixing a monomial order, one may consider the initial ideal in\((I)\). It is an interesting question to determine how much information about \(I\) may be gleaned from in\((I)\). The authors consider this problem for the reverse lexicographic order. (This monomial order has certain nice properties, such as in\((I:x_r)=\) in\((I):x_r\).) First, the authors define a sequence of ideals \(I^j\) (not the \(j\)-th power of \(I\)) by NEWLINE\[NEWLINEI^j=\text{im}((I:x_r^j)\rightarrow S\rightarrow S/(x_r)).NEWLINE\]NEWLINE The Hilbert functions of the \(I^j\) constitute a more refined invariant of \(I\) than the Hilbert function of \(I\) and are closely related to in\((I)\). Using these algebraic preliminaries, the authors go on to consider the information (mainly of a cohomological nature) encoded in the generic initial ideal in several geometric examples, such as space curves, zero-dimensional subschemes of 3-space, and the intersection of a curve and a surface in 3-space. NEWLINENEWLINENEWLINEIn the last section, they generalize these ideas to the generic higher initial ideal gin\(_1(I)\) in the case of a space curve \(C\). As a consequence, it is shown that if \(C\) is linked to a curve \(X\), then knowing the generic higher initial ideal of \(I_C\) is equivalent to knowing the generic initial ideal of \(I_X\). Higher initial ideals were introduced previously by the first author [\textit{G. Fløystad}, ``Higher initial ideals of homogeneous ideals, Mem. Am. Math. Soc. 638 (1998; Zbl 0931.13013)], while the second author has previously written an expository article on generic initial ideals [\textit{M. L. Green}, in: Six lectures on commutative algebra. Lect. Summer School, Bellaterra 1996, Prog. Math. 166, 119-186 (1998; Zbl 0933.13002)].
- scientific article; zbMATH DE number 1163418
- scientific article; zbMATH DE number 1305008
- Grothendieck-Plücker images of Hilbert schemes are degenerate
- Generic initial ideals of modular polynomial invariants
- scientific article; zbMATH DE number 1500633
- Lefschetz property of complete intersections
- The limiting shape of the generic initial system of a complete intersection
- A note on the generic initial ideal for complete intersections
- Conditions for generic initial ideals to be almost reverse lexicographic
- Geometric properties derived from generic initial spaces
- A criterion for detecting m-regularity
- A property deducible from the generic initial ideal
- Genre des courbes de l'espace projectif. II
- Higher initial ideals of homogeneous ideals
- scientific article; zbMATH DE number 48790 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- The Connectedness of Space Curve Invariants
- Generic and cogeneric monomial ideals
- Bounds on the Rao function
- Generic initial ideals of points and curves
- On the componentwise linearity and the minimal free resolution of a tetrahedral curve
- Ideals with an assigned initial ideals
- Geometric properties derived from generic initial spaces
- Higher initial ideals of homogeneous ideals
- Curves on normal surfaces
- Extremal behavior in sectional matrices
- Generic Initial Ideals of Arithmetically Cohen–Macaulay Projective Subschemes
- On some hereditary properties between \(I\) and \(\text{in}(I)\).
- Initial ideal of a general rational or elliptic curve on quadrics
- Some geometric results arising from the Borel fixed property
- Zero-generic initial ideals
This page was built for publication: The information encoded in initial ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2701664)
