Related papers: Maximal Cohen-Macaulay approximations and Serre's …

Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are…

We study the converse of a theorem of Butler and Auslander-Reiten. We show that a Cohen-Macaulay local ring with an isolated singularity has only finitely many isomorphism classes of indecomposable summands of syzygies of Cohen-Macaulay…

Let $(R, \mathfrak{m}) $ be a Gorenstein local ring of dimension $d > 0$ and let $I$ be an ideal of $R$ such that $(0) \ne I \subsetneq R$ and $R/I$ is a Cohen-Macaulay ring of dimension $d$. There is given a complete answer to the question…

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein…

Given a Cohen-Macaulay local ring, the cohomology annihilator ideal and the annihilator of the stable category of maximal Cohen-Macaulay modules are two ideals closely related both with each other and the singularities of the ring. Kimura…

This paper shows that if $R$ is a homomorphic image of a Cohen-Macaulay local ring, then $R$-module $M$ is sequentially generalized Cohen-Macaulay if and only if the difference between Hilbert coefficients and arithmetic degrees for all…

We introduce and investigate the notion of $\gc$-projective modules over (possibly non-noetherian) commutative rings, where $C$ is a semidualizing module. This extends Holm and J{\o}rgensen's notion of $C$-Gorenstein projective modules to…

Let $R$ be a polynomial ring over a field. We introduce the concept of sequentially almost Cohen-Macaulay modules and describe the extremal rays of the cone of local cohomology tables of finitely generated graded $R$-modules which are…

Inspired by classical work on the depth formula for tensor products of finitely generated $R$-modules, we introduce two conditions which we call $(\mathbf{ldep})$ and $(\mathbf{rdep})$ and their derived variations. We show for…

We study Artin algebras $A$ and commutative Noetherian complete local rings $R$ in connection with the following decomposition property of Gorenstein-projective modules: $(*)$ any Gorenstein-projective module is a direct sum of finitely…

In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings…

In the present article, we investigate the following deformation problem. Let $(R,\mathfrak m)$ be a local (graded local) Noetherian ring with a (homogeneous) regular element $y \in \mathfrak m$ and assume that $R/yR$ is quasi-Gorenstein.…

Following our previous work about quasi-projective dimension, in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective…

Let $R$ be a commutative noetherian local differential graded (DG) ring. In this paper we propose a definition of a maximal Cohen-Macaulay DG-complex over $R$ that naturally generalizes a maximal Cohen-Macaulay complex over a noetherian…

In this paper, we introduce generalized Gorenstein local (GGL) rings. The notion of GGL rings is a natural generalization of the notion of almost Gorenstein rings, which can thus be treated as part of the theory of GGL rings. For a…

Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq…

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…

The trace of the canonical module (the canonical trace) determines the non-Gorenstein locus of a local Cohen--Macaulay ring. We call a local Cohen--Macaulay ring nearly Gorenstein, if its canonical trace contains the maximal ideal. Similar…

Let R be a noetherian ring which is a finite module over its centre Z(R). This paper studies the consequences for R of the hypothesis that it is a maximal Cohen Macaulay Z(R)-module. Old results are reviewed and a number of new results are…

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…