SearcharxivSearch

arXiv subjects

Georgios Dalezios

Publications and source records attributed to Georgios Dalezios.

9 recordsLinked to original sources

The proper stable module category of a group algebra

We introduce the proper stable module category for an arbitrary discrete group over any commutative ring by means of cotorsion pairs and abelian model structures. This category is a well-generated tensor-triangulated category and is compactly generated in case the commutative ring is regular. Our construction resembles the topological approach via proper equivariant stable homotopy theory. Moreover, it agrees with the Mazza-Symonds stable module category, whenever the latter is defined, and with various other stable categories associated to hierarchically defined groups. Along the way, we introduce certain homological dimensions and study them in detail, comparing them with the classical notions.

math.RT

Triangular decompositions: Reedy algebras and quasi-hereditary algebras

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\'e-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.

math.RT

Linear Reedy categories, quasi-hereditary algebras and model structures

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.

math.RT

Homological dimension based on a class of Gorenstein flat modules

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.

math.RA

Lifting recollements of abelian categories and model structures

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.

math.CT

On singular equivalences of Morita type with level and Gorenstein algebras

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\'{e}. 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.

math.RA

Abelian model structures on categories of quiver representations

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.

math.RA

A note on homotopy categories of FP-Injectives

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.

math.RA

Quillen equivalences for stable categories

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$.

math.CT