Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?").

share|cite|improve this question

1 Answer 1

up vote 3 down vote accepted

This is answered by Proposition 1.7 in [Auslander, Maurice; Reiten, Idun. Homologically finite subcategories. 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))$.

share|cite|improve this answer
Have we agreed on a standard for citations? – Dag Oskar Madsen Apr 14 '14 at 13:47

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.