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](https://mathoverflow.net/questions/62386/examples-of-brown-cofibration-categories-that-are-not-quillen-model-categories) ("Brown, but not Quillen?").



Heller operator without left adjoint?
This is answered by Proposition 1.7 in
[Auslander, Maurice; Reiten, Idun. [Homologically finite subcategories](http://ebooks.cambridge.org/chapter.jsf?bid=CBO9780511661853&cid=CBO9780511661853A007&tabName=Chapter). Representations of algebras and related topics (Kyoto, 1990), 1--42, London Math. Soc. Lecture Note Ser., 168, Cambridge Univ. Press, Cambridge, 1992.],



> 
> If $R$ is a two-sided noetherian ring and $d \geq 1$ an integer, then
>  the functor $$\operatorname{Tr}\Omega^d\operatorname{Tr} \colon
>  R\text{-}\underline{\text{mod}} \to R\text{-}\underline{\text{mod}}$$ 
>  is a left adjoint of $\Omega^d \colon R\text{-}\underline{\text{mod}} \to R\text{-}\underline{\text{mod}}$.
> 
> 
> 


In particular $\operatorname{Tr}\Omega\operatorname{Tr}$ is a left adjoint of $\Omega$.


Here $\operatorname{Tr} \colon R\text{-}\underline{\text{mod}} \to R^{\operatorname{op}}\text{-}\underline{\text{mod}}$ denotes the *transpose*, if $M$ is an $R$-module with projective presentation $$P\_1 \to P\_0 \to M \to 0,$$ then $\operatorname{Tr} M=\operatorname{coker} (\operatorname{Hom}\_R(P\_0,R) \to \operatorname{Hom}\_R(P\_1,R))$.


