Showing 1–35 of 35 results for author: Hafezi, R

Covering techniques in higher Auslander-Reiten theory

Authors: Javad Asadollahi, Rasool Hafezi, Zohreh Sourani, Razieh Vahed

Abstract: This paper investigates the behavior of $n$-precluster tilting subcategories under the push-down functor in the context of Galois coverings of locally bounded categories. Building on higher Auslander-Reiten theory and covering techniques, we establish that for a locally support-finite category $\mathcal{C}$ with a free group action $G$ on its indecomposables, the push-down functor maps $G$-equivar… ▽ More This paper investigates the behavior of $n$-precluster tilting subcategories under the push-down functor in the context of Galois coverings of locally bounded categories. Building on higher Auslander-Reiten theory and covering techniques, we establish that for a locally support-finite category $\mathcal{C}$ with a free group action $G$ on its indecomposables, the push-down functor maps $G$-equivariant $n$-precluster tilting subcategories of ${\rm mod}\mbox{-}\mathcal{C}$ to $n$-precluster tilting subcategories of ${\rm mod}\mbox{-}(\mathcal{C}/G)$, and vice versa. These results provide a framework for studying $τ_n$-selfinjective algebras. We further prove that ${\rm mod}\mbox{-}\mathcal{C}$ is $n$-minimal Auslander-Gorenstein if and only if ${\rm mod}\mbox{-}(\mathcal{C}/G)$ is so, under square-free conditions on $\mathcal{C}/G$. Additionally, we analyze support $τ_n$-tilting pairs via the push-down functor, showing that locally $τ_n$-tilting finiteness is preserved under Galois coverings. Our work offers new insights into the interplay between higher homological algebra and covering theory in representation-finite contexts. △ Less

Submitted 19 June, 2025; originally announced June 2025.

Comments: Any comments are welcome

On the monomorphism category of large modules

Authors: Rasool Hafezi, Javad Asadollahi, Razieh Vahed, Yi Zhang

Abstract: Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented $R$-modules. Several equivalences and dualities will be presented. Our results highlight the role of pure-injective modules in studying the homological properties o… ▽ More Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented $R$-modules. Several equivalences and dualities will be presented. Our results highlight the role of pure-injective modules in studying the homological properties of functor categories. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Comments: Comments are welcome

MSC Class: 18A25; 16G70; 16D90

$τ$-tilting theory via the morphism category of projective modules I: ICE-closed subcategories

Authors: Rasool Hafezi, Alireza Nasr-Isfahani, Jiaqun Wei

Abstract: This paper endeavors to explore certain distinguished modules and subcategories within mod$Λ$. Let $\mathrm{proj}\mbox{-}Λ$ denote the category of all finitely generated projective $Λ$-modules and define $\mathcal{P}(Λ):=\mathrm{Mor}(\mathrm{proj}\mbox{-}Λ)$. Due to the favorable homological properties of $\mathcal{P}(Λ)$, we initially examine several noteworthy objects and subcategories of… ▽ More This paper endeavors to explore certain distinguished modules and subcategories within mod$Λ$. Let $\mathrm{proj}\mbox{-}Λ$ denote the category of all finitely generated projective $Λ$-modules and define $\mathcal{P}(Λ):=\mathrm{Mor}(\mathrm{proj}\mbox{-}Λ)$. Due to the favorable homological properties of $\mathcal{P}(Λ)$, we initially examine several noteworthy objects and subcategories of $\mathcal{P}(Λ)$, subsequently relating these findings to ${\rm mod}Λ$. We demonstrate the existence of a bijection between tilting objects of $\mathcal{P}(Λ)$ and support $τ$-tilting $Λ$-modules. This bijection further suggests a correspondence between tilting objects of $\mathcal{P}(Λ)$ that possess a specific direct summand and $τ$-tilting $Λ$-modules. We establish a bijection between two-term silting complexes within $\mathbb{K}^{b}({\rm proj}\mbox{-}Λ)$ and tilting objects of $\mathcal{P}(Λ)$. Following our examination of Image-Cokernel-Extension closed (hereafter referred to as ICE-closed) subcategories of $\mathcal{P}(Λ)$, we demonstrate a bijection between rigid objects in $\mathcal{P}(Λ)$ and ICE-closed subcategories of $\mathcal{P}(Λ)$ with enough Ext-projectives. Subsequently, we present bijections linking rigid objects in $\mathcal{P}(Λ)$ with a designated direct summand, $τ$-rigid pairs within ${\rm mod}Λ$, and ICE-closed subcategories of $\mathcal{P}(Λ)$ that contain a special object and also have enough Ext-projectives. In order to translate the concept of ICE-closed subcategory from $\mathcal{P}(Λ)$ to ${\rm mod}Λ$, it is necessary to introduce the framework of ICE-closed subcategories of ${\rm mod}Λ$ relative to a projective module. △ Less

Submitted 23 October, 2024; originally announced October 2024.

MSC Class: 18A25; 18E40; 16G20; 16G99

Strong Purity and Phantom Morphisms

Authors: R. Hafezi, J. Asadollahi, S. Sadeghi, Y. Zhang

