Related papers: Test modules, weakly regular homomorphisms and com…
A ring with a test module of finite upper complete intersection dimension is complete intersection.
A method is provided for computing an upper bound of the complexity of a module over a local ring, in terms of vanishing of certain cohomology modules. We then specialize to complete intersections, which are precisely the rings over which…
We investigate modules for which vanishing of Tor-modules implies finiteness of homological dimensions (e.g., projective dimension and G-dimension). In particular, we answer a question of O. Celikbas and Sather-Wagstaff about ascent…
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This…
We extend the notions of complete intersection dimension and lower complete intersection dimension to the category of complexes with finite homology and verify basic properties analogous to those holding for modules. We also discuss the…
We study complexes of finite complete intersection dimension in the derived category of a local ring. Given such a complex, we prove that the thick subcategory it generates contains complexes of all possible complexities. In particular, we…
We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that,…
In this paper, we explore the implications of the finiteness of complete intersection dimensions for RHom complexes and Ext modules. We prove various stability results and criteria for detecting finite complete intersection homological…
We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…
We investigate the Lyubeznik numbers, and the injective dimension of local cohomology modules, of finitely generated $\mathbb{Z}$-algebras. We prove that the mixed characteristic Lyubeznik numbers and the standard ones agree locally for…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…
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 this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish…
We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which…
Let $R$ be a local ring and $M$ a finitely generated $R$-module. The complete intersection dimension of $M$--defined by Avramov, Gasharov and Peeva, and denoted $\cidim_R(M)$--is a homological invariant whose finiteness implies that $M$ 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…
Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular. It is shown that there exists a class of modules which…
For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…
We study the vanishing of (co)homology along ring homomorphisms for modules that admit certain filtrations, and generalize a theorem of O. Celikbas-Takahashi. Our work produces new classes of rigid and test modules, in particular over local…