20
$\begingroup$

Let $\mathcal{F}$ and $\mathcal{G}$ be abelian categories. It is well-known that if a functor $\phi : \mathcal{F} \rightarrow \mathcal{G}$ has a right-adjoint (so $\phi$ is itself a left-adjoint to some other functor), then $\phi$ is right exact. Similarly, if $\phi$ has a left-adjoint (so $\phi$ is itself a right-adjoint to some other functor), then $\phi$ is left-exact.

I was going through the list of left- and right-exact functors I know, and they all were covered by the above condition. Can someone give me examples that appear "in nature" (so aren't too artificial) of left- or right-exact functors that are not adjoints?

I'm aware of the adjoint functor theorem, but its conditions are much stronger than just being left- or right-exact.

$\endgroup$
4
  • 18
    $\begingroup$ The functor $\hom(P, -): \mathrm{Mod}_R \to \mathrm{Ab}$ for $P$ a projective $R$-module preserves finite colimits, but it doesn't preserve all colimits unless $P$ is finitely generated. $\endgroup$
    – Todd Trimble
    Feb 16, 2013 at 16:07
  • 2
    $\begingroup$ Related question -- mathoverflow.net/questions/93716/… $\endgroup$ Feb 16, 2013 at 19:13
  • 2
    $\begingroup$ What about the torsion functor $\Gamma_I$, where $I$ is an ideal? $\endgroup$
    – the L
    Feb 16, 2013 at 19:24
  • $\begingroup$ @Liran: The $I$-torsion functor, considered as taking values in the category of $I$-torsion $R$-modules, is right adjoint to the inclusion of the category of $I$-torsion $R$-modules in the category of $R$-modules. But considered as taking values in the category of $R$-modules, you are of course right. $\endgroup$ Feb 17, 2013 at 7:16

4 Answers 4

26
$\begingroup$

I would disagree that the hypotheses of the adjoint functor theorem are much stronger than exactness. Left exactness is equivalent to preserving all finite limits, and the hypotheses of the adjoint functor theorem are existence of all limits, preserving all limits, and a smallness condition that usually is easy to verify. Furthermore, to know that a left exact functor preserves all limits, it suffices to know that it preserves arbitrary products (since any limit can be expressed as a kernel of an appropriate map between products). So in most typical applications, the only difference between being left exact and having a left adjoint is whether a functor preserves infinite products.

This also shows how to find a counterexample: find a left exact functor that does not preserve infinite products. For instance, if $M$ is any flat module over a commutative ring $R$, tensoring with $M$ is left exact, but will not preserve infinite products unless $M$ has nice finiteness properties (if $R$ is Noetherian, the condition is that $M$ is finitely generated). In particular, if $R=\mathbb{Z}$ you could take $M=\mathbb{Q}$, or if $R$ is a field you could take $M$ to be any infinite-dimensional vector space.

As Todd notes in his comment, you can similarly get an example for right exactness instead of left exactness by Homming out of a projective module that is not finitely generated.

You can get a more artificial sort of counterexample by taking abelian categories with a size restriction on their objects that prevents the adjoint from existing (because you don't have all (co)limits). For instance, take the category of countable-dimensional vector spaces over some field, and consider the endofunctor given by tensoring with a countably infinite dimensional space $V$. This is right exact, and it ought to have a right adjoint given by $\mathrm{Hom}(V,-)$ (and it is easy to show that if the right adjoint exists, it must be given by $\mathrm{Hom}(V,-)$). But this right adjoint is undefined because (for instance) $\mathrm{Hom}(V,V)$ is uncountable-dimensional and so it doesn't exist in our category.

$\endgroup$
3
  • 5
    $\begingroup$ The last paragraph doesn't prove that the adjoint does not exist. $\endgroup$ Feb 16, 2013 at 17:36
  • 1
    $\begingroup$ "...a smallness condition which is usually easy to verify.". I think I once tried to verify it when trying to use the special adjoint functor theorem to prove the existence of free groups from the forgetful functor from $(Grp)$ to $(Set)$ -- and the smallness condition turned out to be not true! $\endgroup$
    – user30035
    Feb 17, 2013 at 22:56
  • 6
    $\begingroup$ That's true--the conditions of the special adjoint functor theorem are a bit more, well, special. But the solution set condition of the general adjoint functor theorem is usually quite easy; for "forgetful functors", it just amounts to verifying that an object generated by a set has cardinality bounded in terms of the size of that set. $\endgroup$ Feb 18, 2013 at 2:42
12
$\begingroup$

There are important functors like this associated with coalgebras or corings. E.g., let $C$ be a coassociative coalgebra with counit over a field and $N$ be a right $C$-comodule. Then the cotensor product with $N$ over $C$ is a covariant left exact functor $N\square_C{-}\colon C{-}comod \to k{-}vect$ from the category of of left $C$-comodules to the category of $k$-vector spaces. This functor preserves infinite direct sums, but not infinite products, so it cannot be an adjoint (in general).

Similarly, let $M$ be a left $C$-comodule. Then the Cohom from $M$ over $C$ is a covariant right exact functor $Cohom_C(M,{-})\colon C{-}contra\to k{-}vect$ from the category of left $C$-contramodules to the category of $k$-vector spaces. This functor preserves infinite products, but not infinite direct sums, so it cannot be an adjoint (in general).

$\endgroup$
3
  • $\begingroup$ There are many adjoints which preserve direct sums but not products, and the other way round. $\endgroup$ Feb 16, 2013 at 20:11
  • 3
    $\begingroup$ Let me repeat again: the cotensor product functor is left, but not right exact. And it preserves infinite direct sums, not products. Similarly, the Cohom functor is right, but not left exact. And it preserves infinite products (in the second argument), but not direct sums. Functors with such properties can be neither left, not right adjoint. $\endgroup$ Feb 16, 2013 at 22:59
  • $\begingroup$ I see, I misunderstood the fact that sides don't match. Sorry. $\endgroup$ Feb 17, 2013 at 0:51
11
$\begingroup$

$\newcommand{\C}{\mathbf{C}} \newcommand{\AbGp}{\mathrm{AbGp}} \newcommand{\Psh}{\mathrm{Psh}} \newcommand{\Sh}{\mathrm{Sh}}$Let $\C$ be any site (i.e. small category equipped with a Grothendieck topology). Then the sheafification functor $\AbGp(\Psh(\C)) \to \AbGp(\Sh(\C))$ preserves finite limits, but not in general all limits; so it is a left exact functor without a left adjoint. (It does, however, have a right adjoint — the forgetful functor.)

$\endgroup$
1
3
$\begingroup$

Inverse image of sheaves is exact, but generally only has a right adjoint (direct image).

Also, for locally compact Hausdorff spaces, direct image with proper supports is left exact, but does not have any adjoints in general unless we pass to the derived category.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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