Related papers: Itoh's conjecture for normal ideals
Let $(R,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d\geq 3$ and $I$ an integrally closed $\mathfrak{m}$-primary ideal. We establish bounds for the third Hilbert coefficient $e_3(I)$ in terms of the lower Hilbert…
The third named author and P\'{e}rez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the…
We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…
Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…
This paper explores the structure of quasi-socle ideals I=Q:m^2 in a Gorenstein local ring A, where Q is a parameter ideal and m is the maximal ideal in A. The purpose is to answer the problem of when Q is a reduction of I and when the…
Let $(R,\frak m)$ be an excellent generalized Cohen-Macaulay local ring of dimension $d$ that is $F$-injective on the punctured spectrum. Let $\frak q$ be a standard parameter ideal of $R$. The aim of the paper is to prove that…
The F-threshold $c^J(\a)$ of an ideal $\a$ with respect to the ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We show that under mild assumptions, we can detect…
We investigate three cases regarding asymptotic associate primes. First, assume $ (A,\mathfrak{m}) $ is an excellent Cohen-Macaulay (CM) non-regular local ring, and $ M = \operatorname{Syz}^A_1(L) $ for some maximal CM $ A $-module $ L $…
Let $(R,\m)$ be an analytically unramified Cohen-Macaulay local ring of dimension 2 with infinite residue field and $\ov{I}$ be the integral closure of an ideal $I$ in $R$. Necessary and sufficient conditions are given for…
Our focus in this paper is in effective computation of the core core(I) of an ideal I which is defined to be the intersection of all minimal reductions of I. The first main result is a closed formula for the graded core(m) of the maximal…
We expand the notion of core to $cl$-core for Nakayama closures $cl$. In the characteristic $p>0$ setting, when $cl$ is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that…
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, and suppose $R$ is Cohen-Macaulay with canonical module $\omega_R$. We develop new tools for analyzing questions involving annihilators of several homologically defined objects.…
Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm…
It is shown that in a Cohen-Macaulay local ring, the generic linkage of an ideal $I$ is a deformation of the arbitrary linkage of $I$. This fact does not need $I$ to be a Cohen-Macaulay ideal. The same holds for $s$-residual intersections…
Let R be a commutative Noetherian ring, a a proper ideal of R and M a finite R-module. It is shown that, if (R;m) is a complete local ring, then under certain conditions a contains a regular element on DR(Hc a(M)), where c = cd(a;M). A…
We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm…
For a Cohen-Macaulay local ring $(R,\mathfrak{m})$ with canonical module, we study how relations between $\text{index}(R)$ and $\text{g}\ell\ell(R)$ and between $\text{index}(R)$ and $e(R)$ are preserved when factoring out regular sequences…
An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i \neq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a…
If I is an ideal in a Gorenstein ring S and S/I is Cohen-Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not…
Let $A$ be a non Gorenstein Cohen Macaulay ring of dimension $d\geq 1$, $I$ an ideal of $A$, and suppose $\omega_A$ is a canonical $A$-module. Set $$r(I,\omega_A) = \bigcup_{n \geq 0} (I^{n+1} \omega_A : I^{n} \omega_A) \subseteq A .$$ We…