Related papers: Blowups of hypersurfaces

In this paper, we study Noetherian local rings $R$ having a finite number of trace ideals. We proved that such rings are of dimension at most two. Furthermore, if the integral closure of $R/H$, where $H$ is the zeroth local cohomology, is…

We show that for a vertex decomposable simplicial complex $\Delta$, the Rees algebra of $I_{\Delta^{\vee}}$ is a normal Cohen-Macaulay domain. As consequences, we show that any squarefree weakly polymatroidal ideal is normal and we obtain…

Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…

In this paper, an algebraic theory for local rings of finite embedding dimension is developed. Several extensions of (Krull) dimension are proposed, which are then used to generalize singularity notions from commutative algebra. Finally,…

In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.

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,…

It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…

Let $R$ be a commutative Noetherian local ring. We characterize when its completion has an isolated singularity, thereby strengthening the Dao-Takahashi refinement of the Auslander-Huneke-Leuschke-Wiegand theorem. We investigate the ascent…

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 $(R, \mathfrak{m}, \Bbbk)$ be a Noetherian three-dimensional Cohen-Macaulay analytically unramified ring and $I$ an $\mathfrak{m}$-primary $R$-ideal. Write $X = \mathrm{Proj}\left(\oplus_{n \in \mathbb{N}} \overline{I^n}t^n\right)$. We…

We obtain various characterizations of commutative Noetherian local rings $(R, \fm)$ in terms of homological dimensions of certain finitely generated modules. For example, we establish that $R$ is Gorenstein if the Gorenstein injective…

Let $(R,m)$ be a Noetherian local ring and $I$ an ideal with finite projective dimension. If $R/I$ satisfies some property $\mathcal{P}$, it is natural to ask whether $R$ would also satisfy this property $\mathcal{P}$. This is called the…

The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual…

Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most…

A commutative ring $R$ is stable provided every ideal of $R$ containing a nonzerodivisor is projective as a module over its ring of endomorphisms. The class of stable rings includes the one-dimensional local Cohen-Macaulay rings of…

Among reduced Noetherian prime characteristic commutative rings, we prove that a regular ring is precisely one where finite intersection of ideals commutes with taking bracket powers. However, reducedness is essential for this equivalence.…

Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal…

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…

Using linear algebra methods we study certain algebraic properties of monomial rings and matroids. Let I be a monomial ideal in a polynomial ring over an arbitrary field. If the Rees cone of I is quasi-ideal, we express the normalization of…

Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…