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 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.
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…
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…
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.
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.
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}).
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.
We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorens…
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 $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…
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 $\mathcal{A}$ be an abelian category. For a pair $(\mathcal{X},\mathcal{Y}$ of classes of objects in $\mathcal{A},$ we define the weak and the $(\mathcal{X},\mathcal{Y})$-Gorenstein relative projective objects in $\mathcal{A}$. We point out that such objects generalize the usual Gorenstein projective objects and others generalizations appearing in the literature as Ding-projective, Ding-injective, $\mathcal{X}$-Gorenstein projective, Gorenstein AC-projective and $G_C$-projective modules and Cohen-Macaulay objects in abelian categories. We show that the principal results on Gorenstein proje…
From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of non-negative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. Particularly, …
Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is semi-Gorenstein-projective, but not torsionless, thus not Gorenstein-projective. This Part II is devoted to a detailed study of all the 3-dimensional local A-modules for this particular algebra A. If q has infinite multiplicative order, we will encounter a whole family of 3-dimensional local modules which are semi-Gorenstein-projective, but not torsionless.
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.
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…
Invariants with respect to recollements of the stable category of Gorenstein projective A-modules over an algebra A and stable equivalences are investigated. Specifically, the Gorenstein rigidity dimension is introduced. It is shown that the Gorenstein rigidity dimension is invariant with respect to both Morita equivalences and the stable equivalences of Gorenstein projective modules. As a consequence, the Gorenstein rigidity dimension is shown the invariant of derived equivalences. The Gorenstein rigidity dimension is compared along the recollements of the stable category of Gorenstein projec…
We introduce the notions of Gorenstein projective $τ$-rigid modules, Gorenstein projective support $τ$-tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi-Iyama-Reiten's bijection theorem on support $τ$-tilting modules. More precisely, for an algebra $Λ$, We prove that there is a bijection between the set of Gorenstein projective support $τ$-tilting modules and the set of functorially finite Gorenstein projective torsion classes. As an application, we introduce the notion of CM-$τ$-tilting finite algebras and show that $Λ$ is CM-$τ$-tilting finite if and only if…
In the paper, we mainly connect the Gorenstein derived equivalence and stable functors of Gorenstein projective modules. Specially, we prove that a Gorenstein derived equivalence between CM-finite algebras A and B can induce a stable functor between the factor categories A-mod/A-Gproj and B-mod\B-Gproj. Furthermore, the above stable functor is an equivalence when A and B are Gorenstein.
The category ${\rm gp}(Λ)$ of Gorenstein-projective modules over tensor algebra $Λ= A\otimes_kB$ can be described as the monomorphism category ${\rm mon}(B, {\rm gp}(A))$ of $B$ over ${\rm gp}(A)$. In particular, Gorenstein-projective $Λ$-modules are monic. In this paper, we find the similar relation between semi-Gorenstein-projective $Λ$-modules and $A$-modules, via monic modules, namely, ${\rm mon}(B, \ ^\perp A) = {\rm mon}(B, A)\cap \ ^\perp Λ.$ Using this, it is proved that if $A$ is weakly Gorenstein, then $Λ$ is weakly Gorenstein if and only each semi-Gorenstein-projective $Λ$-modules a…
It is a well-known result of Auslander and Reiten that contravariant finiteness of the class $\mathcal{P}^{\mathrm{fin}}_\infty$ (of finitely generated modules of finite projective dimension) over an Artin algebra is a sufficient condition for validity of finitistic dimension conjectures. Motivated by the fact that finitistic dimensions of an algebra can alternatively be computed by Gorenstein projective dimension, in this work we examine the Gorenstein counterpart of Auslander--Reiten condition, namely contravariant finiteness of the class $\mathcal{GP}^{\mathrm{fin}}_\infty$ (of finitely gen…
Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the global dimension of $B$ is finite, we give a more precise description of finitely presented Gorenstein projective $A\otimes_k B$-modules.
Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, we show: if a short local algebra $A$ has an indecomposable non-projective Gorenstein-projective module $M$, then either $A$ is self-injective (so that all modules are Gorenstein-projective) and then $|J^2| \le 1$, or else $|J^2| = |J/J^2| - 1$ and $|JM| = |J^2||M/JM|$. More generally, we focus the attention to semi-Gorenstein-projective and $\infty$-torsionfree modules…
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 study totally acyclic complexes of projective modules over triangular matrix rings and then use it to classify Gorenstein projective modules over such rings. We also use this classification to obtain some information concerning Cohen-Macaulay finite and virtually Gorenstein triangular matrix artin algebras.
In the paper, we investigate the lifting of recollements with respect to Gorenstein-projective modules. Specifically, a homological ring epimorphism can induce a lifting of the recollement of the stable category of finitely generated Gorenstein-projective modules; the recollement of the bounded Gorenstein derived categories of some upper triangular matrix algebras can be lifted to the homotopy category of Gorenstein-projective modules. As a byproduct, we give a sufficient and necessary condition on the upper triangular matrix algebra T_{n}(A) to be of finite CM-type for an algebra A of finite …
For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.
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$.
(Partial) Gorenstein silting modules are introduced and investigated. It is shown that for finite dimensional algebras of finite CM-type, partial Gorenstein silting modules are in bijection with τ_G-rigid modules; Gorenstein silting modules are the module-theoretic counterpart of 2-term Gorenstein silting complexes; and the relation between 2-term Gorenstein silting complexes, t-structures and torsion pairs in module categories. Furthermore, the corresponding version of the classical Brenner-Butler theorem in this setting are characterised; and the upper bound of the global dimension of endomo…
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…
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gor…
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 give a construction of Gorenstein projective $τ$-tilting modules in terms of tensor products of modules. As a consequence, we give a class of non-self-injective algebras admitting non-trivial Gorenstein projective $τ$-tilting modules. Moreover, we show that a finite dimensional algebra $Λ$ over an algebraically closed field is $CM$-$τ$-tilting finite if $T_n(Λ)$ is $CM$-$τ$-tilting finite which gives a partial answer to a question on $CM$-$τ$-tilting finite algebras posed by Xie and Zhang.
It is shown that a 4-recollement of derived categories of CM-finite algebras induces a 2-recollement of the corresponding Cohen-Macaulay Auslander algebras, which generalises the main theorem of Pan [S. Y. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra 216 (2012), 355{363]. Moreover, both Auslander- Reiten conjecture and Gorenstein projective conjecture are shown invariant under 3 (or 4)-recollement of unbounded derived categories of algebras.
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.
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 a $k$-algebra $A$, a quiver $Q$, and an ideal $I$ of $kQ$ generated by monomial relations, let $Λ: = A\otimes_k kQ/I$. We introduce the monic representations of $(Q, I)$ over $A$. We give properties of the structural maps of monic representations, and prove that the category ${\rm mon}(Q, I, A)$ of the monic representations of $(Q, I)$ over $A$ is a resolving subcategory of ${\rm rep}(Q, I, A)$. We introduce the condition ${\rm(G)}$. The main result claims that a $\m$-module is Gorenstein-projective if and only if it is a monic module satisfying ${\rm(G)}$. As consequences, the monic $\m$-…
Let $A$ be an Artin algebra, $M$ be a Gorenstein projective $A$-module and $B =$ End$_A M$, then $M$ is a $A$-$B$-bimodule. We use the restricted flat dimension of $M_B$ to give a characterization of the homological dimensions of $A$ and $B$, and obtain the following main results: (1) if $A$ is a CM-finite algebra with $\cal GP$($A$) = add$_AE$ and fin.dim $A \geq 2,$ then ${\rm fin.dim}\ B \leq {\rm fin.dim}\ A + {\rm rfd}(M_B) +{\rm pd}_B{\rm Hom}_A(M, E);$ (2) If $A$ is a CM-finite $n$-Gorenstein algebra with $\cal GP$($A$) = add$_AE$ and $n \geq 2$, then gl.dim $B \leq n + {\rm pd}_B{\rm H…
Dualities of resolving subcategories of finitely generated modules over Artin algebras are characterized as dualities with respect to Wakamatsu tilting bimodules. By restriction of these dualities to resolving subcategories of finitely generated modules with finite projective or Gorenstein-projective dimensions, Miyashita's duality and Huisgen-Zimmermann's correspondence on tilting modules as well as their Gorenstein version are obtained. Applications include constructing triangle equivalences of derived categories of finitely generated Gorenstein-projective modules and showing the invariance …
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let $\mathcal{C}$ be an extriangulated category and $ξ$ a proper class in $\mathcal{C}$. We prove that $\mathcal{C}$ admits a new extriangulated structure. This construction gives extriangulated categories which are neither exact categories nor triangulated categories. Moreover, we introduce and study $ξ$-Gorenstein projective objects in $\mathcal{C}$ and demonstrate that …
Let $Λ$ be an Auslander's 1-Gorenstein Artinian algebra with global dimension two. If $Λ$ admits a trivial maximal 1-orthogonal subcategory of $\modΛ$, then for any indecomposable module $M \in \mod Λ$, we have that the projective dimension of $M$ is equal to one if and only if so is its injective dimension and that $M$ is injective if the projective dimension of $M$ is equal to two. In this case, we further get that $Λ$ is a tilted algebra.
Given a finite dimensional algebra $A$ over a field $k$, and a finite acyclic quiver $Q$, let $Λ= A\otimes_k kQ/I$, where $kQ$ is the path algebra of $Q$ over $k$ and $I$ is a monomial ideal. We show that $(\mathcal X,\mathcal Y)$ is a (complete) hereditary cotorsion pair in $A$-mod if and only if $({\rm smon}(Q,I,\mathcal X), {\rm rep}(Q,I,\mathcal Y))$ is a (complete) hereditary cotorsion pair in $Λ$-mod. We also show that $A$ is left weakly Gorenstein if and only if so is $Λ$. Provided that $kQ/I$ is non-semisimple, the category $^{\perp}Λ$ of semi-Gorenstein-projective $Λ$-modules coincide…
Gorenstein homological algebra is a kind of relative homological algebra which has been developed to a high level since more than four decades. In this report we review the basic theory of Gorenstein homological algebra of artin algebras. It is hoped that such a theory will help to understand the famous Gorenstein symmetric conjecture of artin algebras. With only few exceptions all the results in this report are contained in the existing literature. We have tried to keep the exposition as self-contained as possible. This report can be viewed as a preparation for learning the newly developed th…
Let $\mathbf{k}$ be a field of arbitrary characteristic, let $Λ$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable Gorenstein-projective $Λ$-module with finite dimension over $\mathbf{k}$. It follows that $V$ has a well-defined versal deformation ring $R(Λ, V)$, which is complete local commutative Noetherian $\mathbf{k}$-algebra with residue field $\mathbf{k}$, and which is universal provided that the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. We prove that if $Λ$ is a monomial algebra without overlaps, then $R(Λ,V)$ is universal and isomorphic …
Let $\mathbf{k}$ be a field of arbitrary characteristic, let $Λ$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be a finitely generated $Λ$-module. F. M. Bleher and the third author previously proved that $V$ has a well-defined versal deformation ring $R(Λ,V)$. If the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$, they also proved under the additional assumption that $Λ$ is self-injective that $R(Λ,V)$ is universal. In this paper, we prove instead that if $Λ$ is arbitrary but $V$ is Gorenstein-projective then $R(Λ,V)$ is also universal when the stable endomorphism ri…
