Skip to main content
4 of 7
deleted 179 characters in body; edited title
Mare
  • 26.5k
  • 6
  • 25
  • 104

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 selfinjective.

Mare
  • 26.5k
  • 6
  • 25
  • 104