Table of Contents
Fetching ...

On the class of Benson's cofibrant modules

Ioannis Emmanouil, Wei Ren

Abstract

In this paper, we examine the class of cofibrant modules over a group algebra $kG$, that were defined by Benson in [2]. We show that this class is always the left-hand side of a complete hereditary cotorsion pair in the category of $kG$-modules. It follows that the class of Gorenstein projective $kG$-modules is special precovering in the category of $kG$-modules, if $G$ is contained in the class ${\scriptstyle{\bf LH}}\mathfrak{F}$ of hierarchically decomposable groups defined by Kropholler in [20] and $k$ has finite weak global dimension. It also follows that the obstruction to the equality between the classes of cofibrant and Gorenstein projective $kG$-modules can be described, over any group algebra $kG$, in terms of a suitable subcategory of the stable category of Gorenstein projective $kG$-modules.

On the class of Benson's cofibrant modules

Abstract

In this paper, we examine the class of cofibrant modules over a group algebra , that were defined by Benson in [2]. We show that this class is always the left-hand side of a complete hereditary cotorsion pair in the category of -modules. It follows that the class of Gorenstein projective -modules is special precovering in the category of -modules, if is contained in the class of hierarchically decomposable groups defined by Kropholler in [20] and has finite weak global dimension. It also follows that the obstruction to the equality between the classes of cofibrant and Gorenstein projective -modules can be described, over any group algebra , in terms of a suitable subcategory of the stable category of Gorenstein projective -modules.

Paper Structure

This paper contains 5 sections, 21 theorems, 49 equations.

Key Result

Lemma 2.1

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

Theorems & Definitions (21)

  • Lemma 2.1
  • Proposition 2.2
  • Lemma 2.3
  • Proposition 2.4
  • Corollary 2.5
  • Theorem 2.7
  • Lemma 2.8
  • Proposition 3.1
  • Proposition 3.2
  • Theorem 3.3
  • ...and 11 more