In this note we give a description of a morphism related to the structure of the canonical model of the Rees algebra R(I) of an ideal I in a local ring. As an application we obtain Ikeda's criteria for the Gorensteinness of R(I) and a result of Herzog-Simis-Vasconcelos characterizing when the canonical module of R(I) has the expected form.
Using quantum sections of filtered rings and the associated Rees rings one can lift the scheme structure on Proj of the associated graded ring to the Proj of the Rees ring. The algebras of interest here are positively filtered rings having a non-commutative regular quadratic algebra for the associated graded ring; these are the so-called gauge algebras obtaining their name from special examples appearing in E. Witten's gauge theories. The paper surveys basic definitions and properties but concentrates...
The notion of a d-sequence in Commutative Algebra was introduced by Craig Huneke, while the notion of a sequence of linear type was introduced by Douglas Costa. Both types of sequences generate ideals of linear type. In this paper we study another type of sequences, that we call c-sequences. They also generate ideals of linear type. We show that c-sequences are in between d-sequences and sequences of linear type and that the initial subsequences of c-sequences are c-sequences. Finally we prove a...
Let be an ideal in a commutative Noetherian ring . Then the ideal has the strong persistence property if and only if for all , and has the symbolic strong persistence property if and only if for all , where denotes the th symbolic power of . We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial ideal has the...
Soit le localisé de l’anneau des polynômes à trois variables sur le corps de caractéristique nulle. Nous construisons une valuation divisorielle de , nous calculons un système minimal de générateurs de la -algèbre associée à la filtration -adique. Ce système est infini : n’est pas noethérien.