In this paper, we consider a monomial ideal J in P := A[x1,...,xn], over a commutative ring A, and we face the problem of the characterization for the family Mf(J) of all homogeneous ideals I in P such that the A-module P/I is free with basis given by the set of terms in the Groebner escalier N(J) of J. This family is in general wider than that of the ideals having J as initial ideal w.r.t. any term-ordering, hence more suited to a computational approach to the study of Hilbert schemes. For this purpose, we exploit and enhance the concepts of multiplicative variables, complete sets and involutive bases introduced by Janet and we generalize the construction of J-marked bases and term-ordering free reduction process introduced and deeply studied for the special case of a strongly stable monomial ideal J. Here, we introduce and characterize for every monomial ideal J a particular complete set of generators F(J), called stably complete, that allows an explicit description of the family Mf(J). We obtain stronger results if J is quasi stable, proving that F(J) is a Pommaret basis and Mf(J) has a natural structure of affine scheme. The final section presents a detailed analysis of the origin and the historical evolution of the main notions we refer to.

Term-ordering free involutive bases / Ceria, Michela; Mora, Teo; Roggero, Margherita. - In: JOURNAL OF SYMBOLIC COMPUTATION. - ISSN 0747-7171. - 68:2(2014), pp. 87-108. [10.1016/j.jsc.2014.09.005]

Term-ordering free involutive bases

Ceria, Michela;
2014-01-01

Abstract

In this paper, we consider a monomial ideal J in P := A[x1,...,xn], over a commutative ring A, and we face the problem of the characterization for the family Mf(J) of all homogeneous ideals I in P such that the A-module P/I is free with basis given by the set of terms in the Groebner escalier N(J) of J. This family is in general wider than that of the ideals having J as initial ideal w.r.t. any term-ordering, hence more suited to a computational approach to the study of Hilbert schemes. For this purpose, we exploit and enhance the concepts of multiplicative variables, complete sets and involutive bases introduced by Janet and we generalize the construction of J-marked bases and term-ordering free reduction process introduced and deeply studied for the special case of a strongly stable monomial ideal J. Here, we introduce and characterize for every monomial ideal J a particular complete set of generators F(J), called stably complete, that allows an explicit description of the family Mf(J). We obtain stronger results if J is quasi stable, proving that F(J) is a Pommaret basis and Mf(J) has a natural structure of affine scheme. The final section presents a detailed analysis of the origin and the historical evolution of the main notions we refer to.
2014
2
Ceria, Michela; Mora, Teo; Roggero, Margherita
Term-ordering free involutive bases / Ceria, Michela; Mora, Teo; Roggero, Margherita. - In: JOURNAL OF SYMBOLIC COMPUTATION. - ISSN 0747-7171. - 68:2(2014), pp. 87-108. [10.1016/j.jsc.2014.09.005]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/152109
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 17
social impact