Related papers: Reducing invariants and total reflexivity
Let $(R,\fm)$ be a commutative Noetherian local ring. Suppose that $M$ and $N$ are finitely generated modules over $R$ such that $M$ has finite projective dimension and such that $\Tor^R_i(M,N)=0$ for all $i>0$. The main result of this note…
We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…
New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…
In this paper, we consider finitely generated modules over commutative Noetherian rings whose tensor products have finite projective dimension. We construct examples of modules of infinite projective dimension (and also of infinite…
Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this…
We establish new results on (co)homology vanishing and Ext-Tor dualities, and derive a number of freeness criteria for finite modules over Cohen-Macaulay local rings. In the main application, we settle the long-standing Auslander-Reiten…
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…
We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show…
The existence of the Gorenstein projective precovers over arbitrary rings is an open question. It is known that if the ring has finite Gorenstein global dimension, then every module has a Gorenstein projective precover. We prove here a…
Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is…
We introduce a new numerical invariant $\gamma_I(M)$ associated to a finite-length $R$-module $M$ and an ideal $I$ in an Artinian local ring $R$. This invariant measures the ratio between $\lambda(IM)$ and $\lambda(M/IM)$. We establish…
In this paper we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over…
This paper establishes a second vanishing theorem for formal local cohomology modules over Noetherian local rings. We introduce the \textit{formal dimension} invariant and characterize the vanishing of higher formal local cohomology in…
A few years ago, Huneke and Leuschke proved a theorem which solved a conjecture of Schreyer. It asserts that an excellent Cohen-Macaulay local ring of countable Cohen-Macaulay type which is complete or has uncountable residue field has at…
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,…
We introduce a new invariant for subcategories X of finitely generated modules over a local ring R which we call the radius of X. We show that if R is a complete intersection and X is resolving, then finiteness of the radius forces X to…
It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…
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 I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…
Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp…