Flat families by strongly stable ideals and a generalization of Groebner bases

TL;DR

This paper introduces J-marked bases as a generalization of Groebner bases for strongly stable ideals, enabling the construction of affine schemes that parametrize certain ideal families with desirable algebraic properties.

Contribution

It defines J-marked bases, generalizes Groebner basis concepts, and constructs a flat affine scheme structure for the family of ideals associated with strongly stable monomial ideals.

Findings

J-marked bases generalize reduced Groebner bases.

The family Mf(J) forms a flat affine scheme.

A Buchberger-like criterion characterizes J-marked bases.

Abstract

Let J be a strongly stable monomial ideal in S=K[x_1,...,x_n] and let Mf(J) be the family of all homogeneous ideals I in S such that the set of all terms outside J is a K-vector basis of the quotient S/I. We show that an ideal I belongs to Mf(J) if and only if it is generated by a special set of polynomials, the J-marked basis of I, that in some sense generalizes the notion of reduced Groebner basis and its constructive capabilities. Indeed, although not every J-marked basis is a Groebner basis with respect to some term order, a sort of normal form modulo I (with the ideal I in Mf(J)) can be computed for every homogeneous polynomial, so that a J-marked basis can be characterized by a Buchberger-like criterion. Using J-marked bases, we prove that the family Mf(J) can be endowed, in a very natural way, with a structure of affine scheme that turns out to be homogeneous with respect to a non-standard grading and flat in the origin (the point corresponding to J), thanks to properties of J-marked bases analogous to those of Groebner bases about syzygies.