Skip to main content
5 of 7
triangulated-categories; edited tags
David White
  • 30.3k
  • 9
  • 153
  • 250

When is $\Omega^1$ an equivalence?

Let $C$ be an abelian category with enough projectives and $\underline{C}$ the stable category of $C$ that is obtained by factoring out projective modules. When is the functor $\Omega^1 : \underline{C} \rightarrow \underline{C}$ an equivalence?

We can assume $C$ is a module category of a ring $R$ in case that helps. For $R$ a finite dimensional algebra, this should be true iff $R$ is self-injective.

Mare
  • 26.5k
  • 6
  • 25
  • 104