A Note On Gorenstein Injective Dimension

带对偶复形的环上的Gorenstein内射滤过

Gorenstein injective filtrations over rings with dualizing complexes

本文将Gorenstein环上Gorenstein内射模的有限Gorenstein内射子模滤过结论，推广至带对偶复形的交换诺特环，并用Auslander范畴和截面函子实现了这类滤过。

The existence of finitely generated modules of finite Gorenstein injective dimension

In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.

Gorenstein内射模的正向极限

Direct limits of Gorenstein injective modules

本文研究Gorenstein内射模类对任意正向极限封闭的条件，证明其与左noetherian性、特征模Gorenstein平坦性、覆盖性及纯子模或纯商封闭性等价。

Gorenstein injective dimension and a generalization of Ischebeck Formula

Let $(R,\frak m)$ be a commutative Noetherian local ring and let $M$ and $N$ be finitely generated $R$-modules of finite injective dimension and finite Gorenstein injective dimension, respectively. In this paper we prove a generalization of Ischebeck Formula, that is $\depth_RM+\sup\{i| {0.1cm}\Ext_R^i(M,N)\neq 0\}=\depth R.$

有限Gorenstein平坦和内射维数的复形

Complexes of finite Gorenstein flat and injective dimensions

本文证明若交换Noetherian局部环上存在深度、Gorenstein平坦维数和Gorenstein内射维数均有限的复形，则该环为Gorenstein环，从而肯定回答了Christensen、Foxby和Holm的原始问题并将其推广到复形。

A Bass equality for Gorenstein injective dimension of modules finite over homomorphisms

Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$.

Gorenstein n-X-injective and n-X-flat modules with respect to a special finitely presented module

Let R be a ring, X a class of R-modules and n>1 an integer. In this paper, via special finitely presented modules, we introduce the concepts of Gorenstein n-X-injective and n-X-flat modules. And aside, we obtain some equivalent properties of these modules on n-X-coherent rings. Then, we investigate the relations among Gorenstein n-X-injective, n-X-flat, injective and flat modules on X-FC-rings (i.e., self n-X-injective and n-X-coherent rings). Several known results are generalized to this new context

Gorenstein内射模类是覆盖类当且仅当它对直极限封闭

The class of Gorenstein injective modules is covering if and only if it is closed under direct limits

该研究证明Gorenstein内射模类的特殊预覆盖性、覆盖性与直极限封闭性三者等价，为Enochs猜想提供新例证，并刻画了使该模类为覆盖类的环的等价条件。

On the Gorensetein $(n,d)$-Flat and Gorensetein $(n,d)$-Injective Modules

Let R be a ring. In this paper, Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules and some of their basic properties are studied. Moreover, some characterizations of rings over Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules are given. Also, some known results can be obtained as corollaries

Gorenstein injective filtrations over Cohen-Macaulay rings with dualizing modules

Over a noetherian ring, it is a classic result of Matlis that injective modules admit direct sum decompositions into injective hulls of quotients by prime ideals. We show that over a Cohen-Macaulay ring admitting a dualizing module, Gorenstein injective modules admit similar filtrations. We also investigate Tor-modules of Gorenstein injective modules over such rings. This extends work of Enochs and Huang over Gorenstein rings. Furthermore, we give examples showing the following: (1) the class of Gorenstein injective $R$-modules need not be closed under tensor products, even when $R$ is local a…

Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.

Canonical Filtrations of Gorenstein Injective Modules

The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So perhaps it is surprising that tensor products of Gorenstein injective modules over Gorenstein rings of finite Krull dimension are Gorenstein injective. Our main result is in support of the princ…

Transfer of Gorenstein dimensions along ring homomorphisms

A central problem in the theory of Gorenstein dimensions over commutative noetherian rings is to find resolution-free characterizations of the modules for which these invariants are finite. Over local rings, this problem was recently solved for the Gorenstein flat and the Gorenstein projective dimensions; here we give a solution for the Gorenstein injective dimension. Moreover, we establish two formulas for the Gorenstein injective dimension of modules in terms of the depth invariant; they extend formulas for the injective dimension due to Bass and Chouinard.

First, second, and third change of rings theorems for the Gorenstein homological dimensions

Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings. In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results established, in this…

On injective and Gorenstein injective dimensions of local cohomology modules

