Gröbner bases and Stanley decompositions of determinantal rings.
This paper deals with the notion of Gröbner δ-base for some rings of linear differential operators by adapting the works of W. Trinks, A. Assi, M. Insa and F. Pauer. We compare this notion with the one of Gröbner base for such rings. As an application we give some results on finiteness and on flatness of finitely generated left modules over these rings.
In this paper we prove that the projective dimension of is , where is the ring of polynomials in variables with complex coefficients, and is the module generated by the columns of a matrix which arises as the Fourier transform of the matrix of differential operators associated with the regularity condition for a function of quaternionic variables. As a corollary we show that the sheaf of regular functions has flabby dimension , and we prove a cohomology vanishing theorem for open...
Mourrain [Mo] characterizes those linear projectors on a finite-dimensional polynomial space that can be extended to an ideal projector, i.e., a projector on polynomials whose kernel is an ideal. This is important in the construction of normal form algorithms for a polynomial ideal. Mourrain's characterization requires the polynomial space to be 'connected to 1', a condition that is implied by D-invariance in case the polynomial space is spanned by monomials. We give examples to show that, for more...
We give an explicit upper bound for the number of isolated intersections between an integral curve of a polynomial vector field in Rn and an affine hyperplane.The problem turns out to be closely related to finding an explicit upper bound for the length of ascending chains of polynomial ideals spanned by consecutive derivatives.This exposition constitutes an extended abstract of a forthcoming paper: only the basic steps are outlined here, with all technical details being either completely omitted...
A combinatorial description of the minimal free resolution of a lattice ideal allows us to the connection of Integer Linear Programming and Al1gebra. The non null reduced homology spaces of some simplicial complexes are the key. The extremal rays of the associated cone reduce the number of variables.