Suppose given a noetherian ring $R$. On the stable category $R\text{-}\underline{\text{mod}} := R\text{-mod}/R\text{-proj}$, we have the Heller operator $$ \Omega : R\text{-}\underline{\text{mod}} \to R\text{-}\underline{\text{mod}} \; , $$ defined by a choice of short exact sequences $\Omega X \to P \to X$ with $P$ projective, accordingly on morphisms.

**Does there exist a ring $R$ for which $\Omega$ does not have a left adjoint?**

Of course, $R$ should neither be self-injective ($\Omega$ an equivalence) nor hereditary ($\Omega = 0$).

If $\Omega$ has a left adjoint $S$, then $(X,\Omega f) = (SX,f)$ is injective for $X$ an $R$-module and $f$ a monomorphism. So I've been searching (without success) for a monomorphism $f$ in the stable category that is not mapped to a monomorphism under $\Omega$. First of all, $f$ should be a non-split mono, but this is possible, since we are not in the triangulated case.

It was pointed out to me that in "On a theorem of E. Green on the dual of the transpose" by M. Auslander and I. Reiten, it is shown that that Omega lifts to an exact functor isomorphic to tensoring with a bimodule if $R$ is an artin algebra (MR1143845).

The question is related to this question ("Brown, but not Quillen?").