We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C=R, this recovers the standard projective dimension. We show that three natural definitions of finite C-projective dimension agree, and investigate the relationship between relative cohomology modules and absolute cohomology modules in this setting. Finally, we prove several results that demonstrate the deep connections between modules of finite projective dimension and modules of finite C-projective dimension. In parallel, we develop the dual theory for injective dimension and C-injective dimension.
Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using the semidualizing modules, we define and study new classes of modules and homological dimensions and investigate the relations between them. In parallel, we obtain some necessary and sufficient condition for $ C $ to be dualizing.
In this paper we build off of Takahashi and White's $\mathcal{P}_C$-projective dimension and $\mathcal{I}_C$-injective dimension to define these dimensions for when $C$ is a semidaulizing complex. We develop the framework for these homological dimensions by establishing base change results and local-global behavior. Furthermore, we investigate how these dimensions interact with other invariants.
We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White.
A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions involving a semidualizing complex and improve on Foxby's result by answering a question of Takahashi and White. In particular, we prove for a semidualizing complex $C$, if there exists a complex with finite depth, finite $\mathcal{F}_C$-projective dimension, and finite $\mathcal{I}_C$-injective dimension over a local ring $R$, then $R$ is Gorenstein.
We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and projective-like resolutions, are isomorphic. We show how the vanishing of these functors characterizes the finiteness of the homological dimension F_C-pd, and we use this to give a relation between the F_C-pd of a given module and that of a pure submodule. On the other hand, we show that other relations that one may expect to hold similarly, fail in general. In fact…
This paper builds on work of Hochster and Yao that provides nice embeddings for finitely generated modules of finite G-dimension, finite projective dimension, or locally finite injective dimension. We extend these results by providing similar embeddings in the relative setting, that is, for certain modules of finite G_C-dimension, finite P_C-projective dimension, locally finite GI_C-injective dimension, or locally finite I_C-injective dimension where C is a semidualizing module. Along the way, we extend some results for modules of finite homological dimension to modules of locally finite homol…
Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If G_C-dimension of M/IM is finite for all ideals I generated by an R-regular sequence of length at most d-t then either G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.
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 ring homomorphisms of finite flat dimension, presented in terms of inequalities between generalized G-dimensions. Most of these results are new even when the ring homomorphism is local. The main tool for these analyses is a nonlocal version of the amplitude inequality of Iversen, Foxby, and Iyengar. We provide numerous examples demonstrating the need for cer…
We investigate homological properties of perfect algebras of prime characteristic. The principle is as follows: perfect algebras resolve the singularities. For example, we show any module over the ring of absolute integral closure has finite flat dimension. Under some mild conditions, we show any module over that ring has finite projective dimension. We compute weak dimension and global dimension of perfect rings in a series of nontrivial cases. Some interesting applications are given. In particular, we answer some questions asked by Shimomoto.
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 similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger's Gorenstein dimension by the inequalities $\gdim_R(N)\leq\cidim_R(N)\leq\pd_R(N)$. Using Blanco and Majadas' version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a the…
We apply geometric techniques from representation theory to the study of homologically finite differential graded (DG) modules $M$ over a finite dimensional, positively graded, commutative DG algebra $U$. In particular, in this setting we prove a version of a theorem of Voigt by exhibiting an isomorphism between the Yoneda Ext group $\operatorname{YExt}^1_U(M,M)$ and a quotient of tangent spaces coming from an algebraic group action on an algebraic variety. As an application, we answer a question of Vasconcelos from 1974 by showing that a local ring has only finitely many semidualizing complex…
Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, by using relative homological dimensions with respect to $C$, we impose various conditions on $C$ to be dualizing. First, we show that $C$ is dualizing if and only if there exists a Cohen-Macaulay $R$-module of type 1 and of finite G$ _C $-dimension. This result extends Takahashi \cite[Theorem 2.3]{T} as well as Christensen \cite[Proposition 8.4]{C}. Next, as a generalization of Xu \cite[Theorem 3.2]{X2}, we show that $C$ is dualizing if and only if for an $R$-module $M$, the necessary and sufficient conditi…
When studying a graded module $M$ over the Cox ring of a smooth projective toric variety $X$, there are two standard types of resolutions commonly used to glean information: free resolutions of $M$ and vector bundle resolutions of its sheafification. Each approach comes with its own challenges. There is geometric information that free resolutions fail to encode, while vector bundle resolutions can resist study using algebraic and combinatorial techniques. Recently, Berkesch, Erman, and Smith introduced virtual resolutions, which capture desirable geometric information and are also amenable to …
We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module and sheaf tensor product and Hom bifunctors as well as their derived functors, Tor and Ext, and give explicit computations for interval modules. We give a classification of injective, projective, and flat interval modules. We state Kunneth theorems and universal coefficient theorems for the homology and cohomology of chain complexes of persistence modules i…
This paper contributes to the study of homological aspects of trivial ring extensions (also called Nagata idealizations). Namely, we investigate the transfer of the notion of (Matlis') semi-regular ring (also known as IF-ring) along with related concepts, such as coherence, in trivial ring extensions issued from integral domains. All along the paper, we put the new results in use to enrich the literature with new families of examples subject to semi-regularity.
