Showing 1–8 of 8 results for author: Dalezios, G

Triangular decompositions: Reedy algebras and quasi-hereditary algebras

Authors: Teresa Conde, Georgios Dalezios, Steffen Koenig

Abstract: Finite-dimensional Reedy algebras form a ring-theoretic analogue of Reedy categories and were recently proved to be quasi-hereditary. We identify Reedy algebras with quasi-hereditary algebras admitting a triangular (or Poincaré-Birkhoff-Witt type) decomposition into the tensor product of two oppositely directed subalgebras over a common semisimple subalgebra. This exhibits homological and represen… ▽ More Finite-dimensional Reedy algebras form a ring-theoretic analogue of Reedy categories and were recently proved to be quasi-hereditary. We identify Reedy algebras with quasi-hereditary algebras admitting a triangular (or Poincaré-Birkhoff-Witt type) decomposition into the tensor product of two oppositely directed subalgebras over a common semisimple subalgebra. This exhibits homological and representation-theoretic structure of the ingredients of the Reedy decomposition and it allows to give a characterisation of Reedy algebras in terms of idempotent ideals occurring in heredity chains, providing an analogue for Reedy algebras of a result of Dlab and Ringel on quasi-hereditary algebras. △ Less

Submitted 28 April, 2025; v1 submitted 19 November, 2024; originally announced November 2024.

Comments: 13 pages; v2: minor corrections and clarifications, and added references

Linear Reedy categories, quasi-hereditary algebras and model structures

Authors: Georgios Dalezios, Jan Stovicek

Abstract: We study linear versions of Reedy categories in relation with finite dimensional algebras and abelian model structures. We prove that, for a linear Reedy category $\mathcal{C}$ over a field, the category of left $\mathcal{C}$--modules admits a highest weight structure, which in case $\mathcal{C}$ is finite corresponds to a quasi-hereditary algebra with an exact Borel subalgebra. We also lift compl… ▽ More We study linear versions of Reedy categories in relation with finite dimensional algebras and abelian model structures. We prove that, for a linear Reedy category $\mathcal{C}$ over a field, the category of left $\mathcal{C}$--modules admits a highest weight structure, which in case $\mathcal{C}$ is finite corresponds to a quasi-hereditary algebra with an exact Borel subalgebra. We also lift complete cotorsion pairs and abelian model structures to certain categories of additive functors indexed by linear Reedy categories, generalizing analogous results from the hereditary case. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 46 pages

MSC Class: 16G10; 18N40 (Primary) 16W70; 16G20 (Secondary)

Homological dimension based on a class of Gorenstein flat modules

Authors: Georgios Dalezios, Ioannis Emmanouil

Abstract: In this paper, we study the relative homological dimension based on the class of projectively coresolved Gorenstein flat modules (PGF-modules), that were introduced by Saroch and Stovicek. The resulting PGF-dimension of modules has several properties in common with the Gorenstein projective dimension, the relative homological theory based on the class of Gorenstein projective modules. In particula… ▽ More In this paper, we study the relative homological dimension based on the class of projectively coresolved Gorenstein flat modules (PGF-modules), that were introduced by Saroch and Stovicek. The resulting PGF-dimension of modules has several properties in common with the Gorenstein projective dimension, the relative homological theory based on the class of Gorenstein projective modules. In particular, there is a hereditary Hovey triple in the category of modules of finite PGF-dimension, whose associated homotopy category is triangulated equivalent to the stable category of PGF-modules. Studying the finiteness of the PGF global dimension reveals a connection between classical homological invariants of left and right modules over the ring, that leads to generalizations of certain results by Jensen, Gedrich and Gruenberg that were originally proved in the realm of commutative Noetherian rings. △ Less

Submitted 20 February, 2023; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: 20 pages, final version. To appear in Comptes Rendus - Série Mathématique

MSC Class: 16E10; 16E65; 18G20

Lifting recollements of abelian categories and model structures

Authors: Georgios Dalezios, Chrysostomos Psaroudakis

Abstract: We use Quillen model structures to show a systematic method to lift recollements of hereditary abelian model categories to recollements of their associated homotopy categories. To that end, we use the notion of Quillen adjoint triples and we investigate transfers of abelian model structures along adjoint pairs. Applications include liftings of recollements of module categories to their derived cou… ▽ More We use Quillen model structures to show a systematic method to lift recollements of hereditary abelian model categories to recollements of their associated homotopy categories. To that end, we use the notion of Quillen adjoint triples and we investigate transfers of abelian model structures along adjoint pairs. Applications include liftings of recollements of module categories to their derived counterpart, liftings to homotopy categories that provide models for stable categories of Gorenstein projective and injective modules and liftings to homotopy categories of n-morphism categories over Iwanaga-Gorenstein rings. △ Less

