Related papers: A generalization of a theorem of Foxby
Guided by the $Q$-shaped derived category framework introduced by Holm and Jorgensen, we provide a differential module analogue of a classical result that characterises when a finitely generated module over a local commutative noetherian…
This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit…
In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…
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,…
Let $A$ be a virtually Gorenstein algebra of finite CM-type. We establish a duality between the subcategory of compact objects in the homotopy category of Gorenstein projective left $A$-modules and the bounded Gorenstein derived category of…
Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is…
It is well-known that for a large class of local rings of positive characteristic, including complete intersection rings, the Frobenius endomorphism can be used as a test for finite projective dimension. In this paper, we exploit this…
Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic…
Let $R$ be a commutative noetherian ring with a semi-dualizing module $C$. The Auslander categories with respect to $C$ are related through Foxby equivalence: $\xymatrix@C=50pt{\mathcal {A}_C(R) \ar@<0.4ex>[r]^{C\otimes^{\mathbf{L}}_{R} -}…
First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature…
For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the…
The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined…
The main aim of this paper is to investigate rings over which all (finitely generated strongly) Gorenstein projective modules are projective. We consider this propriety under change of rings, and give various examples of rings with and…
We show that a differential module is Gorenstein projective if and only if its underlying module is Gorenstein projective. Dually, a differential module is Gorenstein injective if and only if its underlying module is Gorenstein injective.
We make use of the concepts of Tor-rigid and rigid-test modules, among others, to investigate the interplay between cohomology vanishing and the finiteness of several homological dimensions such as projective, injective and Gorenstein…
Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…
Let $R$ be a left and right Noetherian ring. We introduce the notion of the torsionfree dimension of finitely generated $R$-modules. For any $n\geq 0$, we prove that $R$ is a Gorenstein ring with self-injective dimension at most $n$ if and…
We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring…
We describe a general correspondence between injective (resp. projective) recollements of triangulated categories and injective (resp. projective) cotorsion pairs. This provides a model category description of these recollement situations.…
Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that…