Let $(R,\fm)$ be a commutative Noetherian local ring and let $M$ be an $R$-module which is a relative Cohen-Macaulay with respect to a proper ideal $\fa$ of $R$ and set $n:=\h_{M}\fa$. We prove that $\ind M<\infty$ if and only if $\ind\H^{n}_\fa(M)<\infty$ and that $\ind\H^{n}_\fa(M)=\ind M-n$. We also prove that if $R$ has a dualizing complex and $\Gid_{R} M<\infty$, then $\Gid_{R}\H^{n}_\fa(M)<\infty$ and $\Gid_{R}\H^{n}_\fa(M)=\Gid_{R} M-n$. Moreover if $R$ and $M$ are Cohen-Macaulay, then it is proved that $\Gid_{R} M<\infty$ whenever $\Gid_{R}\H^{n}_\fa(M)<\infty$. Next, for a finitely ge…

Base Change Along the Frobenius Endomorphism and the Gorenstein Property

Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a contracting) endomorphism has finite injective dimension then $R$ is Gorenstein.

弱Ding内射复形

Weakly Ding injective complexes

在左凝聚环上定义弱Ding内射复形类，研究其生成的余挠对，并展示为阿贝尔模型结构的一部分；在Ding-Chen环上证明稳定链复形范畴紧生成且三角等价于四个Frobenius范畴的稳定范畴。

G--Gorenstein modules

Let $R$ be a commutative Noetherian ring. In this paper, we study those finitely generated $R$-modules whose Cousin complexes provide Gorenstein injective resolutions. We call such a module a G-Gorenstein module. Characterizations of G-Gorenstein modules are given and a class of such modules is determined. It is shown that the class of G-Gorenstein modules strictly contains the class of Gorenstein modules. Also, we provide a Gorenstein injective resolution for a balanced big Cohen-Macaulay $R$-module. Finally, using the notion of a G-Gorenstein module, we obtain characterizations of Gorenstein…

Indecomposable pure-injective objects in stable categories of Gorenstein-projective modules over Gorenstein orders

We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.

Local cohomology modules and Gorenstein injectivity with respect to a semidualizing module

Let $(R,\fm)$ be a local ring and let $C$ be a semidualizing $R$--module. In this paper, we are concerned in $C$--injective and $G_{C}$--injective dimensions of certain local cohomology modules of $R$. Firstly, the injective dimension of $C$ and the above quantities of dimensions is compared. Then, as an application of the above comparisons, a characterization of a dualizing module of $R$ is given. Finally, it is shown that if $R$ is Cohen-Macaulay of dimension $d$ such that $\H_{\fm}^{d}(C)$ is $C$--injective, then $R$ is Gorernstein. This is an answer to the question which was recently prese…

Local cohomology and Gorenstein injective dimension over local homomorphisms

A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module.

