Related papers: Normality of Ideals and Modules

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke (1992) states that if R is excellent, then the absolute integral closure of R is a big Cohen-Macaulay algebra. We prove that if R is the…

The purpose of this paper is to give affirmative answers to two open questions as follows. Let $(R, \m)$ be a generalized Cohen-Macaulay Noetherian local ring. Both questions, the first question was raised by M. Rogers \cite {R} and the…

The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer…

In this article we investigate the condition that the Proj of a Rees algebra of a graded family of ideals in a Noetherian local ring $R$ is Noetherian. In many cases, the Proj will be Noetherian even when the Rees algebra is not. For…

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length…

We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence we are able to prove a generalisation of a result of…

Motivated by the Bass conjecture, we study finitely generated modules of finite injective dimension and the additional constraints they impose on the ambient ring. Beyond the Cohen--Macaulay property, the existence of such modules forces…

Given a reduced, local ring $R$ and an ideal $\mathfrak{a}$ of positive height, we give a decomposition of the test module, $\tau(\omega_T, t^{-\lambda})$, of the extended Rees algebra, $T =R[\mathfrak{a} t, t^{-1}]$. In particular, the…

In this paper, we explore the structure of the normal Sally modules of rank one with respect to an $m$-primary ideal in a Nagata reduced local ring which is not necessary Cohen-Macaulay. As an application of this result, when the base ring…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

It is shown that a module is sequentially Cohen-Macaulay if and only if the index of reducibility for distinguished parameter ideals are eventually constant with special value. As corollaries to the main theorem we given to characterize the…

For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

Let $I$ be a monomial ideal $I$ in a polynomial ring $R = k[x_1,...,x_r]$. In this paper we give an upper bound on $\overline{\dstab} (I)$ in terms of $r$ and the maximal generating degree $d(I)$ of $I$ such that $\depth R/\overline{I^n}$…

The main result of the paper states that for a graded ideal I in a polynomial ring R over a field of characteristic 0, the Hilbert functions of the local cohomology modules of R/I and of R/Gin(I) coincide if and only if R/I is sequentially…

The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the…

Let A be a Cohen-Macaulay local ring of dimension d and I an ideal in A. Let M be a finitely generated maximal Cohen-Macaulay A-module. Let I be a locally complete intersection ideal of analytic deviation one and reduction number at most…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce…

For a Noetherian local domain $R$ let $R^+$ be the absolute integral closure of $R$ and let $R_{\infty}$ be the perfect closure of $R$, when $R$ has prime characteristic. In this paper we investigate the projective dimension of residue…