Submitted 17 February, 2023; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: 40 pages. Final version, minor corrections. To appear in the Journal of Algebra

MSC Class: 18N40; 18G80; 16G50

On singular equivalences of Morita type with level and Gorenstein algebras

Authors: Georgios Dalezios

Abstract: Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Broué. In this paper we study singular equivalences of finite dimensional algebras induced from tensor product functors. We prove that for certain Gorenstein algebras, a singular equivalence induced from tensoring with a suitable comple… ▽ More Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Broué. In this paper we study singular equivalences of finite dimensional algebras induced from tensor product functors. We prove that for certain Gorenstein algebras, a singular equivalence induced from tensoring with a suitable complex of bimodules, induces a singular equivalence of Morita type with level, in the sense of Wang. This recovers Rickard's theorem in the self-injective case. △ Less

Submitted 7 March, 2021; v1 submitted 16 January, 2020; originally announced January 2020.

Comments: Final version. The proof of the main Corollary is now fixed as well as some typos in 3.6, 3.7. To appear in the Bulletin of the London Mathematical Society

MSC Class: 16D90; 16E35 (Primary) 16E65; 16G50 (Secondary)

Abelian model structures on categories of quiver representations

Authors: Georgios Dalezios

Abstract: Let $\mathcal{M}$ be an abelian model category (in the sense of Hovey). For a large class of quivers, we describe associated abelian model structures on categories of quiver representations with values in $\mathcal{M}$. This is based on recent work of Holm and Jørgensen on cotorsion pairs in categories of quiver representations. An application on Ding projective and Ding injective representations… ▽ More Let $\mathcal{M}$ be an abelian model category (in the sense of Hovey). For a large class of quivers, we describe associated abelian model structures on categories of quiver representations with values in $\mathcal{M}$. This is based on recent work of Holm and Jørgensen on cotorsion pairs in categories of quiver representations. An application on Ding projective and Ding injective representations of quivers over Ding-Chen rings is given. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Comments: 12 pages. Comments are welcome

MSC Class: 18E10; 18G25; 18G55

A note on homotopy categories of FP-Injectives

Authors: Georgios Dalezios

Abstract: For a locally finitely presented Grothendieck category $\mathcal{A}$, we consider a certain subcategory of the homotopy category of FP-injective objects in $\mathcal{A}$ which we show is compactly generated. In the case where $\mathcal{A}$ is locally coherent, we identify this subcategory with the derived category of FP-injective objects in $\mathcal{A}$. Our results are, in a sense, dual to the o… ▽ More For a locally finitely presented Grothendieck category $\mathcal{A}$, we consider a certain subcategory of the homotopy category of FP-injective objects in $\mathcal{A}$ which we show is compactly generated. In the case where $\mathcal{A}$ is locally coherent, we identify this subcategory with the derived category of FP-injective objects in $\mathcal{A}$. Our results are, in a sense, dual to the ones obtained by Neeman on the homotopy category of flat modules. Our proof is based on extending a characterization of the pure acyclic complexes which is due to Emmanouil. △ Less

Submitted 3 March, 2018; originally announced March 2018.

Comments: 10 pages. Comments are welcome

MSC Class: 18E30 (Primary) 16E35; 18G25 (Secondary)

Quillen equivalences for stable categories

Authors: Georgios Dalezios, Sergio Estrada, Henrik Holm

Abstract: For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quill… ▽ More For an abelian category $\mathcal{A}$ we investigate when the stable categories $\underline{\mathrm{GPro}}\mathrm{j}(\mathcal{A})$ and $\underline{\mathrm{GIn}}\mathrm{j}(\mathcal{A})$ are triangulated equivalent. To this end, we realize these stable categories as homotopy categories of certain (non-trivial) model categories and give conditions on $\mathcal{A}$ that ensure the existence of a Quillen equivalence between the model categories in question. We also study when such a Quillen equivalence transfers from $\mathcal{A}$ to categories naturally associated to $\mathcal{A}$, such as $\mathrm{Ch}(\mathcal{A})$, the category of chain complexes in $\mathcal{A}$, or $\mathrm{Rep}(Q,\mathcal{A})$, the category of $\mathcal{A}$-valued representations of a quiver $Q$. △ Less

Submitted 9 August, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: Revised version; now 16 pages

MSC Class: 18E10; 18E30; 18G55; 13D02; 16E05