Binäre Formen und Primideale.
Let and be commutative rings with identity. An --biring is an -algebra together with a lift of the functor from -algebras to sets to a functor from -algebras to -algebras. An -plethory is a monoid object in the monoidal category, equipped with the composition product, of --birings. The polynomial ring is an initial object in the category of such structures. The -algebra has such a structure if is a domain such that the natural -algebra homomorphism is an isomorphism for...
Border bases are an alternative to Gröbner bases. The former have several more desirable properties. In this paper some constructions and operations on border bases are presented. Namely; the case of a restriction of an ideal to a polynomial ring (in a smaller number of variables), the case of the intersection of two ideals, and the case of the kernel of a homomorphism of polynomial rings. These constructions are applied to the ideal of relations and to factorizable derivations.
Nous montrons dans cet article des bornes pour la régularité de Castelnuovo-Mumford d’un schéma admettant des singularités, en fonction des degrés des équations définissant le schéma, de sa dimension et de la dimension de son lieu singulier. Dans le cas où les singularités sont isolées, nous améliorons la borne fournie par Chardin et Ulrich et dans le cas général, nous établissons une borne doublement exponentielle en la dimension du lieu singulier.
We investigate factorization of elements in overrings of a half-factorial domain in relation with the behaviour of the boundary map of . It turns out that a condition, called , on the extension plays a central role in this study. We finally apply our results to the special case of polynomial rings.
In rings of formal power series in several variables whose growth of coefficients is controlled by a suitable sequence (such as rings of Gevrey series), we find precise estimates for quotients F/Φ, where F and Φ are series in such that F is divisible by Φ in the usual ring of all power series. We give first a simple proof of the fact that F/Φ belongs also to , provided is stable under derivation. By a further development of the method, we obtain the main result of the paper, stating that...
Let be a commutative Noetherian local ring. We establish some bounds for the sequence of Bass numbers and their dual for a finitely generated -module.
The Castelnuovo-Mumford regularity is one of the most important invariants in studying the minimal free resolution of the defining ideals of the projective varieties. There are some bounds on the Castelnuovo-Mumford regularity of the projective variety in terms of the other basic invariants such as dimension, codimension and degree. This paper studies a bound on the regularity conjectured by Hoa, and shows this bound and extremal examples in the case of divisors on rational normal scrolls.
The purpose of this paper is twofold. First, we give an upper bound on the order of a multisecant line to an integral arithmetically Cohen-Macaulay subscheme in Pn of codimension two in terms of the Hilbert function. Secondly, we give an explicit description of the singular locus of the blow up of an arbitrary local ring at a complete intersection ideal. This description is used to refine a standard linking theorem. These results are tied together by the construction of sharp examples for the bound,...