Vol. 2, No. 1, 2008

Download this article
Download this article For screen
For printing
Recent Issues

Volume 17
Issue 7, 1239–1357
Issue 6, 1127–1237
Issue 5, 981–1126
Issue 4, 805–980
Issue 3, 541–804
Issue 2, 267–539
Issue 1, 1–266

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the Journal
Editorial Board
Editors’ Interests
Submission Guidelines
Submission Form
Policies for Authors
Ethics Statement
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Author Index
To Appear
Other MSP Journals
Complexes of injective kG-modules

David John Benson and Henning Krause

Vol. 2 (2008), No. 1, 1–30

Let G be a finite group and k be a field of characteristic p. We investigate the homotopy category K(InjkG) of the category C(InjkG) of complexes of injective ( = projective) kG-modules. If G is a p-group, this category is equivalent to the derived category Ddg(C(BG;k)) of the cochains on the classifying space; if G is not a p-group, it has better properties than this derived category. The ordinary tensor product in K(InjkG) with diagonal G-action corresponds to the E tensor product on Ddg(C(BG;k)).

We show that K(InjkG) can be regarded as a slight enlargement of the stable module category StModkG. It has better formal properties inasmuch as the ordinary cohomology ring H(G,k) is better behaved than the Tate cohomology ring Ĥ(G,k).

It is also better than the derived category D(ModkG), because the compact objects in K(InjkG) form a copy of the bounded derived category Db(modkG), whereas the compact objects in D(ModkG) consist of just the perfect complexes.

Finally, we develop the theory of support varieties and homotopy colimits in K(InjkG).

modular representation theory, derived category, stable module category, cohomology of group
Mathematical Subject Classification 2000
Primary: 20C20
Secondary: 20J06
Received: 1 February 2007
Revised: 22 November 2007
Accepted: 24 December 2007
Published: 1 February 2008
David John Benson
Department of Mathematics
University of Aberdeen
Aberdeen AB24 3EA
United Kingdom
Henning Krause
Institut für Mathematik
Universität Paderborn
33095 Paderborn