[Math] What makes the stable module category stable

ct.category-theoryhigher-category-theoryrt.representation-theory

When geometrically flavoured words like "mapping cone" or "chain homotopy" crop up in homological algebra, there's usually a good reason. (In this case, looking at the chain complexes associated with each geometric construction gives the algebraic construction).

But, for the life of me, I cannot find a reason why the "stable module category" deserves to be called "stable." It doesn't seem, superficially at least, to be related to the stable homotopy category. So:

  1. Are these categories related in any nontrivial manner that gives merit to the terminology?

  2. If not, is there some other reason why the stable module category deserves to be called stable? (Mind you, this sounds like it might have a higher-categorical answer, and my knowledge of higher category theory is very sketchy… so do be gentle if that's the direction your answer is taking!)

EDIT: The stable module category for a ring $R$ has $R$-modules for objects and maps "modulo projectives" for morphisms. That is, we put an equivalence relation on $Hom_{R}(M,N)$ by declaring $f \sim 0$ if $f$ factors through a projective module. For certain rings (e.g. group rings), this category is tensor triangulated (which is why I'm interested).

Best Answer

The answer to the first question is yes, the two categories are nontrivially related: Both the traditional stable homotopy category and the stable module category are examples of stable homotopy categories in the sense of Hovey-Palmieri-Strickland, Axiomatic Stable Homotopy Theory. See the first few pages of Schwede's Stable model categories are categories of modules for a convenient overview. Of special interest are Definition 2.1.1 and the subsequent paragraph on page 107, and Example 2.4.(v) on page 111. You may also find it useful to consult Hovey's Model Categories, especially Chapters 2 and 7, as well as Chapter I.2 in Quillen's Homotopical Algebra.

As for the second question, observe the following extract from Example 2.4.(v):

Fortunately, the two different meanings of ‘stable’ fit together nicely; the stable module category is the homotopy category associated to an underlying stable model category structure [21, Section 2].

so it sounds like Schwede would agree with Mariano and Tom that, at least originally, the selection of the word 'stable' in stable module category likely had nothing to do with stable homotopy and all that.

Corrections are welcome.

Related Question