Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userGorenstein AC-projective complexes
96
0
0.0
(
0
)
Authors
James Gillespie
Ask ChatGPT about the research
No Arabic abstract
Let $R$ be any ring with identity and Ch($R$) the category of chain complexes of (left) $R$-modules. We show that the Gorenstein AC-projective chain complexes are the cofibrant objects of an abelian model structure on Ch($R$). The model structure is cofibrantly generated and is projective in the sense that the trivially cofibrant objects are the categorically projective chain complexes. We show that when $R$ is a Ding-Chen ring, that is, a two-sided coherent ring with finite self FP-injective dimension, then the model structure is finitely generated, and so its homotopy category is compactly generated. Constructing this model structure also shows that every chain complex over any ring has a Gorenstein AC-projective precover. These are precisely Gorenstein projective (in the usual sense) precovers whenever $R$ is either a Ding-Chen ring, or, a ring for which all level (left) $R$-modules have finite projective dimension. For a general (right) coherent ring $R$, the Gorenstein AC-projective complexes coincide with the Ding projective complexes and so provide such precovers in this case.
rate research
Read More
We introduce what is meant by an AC-Gorenstein ring. It is a generalized notion of Gorenstein ring which is compatible with the Gorenstein AC-injective and Gorenstein AC-projective modules of Bravo-Gillespie-Hovey. It is also compatible with the notion of $n$-coherent rings introduced by Bravo-Perez: So a $0$-coherent AC-Gorenstein ring is precisely a usual Gorenstein ring in the sense of Iwanaga, while a $1$-coherent AC-Gorenstein ring is precisely a Ding-Chen ring. We show that any AC-Gorenstein ring admits a stable module category that is compactly generated and is the homotopy category of two Quillen equivalent abelian model category structures. One is projective with cofibrant objects the Gorenstein AC-projective modules while the other is an injective model structure with fibrant objects the Gorenstein AC-injectives.
Let $T=left( begin{array}{cc} R & M 0 & S end{array} right) $ be a triangular matrix ring with $R$ and $S$ rings and $_RM_S$ an $R$-$S$-bimodule. We describe Gorenstein projective modules over $T$. In particular, we refine a result of Enochs, Cort{e}s-Izurdiaga and Torrecillas [Gorenstein conditions over triangular matrix rings, J. Pure Appl. Algebra 218 (2014), no. 8, 1544-1554]. Also, we consider when the recollement of $mathbb{D}^b(T{text-} Mod)$ restricts to a recollement of its subcategory $mathbb{D}^b(T{text-} Mod)_{fgp}$ consisting of complexes with finite Gorenstein projective dimension. As applications, we obtain recollements of the stable category $underline{T{text-} GProj}$ and recollements of the Gorenstein defect category $mathbb{D}_{def}(T{text-} Mod)$.
We investigate the relationship between the level of a bounded complex over a commutative ring with respect to the class of Gorenstein projective modules and other invariants of the complex or ring, such as projective dimension, Gorenstein projective dimension, and Krull dimension. The results build upon work done by J. Christensen [6], H. Altmann et al. [1], and Avramov et al. [3] for levels with respect to the class of finitely generated projective modules.
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 Foxbys 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.
In this paper, we define and study a notion of Ding projective dimension for complexes of left modules over associative rings. In particular, we consider the class of homologically bounded below complexes of left R-modules, and show that Ding projective dimension has a nice functorial description.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
