Term-ordering free involutive bases

DOI10.1016/J.JSC.2014.09.005MaRDI QIDQ480676zbMATH OpenOpenAlexFDO

Authors Michela Ceria, Margherita Roggero, Ferdinando Mora

Publication date 9 December 2014

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.0916

History of mathematics in the 20th century (01A60) History of commutative algebra (13-03) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Parametrization (Chow and Hilbert schemes) (14C05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Symbolic computation and algebraic computation (68W30)

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.

Review text

In this paper, the authors consider a monomial ideal \(J \triangleleft P\), the set of multivariate polynomials over a commutative ring \(A\) and they deal with the problem of characterizing the family \(\mathcal{M}f ( J)\) of all homogeneous ideals \(I \triangleleft P\) such that the \(A\)-module \(P/I\) is free with basis given by the set of terms in the Gröbner escalier \(N( J)\) of \(J\). They 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 \(\mathcal{M}f ( J)\), obtaining stronger results if \(J\) is quasi-stable, proving that \(F( J)\) is a Pommaret basis and \(\mathcal{M}f ( J)\) has a natural structure of affine scheme. They exploit and enhance the concepts of multiplicative variables, complete sets and involutive bases introduced by Riquier and Janet in the beginning of the 20th century. The paper finishes with a detailed analysis of the origin and the historical evolution of the main notions we refer to.

Recommendations

Cites work

Cited in

(20)

Describes a project that uses

Uses Software

This page was built for publication: Term-ordering free involutive bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q480676)