Related papers: Formalization of Auslander--Buchsbaum--Serre crite…
A Gorenstein A-algebra R of codimension 2 is a perfect finite A-algebra such that R=Ext^2(R,A) holds as R-modules, A being a Cohen-Macaulay local ring with dim(A)-dim_A(R)=2. I prove a structure theorem for these algebras improving on an…
In this article, we prove a strong version of local Bertini theorem for normality on local rings in mixed characteristic. The main result asserts that a generic hyperplane section of a normal, Cohen-Macaulay, and complete local domain of…
The notion of Burch ideals and Burch submodules were introduced (and studied) by Dao-Kobayashi-Takahashi in 2020 and Dey-Kobayashi in 2022 respectively. The aim of this article is to characterize various local rings in terms of homological…
In this paper, we aim to obtain some results under the condition that the dual of a module over a commutative Noetherian ring has finite Gorenstein dimension. In this direction, we derive results involving vanishing of Ext as well as the…
Finitely generated reflexive modules over commutative Noetherian rings form a key component of Auslander and Bridger's stable module theory and are likewise essential in the study of Cohen--Macaulay representations. Recently, H. Dao…
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 if Auslander`s depth formula holds for non-zero Tor-independent modules over Cohen-Macaulay local rings of dimension 1, then it holds for such modules over any Cohen-Macaulay local ring. More generally, we show that the depth…
We prove that all noetherian PI Artin--Schelter regular algebras of dimension $3$ are unique factorization rings. In a certain sense, this result is a noncommutative analogue to the fact that regular local rings of dimension 3 are UFDs. The…
Let $\mathfrak{q}$ denote an ideal in a Noetherian local ring $(A,\mathfrak{m})$. Let $\underline{a}=a_1,\ldots,a_d \subset \mathfrak{q}$ denote a system of parameters in a finitely generated $A$-module $M$. This note investigate an…
Let $(R, \mathfrak{m} )$ be a Noetherian local ring, $M$ a finitely generated $R$-module of dimension $d$. Set $\mathfrak{a}(M):=\mathfrak{a}_0(M)\cdots \mathfrak{a}_{d-1}(M)$, where $\mathfrak{a}_i(M):={\rm Ann}_RH^i_{\mathfrak{m}}(M)$ for…
Let $(R,\fm)$ be commutative Noetherian local ring. It is shown that $R$ is Cohen--Macaulay ring if there exists a Cohen--Macaulay finite (i.e. finitely generated) $R$--module with finite upper Gorenstein dimension. In addition, we show…
We utilize recent results of Andr\'e and Gabber on the existence of weakly functorial integral perfectoid big Cohen-Macaulay (BCM) algebras to study singularities of local rings in mixed characteristic. In particular, we introduce a mixed…
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…
In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of…
In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication…
In analogy with the classical, affine toric rings, we define a local toric ring as the quotient of a regular local ring modulo an ideal generated by binomials in a regular system of parameters with unit coefficients; if the coefficients are…
The Auslander-Reiten conjecture is a notorious open problem about the vanishing of Ext modules. In a Cohen-Macaulay complete local ring $R$ with a parameter ideal $Q$, the Auslander-Reiten conjecture holds for $R$ if and only if it holds…
We establish an analogue of the Zariski--Nagata purity theorem for finite \'etale covers on smooth schemes over Pr\"ufer rings by demonstrating Auslander's flatness criterion in this non-Noetherian context. We derive an Auslander--Buchsbaum…
Let $I$ be an ideal generated by a system of parameters in an excellent Cohen-Macaulay local domain. We show that the associated graded ring $G^*(I)$ of the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ is Cohen-Macaulay. We prove that if $R$…
We investigate local rings in which a syzygy of the residue field occurs as a direct summand of another syzygy of the field. This class of local rings includes Golod rings, Burch rings and non-trivial fiber products of local rings. For such…