Let $Λ$ and $Γ$ be artin algebras and $_ΛU_Γ$ a faithfully balanced selforthogonal bimodule. In this paper, we first introduce the notion of $k$-Gorenstein modules with respect to $_ΛU_Γ$ and then characterize it in terms of the $U$-resolution dimension of some special injective modules and the property of the functors ${\rm Ext}^{i}({\rm Ext}^{i}(-, U), U)$ preserving monomorphisms, which develops a classical result of Auslander. As an application, we study the properties of dual modules relative to Gorenstein bimodules. In addition, we give some properties of $_ΛU_Γ$ with finite left or right injective dimension.
In this article we investigate the relations between the Gorenstein projective dimensions of $Λ$-modules and their socles for minimal n-Auslander-Gorenstein algebras $Λ$ in the sense of Iyama and Solberg \cite{IS}. First we give a description of projective-injective $Λ$-modules in terms of their socles. Then we prove that a $Λ$-module $N$ has Gorenstein projective dimension at most n iff its socle has Gorenstein projective dimension at most n iff $N$ is cogenerated by a projective $Λ$-module. Furthermore, we show that minimal n-Auslander-Gorenstein algebras can be characterised by the relation…
An A-module M will be said to be semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. All Gorenstein-projective modules are semi-Gorenstein-projective and only few and quite complicated examples of semi-Gorenstein-projective modules which are not Gorenstein-projective have been known. The aim of the paper is to provide conditions on A such that all semi-Gorenstein-projective modules are Gorenstein-projective (we call such an algebra left weakly Gorenstein). In particular, we show that in case there are only finitely many isomorphism classes of indecomposable left modules whic…
We prove that a certain eventually homological isomorphism between module categories induces a triangle equivalence between their singularity categories, Gorenstein defect categories and the stable categories of Gorenstein projective modules. Further, we show that Auslander-Reiten conjecture and Gorenstein symmetry conjecture can be reduced by eventually homological isomorphisms. Applying the results to arrow removal and vertex removal, we describe the Gorenstein projective modules over some non-monomial algebras, and we verify the Auslander-Reiten conjecture for certain algebras.
We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its Gorenstein-projective modules.
An artin algebra $A$ is said to be CM-finite if there are only finitely many, up to isomorphisms, indecomposable finitely generated Gorenstein-projective $A$-modules. We prove that for a Gorenstein artin algebra, it is CM-finite if and only if every its Gorenstein-projective module is a direct sum of finitely generated Gorenstein-projective modules. This is an analogue of Auslander's theorem on algebras of finite representation type (\cite{A,A1}).
An Artin algebra is by definition virtually Gorenstein if the class of modules which are right orthogonal (with respect to Ext^*(-,-)) to all Gorenstein projective modules coincides with the class of modules which are left orthogonal to all Gorenstein injective modules. We provide a new characterization in terms of finitely generated modules. In addition, an example of an algebra is presented which is not virtually Gorenstein.
The aim of this note is to outline the structure of the category of the Gorenstein projective modules for a Nakayama algebra. We are going to introduce the resolution quiver of such an algebra. It provides a fast algorithm in order to obtain the Gorenstein projective modules and to decide whether the algebra is a Gorenstein algebra or not, and whether it is CM-free or not.
A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of Gorenstein properties of endomorphism rings.
Let $A$ be an Iwanaga-Gorenstein ring. Enomoto conjectured that a self-orthogonal $A$-module has finite projective dimension. We prove this conjecture for $A$ having the property that every indecomposable non-projective maximal Cohen-Macaulay module is periodic. This answers a question of Enomoto and shows the conjecture for monomial quiver algebras and hypersurface rings.
We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $ω$ of an abelian category. We introduce the Frobenius category of $ω$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $ω$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective mod…
Let $Λ$ be the path algebra of a finite quiver $Q$ over a finite-dimensional algebra $A$. Then $Λ$-modules are identified with representations of $Q$ over $A$. This yields the notion of monic representations of $Q$ over $A$. If $Q$ is acyclic, then the Gorenstein-projective $\m$-modules can be explicitly determined via the monic representations. As an application, $A$ is self-injective if and only if the Gorenstein-projective $\m$-modules are exactly the monic representations of $Q$ over $A$.
Let $Λ$ and $Γ$ be left and right noetherian rings and $_ΛU$ a Wakamatsu tilting module with $Γ={\rm End}(_ΛT)$. We introduce a new definition of $U$-dominant dimensions and show that the $U$-dominant dimensions of $_ΛU$ and $U_Γ$ are identical. We characterize $k$-Gorenstein modules in terms of homological dimensions and the property of double homological functors preserving monomorphisms. We also study a generalization of $k$-Gorenstein modules, and characterize it in terms of some similar properties of $k$-Gorenstein modules.
Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results on triangular matrix Artin algebras and on Artin algebras of Morita contexts with two bimodule homomorphisms zero in the literature, where only sufficient conditions are given under a strong assumption of compatibility of bimodules. An application is provided to describe Gorenstein-projective modules over noncommutative tensor products arising from Morita con…
We consider a finite acyclic quiver $\mathcal{Q}$ and a quasi-Frobenius ring $R$. We endow the category of quiver representations over $R$ with a model structure, whose homotopy category is equivalent to the stable category of Gorenstein-projective modules over the path algebra $R\mathcal{Q}$. As an application, we then characterize Gorenstein-projective $R\mathcal{Q}$-modules in terms of the corresponding quiver $R$-representations; this generalizes a result obtained by Luo-Zhang to the case of not necessarily finitely generated $R\mathcal{Q}$-modules, and partially recover results due to Eno…
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.
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.
The relation between the $n$-recollements of stable categories of Gorenstein projective modules and the virtual Gorensteinness of algebras are investigated. Let $A,B$, and $C$ be finite dimensional algebras. We prove that if the stable category of Gorenstein projective $A$-modules admits a $n$-recollement relative to that of $B$ and $C$ with $n\geq 2$, then $A$ is virtually Gorenstein if and only if so are $B$ and $C$.
In this paper, we introduce the notions of Gorenstein weak injective and weak flat modules respectively in terms of weak injective and weak flat modules, which is larger than classical classes of Gorenstein injective and flat modules. In this new setting, we characterize rings over which all modules are Gorenstein weak injective. Moreover, we also discuss a relation between weak cosyzygy and Gorenstein weak cosyzygy of a module, and the stability of Gorenstein weak injective modules.
Let A be an artin algebra. An A-module M is semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. If M is Gorenstein-projective, then both M and its A-dual M* are semi-Gorenstein projective. As we have shown recently, the converse is not true, thus answering a question raised by Avramov and Martsinkovsky. The aim of the present note is to analyse in detail the modules M such that both M and M* are semi-Gorenstein-projective.
We introduce a general version of singular compactness theorem which makes it possible to show that being a $Σ$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed along the way, we give a new description of Gorenstein flat modules which implies that, regardless of the ring, the class of all Gorenstein flat modules forms the left-hand class of a perfect cotorsion pair. We also prove the dual result for Gorenstein injective modules.
Let $R$ be a two-sided noetherian ring and $M$ be a nilpotent $R$-bimodule, which is finitely generated on both sides. We study Gorenstein homological properties of the tensor ring $T_R(M)$. Under certain conditions, the ring $R$ is Gorenstein if and only if so is $T_R(M)$. We characterize Gorenstein projective $T_R(M)$-modules in terms of $R$-modules.
Let $R$ be a ring. It is proved that $(\mathcal{GP}(R), \mathcal{GP}(R)^\bot)$ is a complete hereditary cotorsion pair, where $\mathcal{GP}(R)$ denotes the class of the Gorenstein projective left $R$-modules. Then we get that each left $R$-module has a special Gorenstein projective precover. As an application, we prove that all Gorenstein projective left $R$-modules are Gorenstein flat over left noetherian rings.
For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived category of the Leavitt path algebra viewed as a differential graded algebra with trivial differential, which is further triangle equivalent to the stable category of Gorenstein projective modules over the trivial extension algebra of a von Neumann regular algebra by an invertible bimodule. A related, but different, result for the homotopy category of acyclic c…
Let $A$ and $B$ be rings, $U$ a $(B, A)$-bimodule and $T=\left(\begin{smallmatrix} A & 0 \\ U & B \\\end{smallmatrix}\right)$ be the triangular matrix ring. In this paper, we characterize the Gorenstein homological dimensions of modules over $T$, and discuss when a left $T$-module is strongly Gorenstein projective or strongly Gorenstein injective module.
In this paper, we study the relation between $m$-strongly Gorenstein projective (resp. injective) modules and $n$-strongly Gorenstein projective (resp. injective) modules whenever $m \neq n$, and the homological behavior of $n$-strongly Gorenstein projective (resp. injective) modules. We introduce the notion of $n$-strongly Gorenstein flat modules. Then we study the homological behavior of $n$-strongly Gorenstein flat modules, and the relation between these modules and $n$-strongly Gorenstein projective (resp. injective) modules.
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 …
In this paper, we first study the Gorenstein projective/flat dimension of complexes of modules. The relation between the Gorenstein projective/flat dimension for complexes and that for modules are investigated. Then we study Tate, stable and unbounded homology for complexes of modules. In the case of module arguments, we get some results that improve the known results.
For any ring $R$ and any positive integer $n$, we prove that a left $R$-module is a Gorenstein $n$-syzygy if and only if it is an $n$-syzygy. Over a left and right Noetherian ring, we introduce the notion of the Gorenstein transpose of finitely generated modules. We prove that a module $M\in \mod R^{op}$ is a Gorenstein transpose of a module $A\in \mod R$ if and only if $M$ can be embedded into a transpose of $A$ with the cokernel Gorenstein projective. Some applications of this result are given.
We study Gorenstein flat objects in the category ${\sf Rep}(Q,R)$ of representations of a left rooted quiver $Q$ with values in ${\sf Mod}(R)$, the category of all left $R$-modules, where $R$ is an arbitrary associative ring. We show that a representation $X$ in ${\sf Rep}(Q,R)$ is Gorenstein flat if and only if for each vertex $i$ the canonical homomorphism $φ_i^X: \oplus_{a:j\to i}X(j)\to X(i)$ is injective, and the left $R$-modules $X(i)$ and ${\rm Coker}φ_i^X$ are Gorenstein flat. As an application of this result, we show that there is a hereditary abelian model structure on ${\sf Rep}(Q,R…
We prove that for a Frobenius extension, a module over the extension ring is Gorenstein projective if and only if its underlying module over the base ring is Gorenstein projective. For a separable Frobenius extension between Artin algebras, we obtain that the extension algebra is CM-finite (resp. CM-free) if and only if so is the base algebra. Furthermore, we prove that the reprensentation dimension of Artin algebras is invariant under separable Forbenius extensions.
This paper is a continuation of the papers J. Pure Appl. Algebra, 210 (2007), 437--445 and J. Algebra Appl., 8 (2009), 219--227. Namely, we introduce and study a doubly filtered set of classes of modules of finite Gorenstein projective dimension, which are called $(n,m)$-strongly Gorenstein projective ($(n,m)$-SG-projective for short) for integers $n\geq 1$ and $m\geq 0$. We are mainly interested in studying syzygies of these modules. As consequences, we show that a module $M$ has Gorenstein projective dimension at most $m$ if and only if $M\oplus G$ is $(1,m)$-SG-projective for some Gorenstei…
For a given class of modules $\mathcal{A}$, we denote by $\widetilde{\mathcal{A}}$ the class of exact complexes $X$ having all cycles in $\mathcal{A}$, and by $dw(\mathcal{A})$ the class of complexes $Y$ with all components $Y_j$ in $\mathcal{A}$. We use the notations $\mathcal{GI}$ $(\mathcal{GF}, \mathcal{GP})$ for the class of Gorenstein injective (Gorenstein flat, Gorenstein projective respectively) $R$-modules, $\mathcal{DI}$ for Ding injective modules, and $\mathcal{PGF}$ for projectively coresolved Gorenstein flat modules (see section 2 for definitions). We prove that the following are …
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…
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.
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…
Motivated by understanding the Nakayama conjecture which states that algebras of infinite dominant dimension should be self-injective, we study self-orthogonal modules with virtually Gorenstein endomorphism algebras and prove the following result: Given a finitely generated, self-orthogonal module over an Artin algebra with an orthogonal condition on its Nakayama translation, if its endomorphism algebra is virtually Gorenstein, then the module is projective. As a consequence, we re-obtain a recent result: the Nakayama conjecture holds true for the class of strongly Morita, virtually Gorenstein…
We give necessary and sufficient conditions in order for the class of projectively coresolved Gorenstein flat modules, $\mathcal{PGF}$, (respectively that of projectively coresolved Gorenstein $\mathcal{B}$ flat modules, $\mathcal{PGF}_{\mathcal{B}}$) to coincide with the class of Ding projective modules ($\mathcal{DP})$. We show that $\mathcal{PGF} = \mathcal{DP}$ if and only if every Ding projective module is Gorenstein flat. This is the case if the ring $R$ is coherent for example. We include an example to show that the coherence is a sufficient, but not a necessary condition in order to ha…
Let $(\mathcal{A,B})$ be a complete and hereditary cotorsion pair in the category of left $R$-modules. In this paper, the so-called Gorenstein projective complexes respect to the cotorsion pair $(\mathcal{A}, \mathcal{B})$ are introduced. We show that these complexes are just the complexes of Gorenstein projective modules respect to the cotorsion pair $(\mathcal{A}, \mathcal{B})$. As applications, we prove that both Gorenstein projective modules with respect to cotorsion pairs and Gorenstein projective complexes with respect to cotorsion pairs possess of stability.
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é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 di…
We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective $R$-modules $G=...\xra{\partial^G_2}G_1\xra{\partial^G_1}G_0\xra{\partial^G_0} ...$ such that the complexes $\Hom_R(G,H)$ and $\Hom_R(H,G)$ are exact for each Gorenstein projective $R$-module $H$, the module $\coker(\partial^G_1)$ is Gorenstein projective. The proof of this result hinges upon our analysis of Gorenstein subcategories of abelian categories.
In this paper, we first introduce $\mathcal {W}_F$-Gorenstein modules to establish the following Foxby equivalence: $\xymatrix@C=80pt{\mathcal {G}(\mathcal {F})\cap \mathcal {A}_C(R) \ar@<0.5ex>[r]^{C\otimes_R-} & \mathcal {G}(\mathcal {W}_F) \ar@<0.5ex>[l]^{\textrm{Hom}_R(C,-)}} $ where $\mathcal {G}(\mathcal {F})$, $\mathcal {A}_C(R) $ and $\mathcal {G}(\mathcal {W}_F)$ denote the class of Gorenstein flat modules, the Auslander class and the class of $\mathcal {W}_F$-Gorenstein modules respectively. Then, we investigate two-degree $\mathcal {W}_F$-Gorenstein modules. An $R$-module $M$ is sai…
A recent result by J. Šaroch and J. Šťov\'ıček asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a certain relativisation of Gorenstein flat modules, which we call Gorenstein $\mathcal{B}$-flat modules, where $\mathcal{B}$ is a class of right $R$-modules. Using some of the techniques considered by …
We introduce and investigate the notion of $\gc$-projective modules over (possibly non-noetherian) commutative rings, where $C$ is a semidualizing module. This extends Holm and Jørgensen's notion of $C$-Gorenstein projective modules to the non-noetherian setting and generalizes projective and Gorenstein projective modules within this setting. We then study the resulting modules of finite $\gc$-projective dimension, showing in particular that they admit $\gc$-projective approximations, a generalization of the maximal Cohen-Macaulay approximations of Auslander and Buchweitz. Over a local (noethe…
In this paper, we study the relative homological dimension based on the class of projectively coresolved Gorenstein flat modules (PGF-modules), that were introduced by Saroch and Stovicek. The resulting PGF-dimension of modules has several properties in common with the Gorenstein projective dimension, the relative homological theory based on the class of Gorenstein projective modules. In particular, there is a hereditary Hovey triple in the category of modules of finite PGF-dimension, whose associated homotopy category is triangulated equivalent to the stable category of PGF-modules. Studying …
