Term-ordering free involutive bases

DOI10.1016/J.JSC.2014.09.005zbMATH Open1311.13036arXiv1310.0916OpenAlexW1984453602MaRDI QIDQ480676FDOQ480676

Authors: Michela Ceria, Margherita Roggero, Ferdinando Mora 

Publication date: 9 December 2014

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

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.

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

Recommendations

• scientific article; zbMATH DE number 1567889
• Flat families by strongly stable ideals and a generalization of Gröbner bases
• Gröbner bases and Hilbert schemes. I
• Toward involutive bases over effective rings
• A Gröbner approach to involutive bases

zbMATH Keywords

involutive basesquasi-stable ideals

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) 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) History of mathematics in the 20th century (01A60) Parametrization (Chow and Hilbert schemes) (14C05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) History of commutative algebra (13-03)

Cites Work

• Hilbert functions of graded algebras
• Involutive bases of polynomial ideals
• Minimal involutive bases
• A Gröbner approach to involutive bases
• Associative differential operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimal resolutions of some monomial ideals
• Involution. The formal theory of differential equations and its applications in computer algebra
• A survey on Stanley depth
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on polynomial reduction
• Upgraded methods for the effective computation of marked schemes on a strongly stable ideal
• A Borel open cover of the Hilbert scheme
• Flat families by strongly stable ideals and a generalization of Gröbner bases
• Saturation and Castelnuovo-Mumford regularity
• On the functoriality of marked families
• Théorème de division et stabilité en géométrie analytique locale
• Title not available (Why is that?)
• A standard basis approach to syzygies of canonical curves.
• Characteristic-free bounds for the Castelnuovo–Mumford regularity
• Title not available (Why is that?)
• On decomposition of algebraic PDE systems into simple subsystems
• A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases
• A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
• The Riquier-Janet theory and its application to nonlinear evolution equations
• On the relation between Gröbner and Pommaret bases
• The theory of involutive divisions and an application to Hilbert function computations
• Title not available (Why is that?)
• Quasi-stability versus genericity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reducing systems of linear differential equations to a passive form

Cited In (18)

• Title not available (Why is that?)
• Hilbert schemes with two Borel-fixed points
• Universal based-free involutions
• The close relation between border and Pommaret marked bases
• Nœther bases and their applications
• Toward involutive bases over effective rings
• The scheme of liftings and applications
• Smoothable Gorenstein points via marked schemes and double-generic initial ideals
• Bar code: a visual representation for finite sets of terms and its applications
• Applications of bar code to involutive divisions and a ``greedy algorithm for complete sets
• Title not available (Why is that?)
• Macaulay-like marked bases
• A general framework for Noetherian well ordered polynomial reductions
• Combinatorial decompositions for monomial ideals
• Computing quot schemes via marked bases over quasi-stable modules
• Functors of liftings of projective schemes
• Bar code for monomial ideals
• Quasi-stable ideals and Borel-fixed ideals with a given Hilbert polynomial

Uses Software

• JMBTest
• JMSConst

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)