Title:Upgraded methods for the effective computation of marked schemes on a strongly stable ideal

Abstract:Let J be a monomial strongly stable ideal in S=K[x_0,...,x_n]. The collection Mf(J) of the homogeneous polynomial ideals I, such that the minimal monomial basis of J is a K-vector basis of S/I, forms a family called J-marked family. It can be endowed with a structure of an affine scheme, called J-marked scheme, and then can be embedded as an open subset in the Hilbert scheme Hilb^n_p(t), where p(t) is the Hilbert polynomial of S/J. Exploiting a characterization of the ideals in Mf(J) in terms of a Buchberger-like criterion, we compute a J-marked scheme by a new reduction relation, called superminimal reduction, and obtain an embedding of a J-marked scheme in a linear space of "low" dimension. In this setting, explicit computations are achievable in many non-trivial cases.