Abstract: Let $R$ be a commutative ring and $S \subseteq R$ be a multiplicative subset. We introduce and study the concept of $S$-purity based on the notion of $S$-strongly flat modules. The class of $S$-pure injective modules will be studied. We demonstrate that this class is enveloping and explore its closedness under extension. The concept of purity is closely connected to the existence of phantom maps.… ▽ More Let $R$ be a commutative ring and $S \subseteq R$ be a multiplicative subset. We introduce and study the concept of $S$-purity based on the notion of $S$-strongly flat modules. The class of $S$-pure injective modules will be studied. We demonstrate that this class is enveloping and explore its closedness under extension. The concept of purity is closely connected to the existence of phantom maps. So we will delve into the study of the $S$-phantom morphisms. We will establish that the $S$-phantom ideal is a precovering ideal and examine the situations where it becomes a covering ideal. Finally, in the last section, we will investigate an ideal version of the `Optimistic Conjecture', raised by Positselski and Slávik. △ Less

Submitted 13 October, 2024; originally announced October 2024.

MSC Class: 13B30; 13C60; 13D07; 13D09; 13C11

G-semisimple algebras

Authors: Rasool Hafezi, Abdolnaser Bahlekeh

Abstract: Let $Λ$ be an Artin algebra and ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}Λ)$ the category of finitely presented functors over the stable category ${\underline{\mathsf{Gprj}}}\mbox{-}Λ$ of finitely generated Gorenstein projective $Λ$-modules. This paper deals with those algebras $Λ$ in which ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}Λ)$ is a semisimple abelian c… ▽ More Let $Λ$ be an Artin algebra and ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}Λ)$ the category of finitely presented functors over the stable category ${\underline{\mathsf{Gprj}}}\mbox{-}Λ$ of finitely generated Gorenstein projective $Λ$-modules. This paper deals with those algebras $Λ$ in which ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}Λ)$ is a semisimple abelian category, and we call G-semisimple algebras. We study some basic properties of such algebras. In particular, it will be observed that the class of G-semisimple algebras contains important classes of algebras, including gentle algebras and more generally quadratic monomial algebras. Next, we construct an epivalence from the stable category of Gorenstein projective representations $\underline{\mathsf{Gprj}}(\mathcal{Q}, Λ)$ of a finite acyclic quiver $\mathcal{Q}$ to the category of representations ${\rm rep}(\mathcal{Q}, \underline{\mathsf{Gprj}}\mbox{-} Λ)$ over $\underline{\mathsf{Gprj}}\mbox{-} Λ)$, provided $Λ$ is a G-semisimple algebra over an algebraic closed field. Using this, we will show that the path algebra $Λ\mathcal{Q}$ of the G-semisimple algebra $Λ$ is Cohen-Macaulay finite if and only if $\mathcal{Q}$ is Dynkin. In the last part, we provide a complete classification of indecomposable Gorenstein projective representations within ${\mathsf{Gprj}}(A_n, Λ)$ of the linear quiver $A_n$ over a G-semisimple algebra $Λ$. We also determine almost split sequences in ${\mathsf{Gprj}}(A_n, Λ)$ with certain ending terms. We apply these results to obtain insights into the cardinality of the components of the stable Auslander-Reiten quiver ${\mathsf{Gprj}}(A_n, Λ)$. △ Less

Submitted 8 March, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: This paper is an enhanced version of the paper with arXiv identifier:2109.00467. A correction has been made in Section 4

2-categorical approach to unifying constructions of precoverings and its applications

Authors: Rasool Hafezi, Hideto Asashiba, Mohammad Hossein Keshavarz

Abstract: Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies many similar constructions of $G$-precoverings. Now let $\mathcal{C}$ be a skeletally small category with a $G$-action, $\mathcal{C}/G$ the orbit category of… ▽ More Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies many similar constructions of $G$-precoverings. Now let $\mathcal{C}$ be a skeletally small category with a $G$-action, $\mathcal{C}/G$ the orbit category of $\mathcal{C}$, $(P, φ) : \mathcal{C} \rightarrow \mathcal{C}/G$ the canonical $G$-covering, and $\mathrm{mod}\mbox{-} \mathcal{C}$, $\mathrm{mod}\mbox{-} (\mathcal{C}/G)$ the categories of finitely generated modules over $\mathcal{C}, \mathcal{C}/G$, respectively. Then it is well known that there exists a canonical G-precovering $(P., φ.) : \mathrm{mod}\mbox{-} \mathcal{C} \rightarrow \mathrm{mod}\mbox{-} (\mathcal{C}/G)$. By applying the machinery above to this $(P., φ.)$, new $G$-precoverings $(\mathrm{mod}\mbox{-} \mathcal{C}) / S \rightarrow (\mathrm{mod}\mbox{-} \mathcal{C}/G)/S'$ are induced between the factor categories or localizations of $\mathrm{mod}\mbox{-} \mathcal{C}$ and $\mathrm{mod}\mbox{-} \mathcal{C}/G$, respectively. This is further applied to the morphism category $\mathrm{H}(\mathrm{mod}\mbox{-} \mathcal{C})$ of $\mathrm{mod}\mbox{-} \mathcal{C}$ to have a $G$-precovering $\mathrm{fp}(\mathcal{K}) \rightarrow \mathrm{fp}(\mathcal{K}')$ between the categories of finitely presented modules over suitable subcategories $\mathcal{K}$ and $\mathcal{K}'$ of $\mathrm{mod}\mbox{-}\mathcal{C}$ and $ \mathrm{mod}\mbox{-} \mathcal{C}/G$, respectively. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Relative Higher Homology and Representation Theory

Authors: Rasool Hafezi, Javad Asadollahi, Yi Zhang

Abstract: Higher homological algebra, basically done in the framework of an $n$-cluster tilting subcategory $\mathcal{M}$ of an abelian category $\mathcal{A}$, has been the topic of several recent researches. In this paper, we study a relative version, in the sense of Auslander-Solberg, of the higher homological algebra. To this end, we consider an additive sub-bifunctor $F$ of… ▽ More Higher homological algebra, basically done in the framework of an $n$-cluster tilting subcategory $\mathcal{M}$ of an abelian category $\mathcal{A}$, has been the topic of several recent researches. In this paper, we study a relative version, in the sense of Auslander-Solberg, of the higher homological algebra. To this end, we consider an additive sub-bifunctor $F$ of $\mathrm{Ext}^n_{\mathcal{M}}( -,-)$ as the basis of our relative theory. This, in turn, specifies a collection of $n$-exact sequences in $\mathcal{M}$, which allows us to delve into the relative higher homological algebra. Our results include a proof of the relative $n$-Auslander-Reiten duality formula, as well as an exploration of relative Grothendieck groups, among other results. As an application, we provide necessary and sufficient conditions for $\mathcal{M}$ to be of finite type. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Comments: 30pages. Any comments are all welcome

MSC Class: 18E05; 18G25; 18G15; 18E99; 16E30

The Auslander-Reiten theory of the morphism category of projective modules

Authors: Rasool Hafezi, Jiaqun Wei

Abstract: We investigate the structure of certain almost split sequences in $\mathcal{P}(Λ)$, i.e., the category of morphisms between projective modules over an Artin algebra $Λ$. The category $\mathcal{P}(Λ)$ has very nice properties and is closely related to $τ$-tilting theory, $g$-vectors, and Auslander-Reiten theory. We provide explicit constructions of certain almost split sequences ending at or starti… ▽ More We investigate the structure of certain almost split sequences in $\mathcal{P}(Λ)$, i.e., the category of morphisms between projective modules over an Artin algebra $Λ$. The category $\mathcal{P}(Λ)$ has very nice properties and is closely related to $τ$-tilting theory, $g$-vectors, and Auslander-Reiten theory. We provide explicit constructions of certain almost split sequences ending at or starting from certain objects. Applications, such as to $g$-vectors, are given. As a byproduct, we also show that there exists an injection from Morita equivalence classes of Artin algebras to equivalence classes of 0-Auslander exact categories. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Comments: Any comments are welcome

From Morphism Categories to Functor Categories

Authors: Rasool Hafezi, Hossein Eshraghi

Abstract: For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over $\mathcal{C}$ with values in Abelian groups. The main theme of this paper, is to translate some representation-theoretic attributes back and forth from one category to… ▽ More For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over $\mathcal{C}$ with values in Abelian groups. The main theme of this paper, is to translate some representation-theoretic attributes back and forth from one category to the other. This process is done by using an appropriate functor between these two categories, an approach which seems quite promising in particular when we show that many of almost split sequences are preserved by this functor. We apply our results to the case of wide subcategories of module categories to obtain certain auto-equivalences over them. Another part of the paper deals with Auslander algebras arising from algebras of finite representation type. In fact, we apply our results to study the Auslander-Reiten translates of simple modules over such algebras. In the last parts, we try to recognize particular components in the stable Auslander-Reiten quiver of Auslander algebras arising from self-injective algebras of finite representation type. △ Less

Submitted 30 July, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 29 pages, an improved version of a paper with the same title, which was submitted before

MSC Class: 18A25 (Primary) 16G70; 16G10 (Secondary)

On the stable Auslander-Reiten components of certain monomorphism categories

Authors: Rasool Hafezi, Yi Zhang

Abstract: Let $Λ$ be an Artin algebra and let $\rm{Gprj}\mbox{-}Λ$ denote the class of all finitely generated Gorenstein projective $Λ$-modules. In this paper, we study the components of the stable Auslander-Reiten quiver of a certain subcategory of the monomorphism category $\mathcal{S}({\rm Gprj}\mbox{-}Λ)$ containing boundary vertices. We describe the shape of such components. It is shown that certain co… ▽ More Let $Λ$ be an Artin algebra and let $\rm{Gprj}\mbox{-}Λ$ denote the class of all finitely generated Gorenstein projective $Λ$-modules. In this paper, we study the components of the stable Auslander-Reiten quiver of a certain subcategory of the monomorphism category $\mathcal{S}({\rm Gprj}\mbox{-}Λ)$ containing boundary vertices. We describe the shape of such components. It is shown that certain components are linked to the orbits of an auto-equivalence on the stable category $\underline{\rm{Gprj}}\mbox{-}Λ$. In particular, for the finite components, we show that under certain mild conditions their cardinalities are divisible by $3$. We see that this three-periodicity phenomenon reoccurs several times in the paper. △ Less

Submitted 20 January, 2023; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 26pages. Accepted by Science China Math

MSC Class: 16G20; 16E65; 16G70; 16G10

When stable Cohen-Macaulay Auslander algebra is semisimple

Authors: Rasool Hafezi

Abstract: Let $\text{Gprj}\mbox{-}Λ$ denote the category of Gorenstein projective modules over an Artin algebra $Λ$ and the category $\text{mod}\mbox{-} (\underline{\text{Gprj}}\mbox{-}Λ)$ of finitely presented functors over the stable category $\underline{\text{Gprj}}\mbox{-}Λ$. In this paper, we study those algebras $Λ$ with $\text{mod}\mbox{-} (\underline{\text{Gprj}}\mbox{-}Λ)$ to be a semisimple abelia… ▽ More Let $\text{Gprj}\mbox{-}Λ$ denote the category of Gorenstein projective modules over an Artin algebra $Λ$ and the category $\text{mod}\mbox{-} (\underline{\text{Gprj}}\mbox{-}Λ)$ of finitely presented functors over the stable category $\underline{\text{Gprj}}\mbox{-}Λ$. In this paper, we study those algebras $Λ$ with $\text{mod}\mbox{-} (\underline{\text{Gprj}}\mbox{-}Λ)$ to be a semisimple abelian category, and called $Ω_{\mathcal{G}}$-algebras. The class of $Ω_{\mathcal{G}}$-algebras contains important classes of algebras, including gentle algebras. Over an $Ω_{\mathcal{G}}$-algebra $Λ$, the structure of the almost split sequences in the morphism categories $\text{H}(\text{Gprj}\mbox{-}Λ)$ and the monomorphism categories $\mathcal{S}(\text{Gprj}\mbox{-}Λ)$ of $\text{Gprj}\mbox{-}Λ$ is investigated. Among other applications, we provide some results for the Cohen-Macaulay Auslander algebras of $Ω_{\mathcal{G}}$-algebras. △ Less

Submitted 2 September, 2021; v1 submitted 1 September, 2021; originally announced September 2021.

Determination of some almost split sequences in morphism categories

Authors: Rasool Hafezi, Hossein Eshraghi

Abstract: Almost split sequences lie in the heart of Auslander-Reiten theory. This paper deals with the structure of almost split sequences with certain ending terms in the morphism category of an Artin algebra $Λ$. Firstly we try to interpret the Auslander-Reiten translates of particular objects in the morphism category in terms of the Auslander-Reiten translations within the category of $Λ$-modules, and t… ▽ More Almost split sequences lie in the heart of Auslander-Reiten theory. This paper deals with the structure of almost split sequences with certain ending terms in the morphism category of an Artin algebra $Λ$. Firstly we try to interpret the Auslander-Reiten translates of particular objects in the morphism category in terms of the Auslander-Reiten translations within the category of $Λ$-modules, and then use them to calculate almost split sequences. In classical representation theory of algebras, it is quite important to recognize the midterms of almost split sequences. As such, another part of the paper is devoted to discuss the midterm of certain almost split sequences in the morphism category of $Λ$. As an application, we restrict in the last part of the paper to self-injective algebras and present a structural theorem that illuminates a link between representation-finite morphism categories and Dynkin diagrams. △ Less

Submitted 19 June, 2022; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: Hossein Eshraghi has joined as a new collaborator. A major revision, title, abstract and introduction completely changed, adding some new results

Covering theory, (mono)morphism categories and stable Auslander algebras

Authors: Rasool Hafezi, Elham Mahdavi

Abstract: Let $\mathcal{A}$ be a locally bounded $k$-category and $G$ a torsion-free group of $k$-linear automorphisms of $\mathcal{A}$ acting freely on the objects of $\mathcal{A},$ and $F:\mathcal{A}\rightarrow \mathcal{B}$ is a Galois functor. We extend naturally the push-down functor $F_λ$ to the functor… ▽ More Let $\mathcal{A}$ be a locally bounded $k$-category and $G$ a torsion-free group of $k$-linear automorphisms of $\mathcal{A}$ acting freely on the objects of $\mathcal{A},$ and $F:\mathcal{A}\rightarrow \mathcal{B}$ is a Galois functor. We extend naturally the push-down functor $F_λ$ to the functor $\rm{H}\rm{F}_λ:\rm{H}(\rm{mod}\mbox{-} \mathcal{A})\rightarrow \rm{H}(\rm{mod}\mbox{-} \mathcal{B})$, resp. $\mathcal{S} \rm{F}_λ:\mathcal{S}(\rm{mod}\mbox{-} \mathcal{A})\rightarrow \mathcal{S}(\rm{mod}\mbox{-} \mathcal{B})$, between the corresponding morphism categories, resp. monomorphism categories, of $\rm{mod}\mbox{-} \mathcal{A}$ and $\rm{mod}\mbox{-} \mathcal{B}$. Under some additional conditions, we show that $\rm{H}(\rm{mod}\mbox{-}\mathcal{A})$, resp. $\mathcal{S}( \rm{mod}\mbox{-}\mathcal{A})$, is locally bounded if and only if $\rm{H}(\rm{mod}\mbox{-} \mathcal{B})$, resp. $\mathcal{S}(\rm{mod}\mbox{-}\mathcal{B})$, is of finite representation type. As an application, we show that the stable Auslander algebra of a representation-finite selfinjective algebra $Λ$ is again representation-finite if and only if $Λ$ is of Dynkin type $\mathbb{A}_{n}$ with $n\leqslant 4$. △ Less

Submitted 30 May, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: A few errors have been fixed. The paper is dedicated to the memory of Professor Andrzej Skowronski

On the Monomorphism Category of $n$-Cluster Tilting Subcategories

Authors: Javad Asadollahi, Rasool Hafezi, Somayeh Sadeghi

Abstract: Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}Λ$, where $Λ$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(Λ)$, the submodule category of $Λ$, consisting of all monomorphisms in $\mathcal{M}$. We construct two functors from $\mathcal{S}(\mathcal{M})$ to ${\rm mod}\mbox{-}\underline{\mathcal{M}}$, the category of finit… ▽ More Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}Λ$, where $Λ$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(Λ)$, the submodule category of $Λ$, consisting of all monomorphisms in $\mathcal{M}$. We construct two functors from $\mathcal{S}(\mathcal{M})$ to ${\rm mod}\mbox{-}\underline{\mathcal{M}}$, the category of finitely presented (coherent) additive contravariant functors on the stable category of $\mathcal{M}$. We show that these functors are full, dense and objective. So they induce equivalences from the quotient categories of the submodule category of $\mathcal{M}$ modulo their respective kernels. Moreover, they are related by a syzygy functor on the stable category of ${\rm mod}\mbox{-}\underline{\mathcal{M}}$. These functors can be considered as a higher version of the two functors studied by Ringel and Zhang [RZ] in the case $Λ=k[x]/{\langle x^n \rangle}$ and generalized later by Eiríksson [E] to self-injective artin algebras. Several applications will be provided. △ Less

Submitted 10 August, 2020; originally announced August 2020.

MSC Class: 18E99; 18E10; 18G25; 16D90

Relative Singularity categories and singular equivalences

Authors: Rasool Hafezi

Abstract: Let $R$ be a right notherian ring. We introduce the concept of relative singularity category $Δ_{\mathcal{X}}(R)$ of $R$ with respect to a contravariantly finite subcategory $\mathcal{X}$ of $\rm{mod}\mbox{-}R.$ Along with some finiteness conditions on $\mathcal{X}$, we prove that $Δ_{\mathcal{X}}(R)$ is triangle equivalent to a subcategory of the homotopy category… ▽ More Let $R$ be a right notherian ring. We introduce the concept of relative singularity category $Δ_{\mathcal{X}}(R)$ of $R$ with respect to a contravariantly finite subcategory $\mathcal{X}$ of $\rm{mod}\mbox{-}R.$ Along with some finiteness conditions on $\mathcal{X}$, we prove that $Δ_{\mathcal{X}}(R)$ is triangle equivalent to a subcategory of the homotopy category $\mathbb{K}_{\rm{ac}}(\mathcal{X})$ of exact complexes over $\mathcal{X}$. As an application, a new description of the classical singularity category $\mathbb{D}_{\rm{sg}}(R)$ is given. The relative singularity categories are applied to lift a stable equivalence between two suitable subcategories of the module categories of two given right notherian ring to get a singular equivalence between the rings. In different types of rings, including path rings, triangular matrix rings, trivial extension rings and tensor rings, we provide some consequences for their singularity categories. △ Less

Submitted 5 April, 2020; v1 submitted 15 March, 2020; originally announced March 2020.

Comments: Minor revision, adding some more references

A functorial approach to categorical resolutions

Authors: R. Hafezi, M. H. Keshavarz

Abstract: Using a relative version of Auslander's formula, we give a functorial approach to show that the bounded derived category of every Artin algebra admits a categorical resolution. This, in particular, implies that the bounded derived categories of Artin algebras of finite global dimension determine bounded derived categories of all Artin algebras. Hence, this paper can be considered as a typical appl… ▽ More Using a relative version of Auslander's formula, we give a functorial approach to show that the bounded derived category of every Artin algebra admits a categorical resolution. This, in particular, implies that the bounded derived categories of Artin algebras of finite global dimension determine bounded derived categories of all Artin algebras. Hence, this paper can be considered as a typical application of functor categories, introduced in representation theory by Auslander, to categorical resolutions. △ Less

Submitted 28 October, 2019; originally announced October 2019.

Comments: Accepted for publications in Science China Mathematics, October 23, 2019. arXiv admin note: substantial text overlap with arXiv:1701.00073

Different exact structures on the monomorphism categories

Authors: Rasool Hafezi, Intan Muchtadi-Alamsyah

Abstract: Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}Λ$, the category of finitely generated right $Λ$-modules. We associate to $\mathcal{X}$ the subcategory $\mathcal{S}_{\mathcal{X}}(Λ)$ of the morphism category $\rm{H}(Λ)$ consisting of all monomorphisms $(A\stackrel{f}\rightarrow B)$ with $A, B$ and $\rm{Cok} \ f$ in $\mathcal{\mathcal{X}}$. Since… ▽ More Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}Λ$, the category of finitely generated right $Λ$-modules. We associate to $\mathcal{X}$ the subcategory $\mathcal{S}_{\mathcal{X}}(Λ)$ of the morphism category $\rm{H}(Λ)$ consisting of all monomorphisms $(A\stackrel{f}\rightarrow B)$ with $A, B$ and $\rm{Cok} \ f$ in $\mathcal{\mathcal{X}}$. Since $\mathcal{S}_{\mathcal{X}}(Λ)$ is closed under extensions then it inherits naturally an exact structure from $\rm{H}(Λ)$. We will define two other different exact structures else than the canonical one on $\mathcal{S}_{\mathcal{X}}(Λ)$, and the indecomposable projective (resp. injective) objects in the corresponding exact categories completely classified. Enhancing $\mathcal{S}_{\mathcal{X}}(Λ)$ with the new exact structure provides a framework to construct a triangle functor. Let $\rm{mod}\mbox{-}\underline{\mathcal{X}}$ denote the category of finitely presented functors over the stable category $\underline{\mathcal{X}}$. We then use the triangle functor to show a triangle equivalence between the bounded derived category $\mathbb{D}^{\rm{b}}(\rm{mod}\mbox{-}\underline{\mathcal{X}})$ and a Verdier quotient of the bounded derived category of the associated exact category on $\mathcal{S}_{\mathcal{X}}(Λ)$. Similar consideration is also given for the singularity category of $\rm{mod}\mbox{-}\underline{\mathcal{X}}$. △ Less

Submitted 6 October, 2019; originally announced October 2019.

Comments: 37 pages, any comments are welcome. arXiv admin note: text overlap with arXiv:1802.03683 by other authors

$n\mathbb{Z}$-Gorenstein cluster tilting subcategories

Authors: Javad Asadollahi, Rasool Hafezi, Somayeh Sadeghi

Abstract: Let $Λ$ be an artin algebra. In this paper, the notion of $n\mathbb{Z}$-Gorenstein cluster tilting subcategories will be introduced. It is shown that every $n\mathbb{Z}$-cluster tilting subcategory of ${\rm{mod}}{\mbox{-}}Λ$ is $n\mathbb{Z}$-Gorenstein if and only if $Λ$ is an Iwanaga-Gorenstein algebra. Moreover, it will be shown that an $n\mathbb{Z}$-Gorenstein cluster tilting subcategory of… ▽ More Let $Λ$ be an artin algebra. In this paper, the notion of $n\mathbb{Z}$-Gorenstein cluster tilting subcategories will be introduced. It is shown that every $n\mathbb{Z}$-cluster tilting subcategory of ${\rm{mod}}{\mbox{-}}Λ$ is $n\mathbb{Z}$-Gorenstein if and only if $Λ$ is an Iwanaga-Gorenstein algebra. Moreover, it will be shown that an $n\mathbb{Z}$-Gorenstein cluster tilting subcategory of ${\rm{mod}}{\mbox{-}}Λ$ is an $n\mathbb{Z}$-cluster tilting subcategory of the exact category ${\rm{Gprj}}{\mbox{-}}Λ$, the subcategory of all Gorenstein projective objects of ${\rm{mod}}{\mbox{-}}Λ$. Some basic properties of $n\mathbb{Z}$-Gorenstein cluster tilting subcategories will be studied. In particular, we show that they are $n$-resolving, a higher version of resolving subcategories. △ Less

Submitted 29 July, 2019; originally announced July 2019.

MSC Class: 18E10; 18E30; 16E65; 16G10; 18E99

From subcategories to the entire module categories

Authors: Rasool Hafezi

Abstract: In this paper we show that how the representation theory of subcategories (of the category of modules over an Artin algebra) can be connected to the representation theory of all modules over some algebra. The subcategories dealing with are some certain subcategories of the morphism categories (including submodule categories studied recently by Ringel and Schmidmeier) and of the Gorenstein projecti… ▽ More In this paper we show that how the representation theory of subcategories (of the category of modules over an Artin algebra) can be connected to the representation theory of all modules over some algebra. The subcategories dealing with are some certain subcategories of the morphism categories (including submodule categories studied recently by Ringel and Schmidmeier) and of the Gorenstein projective modules over (relative) stable Auslander algebras. These two kinds of subcategories, as will be seen, are closely related to each other. To make such a connection, we will define a functor from each type of the subcategories to the category of modules over some Artin algebra. It is shown that to compute the almost split sequences in the subcategories it is enough to do the computation with help of the corresponding functors in the category of modules over some Artin algebra which is known and easier to work. Then as an application the most part of Auslander-Reiten quiver of the subcategories is obtained only by the Ausalander-Reiten quiver of an appropriate algebra and next adding the remaining vertices and arrows in an obvious way. As a special case, whenever $Λ$ is a Gorenstein Artin algebra of finite representation type, then the subcategories of Gorenstein projective modules over the $2 \times 2$ upper triangular matrix algebra over $Λ$ and the stable Auslander algebra of $Λ$ can be estimated by the category of modules over the stable Cohen-Macaulay Auslander algebra of $Λ$. △ Less

Submitted 1 November, 2020; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: Accepted for publication in Forum Mathematicum

A ring theoretic approach to the finite representation type

Authors: Rasool Hafezi

Abstract: An Artin algebra $Λ$ is said to be of finite Cohen-Macaulay type, $\rm{CM}$-finite for short, if the full subcategory $\rm{Gprj}\mbox{-} Λ$ of finitely generated Gorenstein projective $Λ$-modules is of finite representation type. If $Λ$ is a $\rm{CM}$-finite algebra, then we denote by $\rm{Aus}(\underline{\rm{Gprj}}\mbox{-} Λ)$ the stable Cohen-Macaulay Auslander algebra, i.e.… ▽ More An Artin algebra $Λ$ is said to be of finite Cohen-Macaulay type, $\rm{CM}$-finite for short, if the full subcategory $\rm{Gprj}\mbox{-} Λ$ of finitely generated Gorenstein projective $Λ$-modules is of finite representation type. If $Λ$ is a $\rm{CM}$-finite algebra, then we denote by $\rm{Aus}(\underline{\rm{Gprj}}\mbox{-} Λ)$ the stable Cohen-Macaulay Auslander algebra, i.e. $\rm{\underline{End}}_Λ(G)$, where $G $ is a basic representation generator of $\rm{Gprj}\mbox{-}Λ$. In this paper, we will explain how by defining an equivalence relation on the elements of algebra $\rm{Aus}(\underline{\rm{Gprj}}\mbox{-} Λ)$ can be used to give a characterization for $\rm{Aus}(\underline{\rm{Gprj}}\mbox{-} Λ)$ to be of finite representation type, or equivalently, the $\rm{CM}$-finiteness of the algebra of $2 \times 2$ lower triangular matrices over $Λ,$ where $Λ$ is a $\rm{CM}$-finite Artin algebra over an algebraic closed filed. Then, by presenting some examples we will show how our results work. △ Less

Submitted 20 February, 2019; v1 submitted 23 May, 2018; originally announced May 2018.

Comments: We have found some serious errors in the manuscript

On Cohen-Macaulay Auslander algebras

Authors: Rasool Hafezi

Abstract: Cohen-Macaulay Auslander algebras are the endomorphism algebras of representation generators of the subcategory of Gorenstein projective modules over $\rm{CM}$-finite algebras. In this paper, we study Cohen-Macaulay Auslander algebras over $1$-Gorenstein algebras and $Ω_{\mathcal{G}}$-algebras. $1$-Gorenstein algebras are those of algebras with global Gorenstein projective dimension at most one an… ▽ More Cohen-Macaulay Auslander algebras are the endomorphism algebras of representation generators of the subcategory of Gorenstein projective modules over $\rm{CM}$-finite algebras. In this paper, we study Cohen-Macaulay Auslander algebras over $1$-Gorenstein algebras and $Ω_{\mathcal{G}}$-algebras. $1$-Gorenstein algebras are those of algebras with global Gorenstein projective dimension at most one and $Ω_{\mathcal{G}}$-algebras are a class of algebras introduced in this paper, including some important class of algebras for example Gentle algebras and more generally quadratic monomial algebras. It will be shown how the results for Gorenstein projective representations of a quiver over an Artin algebra, including the submodule category introduced in [RS], or more generally, the (separated) monomorphism category defined in [LZh2] and [XZZ], can be applied to study the Cohen-Macaulay Auslander algebras. △ Less

Submitted 1 June, 2022; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: Some of the results of this paper are appeared in arXiv: 2109:00467v2. Some others are included in a joint project on the study of Gorenstein algebras of finite Cohen-Macaulay type, which will appear on the arXiv later

On relative Auslander algebras

Authors: Javad Asadollahi, Rasool Hafezi

Abstract: Relative Auslander algebras were introduced and studied by Beligiannis. In this paper, we apply intermediate extension functors associated to certain recollements of functor categories to study them. In particular, we study the existence of tilting-cotilting modules over such algebras. As a consequence, it will be shown that two Gorenstein algebras of G-dimension 1 being of finite Cohen-Macaulay t… ▽ More Relative Auslander algebras were introduced and studied by Beligiannis. In this paper, we apply intermediate extension functors associated to certain recollements of functor categories to study them. In particular, we study the existence of tilting-cotilting modules over such algebras. As a consequence, it will be shown that two Gorenstein algebras of G-dimension 1 being of finite Cohen-Macaulay type are Morita equivalent if and only if their Cohen-Macaulay Auslander algebras are Morita equivalent. △ Less

Submitted 19 November, 2017; originally announced November 2017.

MSC Class: 16G60; 16G50; 18A25; 18G25; 16S50; 16S90

Duality and Serre functor in homotopy categories

Authors: J. Asadollahi, N. Asadollahi, R. Hafezi, R. Vahed

Abstract: For a (right and left) coherent ring $A$, we show that there exists a duality between homotopy categories ${\mathbb{K}}^{\rm{b}}({\rm mod}{\mbox{-}}A^{\rm op})$ and ${\mathbb{K}}^{\rm{b}}({\rm mod}{\mbox{-}}A)$. If $A=Λ$ is an artin algebra of finite global dimension, this duality restricts to a duality between their subcategories of acyclic complexes,… ▽ More For a (right and left) coherent ring $A$, we show that there exists a duality between homotopy categories ${\mathbb{K}}^{\rm{b}}({\rm mod}{\mbox{-}}A^{\rm op})$ and ${\mathbb{K}}^{\rm{b}}({\rm mod}{\mbox{-}}A)$. If $A=Λ$ is an artin algebra of finite global dimension, this duality restricts to a duality between their subcategories of acyclic complexes, ${\mathbb{K}}^{\rm{b}}_{\rm ac}({\rm mod}{\mbox{-}}Λ^{\rm op})$ and ${\mathbb{K}}^{\rm{b}}_{\rm ac}({\rm mod}{\mbox{-}}Λ).$ As a result, it will be shown that, in this case, ${\mathbb{K}}_{\rm ac}^{\rm{b}}({\rm mod}{\mbox{-}}Λ)$ admits a Serre functor and hence has Auslander-Reiten triangles. △ Less

Submitted 25 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1605.04745

MSC Class: 18E30; 16E35; 18G25

Auslander-Reiten duality for subcategories

Authors: Rasool Hafezi

Abstract: Auslander-Reiten duality for module categories is generalized to some sufficiently nice subcategories. In particular, our consideration works for $\mathcal{P}^{<\infty}(Λ)$, the subcategory consisting of finitely generated modules with finite projective dimension over an artin algebra $Λ$, and also, the subcategory of Gorenstein projectove modules of $\rm{mod}\mbox{-}Λ$, denoted by… ▽ More Auslander-Reiten duality for module categories is generalized to some sufficiently nice subcategories. In particular, our consideration works for $\mathcal{P}^{<\infty}(Λ)$, the subcategory consisting of finitely generated modules with finite projective dimension over an artin algebra $Λ$, and also, the subcategory of Gorenstein projectove modules of $\rm{mod}\mbox{-}Λ$, denoted by $\rm{Gprj}\mbox{-}Λ$. In this paper, we give a method to compute the Auslander-Reiten translation in $\mathcal{P}^{<\infty}(Λ)$ whenever $Λ$ is a $1$-Gorenstein algebra. In addition, we characterize when the Auslander-Reiten translation in $\rm{Gprj}\mbox{-}Λ$ is the first syzygy and provide many algebras having such property. △ Less

Submitted 9 December, 2017; v1 submitted 18 May, 2017; originally announced May 2017.

Comments: A major revision, Title, abstract and introduction completely changed, adding some new results

Auslander's Formula for contravariantly finite subcategories

Authors: Javad Asadollahi, Rasool Hafezi, Mohammad H. Keshavarz

Abstract: A relative version of Auslander's formula with respect to a contravariantly finite subcategory will be given. Dual version will be treated. Several examples and applications will be provided. In particular, we show that under certain circumstances, if relative Auslander algebras of artin algebras $Λ$ and $Λ'$ are Morita equivalent, then $Λ$ and $Λ'$ are also Morita equivalent. A relative version of Auslander's formula with respect to a contravariantly finite subcategory will be given. Dual version will be treated. Several examples and applications will be provided. In particular, we show that under certain circumstances, if relative Auslander algebras of artin algebras $Λ$ and $Λ'$ are Morita equivalent, then $Λ$ and $Λ'$ are also Morita equivalent. △ Less

Submitted 21 February, 2018; v1 submitted 31 December, 2016; originally announced January 2017.

Comments: Section 6 of the previous version is deleted completely. Title is changed and references are modified, accordingly

MSC Class: 18A25; 16G10; 16S50

Auslander's Formula: Variations and Applications

Authors: Javad Asadollahi, Najmeh Asadollahi, Rasool Hafezi, Razieh Vahed

Abstract: According to the Auslander's formula one way of studying an abelian category ${\mathcal{C}}$ is to study ${\rm mod}\mbox{-}{\mathcal{C}}$, that has nicer homological properties than ${\mathcal{C}}$, and then translate the results back to ${\mathcal{C}}$. Recently Krause gave a derived version of this formula and thus renewed the subject. This paper contains a detailed study of various versions of… ▽ More According to the Auslander's formula one way of studying an abelian category ${\mathcal{C}}$ is to study ${\rm mod}\mbox{-}{\mathcal{C}}$, that has nicer homological properties than ${\mathcal{C}}$, and then translate the results back to ${\mathcal{C}}$. Recently Krause gave a derived version of this formula and thus renewed the subject. This paper contains a detailed study of various versions of Auslander formula including the versions for all modules and for unbounded derived categories. We apply them to include some results concerning recollements of triangulated categories. △ Less

Submitted 25 May, 2017; v1 submitted 16 May, 2016; originally announced May 2016.

MSC Class: 18E30; 16E35; 18E15

Journal ref: Kyoto J. Math. 60, no. 1 (2020), 61-91

Minimal Injective Resolutions and Auslander-Gorenstein Property for Path Algebras

Authors: Javad Asadollahi, Rasool Hafezi, Mohammad Hosein Keshavarz

Abstract: Let $R$ be a ring and $\mathcal{Q}$ be a finite and acyclic quiver. We present an explicit formula for the injective envelopes and projective precovers in the category $\rm{Rep} (\mathcal{Q} ,R)$ of representations of $\mathcal{Q}$ by left $R$-modules. We also extend our formula to all terms of the minimal injective resolution of $R\mathcal{Q}$. Using such descriptions, we study the Auslander-Gore… ▽ More Let $R$ be a ring and $\mathcal{Q}$ be a finite and acyclic quiver. We present an explicit formula for the injective envelopes and projective precovers in the category $\rm{Rep} (\mathcal{Q} ,R)$ of representations of $\mathcal{Q}$ by left $R$-modules. We also extend our formula to all terms of the minimal injective resolution of $R\mathcal{Q}$. Using such descriptions, we study the Auslander-Gorenstein property of path algebras. In particular, we prove that the path algebra $R\mathcal{Q}$ is $k$-Gorenstein if and only if $\mathcal{Q}=\overrightarrow{A_{n}}$ and $R$ is a $k$-Gorenstein ring, where $n$ is the number of vertices of $\mathcal{Q}$. △ Less

Submitted 24 April, 2016; v1 submitted 18 May, 2015; originally announced May 2015.

Comments: Accepted for publication in Comm. Algebra

MSC Class: 16G20; 16B50; 18A40; 18G05

Derived equivalences of functor categories

Authors: Javad Asadollahi, Rasool Hafezi, Razieh Vahed

Abstract: Let $\Mod \CS$ denote the category of $\CS$-modules, where $\CS$ is a small category. In the first part of this paper, we provide a version of Rickard's theorem on derived equivalence of rings for $\Mod \CS$. This will have several interesting applications. In the second part, we apply our techniques to get some interesting recollements of derived categories in different levels. We specialize our… ▽ More Let $\Mod \CS$ denote the category of $\CS$-modules, where $\CS$ is a small category. In the first part of this paper, we provide a version of Rickard's theorem on derived equivalence of rings for $\Mod \CS$. This will have several interesting applications. In the second part, we apply our techniques to get some interesting recollements of derived categories in different levels. We specialize our results to path rings as well as graded rings. △ Less

Submitted 18 May, 2015; originally announced May 2015.

MSC Class: 18E30; 16E35; 16E65; 16P10; 16G10

Homotopy category of N-complexes of projective modules

Authors: Payam Bahiraei, Rasool Hafezi, Amin Nematbakhsh

Abstract: In this paper, we show that the homotopy category of N-complexes of projective R-modules is triangle equivalent to the homotopy category of projective T_{N-1}(R)- modules where T_{N-1}(R) is the ring of triangular matrices of order N-1 with entries in R. We also define the notions of N-singularity category and N-totally acyclic complexes. We show that the category of N-totally acyclic complexes of… ▽ More In this paper, we show that the homotopy category of N-complexes of projective R-modules is triangle equivalent to the homotopy category of projective T_{N-1}(R)- modules where T_{N-1}(R) is the ring of triangular matrices of order N-1 with entries in R. We also define the notions of N-singularity category and N-totally acyclic complexes. We show that the category of N-totally acyclic complexes of finitely generated projective R-modules embeds in the N-singularity category, which is a result analogous to the case of ordinary chain complexes. △ Less

Submitted 20 April, 2015; v1 submitted 4 April, 2015; originally announced April 2015.

Comments: 20

MSC Class: 18E30; 16G99; 18G05; 18G35

Gorenstein Projective Modules Over Triangular Matrix Rings

Authors: Hossein Eshraghi, Rasool Hafezi, Shokrollah Salarian, Z. W. Li

Abstract: 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. 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. △ Less

Submitted 19 February, 2014; originally announced February 2014.

Comments: This paper is now accepted for publication in the Algebra Colloquium

Recollements of Cohen-Macaulay Auslander algebras and Gorenstein derived categories

Authors: Javad Asadollahi, Rasool Hafezi, Razieh Vahed

Abstract: Let $A$, $B$ and $C$ be associative rings with identity. Using a result of Koenig we show that if we have a $\mathbb{D}^{\rm{b}}({\rm{mod\mbox{-}}} )$ level recollement, writing $A$ in terms of $B$ and $C$, then we get a $\mathbb{D}^-({\rm{Mod\mbox{-}}} )$ level recollement of certain functor categories, induces from the module categories of $A$, $B$ and $C$. As an application, we generalise the m… ▽ More Let $A$, $B$ and $C$ be associative rings with identity. Using a result of Koenig we show that if we have a $\mathbb{D}^{\rm{b}}({\rm{mod\mbox{-}}} )$ level recollement, writing $A$ in terms of $B$ and $C$, then we get a $\mathbb{D}^-({\rm{Mod\mbox{-}}} )$ level recollement of certain functor categories, induces from the module categories of $A$, $B$ and $C$. As an application, we generalise the main theorem of Pan [Sh. Pan, Derived equivalences for Cohen-Macaulay Auslander algebras, J. Pure Appl. Algebra, 216 (2012), 355-363] in terms of recollements of Gorenstein artin algebras. Moreover, we show that being Gorenstein as well as being of finite Cohen-Macaulay type, are invariants with respect to $\mathbb{D}^{\rm{b}}_{{{\mathcal{G}p}}}({\rm{mod\mbox{-}}})$ level recollements of virtually Gorenstein algebras, where $\mathbb{D}^{\rm{b}}_{{{\mathcal{G}p}}}$ denotes the Gorenstein derived category. △ Less

Submitted 10 July, 2014; v1 submitted 20 January, 2014; originally announced January 2014.

Comments: This paper has been withdrawn by the author due to some mistakes

MSC Class: 18E30; 16E35; 16E65; 16P10; 16G10

On relative derived categories

Authors: J. Asadollahi, P. Bahiraei, R. Hafezi, R. Vahed

Abstract: The paper is devoted to study some of the questions arises naturally in connection to the notion of relative derived categories. In particular, we study invariants of recollements involving relative derived categories, generalise two results of Happel by proving the existence of AR-triangles in Gorenstein derived categories, provide situations for which relative derived categories with respect to… ▽ More The paper is devoted to study some of the questions arises naturally in connection to the notion of relative derived categories. In particular, we study invariants of recollements involving relative derived categories, generalise two results of Happel by proving the existence of AR-triangles in Gorenstein derived categories, provide situations for which relative derived categories with respect to Gorenstein projective and Gorenstein injective modules are equivalent and finally study relations between the Gorenstein derived category of a quiver and its image under a reflection functor. Some interesting applications are provided. △ Less

Submitted 22 February, 2016; v1 submitted 9 November, 2013; originally announced November 2013.

Comments: To appear in Communications in Algebra

MSC Class: 18E30; 18G20; 16E65; 16P10; 16G10

Homotopy category of projective complexes and complexes of Gorenstein projective modules

Authors: Javad Asadollahi, Rasool Hafezi, Shokrollah Salarian

Abstract: 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… ▽ More 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. Furthermore, it turns out that over such rings the inclusion functor $ι: \K(\RGPrj)\hookrightarrow \KR$ has a right adjoint $ι_ρ$, where $\K(\RGPrj)$ is the homotopy category of Gorenstein projective $R$ modules. Similar, or rather dual, results for the injective (resp. Gorenstein injective) complexes will be provided. If $R$ has a dualising complex, a triangle-equivalence between homotopy categories of projective and of injective complexes will be provided. As an application, we obtain an equivalence between the triangulated categories $\K(\RGPrj)$ and $\K(\RGInj)$, that restricts to an equivalence between $\KPR$ and $\KIR$, whenever $R$ is commutative, noetherian and admits a dualising complex. △ Less

Submitted 8 February, 2012; originally announced February 2012.

MSC Class: 16E05; 13D05; 16E10; 16E30

On the Dimensions of Path Algebras

Authors: Javad Asadollahi, Rasool Hafezi

Abstract: In this paper we study the representation dimension as well as the derived dimension of the path algebra of an artin algebra over a finite and acyclic quiver. In this paper we study the representation dimension as well as the derived dimension of the path algebra of an artin algebra over a finite and acyclic quiver. △ Less

Submitted 2 February, 2012; originally announced February 2012.

On the derived dimension of abelian categories

Authors: Javad Asadollahi, Rasool Hafezi

Abstract: We give an upper bound on the dimension of the bounded derived category of an abelian category. We show that if $\CX$ is a sufficiently nice subcategory of an abelian category, then derived dimension of $\CA$ is at most $\CX$-dim$\CA$, provided $\CX$-dim$\CA$ is greater than one. We provide some applications. We give an upper bound on the dimension of the bounded derived category of an abelian category. We show that if $\CX$ is a sufficiently nice subcategory of an abelian category, then derived dimension of $\CA$ is at most $\CX$-dim$\CA$, provided $\CX$-dim$\CA$ is greater than one. We provide some applications. △ Less

Submitted 2 January, 2012; originally announced January 2012.

MSC Class: 18E10; 18E30; 18A40

Journal ref: Kyoto J. Math. 54, no. 3 (2014), 693-702