Totally acyclic complexes

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian ring $R$ and we use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (flat, projective respectively) $R$-modules. We prove (Theorem 1) that the following are equivalent: 1. Every exact complex of injective modules is totally acyclic. 2. Every exact complex of Gorenstein injective modules is in $\widetilde{\mathc…

Gorenstein modules and Auslander categories

In this paper, some new characterizations on Gorenstein projective, injective and flat modules over commutative noetherian local ring are given.

拟内射维数

Quasi-injective dimension

本文引入拟内射维数以推广内射维数，并证明其在局部环上关于深度、Cohen-Macaulay、Gorenstein 性质及与拟投射维数等价性的多个经典结论。

Gorenstein平坦预包络与弱Ding内射覆盖

Gorenstein flat preenvelopes and weakly Ding injective covers

本文在凝聚环框架下研究Gorenstein平坦模的预包络存在性，引入弱Ding内射模类，证明三个等价命题并给出GF为预包络类的充分条件，拓展了Ding-Chen环上的相关结果。

Stable Local Cohomology

Let $R$ be a Gorenstein local ring, $\frak{a}$ an ideal in $R$, and $M$ an $R$-module. The local cohomology of $M$ supported at $\frak{a}$ can be computed by applying the $\frak{a}$-torsion functor to an injective resolution of $M$. Since $R$ is Gorenstein, $M$ has a complete injective resolution, so it is natural to ask what one gets by applying the $\frak{a}$-torsion functor to it. Following this lead, we define stable local cohomology for modules with complete injective resolutions. This gives a functor to the stable category of Gorenstein injective modules. We show that in many ways this b…

关于具有有限约化Gorenstein维数的模

On modules with finite reducing Gorenstein dimension

本文针对交换Noether局部环上的非零有限生成模，探究兼具有限内射维数与有限约化Gorenstein维数时，是否仍能推出模的有限投射维数及环的Gorenstein性，其中约化Gorenstein维数是比经典Gorenstein维数更精细的不变量。

$\rm{FP}_{n}$-injective and $\rm{FP}_{n}$-flat covers and preenvelopes, and Gorenstein AC-flat covers

We prove that, for any $n \geq 2$, the classes of $\rm{FP}_{n}$-injective modules and of $\rm{FP}_n$-flat modules are both covering and preenveloping over any ring $R$. This includes the case of $\rm{FP}_{\infty}$-injective and $\rm{FP}_{\infty}$-flat modules (i.e. absolutely clean and, respectively, level modules). Then we consider a generalization of the class of (strongly) Gorenstein flat modules - the (strongly) Gorenstein AC-flat modules (cycles of exact complexes of flat modules that remain exact when tensored with any absolutely clean module). We prove that some of the properties of Gor…

Duality pairs, generalized Gorenstein modules, and Ding injective envelopes

Let $R$ be a general ring. Duality pairs of $R$-modules were introduced by Holm-Jorgensen. Most examples satisfy further properties making them what we call semi-complete duality pairs in this paper. We attach a relative theory of Gorenstein homological algebra to any given semi-complete duality pair $\mathfrak{D} = (\mathcal{L},\mathcal{A})$. This generalizes the homological theory of the AC-Gorenstein modules defined by Bravo-Gillespie-Hovey, and we apply this to other semi-complete duality pairs. The main application is that the Ding injective modules are the right side of a complete (perfe…

Gorenstein dimensions of unbounded complexes and faithfully flat change of base (With an appendix by Driss Bennis)

For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dimensions of unbounded complexes. In particular, we prove two theorems on stability of these dimensions under faithfully flat (co-)base change.

强 $FP$-注入维数与格伦斯坦投射预覆盖

Strongly $FP$-injective dimensions and Gorenstein projective precovers

本文研究了格伦斯坦投射预覆盖的存在性及完备性问题，通过开发的工具验证了格伦斯坦对称猜想，并探讨了 $\mathrm{silp}(R)$ 与 $\mathrm{spli}(R)$ 的有限性关系。

Using semidualizing complexes to detect Gorenstein rings

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.

Global Gorenstein dimensions

In this paper, we prove that the global Gorenstein projective dimension of a ring $R$ is equal to the global Gorenstein injective dimension of $R$, and that the global Gorenstein flat dimension of $R$ is smaller than the common value of the terms of this equality.

完美闭包检测内射维数

Perfect closure detects injective dimension

本文证明局部环R的完美闭包R^∞可作为单个测试模检测有限生成R-模N的有限内射维数，改进了Herzog定理需要无穷多个Frobenius扭曲模的结果。

关于Gorenstein内射覆盖的存在性

On the existence of Gorenstein injective covers

本文刻画了Gorenstein内射覆盖性质，构造反例否定Iacob的问题，证明Noetherian概型的覆盖性质是Zariski局部的，还给出了茎局部不成立的反例。

On Gorenstein Projective, Injective and Flat Dimensions - A Functorial Description with Applications

Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this paper we enlarge the class of rings known to admit good criteria for finiteness of Gorenstein dimensions: It now includes, for instance, the rings encountered in commutative algebraic geometry and, in the…

Cohen-Macaulay homological dimensions

We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant.

Tilting Modules Over Gorensetein $T_n^d$-Injective Gorensetein $T_n^d$-flat Modules

Let T be a tilting module.In this paper, some relative Gorenstein projective and Gortenstein injective modules are studied.

Gorenstein Dimensions under Base Change

The so-called 'change-of-ring' results are well-known expressions which present several connections between projective, injective and flat dimensions over the various base rings. In this note we extend these results to the Gorenstein dimensions over Cohen-Macaulay local rings.

凝聚环上Gorenstein平坦模的直积

Direct products of Gorenstein flat modules over coherent rings

本文构造了零Krull维数的交换凝聚局部代数及相关模，否定回答了右凝聚环上Gorenstein平坦模是否对直积封闭的问题，给出了相关等价条件并揭示了抽象初等类的性质。

Gorenstein homological dimensions and Auslander categories

In this paper, we study Gorenstein injective, projective, and flat modules over a Noetherian ring $R$. For an $R$-module $M$, we denote by ${\rm Gpd}_RM$ and ${\rm Gfd}_R M$ the Gorenstein projective and flat dimensions of $M$, respectively. We show that ${\rm Gpd}_RM<\infty$ if and only if ${\rm Gfd}_RM<\infty$ provided the Krull dimension of $R$ is finite. Moreover, in the case that $R$ is local, we correspond to a dualizing complex ${\bf D}$ of $\hat{R}$, the classes $A'(R)$ and $B'(R)$ of $R$-modules. For a module $M$ over a local ring $R$, we show that $M\in A'(R)$ if and only if ${\rm Gp…

Gorenstein injectivity of the section functor

Let $R$ be a commutative Noetherian ring of Krull dimension $d$ admitting a dualizing complex $D$ and let $\frak a$ be any ideal of $R$, we prove that $Γ_{\frak a}(G)$ is Gorenstein injective for any Gorenstein injective $R$-module $G$. Let $(R,\frak m)$ be a local ring and $M$ be a finitely generated $R$-module. We show that ${\rm Gid}{\bf R}Γ_{\frak m}(M)<\infty$ if and only if ${\rm Gid}_{\hat{R}}(M\otimes_R\hat{R})<\infty$. We also show that if ${\rm Gfd}_R{\bf R}Γ_{\frak m}(M)<\infty$, then ${\rm Gfd}_RM<\infty$. Let $(R,\frak m)$ be a Cohen-Macaulay local ring and $M$ be a Cohen-Macaulay…

Homotopy category of projective complexes and complexes of Gorenstein projective modules

Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over $R$, denoted $\KPC$, is always well generated and is compactly generated provided $\KPR$ is so. Based on this result, it will be proved that the class of Gorenstein projective complexes is precovering, whenever $R$ is a commutative noetherian ring of finite Krull dimension…

A Note on Gorenstein Flat Dimension

Unlike the Gorenstein projective and injective dimensions, the majority of results on the Gorenstein flat dimension have been established only over Noetherian (or coherent) rings. Naturally, one would like to generalize these results to any associative ring. In this direction, we show that the Gorenstein flat dimension is a refinement of the classical flat dimension over any ring; and we investigate the relations between the Gorenstein projective dimension and the Gorenstein flat dimension.

Semi-dualizing modules and related Gorenstein homological dimensions

A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions.

复形的水平不等式

Level Inequalities for Complexes

本文证明诺特环上同调有界复形的各类同调水平（投射、内射、平坦及Gorenstein型）均受其同调模直和的相应维数加一或二界定，并应用于正则及Gorenstein局部环，得到最优界及Bass公式版本。

n-gr-Coherent rings and Gorenstein graded modules

Let R be a graded ring and n > 1 an integer. In this paper, We introduce the notions of Ding n-gr-injective and Ding n-gr-flat modules by using of special finitely presented graded modules . Then, some properties of Ding n-gr-injective and Ding n-gr-flat modules are obtained. On n-gr-coherent rings, we investigate the relationships among Ding n-gr-injective and Ding n-gr-flat modules and also, we prove that any graded module in R-gr (resp. gr-R) admits an Ding n-gr-injective (resp. Ding n-gr-flat) cover and preenvelope.

Gorenstein Homology and Finiteness Properties of Local (Co)homology

This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with bounded complexes of projective and injective modules, respectively. As an application, we investigate the Gorenstein version of the New Intersection Theorem. The second chapter studies the notion of cofiniteness for modules and complexes set forth by Hartshorne. Recruiting techniques of derived category, we study this notion thoroughly, obtain novel results, an…

Gorenstein homological theory for differential modules

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.

完美复复的G级

G-levels of perfect complexes

论文证明了在特定条件下，交换noetherian环的Gorenstein维数与完美复复的G级有关，并给出了局部环的G级公式。

On the existence of certain modules of finite Gorenstein homological dimensions

Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective dimension. In this paper, we investigate the Gorenstein analogues of these facts.

Cohen-Macaulay, Gorenstein, Complete intersection and regular defect for the tensor product of algebras

This paper main goal is to measure the defect of Cohen-Macaulayness, Gorensteiness, complete intersection and regularity for the tensor product of algebras over a ring. For this sake, we determine the homological invariants which are inherent to these notions, such as the Krull dimension, depth, injective dimension, type and embedding dimension of the tensor product constructions in terms of those of their components.

Note on (weak) Gorenstein global dimensions

In this note we characterize the (resp., weak) Gorenstein global dimension for an arbitrary ring. Also, we extend the well-known Hilbert's syzygy Theorem to the weak Gorenstein global dimension and we study the weak Gorenstein homological dimensions of direct product of rings, which gives examples of non-coherent rings of finite Gorenstein dimensions $>0$ and infinite classical weak dimension.

Gorenstein complexes and recollements from cotorsion pairs

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. Our applications focus on displaying several recollements that glue together various full subcategories of K(R), the homotopy category of chain complexes of modules over a general ring R. When R is (left) Noetherian ring, these recollements involve complexes built from the Gorenstein injective modules. When R is a (left) coherent ring for which all flat modu…