(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 endomorphism algebras of 2-term Gorenstein silting complexes over an algebra A are also characterised by terms of the Gorenstein global dimension of A.
In the paper, we focus on the silting properties and the combinatorial properties of silting and Gorenstein, which is called Gorenstein silting, where the main tools used are recollements of module categories and tensor products. For a ring A and its idempotent ideal J, we show that an A/J-module T is a silting A-module if and only if T is a silting A/J-module. For the finite dimensional k-algebras, with k a field, we show that the tensor products of silting modules are still silting. We also show that the (partial) Gorenstein silting properties can be glued by the recollements of module categ…
We study equivalences induced by a silting module $T$ or, equivalently, by a complex of projectives $\mathbb{P}$, concentrated in $-1$ and $0$ which is silting in the derived category $\mathbf{D}(R)$ of a ring $R$.
In this paper, we introduce the notion of $ν$-stable silting-discrete algebras, which unify silting-discrete algebras and tilting-discrete self-injective algebras, where $ν$ is a triangle auto-equivalence of the bounded homotopy category of finitely generated projective modules. Moreover, we give an example of tilting-discrete self-injective algebras which are not silting-discrete.
In this paper, we consider the singularity category $D_{sg}(\mod A)$ and the $\mathbb{Z}$-graded singularity category $D_{sg}(\mod^{\mathbb Z} A)$ for a Gorenstein monomial algebra $A$. Firstly, for a positively graded $1$-Gorenstein algebra, we prove that its ${\mathbb Z}$-graded singularity category admits silting objects. Secondly, for $A=KQ/I$ being a Gorenstein monomial algebra, we prove that $D_{sg}(\mod^{\mathbb Z} A)$ has tilting objects. As a consequence, $D_{sg}(\mod^{\mathbb Z}A)$ is triangulated equivalent to the derived category of a hereditary algebra $H$ which is of finite repre…
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.
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…
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 …
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.
We will prove that over commutative rings the silting property of $2$-term complexes induced by morphisms between projective modules is preserved and reflected by faithfully flat extensions.
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.
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…
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 …
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…
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…
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…
We consider the equivalence from the stable module category to a subcategory $\mathcal{L}_A$ of the homotopy category constructed by Kato. This equivalence induces a correspondence between distinguished triangles in the homotopy category and perfect exact sequences in the module category. We show that an exact equivalence between categories $\mathcal{L}_A$ and $\mathcal{L}_B$ induces a stable equivalence of Morita type between two finite dimensional algebra A and B under a separability assumption. Moreover, we provide further sufficient conditions for a stable equivalence induced by an exact f…
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…
In \cite{SSZ}, the authors proved that an Artin algebra $A$ with infinite global dimension has an indecomposable module with infinite projective and infinite injective dimension, giving a new characterisation of algebras with finite global dimension. We prove in this article that an Artin algebra $A$ that is not Gorenstein has an indecomposable $A$-module with infinite Gorenstein projective dimension and infinite Gorenstein injective dimension, which gives a new characterisation of algebras with finite Gorenstein dimension. We show that this gives a proper generalisation of the result in \cite…
For $Λ$ a selfinjective algebra, and $Q$ a finite quiver without oriented cycles, the algebra $ΛQ$ is a Gorenstein algebra and the category ${\rm Gproj}ΛQ$ of Gorenstein-projective $ΛQ$-modules is a Frobenius category. For a sink $v$ of $Q$, we define a functor $F(v) : \underline{\rm Gproj}ΛQ\to \underline{\rm Gproj}ΛQ(v)$ between the stable categories modulo projectives, where $Q(v)$ is obtained from $Q$ by changing the direction of each arrow ending in $v$. The functor is given by an explicit construction on the level of objects and homomorphisms. Our main result states that $F(v)$ is an equ…
We prove that a finite dimensional algebra $A$ with representation-finite subcategory consisting of modules that are semi-Gorenstein-projective and $n$-th syzygy modules is left weakly Gorenstein. This generalises a theorem of Ringel and Zhang who proved the result in the case $n=1$. As an application we show that monomial algebras and endomorphism rings of modules over representation-finite algebras are weakly Gorenstein. We then give a new connection between the theory of dominant dimension and Gorenstein homological algebra for gendo-symmetric algebras. As an application, we will see that t…
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.
Let $\mathbf{k}$ be a fixed field of arbitrary characteristic, and let $Λ$ be a finite dimensional $\mathbf{k}$-algebra. Assume that $V$ is a left $Λ$-module of finite dimension over $\mathbf{k}$. F. M. Bleher and the author previously proved that $V$ has a well-defined versal deformation ring $R(Λ,V)$ which is a local complete commutative Noetherian ring with residue field isomorphic to $\mathbf{k}$. Moreover, $R(Λ,V)$ is universal if the endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. In this article we prove that if $Λ$ is a basic connected cycle Nakayama algebra without simple modu…
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…
Let $\mathbf{k}$ be a field of arbitrary characteristic, let $Λ$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable finitely generated non-projective Gorenstein-projective left $Λ$-module whose stable endomorphism ring is isomorphic to $\mathbf{k}$. In this article, we prove that the universal deformation rings $R(Λ,V)$ and $R(Λ,Ω_ΛV)$ are isomorphic, where $Ω_ΛV$ denotes the first syzygy of $V$ as a left $Λ$-module. We also prove the following result. Assume that $Λ$ is Gorenstein and that $Γ$ is another Gorenstein $\mathbf{k}$-algebra such that there exists $\ell …
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…
For a finite dimensional algebra $Λ$ and a non-negative integer $n$, we characterize when the set $\tilt_nΛ$ of additive equivalence classes of tilting modules with projective dimension at most $n$ has a minimal (or equivalently, minimum) element. This generalize results of Happel-Unger. Moreover, for an $n$-Gorenstein algebra $Λ$ with $n\geq 1$, we construct a minimal element in $\tilt_{n}Λ$. As a result, we give equivalent conditions for a $k$-Gorenstein algebra to be Iwanaga-Gorenstein. Moreover, for an $1$-Gorenstein algebra $Λ$ and its factor algebra $Γ=Λ/(e)$, we show that there is a bij…
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…
