Let $(R, \mathfrak m)$ be a one dimensional local Cohen-Macaulay ring. An $\mathfrak m$-primary ideal $I$ of $R$ is Elias if the types of $I$ and of $R/I$ are equal. Canonical and principal ideals are Elias, and Elias ideals are closed under inclusion. We give multiple characterizations of Elias ideals and concrete criteria to identify them. We connect Elias ideals to other well-studied definitions: Ulrich, $\mathfrak m$-full, integrally closed, trace ideals, etc. Applications are given regarding canonical ideals, conductors and the Auslander index.
Given a local Noetherian ring $(R, {\mathfrak m})$ of dimension $d>0$ and infinite residue field, we study the invariants $($dimension and multiplicity$)$ of the Sally module $S_J(I)$ of any ${\mathfrak m}$-primary ideal $I$ with respect to a minimal reduction $J$. As a by-product we obtain an estimate for the Hilbert coefficients of ${\mathfrak m}$ that generalizes a bound established by J. Elias and G. Valla in a local Cohen-Macaulay setting. We also find sharp estimates for the multiplicity of the special fiber ring ${\mathcal F}(I)$, which recover previous bounds established by C. Polini, …
Let $R$ be a commutative Noetherian ring. Using the new concept of linkage of ideals over a module, we show that if $\mathfrak{a}$ is an ideal of $R$ which is linked by the ideal $I$, then $cd(\mathfrak{a},R) \in \{ grad \mathfrak{a}, cd(\fa, H^{grad \mathfrak{a}}_ {\mathfrak{c}} (R)) + grad \mathfrak{a}\}, $ where $\mathfrak{c} : = \bigcap_{\mathfrak{p} \in Ass \frac{R}{I}- V(\mathfrak{a})}\mathfrak{p}$. Also, it is shown that for every ideal $\mathfrak{b}$ which is geometrically linked with $\mathfrak{a},$ $cd(\mathfrak{a}, H^{grad \mathfrak{b}}_ {\mathfrak{b}} (R))$ does not depend on $\mat…
In this paper, we introduce a concept of $\mathfrak{X}$-element with respect to an $M$-closed set $\mathfrak{X}$ in multiplicative lattices and study properties of $\mathfrak{X}$-elements. For a particular $M$-closed subset $\mathfrak{X}$, we define the concept of $r$-element, $n$-element and $J$-element. These elements generalize the notion of $r$-ideals, $n$-ideals and $J$-ideals of a commutative ring with unity to multiplicative lattices. In fact, we prove that an ideal $I$ of a commutative ring $R$ with unity is a $n$-ideal ($J$-ideal) of $R$ if and only if it is an $n$-element ($J$-elemen…
Let $\mathfrak{a},\mathfrak{b}$ be two ideals of a commutative noetherian ring $R$ and $M$ a finitely generated $R$-module.~We continue to study $\textrm{f}\textrm{-}\mathrm{grad}_R(\mathfrak{a},\mathfrak{b},M)$ which was introduced in [Bull. Malays. Math. Sci. Soc. 38 (2015) 467--482], some computations and bounds of $\textrm{f}\textrm{-}\mathrm{grad}_R(\mathfrak{a},\mathfrak{b},M)$ are provided.~We also give the structure of $(\mathfrak{a},\mathfrak{b})$-$\mathrm{f}$-modules,~various properties which are analogous to those of Cohen Macaulay modules are discovered.
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},I,J}(M)$ with respect to a pair of ideals, for all $i\geq 0$. The main subject of the paper is to study the finiteness properties and Artinianness of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},\mathfrak{m},J}(M)$. We study the maximum and minimum integer $i\in \…
This paper purposes to characterize Noetherian local rings $(A, {\mathfrak m})$ of positive dimension such that the first Hilbert coefficients of ${\mathfrak m}$-primary ideals in $A$ range among only finitely many values. Examples are explored.
Let $(A,{\mathfrak m})$ be a Cohen-Macaulay local ring and let $I$ be an ideal of $A$. We prove that the Rees algebra ${\mathcal R}(I)$ is an almost Gorenstein ring in the following cases: (1) $(A,{\mathfrak m})$ is a two-dimensional excellent Gorenstein normal domain over an algebraically closed field $K \cong A/{\mathfrak m}$ and $I$ is a $p_g$-ideal; (2) $(A,{\mathfrak m})$ is a two-dimensional almost Gorenstein local ring having minimal multiplicity and $I={\mathfrak m}^{\ell}$ for all $\ell \ge 1$; (3) $(A,{\mathfrak m})$ is a regular local ring of dimension $d \ge 2$ and $I={\mathfrak m}…
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M$ an $R$-module with Cosupport in $\mathrm{V}(\mathfrak{a})$. We show that $M$ is $\mathfrak{a}$-coartinian if and only if $\mathrm{Ext}_{R}^{i}(R/\mathfrak{a},M)$ is artinian for all $0\leq i\leq \mathrm{cd}(\mathfrak{a},M)$, which provides a computable finitely many steps to examine $\mathfrak{a}$-coartinianness. We also consider the duality of Hartshorne's questions: for which rings $R$ and ideals $\mathfrak{a}$ are the modules $\mathrm{H}^{\mathfrak{a}}_{i}(M)$ $\mathfrak{a}$-coartinian for all $i\geq 0$; whether the…
In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that $\mathfrak{m}$ is a $p_g$-ideal. Finally we ask what $\mathfrak{m}$-primary ideals have SRP and state a conjecture which characterizes the case when $\mathfrak{m}^n$ are the only ideals which have SRP.
For the ideal $\mathfrak{p}$ in $k[x, y, z]$ defining a space monomial curve, we show that $\mathfrak{p}^{(2 n - 1)} \subseteq \mathfrak{m} \mathfrak{p}^{n}$ for some positive integer $n$, where $\mathfrak{m}$ is the maximal ideal $(x, y, z)$. Moreover, the smallest such $n$ is determined. It turns out that there is a counterexample to a claim due to Grifo, Huneke, and Mukundan, which states that $\mathfrak{p}^{(3)} \subseteq \mathfrak{m} \mathfrak{p}^2$ if $k$ is a field of characteristic not $3$; however, the stable Harbourne conjecture holds for space monomial curves as they claimed.
Let $\mathfrak{a}$ be an ideal of a commutative noetherian ring $R$ and $M, N$ two finitely generated $R$-modules. By using a spectral sequence argument, it is shown that if either $\mathrm{dim}_RM\leq2$ and $\mathrm{H}^{i}_\mathfrak{a}(N)$ are $\mathfrak{a}$-cofinite for all $i\geq0$, or $\mathrm{H}^{i}_\mathfrak{a}(N)$ is an $\mathfrak{a}$-cofinite module of dimension $\leq1$ for each $i\geq1$, or $q(\mathfrak{a},R)\leq1$, then the $R$-modules $\mathrm{H}^{t}_\mathfrak{a}(M,N)$ are $\mathfrak{a}$-cofinite for all $t\geq0$.
Let $(R,\mathfrak{m})$ be a Cohen-Macaulay local ring, $I$ an $\mathfrak{m}$-primary ideal of $R$ and $J$ its minimal reduction. We study the depths of $F(I)$ under certain depth assumptions on $G(I)$ and length condition on quotients of powers of $I$ and $J$, namely $\sum_{n\geq0}λ(\mathfrak{m}I^{n+1}/\mathfrak{m}JI^n)$ and $\sum_{n\geq0}λ(\mathfrak{m}I^{n+1} \cap J/\mathfrak{m}JI^n)$.
For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for…
Inspired by the works in linkage theory of ideals, we define the concept of linkage of ideals over a module. Several known theorems in linkage theory are improved or recovered by new approaches. Specially, we make some extensions and generalizations of the basic result of Peskine and Szpiro \cite[prop 1.3]{PS}, namely if $R$ is a Gorenstain local ring, $\mathfrak{a} \neq 0$ (an ideal of $R$) and $\mathfrak{b} := 0:_R \mathfrak{a}$ then $\frac{R}{\mathfrak{a}}$ is Cohen-Macaulay if and only if $\frac{R}{\mathfrak{a}}$ is unmixed and $\frac{R}{\mathfrak{b}}$ is Cohen-Macaulay.
We generalize a Briançon-Skoda type theorem first studied by Aberbach and Huneke. With some conditions on a regular local ring $(R,\m)$ containing a field, and an ideal $I$ of $R$ with analytic spread $\ell$ and a minimal reduction $J$, we prove that for all $w \geq -1$, $ \bar{I^{\ell+w}} \subseteq J^{w+1} \mathfrak{a} (I,J),$ where $\mathfrak{a}(I,J)$ is the coefficient ideal of $I$ relative to $J$, i.e. the largest ideal $\mathfrak{b}$ such that $I\mathfrak{b}=J\mathfrak{b}$. Previously, this result was known only for $\m$-primary ideals.
Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^*$ be the associated graded ring of the integral closure filtration of $\mathfrak{a}$. Itoh conjectured that if $e_3^{\mathfrak{a}^*}(A) = 0$ and $A$ is Gorenstein then $G_{\mathfrak{a}}(A)^* $ is Cohen-Macaulay. In this paper we prove an important case of Itoh's conjecture: we show th…
Let $(R,\mathfrak{m})$ be a quasi-unmixed local ring and $I$ an equimultiple ideal of $R$ of analytic spread $s$. In this paper, we introduce the equimultiple coefficient ideals. Fix $k\in \{1,...,s\}.$ The largest ideal $L$ containing $I$ such that $e_{i}(I_{\mathfrak{p}})=e_{i}(L_{\mathfrak{p}})$ for each $i \in \{1,...,k\}$ and each minimal prime $\mathfrak{p}$ of $I$ is called the $k$-th equimultiple coefficient ideal denoted by $I_{k}$. It is a generalization of the coefficient ideals firstly introduced by Shah \cite{S} for the case of $\mathfrak{m}$-primary ideals. We also see applicatio…
A homogeneous ideal $I$ of a polynomial ring $S$ is said to have the Rees property if, for any homogeneous ideal $J \subset S $ which contains $I$, the number of generators of $J$ is smaller than or equal to that of $I$. A homogeneous ideal $I \subset S$ is said to be $\mathfrak m$-full if $\mathfrak mI:y=I$ for some $y \in \mathfrak m$, where $\mathfrak m$ is the graded maximal ideal of $S$. It was proved by one of the authors that $\mathfrak m$-full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals whic…
Let $(A,\mathfrak{m})$ be an excellent normal domain of dimension two. We define an $\mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. When $A$ contains an algebraically closed field $k \cong A/\mathfrak{m}$ then Okuma, Watanabe and Yoshida proved that $A$ has $p_g$-ideals and furthermore product of two $p_g$-ideals is a $p_g$ ideal. In this article we show that if $A$ is an excellent normal domain of dimension two containing a field $k \cong A/\mathfrak{m}$ of characteristic zero then also $A$ has $p_g$-ideals. Furthermore produ…
Let $(R, \mathfrak{m}, k)$ be an excellent equidimensional local ring of characteristic $p>0$. The aim of this paper is to show that $\ell_R(\mathfrak{q}^*/\mathfrak{q})$ does not depend on the choice of parameter ideal $\mathfrak{q}$ provided $R$ is an $F$-injective local ring that is $F$-rational on the punctured spectrum.
Quasi-socle ideals, that is the ideals $I$ of the form $I= Q : \mathfrak{m}^q$ in a Noetherian local ring $(A, \mathfrak{m})$ with the Gorenstein tangent cone $\mathrm{G}(\mathfrak{m}) = \bigoplus_{n \geq 0}{\mathfrak{m}}^n/{\mathfrak{m}}^{n+1}$ are explored, where $q \geq 1$ is an integer and $Q$ is a parameter ideal of $A$ generated by monomials of a system $x_1, x_2, ..., x_d$ of elements in $A$ such that $(x_1, x_2, ..., x_d)$ is a reduction of $\mathfrak{m}$. The questions of when $I$ is integral over $Q$ and of when the graded rings $\mathrm{G}(I) = \bigoplus_{n \geq 0}I^n/I^{n+1}$ and $…
Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if and only if $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ are finitely generated for all $i\leq 2$, which generalizes one of the main results in [Algebr. Represent. Theory 18 (2015) 369--379]. Some new results concerning cofiniteness of local cohomology modules $\mathrm{H}^i_\mathfrak{a}(M)$ for any finitely generated $R$-module $M$ are obtained.
The homological property of the associated graded ring of an ideal is an important problem in commutative algebra and algebraic geometry. In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched $\mathfrak{m}$-primary ideals in the case where the reduction number attains almost minimal value in a Cohen-Macaulay local ring $(A,\mathfrak{m})$. As an application, we present complete descriptions of the associated graded ring of stretched $\mathfrak{m}$-primary ideals with small reduction number.
Let $\mathfrak{q}$ denote an $\mathfrak{m}$-primary ideal of a $d$-dimensional local ring $(A, \mathfrak{m}).$ Let $\underline{a} = a_1,\ldots,a_d \subset \mathfrak{q}$ be a system of parameters. Then there is the following inequality for the multiplicities $c \cdot e(\mathfrak{q};A) \leq e(\underline{a};A)$ where $c$ denotes the product of the initial degrees of $a_i$ in the form ring $G_A(\mathfrak{q}).$ The aim of the paper is a characterization of the equality as well as a description of the difference by various homological methods via Koszul homology. To this end we have to characterize …
Let $A$ be a Dedekind domain of characteristic zero such that its localization at every maximal ideal has mixed characteristic with finite residue field. Let $R=A[X_1,\ldots, X_n]$ be a polynomial ring and $I=(a_1U_1, \ldots, a_c U_c)\subseteq R$ an ideal, where $a_j \in A$ (not necessarily units) and $U_j$'s are monomials in $X_1, \ldots, X_n$. We call such an ideal $I$ as a $\mathfrak{C}$-monomial ideal. Consider the standard multigrading on $R$. We produce a structure theorem for the multigraded components of the local cohomology modules $H^i_I(R)$ for $i \geq 0$. We further analyze the tor…
Given a one-dimensional Cohen-Macaulay local ring $(R,\mathfrak{m},k)$, we prove that it is almost Gorenstein if and only if $\mathfrak{m}$ is a canonical module of the ring $\mathfrak{m}:\mathfrak{m}$. Then, we generalize this result by introducing the notions of almost canonical ideal and gAGL ring and by proving that $R$ is gAGL if and only if $\mathfrak{m}$ is an almost canonical ideal of $\mathfrak{m}:\mathfrak{m}$. We use this fact to characterize when the ring $\mathfrak{m}:\mathfrak{m}$ is almost Gorenstein, provided that $R$ has minimal multiplicity. This is a generalization of a resu…
Two formulas for the multiplicity of the fiber cone $F(I)=\oplus_{n=0}^{\infty} I^n/\m I^n$ of an $\m$-primary ideal of a $d$-dimensional Cohen-Macaulay local ring $(R,\m)$ are derived in terms of the mixed multiplicity $e_{d-1}(\m | I),$ the multiplicity $e(I)$ and superficial elements. As a consequence, the Cohen-Macaulay property of $F(I)$ when $I$ has minimal mixed multiplicity or almost minimal mixed multiplicity is characterized in terms of reduction number of $I$ and lengths of certain ideals. We also characterize Cohen-Macaulay and Gorenstein property of fiber cones of $\m$-primary ide…
This paper gives an upper bound of the second Hilbert coefficients ${\mathrm{e}}_2(I)$ of $\mathfrak{m}$-primary ideals $I$ in a Cohen-Macaulay local ring $(A,{\mathfrak{m}})$ in terms of the sectional genera of $I$.
In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched $\mathfrak{m}$-primary ideals with small first Hilbert coefficient in a Cohen-Macaulay local ring $(A,\mathfrak{m})$. In particular, we explore the structure of stretched $\mathfrak{m}$-primary ideals satisfying the equality $\mathrm{e}_1(I)=\mathrm{e}_0(I)-\ell_A(A/I)+4$ where $\mathrm{e}_0(I)$ and $\mathrm{e}_1(I)$ denote the multiplicity and the first Hilbert coefficient respectively.
This paper gives a necessary and sufficient condition for Gorensteinness in Rees algebras of the $d$-th power of parameter ideals in certain Noetherian local rings of dimension $d\ge 2$. The main result of this paper produces many Gorenstein Rees algebras over non-Cohen-Macaulay local rings. For example, the Rees algebra $\mathcal{R}(\mathfrak{q}^d)=\oplus_{i\ge 0}\mathfrak{q}^{di}$ is Gorenstein for every parameter ideal $\mathfrak{q}$ that is a reduction of the maximal ideal in a $d$-dimensional Buchsbaum local ring of depth 1 and multiplicity 2.
Let $(A,\mathfrak{m})$ be an excellent normal domain of dimension two containing a field $k \cong A/\mathfrak{m}$. An $\mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. If $k$ is algebraically closed then Okuma, Watanabe and Yoshida proved that $A$ has $p_g$-ideals and furthermore product of two $p_g$-ideals is a $p_g$ ideal. In a previous paper we showed that if $k$ has characteristic zero then $A$ has $p_g$-ideals. In this paper we prove that if $k$ is perfect field of positive characteristic then also $A$ has $p_g$ ideals.
Let $I$ denote an ideal of a Noetherian ring $R$ and $N$ a non-zero finitely generated $R$-module. In the present paper, some necessary and sufficient conditions are given to determine when the $I$-adic topology on $N$ is equivalent to the $I$-symbolic topology on $N$. Among other things, we shall give a complete solution to the question raised by R. Hartshorne in [{\it Affine duality and cofiniteness}, Invent. Math. {\bf9}(1970), 145-164], for a prime ideal $\frak p$ of dimension one in a local Noetherian ring $R$, by showing that the $\frak{p}$-adic topology on $N$ is equivalent to the $\fra…
Let $R =k[x_1, \cdots, x_n,\cdots]$ be the infinite variable polynomial ring equipped with the natural $\mathfrak{S}_\infty$ action, where $k$ is a field of characteristic zero. In recent work \cite{NS21}, Nagpal--Snowden gave an indirect proof that $\mathfrak{S}_\infty$-ideal generated by $(x_1-x_2)^{2n}$ is not $\mathfrak{S}_\infty$-prime. In this paper, we give a direct proof, with explicit elements. We further formulate some conjectures on possible generalizations of the result.
We introduce two new invariants of a Noetherian (standard graded) local ring $(R, \mathfrak m)$ that measure the number of generators of certain kinds of reductions of $\mathfrak m,$ and we study their properties. Explicitly, we consider the minimum among the number of generators of ideals $I$ such that either $I^2 = \mathfrak m^2$ or $I \supseteq \mathfrak m^2$ holds. We investigate subsequently the case that $R$ is the quotient of a polynomial ring $k[x_1, \dots, x_n]$ by an ideal $I$ generated by homogeneous quadratic forms, and we compute these invariants. We devote specific attention to t…
Let $(R, \mathfrak m)$ be a commutative noetherian local ring. We investigate under which conditions an $R$-module $M$ is generated by an ideal $I$, i.e. there exists an epimorphism $I^{(Λ)} \twoheadrightarrow M$. If $M$ is uniserial, i.e. $\mathcal{L}(M)$ is totally ordered and finite, this is equivalent to $\mathfrak{m}^{n-1} \cdot I \not\subset \operatorname{Ann}_R(M) \cdot I$ ($\operatorname{length}(M) = n \geq 1$). If $M$ is cyclic and $I = \mathfrak{m}$, this is equivalent to: Either it is $M \cong R/\mathfrak{p}$ ($R/\mathfrak{p}$ a discrete valuation ring) or $M \cong C/\operatorname{S…
A minor is principal means it is defined by the same row and column indices. Let $X$ be a square generic matrix, $K[X]$ the polynomial ring in entries of $X$, over an algebraically closed field, $K$. For fixed $t\leq n$, let $\mathfrak P_t$ denote the ideal generated by the size $t$ principal minors of $X$. When $t=2$ the resulting quotient ring $K[X]/\mathfrak P_2$ is a normal complete intersection domain. When $t>2$ we break the problem into cases depending on a fixed rank, $r$, of $X$. We show when $r=n$ for any $t$, the respective images of $\mathfrak P_t$ and $\mathfrak P_{n-t}$ in the lo…
This paper examines the dimension of the graded local cohomology $H_\mathfrak{m}^p(S/K^s)_γ$ and $H_\mathfrak{m}^p(S/K^{(s)})$ for a monomial ideal $K$. This information is encoded in the reduced homology of a simplicial complex called the degree complex. We explicitly compute the degree complexes of ordinary and symbolic powers of sums and fiber products of ideals, as well as the degree complex of the mixed product, in terms of the degree complexes of their components. We then use homological techniques to discuss the cohomology of their quotient rings. In particular, this technique allows fo…
We construct a local Cohen-Macaulay ring $R$ with a prime ideal $\mathfrak{p}\in\spec(R)$ such that $R$ satisfies the uniform Auslander condition (UAC), but the localization $R_{\mathfrak{p}}$ does not satisfy Auslander's condition (AC). Given any positive integer $n$, we also construct a local Cohen-Macaulay ring $R$ with a prime ideal $\mathfrak{p}\in\spec(R)$ such that $R$ has exactly two non-isomorphic semidualizing modules, but the localization $R_{\mathfrak{p}}$ has $2^n$ non-isomorphic semidualizing modules. Each of these examples is constructed as a fiber product of two local rings ove…
Hara and Yoshida introduced a notion of $\aaa$-tight closure in 2003, and they proved that the test ideals given by this operation correspond to multiplier ideals. However, their operation is not a true closure. The alternative operation introduced here is a true closure. Moreover, we define a joint Hilbert-Kunz multiplicity that can be used to test for membership in this closure. We study the connections between the Hara-Yoshida operation and the one introduced here, primarily from the point of view of test ideals. We also consider variants with positive real exponents.
A Noetherian local ring $(R,\mathfrak{m})$ is called Buchsbaum if the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q})$, where $\mathfrak{q}$ is an ideal generated by a system of parameters, is a constant independent of $\mathfrak{q}$. In this article, we study the tight closure analog of this condition. We prove that in an unmixed excellent local ring $(R,\mathfrak{m})$ of prime characteristic $p>0$ and dimension at least one, the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q}^*)$ is independent of $\mathfrak{q}$ if and only if the parameter test ideal $τ_{\text{par}}(R)$ contains $\ma…
For polynomial ideals in positive charachteristic, defining $F$-split rings and admitting a squarefree monomial initial ideal are different notions. In this note we show that, however, there are strong interactions in both directions. Moreover we provide an overview on which $F$-singularities are Gröbner deforming. Also, we prove the following characteristic-free statement: if $\mathfrak{p}$ is a height $h$ prime ideal such that $\textrm{in}(\mathfrak{p}^{(h)})$ contains at least one squarefree monomial, then $\textrm{in}(\mathfrak{p})$ is a squarefree monomial ideal.
Let $R=\mathbf{C}[ξ_1,ξ_2,\ldots]$ be the infinite variable polynomial ring, equipped with the natural action of the infinite symmetric group $\mathfrak{S}$. We classify the $\mathfrak{S}$-primes of $R$, determine the containments among these ideals, and describe the equivariant spectrum of $R$. We emphasize that $\mathfrak{S}$-prime ideals need not be radical, which is a primary source of difficulty. Our results yield a classification of $\mathfrak{S}$-ideals of $R$ up to copotency. Our work is motivated by the interest and applications of $\mathfrak{S}$-ideals seen in recent years.
Let $(R,\mathfrak{M})$ be a two-dimensional regular local ring with algebraically closed residue field. Let $I$ be a simple complete $\mathfrak{M}$-primary ideal of $R$ and let $w$ denote its unique Rees valuation. Then the degree function coefficient $d(I,w)=1$. In this note a short proof of this result is given.
Let $f:A\longrightarrow B$ be a ring homomorphism and let $\mathfrak b$ be an ideal of $B$. In this paper we study Prüfer like conditions in the amalgamation of $A$ with $B$ along $\mathfrak b$, with respect to $f$, a ring construction introduced in 2009 by D'Anna, Finocchiaro and Fontana.
In this paper, we present an algorithm for computing the minimal reductions of $\mathfrak{m}$-primary ideals of Cohen--Macaulay local rings. Using this algorithm, we are able to compute the Hilbert--Samuel multiplicities and solve the membership problem for the integral closure of $\mathfrak{m}$-primary ideals.
A commutative noetherian local ring $(R,\mathfrak{m})$ is Gorenstein if and only if every parameter ideal of $R$ is irreducible. Although irreducible parameter ideals may exist in non-Gorenstein rings, Marley, Rogers, and Sakurai show there exists an integer $\ell$ (depending on $R$) such that $R$ is Gorenstein if and only if there exists an irreducible parameter ideal contained in $\mathfrak{m}^\ell$. We give upper bounds for $\ell$ that depend primarily on the existence of certain systems of parameters in low powers of the maximal ideal.
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 an unmixed Noetherian local ring, Q a parameter ideal and $K$ an $\mathfrak m$-primary ideal of $R$ containing $Q$. We give a necessary and sufficient condition for $R$ to be Cohen-Macaulay in terms of $g_0(Q)$ and $g_1(Q)$, the Hilbert coefficients of $Q$ with respect to $K$. As a consequence, we obtain a result of Ghezzi et al. which settles the negativity conjecture of W. V. Vasconcelos [15] in unmixed local rings.
In a Cohen-Macaulay local ring $(A, \mathfrak{m})$, we study the Hilbert function of an integrally closed $\mathfrak{m}$-primary ideal $I$ whose reduction number is three. With a mild assumption we give an inequality $\ell_A(A/I) \ge \mathrm{e}_0(I) - \mathrm{e}_1(I) + \dfrac{\mathrm{e}_2(I) + \ell_A(I^2/QI)}{2}$, where $\mathrm{e}_i(I)$ denotes the $i$th Hilbert coefficients and $Q$ denotes a minimal reduction of $I$. The inequality is located between inequalities of Itoh and Elias-Valla. Furthermore our inequality becomes an equality if and only if the depth of the associated graded ring of …
Let $R$ be a commutative ring and ${\Bbb{A}}(R)$ be the set of ideals with non-zero annihilators. The annihilating-ideal graph of $R$ is defined as the graph ${\Bbb{AG}}(R)$ with the vertex set ${\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\}$ and two distinct vertices $I$ and $J$ are adjacent if and only if $IJ=(0)$. We investigate commutative rings $R$ whose annihilating-ideal graphs have positive genus $γ(\Bbb{AG}(R))$. It is shown that if $R$ is an Artinian ring such that $γ(\Bbb{AG}(R))<\infty$, then $R$ has finitely many ideals or $(R,\mathfrak{m})$ is a Gorenstein ring with maximal ideal $\mat…
