Table of Contents
Fetching ...

On certain classes of modules over group algebras

Ioannis Emmanouil, Wei Ren

TL;DR

This work develops a cohesive framework for three subfamilies of Gorenstein modules over group algebras: cofibrant, cofibrant-flat, and fibrant modules, tying them to the familiar Gorenstein projective/flat/injective classes through diagonal tensor and Hom constructions with the module $B$. It shows these subclasses form complete hereditary cotorsion pairs and admit exact model structures, enabling robust approximations and dualities. The paper then implements a systematic program of approximations for cofibrant-flat modules by cofibrant or flat modules, and establishes two Hovey triples in the cofibrant-flat setting, yielding triangulated equivalences between corresponding homotopy and stable categories. Finally, it analyzes fibrant modules, linking them to Gorenstein injectives, proving a cogenerated, set-based cotorsion pair, and demonstrating a duality with cofibrant-flat via Pontryagin duality; under suitable group-class conditions, the Gorenstein and cofibrant-flat (and fibrant) theories coincide, enriching the structure of Gorenstein homological algebra for group algebras.

Abstract

In this paper, we examine the relation between certain subclasses of the classes of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over a group algebra, which consist of the cofibrant, cofibrant-flat and fibrant modules respectively. These subclasses have all structural properties that the Gorenstein classes are known to have, regarding the existence of complete cotorsion pairs and various approximations between them. Furthermore, these subclasses have certain properties, which are conjecturally anticipated to hold for the Gorenstein classes as well. Since the Gorenstein classes are actually equal to the corresponding subclasses for large families of groups, we thus obtain (indirectly) some information about the Gorenstein classes over these groups.

On certain classes of modules over group algebras

TL;DR

This work develops a cohesive framework for three subfamilies of Gorenstein modules over group algebras: cofibrant, cofibrant-flat, and fibrant modules, tying them to the familiar Gorenstein projective/flat/injective classes through diagonal tensor and Hom constructions with the module . It shows these subclasses form complete hereditary cotorsion pairs and admit exact model structures, enabling robust approximations and dualities. The paper then implements a systematic program of approximations for cofibrant-flat modules by cofibrant or flat modules, and establishes two Hovey triples in the cofibrant-flat setting, yielding triangulated equivalences between corresponding homotopy and stable categories. Finally, it analyzes fibrant modules, linking them to Gorenstein injectives, proving a cogenerated, set-based cotorsion pair, and demonstrating a duality with cofibrant-flat via Pontryagin duality; under suitable group-class conditions, the Gorenstein and cofibrant-flat (and fibrant) theories coincide, enriching the structure of Gorenstein homological algebra for group algebras.

Abstract

In this paper, we examine the relation between certain subclasses of the classes of Gorenstein projective, Gorenstein flat and Gorenstein injective modules over a group algebra, which consist of the cofibrant, cofibrant-flat and fibrant modules respectively. These subclasses have all structural properties that the Gorenstein classes are known to have, regarding the existence of complete cotorsion pairs and various approximations between them. Furthermore, these subclasses have certain properties, which are conjecturally anticipated to hold for the Gorenstein classes as well. Since the Gorenstein classes are actually equal to the corresponding subclasses for large families of groups, we thus obtain (indirectly) some information about the Gorenstein classes over these groups.

Paper Structure

This paper contains 5 sections, 23 theorems, 55 equations.

Key Result

Lemma 2.1

Let $M \in \overline{\tt Cof.flat}(kG)$ and assume that ${\rm Ext}^1_{kG}(M,N)=0$ for any cotorsion $kG$-module $N$ of finite flat dimension. Then, $M \in {\tt Cof.flat}(kG)$.

Theorems & Definitions (23)

  • Lemma 2.1
  • Proposition 2.2
  • Proposition 2.3
  • Corollary 2.4
  • Corollary 2.6
  • Proposition 2.7
  • Theorem 2.8
  • Proposition 2.9
  • Theorem 3.1
  • Corollary 3.2
  • ...and 13 more