arXiv subjects
Publications and source records attributed to Claudia Polini.
Given a local Cohen-Macaulay ring $(R, {\mathfrak m})$, we study the interplay between the integral closedness -- or even the normality -- of an ${\mathfrak m}$-primary $R$-ideal $I$ and conditions on the Hilbert coefficients of $I$. We relate these properties to the depth of the associated graded ring of $I$.
Let $(R, {\mathfrak m})$ be a Noetherian local ring and let $I$ be an $R$-ideal. Inspired by the work of Hübl and Huneke, we look for conditions that guarantee the Cohen-Macaulayness of the special fiber ring ${\mathcal F}={\mathcal R}/{\mathfrak m}{\mathcal R}$ of $I$, where ${\mathcal R}$ denotes the Rees algebra of $I$. Our key idea is to require `good' intersection properties as well as `few' homogeneous generating relations in low degrees. In particular, if $I$ is a strongly Cohen-Macaulay $R$-ideal with $G_{\ell}$ and the expected reduction number, we conclude that ${\mathcal F}$ is always Cohen-Macaulay. We also obtain a characterization of the Cohen-Macaulayness of ${\mathcal R}/K{\mathcal R}$ for any ${\mathfrak m}$-primary ideal $K$: This result recovers a well-known criterion of Valabrega and Valla whenever $K=I$. Furthermore, we study the relationship among the Cohen-Macaulay property of the special fiber ring ${\mathcal F}$ and the one of the Rees algebra ${\mathcal R}$ and the associated graded ring ${\mathcal G}$ of $I$. Finally, we focus on the integral closedness of ${\mathfrak m}I$. The latter question is motivated by the theory of evolutions.
We study the depth properties of the associated graded ring of an m-primary ideal I in terms of numerical data attached to the ideal I. We also find bounds on the Hilbert coefficients of I by means of the Sally module S_J(I) of I with respect to a minimal reduction J of I.
The core of an $R$-ideal $I$ is the intersection of all reductions of $I$. This object was introduced by D. Rees and J. Sally and later studied by C. Huneke and I. Swanson, who showed in particular its connection to J. Lipman's notion of adjoint of an ideal. Being an a priori infinite intersection of ideals, the core is difficult to describe explicitly. We prove in a broad setting that: ${\rm core}(I)$ is a finite intersection of minimal reductions; ${\rm core}(I)$ is a finite intersection of general minimal reductions; ${\rm core}(I)$ is the contraction to $R$ of a `universal' ideal; ${\rm core}(I)$ behaves well under flat extensions. The proofs are based on general multiplicity estimates for certain modules.
D. Rees and J. Sally defined the core of an $R$-ideal $I$ as the intersection of all $($minimal$)$ reductions of $I$. However, it is not easy to give an explicit characterization of it in terms of data attached to the ideal. Until recently, the only case in which a closed formula was known is the one of integrally closed ideals in a two-dimensional regular local ring, due to C. Huneke and I. Swanson. The main result of this paper explicitly describes the core of a broad class of ideals with good residual properties in an arbitrary local Cohen-Macaulay ring. We also find sharp bounds on the number of minimal reductions that one needs to intersect to get the core.
The core of a projective dimension one module is computed explicitly in terms of Fitting ideals. In particular, our formula recovers previous work by R. Mohan on integrally closed torsionfree modules over a two-dimensional regular local ring.
We exhibit the elementary but somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals. It leads to the construction of a bountiful set of Cohen--Macaulay Rees algebras.
We characterize the strongly Cohen-Macaulay ideals of second analytic deviation one in terms of depth properties of the powers of the ideal in the `standard range.' This provides an explanation of the behaviour of certain ideals that have appeared in the literature.
We prove that certain modules are faithful. This enables us to draw consequences about the reduction number and the integral closure of some classes of ideals.
In a previous paper we exhibited the somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals with reduction number $1$. This led to the construction of large families of Cohen--Macaulay Rees algebras. The first goal of this paper is to extend this result to arbitrary Cohen--Macaulay rings. The means of the proof are changed since one cannot depend so heavily on linkage theory. We then study the structure of the Rees algebra of these links, more specifically we describe their canonical module in sufficient detail to be able to characterize self--linked prime ideals. In the last section multiplicity estimates for classes of such ideals are established.