The stratum of a strongly stable ideal

Details The stratum of a strongly stable ideal The stratum of a strongly stable ideal

2010-05-04

arxiv.org/abs/1005.0457v1

Mathematics

Commutative Algebra

Scientific paper

Let J be a strongly stable monomial ideal in P=k[X0,...,Xn] and let BSt(J) be the family of all the homogeneous ideals in P such that the set N(J) of all the monomials that do not belong to J is a k-vector basis of the quotient P/I. We show that I belongs to BSt(J) if and only if it is generated by a special set of polynomials G, the J-basis of I, that in some sense generalizes the notions of Grobner and border basis (Theorem 10 and Corollary 12). Though not every J-basis is a Grobner basis with respect to some term ordering (Example 20), we define two Noetherian algorithms of reduction with respect to G, the G*-reduction (Definition 9) and the G**-reduction (Definition 15) and prove that J-bases can be characterized through a Buchberger-like criterion on the G**-reductions of S-polynomials (Theorem 17). Using J-bases, we prove that BSt(J) can be endowed, in a very natural way, of a structure of affine scheme, and that it turns out to be homogeneous with respect to a non-standard grading over the additive group Z^n+1 (Theorem 22).

Affiliated with

Also associated with

No associations

Rating

The stratum of a strongly stable ideal does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The stratum of a strongly stable ideal, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The stratum of a strongly stable ideal will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-531736